Showing 1–29 of 29 results for author: Hanna, K

Approximate Gradient Coding for Privacy-Flexible Federated Learning with Non-IID Data

Authors: Okko Makkonen, Sampo Niemelä, Camilla Hollanti, Serge Kas Hanna

Abstract: This work focuses on the challenges of non-IID data and stragglers/dropouts in federated learning. We introduce and explore a privacy-flexible paradigm that models parts of the clients' local data as non-private, offering a more versatile and business-oriented perspective on privacy. Within this framework, we propose a data-driven strategy for mitigating the effects of label heterogeneity and clie… ▽ More This work focuses on the challenges of non-IID data and stragglers/dropouts in federated learning. We introduce and explore a privacy-flexible paradigm that models parts of the clients' local data as non-private, offering a more versatile and business-oriented perspective on privacy. Within this framework, we propose a data-driven strategy for mitigating the effects of label heterogeneity and client straggling on federated learning. Our solution combines both offline data sharing and approximate gradient coding techniques. Through numerical simulations using the MNIST dataset, we demonstrate that our approach enables achieving a deliberate trade-off between privacy and utility, leading to improved model convergence and accuracy while using an adaptable portion of non-private data. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Quality of Answers of Generative Large Language Models vs Peer Patients for Interpreting Lab Test Results for Lay Patients: Evaluation Study

Authors: Zhe He, Balu Bhasuran, Qiao Jin, Shubo Tian, Karim Hanna, Cindy Shavor, Lisbeth Garcia Arguello, Patrick Murray, Zhiyong Lu

Abstract: Lab results are often confusing and hard to understand. Large language models (LLMs) such as ChatGPT have opened a promising avenue for patients to get their questions answered. We aim to assess the feasibility of using LLMs to generate relevant, accurate, helpful, and unharmful responses to lab test-related questions asked by patients and to identify potential issues that can be mitigated with au… ▽ More Lab results are often confusing and hard to understand. Large language models (LLMs) such as ChatGPT have opened a promising avenue for patients to get their questions answered. We aim to assess the feasibility of using LLMs to generate relevant, accurate, helpful, and unharmful responses to lab test-related questions asked by patients and to identify potential issues that can be mitigated with augmentation approaches. We first collected lab test results related question and answer data from Yahoo! Answers and selected 53 QA pairs for this study. Using the LangChain framework and ChatGPT web portal, we generated responses to the 53 questions from four LLMs including GPT-4, Meta LLaMA 2, MedAlpaca, and ORCA_mini. We first assessed the similarity of their answers using standard QA similarity-based evaluation metrics including ROUGE, BLEU, METEOR, BERTScore. We also utilized an LLM-based evaluator to judge whether a target model has higher quality in terms of relevance, correctness, helpfulness, and safety than the baseline model. Finally, we performed a manual evaluation with medical experts for all the responses to seven selected questions on the same four aspects. The results of Win Rate and medical expert evaluation both showed that GPT-4's responses achieved better scores than all the other LLM responses and human responses on all four aspects (relevance, correctness, helpfulness, and safety). However, LLM responses occasionally also suffer from a lack of interpretation in one's medical context, incorrect statements, and lack of references. We find that compared to other three LLMs and human answer from the Q&A website, GPT-4's responses are more accurate, helpful, relevant, and safer. However, there are cases which GPT-4 responses are inaccurate and not individualized. We identified a number of ways to improve the quality of LLM responses. △ Less

Submitted 23 January, 2024; originally announced February 2024.

Short Systematic Codes for Correcting Random Edit Errors in DNA Storage

Authors: Serge Kas Hanna

Abstract: DNA storage faces challenges in ensuring data reliability in the presence of edit errors -- deletions, insertions, and substitutions -- that occur randomly during various phases of the storage process. Current limitations in DNA synthesis technology also require the use of short DNA sequences, highlighting the particular need for short edit-correcting codes. Motivated by these factors, we introduc… ▽ More DNA storage faces challenges in ensuring data reliability in the presence of edit errors -- deletions, insertions, and substitutions -- that occur randomly during various phases of the storage process. Current limitations in DNA synthesis technology also require the use of short DNA sequences, highlighting the particular need for short edit-correcting codes. Motivated by these factors, we introduce a systematic code designed to correct random edits while adhering to typical length constraints in DNA storage. We evaluate the performance of the code through simulations and assess its effectiveness within a DNA storage framework, revealing promising results. △ Less

Submitted 4 March, 2024; v1 submitted 2 February, 2024; originally announced February 2024.

Comments: Minor text edits and additional simulation results

Can Attention Be Used to Explain EHR-Based Mortality Prediction Tasks: A Case Study on Hemorrhagic Stroke

Authors: Qizhang Feng, Jiayi Yuan, Forhan Bin Emdad, Karim Hanna, Xia Hu, Zhe He

Abstract: Stroke is a significant cause of mortality and morbidity, necessitating early predictive strategies to minimize risks. Traditional methods for evaluating patients, such as Acute Physiology and Chronic Health Evaluation (APACHE II, IV) and Simplified Acute Physiology Score III (SAPS III), have limited accuracy and interpretability. This paper proposes a novel approach: an interpretable, attention-b… ▽ More Stroke is a significant cause of mortality and morbidity, necessitating early predictive strategies to minimize risks. Traditional methods for evaluating patients, such as Acute Physiology and Chronic Health Evaluation (APACHE II, IV) and Simplified Acute Physiology Score III (SAPS III), have limited accuracy and interpretability. This paper proposes a novel approach: an interpretable, attention-based transformer model for early stroke mortality prediction. This model seeks to address the limitations of previous predictive models, providing both interpretability (providing clear, understandable explanations of the model) and fidelity (giving a truthful explanation of the model's dynamics from input to output). Furthermore, the study explores and compares fidelity and interpretability scores using Shapley values and attention-based scores to improve model explainability. The research objectives include designing an interpretable attention-based transformer model, evaluating its performance compared to existing models, and providing feature importance derived from the model. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Optimal Codes Detecting Deletions in Concatenated Binary Strings Applied to Trace Reconstruction

Authors: Serge Kas Hanna

Abstract: Consider two or more strings $\mathbf{x}^1,\mathbf{x}^2,\ldots,$ that are concatenated to form $\mathbf{x}=\langle \mathbf{x}^1,\mathbf{x}^2,\ldots \rangle$. Suppose that up to $δ$ deletions occur in each of the concatenated strings. Since deletions alter the lengths of the strings, a fundamental question to ask is: how much redundancy do we need to introduce in $\mathbf{x}$ in order to recover th… ▽ More Consider two or more strings $\mathbf{x}^1,\mathbf{x}^2,\ldots,$ that are concatenated to form $\mathbf{x}=\langle \mathbf{x}^1,\mathbf{x}^2,\ldots \rangle$. Suppose that up to $δ$ deletions occur in each of the concatenated strings. Since deletions alter the lengths of the strings, a fundamental question to ask is: how much redundancy do we need to introduce in $\mathbf{x}$ in order to recover the boundaries of $\mathbf{x}^1,\mathbf{x}^2,\ldots$? This boundary problem is equivalent to the problem of designing codes that can detect the exact number of deletions in each concatenated string. In this work, we answer the question above by first deriving converse results that give lower bounds on the redundancy of deletion-detecting codes. Then, we present a marker-based code construction whose redundancy is asymptotically optimal in $δ$ among all families of deletion-detecting codes, and exactly optimal among all block-by-block decodable codes. To exemplify the usefulness of such deletion-detecting codes, we apply our code to trace reconstruction and design an efficient coded reconstruction scheme that requires a constant number of traces. △ Less

Submitted 19 April, 2023; originally announced April 2023.

Comments: Accepted for publication in the IEEE Transactions on Information Theory. arXiv admin note: substantial text overlap with arXiv:2207.05126, arXiv:2105.00212

Fast and Straggler-Tolerant Distributed SGD with Reduced Computation Load

Authors: Maximilian Egger, Serge Kas Hanna, Rawad Bitar

Abstract: In distributed machine learning, a central node outsources computationally expensive calculations to external worker nodes. The properties of optimization procedures like stochastic gradient descent (SGD) can be leveraged to mitigate the effect of unresponsive or slow workers called stragglers, that otherwise degrade the benefit of outsourcing the computation. This can be done by only waiting for… ▽ More In distributed machine learning, a central node outsources computationally expensive calculations to external worker nodes. The properties of optimization procedures like stochastic gradient descent (SGD) can be leveraged to mitigate the effect of unresponsive or slow workers called stragglers, that otherwise degrade the benefit of outsourcing the computation. This can be done by only waiting for a subset of the workers to finish their computation at each iteration of the algorithm. Previous works proposed to adapt the number of workers to wait for as the algorithm evolves to optimize the speed of convergence. In contrast, we model the communication and computation times using independent random variables. Considering this model, we construct a novel scheme that adapts both the number of workers and the computation load throughout the run-time of the algorithm. Consequently, we improve the convergence speed of distributed SGD while significantly reducing the computation load, at the expense of a slight increase in communication load. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Codes Correcting Burst and Arbitrary Erasures for Reliable and Low-Latency Communication

Authors: Serge Kas Hanna, Zhiyuan Tan, Wen Xu, Antonia Wachter-Zeh

Abstract: Motivated by modern network communication applications which require low latency, we study codes that correct erasures with low decoding delay. We provide a simple explicit construction that yields convolutional codes that can correct both burst and arbitrary erasures under a maximum decoding delay constraint $T$. Our proposed code has efficient encoding/decoding algorithms and requires a field si… ▽ More Motivated by modern network communication applications which require low latency, we study codes that correct erasures with low decoding delay. We provide a simple explicit construction that yields convolutional codes that can correct both burst and arbitrary erasures under a maximum decoding delay constraint $T$. Our proposed code has efficient encoding/decoding algorithms and requires a field size that is linear in $T$. We study the performance of our code over the Gilbert-Elliot channel; our simulation results show significant performance gains over low-delay codes existing in the literature. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Comments: Accepted for publication in IEEE ICASSP 2023

Adaptive Stochastic Gradient Descent for Fast and Communication-Efficient Distributed Learning

Authors: Serge Kas Hanna, Rawad Bitar, Parimal Parag, Venkat Dasari, Salim El Rouayheb

Abstract: We consider the setting where a master wants to run a distributed stochastic gradient descent (SGD) algorithm on $n$ workers, each having a subset of the data. Distributed SGD may suffer from the effect of stragglers, i.e., slow or unresponsive workers who cause delays. One solution studied in the literature is to wait at each iteration for the responses of the fastest $k<n$ workers before updatin… ▽ More We consider the setting where a master wants to run a distributed stochastic gradient descent (SGD) algorithm on $n$ workers, each having a subset of the data. Distributed SGD may suffer from the effect of stragglers, i.e., slow or unresponsive workers who cause delays. One solution studied in the literature is to wait at each iteration for the responses of the fastest $k<n$ workers before updating the model, where $k$ is a fixed parameter. The choice of the value of $k$ presents a trade-off between the runtime (i.e., convergence rate) of SGD and the error of the model. Towards optimizing the error-runtime trade-off, we investigate distributed SGD with adaptive~$k$, i.e., varying $k$ throughout the runtime of the algorithm. We first design an adaptive policy for varying $k$ that optimizes this trade-off based on an upper bound on the error as a function of the wall-clock time that we derive. Then, we propose and implement an algorithm for adaptive distributed SGD that is based on a statistical heuristic. Our results show that the adaptive version of distributed SGD can reach lower error values in less time compared to non-adaptive implementations. Moreover, the results also show that the adaptive version is communication-efficient, where the amount of communication required between the master and the workers is less than that of non-adaptive versions. △ Less

Submitted 4 August, 2022; originally announced August 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2002.11005

Coding for Trace Reconstruction over Multiple Channels with Vanishing Deletion Probabilities

Authors: Serge Kas Hanna

Abstract: Motivated by DNA-based storage applications, we study the problem of reconstructing a coded sequence from multiple traces. We consider the model where the traces are outputs of independent deletion channels, where each channel deletes each bit of the input codeword \(\mathbf{x} \in \{0,1\}^n\) independently with probability \(p\). We focus on the regime where the deletion probability \(p \to 0\) w… ▽ More Motivated by DNA-based storage applications, we study the problem of reconstructing a coded sequence from multiple traces. We consider the model where the traces are outputs of independent deletion channels, where each channel deletes each bit of the input codeword \(\mathbf{x} \in \{0,1\}^n\) independently with probability \(p\). We focus on the regime where the deletion probability \(p \to 0\) when \(n\to \infty\). Our main contribution is designing a novel code for trace reconstruction that allows reconstructing a coded sequence efficiently from a constant number of traces. We provide theoretical results on the performance of our code in addition to simulation results where we compare the performance of our code to other reconstruction techniques in terms of the edit distance error. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Comments: This is the full version of the short paper accepted at ISIT 2022

Optimal Codes Correcting Localized Deletions

Authors: Rawad Bitar, Serge Kas Hanna, Nikita Polyanskii, Ilya Vorobyev

Abstract: We consider the problem of constructing codes that can correct deletions that are localized within a certain part of the codeword that is unknown a priori. Namely, the model that we study is when at most $k$ deletions occur in a window of size $k$, where the positions of the deletions within this window are not necessarily consecutive. Localized deletions are thus a generalization of burst deletio… ▽ More We consider the problem of constructing codes that can correct deletions that are localized within a certain part of the codeword that is unknown a priori. Namely, the model that we study is when at most $k$ deletions occur in a window of size $k$, where the positions of the deletions within this window are not necessarily consecutive. Localized deletions are thus a generalization of burst deletions that occur in consecutive positions. We present novel explicit codes that are efficiently encodable and decodable and can correct up to $k$ localized deletions. Furthermore, these codes have $\log n+\mathcal{O}(k \log^2 (k\log n))$ redundancy, where $n$ is the length of the information message, which is asymptotically optimal in $n$ for $k=o(\log n/(\log \log n)^2)$. △ Less

Submitted 5 May, 2021; originally announced May 2021.

Comments: 10 pages, a full version of the paper accepted to 2021 IEEE ISIT

Detecting Deletions and Insertions in Concatenated Strings with Optimal Redundancy

Authors: Serge Kas Hanna, Rawad Bitar

Abstract: We study codes that can detect the exact number of deletions and insertions in concatenated binary strings. We construct optimal codes for the case of detecting up to $\del$ deletions. We prove the optimality of these codes by deriving a converse result which shows that the redundancy of our codes is asymptotically optimal in $\del$ among all families of deletion detecting codes, and particularly… ▽ More We study codes that can detect the exact number of deletions and insertions in concatenated binary strings. We construct optimal codes for the case of detecting up to $\del$ deletions. We prove the optimality of these codes by deriving a converse result which shows that the redundancy of our codes is asymptotically optimal in $\del$ among all families of deletion detecting codes, and particularly optimal among all block-by-block decodable codes. For the case of insertions, we construct codes that can detect up to $2$ insertions in each concatenated binary string. △ Less

Submitted 1 May, 2021; originally announced May 2021.

Comments: Shorter version accepted in ISIT 2021

The Ground State Calculations for Some Nuclei by Mesonic Potential of Nucleon-Nucleon Interaction

Authors: K. M. Hanna, SH. M. Sewailem, R. Hussien, L. I. Abou-Salem, Asmaa. G. Shalaby

Abstract: The interaction of Nucleon-Nucleon (NN) has certain physical characteristics, which indicated by nucleon, and meson degrees of freedom. The main purpose of this work is calculating the ground state energies of 21 Deutron and Alfa through the two-body system with the exchange of mesons (Pi, segma, omega) that mediated between two nucleons. This paper investigates NN interaction based on the quasi-r… ▽ More The interaction of Nucleon-Nucleon (NN) has certain physical characteristics, which indicated by nucleon, and meson degrees of freedom. The main purpose of this work is calculating the ground state energies of 21 Deutron and Alfa through the two-body system with the exchange of mesons (Pi, segma, omega) that mediated between two nucleons. This paper investigates NN interaction based on the quasi-relativistic decoupled Dirac equation and self-consistent Hartree-Fock formulation. We construct one-boson exchange potential (OBEP) model, where each nucleon is treated as a Dirac particle and acts as a source of pseudoscalar, scalar, and vector fields. The potential in the present work is analytically derived with two static functions of meson, the single particle energy dependent(SPED) and generalized Yukawa (GY) functions, the parameters used in meson functions are just published ones (mass, coupling constant,and cut o? parameters). The theoretical results are compared to other theoretical models and their corresponding experimental data, one can see that the SPED function gives more satisfied agreement than the GY function in case of the considered nuclei. △ Less

Submitted 6 March, 2020; originally announced March 2020.

Adaptive Distributed Stochastic Gradient Descent for Minimizing Delay in the Presence of Stragglers

Authors: Serge Kas Hanna, Rawad Bitar, Parimal Parag, Venkat Dasari, Salim El Rouayheb

Abstract: We consider the setting where a master wants to run a distributed stochastic gradient descent (SGD) algorithm on $n$ workers each having a subset of the data. Distributed SGD may suffer from the effect of stragglers, i.e., slow or unresponsive workers who cause delays. One solution studied in the literature is to wait at each iteration for the responses of the fastest $k<n$ workers before updating… ▽ More We consider the setting where a master wants to run a distributed stochastic gradient descent (SGD) algorithm on $n$ workers each having a subset of the data. Distributed SGD may suffer from the effect of stragglers, i.e., slow or unresponsive workers who cause delays. One solution studied in the literature is to wait at each iteration for the responses of the fastest $k<n$ workers before updating the model, where $k$ is a fixed parameter. The choice of the value of $k$ presents a trade-off between the runtime (i.e., convergence rate) of SGD and the error of the model. Towards optimizing the error-runtime trade-off, we investigate distributed SGD with adaptive $k$. We first design an adaptive policy for varying $k$ that optimizes this trade-off based on an upper bound on the error as a function of the wall-clock time which we derive. Then, we propose an algorithm for adaptive distributed SGD that is based on a statistical heuristic. We implement our algorithm and provide numerical simulations which confirm our intuition and theoretical analysis. △ Less

Submitted 25 February, 2020; originally announced February 2020.

Comments: Accepted to IEEE ICASSP 2020

Report number: pp. 4262--4266, May 2020

Journal ref: International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp. 4262--4266, May 2020

List Decoding of Deletions Using Guess & Check Codes

Authors: Serge Kas Hanna, Salim El Rouayheb

Abstract: Guess & Check (GC) codes are systematic binary codes that can correct multiple deletions, with high probability. GC codes have logarithmic redundancy in the length of the message $k$, and the encoding and decoding algorithms of these codes are deterministic and run in polynomial time for a constant number of deletions $δ$. The unique decoding properties of GC codes were examined in a previous work… ▽ More Guess & Check (GC) codes are systematic binary codes that can correct multiple deletions, with high probability. GC codes have logarithmic redundancy in the length of the message $k$, and the encoding and decoding algorithms of these codes are deterministic and run in polynomial time for a constant number of deletions $δ$. The unique decoding properties of GC codes were examined in a previous work by the authors. In this paper, we investigate the list decoding performance of these codes. Namely, we study the average size and the maximum size of the list obtained by a GC decoder for a constant number of deletions $δ$. The theoretical results show that: (i) the average size of the list approaches $1$ as $k$ grows; and (ii) there exists an infinite sequence of GC codes indexed by $k$, whose maximum list size in upper bounded by a constant that is independent of $k$. We also provide numerical simulations on the list decoding performance of GC codes for multiple values of $k$ and $δ$. △ Less

Submitted 29 April, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: This is a full version of the short paper accepted at ISIT 2019

Statistical Modeling of an astro-comb for high precision radial velocity observation

Authors: Zhao Fei, Zhao Gang, Liu Yujuan, Wang Liang, Wang Huijuan, Li Hongbin, Ye Huiqi, Hao Zhibo, Xiao Dong, Zhang Junbo, Kellermann Hanna, Grupp Frank

Abstract: The advent of the laser frequency comb as the wavelength calibration unit allows us to measure the radial velocity at $cm\ s^{-1}$ precision level with high stability in long-term, which enable the possibility of the detection of Earth-twins around solar-like stars. Recent study shows that the laser frequency comb can also be used to measure and study the precision of the instrumental system inclu… ▽ More The advent of the laser frequency comb as the wavelength calibration unit allows us to measure the radial velocity at $cm\ s^{-1}$ precision level with high stability in long-term, which enable the possibility of the detection of Earth-twins around solar-like stars. Recent study shows that the laser frequency comb can also be used to measure and study the precision of the instrumental system including the variations of line profile and the systematic uncertainty and instrumental drift. In this paper, we present the stringent analysis of a laser frequency comb(LFC) system with 25GHz repetition frequency on a R$\sim$50,000 spectrograph with the wavelength spanning from 5085Å\ to 7380Å. We report a novel fitting model optimized for the comb line profile, the constrained double Gaussian. The constraint condition is set as $\left|μ_{1,2} - μ\right| <\sqrt{2ln2}σ$. We introduce Bayesian information criterion to test various models. Compared to the traditional Gaussian model, the CDG(Constrained Double Gaussians) model provides much better goodness of fit. We apply the CDG model to the observed comb data to demonstrate the improvement of RV precision with CDG model. We find that the improvement of CDG model is about 40\%$\sim$60\% for wavelength calibration precision. We also consider the application to use the LFC and CDG model as a tool to characterize the line shape variation across the detector. The motivation of this work is to measure and understand the details of the comb lines including their asymmetry and behaviors under various conditions, which plays a significant role in the simultaneous calibration process and cross-correlation function method to determine the Doppler shift at high precision level. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: 10 pages, 7 figures, 1 table; accepted for publication in MNRAS

Codes for Correcting Localized Deletions

Authors: Serge Kas Hanna, Salim El Rouayheb

Abstract: We consider the problem of constructing binary codes for correcting deletions that are localized within certain parts of the codeword that are unknown a priori. The model that we study is when $δ\leq w$ deletions are localized in a window of size $w$ bits. These $δ$ deletions do not necessarily occur in consecutive positions, but are restricted to the window of size $w$. The localized deletions mo… ▽ More We consider the problem of constructing binary codes for correcting deletions that are localized within certain parts of the codeword that are unknown a priori. The model that we study is when $δ\leq w$ deletions are localized in a window of size $w$ bits. These $δ$ deletions do not necessarily occur in consecutive positions, but are restricted to the window of size $w$. The localized deletions model is a generalization of the bursty model, in which all the deleted bits are consecutive. In this paper, we construct new explicit codes for the localized model, based on the family of Guess & Check codes which was previously introduced by the authors. The codes that we construct can correct, with high probability, $δ\leq w$ deletions that are localized in a single window of size $w$, where $w$ grows with the block length. Moreover, these codes are systematic; have low redundancy; and have efficient deterministic encoding and decoding algorithms. We also generalize these codes to deletions that are localized within multiple windows in the codeword. △ Less

Submitted 8 January, 2021; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: Accepted for publication in IEEE Transactions on Information Theory

CASTAway: An Asteroid Main Belt Tour and Survey

Authors: N. E. Bowles, C. Snodgrass, A Gibbings, J. P. Sanchez, J. A. Arnold, P. Eccleston, T. Andert, A. Probst, G. Naletto, A. C. Vandaele, J. de Leon, A. Nathues, I. R. Thomas, N. Thomas, L. Jorda, V. Da Deppo, H. Haack, S. F. Green, B. Carry, K. L. Donaldson Hanna, J. Leif Jorgensen, A. Kereszturi, F. E. DeMeo, M. R. Patel, J. K. Davies , et al. (20 additional authors not shown)

Abstract: CASTAway is a mission concept to explore our Solar System's main asteroid belt. Asteroids and comets provide a window into the formation and evolution of our Solar System and the composition of these objects can be inferred from space-based remote sensing using spectroscopic techniques. Variations in composition across the asteroid populations provide a tracer for the dynamical evolution of the So… ▽ More CASTAway is a mission concept to explore our Solar System's main asteroid belt. Asteroids and comets provide a window into the formation and evolution of our Solar System and the composition of these objects can be inferred from space-based remote sensing using spectroscopic techniques. Variations in composition across the asteroid populations provide a tracer for the dynamical evolution of the Solar System. The mission combines a long-range (point source) telescopic survey of over 10,000 objects, targeted close encounters with 10 to 20 asteroids and serendipitous searches to constrain the distribution of smaller (e.g. 10 m) size objects into a single concept. With a carefully targeted trajectory that loops through the asteroid belt, CASTAway would provide a comprehensive survey of the main belt at multiple scales. The scientific payload comprises a 50 cm diameter telescope that includes an integrated low-resolution (R = 30 to 100) spectrometer and visible context imager, a thermal (e.g. 6 to 16 microns) imager for use during the flybys, and modified star tracker cameras to detect small (approx. 10 m) asteroids. The CASTAway spacecraft and payload have high levels of technology readiness and are designed to fit within the programmatic and cost caps for a European Space Agency medium class mission, whilst delivering a significant increase in knowledge of our Solar System. △ Less

Submitted 27 October, 2017; originally announced October 2017.

Comments: 40 pages, accepted by Advances in Space Research October 2017

CIRCE: The Canarias InfraRed Camera Experiment for the Gran Telescopio Canarias

Authors: Stephen S. Eikenberry, Miguel Charcos, Michelle L. Edwards, Alan Garner, Nestor Lasso-Cabrera, Richard D. Stelter, Antonio Marin-Franch, S. Nicholas Raines, Kendall Ackley, John G. Bennett, Javier A. Cenarro, Brian Chinn, H. Veronica Donoso, Raymond Frommeyer, Kevin Hanna, Michael D. Herlevich, Jeff Julian, Paola Miller, Scott Mullin, Charles H. Murphey, Chris Packham, Frank Varosi, Claudia Vega, Craig Warner, A. N. Ramaprakash , et al. (29 additional authors not shown)

Abstract: The Canarias InfraRed Camera Experiment (CIRCE) is a near-infrared (1-2.5 micron) imager, polarimeter and low-resolution spectrograph operating as a visitor instrument for the Gran Telescopio Canarias 10.4-meter telescope. It was designed and built largely by graduate students and postdocs, with help from the UF astronomy engineering group, and is funded by the University of Florida and the U.S. N… ▽ More The Canarias InfraRed Camera Experiment (CIRCE) is a near-infrared (1-2.5 micron) imager, polarimeter and low-resolution spectrograph operating as a visitor instrument for the Gran Telescopio Canarias 10.4-meter telescope. It was designed and built largely by graduate students and postdocs, with help from the UF astronomy engineering group, and is funded by the University of Florida and the U.S. National Science Foundation. CIRCE is intended to help fill the gap in near-infrared capabilities prior to the arrival of EMIR to the GTC, and will also provide the following scientific capabilities to compliment EMIR after its arrival: high-resolution imaging, narrowband imaging, high-time-resolution photometry, imaging polarimetry, low resolution spectroscopy. In this paper, we review the design, fabrication, integration, lab testing, and on-sky performance results for CIRCE. These include a novel approach to the opto-mechanical design, fabrication, and alignment. △ Less

Submitted 16 September, 2017; originally announced September 2017.

Comments: 41 pages, 18 figures

The Castalia Mission to Main Belt Comet 133P/Elst-Pizarro

Authors: C. Snodgrass, G. H. Jones, H. Boehnhardt, A. Gibbings, M. Homeister, N. Andre, P. Beck, M. S. Bentley, I. Bertini, N. Bowles, M. T. Capria, C. Carr, M. Ceriotti, A. J. Coates, V. Della Corte, K. L. Donaldson Hanna, A. Fitzsimmons, P. J. Gutierrez, O. R. Hainaut, A. Herique, M. Hilchenbach, H. H. Hsieh, E. Jehin, O. Karatekin, W. Kofman , et al. (19 additional authors not shown)

Abstract: We describe Castalia, a proposed mission to rendezvous with a Main Belt Comet (MBC), 133P/Elst-Pizarro. MBCs are a recently discovered population of apparently icy bodies within the main asteroid belt between Mars and Jupiter, which may represent the remnants of the population which supplied the early Earth with water. Castalia will perform the first exploration of this population by characterisin… ▽ More We describe Castalia, a proposed mission to rendezvous with a Main Belt Comet (MBC), 133P/Elst-Pizarro. MBCs are a recently discovered population of apparently icy bodies within the main asteroid belt between Mars and Jupiter, which may represent the remnants of the population which supplied the early Earth with water. Castalia will perform the first exploration of this population by characterising 133P in detail, solving the puzzle of the MBC's activity, and making the first in situ measurements of water in the asteroid belt. In many ways a successor to ESA's highly successful Rosetta mission, Castalia will allow direct comparison between very different classes of comet, including measuring critical isotope ratios, plasma and dust properties. It will also feature the first radar system to visit a minor body, mapping the ice in the interior. Castalia was proposed, in slightly different versions, to the ESA M4 and M5 calls within the Cosmic Vision programme. We describe the science motivation for the mission, the measurements required to achieve the scientific goals, and the proposed instrument payload and spacecraft to achieve these. △ Less

Submitted 11 September, 2017; originally announced September 2017.

Comments: Accepted for publication in Advances in Space Research (special issue on Small Body Exploration). 30 pages

Guess & Check Codes for Deletions, Insertions, and Synchronization

Authors: Serge Kas Hanna, Salim El Rouayheb

Abstract: We consider the problem of constructing codes that can correct $δ$ deletions occurring in an arbitrary binary string of length $n$ bits. Varshamov-Tenengolts (VT) codes, dating back to 1965, are zero-error single deletion $(δ=1)$ correcting codes, and have an asymptotically optimal redundancy. Finding similar codes for $δ\geq 2$ deletions remains an open problem. In this work, we relax the standar… ▽ More We consider the problem of constructing codes that can correct $δ$ deletions occurring in an arbitrary binary string of length $n$ bits. Varshamov-Tenengolts (VT) codes, dating back to 1965, are zero-error single deletion $(δ=1)$ correcting codes, and have an asymptotically optimal redundancy. Finding similar codes for $δ\geq 2$ deletions remains an open problem. In this work, we relax the standard zero-error (i.e., worst-case) decoding requirement by assuming that the positions of the $δ$ deletions (or insertions) are independent of the codeword. Our contribution is a new family of explicit codes, that we call Guess & Check (GC) codes, that can correct with high probability up to a constant number of $δ$ deletions (or insertions). GC codes are systematic; and have deterministic polynomial time encoding and decoding algorithms. We also describe the application of GC codes to file synchronization. △ Less

Submitted 24 May, 2018; v1 submitted 24 May, 2017; originally announced May 2017.

Comments: Accepted to the IEEE Transactions on Information Theory. arXiv admin note: text overlap with arXiv:1702.04466

Guess & Check Codes for Deletions and Synchronization

Authors: Serge Kas Hanna, Salim El Rouayheb

Abstract: We consider the problem of constructing codes that can correct $δ$ deletions occurring in an arbitrary binary string of length $n$ bits. Varshamov-Tenengolts (VT) codes can correct all possible single deletions $(δ=1)$ with an asymptotically optimal redundancy. Finding similar codes for $δ\geq 2$ deletions is an open problem. We propose a new family of codes, that we call Guess & Check (GC) codes,… ▽ More We consider the problem of constructing codes that can correct $δ$ deletions occurring in an arbitrary binary string of length $n$ bits. Varshamov-Tenengolts (VT) codes can correct all possible single deletions $(δ=1)$ with an asymptotically optimal redundancy. Finding similar codes for $δ\geq 2$ deletions is an open problem. We propose a new family of codes, that we call Guess & Check (GC) codes, that can correct, with high probability, a constant number of deletions $δ$ occurring at uniformly random positions within an arbitrary string. The GC codes are based on MDS codes and have an asymptotically optimal redundancy that is $Θ(δ\log n)$. We provide deterministic polynomial time encoding and decoding schemes for these codes. We also describe the applications of GC codes to file synchronization. △ Less

Submitted 27 April, 2017; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: Accepted in ISIT 2017

Microscopic Description of K^+ Scattering on 4^He, 16^O and 40^Ca Nuclei using Meson Exchange Theory

Authors: K. M. Hanna, Sh. M. Sewailem, A. G. Shalaby

Abstract: We have calculated the total cross section for k^+-4^He, 16^O, 40^Ca, intes at incident momenta of the kaon P_lab<1GeV . We derived the K^+-nucleon optical potential according to the exchange of 3- mesons (segma,roh,omega) and also for 4- (segma,roh,omega, segma_0) exchanged between the reactants. We showed both of the radial behavior of the real and the imaginary parts of the derived potential. C… ▽ More We have calculated the total cross section for k^+-4^He, 16^O, 40^Ca, intes at incident momenta of the kaon P_lab<1GeV . We derived the K^+-nucleon optical potential according to the exchange of 3- mesons (segma,roh,omega) and also for 4- (segma,roh,omega, segma_0) exchanged between the reactants. We showed both of the radial behavior of the real and the imaginary parts of the derived potential. Comparisons between the available experimental data, other theoretical work and the calculated total cross sections for the three studied nuclei which have shown a reasonable agreement. The extended four mesons exchanged optical potential gave better close results to the experimental data. Further, ratios of the total cross sections of the studied nuclei with respect to the total cross section with the deuteron nucleus for the two applied optical potentials were given. In addition, the ratio of the theoretical result of the total cross section for the interaction of the K^+ meson with the deuteron was compared with the corresponding experimental one to evaluate our theoretical results in a more clear manner. △ Less

Submitted 2 September, 2013; originally announced September 2013.

Comments: 20 pages, 22 figures

MSC Class: 15-XX ACM Class: F.2.2

MARVELS-1b: A Short-Period, Brown Dwarf Desert Candidate from the SDSS-III MARVELS Planet Search

Authors: Brian L. Lee, Jian Ge, Scott W. Fleming, Keivan G. Stassun, B. Scott Gaudi, Rory Barnes, Suvrath Mahadevan, Jason D. Eastman, Jason Wright, Robert J. Siverd, Bruce Gary, Luan Ghezzi, Chris Laws, John P. Wisniewski, G. F. Porto de Mello, Ricardo L. C. Ogando, Marcio A. G. Maia, Luiz Nicolaci da Costa, Thirupathi Sivarani, Joshua Pepper, Duy Cuong Nguyen, Leslie Hebb, Nathan De Lee, Ji Wang, Xiaoke Wan , et al. (37 additional authors not shown)

Abstract: We present a new short-period brown dwarf candidate around the star TYC 1240-00945-1. This candidate was discovered in the first year of the Multi-object APO Radial Velocity Exoplanets Large-area Survey (MARVELS), which is part of the third phase of the Sloan Digital Sky Survey (SDSS-III), and we designate the brown dwarf as MARVELS-1b. MARVELS uses the technique of dispersed fixed-delay interfero… ▽ More We present a new short-period brown dwarf candidate around the star TYC 1240-00945-1. This candidate was discovered in the first year of the Multi-object APO Radial Velocity Exoplanets Large-area Survey (MARVELS), which is part of the third phase of the Sloan Digital Sky Survey (SDSS-III), and we designate the brown dwarf as MARVELS-1b. MARVELS uses the technique of dispersed fixed-delay interferometery to simultaneously obtain radial velocity measurements for 60 objects per field using a single, custom-built instrument that is fiber fed from the SDSS 2.5-m telescope. From our 20 radial velocity measurements spread over a ~370 d time baseline, we derive a Keplerian orbital fit with semi-amplitude K=2.533+/-0.025 km/s, period P=5.8953+/-0.0004 d, and eccentricity consistent with circular. Independent follow-up radial velocity data confirm the orbit. Adopting a mass of 1.37+/-0.11 M_Sun for the slightly evolved F9 host star, we infer that the companion has a minimum mass of 28.0+/-1.5 M_Jup, a semimajor axis 0.071+/-0.002 AU assuming an edge-on orbit, and is probably tidally synchronized. We find no evidence for coherent instrinsic variability of the host star at the period of the companion at levels greater than a few millimagnitudes. The companion has an a priori transit probability of ~14%. Although we find no evidence for transits, we cannot definitively rule them out for companion radii ~<1 R_Jup. △ Less

Submitted 23 November, 2010; originally announced November 2010.

Comments: 47 pages, 11 figures. Accepted for publication in ApJ

Calculations of the K$^{+}$-Nucleus Microscopic Optical Potential and of the Corresponding Differential Elastic Cross Sections

Authors: V. K. Lukyanov, E. V. Zemlyanaya, K. V. Lukyanov, K. M. Hanna

Abstract: Calculations are made of the $K^{+}+^{12}$C, $^{40}$Ca differential elastic scattering cross sections at the beam momenta 0.635, 0.715, and 0.8 GeV/c. To this end the microscopic optical potential derived in the high-energy approximation was used where existing data on the kaon-nucleon amplitude and on the point-like density distributions of target-nuclei were utilized. The effect of different m… ▽ More Calculations are made of the $K^{+}+^{12}$C, $^{40}$Ca differential elastic scattering cross sections at the beam momenta 0.635, 0.715, and 0.8 GeV/c. To this end the microscopic optical potential derived in the high-energy approximation was used where existing data on the kaon-nucleon amplitude and on the point-like density distributions of target-nuclei were utilized. The effect of different methods of relativization was studied and shown to play an important role. A good agreement with the experimental data on differential elastic cross sections was obtained. △ Less

Submitted 16 January, 2009; v1 submitted 25 December, 2008; originally announced December 2008.

Comments: 5 pages; 3 figures; Talk given at XIX Int. Baldin Seminar "Relativistic Nuclear Physics and Quantum Chromodynamics", Sept. 29-Oct.4, Dubna, 2008

Microscopic Approach in Inelastic Heavy-Ions Scattering with Excitation of Nuclear Collective States

Authors: K. V. Lukyanov, E. V. Zemlyanaya, I. N. Kuchtina, V. K. Lukyanov, Z. Metawei, K. M. Hanna

Abstract: In the density distribution of a deformed target-nucleus, the spherical $λ= 0$ and the deformed $λ= 2$ parts were considered. On this basis, the corresponding potential parts $U_0$ and $U^{(2)}_{int}$ of a double -folding microscopic nucleus-nucleus optical potential are obtained. Then, for these potentials and by using the coupled-channel technique (ECIS), the elastic and inelastic amplitudes a… ▽ More In the density distribution of a deformed target-nucleus, the spherical $λ= 0$ and the deformed $λ= 2$ parts were considered. On this basis, the corresponding potential parts $U_0$ and $U^{(2)}_{int}$ of a double -folding microscopic nucleus-nucleus optical potential are obtained. Then, for these potentials and by using the coupled-channel technique (ECIS), the elastic and inelastic amplitudes are calculated for $^{17}O$ heavy ion scattering on $2^{+}$ collective excited state of various target nuclei. Besides, the same cross-sections are calculated in the frame of an adiabatic approach of the eikonal approximation, where the inelastic amplitude is the linear function of $U^{(2)}_{int}$. Both the obtained results are compared with the experimental data, and also discuss their efficiency in predicting the deformation parameters of nuclei. △ Less

Submitted 6 June, 2007; v1 submitted 5 June, 2007; originally announced June 2007.

Comments: 9 pages, 4 figures, 1 table

FLAMINGOS-2: The Facility Near-Infrared Wide-field Imager & Multi-Object Spectrograph for Gemini

Authors: Stephen Eikenberry, Richard Elston, S. Nicholas Raines, Jeff Julian, Kevin Hanna, David Hon, Roger Julian, R. Bandyopadhyay, J. Greg Bennett, Aaron Bessoff, Matt Branch, Richard Corley, John-David Eriksen, Skip Frommeyer, Anthony Gonzalez, Michael Herlevich, Antonio Marin-Franch, Jose Marti, Charlie Murphey, David Rashkin, Craig Warner, Brian Leckie, W. Rusty Gardhouse, Murray Fletcher, Jennifer Dunn , et al. (2 additional authors not shown)

Abstract: We report on the design and status of the FLAMINGOS-2 instrument - a fully-cryogenic facility near-infrared imager and multi-object spectrograph for the Gemini 8-meter telescopes. FLAMINGOS-2 has a refractive all-spherical optical system providing 0.18-arcsecond pixels and a 6.2-arcminute circular field-of-view on a 2048x2048-pixel HAWAII-2 0.9-2.4 mm detector array. A slit/decker wheel mechanis… ▽ More We report on the design and status of the FLAMINGOS-2 instrument - a fully-cryogenic facility near-infrared imager and multi-object spectrograph for the Gemini 8-meter telescopes. FLAMINGOS-2 has a refractive all-spherical optical system providing 0.18-arcsecond pixels and a 6.2-arcminute circular field-of-view on a 2048x2048-pixel HAWAII-2 0.9-2.4 mm detector array. A slit/decker wheel mechanism allows the selection of up to 9 multi-object laser-machined plates or 3 long slits for spectroscopy over a 6x2-arcminute field of view, and selectable grisms provide resolutions from $\sim$ 1300 to $\sim $3000 over the entire spectrograph bandpass. FLAMINGOS-2 is also compatible with the Gemini Multi-Conjugate Adaptive Optics system, providing multi-object spectroscopic capabilities over a 3x1-arcminute field with high spatial resolution (0.09-arcsec/pixel). We review the designs of optical, mechanical, electronics, software, and On-Instrument WaveFront Sensor subsystems. We also present the current status of the project, currently in final testing in mid-2006. △ Less

Submitted 27 April, 2006; originally announced April 2006.

Comments: Submitted to SPIE Astronomical Telescopes & Instrumentation; 12 pages, incl. color figures

Excitation of Nuclear Collective States by Heavy Ions within the Model of Semi-Microscopic Optical Potential

Authors: K. M. Hanna, K. V. Lukyanov, V. K. Lukyanov, Z. Metawei, B. Slowinski, E. V. Zemlyanaya

Abstract: The (semi-)microscopic double-folding nucleus-nucleus optical potentials are suggested for consideration of inelastic scattering with excitation of collective nuclear states by using the adiabatic approach and the elastic scattering amplitude in the high-energy approximation. The analytical expression for inelastic scattering amplitude is obtained keeping the first order terms in the deformation… ▽ More The (semi-)microscopic double-folding nucleus-nucleus optical potentials are suggested for consideration of inelastic scattering with excitation of collective nuclear states by using the adiabatic approach and the elastic scattering amplitude in the high-energy approximation. The analytical expression for inelastic scattering amplitude is obtained keeping the first order terms in the deformation parameter of a potential. Calculations of inelastic cross sections for the $^{17}$O heavy ions scattered on different nuclei at about hundred Mev/nucleon are made, and the acceptable qualitative agreement with the experimental data is obtained without introducing free parameters. The prospect of the method for further applications is discussed. △ Less

Submitted 15 November, 2005; originally announced November 2005.

Comments: 9 pages, 3 figures, 1 table, submitted to "Partices and Nuclei, Letters"

Journal ref: Phys.Part.Nucl.Lett.3:405-409,2006

Model for Restoration of Heavy-Ion Potentials at Intermediate Energies

Authors: K. M. Hanna, K. V. Lukyanov, V. K. Lukyanov, B. Slowinski, E. V. Zemlyanaya

Abstract: Three types of microscopic nucleus-nucleus optical potentials are constructed using three patterns for their real and imaginary parts. Two of these patterns are the real $V^H$ and imaginary $W^H$ parts of the potential which reproduces the high-energy amplitude of scattering in the microscopic Glauber-Sitenko theory. Another template $V^{DF}$ is calculated within the standard double-folding mode… ▽ More Three types of microscopic nucleus-nucleus optical potentials are constructed using three patterns for their real and imaginary parts. Two of these patterns are the real $V^H$ and imaginary $W^H$ parts of the potential which reproduces the high-energy amplitude of scattering in the microscopic Glauber-Sitenko theory. Another template $V^{DF}$ is calculated within the standard double-folding model with the exchange term included. For either of the three tested potentials, the contribution of real and imaginary patterns is adjusted by introducing two fitted factors. An acceptable agreement with the experimental data on elastic differential cross-sections was obtained for scattering the $^{16, 17}$O heavy-ions at about hundred Mev/nucleon on different target-nuclei. The relativization effect is also studied and found that, to somewhat, it improves the agreement with experimental data. △ Less

Submitted 8 December, 2004; originally announced December 2004.

Comments: 11 pages; 8 figures. The talk given at the XVII Int. Baldin Seminar on High Energy Physics Problems "Relativistic Nuclear Physics & Quantum Chromodynamics", September 27 - October 2, 2004, Dubna, Russia

Restoration of Heavy-Ion Potentials at Intermediate Energies

Authors: K. M. Hanna, K. V. Lukyanov, V. K. Lukyanov, B. Slowinski, E. V. Zemlyanaya

Abstract: The microscopic nucleus-nucleus optical potential is constructed basing on two patterns for real and imaginary parts, each calculated in the framework of microscopic models and multiplied by two normalizing factors, the free parameters, fitted to experimental data. The first supplementary model yields the real and imaginary templates for our potential, and itself reproduces the scattering amplit… ▽ More The microscopic nucleus-nucleus optical potential is constructed basing on two patterns for real and imaginary parts, each calculated in the framework of microscopic models and multiplied by two normalizing factors, the free parameters, fitted to experimental data. The first supplementary model yields the real and imaginary templates for our potential, and itself reproduces the scattering amplitude of the microscopic Glauber-Sitenko theory. The other pattern, for real part only, is the standard double-folding model with the exchange term included. As a result, we obtain an acceptable agreement with elastic differential cross-sections. △ Less

Submitted 4 October, 2004; originally announced October 2004.

Comments: 9 pages, 5 figures