Showing 1–25 of 25 results for author: Boutin, D

Merlin: A Vision Language Foundation Model for 3D Computed Tomography

Authors: Louis Blankemeier, Joseph Paul Cohen, Ashwin Kumar, Dave Van Veen, Syed Jamal Safdar Gardezi, Magdalini Paschali, Zhihong Chen, Jean-Benoit Delbrouck, Eduardo Reis, Cesar Truyts, Christian Bluethgen, Malte Engmann Kjeldskov Jensen, Sophie Ostmeier, Maya Varma, Jeya Maria Jose Valanarasu, Zhongnan Fang, Zepeng Huo, Zaid Nabulsi, Diego Ardila, Wei-Hung Weng, Edson Amaro Junior, Neera Ahuja, Jason Fries, Nigam H. Shah, Andrew Johnston , et al. (6 additional authors not shown)

Abstract: Over 85 million computed tomography (CT) scans are performed annually in the US, of which approximately one quarter focus on the abdomen. Given the current radiologist shortage, there is a large impetus to use artificial intelligence to alleviate the burden of interpreting these complex imaging studies. Prior state-of-the-art approaches for automated medical image interpretation leverage vision la… ▽ More Over 85 million computed tomography (CT) scans are performed annually in the US, of which approximately one quarter focus on the abdomen. Given the current radiologist shortage, there is a large impetus to use artificial intelligence to alleviate the burden of interpreting these complex imaging studies. Prior state-of-the-art approaches for automated medical image interpretation leverage vision language models (VLMs). However, current medical VLMs are generally limited to 2D images and short reports, and do not leverage electronic health record (EHR) data for supervision. We introduce Merlin - a 3D VLM that we train using paired CT scans (6+ million images from 15,331 CTs), EHR diagnosis codes (1.8+ million codes), and radiology reports (6+ million tokens). We evaluate Merlin on 6 task types and 752 individual tasks. The non-adapted (off-the-shelf) tasks include zero-shot findings classification (31 findings), phenotype classification (692 phenotypes), and zero-shot cross-modal retrieval (image to findings and image to impressions), while model adapted tasks include 5-year disease prediction (6 diseases), radiology report generation, and 3D semantic segmentation (20 organs). We perform internal validation on a test set of 5,137 CTs, and external validation on 7,000 clinical CTs and on two public CT datasets (VerSe, TotalSegmentator). Beyond these clinically-relevant evaluations, we assess the efficacy of various network architectures and training strategies to depict that Merlin has favorable performance to existing task-specific baselines. We derive data scaling laws to empirically assess training data needs for requisite downstream task performance. Furthermore, unlike conventional VLMs that require hundreds of GPUs for training, we perform all training on a single GPU. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 18 pages, 7 figures

Geochromatic Number when Crossings are Independent

Authors: Debra Boutin, Alice Dean

Abstract: A geometric graph, $\overline{G}$, is a graph drawn in the plane, with straight line edges and vertices in general position. A geometric homomorphism between two geometric graphs $\overline{G}$, $\overline{H}$ is a vertex map $f:\overline{G}\to\overline{H}$ that preserves vertex adjacency and edge crossings. The geochromatic number of $\overline{G}$, denoted $X(\overline{G})$, is the smallest inte… ▽ More A geometric graph, $\overline{G}$, is a graph drawn in the plane, with straight line edges and vertices in general position. A geometric homomorphism between two geometric graphs $\overline{G}$, $\overline{H}$ is a vertex map $f:\overline{G}\to\overline{H}$ that preserves vertex adjacency and edge crossings. The geochromatic number of $\overline{G}$, denoted $X(\overline{G})$, is the smallest integer $n$ so that there is a geometric homomorphism from $\overline{G}$ to some geometric realization of $K_n$. Recall that the chromatic number of an abstract graph $G$, denoted $χ(G)$, is the smallest integer $n$ for which there is a graph homomorphism from $G$ to $K_n$. It is immediately clear that $χ(G)\leq X(\overline{G})$. This paper establishes some upper bounds on $X(\overline{G})$ in terms of $χ(G)$. For instance, if all crossings are at distance at least 1 from each other, then $X(\overline{G})\leq 3χ(G)$. However, there are more precise results. If all crossing are at distance at least 2, then $X(\overline{G})\leq χ(G)+2$. If all crossings are at distance at least 1, and there is a graph homomorphism $f: G \to K_n$ that maps no pair of edges that cross in $\overline{G}$ to the same edge in $K_n$, then $X(\overline{G})\leq 2n$. Finally, if $χ(G)\in \{2,3\}$ and all crossings are at distance at least 1, then $X(\overline{G})\leq 2χ(G)$. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Comp2Comp: Open-Source Body Composition Assessment on Computed Tomography

Authors: Louis Blankemeier, Arjun Desai, Juan Manuel Zambrano Chaves, Andrew Wentland, Sally Yao, Eduardo Reis, Malte Jensen, Bhanushree Bahl, Khushboo Arora, Bhavik N. Patel, Leon Lenchik, Marc Willis, Robert D. Boutin, Akshay S. Chaudhari

Abstract: Computed tomography (CT) is routinely used in clinical practice to evaluate a wide variety of medical conditions. While CT scans provide diagnoses, they also offer the ability to extract quantitative body composition metrics to analyze tissue volume and quality. Extracting quantitative body composition measures manually from CT scans is a cumbersome and time-consuming task. Proprietary software ha… ▽ More Computed tomography (CT) is routinely used in clinical practice to evaluate a wide variety of medical conditions. While CT scans provide diagnoses, they also offer the ability to extract quantitative body composition metrics to analyze tissue volume and quality. Extracting quantitative body composition measures manually from CT scans is a cumbersome and time-consuming task. Proprietary software has been developed recently to automate this process, but the closed-source nature impedes widespread use. There is a growing need for fully automated body composition software that is more accessible and easier to use, especially for clinicians and researchers who are not experts in medical image processing. To this end, we have built Comp2Comp, an open-source Python package for rapid and automated body composition analysis of CT scans. This package offers models, post-processing heuristics, body composition metrics, automated batching, and polychromatic visualizations. Comp2Comp currently computes body composition measures for bone, skeletal muscle, visceral adipose tissue, and subcutaneous adipose tissue on CT scans of the abdomen. We have created two pipelines for this purpose. The first pipeline computes vertebral measures, as well as muscle and adipose tissue measures, at the T12 - L5 vertebral levels from abdominal CT scans. The second pipeline computes muscle and adipose tissue measures on user-specified 2D axial slices. In this guide, we discuss the architecture of the Comp2Comp pipelines, provide usage instructions, and report internal and external validation results to measure the quality of segmentations and body composition measures. Comp2Comp can be found at https://github.com/StanfordMIMI/Comp2Comp. △ Less

Submitted 13 February, 2023; originally announced February 2023.

Scale-Agnostic Super-Resolution in MRI using Feature-Based Coordinate Networks

Authors: Dave Van Veen, Rogier van der Sluijs, Batu Ozturkler, Arjun Desai, Christian Bluethgen, Robert D. Boutin, Marc H. Willis, Gordon Wetzstein, David Lindell, Shreyas Vasanawala, John Pauly, Akshay S. Chaudhari

Abstract: We propose using a coordinate network decoder for the task of super-resolution in MRI. The continuous signal representation of coordinate networks enables this approach to be scale-agnostic, i.e. one can train over a continuous range of scales and subsequently query at arbitrary resolutions. Due to the difficulty of performing super-resolution on inherently noisy data, we analyze network behavior… ▽ More We propose using a coordinate network decoder for the task of super-resolution in MRI. The continuous signal representation of coordinate networks enables this approach to be scale-agnostic, i.e. one can train over a continuous range of scales and subsequently query at arbitrary resolutions. Due to the difficulty of performing super-resolution on inherently noisy data, we analyze network behavior under multiple denoising strategies. Lastly we compare this method to a standard convolutional decoder using both quantitative metrics and a radiologist study implemented in Voxel, our newly developed tool for web-based evaluation of medical images. △ Less

Submitted 17 October, 2022; v1 submitted 16 October, 2022; originally announced October 2022.

Journal ref: Medical Imaging with Deep Learning. 2022

Symmetry Parameters of Various Hypercube Families

Authors: Debra Boutin, Sally Cockburn, Lauren Keough, Sarah Loeb, Puck Rombach

Abstract: In this paper we study the symmetry parameters determining number, distinguishing number, and cost of 2-distinguishing, for some variations on hypercubes, namely Hamming graphs, powers of hypercubes, folded hypercubes, enhanced hypercubes, augmented hypercubes and locally twisted hypercubes. In this paper we study the symmetry parameters determining number, distinguishing number, and cost of 2-distinguishing, for some variations on hypercubes, namely Hamming graphs, powers of hypercubes, folded hypercubes, enhanced hypercubes, augmented hypercubes and locally twisted hypercubes. △ Less

Submitted 8 October, 2021; originally announced October 2021.

MSC Class: 05C15; 05C25; 05C69

Paint Cost and the Frugal Distinguishing Number

Authors: Debra Boutin

Abstract: You are handed a graph with vertices in a neutral color and asked to color a subset of vertices with expensive paints in $d$ colors in such a way that only the trivial symmetry preserves the color classes. Your goal is to minimize the number of vertices needing this expensive paint. This paper address the issues surrounding your choices. In particular, a graph is said to be $d$-distinguishable if… ▽ More You are handed a graph with vertices in a neutral color and asked to color a subset of vertices with expensive paints in $d$ colors in such a way that only the trivial symmetry preserves the color classes. Your goal is to minimize the number of vertices needing this expensive paint. This paper address the issues surrounding your choices. In particular, a graph is said to be $d$-distinguishable if there exists a coloring with $d$ colors so that only the trivial automorphism preserves the color classes. The distinguishing number of $G$, denoted ${\rm Dist}(G)$, is the smallest $d$ for which $G$ is $d$-distinguishable. We define the -paint cost of $d$-distinguishing, denoted $ρ^d(G)$, to be the minimum number of vertices that need to be painted to $d$-distinguish $G$. This cost varies with $d$. The maximum paint cost for $G$ is called the upper paint cost, denoted $ρ^u(G)$, and occurs when $d={\rm Dist}(G)$; the minimum paint cost is called the lower paint cost, denoted $ρ^\ell(G)$. Further, we define the smallest $d$ for which the paint cost is $ρ^\ell(G)$, to be the frugal distinguishing number, ${\rm Fdist}(G)$. In this paper we formally define $ρ^d(G)$, $ρ^u(G)$, $ρ^\ell(G)$, and ${\rm Fdist}(G)$. We also show that $ρ^u(G)$ and $ρ^\ell(G)$, as well as ${\rm Fdist}(G)$ and ${\rm Dist}(G)$, can be arbitrarily large multiples of each other. Lastly, we find these parameters for the book graph $B_{m,n}$, summarized as follows. For $n\geq 2$ and $m\geq 4$, we show $\bullet$ $ρ^\ell(B_{m,n}) = n-1;$ $\bullet$ $ρ^u(B_{m,n}) \geq (m-2) \left( n-k^{m-3} \right) +1$, where $k={\rm Dist}(B_{m,n});$ $\bullet$ ${\rm Fdist}(B_{m,n}) = 2+\left\lfloor \frac{n-1}{m-2} \right\rfloor.$ △ Less

Submitted 10 March, 2021; originally announced March 2021.

Symmetry Parameters for Mycielskian Graphs

Authors: Debra Boutin, Sally Cockburn, Lauren Keough, Sarah Loeb, K. E. Perry, Puck Rombach

Abstract: The Mycielskian construction, denoted $μ(G)$, takes a finite simple graph $G$ to a larger graph with of the same clique number but larger chromatic number. The generalized Mycielskian construction, denoted $μ_t(G)$, takes $G$ to a larger graph with the same chromatic number but with larger odd girth. In this chapter we look at symmetry parameters of $μ(G)$ and $μ_t(G)$ in terms of the same paramet… ▽ More The Mycielskian construction, denoted $μ(G)$, takes a finite simple graph $G$ to a larger graph with of the same clique number but larger chromatic number. The generalized Mycielskian construction, denoted $μ_t(G)$, takes $G$ to a larger graph with the same chromatic number but with larger odd girth. In this chapter we look at symmetry parameters of $μ(G)$ and $μ_t(G)$ in terms of the same parameters of $G$. These symmetry parameters include determining number, distinguishing number, and cost of distinguishing. △ Less

Submitted 9 March, 2021; originally announced March 2021.

Comments: arXiv admin note: text overlap with arXiv:2007.15284

The Cost of 2-Distinguishing Hypercubes

Authors: Debra Boutin

Abstract: A graph $G$ is said to be {\it $2$-distinguishable} if there is a labeling of the vertices with two labels so that only the trivial automorphism preserves the labels. The minimum size of a label class, over all 2-distinguishing labelings, is called the {\it cost of $2$-distinguishing}, denoted by $ρ(G)$. For $n\geq 4$ the hypercubes $Q_n$ are 2-distinguishable, but the values for $ρ(Q_n)$ have bee… ▽ More A graph $G$ is said to be {\it $2$-distinguishable} if there is a labeling of the vertices with two labels so that only the trivial automorphism preserves the labels. The minimum size of a label class, over all 2-distinguishing labelings, is called the {\it cost of $2$-distinguishing}, denoted by $ρ(G)$. For $n\geq 4$ the hypercubes $Q_n$ are 2-distinguishable, but the values for $ρ(Q_n)$ have been elusive, with only bounds and partial results previously known. This paper settles the question. The main result can be summarized as: for $n\geq 4$, $ρ(Q_n) \in \{1+\lceil \log_2 n \rceil, 2 + \lceil \log_2 n\rceil\}$. Exact values are be found using a recursive relationship involving a new parameter $ν_m$, the smallest integer for which $ρ(Q_{ν_m})=m$. The main result is\begin{gather*} 4\leq n \leq 12\Longrightarrow ρ(Q_n)=5, \text{ and } 5\leq m \leq 11 \Longrightarrow ν_m=4; \\ \text{ for } m\geq 6, ρ(Q_n) = m \iff 2^{m-2} - ν_{m-1} + 1 \leq n \leq 2^{m-1}-ν_m; \\ \text{ for } n\geq 5, ν_m = n \iff 2^{n-1} - ρ(Q_{n-1}) + 1\leq m \leq 2^{n}-ρ(Q_n).\end{gather*} △ Less

Submitted 31 July, 2020; originally announced July 2020.

MSC Class: 05C15; 05C25; 05C69

Determining Number and Cost of Generalized Mycielskian Graphs

Authors: Debra Boutin, Sally Cockburn, Lauren Keough, Sarah Loeb, K. E. Perry, Puck Rombach

Abstract: A set $S$ of vertices is a determining set for a graph $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called its determining number, $Det(G)$. A graph $G$ is said to be $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smal… ▽ More A set $S$ of vertices is a determining set for a graph $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called its determining number, $Det(G)$. A graph $G$ is said to be $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $Dist(G)$. If $Dist(G) = 2$, the cost of 2-distinguishing, $ρ(G)$, is the size of a smallest color class over all 2-distinguishing colorings of $G$. The Mycielskian, $μ(G)$, of a graph $G$ is constructed by adding a shadow master vertex $w$, and for each vertex $v_i$ of $G$ adding a shadow vertex $u_i$ with edges so that the neighborhood of $u_i$ in $μ(G)$ is the same as the neighborhood of $v_i$ in $G$ with the addition of $w$. That is, $N(u_i)=N_G(v_i)\cup\{w\}$. The generalized Mycielskian $μ^{(t)}(G)$ of a graph $G$ is a Mycielskian graph with $t$ layers of shadow vertices, each with edges to layers above and below, and $w$ only adjacent to the top layer of shadow vertices. A graph is twin-free if it has no pair of vertices with the same set of neighbors. This paper examines the determining number and, when relevant, the cost of 2-distinguishing for Mycielskians and generalized Mycielskians of simple graphs with no isolated vertices. In particular, if $G \neq K_2$ is twin-free with no isolated vertices, then $Det(μ^{(t)}(G)) = Det(G)$. Further, if $Det(G) = k \geq 2$ and $t \ge k-1$, then $Dist(μ^{(t)}(G))=2$, and $Det(μ^{(t)}(G)) = ρ(μ^{(t)}(G))= k$. For $G$ with twins, we develop a framework using quotient graphs with respect to equivalence classes of twin vertices to give bounds on the determining number of Mycielskians. Moreover, we identify classes of graphs with twins for which $Det(μ^{(t)}(G)) = (t{+}1) Det(G)$. △ Less

Submitted 8 March, 2021; v1 submitted 30 July, 2020; originally announced July 2020.

MSC Class: 05C15; 05C25; 05C69; 05C75

FCC-hh Experimental Insertion Region Design

Authors: Jose L. Abelleira, Robert B. Appleby, Sergey Arsenyev, Javier Barranco, Michael Benedikt, Maria Ilaria Besana, Oscar Blanco Garcia, Manuela Boscolo, David Boutin, Xavier Buffat, Helmut Burkhardt, Francesco Cerutti, Antoine Chance, Francesco Collamati, Emilia Cruz-Alaniz, Barbara Dalena, Michael Hofer, Barbara L. Humann, Angelo Infantino, Jacqueline Keintzel, Andy Langner, Marian Luckhof, Roman Martin, Tatiana Pieloni, Haroon Rafique , et al. (7 additional authors not shown)

Abstract: The Future Circular Collider study is exploring possible designs of circular colliders for the post-LHC era, as recommended by the European Strategy Group for High Energy Physics. One such option is FCC-hh, a proton-proton collider with a centre-of-mass energy of 100 TeV. The experimental insertion regions are key areas defining the performance of the collider. This paper presents the first insert… ▽ More The Future Circular Collider study is exploring possible designs of circular colliders for the post-LHC era, as recommended by the European Strategy Group for High Energy Physics. One such option is FCC-hh, a proton-proton collider with a centre-of-mass energy of 100 TeV. The experimental insertion regions are key areas defining the performance of the collider. This paper presents the first insertion region designs with a complete assessment of the main challenges, as collision debris with two orders of magnitude larger power than current colliders, beam-beam interactions in long insertions, dynamic aperture for optics with peak $β$ functions one order of magnitude above current colliders, photon background from synchrotron radiation and cross talk between the insertion regions. An alternative design avoiding the use of crab cavities with a small impact on performance is also presented. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Comments: 74 pages

Distinguishing Generalized Mycielskian Graphs

Authors: Debra Boutin, Sally Cockburn, Lauren Keough, Sarah Loeb, K. E. Perry, Puck Rombach

Abstract: A graph $G$ is $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $\operatorname{Dist}(G)$. The Mycielskian $μ(G)$ of a graph $G$ is constructed by adding a shadow vertex $u_i$ for each vertex $v_i$ of $G$ and one additional vertex $w$ and adding edges so t… ▽ More A graph $G$ is $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $\operatorname{Dist}(G)$. The Mycielskian $μ(G)$ of a graph $G$ is constructed by adding a shadow vertex $u_i$ for each vertex $v_i$ of $G$ and one additional vertex $w$ and adding edges so that $N(u_i)~=~N_G(v_i)~\cup~\{w\}$. The generalized Mycielskian $μ_t(G)$ is a Mycielskian graph with $t$ layers of shadow vertices, each with edges to layers above and below. This paper examines the distinguishing number of the traditional and generalized Mycielskian graphs. Notably, if $G~\neq ~K_1,~K_2$ and the number of isolated vertices in $μ_t(G)$ is at most $\operatorname{Dist}(G)$, then $\operatorname{Dist}(μ_t(G)) \le \operatorname{Dist}(G)$. This result proves and exceeds a conjecture of Alikhani and Soltani. △ Less

Submitted 28 January, 2021; v1 submitted 5 June, 2020; originally announced June 2020.

MSC Class: 05C15; 05C25; 05C69; 05C75

Distinguishing Orthogonality Graphs

Authors: Debra Boutin, Sally Cockburn

Abstract: A graph $G$ is said to be $d$-distinguishable if there is a labeling of the vertices with $d$ labels so that only the trivial automorphism preserves the labels. The smallest such $d$ is the distinguishing number, Dist($G$). A subset of vertices $S$ is a determining set for $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ i… ▽ More A graph $G$ is said to be $d$-distinguishable if there is a labeling of the vertices with $d$ labels so that only the trivial automorphism preserves the labels. The smallest such $d$ is the distinguishing number, Dist($G$). A subset of vertices $S$ is a determining set for $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called the determining number, Det($G$). The orthogonality graph $Ω_{2k}$ has vertices which are bitstrings of length $2k$ with an edge between two vertices if they differ in precisely $k$ bits. This paper shows that Det($Ω_{2k}$) $= 2^{2k-1}$ and that if $\binom{m}{2} \geq 2k$ then $2<$ Dist($Ω_{2k}$) $\leq m$. △ Less

Submitted 18 December, 2020; v1 submitted 31 December, 2019; originally announced January 2020.

Comments: 17 pages, 5 figures

MSC Class: 05C15; 05E18

Journal ref: Journal of Graph Theory, Vol. 93(3), (2021): pp. 384-404

New Test of Modulated Electron Capture Decay of Hydrogen-Like $^{142}$Pm Ions: Precision Measurement of Purely Exponential Decay

Authors: F. C. Ozturk, B. Akkus, D. Atanasov, H. Beyer, F. Bosch, D. Boutin, C. Brandau, P. Bühler, R. B. Cakirli, R. J. Chen, W. D. Chen, X. C. Chen, I. Dillmann, C. Dimopoulou, W. Enders, H. G. Essel, T. Faestermann, O. Forstner, B. S. Gao, H. Geissel, R. Gernhäuser, R. E. Grisenti, A. Gumberidze, S. Hagmann, T. Heftrich , et al. (70 additional authors not shown)

Abstract: An experiment addressing electron capture (EC) decay of hydrogen-like $^{142}$Pm$^{60+}$ ions has been conducted at the experimental storage ring (ESR) at GSI. The decay appears to be purely exponential and no modulations were observed. Decay times for about 9000 individual EC decays have been measured by applying the single-ion decay spectroscopy method. Both visually and automatically analysed d… ▽ More An experiment addressing electron capture (EC) decay of hydrogen-like $^{142}$Pm$^{60+}$ ions has been conducted at the experimental storage ring (ESR) at GSI. The decay appears to be purely exponential and no modulations were observed. Decay times for about 9000 individual EC decays have been measured by applying the single-ion decay spectroscopy method. Both visually and automatically analysed data can be described by a single exponential decay with decay constants of 0.0126(7) s$^{-1}$ for automatic analysis and 0.0141(7) s$^{-1}$ for manual analysis. If a modulation superimposed on the exponential decay curve is assumed, the best fit gives a modulation amplitude of merely 0.019(15), which is compatible with zero and by 4.9 standard deviations smaller than in the original observation which had an amplitude of 0.23(4). △ Less

Submitted 9 August, 2019; v1 submitted 16 July, 2019; originally announced July 2019.

Journal ref: Physics Letters B 797 (2019) 134800

First Evaluation of Dynamic Aperture at Injection for FCC-hh

Authors: B. Dalena, D. Boutin, A. Chancé, B. Holzer, D. Schulte

Abstract: In the Hadron machine option, proposed in the context of the Future Circular Colliders (FCC) study, the dipole field quality is expected to play an important role, as in the LHC. A preliminary evaluation of the field quality of dipoles, based on the Nb$_{3}$Sn technology, has been provided by the magnet group. The effect of these field imperfections on the dynamic aperture, using the present latti… ▽ More In the Hadron machine option, proposed in the context of the Future Circular Colliders (FCC) study, the dipole field quality is expected to play an important role, as in the LHC. A preliminary evaluation of the field quality of dipoles, based on the Nb$_{3}$Sn technology, has been provided by the magnet group. The effect of these field imperfections on the dynamic aperture, using the present lattice design, is presented and first tolerances on the b$_3$ and b$_5$ multipole components are evaluated. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Direct mass measurements of Cd isotopes show strong shell gap at N=82

Authors: R. Knöbel, M. Diwisch, F. Bosch, D. Boutin, L. Chen, C. Dimopoulou, A. Dolinskii, B. Franczak, B. Franzke, H. Geissel, M. Hausmann, C. Kozhuharov, J. Kurcewicz, S. A. Litvinova, G. Martínez-Pinedo, M. Matoš, M. Mazzocco, G. Münzenberg, S. Nakajima, C. Nociforo, F. Nolden, T. Ohtsubo, A. Ozawa, Z. Patyk, W. R. Plaß , et al. (10 additional authors not shown)

Abstract: A $^{238}$U projectile beam was used to create cadmium isotopes via abrasion-fission at 410 MeV/u in a beryllium target at the entrance of the in-flight separator FRS at GSI. The fission fragments were separated with the FRS and injected into the isochronous storage ring ESR for mass measurements. The Isochronous Mass Spectrometry (IMS) was performed under two different experimental conditions, wi… ▽ More A $^{238}$U projectile beam was used to create cadmium isotopes via abrasion-fission at 410 MeV/u in a beryllium target at the entrance of the in-flight separator FRS at GSI. The fission fragments were separated with the FRS and injected into the isochronous storage ring ESR for mass measurements. The Isochronous Mass Spectrometry (IMS) was performed under two different experimental conditions, with and without B$ρ$-tagging at the dispersive central focal plane of the FRS. In the experiment with B$ρ$-tagging the magnetic rigidity of the injected fragments was determined by an accuracy of $2\times 10^{-4}$. A new method of data analysis, using a correlation matrix for the combined data set from both experiments, has provided mass values for 25 different isotopes for the first time. The high selectivity and sensitivity of the experiment and analysis has given access even to rare isotopes detected with a few atoms per week. In this letter we present for the $^{129,130,131}$Cd isotopes mass values directly measured for the first time. The Cd results clearly show a very pronounced shell effect at $N=82$ which is in agreement with the conclusion from $γ$-ray spectroscopy of $^{130}$Cd and confirms the assumptions of modern shell-model calculations. △ Less

Submitted 16 July, 2015; originally announced July 2015.

Comments: 7 pages, 5 figures, 3 tables

Identifying Codes on Directed De Bruijn Graphs

Authors: Debra Boutin, Victoria Horan Goliber, Mikko Pelto

Abstract: For a directed graph $G$, a $t$-identifying code is a subset $S\subseteq V(G)$ with the property that for each vertex $v\in V(G)$ the set of vertices of $S$ reachable from $v$ by a directed path of length at most $t$ is both non-empty and unique. A graph is called {\it $t$-identifiable} if there exists a $t$-identifying code. This paper shows that the de~Bruijn graph $\vec{\mathcal{B}}(d,n)$ is… ▽ More For a directed graph $G$, a $t$-identifying code is a subset $S\subseteq V(G)$ with the property that for each vertex $v\in V(G)$ the set of vertices of $S$ reachable from $v$ by a directed path of length at most $t$ is both non-empty and unique. A graph is called {\it $t$-identifiable} if there exists a $t$-identifying code. This paper shows that the de~Bruijn graph $\vec{\mathcal{B}}(d,n)$ is $t$-identifiable if and only if $n \geq 2t-1$. It is also shown that a $t$-identifying code for $t$-identifiable de~Bruijn graphs must contain at least $d^{n-1}(d-1)$ vertices, and constructions are given to show that this lower bound is achievable $n \geq 2t$. Further a (possibly) non-optimal construction is given when $n=2t-1$. Additionally, with respect to $\vec{\mathcal{B}}(d,n)$ we provide upper and lower bounds on the size of a minimum \textit{$t$-dominating set} (a subset with the property that every vertex is at distance at most $t$ from the subset), that the minimum size of a \textit{directed resolving set} (a subset with the property that every vertex of the graph can be distinguished by its directed distances to vertices of $S$) is $d^{n-1}(d-1)$, and that if $d>n$ the minimum size of a {\it determining set} (a subset $S$ with the property that the only automorphism that fixes $S$ pointwise is the trivial automorphism) is $\left\lceil \frac{d-1}{n}\right\rceil$. △ Less

Submitted 22 June, 2017; v1 submitted 18 December, 2014; originally announced December 2014.

Comments: 27 pages, 4 figures; Revised definitions, notation, and clarity in arguments. Added additional reference

MSC Class: 05C69 (primary); 94B25 (secondary)

High-resolution measurement of the time-modulated orbital electron capture and of the $β^+$ decay of hydrogen-like $^{142}$Pm$^{60+}$ ions

Authors: The Two-Body-Weak-Decays Collaboration, :, P. Kienle, F. Bosch, P. Bühler, T. Faestermann, Yu. A. Litvinov, M. S. Sanjari, D. B. Shubina, N. Winckler, D. Atanasov, H. Geissel, V. Ivanova, X. L. Yan, D. Boutin, C. Brandau, I. Dillmann, Ch. Dimopoulou, R. Hess, P. -M. Hillebrand, T. Izumikawa, R. Knöbel, J. Kurcewicz, N. Kuzminchuk, M. Lestinsky , et al. (24 additional authors not shown)

Abstract: The periodic time modulations, found recently in the two-body orbital electron-capture (EC) decay of both, hydrogen-like $^{140}$Pr$^{58+}$ and $^{142}$Pm$^{60+}$ ions, with periods near to 7s and amplitudes of about 20%, were re-investigated for the case of $^{142}$Pm$^{60+}$ by using a 245 MHz resonator cavity with a much improved sensitivity and time resolution. We observed that the exponential… ▽ More The periodic time modulations, found recently in the two-body orbital electron-capture (EC) decay of both, hydrogen-like $^{140}$Pr$^{58+}$ and $^{142}$Pm$^{60+}$ ions, with periods near to 7s and amplitudes of about 20%, were re-investigated for the case of $^{142}$Pm$^{60+}$ by using a 245 MHz resonator cavity with a much improved sensitivity and time resolution. We observed that the exponential EC decay is modulated with a period $T = 7.11(11)$s, in accordance with a modulation period $T = 7.12(11)$ s as obtained from simultaneous observations with a capacitive pick-up, employed also in the previous experiments. The modulation amplitudes amount to $a_R = 0.107(24)$ and $a_P = 0.134(27)$ for the 245 MHz resonator and the capacitive pick-up, respectively. These new results corroborate for both detectors {\it exactly} our previous findings of modulation periods near to 7s, though with {\it distinctly smaller} amplitudes. Also the three-body $β^+$ decays have been analyzed. For a supposed modulation period near to 7s we found an amplitude $a = 0.027(27)$, compatible with $a = 0$ and in agreement with the preliminary result $a = 0.030(30)$ of our previous experiment. These observations could point at weak interaction as origin of the observed 7s-modulation of the EC decay. Furthermore, the data suggest that interference terms occur in the two-body EC decay, although the neutrinos are not directly observed. △ Less

Submitted 27 September, 2013; originally announced September 2013.

Comments: In memoriam of Prof. Paul Kienle, 9 pages, 1 table, 5 figures Phys. Lett. B (2013) online

Direct observation of long-lived isomers in $^{212}$Bi

Authors: L. Chen, P. M. Walker, H. Geissel, Yu. A. Litvinov, K. Beckert, P. Beller, F. Bosch, D. Boutin, L. Caceres, J. J. Carroll, D. M. Cullen, I. J. Cullen, B. Franzke, J. Gerl, M. Górska, G. A. Jones, A. Kishada, R. Knöbel, C. Kozhuharov, J. Kurcewicz, S. A. Litvinov, Z. Liu, S. Mandal, F. Montes, G. Münzenberg , et al. (18 additional authors not shown)

Abstract: Long-lived isomers in 212Bi have been studied following 238U projectile fragmentation at 670 MeV per nucleon. The fragmentation products were injected as highly charged ions into the GSI storage ring, giving access to masses and half-lives. While the excitation energy of the first isomer of 212Bi was confirmed, the second isomer was observed at 1478(30) keV, in contrast to the previously accepted… ▽ More Long-lived isomers in 212Bi have been studied following 238U projectile fragmentation at 670 MeV per nucleon. The fragmentation products were injected as highly charged ions into the GSI storage ring, giving access to masses and half-lives. While the excitation energy of the first isomer of 212Bi was confirmed, the second isomer was observed at 1478(30) keV, in contrast to the previously accepted value of >1910 keV. It was also found to have an extended Lorentz-corrected in-ring halflife >30 min, compared to 7.0(3) min for the neutral atom. Both the energy and half-life differences can be understood as being due a substantial, though previously unrecognised, internal decay branch for neutral atoms. Earlier shell-model calculations are now found to give good agreement with the isomer excitation energy. Furthermore, these and new calculations predict the existence of states at slightly higher energy that could facilitate isomer de-excitation studies. △ Less

Submitted 3 June, 2013; originally announced June 2013.

Comments: published in PRL 110, 122502

Exploring the anomaly in the interaction cross section and matter radius of 23O

Authors: R. Kanungo, A. Prochazka, M. Uchida, W. Horiuchi, G. Hagen, T. Papenbrock, C. Nociforo, T. Aumann, D. Boutin, D. Cortina-Gil, B. Davids, M. Diakaki, F. Farinon, H. Geissel, R. Gernhauser, J. Gerl, R. Janik, Ø. Jensen, B. Jonson, B. Kindler, R. Knobel, R. Krucken, M. Lantz, H. Lenske, Y. Litvinov , et al. (15 additional authors not shown)

Abstract: New measurements of the interaction cross sections of 22,23O at 900A MeV performed at the GSI, Darmstadt are reported that address the unsolved puzzle of the large cross section previously observed for 23O. The matter radii for these oxygen isotopes extracted through a Glauber model analysis are in good agreement with the new predictions of the ab initio coupled-cluster theory reported here. They… ▽ More New measurements of the interaction cross sections of 22,23O at 900A MeV performed at the GSI, Darmstadt are reported that address the unsolved puzzle of the large cross section previously observed for 23O. The matter radii for these oxygen isotopes extracted through a Glauber model analysis are in good agreement with the new predictions of the ab initio coupled-cluster theory reported here. They are consistent with a 22O+neutron description of 23O as well. △ Less

Submitted 14 December, 2011; originally announced December 2011.

Comments: 4 pages, 3 figures

Journal ref: Phys. Rev. C 84, 061304(R) (2011)

Posets of Geometric Graphs

Authors: Debra L. Boutin, Sally Cockburn, Alice Dean, Andrei Margea

Abstract: A geometric graph G(bar) is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call G(bar) a geometric realization of the underlying abstract graph G. A geometric homomorphism is a vertex map that preserves adjacencies and crossings (but not necessarily non-adjacencies or non-crossings). This work uses geometric homomorphisms to introduce a partial order… ▽ More A geometric graph G(bar) is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call G(bar) a geometric realization of the underlying abstract graph G. A geometric homomorphism is a vertex map that preserves adjacencies and crossings (but not necessarily non-adjacencies or non-crossings). This work uses geometric homomorphisms to introduce a partial order on the set of isomorphism classes of geometric realizations of an abstract graph G. We say G(bar) precedes G(hat) if G(bar) and G(hat) are geometric realizations of G and there is a vertex-injective geometric homomorphism from G(bar) to G(hat). This paper develops tools to determine when two geometric realizations are comparable. Further, for 3 \leq n \leq 6, this paper provides the isomorphism classes of geometric realizations of P_n, C_n and K_n, as well as the Hasse diagrams of the geometric homomorphism posets of these graphs. The paper also provides the following results for general n: the poset of P_n and C_n has a unique minimal element and a unique maximal element; if k \leq n then the poset of P_k (resp., the poset of C_k) is a subposet of the poset for P_n (resp., C_n); and the poset for K_n contains a chain of length n-2. △ Less

Submitted 8 July, 2011; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: 42 pages, 25 figures; co-author added in replaced version

MSC Class: 05C62

Journal ref: Ars Mathematica Contemporanea 5 (2012) 265-284

Determining sets, resolving sets, and the exchange property

Authors: Debra Boutin

Abstract: A subset U of vertices of a graph G is called a determining set if every automorphism of G is uniquely determined by its action on the vertices of U. A subset W is called a resolving set if every vertex in G is uniquely determined by its distances to the vertices of W. Determining (resolving) sets are said to have the exchange property in G if whenever S and R are minimal determining (resolving)… ▽ More A subset U of vertices of a graph G is called a determining set if every automorphism of G is uniquely determined by its action on the vertices of U. A subset W is called a resolving set if every vertex in G is uniquely determined by its distances to the vertices of W. Determining (resolving) sets are said to have the exchange property in G if whenever S and R are minimal determining (resolving) sets for G and r\in R, then there exists s\in S so that S-\{s\}\cup \{r\} is a minimal determining (resolving) set. This work examines graph families in which these sets do, or do not, have the exchange property. This paper shows that neither determining sets nor resolving sets have the exchange property in all graphs, but that both have the exchange property in trees. It also gives an infinite graph family (n-wheels where n\geq 8) in which determining sets have the exchange property but resolving sets do not. Further, this paper provides necessary and sufficient conditions for determining sets to have the exchange property in an outerplanar graph. △ Less

Submitted 10 August, 2008; originally announced August 2008.

MSC Class: 05C25; 05C12

Comment on the paper "Search for oscillation of the electron-capture decay probability of $^{142}$Pm" at arXiv:0807.0649v1

Authors: Yu. A. Litvinov, F. Bosch, N. Winckler, D. Boutin, H. G. Essel, T. Faestermann, H. Geissel, S. Hess, P. Kienle, R. Knöbel, C. Kozhuharov, J. Kurcewicz, L. Maier, K. Beckert, C. Brandau, L. Chen, C. Dimopoulou, B. Fabian, A. Fragner, E. Haettner, M. Hausmann, S. A. Litvinov, M. Mazzocco, F. Montes, A. Musumarra , et al. (14 additional authors not shown)

Abstract: It is argued that orbital electron-capture decays of neutral $^{142}$Pm atoms implanted into the lattice of a solid (LBNL experiment) do not fulfil the constraints of true two-body beta decays, since momentum as well as energy of the final state are distributed among three objects, namely the electron neutrino, the recoiling daughter atom and the lattice phonons. To our understanding, this could… ▽ More It is argued that orbital electron-capture decays of neutral $^{142}$Pm atoms implanted into the lattice of a solid (LBNL experiment) do not fulfil the constraints of true two-body beta decays, since momentum as well as energy of the final state are distributed among three objects, namely the electron neutrino, the recoiling daughter atom and the lattice phonons. To our understanding, this could be a reason for the non-observation of a periodic time modulation in the number of electron-capture decays of implanted neutral $^{142}$Pm atoms. △ Less

Submitted 15 July, 2008; originally announced July 2008.

Comments: 2 p. comment on arXiv:0807.0649v1

Observation of Non-Exponential Orbital Electron Capture Decays of Hydrogen-Like $^{140}$Pr and $^{142}$Pm Ions

Authors: Yu. A. Litvinov, F. Bosch, N. Winckler, D. Boutin, H. G. Essel, T. Faestermann, H. Geissel, S. Hess, P. Kienle, R. Knöbel, C. Kozhuharov, J. Kurcewicz, L. Maier, K. Beckert, P. Beller, C. Brandau, L. Chen, C. Dimopoulou, B. Fabian, A. Fragner, E. Haettner, M. Hausmann, S. A. Litvinov, M. Mazzocco, F. Montes , et al. (15 additional authors not shown)

Abstract: We report on time-modulated two-body weak decays observed in the orbital electron capture of hydrogen-like $^{140}$Pr$^{59+}$ and $^{142}$Pm$^{60+}$ ions coasting in an ion storage ring. Using non-destructive single ion, time-resolved Schottky mass spectrometry we found that the expected exponential decay is modulated in time with a modulation period of about 7 seconds for both systems. Tentativ… ▽ More We report on time-modulated two-body weak decays observed in the orbital electron capture of hydrogen-like $^{140}$Pr$^{59+}$ and $^{142}$Pm$^{60+}$ ions coasting in an ion storage ring. Using non-destructive single ion, time-resolved Schottky mass spectrometry we found that the expected exponential decay is modulated in time with a modulation period of about 7 seconds for both systems. Tentatively this observation is attributed to the coherent superposition of finite mass eigenstates of the electron neutrinos from the weak decay into a two-body final state. △ Less

Submitted 14 January, 2008; originally announced January 2008.

Comments: 12 pages, 5 figures

Measurement of the $β^+$ and orbital electron-capture decay rates in fully-ionized, hydrogen-like, and helium-like $^{140}$Pr ions

Authors: Yu. A. Litvinov, F. Bosch, H. Geissel, J. Kurcewicz, Z. Patyk, N. Winckler, L. Batist, K. Beckert, D. Boutin, C. Brandau, L. Chen, C. Dimopoulou, B. Fabian, T. Faestermann, A. Fragner, L. Grigorenko, E. Haettner, S. Hess, P. Kienle, R. Knöbel, C. Kozhuharov, S. A. Litvinov, L. Maier, M. Mazzocco, F. Montes , et al. (17 additional authors not shown)

Abstract: We report on the first measurement of the $β^+$- and orbital electron capture decay rates of $^{140}$Pr nuclei with the most simple electron configurations: bare nuclei, hydrogen-like and helium-like ions. The measured electron capture decay constant of hydrogen-like $^{140}$Pr$^{58+}$ ions is about 50% larger than that of helium-like $^{140}$Pr$^{57+}$ ions. Moreover, $^{140}$Pr ions with one b… ▽ More We report on the first measurement of the $β^+$- and orbital electron capture decay rates of $^{140}$Pr nuclei with the most simple electron configurations: bare nuclei, hydrogen-like and helium-like ions. The measured electron capture decay constant of hydrogen-like $^{140}$Pr$^{58+}$ ions is about 50% larger than that of helium-like $^{140}$Pr$^{57+}$ ions. Moreover, $^{140}$Pr ions with one bound electron decay faster than neutral $^{140}$Pr$^{0+}$ atoms with 59 electrons. To explain this peculiar observation one has to take into account the conservation of the total angular momentum, since only particular spin orientations of the nucleus and of the captured electron can contribute to the allowed decay. △ Less

Submitted 23 November, 2007; originally announced November 2007.

Comments: 4 pages, 3 figures

Journal ref: Phys.Rev.Lett.99:262501,2007

New Mass and Lifetime Measurements of $^{152}$Sm Projectile Fragments with Time-Resolved Schottky Mass Spectrometry

Authors: Yu. A. Litvinov, F. Bosch, H. Geissel, H. Weick, K. Beckert, P. Beller, D. Boutin, C. Brandau, L. Chen, O. Klepper, R. Knöbel, C. Kozhuharov, J. Kurcewicz, S. A. Litvinov, M. Mazzocco, G. Münzenberg, C. Nociforo, F. Nolden, W. Plaß, C. Scheidenberger, M. Steck, B. Sun, M. Winkler

Abstract: The FRS-ESR facilities at GSI provide unique conditions for precision measurements with stored exotic nuclei over a large range in the chart of nuclides. In the present experiment the exotic nuclei were produced via fragmentation of $^{152}$Sm projectiles in a thick beryllium target at 500-600 MeV/u, separated in-flight with the fragment separator FRS, and injected into the storage-cooler ring E… ▽ More The FRS-ESR facilities at GSI provide unique conditions for precision measurements with stored exotic nuclei over a large range in the chart of nuclides. In the present experiment the exotic nuclei were produced via fragmentation of $^{152}$Sm projectiles in a thick beryllium target at 500-600 MeV/u, separated in-flight with the fragment separator FRS, and injected into the storage-cooler ring ESR. Mass and lifetime measurements have been performed with bare and few-electron ions. The experiment and first results will be presented in this contribution. △ Less

Submitted 15 September, 2005; originally announced September 2005.

Comments: Proceedings VL National Conference on Nuclear Physics, "Frontiers in physics of nucleus", St. Petersburg, Russia, 2005