Showing 1–50 of 57 results for author: Peña, L

Grover's algorithm in a four-qubit silicon processor above the fault-tolerant threshold

Authors: Ian Thorvaldson, Dean Poulos, Christian M. Moehle, Saiful H. Misha, Hermann Edlbauer, Jonathan Reiner, Helen Geng, Benoit Voisin, Michael T. Jones, Matthew B. Donnelly, Luis F. Pena, Charles D. Hill, Casey R. Myers, Joris G. Keizer, Yousun Chung, Samuel K. Gorman, Ludwik Kranz, Michelle Y. Simmons

Abstract: Spin qubits in silicon are strong contenders for realizing a practical quantum computer. This technology has made remarkable progress with the demonstration of single and two-qubit gates above the fault-tolerant threshold and entanglement of up to three qubits. However, maintaining high fidelity operations while executing multi-qubit algorithms has remained elusive, only being achieved for two spi… ▽ More Spin qubits in silicon are strong contenders for realizing a practical quantum computer. This technology has made remarkable progress with the demonstration of single and two-qubit gates above the fault-tolerant threshold and entanglement of up to three qubits. However, maintaining high fidelity operations while executing multi-qubit algorithms has remained elusive, only being achieved for two spin qubits to date due to the small qubit size, which makes it difficult to control qubits without creating crosstalk errors. Here, we use a four-qubit silicon processor with every operation above the fault tolerant limit and demonstrate Grover's algorithm with a ~95% probability of finding the marked state, one of the most successful implementations to date. Our four-qubit processor is made of three phosphorus atoms and one electron spin precision-patterned into 1.5 nm${}^2$ isotopically pure silicon. The strong resulting confinement potential, without additional confinement gates that can increase cross-talk, leverages the benefits of having both electron and phosphorus nuclear spins. Significantly, the all-to-all connectivity of the nuclear spins provided by the hyperfine interaction not only allows for efficient multi-qubit operations, but also provides individual qubit addressability. Together with the long coherence times of the nuclear and electron spins, this results in all four single qubit fidelities above 99.9% and controlled-Z gates between all pairs of nuclear spins above 99% fidelity. The high control fidelities, combined with >99% fidelity readout of all nuclear spins, allows for the creation of a three-qubit Greenberger-Horne-Zeilinger (GHZ) state with 96.2% fidelity, the highest reported for semiconductor spin qubits so far. Such nuclear spin registers can be coupled via electron exchange, establishing a path for larger scale fault-tolerant quantum processors. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: 16 pages, 9 figures, 3 tables

Emulating Human Cognitive Processes for Expert-Level Medical Question-Answering with Large Language Models

Authors: Khushboo Verma, Marina Moore, Stephanie Wottrich, Karla Robles López, Nishant Aggarwal, Zeel Bhatt, Aagamjit Singh, Bradford Unroe, Salah Basheer, Nitish Sachdeva, Prinka Arora, Harmanjeet Kaur, Tanupreet Kaur, Tevon Hood, Anahi Marquez, Tushar Varshney, Nanfu Deng, Azaan Ramani, Pawanraj Ishwara, Maimoona Saeed, Tatiana López Velarde Peña, Bryan Barksdale, Sushovan Guha, Satwant Kumar

Abstract: In response to the pressing need for advanced clinical problem-solving tools in healthcare, we introduce BooksMed, a novel framework based on a Large Language Model (LLM). BooksMed uniquely emulates human cognitive processes to deliver evidence-based and reliable responses, utilizing the GRADE (Grading of Recommendations, Assessment, Development, and Evaluations) framework to effectively quantify… ▽ More In response to the pressing need for advanced clinical problem-solving tools in healthcare, we introduce BooksMed, a novel framework based on a Large Language Model (LLM). BooksMed uniquely emulates human cognitive processes to deliver evidence-based and reliable responses, utilizing the GRADE (Grading of Recommendations, Assessment, Development, and Evaluations) framework to effectively quantify evidence strength. For clinical decision-making to be appropriately assessed, an evaluation metric that is clinically aligned and validated is required. As a solution, we present ExpertMedQA, a multispecialty clinical benchmark comprised of open-ended, expert-level clinical questions, and validated by a diverse group of medical professionals. By demanding an in-depth understanding and critical appraisal of up-to-date clinical literature, ExpertMedQA rigorously evaluates LLM performance. BooksMed outperforms existing state-of-the-art models Med-PaLM 2, Almanac, and ChatGPT in a variety of medical scenarios. Therefore, a framework that mimics human cognitive stages could be a useful tool for providing reliable and evidence-based responses to clinical inquiries. △ Less

Submitted 17 October, 2023; originally announced October 2023.

TOI-1801 b: A temperate mini-Neptune around a young M0.5 dwarf

Authors: M. Mallorquín, E. Goffo, E. Pallé, N. Lodieu, V. J. S. Béjar, H. Isaacson, M. R. Zapatero Osorio, S. Dreizler, S. Stock, R. Luque, F. Murgas, L. Peña, J. Sanz-Forcada, G. Morello, D. R. Ciardi, E. Furlan, K. A. Collins, E. Herrero, S. Vanaverbeke, P. Plavchan, N. Narita, A. Schweitzer, M. Pérez-Torres, A. Quirrenbach, J. Kemmer , et al. (57 additional authors not shown)

Abstract: We report the discovery, mass, and radius determination of TOI-1801 b, a temperate mini-Neptune around a young M dwarf. TOI-1801 b was observed in TESS sectors 22 and 49, and the alert that this was a TESS planet candidate with a period of 21.3 days went out in April 2020. However, ground-based follow-up observations, including seeing-limited photometry in and outside transit together with precise… ▽ More We report the discovery, mass, and radius determination of TOI-1801 b, a temperate mini-Neptune around a young M dwarf. TOI-1801 b was observed in TESS sectors 22 and 49, and the alert that this was a TESS planet candidate with a period of 21.3 days went out in April 2020. However, ground-based follow-up observations, including seeing-limited photometry in and outside transit together with precise radial velocity (RV) measurements with CARMENES and HIRES revealed that the true period of the planet is 10.6 days. These observations also allowed us to retrieve a mass of 5.74 $\pm$ 1.46 $M_\oplus$, which together with a radius of 2.08 $\pm$ 0.12 $R_\oplus$, means that TOI-1801 b is most probably composed of water and rock, with an upper limit of 2\% by mass of H$_{2}$ in its atmosphere. The stellar rotation period of 16 days is readily detectable in our RV time series and in the ground-based photometry. We derived a likely age of 600--800 Myr for the parent star TOI-1801, which means that TOI-1801 b is the least massive young mini-Neptune with precise mass and radius determinations. Our results suggest that if TOI-1801 b had a larger atmosphere in the past, it must have been removed by some evolutionary mechanism on timescales shorter than 1 Gyr. △ Less

Submitted 24 October, 2023; v1 submitted 16 October, 2023; originally announced October 2023.

Comments: Accepted in A&A. 29 pages, 21 figures

Journal ref: A&A 680, A76 (2023)

Utilizing multimodal microscopy to reconstruct Si/SiGe interfacial atomic disorder and infer its impacts on qubit variability

Authors: Luis Fabián Peña, Justine C. Koepke, J. Houston Dycus, Andrew Mounce, Andrew D. Baczewski, N. Tobias Jacobson, Ezra Bussmann

Abstract: SiGe heteroepitaxial growth yields pristine host material for quantum dot qubits, but residual interface disorder can lead to qubit-to-qubit variability that might pose an obstacle to reliable SiGe-based quantum computing. We demonstrate a technique to reconstruct 3D interfacial atomic structure spanning multiqubit areas by combining data from two verifiably atomic-resolution microscopy techniques… ▽ More SiGe heteroepitaxial growth yields pristine host material for quantum dot qubits, but residual interface disorder can lead to qubit-to-qubit variability that might pose an obstacle to reliable SiGe-based quantum computing. We demonstrate a technique to reconstruct 3D interfacial atomic structure spanning multiqubit areas by combining data from two verifiably atomic-resolution microscopy techniques. Utilizing scanning tunneling microscopy (STM) to track molecular beam epitaxy (MBE) growth, we image surface atomic structure following deposition of each heterostructure layer revealing nanosized SiGe undulations, disordered strained-Si atomic steps, and nonconformal uncorrelated roughness between interfaces. Since phenomena such as atomic intermixing during subsequent overgrowth inevitably modify interfaces, we measure post-growth structure via cross-sectional high-angle annular dark field scanning transmission electron microscopy (HAADF-STEM). Features such as nanosized roughness remain intact, but atomic step structure is indiscernible in $1.0\pm 0.4$~nm-wide intermixing at interfaces. Convolving STM and HAADF-STEM data yields 3D structures capturing interface roughness and intermixing. We utilize the structures in an atomistic multivalley effective mass theory to quantify qubit spectral variability. The results indicate (1) appreciable valley splitting (VS) variability of roughly $\pm$ $50\%$ owing to alloy disorder, and (2) roughness-induced double-dot detuning bias energy variability of order $1-10$ meV depending on well thickness. For measured intermixing, atomic steps have negligible influence on VS, and uncorrelated roughness causes spatially fluctuating energy biases in double-dot detunings potentially incorrectly attributed to charge disorder. △ Less

Submitted 27 June, 2023; originally announced June 2023.

Comments: 12 pages, 6 figures

Journal ref: L.F. Peña et al., Modeling Si/SiGe quantum dot variability induced by interface disorder reconstructed from multiperspective microscopy, npj Quantum Inf 10, 33 (2024)

Characterization of breast tissues in density and effective atomic number basis via spectral X-ray computed tomography

Authors: Stevan Vrbaski, Lucia Mariel Arana Peña, Luca Brombal, Sandro Donato, Angelo Taibi, Adriano Contillo, Renata Longo

Abstract: Differentiation of breast tissues is challenging in X-ray imaging because tissues might share similar or even the same linear attenuation coefficients $μみゅー$. Spectral computed tomography (CT) allows for more quantitative characterization in terms of tissue density and effective atomic number by exploiting the energy dependence of $μみゅー$. In this work, 5 mastectomy samples and a phantom with inserts mim… ▽ More Differentiation of breast tissues is challenging in X-ray imaging because tissues might share similar or even the same linear attenuation coefficients $μみゅー$. Spectral computed tomography (CT) allows for more quantitative characterization in terms of tissue density and effective atomic number by exploiting the energy dependence of $μみゅー$. In this work, 5 mastectomy samples and a phantom with inserts mimicking breast soft tissues were evaluated in a retrospective study. The samples were imaged at three monochromatic energy levels in the range of 24 - 38 keV at 5 mGy per scan using a propagation-based phase-contrast setup at SYRMEP beamline at the Italian national synchrotron Elettra. A custom-made algorithm incorporating CT reconstructions of an arbitrary number of spectral energy channels was developed to extract the density and effective atomic number of adipose, fibro-glandular, pure glandular, tumor, and skin from regions selected by a radiologist. Preliminary results suggest that, via spectral CT, it is possible to enhance tissue differentiation. It was found that adipose, fibro-glandular and tumorous tissues have average effective atomic numbers (5.94 $\pm$ 0.09, 7.03 $\pm$ 0.012, and 7.40 $\pm$ 0.10) and densities (0.90 $\pm$ 0.02, 0.96 $\pm$ 0.02, and 1.07 $\pm$ 0.03 g/cm$^{3}$) and can be better distinguished if both quantitative values are observed together. △ Less

Submitted 14 February, 2023; originally announced February 2023.

Comments: 26 pages, 7 figures, submitted to Physics in Medicine and Biology

The electromagnetic vacuum field as an essential ingredient of the quantum-mechanical ontology

Authors: Ana María Cetto, Luis de la Peña

Abstract: Abstract This paper provides elements in support of the random zero-point radiation field (zpf) as an essential ontological ingredient needed to explain distinctive properties of quantum-mechanical systems. We show that when an otherwise classical particle is connected to the zpf, a drastic, qualitative change in the dynamics takes place, leading eventually to the quantum dynamics. In particular,… ▽ More Abstract This paper provides elements in support of the random zero-point radiation field (zpf) as an essential ontological ingredient needed to explain distinctive properties of quantum-mechanical systems. We show that when an otherwise classical particle is connected to the zpf, a drastic, qualitative change in the dynamics takes place, leading eventually to the quantum dynamics. In particular, we demonstrate that in parallel with the evolution of the particle canonical variables into quantum operators satisfying the basic commutator \left[\hat{x},\hat{p}\right]=i\hbar, also the field canonical variables are transformed, giving rise to the corresponding creation and annihilation operators \hat{a}^{\dagger},\hat{a}, satisfying \left[\hat{a},\hat{a}^{\dagger}\right]=1. This allows for an explanation of quantum features such as quantum fluctuations, stationary states and transitions, and establishes a natural contact with (nonrelativistic) quantum electrodynamics. △ Less

Submitted 28 October, 2022; originally announced October 2022.

The CARMENES search for exoplanets around M dwarfs: Stable radial-velocity variations at the rotation period of AD~Leonis -- A test case study of current limitations to treating stellar activity

Authors: D. Kossakowski, M. Kürster, Th. Henning, T. Trifonov, J. A. Caballero, M. Lafarga, F. F. Bauer, S. Stock, J. Kemmer, S. V. Jeffers, P. J. Amado, M. Pérez-Torres, V. J. S. Béjar, M. Cortés-Contreras, I. Ribas, A. Reiners, A. Quirrenbach, J. Aceituno, D. Baroch, C. Cifuentes, S. Dreizler, J. S. Forcada, A. Hatzes, A. Kaminski, D. Montes , et al. (12 additional authors not shown)

Abstract: Context: A challenge with radial-velocity (RV) data is disentangling the origin of signals either due to a planetary companion or to stellar activity. In fact, the existence of a planetary companion has been proposed, as well as contested, around the relatively bright, nearby M3.0V star AD Leo at the same period as the stellar rotation of 2.23d. Aims: We further investigate the nature of this sign… ▽ More Context: A challenge with radial-velocity (RV) data is disentangling the origin of signals either due to a planetary companion or to stellar activity. In fact, the existence of a planetary companion has been proposed, as well as contested, around the relatively bright, nearby M3.0V star AD Leo at the same period as the stellar rotation of 2.23d. Aims: We further investigate the nature of this signal. We introduce new CARMENES optical and near-IR RV data and an analysis in combination with archival data taken by HIRES and HARPS, along with more recent data from HARPS-N, GIANO-B, and HPF. Also, we address the confusion concerning the binarity of AD Leo. Methods: We consider possible correlations between the RVs and various stellar activity indicators accessible with CARMENES. We applied models within a Bayesian framework to determine whether a Keplerian model, a red-noise quasi-periodic model using a Gaussian process, or a mixed model would explain the observed data best. We also exclusively focus on spectral lines potentially associated with stellar activity. Results: The CARMENES RV data agree with the previously reported periodicity of 2.23d, correlate with some activity indicators, and exhibit chromaticity. However, when considering the entire RV data set, we find that a mixed model composed of a stable and a variable component performs best. Moreover, when recomputing the RVs using only spectral lines insensitive to activity, there appears to be some residual power at the period of interest. We therefore conclude that it is not possible to determinedly prove that there is no planet orbiting in synchronization with the stellar rotation given our data, current tools, machinery, and knowledge of how stellar activity affects RVs. We do rule out planets more massive than 27M_E (=0.084M_J). We also exclude any binary companion around AD Leo with Msini > 3-6M_J on orbital periods <14yr. △ Less

Submitted 13 September, 2022; originally announced September 2022.

Comments: 27 pages, 11 figures

Journal ref: A&A 666, A143 (2022)

Bring the BitCODE -- Moving Compute and Data in Distributed Heterogeneous Systems

Authors: Wenbin Lu, Luis E. Peña, Pavel Shamis, Valentin Churavy, Barbara Chapman, Steve Poole

Abstract: In this paper, we present a framework for moving compute and data between processing elements in a distributed heterogeneous system. The implementation of the framework is based on the LLVM compiler toolchain combined with the UCX communication framework. The framework can generate binary machine code or LLVM bitcode for multiple CPU architectures and move the code to remote machines while dynamic… ▽ More In this paper, we present a framework for moving compute and data between processing elements in a distributed heterogeneous system. The implementation of the framework is based on the LLVM compiler toolchain combined with the UCX communication framework. The framework can generate binary machine code or LLVM bitcode for multiple CPU architectures and move the code to remote machines while dynamically optimizing and linking the code on the target platform. The remotely injected code can recursively propagate itself to other remote machines or generate new code. The goal of this paper is threefold: (a) to present an architecture and implementation of the framework that provides essential infrastructure to program a new class of disaggregated systems wherein heterogeneous programming elements such as compute nodes and data processing units (DPUs) are distributed across the system, (b) to demonstrate how the framework can be integrated with modern, high-level programming languages such as Julia, and (c) to demonstrate and evaluate a new class of eXtended Remote Direct Memory Access (X-RDMA) communication operations that are enabled by this framework. To evaluate the capabilities of the framework, we used a cluster with Fujitsu CPUs and heterogeneous cluster with Intel CPUs and BlueField-2 DPUs interconnected using high-performance RDMA fabric. We demonstrated an X-RDMA pointer chase application that outperforms an RDMA GET-based implementation by 70% and is as fast as Active Messages, but does not require function predeployment on remote platforms. △ Less

Submitted 1 August, 2022; originally announced August 2022.

Comments: 11 pages, 12 figures, to be published in IEEE CLUSTER 2022

Completing the quantum ontology with the electromagnetic zero-point field

Authors: Luis de la Peña, Ana María Cetto

Abstract: This text begins with a series of critical considerations on the initial interpretation of quantum phenomena observed in atomic systems. The bewildering explanations advanced during the construction of quantum mechanics are shown to have distanced the new theory from the rest of scientific knowledge, by introducing indeterminism, acausality, nonlocality, and even subjectivism as part of its interp… ▽ More This text begins with a series of critical considerations on the initial interpretation of quantum phenomena observed in atomic systems. The bewildering explanations advanced during the construction of quantum mechanics are shown to have distanced the new theory from the rest of scientific knowledge, by introducing indeterminism, acausality, nonlocality, and even subjectivism as part of its interpretative framework. The conclusion drawn from this unsatisfactory interpretative landscape is that quantum mechanics lacks a key ontological ingredient. Arguments are given in favour of the random zero-point radiation field (ZPF) as the element needed to complete the quantum ontology. The (wave-mediated) quantum stochastic process is shown to be essentially different from Brownian motion, and more amenable to an analogy with the hydrodynamic case. The new perspective provided by the introduction of the ZPF is used to explain some salient features of quantum systems, such as the stationary atomic states and the transitions between them, and the apparent nonlocality expressed in the entangled states. Notably, the permanent presence of the field drastically affects the dynamics of the (otherwise classical) particle, which eventually falls under the control of the field. This qualitative change is reflected in the transition from the initial classical description in space-time, to the final quantum one in the Hilbert space. The clarification of the mechanism of quantization leads us to consider the possibility that a similar phenomenon occurs in other physical systems of corpuscles subjected to an oscillating background, of which the walking-droplet system is a paradigmatic example. △ Less

Submitted 13 July, 2022; originally announced July 2022.

Role of the electromagnetic vacuum in the transition from classical to quantum mechanics

Authors: Ana María Cetto, Luis de la Peña

Abstract: We revisit the nonrelativistic problem of a bound, charged particle subject to the random zero-point radiation field (ZPF), with the purpose of revealing the mechanism that takes it from the initially classical description to the final quantum-mechanical one. The combined effect of the ZPF and the radiation reaction force results, after a characteristic time lapse, in the loss of the initial condi… ▽ More We revisit the nonrelativistic problem of a bound, charged particle subject to the random zero-point radiation field (ZPF), with the purpose of revealing the mechanism that takes it from the initially classical description to the final quantum-mechanical one. The combined effect of the ZPF and the radiation reaction force results, after a characteristic time lapse, in the loss of the initial conditions and the concomitant irreversible transition of the dynamics to a stationary regime controlled by the field. In this regime, the canonical variables x,p become expressed in terms of the dipolar response functions to a set of field modes. A proper ordering of the response coefficients leads to the matrix representation of quantum mechanics, as was proposed in the early days of the theory, and to the basic commutator \left[\hat{x},\hat{p}\right]=i\hbar. Further, the connection with the corresponding Fokker-Planck equation valid in the Markov approximation, allows to obtain the (nonrelativistic) radiative corrections of QED. These results reaffirm the essentially electrodynamic and stochastic nature of the quantum phenomenon, as proposed by stochastic electrodynamics. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Mechanizing Matching Logic In Coq

Authors: Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Lucas Peña, Jan Tušil

Abstract: Matching logic is a formalism for specifying, and reasoning about, mathematical structures, using patterns and pattern matching. Growing in popularity, it has been used to define many logical systems such as separation logic with recursive definitions and linear temporal logic. In addition, it serves as the logical foundation of the K semantic framework, which was used to build practical verifiers… ▽ More Matching logic is a formalism for specifying, and reasoning about, mathematical structures, using patterns and pattern matching. Growing in popularity, it has been used to define many logical systems such as separation logic with recursive definitions and linear temporal logic. In addition, it serves as the logical foundation of the K semantic framework, which was used to build practical verifiers for a number of real-world languages. Despite being a fundamental formal system accommodating substantial theories, matching logic lacks a general-purpose, machine-checked formalization. Hence, we formalize matching logic using the Coq proof assistant. Specifically, we create a new representation of matching logic that uses a locally nameless encoding, and we formalize the syntax, semantics, and proof system of this representation in the Coq proof assistant. Crucially, we prove the soundness of the formalized proof system and provide a means to carry out interactive matching logic reasoning in Coq. We believe this work provides a previously unexplored avenue for reasoning about matching logic, its models, and the proof system. △ Less

Submitted 21 September, 2022; v1 submitted 14 January, 2022; originally announced January 2022.

Comments: In Proceedings FROM 2022, arXiv:2209.09208

Journal ref: EPTCS 369, 2022, pp. 17-36

UCX Programming Interface for Remote Function Injection and Invocation

Authors: Luis E. Peña, Wenbin Lu, Pavel Shamis, Steve Poole

Abstract: Network library APIs have historically been developed with the emphasis on data movement, placement, and communication semantics. Many communication semantics are available across a large variety of network libraries, such as send-receive, data streaming, put/get/atomic, RPC, active messages, collective communication, etc. In this work we introduce new compute and data movement APIs that overcome… ▽ More Network library APIs have historically been developed with the emphasis on data movement, placement, and communication semantics. Many communication semantics are available across a large variety of network libraries, such as send-receive, data streaming, put/get/atomic, RPC, active messages, collective communication, etc. In this work we introduce new compute and data movement APIs that overcome the constraints of the single-program, multiple-data (SPMD) programming model by allowing users to send binary executable code between processing elements. Our proof-of-concept implementation of the API is based on the UCX communication framework and leverages the RDMA network for fast compute migration. We envision the API being used to dispatch user functions from a host CPU to a SmartNIC (DPU), computational storage drive (CSD), or remote servers. In addition, the API can be used by large-scale irregular applications (such as semantic graph analysis), composed of many coordinating tasks operating on a data set so big that it has to be stored on many physical devices. In such cases, it may be more efficient to dynamically choose where code runs as the applications progresses. △ Less

Submitted 12 October, 2021; originally announced October 2021.

Comments: 16 pages, 4 figures, to be published in OpenSHMEM Workshop 2021

Solution of quantum eigenvalue problems by means of algebraic consistency conditions

Authors: Luis de la Peña, Ana María Cetto, Andrea Valdés-Hernández

Abstract: We present a simple algebraic procedure that can be applied to solve a range of quantum eigenvalue problems without the need to know the solution of the Schrödinger equation. The procedure, presented with a pedagogical purpose, is based on algebraic consistency conditions that must be satisfied by the eigenvalues of a couple of operators proper of the problem. These operators can be either bilinea… ▽ More We present a simple algebraic procedure that can be applied to solve a range of quantum eigenvalue problems without the need to know the solution of the Schrödinger equation. The procedure, presented with a pedagogical purpose, is based on algebraic consistency conditions that must be satisfied by the eigenvalues of a couple of operators proper of the problem. These operators can be either bilinear forms of the raising and lowering operators appropriate to the problem, or else auxiliary operators constructed by resorting to the factorization of the Hamiltonian. Different examples of important quantum-mechanical textbook problems are worked out to exhibit the clarity and simplicity of the algebraic procedure for determining the spectrum of eigenvalues without knowing the eigenfunctions. For this reason the material presented may be particularly useful for undergraduate students or young physicists. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Comments: 16 pages

Two-Chains: High Performance Framework for Function Injection and Execution

Authors: Megan Grodowitz, Luis E. Peña, Curtis Dunham, Dong Zhong, Pavel Shamis, Steve Poole

Abstract: Some important problems, such as semantic graph analysis, require large-scale irregular applications composed of many coordinating tasks that operate on a shared data set so big it has to be stored on many physical devices. In these cases, it may be more efficient to dynamically choose where code runs as the applications progresses. Many programming environments provide task migration or remote fu… ▽ More Some important problems, such as semantic graph analysis, require large-scale irregular applications composed of many coordinating tasks that operate on a shared data set so big it has to be stored on many physical devices. In these cases, it may be more efficient to dynamically choose where code runs as the applications progresses. Many programming environments provide task migration or remote function calls, but they have sharp trade-offs between flexible composition, portability, performance, and code complexity. We developed Two-Chains, a high performance framework inspired by active message communication semantics. We use the GNU Binutils, the ELF binary format, and the RDMA network protocol to provide ultra-low granularity distributed function composition at runtime in user space at HPC performance levels using C libraries. Our framework allows the direct injection of function binaries and data to a remote machine cache using the RDMA network. It interoperates seamlessly with existing C libraries using standard dynamic linking and load symbol resolution. We analyze function delivery and execution on cache stashing-enabled hardware and show that stashing decreases latency, increases message rates, and improves noise tolerance. This demonstrates one way this method is suited to increasingly network-oriented hardware architectures. △ Less

Submitted 4 August, 2021; originally announced August 2021.

Comments: 11 pages, 14 figures, to be published in IEEE CLUSTER 2021

On the physical origin of the quantum operator formalism

Authors: Ana María Cetto, Luis de la Peña, Andrea Valdés-Hernández

Abstract: We offer a clear physical explanation for the emergence of the quantum operator formalism, by revisiting the role of the vacuum field in quantum mechanics. The vacuum or random zero-point radiation field has been shown previously, using the tools of stochastic electrodynamics, to be central in allowing a particle subject to a conservative binding force to reach a stationary state of motion. Here w… ▽ More We offer a clear physical explanation for the emergence of the quantum operator formalism, by revisiting the role of the vacuum field in quantum mechanics. The vacuum or random zero-point radiation field has been shown previously, using the tools of stochastic electrodynamics, to be central in allowing a particle subject to a conservative binding force to reach a stationary state of motion. Here we focus on the stationary states, and consider the role of the vacuum as a driving force. We observe that the particle responds resonantly to certain field modes. A proper Hamiltonian analysis of this response allows us to unequivocally trace the origin of the basic quantum commutator, by establishing a one-to-one correspondence between the response coefficients of x and p and the respective matrix elements. The (random) driving field variables disappear thus from the description, but their Hamiltonian properties become embodied in the operator formalism. The Heisenberg equations establish the dynamical relationship between the response functions. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 11 pages

Relevance of stochasticity for the emergence of quantization

Authors: A. M. Cetto, L. de la Peña, A. Valdés-Hernández

Abstract: The theories of stochastic quantum mechanics and stochastic electrodynamics bring to light important aspects of the quantum dynamics that are concealed in the standard formalism. Here we take further previous work regarding the connection between the two theories, to exhibit the role of stochasticity and diffusion in the process leading from the originally classical+zpf regime to the quantum regim… ▽ More The theories of stochastic quantum mechanics and stochastic electrodynamics bring to light important aspects of the quantum dynamics that are concealed in the standard formalism. Here we take further previous work regarding the connection between the two theories, to exhibit the role of stochasticity and diffusion in the process leading from the originally classical+zpf regime to the quantum regime. Quantumlike phenomena present in other instances in which a mechanical system is subject to an appropriate oscillating background that introduces stochasticity, may point to a more general appearance of quantization under such circumstances. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints

Authors: Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

Abstract: Recursively defined linked data structures embedded in a pointer-based heap and their properties are naturally expressed in pure first-order logic with least fixpoint definitions (FO+lfp) with background theories. Such logics, unlike pure first-order logic, do not admit even complete procedures. In this paper, we undertake a novel approach for synthesizing inductive hypotheses to prove validity in… ▽ More Recursively defined linked data structures embedded in a pointer-based heap and their properties are naturally expressed in pure first-order logic with least fixpoint definitions (FO+lfp) with background theories. Such logics, unlike pure first-order logic, do not admit even complete procedures. In this paper, we undertake a novel approach for synthesizing inductive hypotheses to prove validity in this logic. The idea is to utilize several kinds of finite first-order models as counterexamples that capture the non-provability and invalidity of formulas to guide the search for inductive hypotheses. We implement our procedures and evaluate them extensively over theorems involving heap data structures that require inductive proofs and demonstrate the effectiveness of our methodology. △ Less

Submitted 26 September, 2022; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: Published at OOPSLA 2022

How fast is a quantum jump?

Authors: Luis de la Peña, Ana María Cetto, Andrea Valdés-Hernández

Abstract: A proposal is put forward for an estimate of the duration of a transition between atomic states. The proposal rests on the consideration that a resonance of the atomic electron with modes of the zero-point radiation field of Compton's frequency is at the core of the phenomenon. The theoretical result, given essentially by the expression (αあるふぁωおめが_{C})^{-1}, where αあるふぁis the fine structure constant and ωおめが_{C… ▽ More A proposal is put forward for an estimate of the duration of a transition between atomic states. The proposal rests on the consideration that a resonance of the atomic electron with modes of the zero-point radiation field of Compton's frequency is at the core of the phenomenon. The theoretical result, given essentially by the expression (αあるふぁωおめが_{C})^{-1}, where αあるふぁis the fine structure constant and ωおめが_{C} the Compton angular frequency for the electron, lies well within the range of the recently experimentally estimated values of the order of attoseconds (10^{-18} s). △ Less

Submitted 4 September, 2020; originally announced September 2020.

Comments: 7 pages

Los perfiles de investigación y su implantación en la Universidad Publica de Navarra

Authors: Manuel Ruiz de Luzuriaga Peña, Isabel Muñoz Mouriño, Mercedes Bogino Larrambebere

Abstract: This work aims to monitor and control the presence of UPNA research staff in the main research profiles platforms, not only in the most obvious ones such as Google Scholar Citation, Researcher ID, Scopus ID and ORCID, but also in other services that, in practice, they function as research profiles, such as Mendeley, Linkedin, ResearchGate, Academia.edu and Academica-e. We also find it interesting… ▽ More This work aims to monitor and control the presence of UPNA research staff in the main research profiles platforms, not only in the most obvious ones such as Google Scholar Citation, Researcher ID, Scopus ID and ORCID, but also in other services that, in practice, they function as research profiles, such as Mendeley, Linkedin, ResearchGate, Academia.edu and Academica-e. We also find it interesting to analyze that presence and see how it responds to a variables, such as the department, gender, job category, research group. In this study we have excluded some platforms for different reasons. Dialnet profiles are entered from the UPNA library (BUPNA), which means that all those who meet the requirements for inclusion would be there, so their analysis does not make much sense, since it depends on factors outside the will of the researcher himself. The same is the case with the UPNA Scientific Production Portal (PPC): the data is entered from the Vicerrectorado de Investigación and should include all members of the UPNA PDI. Using as a base the census of university research staff provided by the Vicerrectorado de Investigación, it has been verified, for each author, the existence or not of a profile in the different services studied. The results have been tabulated in an Excel file to be able to analyze them later. The data has been collected in March 2018 for Orcid, ResearcherID, ScopusID, Google Scholar Citations and Mendeley. In November 2018, data from Academica-e, Academia.edu, ResearchGate and Linkedin were taken. For each of the profiles, a search by institutional affiliation was used, when possible, to obtain a first list of UPNA research personnel with that profile. Subsequently, a search was carried out, person by person, of the rest of the research staff that did not appear in that first list. △ Less

Submitted 29 May, 2020; originally announced May 2020.

Comments: in Spanish

Connecting two stochastic theories that lead to quantum mechanics

Authors: Luis de la Peña, Ana María Cetto, Andrea Valdés-Hernández

Abstract: The connection is established between two theories that have developed independently with the aim to describe quantum mechanics as a stochastic process, namely stochastic quantum mechanics (sqm) and stochastic electrodynamics (sed). Important commonalities and complementarities between the two theories are identified, notwithstanding their dissimilar origins and approaches. Further, the dynamical… ▽ More The connection is established between two theories that have developed independently with the aim to describe quantum mechanics as a stochastic process, namely stochastic quantum mechanics (sqm) and stochastic electrodynamics (sed). Important commonalities and complementarities between the two theories are identified, notwithstanding their dissimilar origins and approaches. Further, the dynamical equation of sqm is completed with the radiation terms that are an integral element in sed. The central problem of the transition to the quantum dynamics is addressed, pointing to the key role of diffusion in the emergence of quantization. △ Less

Submitted 19 February, 2020; originally announced February 2020.

On the spin projection operator and the probabilistic meaning of the bipartite correlation function

Authors: Ana María Cetto, Andrea Valdés-Hernández, Luis de la Peña

Abstract: Spin is a fundamental and distinctive property of the electron, having far-reaching consequences in wide areas of physics. Yet, further to its association with an angular momentum, the physics underpinning its formal treatment remains obscure. In this work we propose to advance in disclosing the meaning behind the formalism, by first recalling some basic facts about the one-particle spin operator.… ▽ More Spin is a fundamental and distinctive property of the electron, having far-reaching consequences in wide areas of physics. Yet, further to its association with an angular momentum, the physics underpinning its formal treatment remains obscure. In this work we propose to advance in disclosing the meaning behind the formalism, by first recalling some basic facts about the one-particle spin operator. Consistently informed by and in line with the quantum formalism, we then proceed to analyse in detail the spin projection operator correlation function $C_Q(\boldsymbol{a}, \boldsymbol{b}) = \langle(\hatσしぐま\cdot\boldsymbol{a})(\hatσしぐま\cdot\boldsymbol{b})\rangle$ for the bipartite singlet state, and show it to be amenable to an unequivocal probabilistic reading. In particular, the calculation of $C_Q(\boldsymbol{a}, \boldsymbol{b})$ entails a partitioning of the probability space, which is dependent on the directions $(\boldsymbol{a}, \boldsymbol{b})$. The derivation of the CHSH- or other Bell-type inequalities, on the other hand, does not consider such partitioning. This observation puts into question the applicability of Bell-type inequalities to the bipartite singlet spin state. △ Less

Submitted 12 August, 2019; originally announced August 2019.

Comments: 8 pages

Towards a Verified Model of the Algorand Consensus Protocol in Coq

Authors: Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon Moore, Karl Palmskog, Lucas Peña, Grigore Roşu

Abstract: The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactly one block certified in each round: that is, the protocol guarantees that the blockchain does not fork. In this paper, we report on our effort to model and formally verify the Algorand consensus protocol in the Coq proo… ▽ More The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactly one block certified in each round: that is, the protocol guarantees that the blockchain does not fork. In this paper, we report on our effort to model and formally verify the Algorand consensus protocol in the Coq proof assistant. Similar to previous consensus protocol verification efforts, we model the protocol as a state transition system and reason over reachable global states. However, in contrast to previous work, our model explicitly incorporates timing issues (e.g., timeouts and network delays) and adversarial actions, reflecting a more realistic environment faced by a public blockchain. Thus far, we have proved asynchronous safety of the protocol: two different blocks cannot be certified in the same round, even when the adversary has complete control of message delivery in the network. We believe that our model is sufficiently general and other relevant properties of the protocol such as liveness can be proved for the same model. △ Less

Submitted 25 August, 2020; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: 6 pages; updated to correspond to version in FMBC 2019 proceedings

ACM Class: F.3.1; C.2.4; K.6.5

Journal ref: Formal Methods. FM 2019 International Workshops. Lecture Notes in Computer Science, vol 12232, pp. 362-367

Cardinality of the Dickson permutation's group of polynomials on $\mathbb{Z}_n$

Authors: L. Peña, M. Ortíz

Abstract: Let $G_n$ be the group of permutations on $\mathbb{Z}_n$ that is induced by a Dickson polynomial, where $n$ is a positive integer. In this work, by solving special types of systems of linear congruences, we obtain $G_n$. In addition, we give an a algorithm that gets $|G_n|$. Let $G_n$ be the group of permutations on $\mathbb{Z}_n$ that is induced by a Dickson polynomial, where $n$ is a positive integer. In this work, by solving special types of systems of linear congruences, we obtain $G_n$. In addition, we give an a algorithm that gets $|G_n|$. △ Less

Submitted 9 March, 2019; originally announced March 2019.

A First-Order Logic with Frames

Authors: Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

Abstract: We propose a novel logic, called Frame Logic (FL), that extends first-order logic (with recursive definitions) using a construct Sp(.) that captures the implicit supports of formulas -- the precise subset of the universe upon which their meaning depends. Using such supports, we formulate proof rules that facilitate frame reasoning elegantly when the underlying model undergoes change. We show that… ▽ More We propose a novel logic, called Frame Logic (FL), that extends first-order logic (with recursive definitions) using a construct Sp(.) that captures the implicit supports of formulas -- the precise subset of the universe upon which their meaning depends. Using such supports, we formulate proof rules that facilitate frame reasoning elegantly when the underlying model undergoes change. We show that the logic is expressive by capturing several data-structures and also exhibit a translation from a precise fragment of separation logic to frame logic. Finally, we design a program logic based on frame logic for reasoning with programs that dynamically update heaps that facilitates local specifications and frame reasoning. This program logic consists of both localized proof rules as well as rules that derive the weakest tightest preconditions in FL. △ Less

Submitted 26 September, 2022; v1 submitted 25 January, 2019; originally announced January 2019.

Comments: This manuscript is an extended and revised version of the publication with the same title that appeared at ESOP 2022 (https://doi.org/10.1007/978-3-030-44914-8_19). It is currently under review

Strong entanglement criterion involving momentum weak values

Authors: A. Valdés-Hernández, L. de la Peña, A. M. Cetto

Abstract: In recent years weak values have been used to explore interesting quantum features in novel ways. In particular, the real part of the weak value of the momentum operator has been widely studied, mainly in connection with (nonlocal) Bohmian trajectories. Here we focus on the imaginary part and its role in relation with the entanglement of a bipartite system. We establish an entanglement criterion b… ▽ More In recent years weak values have been used to explore interesting quantum features in novel ways. In particular, the real part of the weak value of the momentum operator has been widely studied, mainly in connection with (nonlocal) Bohmian trajectories. Here we focus on the imaginary part and its role in relation with the entanglement of a bipartite system. We establish an entanglement criterion based on weak momentum correlations, that allows to discern whether the entanglement is encoded in the amplitude and/or in the phase of the wave function. Our results throw light on the physical role of the real and imaginary parts of the weak values, and stress the relevance of the latter in the multi-particle scenario △ Less

Submitted 14 February, 2019; v1 submitted 18 October, 2018; originally announced October 2018.

Journal ref: Phys. Lett. A 383 (2019) 838-842

An investigation into the source of stability of the electron spin projections

Authors: A. M. Cetto, L. de la Peña

Abstract: We propose that the stability of the two projections of the electron spin along the direction of an applied magnetic field, is an effect of high-frequency vibrations acting on the spin magnetic moment. The source of the high-frequency vibrations is to be found in the zero-point radiation field. We propose that the stability of the two projections of the electron spin along the direction of an applied magnetic field, is an effect of high-frequency vibrations acting on the spin magnetic moment. The source of the high-frequency vibrations is to be found in the zero-point radiation field. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 10 pages, 1 figure

Proposed physical explanation for the electron spin and related antisymmetry

Authors: Ana María Cetto, Luis de la Peña, Andrea Valdés-Hernández

Abstract: We offer a possible physical explanation for the origin of the electron spin and the related antisymmetry of the wave function for a two-electron system, in the framework of nonrelativistic quantum mechanics as provided by linear stochastic electrodynamics. A consideration of the separate coupling of the electron to circularly polarized modes of the random electromagnetic vacuum field, allows to d… ▽ More We offer a possible physical explanation for the origin of the electron spin and the related antisymmetry of the wave function for a two-electron system, in the framework of nonrelativistic quantum mechanics as provided by linear stochastic electrodynamics. A consideration of the separate coupling of the electron to circularly polarized modes of the random electromagnetic vacuum field, allows to disclose the spin angular momentum and the associated magnetic moment with a $g$-factor 2, and to establish the connection with the usual operator formalism. The spin operator turns out to be the generator of internal rotations, in the corresponding coordinate representation. In a bipartite system, the distinction between exchange of particle coordinates (which include the internal rotation angle) and exchange of states becomes crucial. Following the analysis of the respective symmetry properties, the electrons are shown to couple in antiphase to the same vacuum field modes. This finding, encoded in the antisymmetry of the wave function, provides a physical rationale for the Pauli principle. The extension of our results to a multipartite system is briefly discussed. △ Less

Submitted 1 January, 2018; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: The final version will appear in Quantum Studies: Mathematics and Foundations, available at link.springer.com

Plus-Minus Player Ratings for Soccer

Authors: Tarak Kharrat, Javier López Peña, Ian McHale

Abstract: The paper presents a plus-minus rating for use in association football (soccer). We first describe the standard plus-minus methodology as used in basketball and ice-hockey and then adapt it for use in soccer. The usual goal-differential plus-minus is considered before two variations are proposed. For the first variation, we present a methodology to calculate an expected goals plus-minus rating. Th… ▽ More The paper presents a plus-minus rating for use in association football (soccer). We first describe the standard plus-minus methodology as used in basketball and ice-hockey and then adapt it for use in soccer. The usual goal-differential plus-minus is considered before two variations are proposed. For the first variation, we present a methodology to calculate an expected goals plus-minus rating. The second variation makes use of in-play probabilities of match outcome to evaluate an expected points plus-minus rating. We use the ratings to examine who are the best players in European football, and demonstrate how the players' ratings evolve over time. Finally, we shed light on the debate regarding which is the strongest league. The model suggests the English Premier League is the strongest, with the German Bundesliga a close runner-up. △ Less

Submitted 15 June, 2017; originally announced June 2017.

MSC Class: 62P99; 68Q32

Procedural Generation of Videos to Train Deep Action Recognition Networks

Authors: César Roberto de Souza, Adrien Gaidon, Yohann Cabon, Antonio Manuel López Peña

Abstract: Deep learning for human action recognition in videos is making significant progress, but is slowed down by its dependency on expensive manual labeling of large video collections. In this work, we investigate the generation of synthetic training data for action recognition, as it has recently shown promising results for a variety of other computer vision tasks. We propose an interpretable parametri… ▽ More Deep learning for human action recognition in videos is making significant progress, but is slowed down by its dependency on expensive manual labeling of large video collections. In this work, we investigate the generation of synthetic training data for action recognition, as it has recently shown promising results for a variety of other computer vision tasks. We propose an interpretable parametric generative model of human action videos that relies on procedural generation and other computer graphics techniques of modern game engines. We generate a diverse, realistic, and physically plausible dataset of human action videos, called PHAV for "Procedural Human Action Videos". It contains a total of 39,982 videos, with more than 1,000 examples for each action of 35 categories. Our approach is not limited to existing motion capture sequences, and we procedurally define 14 synthetic actions. We introduce a deep multi-task representation learning architecture to mix synthetic and real videos, even if the action categories differ. Our experiments on the UCF101 and HMDB51 benchmarks suggest that combining our large set of synthetic videos with small real-world datasets can boost recognition performance, significantly outperforming fine-tuning state-of-the-art unsupervised generative models of videos. △ Less

Submitted 19 July, 2017; v1 submitted 2 December, 2016; originally announced December 2016.

Comments: Accepted for publication at CVPR 2017. http://adas.cvc.uab.es/phav/

Who can replace Xavi? A passing motif analysis of football players

Authors: Javier López Peña, Raúl Sánchez Navarro

Abstract: Traditionally, most of football statistical and media coverage has been focused almost exclusively on goals and (ocassionally) shots. However, most of the duration of a football game is spent away from the boxes, passing the ball around. The way teams pass the ball around is the most characteristic measurement of what a team's "unique style" is. In the present work we analyse passing sequences a… ▽ More Traditionally, most of football statistical and media coverage has been focused almost exclusively on goals and (ocassionally) shots. However, most of the duration of a football game is spent away from the boxes, passing the ball around. The way teams pass the ball around is the most characteristic measurement of what a team's "unique style" is. In the present work we analyse passing sequences at the player level, using the different passing frequencies as a "digital fingerprint" of a player's style. The resulting numbers provide an adequate feature set which can be used in order to construct a measure of similarity between players. Armed with such a similarity tool, one can try to answer the question: Who might possibly replace Xavi at FC Barcelona? △ Less

Submitted 23 June, 2015; originally announced June 2015.

Comments: 9 pages, 8 tables, 3 figures

A Markovian model for association football possession and its outcomes

Authors: Javier López Peña

Abstract: We propose a bottom-up approach to the study of possession and its outcomes for association football, based on probabilistic finite state automata with transition probabilities described by a Markov process. We show how even a very simple model yields faithful approximations to the distribution of passing sequences and chances of taking shots for English Premier League teams, which we fit using a… ▽ More We propose a bottom-up approach to the study of possession and its outcomes for association football, based on probabilistic finite state automata with transition probabilities described by a Markov process. We show how even a very simple model yields faithful approximations to the distribution of passing sequences and chances of taking shots for English Premier League teams, which we fit using a whole season of granular game data (380 games). We compare the resulting model with classical top-down distributions traditionally used to describe possessions, showing that the Markov models yield a more accurate asymptotic behaviour. △ Less

Submitted 31 March, 2014; originally announced March 2014.

Comments: 6 pages, 6 figures

MSC Class: 60J05; 60J10; 90C40; 90B15

Intrinsic robust antiferromagnetism at manganite surfaces and interfaces

Authors: S. Valencia, L. Peña, Z. Konstantinovic, Ll. Balcells, R. Galceran, D. Schmitz, F. Sandiumenge, M. Casanove, B. Martínez

Abstract: Ferromagnetic/metallic manganese perovskites, such as La2/3Sr1/3MnO3 (LSMO)are promising materials for the design and implementation of novel spintronic devices working at room temperature. However, their implementation in practical applications has been severely hampered due to the breakdown of their magnetotransport properties at temperatures well below their magnetic transition temperature. Thi… ▽ More Ferromagnetic/metallic manganese perovskites, such as La2/3Sr1/3MnO3 (LSMO)are promising materials for the design and implementation of novel spintronic devices working at room temperature. However, their implementation in practical applications has been severely hampered due to the breakdown of their magnetotransport properties at temperatures well below their magnetic transition temperature. This breakdown has been usually associated to surface and interface related problems but its physical origin has not been clearly established yet. In this work we investigate the interface between La2/3Sr1/3MnO3 (LSMO) thin films and different capping layers by means of x-ray linear dichroism and transport measurements. Our data reveal that, irrespective to the capping material, LSMO/capping layer bilayers exhibit an antiferromegnetic/insulating phase at the interface, likely to originate from a preferential occupancy of Mn 3d 3z2-r2 eg orbitals. This phase, which extends ca. 2 unit cells, is also observed in an uncapped LSMO reference sample thus, pointing to an intrinsic interfacial phase separation phenomenon, likely to be promoted by the structural disruption and symmetry breaking at the LSMO free surface/interface. These experimental observations strongly suggest that the structural disruption at the LSMO interfaces play a major role on the observed depressed magnetotransport properties in manganite-based magnetic tunneling junctions and it is at the origin of the so-called dead layer. △ Less

Submitted 21 February, 2013; originally announced February 2013.

Comments: 19 pages, 5 figures, 1 table

Atomic radiative corrections without QED: role of the zero-point field

Authors: Ana María Cetto, Luis de la Peña, Andrea Valdés-Hernández

Abstract: We derive the atomic radiative corrections predicted by QED using an alternative approach that offers the advantage of physical clarity and transparency. The element that gives rise to these corrections is the fluctuating zero-point radiation field (ZPF) of average energy (hbar ωおめが)/2 per mode, which - in contrast with QED - is taken here as a primordial real entity in permanent interaction with mat… ▽ More We derive the atomic radiative corrections predicted by QED using an alternative approach that offers the advantage of physical clarity and transparency. The element that gives rise to these corrections is the fluctuating zero-point radiation field (ZPF) of average energy (hbar ωおめが)/2 per mode, which - in contrast with QED - is taken here as a primordial real entity in permanent interaction with matter and responsible for its quantization. After briefly recalling how quantum mechanics itself emerges as a result of the balance between the ZPF and radiation reaction, the most important higher-order effects of the radiative terms on the atom are studied. The nonrelativistic QED formulas for the lifetimes and the Lamb shift, as well as the corrections to the latter due to external factors that modify the vacuum field, are thus obtained in a self-consistent approach and without the need to resort to second quantization to the present order of approximation. △ Less

Submitted 25 January, 2013; originally announced January 2013.

A network theory analysis of football strategies

Authors: Javier López Peña, Hugo Touchette

Abstract: We showcase in this paper the use of some tools from network theory to describe the strategy of football teams. Using passing data made available by FIFA during the 2010 World Cup, we construct for each team a weighted and directed network in which nodes correspond to players and arrows to passes. The resulting network or graph provides a direct visual inspection of a team's strategy, from which w… ▽ More We showcase in this paper the use of some tools from network theory to describe the strategy of football teams. Using passing data made available by FIFA during the 2010 World Cup, we construct for each team a weighted and directed network in which nodes correspond to players and arrows to passes. The resulting network or graph provides a direct visual inspection of a team's strategy, from which we can identify play pattern, determine hot-spots on the play and localize potential weaknesses. Using different centrality measures, we can also determine the relative importance of each player in the game, the `popularity' of a player, and the effect of removing players from the game. △ Less

Submitted 28 June, 2012; originally announced June 2012.

Comments: 6 pages, 1 figure, 5 tables

MSC Class: 68R10; 90C35; 90C90

Journal ref: In C. Clanet (ed.), Sports Physics: Proc. 2012 Euromech Physics of Sports Conference, p. 517-528, Éditions de l'École Polytechnique, Palaiseau, 2013. (ISBN 978-2-7302-1615-9)

The Unseen Population of F to K-type Companions to Hot Subdwarf Stars

Authors: J. Girven, D. Steeghs, U. Heber, B. T. Gänsicke, T. R. Marsh, E. Breedt, C. M. Copperwheat, S. Pyrzas, P. Longa Peña

Abstract: We present a method to select hot subdwarf stars with A to M-type companions using photometric selection criteria. We cover a wide range in wavelength by combining GALEX ultraviolet data, optical photometry from the SDSS and the Carlsberg Meridian telescope, near-infrared data from 2MASS and UKIDSS. We construct two complimentary samples, one by matching GALEX, CMC and 2MASS, as well as a smaller,… ▽ More We present a method to select hot subdwarf stars with A to M-type companions using photometric selection criteria. We cover a wide range in wavelength by combining GALEX ultraviolet data, optical photometry from the SDSS and the Carlsberg Meridian telescope, near-infrared data from 2MASS and UKIDSS. We construct two complimentary samples, one by matching GALEX, CMC and 2MASS, as well as a smaller, but deeper, sample using GALEX, SDSS and UKIDSS. In both cases, a large number of composite subdwarf plus main-sequence star candidates were found. We fit their spectral energy distributions with a composite model in order to estimate the subdwarf and companion star effective temperatures along with the distance to each system. The distribution of subdwarf effective temperature was found to primarily lie in the 20,000 - 30,000 K regime, but we also find cooler subdwarf candidates, making up ~5-10 per cent. The most prevalent companion spectral types were seen to be main-sequence stars between F0 and K0, while subdwarfs with M-type companions appear much rarer. This is clear observational confirmation that a very efficient first stable Roche-lobe overflow channel appears to produce a large number of subdwarfs with F to K-type companions. Our samples thus support the importance of binary evolution for subdwarf formation. △ Less

Submitted 30 May, 2012; originally announced May 2012.

Comments: 30 pages, 10 figures, 11 tables. Accepted for publication in MNRAS

Projective geometry for blueprints

Authors: Javier López Peña, Oliver Lorscheid

Abstract: In this note, we generalize the Proj-construction from usual schemes to blue schemes. This yields the definition of projective space and projective varieties over a blueprint. In particular, it is possible to descend closed subvarieties of a projective space to a canonical F_1-model. We discuss this explicitly in case of the Grassmannian Gr(2,4). In this note, we generalize the Proj-construction from usual schemes to blue schemes. This yields the definition of projective space and projective varieties over a blueprint. In particular, it is possible to descend closed subvarieties of a projective space to a canonical F_1-model. We discuss this explicitly in case of the Grassmannian Gr(2,4). △ Less

Submitted 7 March, 2012; originally announced March 2012.

Comments: 5 pages, 1 figure

MSC Class: 14N05; 14G15; 14T05

Origin and meaning of quantum nonlocality

Authors: L. de la Peña, A. M. Cetto, A. Valdés-Hernández, H. M. França

Abstract: Quantum nonlocality is revisited from a novel point of view by studying the problem of an originally classical particle immersed in the stochastic zero-point radiation field (zpf). The entire system is left to evolve until it reaches a state in which the radiative terms cancel each other in the mean in a first approximation. The ensuing approximate statistical description reduced to the particle's… ▽ More Quantum nonlocality is revisited from a novel point of view by studying the problem of an originally classical particle immersed in the stochastic zero-point radiation field (zpf). The entire system is left to evolve until it reaches a state in which the radiative terms cancel each other in the mean in a first approximation. The ensuing approximate statistical description reduced to the particle's configuration space contains a nonclassical term due to the dispersion of the momentum, which depends on the density of particles ρろー(x) and thus is nonlocal. This description is shown to be equivalent to Schrödinger's equation and its complex conjugate. The nonlocal term is recognized as the so-called quantum potential, thus solving the long standing problem of the origin and meaning of this term. Further, the relationship between the Wigner function and a true Kolmogorovian probability density in phase space is discussed from the perspective provided by this theory. △ Less

Submitted 20 October, 2011; originally announced October 2011.

Koszul pairs and applications

Authors: Pascual Jara Martínez, Javier López Peña, Dragoş Ştefan

Abstract: Let $R$ be a semisimple ring. A pair $(A,C)$ is called almost-Koszul if $A$ is a connected graded $R$-ring and $C$ is a compatible connected graded $R$-coring. To an almost-Koszul pair one associates three chain complexes and three cochain complexes such that one of them is exact if and only if the others are so. In this situation $(A,C)$ is said to be Koszul. One proves that a connected $R$-ring… ▽ More Let $R$ be a semisimple ring. A pair $(A,C)$ is called almost-Koszul if $A$ is a connected graded $R$-ring and $C$ is a compatible connected graded $R$-coring. To an almost-Koszul pair one associates three chain complexes and three cochain complexes such that one of them is exact if and only if the others are so. In this situation $(A,C)$ is said to be Koszul. One proves that a connected $R$-ring $A$ is Koszul if and only if there is a connected $R$-coring $C$ such that $(A,C)$ is Koszul. This result allows us to investigate the Hochschild (co)homology of Koszul rings. We apply our method to show that the twisted tensor product of two Koszul rings is Koszul. More examples and applications of Koszul pairs, including a generalization of Fröberg Theorem, are discussed in the last part of the paper. △ Less

Submitted 5 February, 2016; v1 submitted 18 November, 2010; originally announced November 2010.

Comments: The final version, accepted for publication in Journal of Noncommutative Geometry

Lie theory of finite simple groups and the Roth property

Authors: Javier López Peña, Shahn Majid, Konstanze Rietsch

Abstract: In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μみゅー=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even… ▽ More In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μみゅー=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even when K is not invertible) and that a finite group is Roth, meaning its conjugation representation contains every irreducible, iff μみゅー is not equal to 1/(N-1), where N is the number of conjugacy classes. We show further that the Killing form is invertible in the Roth case, and that the Killing form restricted to the (N-1)-dimensional subspace of invariant vectors is invertible iff the finite group is almost-Roth group (meaning its conjugation representation has at most one missing irreducible). It is known that most finite simple groups are Roth and that all are almost Roth. At the other extreme from the universal calculus we prove that the generating conjugacy class in the case of the dihedral groups D_{2n} with n odd has invertible Killing form, and the same for the 2-cycles conjugacy class in any S_n. We also compute some eigenvalues of the Killing form in the case of the n-cycles class in S_n. Finally, we verify invertibility of the Killing forms of all real conjugacy classes in all nonabelian finite simple groups to order 75,000, by computer, and we conjecture this to extend to all nonabelian finite simple groups. △ Less

Submitted 23 November, 2012; v1 submitted 29 March, 2010; originally announced March 2010.

Comments: cut some of the less important material and added a computation, now latex 39 pages with no figures

Quantum Effects on the Free Energy of Ionic Aqueous Clusters Evaluated by Non-equilibrium Computational Methods

Authors: Lisandro Hernández de la Peña, Gilles H. Peslherbe

Abstract: This paper has been withdrawn by the authors due to a copyright conflict with the Journal of Physical Chemistry B, to which it has been submitted. This paper has been withdrawn by the authors due to a copyright conflict with the Journal of Physical Chemistry B, to which it has been submitted. △ Less

Submitted 4 May, 2010; v1 submitted 10 September, 2009; originally announced September 2009.

Comments: This paper is withdrawn due to copyright issues; the paper can be found at J. Phys. Chem. B 114, 5404 (2010)

Mapping F_1-land:An overview of geometries over the field with one element

Authors: Javier López Peña, Oliver Lorscheid

Abstract: This paper gives an overview of the various approaches towards F_1-geometry. In a first part, we review all known theories in literature so far, which are: Deitmar's F_1-schemes, Toën and Vaquié's F_1-schemes, Haran's F-schemes, Durov's generalized schemes, Soulé's varieties over F_1 as well as his and Connes-Consani's variations of this theory, Connes and Consani's F_1-schemes, the author's tor… ▽ More This paper gives an overview of the various approaches towards F_1-geometry. In a first part, we review all known theories in literature so far, which are: Deitmar's F_1-schemes, Toën and Vaquié's F_1-schemes, Haran's F-schemes, Durov's generalized schemes, Soulé's varieties over F_1 as well as his and Connes-Consani's variations of this theory, Connes and Consani's F_1-schemes, the author's torified varieties and Borger's Lambda-schemes. In a second part, we will tie up these different theories by describing functors between the different F_1-geometries, which partly rely on the work of others, partly describe work in progress and partly gain new insights in the field. This leads to a commutative diagram of F_1-geometries and functors between them that connects all the reviewed theories. We conclude the paper by reviewing the second author's constructions that lead to realization of Tits' idea about Chevalley groups over F_1. △ Less

Submitted 31 August, 2009; originally announced September 2009.

Comments: 21 pages, 1 figure

Torified varieties and their geometries over F_1

Authors: Javier López Peña, Oliver Lorscheid

Abstract: This paper invents the notion of torified varieties: A torification of a scheme is a decomposition of the scheme into split tori. A torified variety is a reduced scheme of finite type over $\Z$ that admits a torification. Toric varieties, split Chevalley schemes and flag varieties are examples of this type of scheme. Given a torified variety whose torification is compatible with an affine open cov… ▽ More This paper invents the notion of torified varieties: A torification of a scheme is a decomposition of the scheme into split tori. A torified variety is a reduced scheme of finite type over $\Z$ that admits a torification. Toric varieties, split Chevalley schemes and flag varieties are examples of this type of scheme. Given a torified variety whose torification is compatible with an affine open covering, we construct a gadget in the sense of Connes-Consani and an object in the sense of Soulé and show that both are varieties over $\F_1$ in the corresponding notion. Since toric varieties and split Chevalley schemes satisfy the compatibility condition, we shed new light on all examples of varieties over $\F_1$ in the literature so far. Furthermore, we compare Connes-Consani's geometry, Soulé's geometry and Deitmar's geometry, and we discuss to what extent Chevalley groups can be realized as group objects over $\F_1$ in the given categories. △ Less

Submitted 31 May, 2013; v1 submitted 12 March, 2009; originally announced March 2009.

Comments: 34 pages; includes some clarifications of the definitions from the previous version

Factorization structures with a 2-dimensional factor

Authors: Óscar Cortadellas, Javier López Peña, Gabriel Navarro

Abstract: We introduce the notion of quantum duplicates of an (associative, unital) algebra, motivated by the problem of constructing toy-models for quantizations of certain configuration spaces in quantum mechanics. The proposed (algebraic) model relies on the classification of factorization structures with a two-dimensional factor. In the present paper, main properties of this particular kind of structu… ▽ More We introduce the notion of quantum duplicates of an (associative, unital) algebra, motivated by the problem of constructing toy-models for quantizations of certain configuration spaces in quantum mechanics. The proposed (algebraic) model relies on the classification of factorization structures with a two-dimensional factor. In the present paper, main properties of this particular kind of structures are determined, and we present a complete description of quantum duplicates of finite set algebras. As an application, we obtain a classification (up to isomorphism) of all the algebras of dimension 4 (over an arbitrary field) that can be factorized as a product of two factors. △ Less

Submitted 9 July, 2009; v1 submitted 11 July, 2008; originally announced July 2008.

Comments: 24 pages, 4 figures

MSC Class: 16S35; 16G20; 16W35

Quantum free energy differences from non-equilibrium path integrals: II. Convergence properties for the harmonic oscillator

Authors: Ramses van Zon, Lisandro Hernandez de la Pena, Gilles H. Peslherbe, Jeremy Schofield

Abstract: Non-equilibrium path integral methods for computing quantum free energy differences are applied to a quantum particle trapped in a harmonic well of uniformly changing strength with the purpose of establishing the convergence properties of the work distribution and free energy as the number of degrees of freedom M in the regularized path integrals goes to infinity. The work distribution is found… ▽ More Non-equilibrium path integral methods for computing quantum free energy differences are applied to a quantum particle trapped in a harmonic well of uniformly changing strength with the purpose of establishing the convergence properties of the work distribution and free energy as the number of degrees of freedom M in the regularized path integrals goes to infinity. The work distribution is found to converge when M tends to infinity regardless of the switching speed, leading to finite results for the free energy difference when the Jarzynski non-equilibrium work relation or the Crooks fluctuation relation are used. The nature of the convergence depends on the regularization method. For the Fourier method, the convergence of the free energy difference and work distribution go as 1/M, while both quantities converge as 1/M^2 when the bead regularization procedure is used. The implications of these results to more general systems are discussed. △ Less

Submitted 29 August, 2008; v1 submitted 2 July, 2008; originally announced July 2008.

Comments: 26 pages, 6 figures. Added clarifying remarks and fixed typos

Quantum free energy differences from non-equilibrium path integrals: I. Methods and numerical application

Authors: Ramses van Zon, Lisandro Hernandez de la Pena, Gilles H. Peslherbe, Jeremy Schofield

Abstract: The imaginary-time path integral representation of the canonical partition function of a quantum system and non-equilibrium work fluctuation relations are combined to yield methods for computing free energy differences in quantum systems using non-equilibrium processes. The path integral representation is isomorphic to the configurational partition function of a classical field theory, to which… ▽ More The imaginary-time path integral representation of the canonical partition function of a quantum system and non-equilibrium work fluctuation relations are combined to yield methods for computing free energy differences in quantum systems using non-equilibrium processes. The path integral representation is isomorphic to the configurational partition function of a classical field theory, to which a natural but fictitious Hamiltonian dynamics is associated. It is shown that if this system is prepared in an equilibrium state, after which a control parameter in the fictitious Hamiltonian is changed in a finite time, then formally the Jarzynski non-equilibrium work relation and the Crooks fluctuation relation are shown to hold, where work is defined as the change in the energy as given by the fictitious Hamiltonian. Since the energy diverges for the classical field theory in canonical equilibrium, two regularization methods are introduced which limit the number of degrees of freedom to be finite. The numerical applicability of the methods is demonstrated for a quartic double-well potential with varying asymmetry. A general parameter-free smoothing procedure for the work distribution functions is useful in this context. △ Less

Submitted 29 August, 2008; v1 submitted 2 July, 2008; originally announced July 2008.

Comments: 20 pages, 4 figures. Added clarifying remarks and fixed typos

On the classification of twisting maps between $K^n$ and $K^m$

Authors: Pascual Jara, Javier López Peña, Gabriel Navarro, Dragoş Ştefan

Abstract: We define the notion of admissible pair for an algebra $A$, consisting on a couple $(Γがんま,R)$, where $Γがんま$ is a quiver and $R$ a unital, splitted and factorizable representation of $Γがんま$, and prove that the set of admissible pairs for $A$ is in one to one correspondence with the points of the variety of twisting maps $\mathcal{T}_A^n:=\mathcal{T}(K^n,A)$. We describe all these representations in the ca… ▽ More We define the notion of admissible pair for an algebra $A$, consisting on a couple $(Γがんま,R)$, where $Γがんま$ is a quiver and $R$ a unital, splitted and factorizable representation of $Γがんま$, and prove that the set of admissible pairs for $A$ is in one to one correspondence with the points of the variety of twisting maps $\mathcal{T}_A^n:=\mathcal{T}(K^n,A)$. We describe all these representations in the case $A=K^m$. △ Less

Submitted 24 September, 2009; v1 submitted 19 May, 2008; originally announced May 2008.

Comments: 21 pages

MSC Class: 16S35; 16G20

Far-reaching statistical consequences of the zero-point energy for the harmonic oscillator

Authors: Luis de la Pena, Andrea Valdes-Hernandez, Ana Maria Cetto

Abstract: In a recent thermodynamic analysis of the harmonic oscillator and using an interpolation procedure, Boyer has shown that the existence of a zero-point energy leads to the Planck spectrum. Here we avoid the interpolation by adding a statistical argument to arrive at Planck's law as an inescapable result of the presence of the zero-point energy. No explicit quantum argument is introduced along the… ▽ More In a recent thermodynamic analysis of the harmonic oscillator and using an interpolation procedure, Boyer has shown that the existence of a zero-point energy leads to the Planck spectrum. Here we avoid the interpolation by adding a statistical argument to arrive at Planck's law as an inescapable result of the presence of the zero-point energy. No explicit quantum argument is introduced along the derivations. We disclose the connection of our results with the original analysis of Planck and Einstein, which led to the notion of the quantized radiation field. We then inquire into the discrete or continuous behaviour of the energy and pinpoint the discontinuities. Finally, to open the door to the description of the zero-point fluctuations, we briefly discuss the statistical (in contrast to the purely thermodynamic) description of the oscillator, which accounts for both thermal and temperature-independent contributions to the energy dispersion. △ Less

Submitted 12 December, 2007; originally announced December 2007.

On the classification and properties of noncommutative duplicates

Authors: Javier López Peña, Gabriel Navarro

Abstract: We give an explicit description of the set of all factorization structures, or twisting maps, existing between the algebras k^2 and k^2, and classify the resulting algebras up to isomorphism. In the process we relate several different approaches formerly taken to deal with this problem, filling a gap that appeared in a recent paper by Cibils. We also provide a counterexample to a result concerni… ▽ More We give an explicit description of the set of all factorization structures, or twisting maps, existing between the algebras k^2 and k^2, and classify the resulting algebras up to isomorphism. In the process we relate several different approaches formerly taken to deal with this problem, filling a gap that appeared in a recent paper by Cibils. We also provide a counterexample to a result concerning the Hochschild (co)homology appeared in a paper by J.A. Guccione and J.J. Guccione. △ Less

Submitted 7 December, 2006; originally announced December 2006.

Comments: 11 pages, no figures

MSC Class: 16W35; 16S35; 16E40

Journal ref: K-Theory, 38 (2), 223-234 (2008)

Connections over twisted tensor products of algebras

Authors: Javier López Peña

Abstract: Motivated by some results in classical differential geometry, we give a constructive procedure for building up a connection over a (twisted) tensor product of two algebras, starting from connections defined on the factors. The curvature for the product connection is explicitly calculated, and shown to be independent of the choice of the twisting map and the module twisting map used to define the… ▽ More Motivated by some results in classical differential geometry, we give a constructive procedure for building up a connection over a (twisted) tensor product of two algebras, starting from connections defined on the factors. The curvature for the product connection is explicitly calculated, and shown to be independent of the choice of the twisting map and the module twisting map used to define the product connection. As a consequence, we obtain that a product of two flat connections is again a flat connection. We show that our constructions also behaves well with respect to bimodule structures, namely being the product of two bimodule connections again a bimodule connection. As an application of our theory, all the product connections on the quantum plane are computed. △ Less

Submitted 12 November, 2006; v1 submitted 31 October, 2006; originally announced October 2006.

Comments: 19 pages, no figures. Minor style improvements and typos correction

MSC Class: 16W35; 81R60

Journal ref: International Mathematics Research Notices IMRN 2008 (7), Art. ID rnn005 (2008)

Discontinuous Molecular Dynamics for Rigid Bodies: Applications

Authors: Lisandro Hernandez de la Pena, Ramses van Zon, Jeremy Schofield, Sheldon B. Opps

Abstract: Event-driven molecular dynamics simulations are carried out on two rigid body systems which differ in the symmetry of their molecular mass distributions. First, simulations of methane in which the molecules interact via discontinuous potentials are compared with simulations in which the molecules interact through standard continuous Lennard-Jones potentials. It is shown that under similar condit… ▽ More Event-driven molecular dynamics simulations are carried out on two rigid body systems which differ in the symmetry of their molecular mass distributions. First, simulations of methane in which the molecules interact via discontinuous potentials are compared with simulations in which the molecules interact through standard continuous Lennard-Jones potentials. It is shown that under similar conditions of temperature and pressure, the rigid discontinuous molecular dynamics method reproduces the essential dynamical and structural features found in continuous-potential simulations at both gas and liquid densities. Moreover, the discontinuous molecular dynamics approach is demonstrated to be between 2 to 100 times more efficient than the standard molecular dynamics method depending on the specific conditions of the simulation. The rigid discontinuous molecular dynamics method is also applied to a discontinuous-potential model of a liquid composed of rigid benzene molecules, and equilibrium and dynamical properties are shown to be in qualitative agreement with more detailed continuous-potential models of benzene. Qualitative differences in the dynamics of the two models are related to the relatively crude treatment of variations in the repulsive interactions as one benzene molecule rotates by another. △ Less

Submitted 20 July, 2006; originally announced July 2006.

Comments: 14 pages, double column revtex

Journal ref: J. Chem. Phys. 126, 074106 (2007)