-
ShadowNav: Autonomous Global Localization for Lunar Navigation in Darkness
Authors:
Deegan Atha,
R. Michael Swan,
Abhishek Cauligi,
Anne Bettens,
Edwin Goh,
Dima Kogan,
Larry Matthies,
Masahiro Ono
Abstract:
The ability to determine the pose of a rover in an inertial frame autonomously is a crucial capability necessary for the next generation of surface rover missions on other planetary bodies. Currently, most on-going rover missions utilize ground-in-the-loop interventions to manually correct for drift in the pose estimate and this human supervision bottlenecks the distance over which rovers can oper…
▽ More
The ability to determine the pose of a rover in an inertial frame autonomously is a crucial capability necessary for the next generation of surface rover missions on other planetary bodies. Currently, most on-going rover missions utilize ground-in-the-loop interventions to manually correct for drift in the pose estimate and this human supervision bottlenecks the distance over which rovers can operate autonomously and carry out scientific measurements. In this paper, we present ShadowNav, an autonomous approach for global localization on the Moon with an emphasis on driving in darkness and at nighttime. Our approach uses the leading edge of Lunar craters as landmarks and a particle filtering approach is used to associate detected craters with known ones on an offboard map. We discuss the key design decisions in develo** the ShadowNav framework for use with a Lunar rover concept equipped with a stereo camera and an external illumination source. Finally, we demonstrate the efficacy of our proposed approach in both a Lunar simulation environment and on data collected during a field test at Cinder Lakes, Arizona.
△ Less
Submitted 6 May, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
Correlation of coalescence times in a diploid Wright-Fisher model with recombination and selfing
Authors:
David Kogan,
Dimitrios Diamantidis,
John Wakeley,
Wai-Tong Louis Fan
Abstract:
The correlation among the gene genealogies at different loci is crucial in biology, yet challenging to understand because such correlation depends on many factors including genetic linkage, recombination, natural selection and population structure. Based on a diploid Wright-Fisher model with a single mating type and partial selfing for a constant large population with size $N$, we quantify the com…
▽ More
The correlation among the gene genealogies at different loci is crucial in biology, yet challenging to understand because such correlation depends on many factors including genetic linkage, recombination, natural selection and population structure. Based on a diploid Wright-Fisher model with a single mating type and partial selfing for a constant large population with size $N$, we quantify the combined effect of genetic drift and two competing factors, recombination and selfing, on the correlation of coalescence times at two linked loci for samples of size two. Recombination decouples the genealogies at different loci and decreases the correlation while selfing increases the correlation. We obtain explicit asymptotic formulas for the correlation for four scaling scenarios that depend on whether the selfing probability and the recombination probability are of order $O(1/N)$ or $O(1)$ as $N$ tends to infinity. Our analytical results confirm that the asymptotic lower bound in [King, Wakeley, Carmi (Theor. Popul. Biol. 2018)] is sharp when the loci are unlinked and when there is no selfing, and provide a number of new formulas for other scaling scenarios that have not been considered before. We present asymptotic results for the variance of Tajima's estimator of the population mutation rate for infinitely many loci as $N$ tends to infinity. When the selfing probability is of order $O(1)$ and is equal to a positive constant $s$ for all $N$ and if the samples at both loci are in the same individual, then the variance of the Tajima's estimator tends to $s/2$ (hence remains positive) even when the recombination rate, the number of loci and the population size all tend to infinity.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
Weisfeiler and Leman Go Infinite: Spectral and Combinatorial Pre-Colorings
Authors:
Or Feldman,
Amit Boyarski,
Shai Feldman,
Dani Kogan,
Avi Mendelson,
Chaim Baskin
Abstract:
Graph isomorphism testing is usually approached via the comparison of graph invariants. Two popular alternatives that offer a good trade-off between expressive power and computational efficiency are combinatorial (i.e., obtained via the Weisfeiler-Leman (WL) test) and spectral invariants. While the exact power of the latter is still an open question, the former is regularly criticized for its limi…
▽ More
Graph isomorphism testing is usually approached via the comparison of graph invariants. Two popular alternatives that offer a good trade-off between expressive power and computational efficiency are combinatorial (i.e., obtained via the Weisfeiler-Leman (WL) test) and spectral invariants. While the exact power of the latter is still an open question, the former is regularly criticized for its limited power, when a standard configuration of uniform pre-coloring is used. This drawback hinders the applicability of Message Passing Graph Neural Networks (MPGNNs), whose expressive power is upper bounded by the WL test. Relaxing the assumption of uniform pre-coloring, we show that one can increase the expressive power of the WL test ad infinitum. Following that, we propose an efficient pre-coloring based on spectral features that provably increase the expressive power of the vanilla WL test. The above claims are accompanied by extensive synthetic and real data experiments. The code to reproduce our experiments is available at https://github.com/TPFI22/Spectral-and-Combinatorial
△ Less
Submitted 2 March, 2022; v1 submitted 31 January, 2022;
originally announced January 2022.
-
Cyclic and well-rounded lattices
Authors:
Lenny Fukshansky,
David Kogan
Abstract:
We focus on two important classes of lattices, the well-rounded and the cyclic. We show that every well-rounded lattice in the plane is similar to a cyclic lattice, and use this cyclic parameterization to count planar well-rounded similarity classes defined over a fixed number field with respect to height. We then investigate cyclic properties of the irreducible root lattices in arbitrary dimensio…
▽ More
We focus on two important classes of lattices, the well-rounded and the cyclic. We show that every well-rounded lattice in the plane is similar to a cyclic lattice, and use this cyclic parameterization to count planar well-rounded similarity classes defined over a fixed number field with respect to height. We then investigate cyclic properties of the irreducible root lattices in arbitrary dimensions, in particular classifying those that are simple cyclic, i.e. generated by rotation shifts of a single vector. Finally, we classify cyclic, simple cyclic and well-rounded cyclic lattices coming from rings of integers of Galois algebraic number fields.
△ Less
Submitted 16 February, 2022; v1 submitted 10 October, 2021;
originally announced October 2021.
-
On average coherence of cyclotomic lattices
Authors:
Lenny Fukshansky,
David Kogan
Abstract:
We introduce maximal and average coherence on lattices by analogy with these notions on frames in Euclidean spaces. Lattices with low coherence can be of interest in signal processing, whereas lattices with high orthogonality defect are of interest in sphere packing problems. As such, coherence and orthogonality defect are different measures of the extent to which a lattice fails to be orthogonal,…
▽ More
We introduce maximal and average coherence on lattices by analogy with these notions on frames in Euclidean spaces. Lattices with low coherence can be of interest in signal processing, whereas lattices with high orthogonality defect are of interest in sphere packing problems. As such, coherence and orthogonality defect are different measures of the extent to which a lattice fails to be orthogonal, and maximizing their quotient (normalized for the number of minimal vectors with respect to dimension) gives lattices with particularly good optimization properties. While orthogonality defect is a fairly classical and well-studied notion on various families of lattices, coherence is not. We investigate coherence properties of a nice family of algebraic lattices coming from rings of integers in cyclotomic number fields, proving a simple formula for their average coherence. We look at some examples of such lattices and compare their coherence properties to those of the standard root lattices.
△ Less
Submitted 4 November, 2022; v1 submitted 14 December, 2020;
originally announced December 2020.
-
Lubricated gravity currents of power-law fluids
Authors:
Pramoda Kumar,
Shahar Zuri,
David Kogan,
Moshe Gottlieb,
Roiy Sayag
Abstract:
The motion of glaciers over their bedrock or drops of fluid along a solid surface can vary dramatically when these substrates are lubricated. We investigate the coupled flow of a gravity current (GC) of strain-rate softening fluid that is lubricated by a denser, lower-viscosity Newtonian fluid. We present a set of experiments in which such GCs are discharged axisymmetrically and at constant flux o…
▽ More
The motion of glaciers over their bedrock or drops of fluid along a solid surface can vary dramatically when these substrates are lubricated. We investigate the coupled flow of a gravity current (GC) of strain-rate softening fluid that is lubricated by a denser, lower-viscosity Newtonian fluid. We present a set of experiments in which such GCs are discharged axisymmetrically and at constant flux over a flat surface. Using imaging techniques we follow the front evolution of each fluid and their thickness field. We find that the two fronts of our lubricated GCs evolve faster than non-lubricated GCs, though with similar time exponents. In addition, the thickness of the non-Newtonian fluid is nearly uniform while that of the lubricating fluid is nonmonotonic with localised spikes. Nevertheless, lubricated GCs remain axisymmetric as long as the flux of the lubricating fluid is sufficiently smaller than the non-Newtonian fluid flux.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Language Representation Models for Fine-Grained Sentiment Classification
Authors:
Brian Cheang,
Bailey Wei,
David Kogan,
Howey Qiu,
Masud Ahmed
Abstract:
Sentiment classification is a quickly advancing field of study with applications in almost any field. While various models and datasets have shown high accuracy inthe task of binary classification, the task of fine-grained sentiment classification is still an area with room for significant improvement. Analyzing the SST-5 dataset,previous work by Munikar et al. (2019) showed that the embedding too…
▽ More
Sentiment classification is a quickly advancing field of study with applications in almost any field. While various models and datasets have shown high accuracy inthe task of binary classification, the task of fine-grained sentiment classification is still an area with room for significant improvement. Analyzing the SST-5 dataset,previous work by Munikar et al. (2019) showed that the embedding tool BERT allowed a simple model to achieve state-of-the-art accuracy. Since that paper, several BERT alternatives have been published, with three primary ones being AlBERT (Lan et al., 2019), DistilBERT (Sanh et al. 2019), and RoBERTa (Liu etal. 2019). While these models report some improvement over BERT on the popular benchmarks GLUE, SQuAD, and RACE, they have not been applied to the fine-grained classification task. In this paper, we examine whether the improvements hold true when applied to a novel task, by replicating the BERT model from Munikar et al., and swap** the embedding layer to the alternative models. Over the experiments, we found that AlBERT suffers significantly more accuracy loss than reported on other tasks, DistilBERT has accuracy loss similar to their reported loss on other tasks while being the fastest model to train, and RoBERTa reaches anew state-of-the-art accuracy for prediction on the SST-5 root level (60.2%).
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
On the geometry of nearly orthogonal lattices
Authors:
Lenny Fukshansky,
David Kogan
Abstract:
Nearly orthogonal lattices were formally defined in [4], where their applications to image compression were also discussed. The idea of ``near orthogonality" in $2$-dimensions goes back to the work of Gauss. In this paper, we focus on well-rounded nearly orthogonal lattices in~$\mathbb R^n$ and investigate their geometric and optimization properties. Specifically, we prove that the sphere packing…
▽ More
Nearly orthogonal lattices were formally defined in [4], where their applications to image compression were also discussed. The idea of ``near orthogonality" in $2$-dimensions goes back to the work of Gauss. In this paper, we focus on well-rounded nearly orthogonal lattices in~$\mathbb R^n$ and investigate their geometric and optimization properties. Specifically, we prove that the sphere packing density function on the space of well-rounded lattices in dimension $n\geq 3$ does not have any local maxima on the nearly orthogonal set and has only one local minimum there: at the integer lattice~$\mathbb Z^n$. Further, we show that the nearly orthogonal set cannot contain any perfect lattices for~$n \geq 3$, although it contains multiple eutactic (and even strongly eutactic) lattices in every dimension. This implies that eutactic lattices, while always critical points of the packing density function, are not necessarily local maxima or minima even among the well-rounded lattices. We also prove that a (weakly) nearly orthogonal lattice in~$\mathbb R^n$ contains no more than~$4n-2$ minimal vectors (with any smaller even number possible) and establish some bounds on coherence of these lattices.
△ Less
Submitted 19 July, 2021; v1 submitted 8 March, 2020;
originally announced March 2020.
-
T/Key: Second-Factor Authentication From Secure Hash Chains
Authors:
Dmitry Kogan,
Nathan Manohar,
Dan Boneh
Abstract:
Time-based one-time password (TOTP) systems in use today require storing secrets on both the client and the server. As a result, an attack on the server can expose all second factors for all users in the system. We present T/Key, a time-based one-time password system that requires no secrets on the server. Our work modernizes the classic S/Key system and addresses the challenges in making such a s…
▽ More
Time-based one-time password (TOTP) systems in use today require storing secrets on both the client and the server. As a result, an attack on the server can expose all second factors for all users in the system. We present T/Key, a time-based one-time password system that requires no secrets on the server. Our work modernizes the classic S/Key system and addresses the challenges in making such a system secure and practical. At the heart of our construction is a new lower bound analyzing the hardness of inverting hash chains composed of independent random functions, which formalizes the security of this widely used primitive. Additionally, we develop a near-optimal algorithm for quickly generating the required elements in a hash chain with little memory on the client. We report on our implementation of T/Key as an Android application. T/Key can be used as a replacement for current TOTP systems, and it remains secure in the event of a server-side compromise. The cost, as with S/Key, is that one-time passwords are longer than the standard six characters used in TOTP.
△ Less
Submitted 28 August, 2017;
originally announced August 2017.
-
Extended field-of-view in a lensless endoscope using an aperiodic multicore fiber
Authors:
Siddharth Sivankutty,
Viktor Tsvirkun,
Géraud Bouwmans,
Dani Kogan,
Dan Oron,
Esben Ravn Andresen,
Hervé Rigneault
Abstract:
We investigate lensless endoscopy using coherent beam combining and aperiodic multicore fibers (MCF). We show that diffracted orders, inherent to MCF with periodically arranged cores, dramatically reduce the field of view (FoV) and that randomness in MCF core positions can increase the FoV up to the diffraction limit set by a single fiber core, while maintaining MCF experimental feasibility. We de…
▽ More
We investigate lensless endoscopy using coherent beam combining and aperiodic multicore fibers (MCF). We show that diffracted orders, inherent to MCF with periodically arranged cores, dramatically reduce the field of view (FoV) and that randomness in MCF core positions can increase the FoV up to the diffraction limit set by a single fiber core, while maintaining MCF experimental feasibility. We demonstrate experimentally pixelation-free lensless endoscopy imaging over a 120 micron FoV with an aperiodic MCF designed with widely spaced cores. We show that this system is suitable to perform beam scanning imaging by simply applying a tilt to the proximal wavefront.
△ Less
Submitted 27 June, 2016;
originally announced June 2016.
-
On The 2D Phase Retrieval Problem
Authors:
Dani Kogan,
Yonina C. Eldar,
Dan Oron
Abstract:
The recovery of a signal from the magnitude of its Fourier transform, also known as phase retrieval, is of fundamental importance in many scientific fields. It is well known that due to the loss of Fourier phase the problem in 1D is ill-posed. Without further constraints, there is no unique solution to the problem. In contrast, uniqueness up to trivial ambiguities very often exists in higher dimen…
▽ More
The recovery of a signal from the magnitude of its Fourier transform, also known as phase retrieval, is of fundamental importance in many scientific fields. It is well known that due to the loss of Fourier phase the problem in 1D is ill-posed. Without further constraints, there is no unique solution to the problem. In contrast, uniqueness up to trivial ambiguities very often exists in higher dimensions, with mild constraints on the input. In this paper we focus on the 2D phase retrieval problem and provide insight into this uniqueness property by exploring the connection between the 2D and 1D formulations. In particular, we show that 2D phase retrieval can be cast as a 1D problem with additional constraints, which limit the solution space. We then prove that only one additional constraint is sufficient to reduce the many feasible solutions in the 1D setting to a unique solution for almost all signals. These results allow to obtain an analytical approach (with combinatorial complexity) to solve the 2D phase retrieval problem when it is unique.
△ Less
Submitted 26 May, 2016;
originally announced May 2016.
-
Self-similar ultra-relativistic jetted blast wave
Authors:
Uri Keshet,
Dani Kogan
Abstract:
Following a suggestion that a directed relativistic explosion may have a universal intermediate asymptotic, we derive a self-similar solution for an ultra-relativistic jetted blast wave. The solution involves three distinct regions: an approximately paraboloid head where the Lorentz factor $γ$ exceeds $\sim1/2$ of its maximal, nose value; a geometrically self-similar, expanding envelope slightly n…
▽ More
Following a suggestion that a directed relativistic explosion may have a universal intermediate asymptotic, we derive a self-similar solution for an ultra-relativistic jetted blast wave. The solution involves three distinct regions: an approximately paraboloid head where the Lorentz factor $γ$ exceeds $\sim1/2$ of its maximal, nose value; a geometrically self-similar, expanding envelope slightly narrower than a paraboloid; and an axial core in which the (cylindrically, henceforth) radial flow $u$ converges inward towards the axis. Most ($\sim 80\%$) of the energy lies well beyond the leading, head region. Here, a radial cross section shows a maximal $γ$ (separating the core and the envelope), a sign reversal in $u$, and a minimal $γ$, at respectively $\sim 1/6$, $\sim1/4$, and $\sim3/4$ of the shock radius. The solution is apparently unique, and approximately agrees with previous simulations, of different initial conditions, that resolved the head. This suggests that unlike a spherical relativistic blast wave, our solution is an attractor, and may thus describe directed blast waves such as in the external shock phase of a $γ$-ray burst.
△ Less
Submitted 7 December, 2015; v1 submitted 15 June, 2015;
originally announced June 2015.
-
An isoperimetric inequality for conjugation-invariant sets in the symmetric group
Authors:
Neta Atzmon,
David Ellis,
Dmitry Kogan
Abstract:
We prove an isoperimetric inequality for conjugation-invariant sets of size $k$ in $S_n$, showing that these necessarily have edge-boundary considerably larger than some other sets of size $k$ (provided $k$ is small). Specifically, let $T_n$ denote the Cayley graph on $S_n$ generated by the set of all transpositions. We show that if $A \subset S_n$ is a conjugation-invariant set with…
▽ More
We prove an isoperimetric inequality for conjugation-invariant sets of size $k$ in $S_n$, showing that these necessarily have edge-boundary considerably larger than some other sets of size $k$ (provided $k$ is small). Specifically, let $T_n$ denote the Cayley graph on $S_n$ generated by the set of all transpositions. We show that if $A \subset S_n$ is a conjugation-invariant set with $|A| = pn! \leq n!/2$, then the edge-boundary of $A$ in $T_n$ has size at least $$c \cdot \frac {\log_2 (\tfrac 1{p})}{\log_2 \log_2 (\tfrac 2{p})}\cdot n \cdot |A|,$$ where $c$ is an absolute constant. (This is sharp up to an absolute constant factor, when $p = Θ(1/s!)$ for any $s \in \{1,2,...,n\}$.) It follows that if $p = n^{-Θ(1)}$, then the edge-boundary of a conjugation-invariant set of measure $p$ is necessarily a factor of $Ω(\log n / \log \log n)$ larger than the minimum edge-boundary over all sets of measure $p$.
△ Less
Submitted 28 October, 2014; v1 submitted 16 September, 2014;
originally announced September 2014.
-
Sketching Cuts in Graphs and Hypergraphs
Authors:
Dmitry Kogan,
Robert Krauthgamer
Abstract:
Sketching and streaming algorithms are in the forefront of current research directions for cut problems in graphs. In the streaming model, we show that $(1-ε)$-approximation for Max-Cut must use $n^{1-O(ε)}$ space; moreover, beating $4/5$-approximation requires polynomial space. For the sketching model, we show that $r$-uniform hypergraphs admit a $(1+ε)$-cut-sparsifier (i.e., a weighted subhyperg…
▽ More
Sketching and streaming algorithms are in the forefront of current research directions for cut problems in graphs. In the streaming model, we show that $(1-ε)$-approximation for Max-Cut must use $n^{1-O(ε)}$ space; moreover, beating $4/5$-approximation requires polynomial space. For the sketching model, we show that $r$-uniform hypergraphs admit a $(1+ε)$-cut-sparsifier (i.e., a weighted subhypergraph that approximately preserves all the cuts) with $O(ε^{-2} n (r+\log n))$ edges. We also make first steps towards sketching general CSPs (Constraint Satisfaction Problems).
△ Less
Submitted 8 September, 2014;
originally announced September 2014.