-
The Logic of Correct Models
Authors:
Juan Pablo Aguilera,
Fedor Pakhomov
Abstract:
For each $n\in\mathbb{N}$, let $[n]φ$ mean "the sentence $φ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so th…
▽ More
For each $n\in\mathbb{N}$, let $[n]φ$ mean "the sentence $φ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following purely modal-logical results which are of independent interest: the logic GLP.3 coincides with the logic of closed substitutions of GLP, and is the maximal non-degenerate, normal extension of GLP.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Counterfactual Reasoning with Probabilistic Graphical Models for Analyzing Socioecological Systems
Authors:
Rafael Cabañas,
Ana D. Maldonado,
María Morales,
Pedro A. Aguilera,
Antonio Salmerón
Abstract:
Causal and counterfactual reasoning are emerging directions in data science that allow us to reason about hypothetical scenarios. This is particularly useful in domains where experimental data are usually not available. In the context of environmental and ecological sciences, causality enables us, for example, to predict how an ecosystem would respond to hypothetical interventions. A structural ca…
▽ More
Causal and counterfactual reasoning are emerging directions in data science that allow us to reason about hypothetical scenarios. This is particularly useful in domains where experimental data are usually not available. In the context of environmental and ecological sciences, causality enables us, for example, to predict how an ecosystem would respond to hypothetical interventions. A structural causal model is a class of probabilistic graphical models for causality, which, due to its intuitive nature, can be easily understood by experts in multiple fields. However, certain queries, called unidentifiable, cannot be calculated in an exact and precise manner. This paper proposes applying a novel and recent technique for bounding unidentifiable queries within the domain of socioecological systems. Our findings indicate that traditional statistical analysis, including probabilistic graphical models, can identify the influence between variables. However, such methods do not offer insights into the nature of the relationship, specifically whether it involves necessity or sufficiency. This is where counterfactual reasoning becomes valuable.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Reflection Properties of Ordinals in Generic Extensions
Authors:
Juan P. Aguilera,
Corey Bacal Switzer
Abstract:
We study the question of when a given countable ordinal $α$ is $Σ^1_n$- or $Π^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove, amongst other things, that adding any number of Cohen or random reals, or forcing with Sacks forcing or any lightface Borel weakly homogeneous ccc forcing notion cannot change…
▽ More
We study the question of when a given countable ordinal $α$ is $Σ^1_n$- or $Π^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove, amongst other things, that adding any number of Cohen or random reals, or forcing with Sacks forcing or any lightface Borel weakly homogeneous ccc forcing notion cannot change such reflection properties. Moreover we show that collapse forcing increases the value of the least reflecting ordinals but, curiously, to ordinals which are still smaller than the $ω_1$ of $L$.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Gödel-Dummett linear temporal logic
Authors:
Juan Pablo Aguilera,
Martín Diéguez,
David Fernández-Duque,
Brett McLean
Abstract:
We investigate a version of linear temporal logic whose propositional fragment is Gödel-Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics: first a real-valued semantics, where statements have a degree of truth in the real unit interval and second a `bi-relational' semantics. We then show that these two…
▽ More
We investigate a version of linear temporal logic whose propositional fragment is Gödel-Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics: first a real-valued semantics, where statements have a degree of truth in the real unit interval and second a `bi-relational' semantics. We then show that these two semantics indeed define one and the same logic: the statements that are valid for the real-valued semantics are the same as those that are valid for the bi-relational semantics. This Gödel temporal logic does not have any form of the finite model property for these two semantics: there are non-valid statements that can only be falsified on an infinite model. However, by using the technical notion of a quasimodel, we show that every falsifiable statement is falsifiable on a finite quasimodel, yielding an algorithm for deciding if a statement is valid or not. Later, we strengthen this decidability result by giving an algorithm that uses only a polynomial amount of memory, proving that Gödel temporal logic is PSPACE-complete. We also provide a deductive calculus for Gödel temporal logic, and show this calculus to be sound and complete for the above-mentioned semantics, so that all (and only) the valid statements can be proved with this calculus.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
Global stability of a logarithmically sensitive chemotaxis model under time-dependent boundary conditions
Authors:
Padi Fuster Aguilera,
Kun Zhao
Abstract:
This paper studies the dynamical behavior of classical solutions to a hyperbolic system of balance laws, derived from a chemotaxis model with logarithmic sensitivity, subject to time-dependent boundary conditions. It is shown that under suitable assumptions on the boundary data, solutions starting in $H^2$-space exist globally in time and the differences between the solutions and their correspondi…
▽ More
This paper studies the dynamical behavior of classical solutions to a hyperbolic system of balance laws, derived from a chemotaxis model with logarithmic sensitivity, subject to time-dependent boundary conditions. It is shown that under suitable assumptions on the boundary data, solutions starting in $H^2$-space exist globally in time and the differences between the solutions and their corresponding boundary data converge to zero, as time goes to infinity. There is no smallness restriction on the magnitude of initial perturbations. Moreover, numerical simulations show that the assumptions on the boundary data are necessary for the above mentioned results.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
Stag hunt game-based approach for cooperative UAVs
Authors:
L. V. Nguyen,
I. Torres Herrera,
T. H. Le,
M. D. Phung,
R. P. Aguilera,
Q. P. Ha
Abstract:
Unmanned aerial vehicles (UAVs) are being employed in many areas such as photography, emergency, entertainment, defence, agriculture, forestry, mining and construction. Over the last decade, UAV technology has found applications in numerous construction project phases, ranging from site mapping, progress monitoring, building inspection, damage assessments, and material delivery. While extensive st…
▽ More
Unmanned aerial vehicles (UAVs) are being employed in many areas such as photography, emergency, entertainment, defence, agriculture, forestry, mining and construction. Over the last decade, UAV technology has found applications in numerous construction project phases, ranging from site mapping, progress monitoring, building inspection, damage assessments, and material delivery. While extensive studies have been conducted on the advantages of UAVs for various construction-related processes, studies on UAV collaboration to improve the task capacity and efficiency are still scarce. This paper proposes a new cooperative path planning algorithm for multiple UAVs based on the stag hunt game and particle swarm optimization (PSO). First, a cost function for each UAV is defined, incorporating multiple objectives and constraints. The UAV game framework is then developed to formulate the multi-UAV path planning into the problem of finding payoff-dominant equilibrium. Next, a PSO-based algorithm is proposed to obtain optimal paths for the UAVs. Simulation results for a large construction site inspected by three UAVs indicate the effectiveness of the proposed algorithm in generating feasible and efficient flight paths for UAV formation during the inspection task.
△ Less
Submitted 28 August, 2022;
originally announced August 2022.
-
A Gödel Calculus for Linear Temporal Logic
Authors:
Juan Pablo Aguilera,
Martín Diéguez,
David Fernández-Duque,
Brett McLean
Abstract:
We consider Gödel temporal logic ($\sf GTL$), a variant of linear temporal logic based on Gödel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic logic. Using semantical methods, the logic was shown to be {\sc pspace}-complete. In this paper we provide a deductive calculus for $\sf GTL$, and show thi…
▽ More
We consider Gödel temporal logic ($\sf GTL$), a variant of linear temporal logic based on Gödel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic logic. Using semantical methods, the logic was shown to be {\sc pspace}-complete. In this paper we provide a deductive calculus for $\sf GTL$, and show this calculus to be sound and complete for the above-mentioned semantics.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
Time and Gödel: Fuzzy temporal reasoning in PSPACE
Authors:
Juan Pablo Aguilera,
Martín Diéguez,
David Fernández-Duque,
Brett McLean
Abstract:
We investigate a non-classical version of linear temporal logic whose propositional fragment is Gödel--Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics, a real-valued semantics and a bi-relational semantics, and show that these indeed define one and the same logic. Although this Gödel temporal logic do…
▽ More
We investigate a non-classical version of linear temporal logic whose propositional fragment is Gödel--Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics, a real-valued semantics and a bi-relational semantics, and show that these indeed define one and the same logic. Although this Gödel temporal logic does not have any form of the finite model property for these two semantics, we show that every falsifiable formula is falsifiable on a finite quasimodel, which yields decidability of the logic. We then strengthen this result by showing that this Gödel temporal logic is PSPACE-complete.
△ Less
Submitted 1 May, 2022;
originally announced May 2022.
-
Efficiency calibration of the BRIKEN detector: the world largest counter for beta-delayed neutrons
Authors:
M. Pallas,
A. Tarifeno-Saldivia,
F. Calvino,
N. Mont-Geli,
J. L. Tain,
A. Tolosa-Delgado,
J. Agramunt,
F. Molina,
P. Aguilera,
J. Romero-Barrientos
Abstract:
Beta-delayed neutron emission plays a fundamental role in the explosive nucleosynthesis of elements heavier than iron by the rapid neutron capture (r-process). The most ambitious project related to beta-delayed neutron detection of very exotic nuclei is carried out by the BRIKEN collaboration at RIKEN Nishima Center. In this work, a brief description of the BRIKEN project is presented. A methodolo…
▽ More
Beta-delayed neutron emission plays a fundamental role in the explosive nucleosynthesis of elements heavier than iron by the rapid neutron capture (r-process). The most ambitious project related to beta-delayed neutron detection of very exotic nuclei is carried out by the BRIKEN collaboration at RIKEN Nishima Center. In this work, a brief description of the BRIKEN project is presented. A methodology for the precise characterization of the BRIKEN neutron counter efficiency, for fast neutrons, using an uncalibrated 252Cf neutron source is described. The method relies on the well-known neutron multiplicity distribution of such source and correlation counting method. A detailed experimental study with the BRIKEN neutron counter and a 252 Cf neutron source at the RIKEN Nishina center is presented. The result of this work is the determination of the neutron detection efficiency of the BRIKEN neutron counter with high accuracy.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
Functorial Fast-Growing Hierarchies
Authors:
J. P. Aguilera,
F. Pakhomov,
A. Weiermann
Abstract:
Fast-growing hierarchies are sequences of functions obtained through various processes similar to the ones that yield multiplication from addition, exponentiation from multiplication, etc. We observe that fast-growing hierarchies can be naturally extended to functors on the categories of natural numbers and of linear orders. We show that the categorical extensions of binary fast-growing hierarchie…
▽ More
Fast-growing hierarchies are sequences of functions obtained through various processes similar to the ones that yield multiplication from addition, exponentiation from multiplication, etc. We observe that fast-growing hierarchies can be naturally extended to functors on the categories of natural numbers and of linear orders. We show that the categorical extensions of binary fast-growing hierarchies to ordinals are isomorphic to denotation systems given by ordinal collapsing functions, thus establishing a connection between two fundamental concepts in Proof Theory.
Using this fact, we obtain a restatement of the subsystem $Π^1_1$-CA$_0$ of analysis as a higher-type wellordering principle.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
The $Π^1_2$ Consequences of a Theory
Authors:
Juan P. Aguilera,
Fedor Pakhomov
Abstract:
We develop the abstract framework for a proof-theoretic analysis of theories with scope beyond ordinal numbers, resulting in an analog of Ordinal Analysis aimed at the study of theorems of complexity $Π^1_2$. This is done by replacing the use of ordinal numbers by particularly uniform, wellfoundedness preserving functors in the category of linear orders.
Generalizing the notion of a proof-theore…
▽ More
We develop the abstract framework for a proof-theoretic analysis of theories with scope beyond ordinal numbers, resulting in an analog of Ordinal Analysis aimed at the study of theorems of complexity $Π^1_2$. This is done by replacing the use of ordinal numbers by particularly uniform, wellfoundedness preserving functors in the category of linear orders.
Generalizing the notion of a proof-theoretic ordinal, we define the functorial $Π^1_2$ norm of a theory and prove its existence and uniqueness for $Π^1_2$-sound theories. From this, we further abstract a definition of the $Σ^1_2$- and $Π^1_2$-soundness ordinals of a theory; these quantify, respectively, the maximum strength of true $Σ^1_2$ theorems and minimum strength of false $Π^1_2$ theorems of a given theory. We study these ordinals, developing a proof-theoretic classification theory for recursively enumerable extensions of $\mathsf{ACA}_0$
Using techniques from infinitary and categorical proof theory, generalized recursion theory, constructibility, and forcing, we prove that an admissible ordinal is the $Π^1_2$-soundness ordinal of some recursively enumerable extension of $\mathsf{ACA}_0$ if and only if it is not parameter-free $Σ^1_1$-reflecting. We show that the $Σ^1_2$-soundness ordinal of $\mathsf{ACA}_0$ is $ω_1^{ck}$ and characterize the $Σ^1_2$-soundness ordinals of recursively enumerable, $Σ^1_2$-sound extensions of $Π^1_1{-}\mathsf{CA}_0$.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Calculation of kinetic parameters $β_{\mathit{eff}}$ and $Λ$ with modified open source Monte Carlo code OpenMC(TD)
Authors:
Jaime Romero-Barrientos,
Jose Ignacio Marquez Damian,
Francisco Molina,
Marcelo Zambra,
Pablo Aguilera,
Franco Lopez-Usquiano,
Byron Parra
Abstract:
This work presents the methodology used to expand the capabilities of the Monte Carlo code OpenMC for the calculation of reactor kinetic parameters: effective delayed neutron fraction $β_{\mathit{eff}}$ and neutron generation time $Λ$. The modified code, OpenMC(Time-Dependent) or OpenMC(TD), was then used to calculate the effective delayed neutron fraction by using the prompt method, while the neu…
▽ More
This work presents the methodology used to expand the capabilities of the Monte Carlo code OpenMC for the calculation of reactor kinetic parameters: effective delayed neutron fraction $β_{\mathit{eff}}$ and neutron generation time $Λ$. The modified code, OpenMC(Time-Dependent) or OpenMC(TD), was then used to calculate the effective delayed neutron fraction by using the prompt method, while the neutron generation time was estimated using the pulsed method, fitting $Λ$ to the decay of the neutron population. OpenMC(TD) is intended to serve as an alternative for the estimation of kinetic parameters when licensed codes are not available. The results obtained are compared to experimental data and MCNP calculated values for $18$ benchmark configurations.
△ Less
Submitted 16 July, 2021;
originally announced July 2021.
-
Shape changes in the mirror nuclei $^{70}$Kr and $^{70}$Se
Authors:
K. Wimmer,
W. Korten,
P. Doornenbal,
T. Arici,
P. Aguilera,
A. Algora,
T. Ando,
H. Baba,
B. Blank,
A. Boso,
S. Chen,
A. Corsi,
P. Davies,
G. de Angelis,
G. de France,
J. -P. Delaroche,
D. T. Doherty,
J. Gerl,
R. Gernhäuser,
M. Girod,
D. Jenkins,
S. Koyama,
T. Motobayashi,
S. Nagamine,
M. Niikura
, et al. (13 additional authors not shown)
Abstract:
We studied the proton-rich $T_z=-1$ nucleus $^{70}$Kr through inelastic scattering at intermediate energies in order to extract the reduced transition probability, $B(E2;\;0^+ \rightarrow 2^+)$. Comparison with the other members of the $A=70$ isospin triplet, $^{70}$Br and $^{70}$Se, studied in the same experiment, shows a $3σ$ deviation from the expected linearity of the electromagnetic matrix el…
▽ More
We studied the proton-rich $T_z=-1$ nucleus $^{70}$Kr through inelastic scattering at intermediate energies in order to extract the reduced transition probability, $B(E2;\;0^+ \rightarrow 2^+)$. Comparison with the other members of the $A=70$ isospin triplet, $^{70}$Br and $^{70}$Se, studied in the same experiment, shows a $3σ$ deviation from the expected linearity of the electromagnetic matrix elements as a function of $T_z$.
At present, no established nuclear structure theory can describe this observed deviation quantitatively. This is the first violation of isospin symmetry at this level observed in the transition matrix elements. A heuristic approach may explain the anomaly by a shape change between the mirror nuclei $^{70}$Kr and $^{70}$Se contrary to the model predictions.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
A PDE model for chemotaxis with logarithmic sensitivity and logistic growth
Authors:
Padi Fuster Aguilera,
Vincent R. Martinez,
Kyle Kun Zhao
Abstract:
In this paper, we study the initial-boundary value problem and its asymptotic behavior for a repulsive chemotaxis model with logarithmic sensitivity and logistic growth. We establish global well-posedness of strong solutions for large initial data with Neumann boundary conditions and, moreover, establish the qualitative result that both the population density and chemical concentration asymptotica…
▽ More
In this paper, we study the initial-boundary value problem and its asymptotic behavior for a repulsive chemotaxis model with logarithmic sensitivity and logistic growth. We establish global well-posedness of strong solutions for large initial data with Neumann boundary conditions and, moreover, establish the qualitative result that both the population density and chemical concentration asymptotically converge to constant states with the population density specifically converging to its carrying capacity. We additionally prove that the vanishing chemical diffusivity limit holds in this regime. Lastly, we provide numerical confirmation of the rigorous qualitative results, as well as numerical simulations that demonstrate a separation of scales phenomenon.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Long Games and $σ$-Projective Sets
Authors:
Juan P. Aguilera,
Sandra Müller,
Philipp Schlicht
Abstract:
We prove a number of results on the determinacy of $σ$-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between $σ$-projective determinacy and the determinacy of certain classes of games of variable length ${<}ω^2$ (Theorem 2.4). We then give an element…
▽ More
We prove a number of results on the determinacy of $σ$-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between $σ$-projective determinacy and the determinacy of certain classes of games of variable length ${<}ω^2$ (Theorem 2.4). We then give an elementary proof of the determinacy of $σ$-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof to obtain proofs of the determinacy of $σ$-projective games of a given countable length and of games with payoff in the smallest $σ$-algebra containing the projective sets, from corresponding assumptions (Theorems 5.1 and 5.4).
△ Less
Submitted 16 January, 2021; v1 submitted 10 November, 2020;
originally announced November 2020.
-
Ackermann and Goodstein go functorial
Authors:
Juan P. Aguilera,
Anton Freund,
Michael Rathjen,
Andreas Weiermann
Abstract:
We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These variants differ from the usual Goodstein theorem in that they (necessarily) entail the existence of complex infinite objects. As part of our proof, we show that the Veblen hierarchy of normal functions on the ordinals i…
▽ More
We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These variants differ from the usual Goodstein theorem in that they (necessarily) entail the existence of complex infinite objects. As part of our proof, we show that the Veblen hierarchy of normal functions on the ordinals is closely related to an extension of the Ackermann function by direct limits.
△ Less
Submitted 2 December, 2020; v1 submitted 6 November, 2020;
originally announced November 2020.
-
Beta decay of the very neutron-deficient $^{60}$Ge and $^{62}$Ge nuclei
Authors:
S. E. A. Orrigo,
B. Rubio,
W. Gelletly,
P. Aguilera,
A. Algora,
A. I. Morales,
J. Agramunt,
D. S. Ahn,
P. Ascher,
B. Blank,
C. Borcea,
A. Boso,
R. B. Cakirli,
J. Chiba,
G. de Angelis,
G. de France,
F. Diel,
P. Doornenbal,
Y. Fujita,
N. Fukuda,
E. Ganioğlu,
M. Gerbaux,
J. Giovinazzo,
S. Go,
T. Goigoux
, et al. (26 additional authors not shown)
Abstract:
We report here the results of a study of the $β$ decay of the proton-rich Ge isotopes, $^{60}$Ge and $^{62}$Ge, produced in an experiment at the RIKEN Nishina Center. We have improved our knowledge of the half-lives of $^{62}$Ge (73.5(1) ms), $^{60}$Ge (25.0(3) ms) and its daughter nucleus, $^{60}$Ga (69.4(2) ms). We measured individual $β$-delayed proton and $γ$ emissions and their related branch…
▽ More
We report here the results of a study of the $β$ decay of the proton-rich Ge isotopes, $^{60}$Ge and $^{62}$Ge, produced in an experiment at the RIKEN Nishina Center. We have improved our knowledge of the half-lives of $^{62}$Ge (73.5(1) ms), $^{60}$Ge (25.0(3) ms) and its daughter nucleus, $^{60}$Ga (69.4(2) ms). We measured individual $β$-delayed proton and $γ$ emissions and their related branching ratios. Decay schemes and absolute Fermi and Gamow-Teller transition strengths have been determined. The mass excesses of the nuclei under study have been deduced. A total $β$-delayed proton-emission branching ratio of 67(3)% has been obtained for $^{60}$Ge. New information has been obtained on the energy levels populated in $^{60}$Ga and on the 1/2$^-$ excited state in the $βp$ daughter $^{59}$Zn. We extracted a ground state to ground state feeding of 85.3(3)% for the decay of $^{62}$Ge. Eight new $γ$ lines have been added to the de-excitation of levels populated in the $^{62}$Ga daughter.
△ Less
Submitted 15 February, 2022; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Shape coexistence revealed in the $N=Z$ isotope $^{72}$Kr through inelastic scattering
Authors:
K. Wimmer,
T. Arici,
W. Korten,
P. Doornenbal,
J. -P. Delaroche,
M. Girod,
J. Libert,
T. R. Rodríguez,
P. Aguilera,
A. Algora,
T. Ando,
H. Baba,
B. Blank,
A. Boso,
S. Chen,
A. Corsi,
P. Davies,
G. de Angelis,
G. de France,
D. T. Doherty,
J. Gerl,
R. Gernhäuser,
T. Goigoux,
D. Jenkins,
G. Kiss
, et al. (19 additional authors not shown)
Abstract:
The $N=Z=36$ nucleus $^{72}$Kr has been studied by inelastic scattering at intermediate energies. Two targets, $^{9}$Be and $^{197}$Au, were used to extract the nuclear deformation length, $δ_\text{N}$, and the reduced $E2$ transition probability, $B(E2)$. The previously unknown non-yrast $2^+$ and $4^+$ states as well as a new candidate for the octupole $3^-$ state have been observed in the scatt…
▽ More
The $N=Z=36$ nucleus $^{72}$Kr has been studied by inelastic scattering at intermediate energies. Two targets, $^{9}$Be and $^{197}$Au, were used to extract the nuclear deformation length, $δ_\text{N}$, and the reduced $E2$ transition probability, $B(E2)$. The previously unknown non-yrast $2^+$ and $4^+$ states as well as a new candidate for the octupole $3^-$ state have been observed in the scattering on the Be target and placed in the level scheme based on $γ-γ$ coincidences. The second $2^+$ state was also observed in the scattering on the Au target and the $B(E2;\;2^+_2 \rightarrow 0^+_1)$ value could be determined for the first time. Analyzing the results in terms of a two-band mixing model shows clear evidence for a oblate-prolate shape coexistence and can be explained by a shape change from an oblate ground state to prolate deformed yrast band from the first $2^+$ state. This interpretation is corroborated by beyond mean field calculations using the Gogny D1S interaction.
△ Less
Submitted 26 May, 2020; v1 submitted 21 May, 2020;
originally announced May 2020.
-
Novel observation of isospin structure of short-range correlations in calcium isotopes
Authors:
D. Nguyen,
Z. Ye,
P. Aguilera,
Z. Ahmed,
H. Albataineh,
K. Allada,
B. Anderson,
D. Anez,
K. Aniol,
J. Annand,
J. Arrington,
T. Averett,
H. Baghdasaryan,
X. Bai,
A. Beck,
S. Beck,
V. Bellini,
F. Benmokhtar,
A. Camsonne,
C. Chen,
J. -P. Chen,
K. Chirapatpimol,
E. Cisbani,
M. M. Dalton,
A. Daniel
, et al. (79 additional authors not shown)
Abstract:
Short Range Correlations (SRCs) have been identified as being responsible for the high momentum tail of the nucleon momentum distribution, n(k). Hard, short-range interactions of nucleon pairs generate the high momentum tail and imprint a universal character on n(k) for all nuclei at large momentum. Triple coincidence experiments have shown a strong dominance of np pairs, but these measurements in…
▽ More
Short Range Correlations (SRCs) have been identified as being responsible for the high momentum tail of the nucleon momentum distribution, n(k). Hard, short-range interactions of nucleon pairs generate the high momentum tail and imprint a universal character on n(k) for all nuclei at large momentum. Triple coincidence experiments have shown a strong dominance of np pairs, but these measurements involve large final state interactions. This paper presents the results from Jefferson Lab experiment E08014 which measured inclusive electron scattering cross-section from Ca isotopes. By comparing the inclusive cross section from 48Ca to 40Ca in a kinematic region dominated by SRCs we provide a new way to study the isospin structure of SRCs.
△ Less
Submitted 17 December, 2020; v1 submitted 23 April, 2020;
originally announced April 2020.
-
Unitary recordings in freely-moving pulse weakly electric fish suggest spike timing encoding of electrosensory signals
Authors:
Alejo Rodríguez-Cattáneo,
Ana Carolina Pereira,
Pedro Aguilera,
Angel Caputi
Abstract:
Unitary recordings in freely-moving pulse weakly electric fish suggest spike timing encoding of electrosensory signals
Unitary recordings in freely-moving pulse weakly electric fish suggest spike timing encoding of electrosensory signals
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
Projective Games on the Reals
Authors:
Juan P. Aguilera,
Sandra Müller
Abstract:
Let $M^\sharp_n(\mathbb{R})$ denote the minimal active iterable extender model which has $n$ Woodin cardinals and contains all reals, if it exists, in which case we denote by $M_n(\mathbb{R})$ the class-sized model obtained by iterating the topmost measure of $M_n(\mathbb{R})$ class-many times. We characterize the sets of reals which are $Σ_1$-definable from $\mathbb{R}$ over $M_n(\mathbb{R})$, un…
▽ More
Let $M^\sharp_n(\mathbb{R})$ denote the minimal active iterable extender model which has $n$ Woodin cardinals and contains all reals, if it exists, in which case we denote by $M_n(\mathbb{R})$ the class-sized model obtained by iterating the topmost measure of $M_n(\mathbb{R})$ class-many times. We characterize the sets of reals which are $Σ_1$-definable from $\mathbb{R}$ over $M_n(\mathbb{R})$, under the assumption that projective games on reals are determined: (1) for even $n$, $Σ_1^{M_n(\mathbb{R})} = \Game^\mathbb{R}Π^1_{n+1}$; (2) for odd $n$, $Σ_1^{M_n(\mathbb{R})} = \Game^\mathbb{R}Σ^1_{n+1}$. This generalizes a theorem of Martin and Steel for $L(\mathbb{R})$, i.e., the case $n=0$. As consequences of the proof, we see that determinacy of all projective games with moves in $\mathbb{R}$ is equivalent to the statement that $M^\sharp_n(\mathbb{R})$ exists for all $n\in\mathbb{N}$, and that determinacy of all projective games of length $ω^2$ with moves in $\mathbb{N}$ is equivalent to the statement that $M^\sharp_n(\mathbb{R})$ exists and satisfies $\mathsf{AD}$ for all $n\in\mathbb{N}$.
△ Less
Submitted 16 January, 2021; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Determined Admissible Sets
Authors:
Juan P. Aguilera
Abstract:
It is shown, from hypotheses in the region of $ω^2$ Woodin cardinals, that there is a transitive model of KP + AD$_\mathbb{R}$ containing all reals.
It is shown, from hypotheses in the region of $ω^2$ Woodin cardinals, that there is a transitive model of KP + AD$_\mathbb{R}$ containing all reals.
△ Less
Submitted 9 October, 2019; v1 submitted 1 July, 2019;
originally announced July 2019.
-
The consistency strength of long projective determinacy
Authors:
Juan P. Aguilera,
Sandra Müller
Abstract:
We determine the consistency strength of determinacy for projective games of length $ω^2$. Our main theorem is that $\boldsymbolΠ^1_{n+1}$-determinacy for games of length $ω^2$ implies the existence of a model of set theory with $ω+ n$ Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals $A$ such that $M_n(A)$, the canonical inner model for…
▽ More
We determine the consistency strength of determinacy for projective games of length $ω^2$. Our main theorem is that $\boldsymbolΠ^1_{n+1}$-determinacy for games of length $ω^2$ implies the existence of a model of set theory with $ω+ n$ Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals $A$ such that $M_n(A)$, the canonical inner model for $n$ Woodin cardinals constructed over $A$, satisfies $A = \mathbb{R}$ and the Axiom of Determinacy. Then we argue how to obtain a model with $ω+ n$ Woodin cardinal from this. We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length $ω^2$ with payoff in $\Game^\mathbb{R} \boldsymbolΠ^1_1$ or with $σ$-projective payoff.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
The Order of Reflection
Authors:
J. P. Aguilera
Abstract:
Extending Aanderaa's classical result that $π^1_1<σ^1_1$, we determine the order between any two patterns of iterated $Σ^1_1$- and $Π^1_1$-reflection. We show that this \emph{linear reflection order} is a prewellordering of length $ω^ω$. This requires considering the relationship between linear and some \emph{non-linear} reflection patterns, such as $σ^1_1\wedgeπ^1_1$, the pattern of simultaneous…
▽ More
Extending Aanderaa's classical result that $π^1_1<σ^1_1$, we determine the order between any two patterns of iterated $Σ^1_1$- and $Π^1_1$-reflection. We show that this \emph{linear reflection order} is a prewellordering of length $ω^ω$. This requires considering the relationship between linear and some \emph{non-linear} reflection patterns, such as $σ^1_1\wedgeπ^1_1$, the pattern of simultaneous $Σ^1_1$- and $Π^1_1$-reflection.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
$F_σ$ Games and Reflection in $L(\mathbb{R})$
Authors:
J. P. Aguilera
Abstract:
It is shown that determinacy of $F_σ$ games of length $ω^2$ is equivalent to the existence of a transitive model of KP + AD which contains the reals and reflects $Π_1$ facts about the next admissible set.
It is shown that determinacy of $F_σ$ games of length $ω^2$ is equivalent to the existence of a transitive model of KP + AD which contains the reals and reflects $Π_1$ facts about the next admissible set.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Long Borel Games
Authors:
J. P. Aguilera
Abstract:
It is shown that Borel games of length $ω^2$ are determined if, and only if, for every countable ordinal $α$, there is a fine-structural, countably iterable extender model of Zermelo set theory with $α$-many iterated powersets above a limit of Woodin cardinals.
It is shown that Borel games of length $ω^2$ are determined if, and only if, for every countable ordinal $α$, there is a fine-structural, countably iterable extender model of Zermelo set theory with $α$-many iterated powersets above a limit of Woodin cardinals.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Discovery of $^{68}$Br in secondary reactions of radioactive beams
Authors:
K. Wimmer,
P. Doornenbal,
W. Korten,
T. Arici,
P. Aguilera,
A. Algora,
T. Ando,
H. Baba,
B. Blank,
A. Boso,
S. Chen,
A. Corsi,
P. Davies,
G. de Angelis,
G. de France,
D. T. Doherty,
J. Gerl,
R. Gernhaeuser,
D. Jenkins,
S. Koyama,
T. Motobayashi,
S. Nagamine,
M. Niikura,
A. Obertelli,
D. Lubos
, et al. (9 additional authors not shown)
Abstract:
The proton-rich isotope 68Br was discovered in secondary fragmentation reactions of fast radioactive beams. Proton-rich secondary beams of 70,71,72Kr and 70Br, produced at the RIKEN Nishina Center and identified by the BigRIPS fragment separator, impinged on a secondary 9Be target. Unambiguous particle identification behind the secondary target was achieved with the ZeroDegree spectrometer. Based…
▽ More
The proton-rich isotope 68Br was discovered in secondary fragmentation reactions of fast radioactive beams. Proton-rich secondary beams of 70,71,72Kr and 70Br, produced at the RIKEN Nishina Center and identified by the BigRIPS fragment separator, impinged on a secondary 9Be target. Unambiguous particle identification behind the secondary target was achieved with the ZeroDegree spectrometer. Based on the expected direct production cross sections from neighboring isotopes, the lifetime of the ground or long-lived isomeric state of 68Br was estimated. The results suggest that secondary fragmentation reactions, where relatively few nucleons are removed from the projectile, offer an alternative way to search for new isotopes, as these reactions populate preferentially low-lying states.
△ Less
Submitted 10 June, 2019;
originally announced June 2019.
-
Probing for high momentum protons in $^4$He via the $^4He(e,e'p)X$ reaction
Authors:
S. Iqbal,
F. Benmokhtar,
M. Ivanov,
N. See,
K. Aniol,
D. W. Higinbotham,
C. Boyd,
A. Gadsby,
S. Gilad,
A. Saha,
J. M. Udias,
J. S. Goodwill,
D. Finton,
A. Boyer,
Z. Ye,
P. Solvignon,
P. Aguilera,
Z. Ahmed,
H. Albataineh,
K. Allada,
B. Anderson,
D. Anez,
J. Annand,
J. Arrington,
T. Averett
, et al. (85 additional authors not shown)
Abstract:
Experimental cross sections for the $^4He(e,e'p)X$ reaction up to a missing momentum of 0.632 GeV/$c$ at $x_B=1.24$ and $Q^2$=2(GeV/$c$)$^2$ are reported. The data are compared to Relativistic Distorted Wave Impulse Approximation(RDWIA) calculations for $^4He(e,e'p)^3H$ channel. Significantly more events in the triton mass region are measured for $p_{m}$$>$0.45 GeV/$c$ than are predicted by the th…
▽ More
Experimental cross sections for the $^4He(e,e'p)X$ reaction up to a missing momentum of 0.632 GeV/$c$ at $x_B=1.24$ and $Q^2$=2(GeV/$c$)$^2$ are reported. The data are compared to Relativistic Distorted Wave Impulse Approximation(RDWIA) calculations for $^4He(e,e'p)^3H$ channel. Significantly more events in the triton mass region are measured for $p_{m}$$>$0.45 GeV/$c$ than are predicted by the theoretical model, suggesting that the effects of initial-state multi-nucleon correlations are stronger than expected by the RDWIA model.
△ Less
Submitted 13 March, 2022; v1 submitted 1 May, 2019;
originally announced May 2019.
-
Shape coexistence and isospin symmetry in $A=70$ nuclei: Spectroscopy of the $T_z = -1$ nucleus $^{70}$Kr
Authors:
K. Wimmer,
W. Korten,
T. Arici,
P. Doornenbal,
P. Aguilera,
A. Algora,
T. Ando,
H. Baba,
B. Blank,
A. Boso,
S. Chen,
A. Corsi,
P. Davies,
G. de Angelis,
G. de France,
D. Doherty,
J. Gerl,
R. Gernhäuser,
D. Jenkins,
S. Koyama,
T. Motobayashi,
S. Nagamine,
M. Niikura,
A. Obertelli,
D. Lubos
, et al. (9 additional authors not shown)
Abstract:
Excited states in the $T_z=-1$ nucleus $^{70}$Kr have been populated using inelastic scattering of a radioactive $^{70}$Kr beam as well as one- and two-neutron removal reactions from $^{71,72}$Kr at intermediate beam energies. The level scheme of $^{70}$Kr was constructed from the observed $γ$-ray transitions and coincidences. Tentative spin and parity assignments were made based on comparison wit…
▽ More
Excited states in the $T_z=-1$ nucleus $^{70}$Kr have been populated using inelastic scattering of a radioactive $^{70}$Kr beam as well as one- and two-neutron removal reactions from $^{71,72}$Kr at intermediate beam energies. The level scheme of $^{70}$Kr was constructed from the observed $γ$-ray transitions and coincidences. Tentative spin and parity assignments were made based on comparison with the mirror nucleus $^{70}$Se. A second $2^+$ state and a candidate for the corresponding $4^+_2$ state suggest shape coexistence in $^{70}$Kr.
△ Less
Submitted 17 July, 2018;
originally announced July 2018.
-
Search for three-nucleon short-range correlations in light nuclei
Authors:
Z. Ye,
P. Solvignon,
D. Nguyen,
P. Aguilera,
Z. Ahmed,
H. Albataineh,
K. Allada,
B. Anderson,
D. Anez,
K. Aniol,
J. Annand,
J. Arrington,
T. Averett,
H. Baghdasaryan,
X. Bai,
A. Beck,
S. Beck,
V. Bellini,
F. Benmokhtar,
A. Camsonne,
C. Chen,
J. -P. Chen,
K. Chirapatpimol,
E. Cisbani,
M. M. Dalton
, et al. (78 additional authors not shown)
Abstract:
We present new data probing short-range correlations (SRCs) in nuclei through the measurement of electron scattering off high-momentum nucleons in nuclei. The inclusive 4He/3He cross section ratio is observed to be both x and Q2 independent for 1.5 < x < 2, confirming the dominance of two- nucleon (2N) short-range correlations (SRCs). For x > 2, our data do not support a previous claim of three-nu…
▽ More
We present new data probing short-range correlations (SRCs) in nuclei through the measurement of electron scattering off high-momentum nucleons in nuclei. The inclusive 4He/3He cross section ratio is observed to be both x and Q2 independent for 1.5 < x < 2, confirming the dominance of two- nucleon (2N) short-range correlations (SRCs). For x > 2, our data do not support a previous claim of three-nucleon (3N) correlation dominance. While contributions beyond those from stationary 2N- SRCs are observed, our data show that isolating 3N-SRCs is more complicated than for 2N-SRCs.
△ Less
Submitted 18 June, 2018; v1 submitted 19 December, 2017;
originally announced December 2017.
-
Simultaneous investigation of the $\mathbf{T=1~ (J^π=0^+)}$ and $\mathbf{T=0 ~ (J^π=9^+)}$ $β$ decays in $^{70}$Br
Authors:
A. I. Morales,
A. Algora,
B. Rubio,
K. Kaneko,
S. Nishimura,
P. Aguilera,
S. E. A. Orrigo,
F. Molina,
G. de Angelis,
F. Recchia,
G. Kiss,
V. H. Phong,
J. Wu,
D. Nishimura,
H. Oikawa,
T. Goigoux,
J. Giovinazzo,
P. Ascher,
J. Agramunt,
D. S. Ahn,
H. Baba,
B. Blank,
C. Borcea,
A. Boso,
P. Davies
, et al. (33 additional authors not shown)
Abstract:
The $β$ decay of the odd-odd nucleus $^{70}$Br has been investigated with the BigRIPS and EURICA setups at the Radioactive Ion Beam Factory (RIBF) of the RIKEN Nishina Center. The $T=0$ ($J^π=9^+$) and $T=1$ ($J^π=0^+$) isomers have both been produced in in-flight fragmentation of $^{78}$Kr with ratios of 41.6(8)\% and 58.4(8)\%, respectively. A half-life of $t_{1/2}=2157^{+53}_{-49}$ ms has been…
▽ More
The $β$ decay of the odd-odd nucleus $^{70}$Br has been investigated with the BigRIPS and EURICA setups at the Radioactive Ion Beam Factory (RIBF) of the RIKEN Nishina Center. The $T=0$ ($J^π=9^+$) and $T=1$ ($J^π=0^+$) isomers have both been produced in in-flight fragmentation of $^{78}$Kr with ratios of 41.6(8)\% and 58.4(8)\%, respectively. A half-life of $t_{1/2}=2157^{+53}_{-49}$ ms has been measured for the $J^π=9^+$ isomer from $γ$-ray time decay analysis. Based on this result, we provide a new value of the half-life for the $J^π=0^+$ ground state of $^{70}$Br, $t_{1/2}=78.42\pm0.51$ ms, which is slightly more precise, and in excellent agreement, with the best measurement reported hitherto in the literature. For this decay, we provide the first estimate of the total branching fraction decaying through the $2^+_1$ state in the daughter nucleus $^{70}$Se, $R(2^+_1)=1.3\pm1.1\%$. We also report four new low-intensity $γ$-ray transitions at 661, 1103, 1561, and 1749 keV following the $β$ decay of the $J^π=9^+$ isomer. Based on their coincidence relationships, we tentatively propose two new excited states at 3945 and 4752 keV in $^{70}$Se with most probable spins and parities of $J^π=(6^+)$ and $(8^+)$, respectively. The observed structure is interpreted with the help of shell-model calculations, which predict a complex interplay between oblate and prolate configurations at low excitation energies.
△ Less
Submitted 25 April, 2017;
originally announced April 2017.
-
Model Predictive Control for Distributed Microgrid Battery Energy Storage Systems
Authors:
Thomas Morstyn,
Branislav Hredzak,
Ricardo P. Aguilera,
Vassilios G. Agelidis
Abstract:
This paper proposes a new convex model predictive control strategy for dynamic optimal power flow between battery energy storage systems distributed in an AC microgrid. The proposed control strategy uses a new problem formulation, based on a linear d-q reference frame voltage-current model and linearised power flow approximations. This allows the optimal power flows to be solved as a convex optimi…
▽ More
This paper proposes a new convex model predictive control strategy for dynamic optimal power flow between battery energy storage systems distributed in an AC microgrid. The proposed control strategy uses a new problem formulation, based on a linear d-q reference frame voltage-current model and linearised power flow approximations. This allows the optimal power flows to be solved as a convex optimisation problem, for which fast and robust solvers exist. The proposed method does not assume real and reactive power flows are decoupled, allowing line losses, voltage constraints and converter current constraints to be addressed. In addition, non-linear variations in the charge and discharge efficiencies of lithium ion batteries are analysed and included in the control strategy. Real-time digital simulations were carried out for an islanded microgrid based on the IEEE 13 bus prototypical feeder, with distributed battery energy storage systems and intermittent photovoltaic generation. It is shown that the proposed control strategy approaches the performance of a strategy based on non-convex optimisation, while reducing the required computation time by a factor of 1000, making it suitable for a real-time model predictive control implementation.
△ Less
Submitted 15 February, 2017;
originally announced February 2017.
-
A Topological Completeness Theorem for Transfinite Provability Logic
Authors:
Juan P. Aguilera
Abstract:
We prove a topological completeness theorem for the modal logic GLP containing operators $\langleλ\rangle$ for $λ\in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that, given a scattered space $X$ of large-enough rank, any sentence $φ$ consistent with GLP can be satisfied in a polytopological space based on the finitely many Icard topologi…
▽ More
We prove a topological completeness theorem for the modal logic GLP containing operators $\langleλ\rangle$ for $λ\in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that, given a scattered space $X$ of large-enough rank, any sentence $φ$ consistent with GLP can be satisfied in a polytopological space based on the finitely many Icard topologies over $X$ that correspond to the finitely many modalities appearing in $φ$.
△ Less
Submitted 6 May, 2019; v1 submitted 10 September, 2016;
originally announced September 2016.
-
Unsound Inferences Make Proofs Shorter
Authors:
Juan P. Aguilera,
Matthias Baaz
Abstract:
We give examples of calculi that extend Gentzen's sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are non-elementarily shorter than LK-proofs.
We give examples of calculi that extend Gentzen's sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are non-elementarily shorter than LK-proofs.
△ Less
Submitted 6 May, 2019; v1 submitted 27 August, 2016;
originally announced August 2016.
-
Production of highly-polarized positrons using polarized electrons at MeV energies
Authors:
D. Abbott,
P. Adderley,
A. Adeyemi,
P. Aguilera,
M. Ali,
H. Areti,
M. Baylac,
J. Benesch,
G. Bosson,
B. Cade,
A. Camsonne,
L. S. Cardman,
J. Clark,
P. Cole,
S. Covert,
C. Cuevas,
O. Dadoun,
D. Dale,
H. Dong,
J. Dumas,
E. Fanchini,
T. Forest,
E. Forman,
A. Freyberger,
E. Froidefond
, et al. (40 additional authors not shown)
Abstract:
The Polarized Electrons for Polarized Positrons experiment at the injector of the Continuous Electron Beam Accelerator Facility has demonstrated for the first time the efficient transfer of polarization from electrons to positrons produced by the polarized bremsstrahlung radiation induced by a polarized electron beam in a high-$Z$ target. Positron polarization up to 82\% have been measured for an…
▽ More
The Polarized Electrons for Polarized Positrons experiment at the injector of the Continuous Electron Beam Accelerator Facility has demonstrated for the first time the efficient transfer of polarization from electrons to positrons produced by the polarized bremsstrahlung radiation induced by a polarized electron beam in a high-$Z$ target. Positron polarization up to 82\% have been measured for an initial electron beam momentum of 8.19~MeV/$c$, limited only by the electron beam polarization. This technique extends polarized positron capabilities from GeV to MeV electron beams, and opens access to polarized positron beam physics to a wide community.
△ Less
Submitted 28 June, 2016;
originally announced June 2016.
-
New neutron-deficient isotopes from $^{78}$Kr fragmentation
Authors:
B. Blank,
T. Goigoux,
P. Ascher,
M. Gerbaux,
J. Giovinazzo,
S. Grevy,
T. Kurtukian Nieto,
C. Magron,
J. Agramunt,
A. Algora,
V. Guadilla,
A. Montaner-Piza,
A. I. Morales,
S. E. A. Orrigo,
B. Rubio,
D. S. Ahn,
P. Doornenbal,
N. Fukuda,
N. Inabe,
G. Kiss,
T. Kubo,
S. Kubono,
S. Nishimura,
V. H. Phong,
H. Sakurai
, et al. (27 additional authors not shown)
Abstract:
In an experiment with the BigRIPS separator at the RIKEN Nishina Center, the fragmentation of a $^{78}$Kr beam allowed the observation of new neutron-deficient isotopes at the proton drip-line. Clean identification spectra could be produced and $^{63}$Se, $^{67}$Kr, and $^{68}$Kr were identified for the first time. In addition, $^{59}$Ge was also observed. Three of these isotopes, $^{59}$Ge,…
▽ More
In an experiment with the BigRIPS separator at the RIKEN Nishina Center, the fragmentation of a $^{78}$Kr beam allowed the observation of new neutron-deficient isotopes at the proton drip-line. Clean identification spectra could be produced and $^{63}$Se, $^{67}$Kr, and $^{68}$Kr were identified for the first time. In addition, $^{59}$Ge was also observed. Three of these isotopes, $^{59}$Ge, $^{63}$Se, and $^{67}$Kr, are potential candidates for ground-state two-proton radioactivity. In addition, the isotopes $^{58}$Ge, $^{62}$Se, and $^{66}$Kr were also sought but without success. The present experiment also allowed the determination of production cross sections for some of the most exotic isotopes. These measurements confirm the trend already observed that the empirical parameterization of fragmentation cross sections, EPAX, significantly overestimates experimental cross sections in this mass region.
△ Less
Submitted 19 May, 2016;
originally announced May 2016.
-
Strong Completeness of Provability Logic for Ordinal Spaces
Authors:
Juan P. Aguilera,
David Fernández-Duque
Abstract:
Abashidze and Blass independently proved that the modal logic $\sf{GL}$ is complete for its topological interpretation over any ordinal greater than or equal to $ω^ω$ equipped with the interval topology. Icard later introduced a family of topologies $\mathcal I_λ$ for $λ< ω$, with the purpose of providing semantics for Japaridze's polymodal logic $\sf{GLP}$ $_ω$. Icard's construction was later ext…
▽ More
Abashidze and Blass independently proved that the modal logic $\sf{GL}$ is complete for its topological interpretation over any ordinal greater than or equal to $ω^ω$ equipped with the interval topology. Icard later introduced a family of topologies $\mathcal I_λ$ for $λ< ω$, with the purpose of providing semantics for Japaridze's polymodal logic $\sf{GLP}$ $_ω$. Icard's construction was later extended by Joosten and the second author to arbitrary ordinals $λ\geq ω$.
We further generalize Icard topologies in this article. Given a scattered space $\mathfrak X = (X, τ)$ and an ordinal $λ$, we define a topology $τ_{+λ}$ in such a way that $τ_{+0}$ is the original topology $τ$ and $τ_{+λ}$ coincides with $\mathcal I_λ$ when $\mathfrak X$ is an ordinal endowed with the left topology.
We then prove that, given any scattered space $\mathfrak X$ and any ordinal $λ>0$ such that the rank of $(X, τ)$ is large enough, $\sf{GL}$ is strongly complete for $τ_{+λ}$. One obtains the original Abashidze-Blass theorem as a consequence of the special case where $\mathfrak X=ω^ω$ and $λ=1$.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
Probing the Repulsive Core of the Nucleon-Nucleon Interaction via the 4He(e,e'pN) Triple-Coincidence Reaction
Authors:
I. Korover N. Muangma,
O. Hen,
R. Shneor,
V. Sulkosky,
A. Kelleher,
S. Gilad,
D. W. Higinbotham,
E. Piasetzky J. Watson,
S. Wood,
Abdurahim Rakhman,
P. Aguilera,
Z. Ahmed,
H. Albataineh,
K. Allada,
B. Anderson,
D. Anez,
K. Aniol,
J. Annand,
W. Armstrong,
J. Arrington,
T. Averett,
T. Badman,
H. Baghdasaryan,
X. Bai,
A. Beck
, et al. (93 additional authors not shown)
Abstract:
We studied simultaneously the 4He(e,e'p), 4He(e,e'pp), and 4He(e,e'pn) reactions at Q^2=2 [GeV/c]2 and x_B>1, for a (e,e'p) missing-momentum range of 400 to 830 MeV/c. The knocked-out proton was detected in coincidence with a proton or neutron recoiling almost back to back to the missing momentum, leaving the residual A=2 system at low excitation energy. These data were used to identify two-nucleo…
▽ More
We studied simultaneously the 4He(e,e'p), 4He(e,e'pp), and 4He(e,e'pn) reactions at Q^2=2 [GeV/c]2 and x_B>1, for a (e,e'p) missing-momentum range of 400 to 830 MeV/c. The knocked-out proton was detected in coincidence with a proton or neutron recoiling almost back to back to the missing momentum, leaving the residual A=2 system at low excitation energy. These data were used to identify two-nucleon short-range correlated pairs and to deduce their isospin structure as a function of missing momentum in a region where the nucleon-nucleon force is expected to change from predominantly tensor to repulsive. Neutron-proton pairs dominate the high-momentum tail of the nucleon momentum distributions, but their abundance is reduced as the nucleon momentum increases beyond ~500 MeV/c. The extracted fraction of proton-proton pairs is small and almost independent of the missing momentum in the range we studied. Our data are compared with ab-initio calculations of two-nucleon momentum distributions in 4He.
△ Less
Submitted 11 July, 2014; v1 submitted 23 January, 2014;
originally announced January 2014.