Traps characterize home states in free choice systems

AbstractFree choice nets are a subclass of Petri nets allowing to model concurrency and nondeterministic choice, but with the restriction that choices cannot be influenced externally. Home states are ground markings which can be reached from any other reachable marking of a system. A trap is a structurally defined part of a net with the property that once it is marked (that is, carries at least one token), it will remain remarked in any successor marking.The main result of this paper characterizes the home states of a live and bounded free choice system by the property that all traps are marked. This characterization leads to a polynomial-time algorithm for deciding the home state property. Other consequences include the proof that executing all parts of a net at least once necessarily leads to a home state; this has been a long standing conjecture

Versatile ytterbium ion trap experiment for operation of scalable ion-trap chips with motional heating and transition-frequency measurements

We present the design and operation of an ytterbium ion trap experiment with a setup offering versatile optical access and 90 electrical interconnects that can host advanced surface and multilayer ion trap chips mounted on chip carriers. We operate a macroscopic ion trap compatible with this chip carrier design and characterize its performance, demonstrating secular frequencies >1 MHz, and trap and cool nearly all of the stable isotopes, including 171Yb+ ions, as well as ion crystals. For this particular trap we measure the motional heating rate 〈ṅ〉 and observe an 〈ṅ〉∝1/ω2 behavior for different secular frequencies ω. We also determine a spectral noise density SE(1 MHz)=3.6(9)×10-11 V2 m-2 Hz-1 at an ion electrode spacing of 310(10) μm. We describe the experimental setup for trapping and cooling Yb+ ions and provide frequency measurements of the 2S1/2↔2P1/2 and 2D3/2↔3D[3/2]1/2 transitions for the stable 170Yb+, 171Yb+, 172Yb+, 174Yb+, and 176Yb+ isotopes which are more precise than previously published work