-
Nash Equilibria in the Showcase Showdown game with unlimited spins
Authors:
L. Bayón,
P. Fortuny ayuso,
J. M. Grau,
A. M. Oller-Marcén,
M. M Ruíz
Abstract:
The game of \emph{Showcase Showdown} with unlimited spins is investigated as an $n$-players continuous game, and the Nash Equilibrium strategies for the players are obtained. The sequential game with information on the results of the previous players is studied, as well as three variants: no information, possibility of draw, and different modalities of winner payoff.
The game of \emph{Showcase Showdown} with unlimited spins is investigated as an $n$-players continuous game, and the Nash Equilibrium strategies for the players are obtained. The sequential game with information on the results of the previous players is studied, as well as three variants: no information, possibility of draw, and different modalities of winner payoff.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
A class of weighted Delannoy numbers
Authors:
J. M. Grau,
A. M Oller-Marcen,
J. L. Varona
Abstract:
The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=αf_{m-1,n}+ βf_{m,n-1}+ γf_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=α^m β^n$ if $n m=0$. In this work, we study a generalization of these numbers considering the same recurrence relation but with $f_{m,n}=A^m B^n$ if $n m=0$. More particularly, we focus on the diagonal sequence $f_{n,n}$. With some ingenuity, we are able to…
▽ More
The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=αf_{m-1,n}+ βf_{m,n-1}+ γf_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=α^m β^n$ if $n m=0$. In this work, we study a generalization of these numbers considering the same recurrence relation but with $f_{m,n}=A^m B^n$ if $n m=0$. More particularly, we focus on the diagonal sequence $f_{n,n}$. With some ingenuity, we are able to make use of well-established methods by Pemantle and Wilson, and by Melczer in order to determine its asymptotic behavior in the case $A,B,α,β,γ\geq 0$. In addition, we also study its P-recursivity with the help of symbolic computation tools.
△ Less
Submitted 20 January, 2025; v1 submitted 16 January, 2025;
originally announced January 2025.
-
Optimal control of counter-terrorism tactics
Authors:
L. Bayon,
P. Fortuny Ayuso,
P. J. Garcia-Nieto,
J. M. Grau,
M. M. Ruiz
Abstract:
This paper presents an optimal control problem to analyze the efficacy of counter-terrorism tactics. We present an algorithm that efficiently combines the Minimum Principle of Pontryagin, the shooting method and the cyclic descent of coordinates. We also present a result that allows us to know a priori the steady state solutions. Using this technique we are able to choose parameters that reach a s…
▽ More
This paper presents an optimal control problem to analyze the efficacy of counter-terrorism tactics. We present an algorithm that efficiently combines the Minimum Principle of Pontryagin, the shooting method and the cyclic descent of coordinates. We also present a result that allows us to know a priori the steady state solutions. Using this technique we are able to choose parameters that reach a specific solution, of which there are two. Numerical examples are presented to illustrate the possibilities of the method. Finally, we study the sufficient conditions for optimality and suggest an improvement on the functional which also guarantees local optimality.
△ Less
Submitted 15 January, 2025;
originally announced January 2025.
-
Toward hybrid quantum simulations with qubits and qumodes on trapped-ion platforms
Authors:
Jack Y. Araz,
Matt Grau,
Jake Montgomery,
Felix Ringer
Abstract:
We explore the feasibility of hybrid quantum computing using both discrete (qubit) and continuous (qumode) variables on trapped-ion platforms. Trapped-ion systems have demonstrated record one- and two-qubit gate fidelities and long qubit coherence times while qumodes, which can be represented by the collective vibrational modes of the ion chain, have remained relatively unexplored for their use in…
▽ More
We explore the feasibility of hybrid quantum computing using both discrete (qubit) and continuous (qumode) variables on trapped-ion platforms. Trapped-ion systems have demonstrated record one- and two-qubit gate fidelities and long qubit coherence times while qumodes, which can be represented by the collective vibrational modes of the ion chain, have remained relatively unexplored for their use in computing. Using numerical simulations, we show that high-fidelity hybrid gates and measurement operations can be achieved for existing trapped-ion quantum platforms. As an exemplary application, we consider quantum simulations of the Jaynes-Cummings-Hubbard model, which is given by a one-dimensional chain of interacting spin and boson degrees of freedom. Using classical simulations, we study its real-time evolution and we develop a suitable variational quantum algorithm for the ground state preparation. Our results motivate further studies of hybrid quantum computing in this context, which may lead to direct applications in condensed matter and fundamental particle and nuclear physics.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
State preparation of lattice field theories using quantum optimal control
Authors:
Jack Y. Araz,
Siddhanth Bhowmick,
Matt Grau,
Thomas J. McEntire,
Felix Ringer
Abstract:
We explore the application of quantum optimal control (QOC) techniques to state preparation of lattice field theories on quantum computers. As a first example, we focus on the Schwinger model, quantum electrodynamics in 1+1 dimensions. We demonstrate that QOC can significantly speed up the ground state preparation compared to gate-based methods, even for models with long-range interactions. Using…
▽ More
We explore the application of quantum optimal control (QOC) techniques to state preparation of lattice field theories on quantum computers. As a first example, we focus on the Schwinger model, quantum electrodynamics in 1+1 dimensions. We demonstrate that QOC can significantly speed up the ground state preparation compared to gate-based methods, even for models with long-range interactions. Using classical simulations, we explore the dependence on the inter-qubit coupling strength and the device connectivity, and we study the optimization in the presence of noise. While our simulations indicate potential speedups, the results strongly depend on the device specifications. In addition, we perform exploratory studies on the preparation of thermal states. Our results motivate further studies of QOC techniques in the context of quantum simulations for fundamental physics.
△ Less
Submitted 27 January, 2025; v1 submitted 24 July, 2024;
originally announced July 2024.
-
The eROSITA Final Equatorial Depth Survey (eFEDS): the hard X-ray selected sample
Authors:
K. Nandra,
S. G. H. Waddell,
T. Liu,
J. Buchner,
T. Dwelly,
M. Salvato,
Y. Shen,
Q. Wu,
R. Arcodia,
Th. Boller,
H. Brunner,
M. Brusa,
W. Collmar,
J. Comparat,
A. Georgakakis,
M. Grau,
S. Hämmerich,
H. Ibarra-Medel,
Z. Igo,
M. Krumpe,
G. Lamer,
A. Merloni,
B. Musiimenta,
J. Wolf,
R. J. Assef
, et al. (3 additional authors not shown)
Abstract:
During its calibration and performance verification phase, the eROSITA instrument aboard the SRG satellite performed a uniform wide--area X-ray survey of approximately 140 deg$^{2}$ in a region of the sky known as the eROSITA Final Equatorial Depth Survey (eFEDS). The primary aim of eFEDS is to demonstrate the scientific performance to be expected at the end of the 8-pass eROSITA all sky survey. T…
▽ More
During its calibration and performance verification phase, the eROSITA instrument aboard the SRG satellite performed a uniform wide--area X-ray survey of approximately 140 deg$^{2}$ in a region of the sky known as the eROSITA Final Equatorial Depth Survey (eFEDS). The primary aim of eFEDS is to demonstrate the scientific performance to be expected at the end of the 8-pass eROSITA all sky survey. This will provide the first focussed image of the whole sky in the hard X-ray ($>2$~keV) bandpass. The expected source population in this energy range is thus of great interest, particularly for AGN studies. We use the 2.3--5 keV selection presented by Brunner et al. (2022) to construct a sample of 246 point-like hard X-ray sources for further study and characterization. These are classified as either extragalactic ($\sim 90$~\%) or Galactic ($\sim 10$~\%), with the former consisting overwhelmingly of AGN and the latter active stars. We concentrate our further analysis on the extragalactic/AGN sample, describing their X-ray and multiwavelength properties and comparing them to the eFEDS main AGN sample selected in the softer 0.2-2.3 keV band. The eROSITA hard band selects a subsample of sources that is a factor $>10$ brighter than the eFEDS main sample. The AGN within the hard population reach up to $z=3.2$ but on the whole are relatively nearby, with median $z$=0.34 compared to $z$=0.94 for the main sample. The hard survey probes typical luminosities in the range $\log L_{\rm X} = 43-46$. X-ray spectral analysis shows significant intrinsic absorption (with $\log N_{\rm H}>21$) in $\sim 20$~\% of the sources, with a hard X-ray power law continuum with mean $<Γ>=1.83\pm0.04$, typical of AGN, but slightly harder than the soft-selected eROSITA sample. (abridged)
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Magnetic quadrupole moment of $^{175}$Lu and parity-violating polarization degree of levels in $^{175}$LuOH$^+$
Authors:
Igor Kurchavov,
Daniel Maison,
Leonid Skripnikov,
Matt Grau,
Alexander Petrov
Abstract:
The calculation of the parity-violating polarizations in the external electric field, which are associated with the electron electric dipole moment ($e$EDM) and magnetic quadrupole moment (MQM) of the $^{175}$Lu nucleus, as well as the determination of the rovibrational structure for the $^{175}$LuOH$^+$ cation, is performed. Beyond the bending of the molecule, the slight effect of the stretching…
▽ More
The calculation of the parity-violating polarizations in the external electric field, which are associated with the electron electric dipole moment ($e$EDM) and magnetic quadrupole moment (MQM) of the $^{175}$Lu nucleus, as well as the determination of the rovibrational structure for the $^{175}$LuOH$^+$ cation, is performed. Beyond the bending of the molecule, the slight effect of the stretching of the distance between Lu and OH is taken into account. This study is required for the preparation of the experiment and for the extraction of the $e$EDM and MQM values of $^{175}$Lu from future measurements.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Integration of a high finesse cryogenic build-up cavity with an ion trap
Authors:
Oliver Wipfli,
Henry Fernandes Passagem,
Christoph Fischer,
Matt Grau,
Jonathan P. Home
Abstract:
We report on the realization of a hemispherical optical cavity with a finesse of F = 13000 sustaining inter-cavity powers of 10 kW, which we operate in a closed-cycle cryostat vacuum system close to 4 Kelvin. This was designed and built with an integrated radio-frequency Paul trap, in order to combine optical and radio-frequency trapping. The cavity provides a power build-up factor of 2250. We des…
▽ More
We report on the realization of a hemispherical optical cavity with a finesse of F = 13000 sustaining inter-cavity powers of 10 kW, which we operate in a closed-cycle cryostat vacuum system close to 4 Kelvin. This was designed and built with an integrated radio-frequency Paul trap, in order to combine optical and radio-frequency trapping. The cavity provides a power build-up factor of 2250. We describe a number of aspects of the system design and operation, including low-vibration mounting and locking including thermal effects at high powers. Thermal self-locking in the high intracavity power regime was observed to enhance the passive stability below 1 kHz. Observations made over repeated cool-downs over a course of a year show a repeatable shift between the ion trap center and the cavity mode.
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
The James Webb Space Telescope Mission
Authors:
Jonathan P. Gardner,
John C. Mather,
Randy Abbott,
James S. Abell,
Mark Abernathy,
Faith E. Abney,
John G. Abraham,
Roberto Abraham,
Yasin M. Abul-Huda,
Scott Acton,
Cynthia K. Adams,
Evan Adams,
David S. Adler,
Maarten Adriaensen,
Jonathan Albert Aguilar,
Mansoor Ahmed,
Nasif S. Ahmed,
Tanjira Ahmed,
Rüdeger Albat,
Loïc Albert,
Stacey Alberts,
David Aldridge,
Mary Marsha Allen,
Shaune S. Allen,
Martin Altenburg
, et al. (983 additional authors not shown)
Abstract:
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono…
▽ More
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Entry and leaving arcs of turnpikes: their exact computation in the calculus of variations
Authors:
L. Bayón,
P. Fortuny Ayuso,
J. M. Grau,
M. M Ruiz
Abstract:
We settle the question of how to compute the entry and leaving arcs for turnpikes in autonomous variational problems, in the one-dimensional case using the phase space of the vector field associated to the Euler equation, and the initial/final and/or the transversality condition. The results hinge on the realization that extremals are the contours of a well-known function and that that the transve…
▽ More
We settle the question of how to compute the entry and leaving arcs for turnpikes in autonomous variational problems, in the one-dimensional case using the phase space of the vector field associated to the Euler equation, and the initial/final and/or the transversality condition. The results hinge on the realization that extremals are the contours of a well-known function and that that the transversality condition is (generically) a curve. An approximation algorithm is presented and an example included for completeness.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
$\mathcal{T,P}$-odd effects in the LuOH$^+$ cation
Authors:
Daniel E. Maison,
Leonid V. Skripnikov,
Gleb Penyazkov,
Matt Grau,
Alexander N. Petrov
Abstract:
The LuOH$^+$ cation is a promising system to search for manifestations of time reversal and spatial parity violation effects. Such effects in LuOH$^+$ induced by the electron electric dipole moment $e$EDM and the scalar-pseudoscalar interaction of the nucleus with electrons, characterized by $k_s$ constant, in LuOH$^+$ are studied. The enhancement factors, polarization in the external electric fie…
▽ More
The LuOH$^+$ cation is a promising system to search for manifestations of time reversal and spatial parity violation effects. Such effects in LuOH$^+$ induced by the electron electric dipole moment $e$EDM and the scalar-pseudoscalar interaction of the nucleus with electrons, characterized by $k_s$ constant, in LuOH$^+$ are studied. The enhancement factors, polarization in the external electric field, hyperfine interaction, rovibrational structure are calculated. The study is required for the experiment preparation and extraction of the eEDM and ks values from experimental data.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
Quantum logic control and precision measurements of molecular ions in a ring trap -- a new approach for testing fundamental symmetries
Authors:
Yan Zhou,
Joshua O. Island,
Matt Grau
Abstract:
We present a new platform facilitating quantum logic control of polar molecular ions in a segmented ring ion trap, paving the way for precision measurements. This approach focuses on achieving near-unity state preparation and detection, as well as long spin coherence. A distinctive aspect lies in separating state preparation and detection conducted in a static frame, from parity-selective spin-pre…
▽ More
We present a new platform facilitating quantum logic control of polar molecular ions in a segmented ring ion trap, paving the way for precision measurements. This approach focuses on achieving near-unity state preparation and detection, as well as long spin coherence. A distinctive aspect lies in separating state preparation and detection conducted in a static frame, from parity-selective spin-precession in a rotating frame. This method can be applied to a wide range of ion species and will be used to search for the electron's electric dipole moment and the nuclear magnetic quadrupole moment.
△ Less
Submitted 25 July, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
A new method for computing asymptotic results in optimal stopping problems
Authors:
L. Bayón,
P. Fortuny,
J. M. Grau,
A. M. Oller-Marcén,
M. M. Ruiz
Abstract:
In this paper, we present a novel method for computing the asymptotic values of both the optimal threshold, and the probability of success in sequences of optimal stopping problems. This method, based on the resolution of a first-order linear differential equation, makes it possible to systematically obtain these values in many situations. As an example, we address nine variants of the well-known…
▽ More
In this paper, we present a novel method for computing the asymptotic values of both the optimal threshold, and the probability of success in sequences of optimal stopping problems. This method, based on the resolution of a first-order linear differential equation, makes it possible to systematically obtain these values in many situations. As an example, we address nine variants of the well-known secretary problem, including the classical one, that appear in the literature on the subject, as well as four other unpublished ones.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
On $μ$-Sondow Numbers
Authors:
J. M. Grau,
A. M. Oller-Marcén,
D. Sadornil
Abstract:
Given an integer $μ$, we study the numbers that satisfy the condition $\fracμ{n} + \sum_ {p \mid n} \frac {1} {p} \in \mathbb{N}$. This condition, which is reminiscent of the one satisfied by Giuga numbers ($μ=-1$), also includes the so-called \cite{sondow} weak primary pseudoperfect numbers ($μ=1$). As a tribute to our late colleague Jonathan Sondow (1943 -- 2020), we have named these numbers…
▽ More
Given an integer $μ$, we study the numbers that satisfy the condition $\fracμ{n} + \sum_ {p \mid n} \frac {1} {p} \in \mathbb{N}$. This condition, which is reminiscent of the one satisfied by Giuga numbers ($μ=-1$), also includes the so-called \cite{sondow} weak primary pseudoperfect numbers ($μ=1$). As a tribute to our late colleague Jonathan Sondow (1943 -- 2020), we have named these numbers $ μ$-Sondow numbers. In this paper, we give several different characterizations of these numbers, all of them suggested by well-known characterizations of the Giuga numbers. We also relate these numbers to the well-known Erdös-Moser equation and we present some conjectures about them.
△ Less
Submitted 18 December, 2021; v1 submitted 28 November, 2021;
originally announced November 2021.
-
The multi-returning secretary problem
Authors:
L. Bayon,
P. Fortuny,
J. M. Grau,
A. Oller Marcen,
M. M. Ruiz
Abstract:
In this paper we consider the so-called Multi-returning secretary problem, a version of the Secretary problem in which each candidate has $m$ identical copies. The case $m=2$ has already been completely solved by several authors using different methods both the case $m>2$ had not been satisfactorily solved yet. Here, we provide and efficient algorithm to compute the optimal threshold and the proba…
▽ More
In this paper we consider the so-called Multi-returning secretary problem, a version of the Secretary problem in which each candidate has $m$ identical copies. The case $m=2$ has already been completely solved by several authors using different methods both the case $m>2$ had not been satisfactorily solved yet. Here, we provide and efficient algorithm to compute the optimal threshold and the probability of success for every $m$. Moreover, we give a method to determine their asymtoptic values based on the solution of a system of $m$ ODEs.
△ Less
Submitted 15 October, 2020; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Experimental constraint on axion-like particle coupling over seven orders of magnitude in mass
Authors:
Tanya S. Roussy,
Daniel A. Palken,
William B. Cairncross,
Benjamin M. Brubaker,
Daniel N. Gresh,
Matt Grau,
Kevin C. Cossel,
Kia Boon Ng,
Yuval Shagam,
Yan Zhou,
Victor V. Flambaum,
Konrad W. Lehnert,
Jun Ye,
Eric A. Cornell
Abstract:
We use our recent electric dipole moment (EDM) measurement data to constrain the possibility that the HfF$^+$ EDM oscillates in time due to interactions with candidate dark matter axion-like particles (ALPs). We employ a Bayesian analysis method which accounts for both the look-elsewhere effect and the uncertainties associated with stochastic density fluctuations in the ALP field. We find no evide…
▽ More
We use our recent electric dipole moment (EDM) measurement data to constrain the possibility that the HfF$^+$ EDM oscillates in time due to interactions with candidate dark matter axion-like particles (ALPs). We employ a Bayesian analysis method which accounts for both the look-elsewhere effect and the uncertainties associated with stochastic density fluctuations in the ALP field. We find no evidence of an oscillating EDM over a range spanning from 27 nHz to 400 mHz, and we use this result to constrain the ALP-gluon coupling over the mass range $10^{-22}-10^{-15}$ eV. This is the first laboratory constraint on the ALP-gluon coupling in the $10^{-17}-10^{-15}$ eV range, and the first laboratory constraint to properly account for the stochastic nature of the ALP field.
△ Less
Submitted 18 March, 2021; v1 submitted 28 June, 2020;
originally announced June 2020.
-
Search for CP-violating nuclear magnetic quadrupole moment using the LuOH$^+$ cation
Authors:
D. E. Maison,
L. V. Skripnikov,
V. V. Flambaum,
M. Grau
Abstract:
The CP-violating interaction of the nuclear magnetic quadrupole moment (MQM) of the $^{175}$Lu nucleus with electrons in the molecular cation LuOH$^+$ is studied. The resulting effect is expressed in terms of CP-odd parameters, such as quantum chromodynamics angle $\barθ$, quark electric dipole moment (EDM) and chromo-EDM. For this we have performed a calculation of the nuclear MQM as well as the…
▽ More
The CP-violating interaction of the nuclear magnetic quadrupole moment (MQM) of the $^{175}$Lu nucleus with electrons in the molecular cation LuOH$^+$ is studied. The resulting effect is expressed in terms of CP-odd parameters, such as quantum chromodynamics angle $\barθ$, quark electric dipole moment (EDM) and chromo-EDM. For this we have performed a calculation of the nuclear MQM as well as the molecular constant that characterises the interaction of this MQM of $^{175}$Lu with electrons. Additionally, we predict the hyperfine structure constants for the ground electronic state of LuOH$^+$. We conclude that LuOH$^+$ is a promising system to measure the nuclear MQM.
△ Less
Submitted 3 December, 2020; v1 submitted 6 June, 2020;
originally announced June 2020.
-
Engineering generalized Gibbs ensembles with trapped ions
Authors:
Florentin Reiter,
Florian Lange,
Shreyans Jain,
Matt Grau,
Jonathan P. Home,
Zala Lenarčič
Abstract:
The concept of generalized Gibbs ensembles (GGEs) has been introduced to describe steady states of integrable models. Recent advances show that GGEs can also be stabilized in nearly integrable quantum systems when driven by external fields and open. Here, we present a weakly dissipative dynamics that drives towards a steady-state GGE and is realistic to implement in systems of trapped ions. We out…
▽ More
The concept of generalized Gibbs ensembles (GGEs) has been introduced to describe steady states of integrable models. Recent advances show that GGEs can also be stabilized in nearly integrable quantum systems when driven by external fields and open. Here, we present a weakly dissipative dynamics that drives towards a steady-state GGE and is realistic to implement in systems of trapped ions. We outline the engineering of the desired dissipation by a combination of couplings which can be realized with ion-trap setups and discuss the experimental observables needed to detect a deviation from a thermal state. We present a novel mixed-species motional mode engineering technique in an array of micro-traps and demonstrate the possibility to use sympathetic cooling to construct many-body dissipators. Our work provides a blueprint for experimental observation of GGEs in open systems and opens a new avenue for quantum simulation of driven-dissipative quantum many-body problems.
△ Less
Submitted 30 October, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Combining sale records of landings and fishers knowledge for predicting metiers in a small-scale, multi-gear, multispecies fishery
Authors:
Miquel Palmer,
Borja Tolosa,
Antoni Maria Grau,
Maria del Mar Gil,
Clara Obregona,
Beatriz Morales-Nin
Abstract:
Stock management should be guided by assessment models that, among others, need to be fed by reliable data of catch and effort. However, precise data are difficult to obtain in heterogeneous fisheries. Specifically, small scale, multi gear, multispecies fisheries are dynamic systems where fishers may lively change fishing strategy conditioned by multiple drivers. Provided that some stocks can be s…
▽ More
Stock management should be guided by assessment models that, among others, need to be fed by reliable data of catch and effort. However, precise data are difficult to obtain in heterogeneous fisheries. Specifically, small scale, multi gear, multispecies fisheries are dynamic systems where fishers may lively change fishing strategy conditioned by multiple drivers. Provided that some stocks can be shared by several metiers, a precise categorization of metiers should be the first step toward metier specific estimates of catch and effort, which in turn would allow a better understanding of the system dynamics. Here we propose an approach for predicting the metier of any given fishing trip from its landing records. This approach combines the knowledge of expert fishers with the existing sales register of landings in Mallorca. It successfully predicts metiers for all the 162815 small scale fishery fishing trips from Mallorca between 2004 and 2015. The largest effort is invested in the metiers Cuttlefish Fish and Spiny lobster, landings peak for Cuttlefish Fish and Dolphinfish and revenues for Spiny lobster and Dolphinfish. Metier predictions also allowed us to describe the temporal trends experienced by each metier and to characterize the species that are specific to each metier. Seasonal variability is by far more relevant than between year variability, which confirms that at least some fishers are adopting a rotation cycle of metiers along the year. Effort, landings and gross revenues decreased in the last 12 years. The approach proposed is also applicable to any other fishery for which the metier for a fishing trip sample is known, but relying on fishers expertise points more directly to fishers intention. Thus, metier predictions produced with the proposed approach are closer to the actual uses of fishers, providing better grounds for an improved management.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Scalable arrays of micro-Penning traps for quantum computing and simulation
Authors:
Shreyans Jain,
Joseba Alonso,
Matt Grau,
Jonathan P. Home
Abstract:
We propose the use of 2-dimensional Penning trap arrays as a scalable platform for quantum simulation and quantum computing with trapped atomic ions. This approach involves placing arrays of micro-structured electrodes defining static electric quadrupole sites in a magnetic field, with single ions trapped at each site and coupled to neighbors via the Coulomb interaction. We solve for the normal mo…
▽ More
We propose the use of 2-dimensional Penning trap arrays as a scalable platform for quantum simulation and quantum computing with trapped atomic ions. This approach involves placing arrays of micro-structured electrodes defining static electric quadrupole sites in a magnetic field, with single ions trapped at each site and coupled to neighbors via the Coulomb interaction. We solve for the normal modes of ion motion in such arrays, and derive a generalized multi-ion invariance theorem for stable motion even in the presence of trap imperfections. We use these techniques to investigate the feasibility of quantum simulation and quantum computation in fixed ion lattices. In homogeneous arrays, we show that sufficiently dense arrays are achievable, with axial, magnetron and cyclotron motions exhibiting inter-ion dipolar coupling with rates significantly higher than expected decoherence. With the addition of laser fields these can realize tunable-range interacting spin Hamiltonians. We also show how local control of potentials allows isolation of small numbers of ions in a fixed array and can be used to implement high fidelity gates. The use of static trapping fields means that our approach is not limited by power requirements as system size increases, removing a major challenge for scaling which is present in standard radio-frequency traps. Thus the architecture and methods provided here appear to open a path for trapped-ion quantum computing to reach fault-tolerant scale devices.
△ Less
Submitted 2 April, 2020; v1 submitted 17 December, 2018;
originally announced December 2018.
-
The Best-or-Worst and the Postdoc problems with random number of candidates
Authors:
L. Bayon,
P. Fortuny,
J. M. Grau,
M. M Ruiz,
M. A. Oller-Marcen
Abstract:
In this paper we consider two variants of the Secretary problem: The Best-or-Worst and the Postdoc problems. We extend previous work by considering that the number of objects is not known and follows either a discrete Uniform distribution $\mathcal{U}[1,n]$ or a Poisson distribution $\mathcal{P}(λ)$. We show that in any case the optimal strategy is a threshold strategy, we provide the optimal cuto…
▽ More
In this paper we consider two variants of the Secretary problem: The Best-or-Worst and the Postdoc problems. We extend previous work by considering that the number of objects is not known and follows either a discrete Uniform distribution $\mathcal{U}[1,n]$ or a Poisson distribution $\mathcal{P}(λ)$. We show that in any case the optimal strategy is a threshold strategy, we provide the optimal cutoff values and the asymptotic probabilities of success. We also put our results in relation with closely related work.
△ Less
Submitted 12 November, 2018; v1 submitted 17 September, 2018;
originally announced September 2018.
-
The Best-or-Worst and the Postdoc problems
Authors:
L. Bayon,
P. Fortuny Ayuso,
J. M. Grau,
A. M. Oller-Marcen,
M. M. Ruiz
Abstract:
We consider two variants of the secretary problem, the\emph{ Best-or-Worst} and the \emph{Postdoc} problems, which are closely related. First, we prove that both variants, in their standard form with binary payoff 1 or 0, share the same optimal stopping rule. We also consider additional cost/perquisites depending on the number of interviewed candidates. In these situations the optimal strategies a…
▽ More
We consider two variants of the secretary problem, the\emph{ Best-or-Worst} and the \emph{Postdoc} problems, which are closely related. First, we prove that both variants, in their standard form with binary payoff 1 or 0, share the same optimal stopping rule. We also consider additional cost/perquisites depending on the number of interviewed candidates. In these situations the optimal strategies are very different. Finally, we also focus on the Best-or-Worst variant with different payments depending on whether the selected candidate is the best or the worst.
△ Less
Submitted 22 June, 2017;
originally announced June 2017.
-
Generalized Quaternion Rings over $\mathbb{Z}/n\mathbb{Z}$ for an odd $n$
Authors:
J. M. Grau,
C. Miguel,
A. M. oller-Marcén
Abstract:
We consider a generalization of the quaternion ring $\Big(\frac{a,b}{R}\Big)$ over a commutative unital ring $R$ that includes the case when $a$ and $b$ are not units of $R$. In this paper, we focus on the case $R=\mathbb{Z}/n\mathbb{Z}$ for and odd $n$. In particular, for every odd integer $n$ we compute the number of non-isomorphic generalized quaternion rings…
▽ More
We consider a generalization of the quaternion ring $\Big(\frac{a,b}{R}\Big)$ over a commutative unital ring $R$ that includes the case when $a$ and $b$ are not units of $R$. In this paper, we focus on the case $R=\mathbb{Z}/n\mathbb{Z}$ for and odd $n$. In particular, for every odd integer $n$ we compute the number of non-isomorphic generalized quaternion rings $\Big(\frac{a,b}{\mathbb{Z}/n\mathbb{Z}}\Big)$
△ Less
Submitted 15 June, 2017;
originally announced June 2017.
-
A counterexample to the composition condition conjecture for polynomial Abel differential equations
Authors:
Jaume Giné,
Maite Grau,
Xavier Santallusia
Abstract:
The Polynomial Abel differential equations are considered a model problem for the classical Poincaré center--focus problem for planar polynomial systems of ordinary differential equations. Last decades several works pointed out that all the centers of the polynomial Abel differential equations satisfied the composition conditions (also called universal centers). In this work we provide a simple co…
▽ More
The Polynomial Abel differential equations are considered a model problem for the classical Poincaré center--focus problem for planar polynomial systems of ordinary differential equations. Last decades several works pointed out that all the centers of the polynomial Abel differential equations satisfied the composition conditions (also called universal centers). In this work we provide a simple counterexample to this conjecture.
△ Less
Submitted 15 May, 2017;
originally announced May 2017.
-
A precision measurement of the electron's electric dipole moment using trapped molecular ions
Authors:
William B. Cairncross,
Daniel N. Gresh,
Matt Grau,
Kevin C. Cossel,
Tanya S. Roussy,
Yiqi Ni,
Yan Zhou,
Jun Ye,
Eric A. Cornell
Abstract:
We describe the first precision measurement of the electron's electric dipole moment (eEDM, $d_e$) using trapped molecular ions, demonstrating the application of spin interrogation times over 700 ms to achieve high sensitivity and stringent rejection of systematic errors. Through electron spin resonance spectroscopy on $^{180}{\rm Hf}^{19}{\rm F}^{+}$ in its metastable $^{3}Δ_{1}$ electronic state…
▽ More
We describe the first precision measurement of the electron's electric dipole moment (eEDM, $d_e$) using trapped molecular ions, demonstrating the application of spin interrogation times over 700 ms to achieve high sensitivity and stringent rejection of systematic errors. Through electron spin resonance spectroscopy on $^{180}{\rm Hf}^{19}{\rm F}^{+}$ in its metastable $^{3}Δ_{1}$ electronic state, we obtain $d_e = (0.9 \pm 7.7_{\rm stat} \pm 1.7_{\rm syst}) \times 10^{-29}\,e\,{\rm cm}$, resulting in an upper bound of $|d_e| < 1.3 \times 10^{-28}\,e\,{\rm cm}$ (90% confidence). Our result provides independent confirmation of the current upper bound of $|d_e| < 9.3 \times 10^{-29}\,e\,{\rm cm}$ [J. Baron $\textit{et al.}$, Science $\textbf{343}$, 269 (2014)], and offers the potential to improve on this limit in the near future.
△ Less
Submitted 25 April, 2017;
originally announced April 2017.
-
Fast computation of the number of solutions to $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$
Authors:
Jose Maria Grau,
A. Oller-marcen
Abstract:
In this paper we study the multiplicative function $ρ_{k,λ}(n)$ that counts the number of incongruent solutions of the equation $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$. In particular we give closed explicit formulas for $ρ_{k,λ}(p^s)$ with a arithmetic complexity of constant order.
In this paper we study the multiplicative function $ρ_{k,λ}(n)$ that counts the number of incongruent solutions of the equation $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$. In particular we give closed explicit formulas for $ρ_{k,λ}(p^s)$ with a arithmetic complexity of constant order.
△ Less
Submitted 13 October, 2016;
originally announced October 2016.
-
Power sums over commutative and unitary rings
Authors:
Jose Maria Grau,
Antonio. M. Oller-Marcen
Abstract:
In this paper we compute the sum of the $k$-th powers over any finite commutative unital rings, thus generalizing known results for finite fields, the rings of integers modulo $n$ or the ring of Gaussian integers modulo $n$. As an application we focus on quotient rings of the form $\mathbb{Z}/n\mathbb{Z}[x]/(f(x))$ for any polynomial $f\in\mathbb{Z}[x]$
In this paper we compute the sum of the $k$-th powers over any finite commutative unital rings, thus generalizing known results for finite fields, the rings of integers modulo $n$ or the ring of Gaussian integers modulo $n$. As an application we focus on quotient rings of the form $\mathbb{Z}/n\mathbb{Z}[x]/(f(x))$ for any polynomial $f\in\mathbb{Z}[x]$
△ Less
Submitted 18 March, 2016;
originally announced March 2016.
-
Computing solutions to the congruence ${1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}}$
Authors:
Max Alekseyev,
Jose Maria Grau,
Amtonio Oller-Marcen
Abstract:
It is well-known that the congruence $\sum_{i=1}^{ n} i^{ n} \equiv 1 \pmod{n}$ has exactly five solutions: $\{1,2,6,42,1806\}$. In this work, we characterize the solutions to the congruence $1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}$ for every prime $p$. This characterization leads to an algorithm for computing all such solutions, when there is a finite number of them. More generally, our algorit…
▽ More
It is well-known that the congruence $\sum_{i=1}^{ n} i^{ n} \equiv 1 \pmod{n}$ has exactly five solutions: $\{1,2,6,42,1806\}$. In this work, we characterize the solutions to the congruence $1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}$ for every prime $p$. This characterization leads to an algorithm for computing all such solutions, when there is a finite number of them. More generally, our algorithm enables computing all the solutions below a much higher bound as compared to what can be achieved by a naive exhaustive search.
△ Less
Submitted 30 August, 2018; v1 submitted 7 February, 2016;
originally announced February 2016.
-
Proving the existence of numerically detected planar limit cycles
Authors:
Armengol Gasull,
Héctor Giacomini,
Maite Grau
Abstract:
This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Liénard syste…
▽ More
This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Liénard systems, to prove the existence of the limit cycles and to locate them very precisely in the phase space. Our method, combined with some other classical tools can be applied to obtain sharp bounds for the bifurcation values of a saddle-node bifurcation of limit cycles, as we do for the Rychkov system.
△ Less
Submitted 30 January, 2016;
originally announced February 2016.
-
On power sums of matrices over a finite commutative ring
Authors:
P. Fortuny,
J. M. Grau,
A. M. Oller-Marcén,
I. F. Rúa
Abstract:
In this paper we deal with the problem of computing the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ with $d>1$ and $R$ a finite commutative ring. We completely solve the problem in the case $R=\mathbb{Z}/n\mathbb{Z}$ and give some results that compute the value of this sum if $R$ is an arbitrary finite commutative ring $R$ for many values of $k$ and $d$. Final…
▽ More
In this paper we deal with the problem of computing the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ with $d>1$ and $R$ a finite commutative ring. We completely solve the problem in the case $R=\mathbb{Z}/n\mathbb{Z}$ and give some results that compute the value of this sum if $R$ is an arbitrary finite commutative ring $R$ for many values of $k$ and $d$. Finally, based on computational evidence and using some technical results proved in the paper we conjecture that the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ is always $0$ unless $d=2$, $\textrm{card}(R) \equiv 2 \pmod 4$, $1<k\equiv -1,0,1 \pmod 6$ and the only element $e\in R \setminus \{0\}$ such that $2e =0$ is idempotent, in which case the sum is $\textrm{diag}(e,e)$.
△ Less
Submitted 29 May, 2015;
originally announced May 2015.
-
On the zero divisor graphs of the ring of Lipschitz integers modulo $n$
Authors:
Jose Maria Grau,
Celino Miquel,
Antonio Oller-Marcen
Abstract:
This article studies the zero divisor graphs of the ring of Lipschitz integers modulo $n$. In particular we focus on the number of vertices, the diameter and the girth. We also give some results regarding the domination number of these graphs.
This article studies the zero divisor graphs of the ring of Lipschitz integers modulo $n$. In particular we focus on the number of vertices, the diameter and the girth. We also give some results regarding the domination number of these graphs.
△ Less
Submitted 1 May, 2015;
originally announced May 2015.
-
On the diameter of the commuting graph of the full matrix ring over the real numbers
Authors:
Jose Maria Grau,
Antonio Oller-Marcen,
Carmen Tasis
Abstract:
In a recent paper C. Miguel proved that the diameter of the commuting graph of the matrix ring $\mathrm{M}_n(\mathbb{R})$ is equal to $4$ either if $n=3$ or $n>4$. But the case $n=4$ remained open, since the diameter could be $4$ or $5$. In this work we close the problem showing that also in this case the diameter is equal to $4$.
In a recent paper C. Miguel proved that the diameter of the commuting graph of the matrix ring $\mathrm{M}_n(\mathbb{R})$ is equal to $4$ either if $n=3$ or $n>4$. But the case $n=4$ remained open, since the diameter could be $4$ or $5$. In this work we close the problem showing that also in this case the diameter is equal to $4$.
△ Less
Submitted 1 December, 2014;
originally announced December 2014.
-
Transversal conics and the existence of limit cycles
Authors:
Héctor Giacomini,
Maite Grau
Abstract:
This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal conics. We present several examples of known systems in the literature showing different features about limit cycles: hyperbolicity, Hopf bifurcation, sky-blue bifurcation, rotated vector field…
▽ More
This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal conics. We present several examples of known systems in the literature showing different features about limit cycles: hyperbolicity, Hopf bifurcation, sky-blue bifurcation, rotated vector fields, \ldots for which the obtained Poincaré--Bendixson region allows to locate the limit cycles. Our method gives bounds for the bifurcation values of parametrical families of planar vector fields and intervals of existence of limit cycles.
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
Essential perturbations of polynomial vector fields with a period annulus
Authors:
Adriana Buică,
Jaume Giné,
Maite Grau
Abstract:
In this paper we first give the explicit definition of essential perturbation. Secondly, given a perturbation of a particular family of centers of polynomial differential systems of arbitrary degree for which we explicitly know its Poincaré--Liapunov constants, we give the structure of its $k$-th Melnikov function. This result generalizes the result obtained by Chicone and Jacobs for perturbations…
▽ More
In this paper we first give the explicit definition of essential perturbation. Secondly, given a perturbation of a particular family of centers of polynomial differential systems of arbitrary degree for which we explicitly know its Poincaré--Liapunov constants, we give the structure of its $k$-th Melnikov function. This result generalizes the result obtained by Chicone and Jacobs for perturbations of degree at most two of any center of a quadratic polynomial system. Moreover we study the essential perturbations for all the centers of the differential systems \[ \dot{x} \, = \, -y + P_{\rm d}(x,y), \quad \dot{y} \, = \, x + Q_{\rm d}(x,y), \] where $P_{\rm d}$ and $Q_{\rm d}$ are homogeneous polynomials of degree ${\rm d}$, for ${\rm d}=2$ and ${\rm d}=3$.
△ Less
Submitted 30 June, 2014;
originally announced June 2014.
-
Counting invertible sums of squares modulo $n$ and a new generalization of Euler totient function
Authors:
Catalina Calderon,
Jose Maria Grau,
A. Oller-Marcen,
László Tóth
Abstract:
In this paper we introduce and study a family $Φ_k$ of arithmetic functions generalizing Euler's totient function. These functions are given by the number of solutions to the equation $\gcd(x_1^2+\ldots +x_k^2, n)=1$ with $x_1,\ldots,x_k \in {\mathbb{Z}}/n{\mathbb{Z}}$ which, for $k=2,4$ and $8$ coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and oct…
▽ More
In this paper we introduce and study a family $Φ_k$ of arithmetic functions generalizing Euler's totient function. These functions are given by the number of solutions to the equation $\gcd(x_1^2+\ldots +x_k^2, n)=1$ with $x_1,\ldots,x_k \in {\mathbb{Z}}/n{\mathbb{Z}}$ which, for $k=2,4$ and $8$ coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and octonions over ${\mathbb{Z}}/n{\mathbb{Z}}$. We prove that $Φ_k$ is multiplicative for every $k$, we obtain an explicit formula for $Φ_k(n)$ in terms of the prime-power decomposition of $n$ and derive an asymptotic formula for $\sum_{n\le x} Φ_k(n)$. As a tool we investigate the multiplicative arithmetic function that counts the number of solutions to $x_1^2+\ldots +x_k^2\equiv λ$ (mod $n$) for $λ$ coprime to $n$, thus extending an old result that dealt only with the prime $n$ case.
△ Less
Submitted 25 June, 2014; v1 submitted 31 March, 2014;
originally announced March 2014.
-
On the structure of quaternion rings over $\mathbb{Z}/n \mathbb{Z}$
Authors:
Jose Maria Grau,
Celino Miquel,
Antonio Oller-marcen
Abstract:
In this paper we investigate the structure of $\left(\frac{a,b}{\Z{n}}\right)$, the quaternion rings over $\Z{n}$. It is proved that these rings are isomorphic to $\left(\frac{-1,-1}{\Z{n}}\right)$ if $ a \equiv b\equiv -1 \pmod{4}$ or to $\left(\frac{1,1}{\Z{n}}\right)$ otherwise. We also prove that the ring $\left(\frac{a,b}{\Z{n}}\right)$ is isomorphic to $\mathbb{M}_2(\Z{n})$ if and only if…
▽ More
In this paper we investigate the structure of $\left(\frac{a,b}{\Z{n}}\right)$, the quaternion rings over $\Z{n}$. It is proved that these rings are isomorphic to $\left(\frac{-1,-1}{\Z{n}}\right)$ if $ a \equiv b\equiv -1 \pmod{4}$ or to $\left(\frac{1,1}{\Z{n}}\right)$ otherwise. We also prove that the ring $\left(\frac{a,b}{\Z{n}}\right)$ is isomorphic to $\mathbb{M}_2(\Z{n})$ if and only if $n$ is odd and that all quaternion algebras defined over $\Z{n}$ are isomorphic if and only if $n \not \equiv 0 \pmod{4}$.
△ Less
Submitted 11 February, 2014; v1 submitted 5 February, 2014;
originally announced February 2014.
-
A von Staudt-type formula for $\displaystyle{\sum_{z\in\mathbb{Z}_n[i]} z^k }$
Authors:
Pedro Fortuny Ayuso,
Jose Maria Grau,
Antonio Oller-Marcen
Abstract:
In this paper we study the sum of powers in the Gaussian integers $\mathbf{G}_k(n):=\sum_{a,b \in [1,n]} (a+b i)^k$. We give an explicit formula for $\mathbf{G}_k(n) \pmod n $ in terms of the prime numbers $p \equiv 3 \pmod 4$ with $p \mid \mid n$ and $p-1 \mid k$, similar to the well known one due to von Staudt for $\sum_{i=1}^n i^k \pmod n$. We apply this formula to study the set of integers…
▽ More
In this paper we study the sum of powers in the Gaussian integers $\mathbf{G}_k(n):=\sum_{a,b \in [1,n]} (a+b i)^k$. We give an explicit formula for $\mathbf{G}_k(n) \pmod n $ in terms of the prime numbers $p \equiv 3 \pmod 4$ with $p \mid \mid n$ and $p-1 \mid k$, similar to the well known one due to von Staudt for $\sum_{i=1}^n i^k \pmod n$. We apply this formula to study the set of integers $n$ which divide $\mathbf{G}_n(n)$ and compute its asymptotic density with six exact digits: $0.971000\ldots$.
△ Less
Submitted 4 February, 2014; v1 submitted 3 February, 2014;
originally announced February 2014.
-
State-specific detection of trapped HfF$^+$ by photodissociation
Authors:
Kang-Kuen Ni,
Huanqian Loh,
Matt Grau,
Kevin C. Cossel,
Jun Ye,
Eric A. Cornell
Abstract:
We use (1+1$'$) resonance-enhanced multiphoton photodissociation (REMPD) to detect the population in individual rovibronic states of trapped HfF$^+$ with a single-shot absolute efficiency of 18%, which is over 200 times better than that obtained with fluorescence detection. The first photon excites a specific rotational level to an intermediate vibronic band at 35,000-36,500 cm$^{-1}$, and the sec…
▽ More
We use (1+1$'$) resonance-enhanced multiphoton photodissociation (REMPD) to detect the population in individual rovibronic states of trapped HfF$^+$ with a single-shot absolute efficiency of 18%, which is over 200 times better than that obtained with fluorescence detection. The first photon excites a specific rotational level to an intermediate vibronic band at 35,000-36,500 cm$^{-1}$, and the second photon, at 37,594 cm$^{-1}$ (266 nm), dissociates HfF$^+$ into Hf$^+$ and F. Mass-resolved time-of-flight ion detection then yields the number of state-selectively dissociated ions. Using this method, we observe rotational-state heating of trapped HfF$^+$ ions from collisions with neutral Ar atoms. Furthermore, we measure the lifetime of the $^3Δ_1$ $v=0,\, J=1$ state to be 2.1(2) s. This state will be used for a search for a permanent electric dipole moment of the electron.
△ Less
Submitted 21 January, 2014;
originally announced January 2014.
-
Fermat test with gaussian base and Gaussian pseudoprimes
Authors:
Jose M. Grau,
Manuel Rodríguez,
A. Oller-Marcen,
Daniel Sadornil
Abstract:
The structure of the group $(\mathbb{Z}/n\mathbb{Z})^\star$ and Fermat's little theorem are the basis for some of best-known primality testing algorithms. Many related concepts arise: Euler's totient function and Carmichael's lambda function, Fermat pseudoprimes, Carmichael and cyclic numbers, Lehmer's totient problem, Giuga's conjecture, etc. In this paper, we present and study analogues to some…
▽ More
The structure of the group $(\mathbb{Z}/n\mathbb{Z})^\star$ and Fermat's little theorem are the basis for some of best-known primality testing algorithms. Many related concepts arise: Euler's totient function and Carmichael's lambda function, Fermat pseudoprimes, Carmichael and cyclic numbers, Lehmer's totient problem, Giuga's conjecture, etc. In this paper, we present and study analogues to some of the previous concepts arising when we consider the underlying group $\mathcal{G}_n:=\{a+bi\in\mathbb{Z}[i]/n\mathbb{Z}[i] : a^2+b^2\equiv 1\ \textrm{$\pmod n$}\}$. In particular we characterize Gaussian Carmichael numbers via a Korselt's criterion and we present their relation with Gaussian cyclic numbers. Finally, we present the relation between Gaussian Carmichael number and 1-Williams numbers for numbers $n \equiv 3 \pmod{4}$. There are also no known composite numbers less than $10^{18}$ in this family that are both pseudoprime to base $1+2i$ and 2-pseudoprime.
△ Less
Submitted 19 January, 2014;
originally announced January 2014.
-
On the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n $. k-strong Giuga and k-Carmichael numbers
Authors:
Antonio M. Oller-Marcén,
José María Grau
Abstract:
In this work we consider the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n$ for each $k \in \mathbb{N}$, thus extending Giuga's ideas for $k=1$. In particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ satisfies this congruence if and only if $n$ is prime or a Giuga Number and $λ(n) \mid k(n-1)$. In passing, we establish new characterizations of Giuga numbers and we study some p…
▽ More
In this work we consider the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n$ for each $k \in \mathbb{N}$, thus extending Giuga's ideas for $k=1$. In particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ satisfies this congruence if and only if $n$ is prime or a Giuga Number and $λ(n) \mid k(n-1)$. In passing, we establish new characterizations of Giuga numbers and we study some properties of the numbers $n$ satisfying $λ(n) \mid k(n-1)$.
△ Less
Submitted 14 November, 2013;
originally announced November 2013.
-
Precision Spectroscopy of Polarized Molecules in an Ion Trap
Authors:
Huanqian Loh,
Kevin C. Cossel,
Matt Grau,
Kang-Kuen Ni,
Edmund R. Meyer,
John L. Bohn,
Jun Ye,
Eric A. Cornell
Abstract:
Polar molecules are desirable systems for quantum simulations and cold chemistry. Molecular ions are easily trapped, but a bias electric field applied to polarize them tends to accelerate them out of the trap. We present a general solution to this issue by rotating the bias field slowly enough for the molecular polarization axis to follow but rapidly enough for the ions to stay trapped. We demonst…
▽ More
Polar molecules are desirable systems for quantum simulations and cold chemistry. Molecular ions are easily trapped, but a bias electric field applied to polarize them tends to accelerate them out of the trap. We present a general solution to this issue by rotating the bias field slowly enough for the molecular polarization axis to follow but rapidly enough for the ions to stay trapped. We demonstrate Ramsey spectroscopy between Stark-Zeeman sublevels in 180Hf19F+ with a coherence time of 100 ms. Frequency shifts arising from well-controlled topological (Berry) phases are used to determine magnetic g-factors. The rotating-bias-field technique may enable using trapped polar molecules for precision measurement and quantum information science, including the search for an electron electric dipole moment.
△ Less
Submitted 13 November, 2013;
originally announced November 2013.
-
On the congruence $1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}$ with $n | m$
Authors:
José María Grau,
Antonio M. Oller-Marcén,
Jonathan Sondow
Abstract:
We show that if the congruence above holds and $n\mid m$, then the quotient $Q:=m/n$ satisfies $\sum_{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod{Q}$, where $p$ is prime. The only known solutions of the latter congruence are $Q=1$ and the eight known primary pseudoperfect numbers $2,6,42, 1806, 47058, 2214502422, 52495396602,$ and $8490421583559688410706771261086$. Fixing $Q$, we prove that the set of po…
▽ More
We show that if the congruence above holds and $n\mid m$, then the quotient $Q:=m/n$ satisfies $\sum_{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod{Q}$, where $p$ is prime. The only known solutions of the latter congruence are $Q=1$ and the eight known primary pseudoperfect numbers $2,6,42, 1806, 47058, 2214502422, 52495396602,$ and $8490421583559688410706771261086$. Fixing $Q$, we prove that the set of positive integers $n$ satisfying the congruence in the title, with $m=Q n$, is empty in case $Q=52495396602$, and in the other eight cases has an asymptotic density between bounds in $(0,1)$ that we provide.
△ Less
Submitted 29 May, 2014; v1 submitted 30 September, 2013;
originally announced September 2013.
-
Synchronization of two anharmonic nanomechanical oscillators
Authors:
M. H. Matheny,
M. Grau,
L. G. Villanueva,
R. B. Karabalin,
M. C. Cross,
M. L. Roukes
Abstract:
We investigate the synchronization of oscillators based on anharmonic nanoelectromechanical resonators. Our experimental implementation allows unprecedented observation and control of parameters governing the dynamics of synchronization. We find close quantitative agreement between experimental data and theory describing reactively coupled Duffing resonators with fully saturated feedback gain. In…
▽ More
We investigate the synchronization of oscillators based on anharmonic nanoelectromechanical resonators. Our experimental implementation allows unprecedented observation and control of parameters governing the dynamics of synchronization. We find close quantitative agreement between experimental data and theory describing reactively coupled Duffing resonators with fully saturated feedback gain. In the synchronized state we demonstrate a significant reduction in the phase noise of the oscillators, which is key for sensor and clock applications. Our work establishes that oscillator networks constructed from nanomechanical resonators form an ideal laboratory to study synchronization given their high-quality factors, small footprint, and ease of co-integration with modern electronic signal processing technologies.
△ Less
Submitted 3 May, 2013;
originally announced May 2013.
-
About the congruence $\sum_{k=1}^n k^{f(n)} \equiv 0 \textrm{(mod n)} $
Authors:
José María Grau,
Antonio M. Oller-Marcén
Abstract:
In this paper we characterize, in terms of the prime divisors of $n$, the pairs $(k,n)$ for which $n$ divides $\sum_{j=1}^n j^{k}$. As an application, we study the sets $\mathcal{M}_f :=\{n: n \textrm{divides} \sum_{j=1}^n j^{f(n)} \}$ for some choices of $f$.
In this paper we characterize, in terms of the prime divisors of $n$, the pairs $(k,n)$ for which $n$ divides $\sum_{j=1}^n j^{k}$. As an application, we study the sets $\mathcal{M}_f :=\{n: n \textrm{divides} \sum_{j=1}^n j^{f(n)} \}$ for some choices of $f$.
△ Less
Submitted 9 April, 2013;
originally announced April 2013.
-
On the last digit and the last non-zero digit of $n^n$ in base $b$
Authors:
José María Grau,
Antonio M. Oller-Marcén
Abstract:
In this paper we study the sequences defined by the last and the last non-zero digits of $n^n$ in base $b$. For the sequence given by the last digits of $n^n$ in base $b$, we prove its periodicity using different techniques than those used by W. Sierpinski and R. Hampel. In the case of the sequence given by the last non-zero digits of $n^n$ in base $b$ (which had been studied only for $b=10$) we s…
▽ More
In this paper we study the sequences defined by the last and the last non-zero digits of $n^n$ in base $b$. For the sequence given by the last digits of $n^n$ in base $b$, we prove its periodicity using different techniques than those used by W. Sierpinski and R. Hampel. In the case of the sequence given by the last non-zero digits of $n^n$ in base $b$ (which had been studied only for $b=10$) we show the non-periodicity of the sequence when $b$ is an odd prime power and when it is even and square-free. We also show that if $b=2^{2^s}$ the sequence is periodic and conjecture that this is the only such case.
△ Less
Submitted 19 March, 2012;
originally announced March 2012.
-
Near-infrared LIF spectroscopy of HfF
Authors:
Matt Grau,
Aaron E. Leanhardt,
Huanqian Loh,
Laura C. Sinclair,
Russel P. Stutz,
Tyler S. Yahn,
Eric A. Cornell
Abstract:
The molecular ion HfF$^+$ is the chosen species for a JILA experiment to measure the electron electric dipole moment (eEDM). Detailed knowledge of the spectrum of HfF is crucial to prepare HfF$^+$ in a state suitable for performing an eEDM measurement\cite{Leanhardt}. We investigated the near-infrared electronic spectrum of HfF using laser-induced fluorescence (LIF) of a supersonic molecular beam.…
▽ More
The molecular ion HfF$^+$ is the chosen species for a JILA experiment to measure the electron electric dipole moment (eEDM). Detailed knowledge of the spectrum of HfF is crucial to prepare HfF$^+$ in a state suitable for performing an eEDM measurement\cite{Leanhardt}. We investigated the near-infrared electronic spectrum of HfF using laser-induced fluorescence (LIF) of a supersonic molecular beam. We discovered eight unreported bands, and assign each of them unambiguously, four to vibrational bands belonging to the transition $[13.8]0.5 \leftarrow X1.5$, and four to vibrational bands belonging to the transition $[14.2]1.5 \leftarrow X1.5$. Additionally, we report an improved measurement of vibrational spacing of the ground state, as well as anharmonicity $ω_e x_e$.
△ Less
Submitted 1 February, 2012; v1 submitted 31 January, 2012;
originally announced January 2012.
-
Corrigendum to "Cullen numbers with the Lehmer Property"
Authors:
José María Grau,
Florian Luca
Abstract:
In this note, we correct an oversight from the paper mentioned in the title.
In this note, we correct an oversight from the paper mentioned in the title.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
Laser-induced fluorescence studies of HfF+ produced by autoionization
Authors:
Huanqian Loh,
Jia Wang,
Matt Grau,
Tyler S. Yahn,
Robert W. Field,
Chris H. Greene,
Eric A. Cornell
Abstract:
Autoionization of Rydberg states of HfF, prepared using the optical-optical double resonance (OODR) technique, holds promise to create HfF+ in a particular Zeeman level of a rovibronic state for an electron electric dipole moment (eEDM) search. We characterize a vibronic band of Rydberg HfF at 54 cm-1 above the lowest ionization threshold and directly probe the state of the ions formed from this v…
▽ More
Autoionization of Rydberg states of HfF, prepared using the optical-optical double resonance (OODR) technique, holds promise to create HfF+ in a particular Zeeman level of a rovibronic state for an electron electric dipole moment (eEDM) search. We characterize a vibronic band of Rydberg HfF at 54 cm-1 above the lowest ionization threshold and directly probe the state of the ions formed from this vibronic band by performing laser-induced fluorescence (LIF) on the ions. The Rydberg HfF molecules show a propensity to decay into only a few ion rotational states of a given parity and are found to preserve their orientation qualitatively upon autoionization. We show empirically that we can create 30% of the total ion yield in a particular |J+,M+> state and present a simplified model describing autoionization from a given Rydberg state that assumes no angular dynamics.
△ Less
Submitted 25 September, 2011;
originally announced September 2011.
-
Cullen Numbers with the Lehmer Property
Authors:
Jose Maria Grau,
Florian Luca
Abstract:
Here, we show that there is no positive integer $n$ such that the $n$th Cullen number $C_n=n2^n+1$ has the property that it is composite but $φ(C_n)\mid C_n-1$.
Here, we show that there is no positive integer $n$ such that the $n$th Cullen number $C_n=n2^n+1$ has the property that it is composite but $φ(C_n)\mid C_n-1$.
△ Less
Submitted 18 March, 2011;
originally announced March 2011.
-
Generalizing Giuga's conjecture
Authors:
José María Grau,
Antonio M. Oller-Marcén
Abstract:
In 1950 G. Giuga studied the congruence $\sum_{j=1}^{n-1} j^{n-1} \equiv -1$ (mod $n$) and conjectured that it was only satisfied by prime numbers. In this work we generalize Giuga's ideas considering, for each $k \in \mathbb{N}$, the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1$ (mod $n$). It particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ (with composite $n$) satisfies the cong…
▽ More
In 1950 G. Giuga studied the congruence $\sum_{j=1}^{n-1} j^{n-1} \equiv -1$ (mod $n$) and conjectured that it was only satisfied by prime numbers. In this work we generalize Giuga's ideas considering, for each $k \in \mathbb{N}$, the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1$ (mod $n$). It particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ (with composite $n$) satisfies the congruence if and only if $n$ is a Giuga Number and $ λ(n)/\gcd(λ(n),n-1)$ divides $k$. In passing, we establish some new characterizations of Giuga Numbers.
△ Less
Submitted 17 March, 2011;
originally announced March 2011.
