-
Understanding the Role of Temperature in Diverse Question Generation by GPT-4
Authors:
Arav Agarwal,
Karthik Mittal,
Aidan Doyle,
Pragnya Sridhar,
Zipiao Wan,
Jacob Arthur Doughty,
Jaromir Savelka,
Majd Sakr
Abstract:
We conduct a preliminary study of the effect of GPT's temperature parameter on the diversity of GPT4-generated questions. We find that using higher temperature values leads to significantly higher diversity, with different temperatures exposing different types of similarity between generated sets of questions. We also demonstrate that diverse question generation is especially difficult for questio…
▽ More
We conduct a preliminary study of the effect of GPT's temperature parameter on the diversity of GPT4-generated questions. We find that using higher temperature values leads to significantly higher diversity, with different temperatures exposing different types of similarity between generated sets of questions. We also demonstrate that diverse question generation is especially difficult for questions targeting lower levels of Bloom's Taxonomy.
△ Less
Submitted 14 April, 2024;
originally announced April 2024.
-
Forward-backward-forward dynamics for bilevel equilibrium problem
Authors:
Kanchan Mittal,
Pankaj Gautam,
V. Vetrivel
Abstract:
We introduce a forward-backward-forward (FBF) algorithm for solving bilevel equilibrium problem associated with bifunctions on a real Hilbert space. This modifies the forward-backward algorithm by relaxing cocoercivity with monotone and Lipschitzness. Further, we present the FBF dynamical system and investigate the generated trajectory's existence, uniqueness and weak convergence. We illustrate th…
▽ More
We introduce a forward-backward-forward (FBF) algorithm for solving bilevel equilibrium problem associated with bifunctions on a real Hilbert space. This modifies the forward-backward algorithm by relaxing cocoercivity with monotone and Lipschitzness. Further, we present the FBF dynamical system and investigate the generated trajectory's existence, uniqueness and weak convergence. We illustrate the proposed method for equilibrium problem under saddle point constraint.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
TRUCE: Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs
Authors:
Tanmay Rajore,
Nishanth Chandran,
Sunayana Sitaram,
Divya Gupta,
Rahul Sharma,
Kashish Mittal,
Manohar Swaminathan
Abstract:
Benchmarking is the de-facto standard for evaluating LLMs, due to its speed, replicability and low cost. However, recent work has pointed out that the majority of the open source benchmarks available today have been contaminated or leaked into LLMs, meaning that LLMs have access to test data during pretraining and/or fine-tuning. This raises serious concerns about the validity of benchmarking stud…
▽ More
Benchmarking is the de-facto standard for evaluating LLMs, due to its speed, replicability and low cost. However, recent work has pointed out that the majority of the open source benchmarks available today have been contaminated or leaked into LLMs, meaning that LLMs have access to test data during pretraining and/or fine-tuning. This raises serious concerns about the validity of benchmarking studies conducted so far and the future of evaluation using benchmarks. To solve this problem, we propose Private Benchmarking, a solution where test datasets are kept private and models are evaluated without revealing the test data to the model. We describe various scenarios (depending on the trust placed on model owners or dataset owners), and present solutions to avoid data contamination using private benchmarking. For scenarios where the model weights need to be kept private, we describe solutions from confidential computing and cryptography that can aid in private benchmarking. We build an end-to-end system, TRUCE, that enables such private benchmarking showing that the overheads introduced to protect models and benchmark are negligible (in the case of confidential computing) and tractable (when cryptographic security is required). Finally, we also discuss solutions to the problem of benchmark dataset auditing, to ensure that private benchmarks are of sufficiently high quality.
△ Less
Submitted 24 June, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
High-performance finite elements with MFEM
Authors:
Julian Andrej,
Nabil Atallah,
Jan-Phillip Bäcker,
John Camier,
Dylan Copeland,
Veselin Dobrev,
Yohann Dudouit,
Tobias Duswald,
Brendan Keith,
Dohyun Kim,
Tzanio Kolev,
Boyan Lazarov,
Ketan Mittal,
Will Pazner,
Socratis Petrides,
Syun'ichi Shiraiwa,
Mark Stowell,
Vladimir Tomov
Abstract:
The MFEM (Modular Finite Element Methods) library is a high-performance C++ library for finite element discretizations. MFEM supports numerous types of finite element methods and is the discretization engine powering many computational physics and engineering applications across a number of domains. This paper describes some of the recent research and development in MFEM, focusing on performance p…
▽ More
The MFEM (Modular Finite Element Methods) library is a high-performance C++ library for finite element discretizations. MFEM supports numerous types of finite element methods and is the discretization engine powering many computational physics and engineering applications across a number of domains. This paper describes some of the recent research and development in MFEM, focusing on performance portability across leadership-class supercomputing facilities, including exascale supercomputers, as well as new capabilities and functionality, enabling a wider range of applications. Much of this work was undertaken as part of the Department of Energy's Exascale Computing Project (ECP) in collaboration with the Center for Efficient Exascale Discretizations (CEED).
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Mixed-Order Meshes through rp-adaptivity for Surface Fitting to Implicit Geometries
Authors:
Ketan Mittal,
Veselin A. Dobrev,
Patrick Knupp,
Tzanio Kolev,
Franck Ledoux,
Claire Roche,
Vladimir Z. Tomov
Abstract:
Computational analysis with the finite element method requires geometrically accurate meshes. It is well known that high-order meshes can accurately capture curved surfaces with fewer degrees of freedom in comparison to low-order meshes. Existing techniques for high-order mesh generation typically output meshes with same polynomial order for all elements. However, high order elements away from cur…
▽ More
Computational analysis with the finite element method requires geometrically accurate meshes. It is well known that high-order meshes can accurately capture curved surfaces with fewer degrees of freedom in comparison to low-order meshes. Existing techniques for high-order mesh generation typically output meshes with same polynomial order for all elements. However, high order elements away from curvilinear boundaries or interfaces increase the computational cost of the simulation without increasing geometric accuracy. In prior work, we have presented one such approach for generating body-fitted uniform-order meshes that takes a given mesh and morphs it to align with the surface of interest prescribed as the zero isocontour of a level-set function. We extend this method to generate mixed-order meshes such that curved surfaces of the domain are discretized with high-order elements, while low-order elements are used elsewhere. Numerical experiments demonstrate the robustness of the approach and show that it can be used to generate mixed-order meshes that are much more efficient than high uniform-order meshes. The proposed approach is purely algebraic, and extends to different types of elements (quadrilaterals/triangles/tetrahedron/hexahedra) in two- and three-dimensions.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Comuniqa : Exploring Large Language Models for improving speaking skills
Authors:
Manas Mhasakar,
Shikhar Sharma,
Apurv Mehra,
Utkarsh Venaik,
Ujjwal Singhal,
Dhruv Kumar,
Kashish Mittal
Abstract:
In this paper, we investigate the potential of Large Language Models (LLMs) to improve English speaking skills. This is particularly relevant in countries like India, where English is crucial for academic, professional, and personal communication but remains a non-native language for many. Traditional methods for enhancing speaking skills often rely on human experts, which can be limited in terms…
▽ More
In this paper, we investigate the potential of Large Language Models (LLMs) to improve English speaking skills. This is particularly relevant in countries like India, where English is crucial for academic, professional, and personal communication but remains a non-native language for many. Traditional methods for enhancing speaking skills often rely on human experts, which can be limited in terms of scalability, accessibility, and affordability. Recent advancements in Artificial Intelligence (AI) offer promising solutions to overcome these limitations.
We propose Comuniqa, a novel LLM-based system designed to enhance English speaking skills. We adopt a human-centric evaluation approach, comparing Comuniqa with the feedback and instructions provided by human experts. In our evaluation, we divide the participants in three groups: those who use LLM-based system for improving speaking skills, those guided by human experts for the same task and those who utilize both the LLM-based system as well as the human experts. Using surveys, interviews, and actual study sessions, we provide a detailed perspective on the effectiveness of different learning modalities. Our preliminary findings suggest that while LLM-based systems have commendable accuracy, they lack human-level cognitive capabilities, both in terms of accuracy and empathy. Nevertheless, Comuniqa represents a significant step towards achieving Sustainable Development Goal 4: Quality Education by providing a valuable learning tool for individuals who may not have access to human experts for improving their speaking skills.
△ Less
Submitted 14 May, 2024; v1 submitted 28 January, 2024;
originally announced January 2024.
-
Learning Arithmetic Formulas in the Presence of Noise: A General Framework and Applications to Unsupervised Learning
Authors:
Pritam Chandra,
Ankit Garg,
Neeraj Kayal,
Kunal Mittal,
Tanmay Sinha
Abstract:
We present a general framework for designing efficient algorithms for unsupervised learning problems, such as mixtures of Gaussians and subspace clustering. Our framework is based on a meta algorithm that learns arithmetic circuits in the presence of noise, using lower bounds. This builds upon the recent work of Garg, Kayal and Saha (FOCS 20), who designed such a framework for learning arithmetic…
▽ More
We present a general framework for designing efficient algorithms for unsupervised learning problems, such as mixtures of Gaussians and subspace clustering. Our framework is based on a meta algorithm that learns arithmetic circuits in the presence of noise, using lower bounds. This builds upon the recent work of Garg, Kayal and Saha (FOCS 20), who designed such a framework for learning arithmetic circuits without any noise. A key ingredient of our meta algorithm is an efficient algorithm for a novel problem called Robust Vector Space Decomposition. We show that our meta algorithm works well when certain matrices have sufficiently large smallest non-zero singular values. We conjecture that this condition holds for smoothed instances of our problems, and thus our framework would yield efficient algorithms for these problems in the smoothed setting.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Group Testing for Accurate and Efficient Range-Based Near Neighbor Search : An Adaptive Binary Splitting Approach
Authors:
Kashish Mittal,
Harsh Shah,
Ajit Rajwade
Abstract:
This work presents an adaptive group testing framework for the range-based high dimensional near neighbor search problem. The proposed method detects high-similarity vectors from an extensive collection of high dimensional vectors, where each vector represents an image descriptor. Our method efficiently marks each item in the collection as neighbor or non-neighbor on the basis of a cosine distance…
▽ More
This work presents an adaptive group testing framework for the range-based high dimensional near neighbor search problem. The proposed method detects high-similarity vectors from an extensive collection of high dimensional vectors, where each vector represents an image descriptor. Our method efficiently marks each item in the collection as neighbor or non-neighbor on the basis of a cosine distance threshold without exhaustive search. Like other methods in the domain of large scale retrieval, our approach exploits the assumption that most of the items in the collection are unrelated to the query. Unlike other methods, it does not assume a large difference between the cosine similarity of the query vector with the least related neighbor and that with the least unrelated non-neighbor. Following the procedure of binary splitting, a multi-stage adaptive group testing algorithm, we split the set of items to be searched into half at each step, and perform dot product tests on smaller and smaller subsets, many of which we are able to prune away. We experimentally show that our method achieves a speed-up over exhaustive search by a factor of more than ten with an accuracy same as that of exhaustive search, on a variety of large datasets. We present a theoretical analysis of the expected number of distance computations per query and the probability that a pool with a certain number of members will be pruned. In this way, our method exploits very useful and practical distributional properties unlike other methods. In our method, all required data structures are created purely offline. Moreover, our method does not impose any strong assumptions on the number of true near neighbors, is adaptible to streaming settings where new vectors are dynamically added to the database, and does not require any parameter tuning.
△ Less
Submitted 5 November, 2023;
originally announced November 2023.
-
Neutral Hydrogen (HI) 21 cm as a probe: Investigating Spatial Variations in Interstellar Turbulent Properties
Authors:
Amit K. Mittal,
Brian L Babler,
Snezana Stanimirovic,
Nickolas **el
Abstract:
Interstellar turbulence shapes the HI distribution in the Milky Way (MW). How this affects large-scale statistical properties of HI column density across the MW remains largely unconstrained. We use approx 13,000 square-degree GALFA-HI survey to map statistical fluctuations of HI over the 40 km s-1 velocity range. We calculate the spatial power spectrum (SPS) of HI column density image by running…
▽ More
Interstellar turbulence shapes the HI distribution in the Milky Way (MW). How this affects large-scale statistical properties of HI column density across the MW remains largely unconstrained. We use approx 13,000 square-degree GALFA-HI survey to map statistical fluctuations of HI over the 40 km s-1 velocity range. We calculate the spatial power spectrum (SPS) of HI column density image by running a 3-degree kernel and measuring SPS slope over a range of angular scales from 16 arcmin to 20 degree. Due to GALFA complex observing and calibration strategy, we construct detailed estimates of the noise contribution and account for GALFA beam effects on SPS. This allows us to systematically analyze HI images that trace a wide range of interstellar environments. We find that SPS slope varies between -2.6 at high Galactic latitudes, and -3.2 close to Galactic plane. The range of SPS slope values becomes tighter when we consider HI optical depth and line-of-sight length caused by the plane-parallel geometry of HI disk. This relatively uniform, large-scale distribution of SPS slope is suggestive of large-scale turbulent driving being a dominant mechanism for sha** HI structures in the MW and/or the stellar feedback turbulence being efficiently dissipated within dense molecular clouds. Only at latitudes above 60 degrees we find evidence for HI SPS slope being consistently more shallow. Those directions are largely within the Local Bubble, suggesting the recent history of this cavity, shaped by multiple supernovae explosions, has modified the turbulent state of HI and/or fractions of HI phases.
△ Less
Submitted 21 October, 2023;
originally announced October 2023.
-
DynAMO: Multi-agent reinforcement learning for dynamic anticipatory mesh optimization with applications to hyperbolic conservation laws
Authors:
Tarik Dzanic,
Ketan Mittal,
Dohyun Kim,
Jiachen Yang,
Socratis Petrides,
Brendan Keith,
Robert Anderson
Abstract:
We introduce DynAMO, a reinforcement learning paradigm for Dynamic Anticipatory Mesh Optimization. Adaptive mesh refinement is an effective tool for optimizing computational cost and solution accuracy in numerical methods for partial differential equations. However, traditional adaptive mesh refinement approaches for time-dependent problems typically rely only on instantaneous error indicators to…
▽ More
We introduce DynAMO, a reinforcement learning paradigm for Dynamic Anticipatory Mesh Optimization. Adaptive mesh refinement is an effective tool for optimizing computational cost and solution accuracy in numerical methods for partial differential equations. However, traditional adaptive mesh refinement approaches for time-dependent problems typically rely only on instantaneous error indicators to guide adaptivity. As a result, standard strategies often require frequent remeshing to maintain accuracy. In the DynAMO approach, multi-agent reinforcement learning is used to discover new local refinement policies that can anticipate and respond to future solution states by producing meshes that deliver more accurate solutions for longer time intervals. By applying DynAMO to discontinuous Galerkin methods for the linear advection and compressible Euler equations in two dimensions, we demonstrate that this new mesh refinement paradigm can outperform conventional threshold-based strategies while also generalizing to different mesh sizes, remeshing and simulation times, and initial conditions.
△ Less
Submitted 9 March, 2024; v1 submitted 2 October, 2023;
originally announced October 2023.
-
ABScribe: Rapid Exploration & Organization of Multiple Writing Variations in Human-AI Co-Writing Tasks using Large Language Models
Authors:
Mohi Reza,
Nathan Laundry,
Ilya Musabirov,
Peter Dushniku,
Zhi Yuan "Michael" Yu,
Kashish Mittal,
Tovi Grossman,
Michael Liut,
Anastasia Kuzminykh,
Joseph Jay Williams
Abstract:
Exploring alternative ideas by rewriting text is integral to the writing process. State-of-the-art Large Language Models (LLMs) can simplify writing variation generation. However, current interfaces pose challenges for simultaneous consideration of multiple variations: creating new variations without overwriting text can be difficult, and pasting them sequentially can clutter documents, increasing…
▽ More
Exploring alternative ideas by rewriting text is integral to the writing process. State-of-the-art Large Language Models (LLMs) can simplify writing variation generation. However, current interfaces pose challenges for simultaneous consideration of multiple variations: creating new variations without overwriting text can be difficult, and pasting them sequentially can clutter documents, increasing workload and disrupting writers' flow. To tackle this, we present ABScribe, an interface that supports rapid, yet visually structured, exploration and organization of writing variations in human-AI co-writing tasks. With ABScribe, users can swiftly modify variations using LLM prompts, which are auto-converted into reusable buttons. Variations are stored adjacently within text fields for rapid in-place comparisons using mouse-over interactions on a popup toolbar. Our user study with 12 writers shows that ABScribe significantly reduces task workload (d = 1.20, p < 0.001), enhances user perceptions of the revision process (d = 2.41, p < 0.001) compared to a popular baseline workflow, and provides insights into how writers explore variations using LLMs.
△ Less
Submitted 27 March, 2024; v1 submitted 29 September, 2023;
originally announced October 2023.
-
A High-Order Shifted Interface Method for Lagrangian Shock Hydrodynamics
Authors:
Nabil M. Atallah,
Ketan Mittal,
Guglielmo Scovazzi,
Vladimir Z. Tomov
Abstract:
We present a new method for two-material Lagrangian hydrodynamics, which combines the Shifted Interface Method (SIM) with a high-order Finite Element Method. Our approach relies on an exact (or sharp) material interface representation, that is, it uses the precise location of the material interface. The interface is represented by the zero level-set of a continuous high-order finite element functi…
▽ More
We present a new method for two-material Lagrangian hydrodynamics, which combines the Shifted Interface Method (SIM) with a high-order Finite Element Method. Our approach relies on an exact (or sharp) material interface representation, that is, it uses the precise location of the material interface. The interface is represented by the zero level-set of a continuous high-order finite element function that moves with the material velocity. This strategy allows to evolve curved material interfaces inside curved elements. By reformulating the original interface problem over a surrogate (approximate) interface, located in proximity of the true interface, the SIM avoids cut cells and the associated problematic issues regarding implementation, numerical stability, and matrix conditioning. Accuracy is maintained by modifying the original interface conditions using Taylor expansions. We demonstrate the performance of the proposed algorithms on established numerical benchmarks in one, two and three dimensions.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Determining Smallest Path Size of Multiplication Transducers Without a Restricted Digit Set
Authors:
Aditya Mittal,
Karthik Mittal
Abstract:
Directed multiplication transducers are a tool for performing non-decimal base multiplication without an additional conversion to base 10. This allows for faster computation and provides easier visualization depending on the problem at hand. By building these multiplication transducers computationally, new patterns can be identified as these transducers can be built with much larger bases and mult…
▽ More
Directed multiplication transducers are a tool for performing non-decimal base multiplication without an additional conversion to base 10. This allows for faster computation and provides easier visualization depending on the problem at hand. By building these multiplication transducers computationally, new patterns can be identified as these transducers can be built with much larger bases and multipliers. Through a recursive approach, we created artificial multiplication transducers, allowing for the formation of several unique conjectures specifically focused on the smallest closed loop around a multiplication transducer starting and ending at zero. We show a general recursive pattern for this loop; through this recurrence relation, the length of the smallest closed loop for a particular transducer base b along with the range of multipliers having this particular length for multiplier m was also identified. This research is expected to be explored further by testing reductions of the digit set and determining whether similar properties will hold.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
A Numerically Robust and Stable Time-Space Pseudospectral Approach for Generalized Burgers-Fisher Equation
Authors:
Harvindra Singh,
Lokendra Balyan,
A. K. Mittal,
Parul Saini
Abstract:
In this article, we present the time-space Chebyshev pseudospectral method (TS-CPsM) to approximate a solution to the generalised Burgers-Fisher (gBF) equation. The Chebyshev-Gauss-Lobatto (CGL) points serve as the foundation for the recommended method, which makes use of collocations in both the time and space directions. Further, using a map**, the non-homogeneous initial-boundary value proble…
▽ More
In this article, we present the time-space Chebyshev pseudospectral method (TS-CPsM) to approximate a solution to the generalised Burgers-Fisher (gBF) equation. The Chebyshev-Gauss-Lobatto (CGL) points serve as the foundation for the recommended method, which makes use of collocations in both the time and space directions. Further, using a map**, the non-homogeneous initial-boundary value problem is transformed into a homogeneous problem, and a system of algebraic equations is obtained. The numerical approach known as Newton-Raphson is implemented in order to get the desired results for the system. The proposed method's stability analysis has been performed. Different researchers' considerations on test problems have been explored to illustrate the robustness and practicality of the approach presented. The approximate solutions we found using the proposed method are highly accurate and significantly better than the existing results.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
MMSum: A Dataset for Multimodal Summarization and Thumbnail Generation of Videos
Authors:
Jielin Qiu,
Jiacheng Zhu,
William Han,
Aditesh Kumar,
Karthik Mittal,
Claire **,
Zhengyuan Yang,
Linjie Li,
Jianfeng Wang,
Ding Zhao,
Bo Li,
Lijuan Wang
Abstract:
Multimodal summarization with multimodal output (MSMO) has emerged as a promising research direction. Nonetheless, numerous limitations exist within existing public MSMO datasets, including insufficient maintenance, data inaccessibility, limited size, and the absence of proper categorization, which pose significant challenges. To address these challenges and provide a comprehensive dataset for thi…
▽ More
Multimodal summarization with multimodal output (MSMO) has emerged as a promising research direction. Nonetheless, numerous limitations exist within existing public MSMO datasets, including insufficient maintenance, data inaccessibility, limited size, and the absence of proper categorization, which pose significant challenges. To address these challenges and provide a comprehensive dataset for this new direction, we have meticulously curated the \textbf{MMSum} dataset. Our new dataset features (1) Human-validated summaries for both video and textual content, providing superior human instruction and labels for multimodal learning. (2) Comprehensively and meticulously arranged categorization, spanning 17 principal categories and 170 subcategories to encapsulate a diverse array of real-world scenarios. (3) Benchmark tests performed on the proposed dataset to assess various tasks and methods, including \textit{video summarization}, \textit{text summarization}, and \textit{multimodal summarization}. To champion accessibility and collaboration, we will release the \textbf{MMSum} dataset and the data collection tool as fully open-source resources, fostering transparency and accelerating future developments. Our project website can be found at~\url{https://mmsum-dataset.github.io/}
△ Less
Submitted 19 November, 2023; v1 submitted 7 June, 2023;
originally announced June 2023.
-
Synthetic DOmain-Targeted Augmentation (S-DOTA) Improves Model Generalization in Digital Pathology
Authors:
Sai Chowdary Gullapally,
Yibo Zhang,
Nitin Kumar Mittal,
Deeksha Kartik,
Sandhya Srinivasan,
Kevin Rose,
Daniel Shenker,
Dinkar Juyal,
Harshith Padigela,
Raymond Biju,
Victor Minden,
Chirag Maheshwari,
Marc Thibault,
Zvi Goldstein,
Luke Novak,
Nidhi Chandra,
Justin Lee,
Aaditya Prakash,
Chintan Shah,
John Abel,
Darren Fahy,
Amaro Taylor-Weiner,
Anand Sampat
Abstract:
Machine learning algorithms have the potential to improve patient outcomes in digital pathology. However, generalization of these tools is currently limited by sensitivity to variations in tissue preparation, staining procedures and scanning equipment that lead to domain shift in digitized slides. To overcome this limitation and improve model generalization, we studied the effectiveness of two Syn…
▽ More
Machine learning algorithms have the potential to improve patient outcomes in digital pathology. However, generalization of these tools is currently limited by sensitivity to variations in tissue preparation, staining procedures and scanning equipment that lead to domain shift in digitized slides. To overcome this limitation and improve model generalization, we studied the effectiveness of two Synthetic DOmain-Targeted Augmentation (S-DOTA) methods, namely CycleGAN-enabled Scanner Transform (ST) and targeted Stain Vector Augmentation (SVA), and compared them against the International Color Consortium (ICC) profile-based color calibration (ICC Cal) method and a baseline method using traditional brightness, color and noise augmentations. We evaluated the ability of these techniques to improve model generalization to various tasks and settings: four models, two model types (tissue segmentation and cell classification), two loss functions, six labs, six scanners, and three indications (hepatocellular carcinoma (HCC), nonalcoholic steatohepatitis (NASH), prostate adenocarcinoma). We compared these methods based on the macro-averaged F1 scores on in-distribution (ID) and out-of-distribution (OOD) test sets across multiple domains, and found that S-DOTA methods (i.e., ST and SVA) led to significant improvements over ICC Cal and baseline on OOD data while maintaining comparable performance on ID data. Thus, we demonstrate that S-DOTA may help address generalization due to domain shift in real world applications.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Multi-Agent Reinforcement Learning for Adaptive Mesh Refinement
Authors:
Jiachen Yang,
Ketan Mittal,
Tarik Dzanic,
Socratis Petrides,
Brendan Keith,
Brenden Petersen,
Daniel Faissol,
Robert Anderson
Abstract:
Adaptive mesh refinement (AMR) is necessary for efficient finite element simulations of complex physical phenomenon, as it allocates limited computational budget based on the need for higher or lower resolution, which varies over space and time. We present a novel formulation of AMR as a fully-cooperative Markov game, in which each element is an independent agent who makes refinement and de-refine…
▽ More
Adaptive mesh refinement (AMR) is necessary for efficient finite element simulations of complex physical phenomenon, as it allocates limited computational budget based on the need for higher or lower resolution, which varies over space and time. We present a novel formulation of AMR as a fully-cooperative Markov game, in which each element is an independent agent who makes refinement and de-refinement choices based on local information. We design a novel deep multi-agent reinforcement learning (MARL) algorithm called Value Decomposition Graph Network (VDGN), which solves the two core challenges that AMR poses for MARL: posthumous credit assignment due to agent creation and deletion, and unstructured observations due to the diversity of mesh geometries. For the first time, we show that MARL enables anticipatory refinement of regions that will encounter complex features at future times, thereby unlocking entirely new regions of the error-cost objective landscape that are inaccessible by traditional methods based on local error estimators. Comprehensive experiments show that VDGN policies significantly outperform error threshold-based policies in global error and cost metrics. We show that learned policies generalize to test problems with physical features, mesh geometries, and longer simulation times that were not seen in training. We also extend VDGN with multi-objective optimization capabilities to find the Pareto front of the tradeoff between cost and error.
△ Less
Submitted 23 February, 2023; v1 submitted 1 November, 2022;
originally announced November 2022.
-
High-Order Mesh Morphing for Boundary and Interface Fitting to Implicit Geometries
Authors:
Jorge-Luis Barrera,
Tzanio Kolev,
Ketan Mittal,
Vladimir Tomov
Abstract:
We propose a method that morphs high-orger meshes such that their boundaries and interfaces coincide/align with implicitly defined geometries. Our focus is particularly on the case when the target surface is prescribed as the zero isocontour of a smooth discrete function. Common examples of this scenario include using level set functions to represent material interfaces in multimaterial configurat…
▽ More
We propose a method that morphs high-orger meshes such that their boundaries and interfaces coincide/align with implicitly defined geometries. Our focus is particularly on the case when the target surface is prescribed as the zero isocontour of a smooth discrete function. Common examples of this scenario include using level set functions to represent material interfaces in multimaterial configurations, and evolving geometries in shape and topology optimization. The proposed method formulates the mesh optimization problem as a variational minimization of the sum of a chosen mesh-quality metric using the Target-Matrix Optimization Paradigm (TMOP) and a penalty term that weakly forces the selected faces of the mesh to align with the target surface. The distinct features of the method are use of a source mesh to represent the level set function with sufficient accuracy, and adaptive strategies for setting the penalization weight and selecting the faces of the mesh to be fit to the target isocontour of the level set field. We demonstrate that the proposed method is robust for generating boundary- and interface-fitted meshes for curvilinear domains using different element types in 2D and 3D.
△ Less
Submitted 6 February, 2023; v1 submitted 9 August, 2022;
originally announced August 2022.
-
Accelerating High-Order Mesh Optimization Using Finite Element Partial Assembly on GPUs
Authors:
Jean-Sylvain Camier,
Veselin Dobrev,
Patrick Knupp,
Tzanio Kolev,
Ketan Mittal,
Robert Rieben,
Vladimir Tomov
Abstract:
In this paper we present a new GPU-oriented mesh optimization method based on high-order finite elements. Our approach relies on node movement with fixed topology, through the Target-Matrix Optimization Paradigm (TMOP) and uses a global nonlinear solve over the whole computational mesh, i.e., all mesh nodes are moved together. A key property of the method is that the mesh optimization process is r…
▽ More
In this paper we present a new GPU-oriented mesh optimization method based on high-order finite elements. Our approach relies on node movement with fixed topology, through the Target-Matrix Optimization Paradigm (TMOP) and uses a global nonlinear solve over the whole computational mesh, i.e., all mesh nodes are moved together. A key property of the method is that the mesh optimization process is recast in terms of finite element operations, which allows us to utilize recent advances in the field of GPU-accelerated high-order finite element algorithms. For example, we reduce data motion by using tensor factorization and matrix-free methods, which have superior performance characteristics compared to traditional full finite element matrix assembly and offer advantages for GPU-based HPC hardware. We describe the major mathematical components of the method along with their efficient GPU-oriented implementation. In addition, we propose an easily reproducible mesh optimization test that can serve as a performance benchmark for the mesh optimization community.
△ Less
Submitted 1 December, 2022; v1 submitted 23 May, 2022;
originally announced May 2022.
-
Polynomial Bounds On Parallel Repetition For All 3-Player Games With Binary Inputs
Authors:
Uma Girish,
Kunal Mittal,
Ran Raz,
Wei Zhan
Abstract:
We prove that for every 3-player (3-prover) game $\mathcal G$ with value less than one, whose query distribution has the support $\mathcal S = \{(1,0,0), (0,1,0), (0,0,1)\}$ of hamming weight one vectors, the value of the $n$-fold parallel repetition $\mathcal G^{\otimes n}$ decays polynomially fast to zero; that is, there is a constant $c = c(\mathcal G)>0$ such that the value of the game…
▽ More
We prove that for every 3-player (3-prover) game $\mathcal G$ with value less than one, whose query distribution has the support $\mathcal S = \{(1,0,0), (0,1,0), (0,0,1)\}$ of hamming weight one vectors, the value of the $n$-fold parallel repetition $\mathcal G^{\otimes n}$ decays polynomially fast to zero; that is, there is a constant $c = c(\mathcal G)>0$ such that the value of the game $\mathcal G^{\otimes n}$ is at most $n^{-c}$.
Following the recent work of Girish, Holmgren, Mittal, Raz and Zhan (STOC 2022), our result is the missing piece that implies a similar bound for a much more general class of multiplayer games: For $\textbf{every}$ 3-player game $\mathcal G$ over $\textit{binary questions}$ and $\textit{arbitrary answer lengths}$, with value less than 1, there is a constant $c = c(\mathcal G)>0$ such that the value of the game $\mathcal G^{\otimes n}$ is at most $n^{-c}$.
Our proof technique is new and requires many new ideas. For example, we make use of the Level-$k$ inequalities from Boolean Fourier Analysis, which, to the best of our knowledge, have not been explored in this context prior to our work.
△ Less
Submitted 2 April, 2022;
originally announced April 2022.
-
Parallel Repetition For All 3-Player Games Over Binary Alphabet
Authors:
Uma Girish,
Justin Holmgren,
Kunal Mittal,
Ran Raz,
Wei Zhan
Abstract:
We prove that for every 3-player game with binary questions and answers and value $<1$, the value of the $n$-fold parallel repetition of the game decays polynomially fast to 0. That is, for every such game, there exists a constant $c>0$, such that the value of the $n$-fold parallel repetition of the game is at most $n^{-c}$. Along the way to proving this theorem, we prove two additional parallel r…
▽ More
We prove that for every 3-player game with binary questions and answers and value $<1$, the value of the $n$-fold parallel repetition of the game decays polynomially fast to 0. That is, for every such game, there exists a constant $c>0$, such that the value of the $n$-fold parallel repetition of the game is at most $n^{-c}$. Along the way to proving this theorem, we prove two additional parallel repetition theorems for multiplayer games, that may be of independent interest:
Playerwise Connected Games (with any number of players and any Alphabet size): We identify a large class of multiplayer games and prove that for every game with value $<1$ in that class, the value of the $n$-fold parallel repetition of the game decays polynomially fast to 0. More precisely, our result applies for playerwise connected games, with any number of players and any alphabet size. The class of playerwise connected games is strictly larger than the class of connected games that was defined in [DHVY17] and for which exponentially fast decay bounds are known [DHVY17]. For playerwise connected games that are not connected, only inverse Ackermann decay bounds were previously known [Ver96].
Exponential Bounds for the Anti-Correlation Game: In the 3-player anti-correlation game, two out of three players are given $1$ as input, and the remaining player is given $0$. The two players who were given $1$ must produce different outputs in $\{0,1\}$. We prove that the value of the $n$-fold parallel repetition of that game decays exponentially fast to 0. Only inverse Ackermann decay bounds were previously known [Ver96]. This game was studied and motivated in several previous works. In particular, Holmgren and Yang gave it as an example for a 3-player game whose non-signaling value (is smaller than 1 and yet) does not decrease at all under parallel repetition [HY19].
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Unraveling Single-Particle Trajectories Confined in Tubular Networks
Authors:
Yunhao Sun,
Zexi Yu,
Christopher J. Obara,
Keshav Mittal,
Jennifer Lippincott-Schwarz,
Elena F Koslover
Abstract:
The analysis of single particle trajectories plays an important role in elucidating dynamics within complex environments such as those found in living cells. However, the characterization of intracellular particle motion is often confounded by confinement of the particles within non-trivial subcellular geometries. Here, we focus specifically on the case of particles undergoing Brownian motion with…
▽ More
The analysis of single particle trajectories plays an important role in elucidating dynamics within complex environments such as those found in living cells. However, the characterization of intracellular particle motion is often confounded by confinement of the particles within non-trivial subcellular geometries. Here, we focus specifically on the case of particles undergoing Brownian motion within a tubular network, as found in some cellular organelles. An unraveling algorithm is developed to uncouple particle motion from the confining network structure, allowing for an accurate extraction of the diffusion coefficient, as well as differentiating between Brownian and fractional Brownian dynamics. We validate the algorithm with simulated trajectories and then highlight its application to an example system: analyzing the motion of membrane proteins confined in the tubules of the peripheral endoplasmic reticulum in mammalian cells. We show that these proteins undergo diffusive motion with a well-characterized diffusivity. Our algorithm provides a generally applicable approach for disentangling geometric morphology and particle dynamics in networked architectures.
△ Less
Submitted 7 January, 2022; v1 submitted 10 December, 2021;
originally announced December 2021.
-
Parallel Repetition for the GHZ Game: A Simpler Proof
Authors:
Uma Girish,
Justin Holmgren,
Kunal Mittal,
Ran Raz,
Wei Zhan
Abstract:
We give a new proof of the fact that the parallel repetition of the (3-player) GHZ game reduces the value of the game to zero polynomially quickly. That is, we show that the value of the $n$-fold GHZ game is at most $n^{-Ω(1)}$. This was first established by Holmgren and Raz [HR20]. We present a new proof of this theorem that we believe to be simpler and more direct. Unlike most previous works on…
▽ More
We give a new proof of the fact that the parallel repetition of the (3-player) GHZ game reduces the value of the game to zero polynomially quickly. That is, we show that the value of the $n$-fold GHZ game is at most $n^{-Ω(1)}$. This was first established by Holmgren and Raz [HR20]. We present a new proof of this theorem that we believe to be simpler and more direct. Unlike most previous works on parallel repetition, our proof makes no use of information theory, and relies on the use of Fourier analysis.
The GHZ game [GHZ89] has played a foundational role in the understanding of quantum information theory, due in part to the fact that quantum strategies can win the GHZ game with probability 1. It is possible that improved parallel repetition bounds may find applications in this setting.
Recently, Dinur, Harsha, Venkat, and Yuen [DHVY17] highlighted the GHZ game as a simple three-player game, which is in some sense maximally far from the class of multi-player games whose behavior under parallel repetition is well understood. Dinur et al. conjectured that parallel repetition decreases the value of the GHZ game exponentially quickly, and speculated that progress on proving this would shed light on parallel repetition for general multi-player (multi-prover) games.
△ Less
Submitted 13 July, 2021;
originally announced July 2021.
-
Adaptive Surface Fitting and Tangential Relaxation for High-Order Mesh Optimization
Authors:
Patrick Knupp,
Tzanio Kolev,
Ketan Mittal,
Vladimir Z. Tomov
Abstract:
We propose a new approach for controlling the characteristics of certain mesh faces during optimization of high-order curved meshes. The practical goals are tangential relaxation along initially aligned curved boundaries and internal surfaces, and mesh fitting to initially non-aligned surfaces. The distinct feature of the method is that it utilizes discrete finite element functions (for example le…
▽ More
We propose a new approach for controlling the characteristics of certain mesh faces during optimization of high-order curved meshes. The practical goals are tangential relaxation along initially aligned curved boundaries and internal surfaces, and mesh fitting to initially non-aligned surfaces. The distinct feature of the method is that it utilizes discrete finite element functions (for example level set functions) to define implicit surfaces, which are used to adapt the positions of certain mesh nodes. The algorithm does not require CAD descriptions or analytic parametrizations, and can be beneficial in computations with dynamically changing geometry, for example shape optimization and moving mesh multimaterial simulations. The main advantage of this approach is that it completely avoids geometric operations (e.g., surface projections), and all calculations can be performed through finite element operations.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
Reinforcement Learning for Adaptive Mesh Refinement
Authors:
Jiachen Yang,
Tarik Dzanic,
Brenden Petersen,
Jun Kudo,
Ketan Mittal,
Vladimir Tomov,
Jean-Sylvain Camier,
Tuo Zhao,
Hongyuan Zha,
Tzanio Kolev,
Robert Anderson,
Daniel Faissol
Abstract:
Large-scale finite element simulations of complex physical systems governed by partial differential equations (PDE) crucially depend on adaptive mesh refinement (AMR) to allocate computational budget to regions where higher resolution is required. Existing scalable AMR methods make heuristic refinement decisions based on instantaneous error estimation and thus do not aim for long-term optimality o…
▽ More
Large-scale finite element simulations of complex physical systems governed by partial differential equations (PDE) crucially depend on adaptive mesh refinement (AMR) to allocate computational budget to regions where higher resolution is required. Existing scalable AMR methods make heuristic refinement decisions based on instantaneous error estimation and thus do not aim for long-term optimality over an entire simulation. We propose a novel formulation of AMR as a Markov decision process and apply deep reinforcement learning (RL) to train refinement policies directly from simulation. AMR poses a new problem for RL as both the state dimension and available action set changes at every step, which we solve by proposing new policy architectures with differing generality and inductive bias. The model sizes of these policy architectures are independent of the mesh size and hence can be deployed on larger simulations than those used at train time. We demonstrate in comprehensive experiments on static function estimation and time-dependent equations that RL policies can be trained on problems without using ground truth solutions, are competitive with a widely-used error estimator, and generalize to larger, more complex, and unseen test problems.
△ Less
Submitted 21 February, 2023; v1 submitted 1 March, 2021;
originally announced March 2021.
-
Shallow-UWnet : Compressed Model for Underwater Image Enhancement
Authors:
Ankita Naik,
Apurva Swarnakar,
Kartik Mittal
Abstract:
Over the past few decades, underwater image enhancement has attracted increasing amount of research effort due to its significance in underwater robotics and ocean engineering. Research has evolved from implementing physics-based solutions to using very deep CNNs and GANs. However, these state-of-art algorithms are computationally expensive and memory intensive. This hinders their deployment on po…
▽ More
Over the past few decades, underwater image enhancement has attracted increasing amount of research effort due to its significance in underwater robotics and ocean engineering. Research has evolved from implementing physics-based solutions to using very deep CNNs and GANs. However, these state-of-art algorithms are computationally expensive and memory intensive. This hinders their deployment on portable devices for underwater exploration tasks. These models are trained on either synthetic or limited real world datasets making them less practical in real-world scenarios. In this paper we propose a shallow neural network architecture, \textbf{Shallow-UWnet} which maintains performance and has fewer parameters than the state-of-art models. We also demonstrated the generalization of our model by benchmarking its performance on combination of synthetic and real-world datasets.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
Block Rigidity: Strong Multiplayer Parallel Repetition implies Super-Linear Lower Bounds for Turing Machines
Authors:
Kunal Mittal,
Ran Raz
Abstract:
We prove that a sufficiently strong parallel repetition theorem for a special case of multiplayer (multiprover) games implies super-linear lower bounds for multi-tape Turing machines with advice. To the best of our knowledge, this is the first connection between parallel repetition and lower bounds for time complexity and the first major potential implication of a parallel repetition theorem with…
▽ More
We prove that a sufficiently strong parallel repetition theorem for a special case of multiplayer (multiprover) games implies super-linear lower bounds for multi-tape Turing machines with advice. To the best of our knowledge, this is the first connection between parallel repetition and lower bounds for time complexity and the first major potential implication of a parallel repetition theorem with more than two players.
Along the way to proving this result, we define and initiate a study of block rigidity, a weakening of Valiant's notion of rigidity. While rigidity was originally defined for matrices, or, equivalently, for (multi-output) linear functions, we extend and study both rigidity and block rigidity for general (multi-output) functions. Using techniques of Paul, Pippenger, Szemerédi and Trotter, we show that a block-rigid function cannot be computed by multi-tape Turing machines that run in linear (or slightly super-linear) time, even in the non-uniform setting, where the machine gets an arbitrary advice tape.
We then describe a class of multiplayer games, such that, a sufficiently strong parallel repetition theorem for that class of games implies an explicit block-rigid function. The games in that class have the following property that may be of independent interest: for every random string for the verifier (which, in particular, determines the vector of queries to the players), there is a unique correct answer for each of the players, and the verifier accepts if and only if all answers are correct. We refer to such games as independent games. The theorem that we need is that parallel repetition reduces the value of games in this class from $v$ to $v^{Ω(n)}$, where $n$ is the number of repetitions.
As another application of block rigidity, we show conditional size-depth tradeoffs for boolean circuits, where the gates compute arbitrary functions over large sets.
△ Less
Submitted 26 November, 2020; v1 submitted 18 November, 2020;
originally announced November 2020.
-
CT-CPP: Coverage Path Planning for 3D Terrain Reconstruction Using Dynamic Coverage Trees
Authors:
Zongyuan Shen,
Junnan Song,
Khushboo Mittal,
Shalabh Gupta
Abstract:
This letter addresses the 3D coverage path planning (CPP) problem for terrain reconstruction of unknown obstacle rich environments. Due to sensing limitations, the proposed method, called CT-CPP, performs layered scanning of the 3D region to collect terrain data, where the traveling sequence is optimized using the concept of a coverage tree (CT) with a TSP-inspired tree traversal strategy. The CT-…
▽ More
This letter addresses the 3D coverage path planning (CPP) problem for terrain reconstruction of unknown obstacle rich environments. Due to sensing limitations, the proposed method, called CT-CPP, performs layered scanning of the 3D region to collect terrain data, where the traveling sequence is optimized using the concept of a coverage tree (CT) with a TSP-inspired tree traversal strategy. The CT-CPP method is validated on a high-fidelity underwater simulator and the results are compared to an existing terrain following CPP method. The results show that CT-CPP yields significant reduction in trajectory length, energy consumption, and reconstruction error.
△ Less
Submitted 2 December, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
hr-adaptivity for nonconforming high-order meshes with the target matrix optimization paradigm
Authors:
Veselin Dobrev,
Patrick Knupp,
Tzanio Kolev,
Ketan Mittal,
Vladimir Tomov
Abstract:
We present an $hr$-adaptivity framework for optimization of high-order meshes. This work extends the $r$-adaptivity method for mesh optimization by Dobrev et al., where we utilized the Target-Matrix Optimization Paradigm (TMOP) to minimize a functional that depends on each element's current and target geometric parameters: element aspect-ratio, size, skew, and orientation. Since fixed mesh topolog…
▽ More
We present an $hr$-adaptivity framework for optimization of high-order meshes. This work extends the $r$-adaptivity method for mesh optimization by Dobrev et al., where we utilized the Target-Matrix Optimization Paradigm (TMOP) to minimize a functional that depends on each element's current and target geometric parameters: element aspect-ratio, size, skew, and orientation. Since fixed mesh topology limits the ability to achieve the target size and aspect-ratio at each position, in this paper we augment the $r$-adaptivity framework with nonconforming adaptive mesh refinement to further reduce the error with respect to the target geometric parameters. The proposed formulation, referred to as $hr$-adaptivity, introduces TMOP-based quality estimators to satisfy the aspect-ratio-target via anisotropic refinements and size-target via isotropic refinements in each element of the mesh. The methodology presented is purely algebraic, extends to both simplices and hexahedra/quadrilaterals of any order, and supports nonconforming isotropic and anisotropic refinements in 2D and 3D. Using a problem with a known exact solution, we demonstrate the effectiveness of $hr$-adaptivity over both $r-$ and $h$-adaptivity in obtaining similar accuracy in the solution with significantly fewer degrees of freedom. We also present several examples that show that $hr$-adaptivity can help satisfy geometric targets even when $r$-adaptivity fails to do so, due to the topology of the initial mesh.
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
Stability analysis of a singlerate and multirate predictor-corrector scheme for overlap** grids
Authors:
Ketan Mittal,
Som Dutta,
Paul Fischer
Abstract:
We use matrix stability analysis for a singlerate and multirate predictor-corrector scheme (PC) used to solve the incompressible Navier-Stokes equations (INSE) in overlap** grids. By simplifying the stability analysis with the unsteady heat equation in 1D, we demonstrate that, as expected, the stability of the PC scheme increases with increase in the resolution and overlap of subdomains. For sin…
▽ More
We use matrix stability analysis for a singlerate and multirate predictor-corrector scheme (PC) used to solve the incompressible Navier-Stokes equations (INSE) in overlap** grids. By simplifying the stability analysis with the unsteady heat equation in 1D, we demonstrate that, as expected, the stability of the PC scheme increases with increase in the resolution and overlap of subdomains. For singlerate timestep**, we also find that the high-order PC scheme is stable when the number of corrector iterations ($Q$) is odd. This difference in the stability of odd- and even-$Q$ is novel and has not been demonstrated in the literature for overlap** grid-based methods. We address the odd-even behavior in the stability of the PC scheme by modifying the last corrector iterate, which leads to a scheme whose stability increases monotonically with $Q$. For multirate timestep**, we observe that the stability of the PC scheme depends on the timestep ratio ($η$). For $η=2$, even-$Q$ is more stable than odd-$Q$. For $η\ge3$, even-$Q$ is more stable than odd-$Q$ for a small nondimensional timestep size and the odd-even behavior vanishes as the timestep size increases. The stability analysis presented in this work gives novel insight into a high-order temporal discretization for ODEs and PDEs, and has helped us develop an improved PC scheme for solving the incompressible Navier-Stokes equations.
△ Less
Submitted 30 September, 2020;
originally announced October 2020.
-
Many-body effects on second-order phase transitions in spinor Bose-Einstein condensates and breathing dynamics
Authors:
K. M. Mittal,
S. I. Mistakidis,
P. G. Kevrekidis,
P. Schmelcher
Abstract:
We unravel the correlation effects of the second-order quantum phase transitions emerging on the ground state of a harmonically trapped spin-1 Bose gas, upon varying the involved Zeeman terms, as well as its breathing dynamics triggered by quenching the trap** frequency. It is found that the boundaries of the associated magnetic phases are altered in the presence of interparticle correlations fo…
▽ More
We unravel the correlation effects of the second-order quantum phase transitions emerging on the ground state of a harmonically trapped spin-1 Bose gas, upon varying the involved Zeeman terms, as well as its breathing dynamics triggered by quenching the trap** frequency. It is found that the boundaries of the associated magnetic phases are altered in the presence of interparticle correlations for both ferromagnetic and anti-ferromagnetic spin-spin interactions, an effect which becomes more prominent in the few-body scenario. Most importantly, we unveil a correlation-induced shrinking of the anti-ferromagnetic and broken-axisymmetry phases implying that ground states with bosons polarized in a single spin-component are favored. Turning to the dynamical response of the spinor gas it is shown that its breathing frequency is independent of the system parameters while correlations lead to the formation of filamentary patterns in the one-body density of the participating components. The number of filaments is larger for increasing spin-independent interaction strengths or for smaller particle numbers. Each filament maintains its coherence and exhibits an anti-correlated behavior while distinct filaments show significant losses of coherence and are two-body correlated. Interestingly, we demonstrate that for an initial broken-axisymmetry phase an enhanced spin-flip dynamics takes place which can be tuned either via the linear Zeeman term or the quench amplitude.
△ Less
Submitted 3 June, 2020; v1 submitted 17 April, 2020;
originally announced April 2020.
-
Multirate Timestep** for the Incompressible Navier-Stokes Equations in Overlap** Grids
Authors:
Ketan Mittal,
Som Dutta,
Paul Fischer
Abstract:
We develop a multirate timestepper for semi-implicit solutions of the unsteady incompressible Navier-Stokes equations (INSE) based on a recently-developed multidomain spectral element method (SEM). For {\em incompressible} flows, multirate timestep** (MTS) is particularly challenging because of the tight coupling implied by the incompressibility constraint, which manifests as an elliptic subprob…
▽ More
We develop a multirate timestepper for semi-implicit solutions of the unsteady incompressible Navier-Stokes equations (INSE) based on a recently-developed multidomain spectral element method (SEM). For {\em incompressible} flows, multirate timestep** (MTS) is particularly challenging because of the tight coupling implied by the incompressibility constraint, which manifests as an elliptic subproblem for the pressure at each timestep. The novelty of our approach stems from the development of a stable overlap** Schwarz method applied directly to the Navier-Stokes equations, rather than to the convective, viscous, and pressure substeps that are at the heart of most INSE solvers. Our MTS approach is based on a predictor-corrector (PC) strategy that preserves the temporal convergence of the underlying semi-implicit timestepper. We present numerical results demonstrating that this approach scales to an arbitrary number of overlap** grids, accurately models complex turbulent flow phenomenon, and improves computational efficiency in comparison to singlerate timestep**-based calculations.
△ Less
Submitted 16 April, 2021; v1 submitted 29 February, 2020;
originally announced March 2020.
-
Simulation-Driven Optimization of High-Order Meshes in ALE Hydrodynamics
Authors:
Veselin Dobrev,
Patrick Knupp,
Tzanio Kolev,
Ketan Mittal,
Robert Rieben,
Vladimir Tomov
Abstract:
In this paper we propose tools for high-order mesh optimization and demonstrate their benefits in the context of multi-material Arbitrary Lagrangian-Eulerian (ALE) compressible shock hydrodynamic applications. The mesh optimization process is driven by information provided by the simulation which uses the optimized mesh, such as shock positions, material regions, known error estimates, etc. These…
▽ More
In this paper we propose tools for high-order mesh optimization and demonstrate their benefits in the context of multi-material Arbitrary Lagrangian-Eulerian (ALE) compressible shock hydrodynamic applications. The mesh optimization process is driven by information provided by the simulation which uses the optimized mesh, such as shock positions, material regions, known error estimates, etc. These simulation features are usually represented discretely, for instance, as finite element functions on the Lagrangian mesh. The discrete nature of the input is critical for the practical applicability of the algorithms we propose and distinguishes this work from approaches that strictly require analytical information. Our methods are based on node movement through a high-order extension of the Target-Matrix Optimization Paradigm (TMOP) of Knupp. The proposed formulation is fully algebraic and relies only on local Jacobian matrices, so it is applicable to all types of mesh elements, in 2D and 3D, and any order of the mesh. We discuss the notions of constructing adaptive target matrices and obtaining their derivatives, reconstructing discrete data in intermediate meshes, node limiting that enables improvement of global mesh quality while preserving space-dependent local mesh features, and appropriate normalization of the objective function. The adaptivity methods are combined with automatic ALE triggers that can provide robustness of the mesh evolution and avoid excessive remap procedures. The benefits of the new high-order TMOP technology are illustrated on several simulations performed in the high-order ALE application BLAST.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Direct Numerical Simulation of Rotating Ellipsoidal Particles using Moving Nonconforming Schwarz-Spectral Element Method
Authors:
Ketan Mittal,
Som Dutta,
Paul Fischer
Abstract:
We present application of a highly-scalable overlap** grid-based nonconforming Schwarz-spectral element method (Schwarz-SEM) to study the dynamics of rotating ellipsoidal particles. The current study is one of the first to explore the effect of rotation on ellipsoidal particles using fully resolved simulations (direct numerical simulation). The rotating ellipsoidal particles show substantial dif…
▽ More
We present application of a highly-scalable overlap** grid-based nonconforming Schwarz-spectral element method (Schwarz-SEM) to study the dynamics of rotating ellipsoidal particles. The current study is one of the first to explore the effect of rotation on ellipsoidal particles using fully resolved simulations (direct numerical simulation). The rotating ellipsoidal particles show substantial difference in the dynamics of the flow, when compared against non-rotating particles. The difference is primarily due to periodic attachment and separation of the flow to the surface of the particle for the rotating cases, which results in a higher drag on the particles when compared to the corresponding non-rotating cases. The dynamics is also different from a rotating spherical particle, where a steady shear layer develops near the surface of the sphere. For the rotating ellipsoidal particles, this mechanism results in a phase-difference between the position of observed maximum and minimum drag, and the position of expected maximum and minimum drag (i.e., maximum and minimum projected area). A similar phase-difference is also observed for the lift acting on the rotating ellipsoidal particles. The results presented here demonstrate the importance of explicitly modeling the shape and rotation of particles when we study the dynamics of non-spherical particles. Finally, the study also validates the use of non-conforming Schwarz-SEM for tackling problems in fully resolved particulate flow dynamics.
△ Less
Submitted 19 March, 2020; v1 submitted 9 December, 2019;
originally announced December 2019.
-
Semiclassical evaluation of expectation values
Authors:
Kush Mohan Mittal,
Olivier Giraud,
Denis Ullmo
Abstract:
Semiclassical Mechanics allows for a description of quantum systems which preserves their phase information, while using only the system's classical dynamics as an input. Over the time an identification has been developed between stationary phase approximation and semiclassical mechanics. Although it is true that in most of the cases in semiclassical mechanics the significant contributions come fr…
▽ More
Semiclassical Mechanics allows for a description of quantum systems which preserves their phase information, while using only the system's classical dynamics as an input. Over the time an identification has been developed between stationary phase approximation and semiclassical mechanics. Although it is true that in most of the cases in semiclassical mechanics the significant contributions come from the neighborhood of the stationary points, there are some important exceptions to it. In this paper we address one of these exceptions, occurring in the evaluation of the time evolution of the expectation value of an operator. We explain why it is necessary to include contributions which are not in the neighborhood of stationary points and provide new semiclassical expressions for the evolution of the expectation values. For our analysis we employ and discuss two major semiclassical tools. The first one is the association of the quantum evolution of a wavefunction to the classical evolution of a Lagrangian manifold, as done by Maslov. The second one is the derivation of an expression for the semiclassical Wigner function whose properties under canonical transformation are made explicit. Using the canonical invariance of the formalism, we derive an expression for the expectation value of observables for the one-dimensional case and then generalize it to higher dimensions. We find that the expression can be written as the sum of a classical contribution which corresponds to what is referred to as the Truncated Wigner Approximation (TWA) in the cold-atoms physics context, or the Linearized Semiclassical Initial Value Representation(LSC-IVR) in chemical or molecular physics, and additional terms associated with interferences. Along the way, we get a deeper understanding of the origin of these interference effects and an intuitive geometric picture associated with them.
△ Less
Submitted 25 July, 2020; v1 submitted 22 November, 2019;
originally announced November 2019.
-
Rapid Path Planning for Dubins Vehicles under Environmental Currents
Authors:
Khushboo Mittal,
Junnan Song,
Shalabh Gupta,
Thomas A. Wettergren
Abstract:
This paper presents a rapid (real time) solution to the minimum-time path planning problem for Dubins vehicles under environmental currents (wind or ocean currents). Real-time solutions are essential in time-critical situations (such as replanning under dynamically changing environments or tracking fast moving targets). Typically, Dubins problem requires to solve for six path types; however, due t…
▽ More
This paper presents a rapid (real time) solution to the minimum-time path planning problem for Dubins vehicles under environmental currents (wind or ocean currents). Real-time solutions are essential in time-critical situations (such as replanning under dynamically changing environments or tracking fast moving targets). Typically, Dubins problem requires to solve for six path types; however, due to the presence of currents, four of these path types require to solve the root-finding problem involving transcendental functions. Thus, the existing methods result in high computation times and their applicability for real-time applications is limited. In this regard, in order to obtain a real-time solution, this paper proposes a novel approach where only a subset of two Dubins path types (LSL and RSR) are used which have direct analytical solutions in the presence of currents. However, these two path types do not provide full reachability. We show that by extending the feasible range of circular arcs in the LSL and RSR path types from $2π$ to $4π$: 1) full reachability of any goal pose is guaranteed, and 2) paths with lower time costs as compared to the corresponding $2π$-arc paths can be produced. Theoretical properties are rigorously established, supported by several examples, and evaluated in comparison to the Dubins solutions by extensive Monte-Carlo simulations.
△ Less
Submitted 9 September, 2020; v1 submitted 9 September, 2019;
originally announced September 2019.
-
Quantum resonances of kicked rotor in the position representation
Authors:
Kush Mohan Mittal,
M. S. Santhanam
Abstract:
The study of quantum resonances in the chaotic atom-optics kicked rotor system is of interest from two different perspectives. In quantum chaos, it marks out the regime of resonant quantum dynamics in which the atomic cloud displays ballistic mean energy growth due to coherent momentum transfer. Secondly, the sharp quantum resonance peaks are useful in the context of measurement of Talbot time, on…
▽ More
The study of quantum resonances in the chaotic atom-optics kicked rotor system is of interest from two different perspectives. In quantum chaos, it marks out the regime of resonant quantum dynamics in which the atomic cloud displays ballistic mean energy growth due to coherent momentum transfer. Secondly, the sharp quantum resonance peaks are useful in the context of measurement of Talbot time, one of the parameter that helps in precise measurement of fine structure constant. Most of the earlier works rely on fidelity based approach and have proposed Talbot time measurement through experimental determination of the momentum space probability density of the periodically kicked atomic cloud. Fidelity approach has the disadvantage that phase reversed kicks need to be imparted as well which potentially leads to dephasing. In contrast to this, in this work, it is theoretically shown that, without manipulating the kick sequences, the quantum resonances through position space density can be measured more accurately and is experimentally feasible as well.
△ Less
Submitted 15 August, 2019;
originally announced August 2019.
-
Humidity effects on evolution of CsI thin Films: Fractal studies of rough surfaces
Authors:
Nabeel Jammal,
R. P. Yadav,
Triloki,
R. Rai,
A. K. Mittal,
B. K. Singh
Abstract:
The present work investigates the morphological, micro-structural, compositional and fractal analysis for CsI thin films in case of "as-deposited" and "1 hour humid air aged". The variation of grain sizes obtained from transmission electron microscopy (TEM) technique are found to be in the range of ~ 313 nm to ~ 1058 nm. The average grain size is found to increase after exposing to humidity. The e…
▽ More
The present work investigates the morphological, micro-structural, compositional and fractal analysis for CsI thin films in case of "as-deposited" and "1 hour humid air aged". The variation of grain sizes obtained from transmission electron microscopy (TEM) technique are found to be in the range of ~ 313 nm to ~ 1058 nm. The average grain size is found to increase after exposing to humidity. The experimental values of interplanner spacing are found to be less than the standard value which signifies that a compressive stress is acting in the film. The elemental compositions of CsI film has been investigated by the means of energy dispersive X-ray spectroscopy (EDAX) technique. The atomic percentage of Cs:I (1:1) is found to be increased by a factor of two after exposing to humidity. The surface morphology of CsI thin films is analyzed by the atomic force microscopy (AFM) for both cases. The fractal analysis is performed on the AFM micrographs. The autocorrelation function and height-height correlation function is used to study the correlation properties of surface and roughness exponent. It is found that the fractal dimension is affected after exposing to humidity.
△ Less
Submitted 4 December, 2018;
originally announced December 2018.
-
Nonconforming Schwarz-Spectral Element Methods For Incompressible Flow
Authors:
Ketan Mittal,
Som Dutta,
Paul Fischer
Abstract:
We present scalable implementations of spectral-element-based Schwarz overlap** (overset) methods for the incompressible Navier-Stokes (NS) equations. Our SEM-based overset grid method is implemented at the level of the NS equations, which are advanced independently within separate subdomains using interdomain velocity and pressure boundary-data exchanges at each timestep or sub-timestep. Centra…
▽ More
We present scalable implementations of spectral-element-based Schwarz overlap** (overset) methods for the incompressible Navier-Stokes (NS) equations. Our SEM-based overset grid method is implemented at the level of the NS equations, which are advanced independently within separate subdomains using interdomain velocity and pressure boundary-data exchanges at each timestep or sub-timestep. Central to this implementation is a general, robust, and scalable interpolation routine, {\em gslib-findpts}, that rapidly determines the computational coordinates (processor $p$, element number $e$, and local coordinates $(r,s,t) \in \hatΩ := [-1,1]^3$) for any arbitrary point $\mathbf{x}^* =(x^*,y^*,z^*) \in Ω\subset {\rm I\!R}^3$. The communication kernels in $gslib$ execute with at most $\log P$ complexity for $P$ MPI ranks, have scaled to $P > 10^6$, and obviate the need for development of any additional MPI-based code for the Schwarz implementation. The original interpolation routine has been extended to account for multiple overlap** domains. The new implementation discriminates the possessing subdomain by distance to the domain boundary, such that the interface boundary data is taken from the inner-most interior points. We present application of this approach to several heat transfer and fluid dynamic problems, discuss the computation/communication complexity and accuracy of the approach, and present performance measurements for $P > 12,000$.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
The Target-Matrix Optimization Paradigm for High-Order Meshes
Authors:
Veselin Dobrev,
Patrick Knupp,
Tzanio Kolev,
Ketan Mittal,
Vladimir Tomov
Abstract:
We describe a framework for controlling and improving the quality of high-order finite element meshes based on extensions of the Target-Matrix Optimization Paradigm (TMOP) of Knupp. This approach allows high-order applications to have a very precise control over local mesh quality, while still improving the mesh globally. We address the adaption of various TMOP components to the settings of genera…
▽ More
We describe a framework for controlling and improving the quality of high-order finite element meshes based on extensions of the Target-Matrix Optimization Paradigm (TMOP) of Knupp. This approach allows high-order applications to have a very precise control over local mesh quality, while still improving the mesh globally. We address the adaption of various TMOP components to the settings of general isoparametric element map**s, including the mesh quality metric in 2D and 3D, the selection of sample points and the solution of the resulting mesh optimization problem. We also investigate additional practical concerns, such as tangential relaxation and restricting the deviation from the original mesh. The benefits of the new high-order TMOP algorithms are illustrated on a number of test problems and examples from a high-order arbitrary Eulerian-Lagrangian (ALE) application. Our implementation is freely available in an open-source library form.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Morphological characterization of Ge ion implanted SiO2 matrix using multifractal technique
Authors:
R. P. Yadav,
V. Baranwal,
Sunil Kumar,
Avinash C Pandey,
A. K. Mittal
Abstract:
200 nm thick SiO2 layers grown on Si substrates and Ge ions of 150 keV energy were implanted into SiO2 matrix with Different fluences. The implanted samples were annealed at 950 C for 30 minutes in Ar ambience. Topographical studies of implanted as well as annealed samples were captured by the atomic force microscopy (AFM). Two dimension (2D) multifractal detrended fluctuation analysis (MFDFA) bas…
▽ More
200 nm thick SiO2 layers grown on Si substrates and Ge ions of 150 keV energy were implanted into SiO2 matrix with Different fluences. The implanted samples were annealed at 950 C for 30 minutes in Ar ambience. Topographical studies of implanted as well as annealed samples were captured by the atomic force microscopy (AFM). Two dimension (2D) multifractal detrended fluctuation analysis (MFDFA) based on the partition function approach has been used to study the surfaces of ion implanted and annealed samples. The partition function is used to calculate generalized Hurst exponent with the segment size. Moreover, it is seen that the generalized Hurst exponents vary nonlinearly with the moment, thereby exhibiting the multifractal nature. The multifractality of surface is pronounced after annealing for the surface implanted with fluence 7.5X1016 ions/cm^2.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
Fractal analysis of BaF2 thin films deposited on different substrates
Authors:
Kavyashree,
R. K. Pandey,
R. P. Yadav,
Manvendra Kumar,
A. K. Mittal,
A. C. Pandey,
S. N. Pandey
Abstract:
Barrium fluoride (BaF2) thin films were prepared by electron beam evaporation technique at room temperature, on glass, Silicon and Aluminum substrates having thickness of 20 nm each. Its structural property and surface morphology were studied using glancing angle X-ray diffraction (GAXRD) and atomic force microscopy (AFM) respectively. It was found that grain size, average surface roughness and in…
▽ More
Barrium fluoride (BaF2) thin films were prepared by electron beam evaporation technique at room temperature, on glass, Silicon and Aluminum substrates having thickness of 20 nm each. Its structural property and surface morphology were studied using glancing angle X-ray diffraction (GAXRD) and atomic force microscopy (AFM) respectively. It was found that grain size, average surface roughness and interface width changes with different substrates. Higuchi algorithm is applied for the fractal measure on AFM images.It was observed found that the fractal dimension varied from substrate to substrate.
△ Less
Submitted 19 May, 2017;
originally announced May 2017.
-
The Receiver System for the Ooty Wide Field Array
Authors:
C. R. Subrahmanya,
P. Prasad,
B. S. Girish,
R. Somashekar,
P. K. Manoharan,
A. K. Mittal
Abstract:
The legacy Ooty Radio Telescope (ORT) is being reconfigured as a 264-element synthesis telescope, called the Ooty Wide Field Array (OWFA). Its antenna elements are the contiguous 1.92 m sections of the parabolic cylinder. It will operate in a 38-MHz frequency band centred at 326.5 MHz and will be equipped with a digital receiver including a 264-element spectral correlator with a spectral resolutio…
▽ More
The legacy Ooty Radio Telescope (ORT) is being reconfigured as a 264-element synthesis telescope, called the Ooty Wide Field Array (OWFA). Its antenna elements are the contiguous 1.92 m sections of the parabolic cylinder. It will operate in a 38-MHz frequency band centred at 326.5 MHz and will be equipped with a digital receiver including a 264-element spectral correlator with a spectral resolution of 48 kHz. OWFA is designed to retain the benefits of equatorial mount, continuous 9-hour tracking ability and large collecting area of the legacy telescope and use modern digital techniques to enhance the instantaneous field of view by more than an order of magnitude. OWFA has unique advantages for contemporary investigations related to large scale structure, transient events and space weather watch. In this paper, we describe the RF subsystems, digitizers and fibre optic communication of OWFA and highlight some specific aspects of the system relevant for the observations planned during the initial operation.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
A diagnostic e-module for testing conceptual understanding of Symmetry and Gauss's Law
Authors:
Ashok Kumar Mittal
Abstract:
We discuss an approach for develo** a diagnostic e-module, which can easily identify the precise nature of deficiencies in conceptual understanding of a topic, using Symmetry and Gauss's Law as an example. The topic is divided into suitably chosen concept categories. A large number of True/False questions are prepared for each concept category, which can be answered using the concepts in that ca…
▽ More
We discuss an approach for develo** a diagnostic e-module, which can easily identify the precise nature of deficiencies in conceptual understanding of a topic, using Symmetry and Gauss's Law as an example. The topic is divided into suitably chosen concept categories. A large number of True/False questions are prepared for each concept category, which can be answered using the concepts in that category. The module presents seven randomly chosen questions from each of the concept categories. Only when each of the questions from a concept category is answered correctly, will it be inferred that the concept category has been understood properly. A diagnostic module based on this approach can reliably and efficiently identify the conceptual deficiencies. After taking remedial measures, the student can take the diagnostic test again till all conceptual deficiencies are removed
△ Less
Submitted 2 June, 2011;
originally announced June 2011.
-
Fractal dust model of the Universe based on Mandelbrot's Conditional Cosmological Principle and General Theory of Relativity
Authors:
A. K. Mittal,
D. Lohiya
Abstract:
We present a fractal dust model of the Universe based on Mandelbrot's proposal to replace the standard Cosmological Principle by his Conditional Cosmological Principle within the framework of General Theory of Relativity. This model turns out to be free from the de-Vaucouleurs paradox and is consistent with the SNe1a observations. The expected galaxy count as a function of red-shift is obtained…
▽ More
We present a fractal dust model of the Universe based on Mandelbrot's proposal to replace the standard Cosmological Principle by his Conditional Cosmological Principle within the framework of General Theory of Relativity. This model turns out to be free from the de-Vaucouleurs paradox and is consistent with the SNe1a observations. The expected galaxy count as a function of red-shift is obtained for this model. An interesting variation is a steady state version, which can account for an accelerating scale factor without any cosmological constant in the model.
△ Less
Submitted 18 June, 2002;
originally announced June 2002.
-
Radiation in a Fractal Cosmology
Authors:
A. K. Mittal,
Daksh Lohiya
Abstract:
It is shown that Homogeneous radiation can not be included in the Fractal Cosmological model obtained earlier by assuming an isotropic fractal cosmography, General Relativity and the Copernican Principle.
It is shown that Homogeneous radiation can not be included in the Fractal Cosmological model obtained earlier by assuming an isotropic fractal cosmography, General Relativity and the Copernican Principle.
△ Less
Submitted 28 April, 2001; v1 submitted 24 April, 2001;
originally announced April 2001.
-
From Fractal Cosmography to Fractal Cosmology
Authors:
A. K. Mittal,
Daksh Lohiya
Abstract:
Assuming a fractal distribution of matter in the universe, consequences that follow from the General Theory of Relativity and the Copernican Principle for fractal cosmology are examined. The change in perspective necessary to deal with a fractal universe is highlighted. An ansatz that provides a concrete application of the Conditional Cosmological Principle is provided. This fractal cosmology is…
▽ More
Assuming a fractal distribution of matter in the universe, consequences that follow from the General Theory of Relativity and the Copernican Principle for fractal cosmology are examined. The change in perspective necessary to deal with a fractal universe is highlighted. An ansatz that provides a concrete application of the Conditional Cosmological Principle is provided. This fractal cosmology is obtained by arguments closely following those used in standard cosmology. The resulting model may play a significant role in the debate on whether the universe is a fractal or crosses over to homogeneity at some scale. This model may also be regarded as an idealized fractal model around which more realistic models may be built.
△ Less
Submitted 27 April, 2001; v1 submitted 23 April, 2001;
originally announced April 2001.
-
Bifurcating Continued Fractions II
Authors:
Ashok Kumar Mittal,
Ashok Kumar Gupta
Abstract:
In an earlier paper we introduced the notion of 'bifurcating continued fractions' in a heuristic manner. In this paper a formal theory is developed for the 'bifurcating continued fractions'.
In an earlier paper we introduced the notion of 'bifurcating continued fractions' in a heuristic manner. In this paper a formal theory is developed for the 'bifurcating continued fractions'.
△ Less
Submitted 8 August, 2000;
originally announced August 2000.
-
Bifurcating Continued Fractions
Authors:
Ashok Kumar Gupta,
Ashok Kumar Mittal
Abstract:
The notion of 'bifurcating continued fractions' is introduced. Two coupled sequences of non-negative integers are obtained from an ordered pair of positive real numbers in a manner that generalizes the notion of continued fractions. These sequences enable simple representations of roots of cubic equations. In particular, remarkably simple and elegant 'bifurcating continued fraction' representati…
▽ More
The notion of 'bifurcating continued fractions' is introduced. Two coupled sequences of non-negative integers are obtained from an ordered pair of positive real numbers in a manner that generalizes the notion of continued fractions. These sequences enable simple representations of roots of cubic equations. In particular, remarkably simple and elegant 'bifurcating continued fraction' representations of Tribonacci and Moore numbers, the cubic variations of the 'golden mean', are obtained. This is further generalized to associate m non-negative integer sequences with a set of m given real numbers so as to provide simple 'bifurcating continued fraction' representation of roots of polynomial equations of degree m+1.
△ Less
Submitted 27 February, 2000;
originally announced February 2000.
-
Roots of any Polynomial with Complex Integer Coefficients using Replacement Sequences, Ruler and Compass
Authors:
Ashok Kumar Mittal,
Ashok Kumar Gupta
Abstract:
The roots of any polynomial of degree m with complex integer coefficients can be computed by manipulation of sequences made from distinct symbols and counting the different symbols in the sequences. This method requires only primitive operations like replacement of sequences and counting of symbols. No calculations using advanced operations like multiplication, division, logarithms etc. are need…
▽ More
The roots of any polynomial of degree m with complex integer coefficients can be computed by manipulation of sequences made from distinct symbols and counting the different symbols in the sequences. This method requires only primitive operations like replacement of sequences and counting of symbols. No calculations using advanced operations like multiplication, division, logarithms etc. are needed. The method can be implemented as a geometric construction using only a ruler and a compass.
△ Less
Submitted 29 January, 2000;
originally announced January 2000.