-
Functional Ghobber-Jaming Uncertainty Principle
Authors:
K. Mahesh Krishna
Abstract:
Let $(\{f_j\}_{j=1}^n, \{τ_j\}_{j=1}^n)$ and $(\{g_k\}_{k=1}^n, \{ω_k\}_{k=1}^n)$ be two p-orthonormal bases for a finite dimensional Banach space $\mathcal{X}$. Let $M,N\subseteq \{1, \dots, n\}$ be such that \begin{align*}
o(M)^\frac{1}{q}o(N)^\frac{1}{p}< \frac{1}{\displaystyle \max_{1\leq j,k\leq n}|g_k(τ_j) |}, \end{align*} where $q$ is the conjugate index of $p$. Then for all…
▽ More
Let $(\{f_j\}_{j=1}^n, \{τ_j\}_{j=1}^n)$ and $(\{g_k\}_{k=1}^n, \{ω_k\}_{k=1}^n)$ be two p-orthonormal bases for a finite dimensional Banach space $\mathcal{X}$. Let $M,N\subseteq \{1, \dots, n\}$ be such that \begin{align*}
o(M)^\frac{1}{q}o(N)^\frac{1}{p}< \frac{1}{\displaystyle \max_{1\leq j,k\leq n}|g_k(τ_j) |}, \end{align*} where $q$ is the conjugate index of $p$. Then for all $x \in \mathcal{X}$, we show that \begin{align}\label{FGJU} (1) \quad \quad \quad \quad \|x\|\leq \left(1+\frac{1}{1-o(M)^\frac{1}{q}o(N)^\frac{1}{p}\displaystyle\max_{1\leq j,k\leq n}|g_k(τ_j)|}\right)\left[\left(\sum_{j\in M^c}|f_j(x)|^p\right)^\frac{1}{p}+\left(\sum_{k\in N^c}|g_k(x) |^p\right)^\frac{1}{p}\right]. \end{align}
We call Inequality (1) as \textbf{Functional Ghobber-Jaming Uncertainty Principle}. Inequality (1) improves the uncertainty principle obtained by Ghobber and Jaming \textit{[Linear Algebra Appl., 2011]}.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Instance-Level Semantic Maps for Vision Language Navigation
Authors:
Laksh Nanwani,
Anmol Agarwal,
Kanishk Jain,
Raghav Prabhakar,
Aaron Monis,
Aditya Mathur,
Krishna Murthy,
Abdul Hafez,
Vineet Gandhi,
K. Madhava Krishna
Abstract:
Humans have a natural ability to perform semantic associations with the surrounding objects in the environment. This allows them to create a mental map of the environment, allowing them to navigate on-demand when given linguistic instructions. A natural goal in Vision Language Navigation (VLN) research is to impart autonomous agents with similar capabilities. Recent works take a step towards this…
▽ More
Humans have a natural ability to perform semantic associations with the surrounding objects in the environment. This allows them to create a mental map of the environment, allowing them to navigate on-demand when given linguistic instructions. A natural goal in Vision Language Navigation (VLN) research is to impart autonomous agents with similar capabilities. Recent works take a step towards this goal by creating a semantic spatial map representation of the environment without any labeled data. However, their representations are limited for practical applicability as they do not distinguish between different instances of the same object. In this work, we address this limitation by integrating instance-level information into spatial map representation using a community detection algorithm and utilizing word ontology learned by large language models (LLMs) to perform open-set semantic associations in the mapping representation. The resulting map representation improves the navigation performance by two-fold (233%) on realistic language commands with instance-specific descriptions compared to the baseline. We validate the practicality and effectiveness of our approach through extensive qualitative and quantitative experiments.
△ Less
Submitted 1 July, 2023; v1 submitted 21 May, 2023;
originally announced May 2023.
-
Sequence-Agnostic Multi-Object Navigation
Authors:
Nandiraju Gireesh,
Ayush Agrawal,
Ahana Datta,
Snehasis Banerjee,
Mohan Sridharan,
Brojeshwar Bhowmick,
Madhava Krishna
Abstract:
The Multi-Object Navigation (MultiON) task requires a robot to localize an instance (each) of multiple object classes. It is a fundamental task for an assistive robot in a home or a factory. Existing methods for MultiON have viewed this as a direct extension of Object Navigation (ON), the task of localising an instance of one object class, and are pre-sequenced, i.e., the sequence in which the obj…
▽ More
The Multi-Object Navigation (MultiON) task requires a robot to localize an instance (each) of multiple object classes. It is a fundamental task for an assistive robot in a home or a factory. Existing methods for MultiON have viewed this as a direct extension of Object Navigation (ON), the task of localising an instance of one object class, and are pre-sequenced, i.e., the sequence in which the object classes are to be explored is provided in advance. This is a strong limitation in practical applications characterized by dynamic changes. This paper describes a deep reinforcement learning framework for sequence-agnostic MultiON based on an actor-critic architecture and a suitable reward specification. Our framework leverages past experiences and seeks to reward progress toward individual as well as multiple target object classes. We use photo-realistic scenes from the Gibson benchmark dataset in the AI Habitat 3D simulation environment to experimentally show that our method performs better than a pre-sequenced approach and a state of the art ON method extended to MultiON.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Group-Frames for Banach Spaces
Authors:
K. Mahesh Krishna
Abstract:
In the literature, frames generated by unitary representations of groups (known as group-frames) are studied only for Hilbert spaces. We make first study of frames for Banach spaces generated by isometric invertible representations of discrete groups on Banach spaces. These frames are characterized using left regular, right regular, Gram-matrices and group-matrices on classical sequence spaces. A…
▽ More
In the literature, frames generated by unitary representations of groups (known as group-frames) are studied only for Hilbert spaces. We make first study of frames for Banach spaces generated by isometric invertible representations of discrete groups on Banach spaces. These frames are characterized using left regular, right regular, Gram-matrices and group-matrices on classical sequence spaces. A sufficiently large collection of functional-vector pairs using the double commutant of the representation is identified which generate group-frames for Banach spaces. Subsequently, we study Schauder frames generated by time-frequency shift operators on finite dimensional Banach spaces. We derive Moyal formula, fundamental identity of Gabor analysis, Wexler-Raz criterion and Ron-Shen duality in functional form.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Functional Donoho-Stark-Elad-Bruckstein-Ricaud-Torrésani Uncertainty Principle
Authors:
K. Mahesh Krishna
Abstract:
Let $(\{f_j\}_{j=1}^n, \{τ_j\}_{j=1}^n)$ and $(\{g_k\}_{k=1}^m, \{ω_k\}_{k=1}^m)$ be p-Schauder frames for a finite dimensional Banach space $\mathcal{X}$. Then for every $x \in \mathcal{X}\setminus\{0\}$, we show that \begin{align} (1) \quad \|θ_f x\|_0^\frac{1}{p}\|θ_g x\|_0^\frac{1}{q} \geq \frac{1}{\displaystyle\max_{1\leq j\leq n, 1\leq k\leq m}|f_j(ω_k)|}\quad \text{and} \quad \|θ_g x\|_0^\f…
▽ More
Let $(\{f_j\}_{j=1}^n, \{τ_j\}_{j=1}^n)$ and $(\{g_k\}_{k=1}^m, \{ω_k\}_{k=1}^m)$ be p-Schauder frames for a finite dimensional Banach space $\mathcal{X}$. Then for every $x \in \mathcal{X}\setminus\{0\}$, we show that \begin{align} (1) \quad \|θ_f x\|_0^\frac{1}{p}\|θ_g x\|_0^\frac{1}{q} \geq \frac{1}{\displaystyle\max_{1\leq j\leq n, 1\leq k\leq m}|f_j(ω_k)|}\quad \text{and} \quad \|θ_g x\|_0^\frac{1}{p}\|θ_f x\|_0^\frac{1}{q}\geq \frac{1}{\displaystyle\max_{1\leq j\leq n, 1\leq k\leq m}|g_k(τ_j)|}. \end{align} where \begin{align*} θ_f: \mathcal{X} \ni x \mapsto (f_j(x) )_{j=1}^n \in \ell^p([n]); \quad θ_g: \mathcal{X} \ni x \mapsto (g_k(x) )_{k=1}^m \in \ell^p([m]) \end{align*} and $q$ is the conjugate index of $p$. We call Inequality (1) as \textbf{Functional Donoho-Stark-Elad-Bruckstein-Ricaud-Torrésani Uncertainty Principle}. Inequality (1) improves Ricaud-Torrésani uncertainty principle \textit{[IEEE Trans. Inform. Theory, 2013]}. In particular, it improves Elad-Bruckstein uncertainty principle \textit{[IEEE Trans. Inform. Theory, 2002]} and Donoho-Stark uncertainty principle \textit{[SIAM J. Appl. Math., 1989]}.
△ Less
Submitted 5 April, 2023;
originally announced April 2023.
-
FinderNet: A Data Augmentation Free Canonicalization aided Loop Detection and Closure technique for Point clouds in 6-DOF separation
Authors:
Sudarshan S Harithas,
Gurkirat Singh,
Aneesh Chavan,
Sarthak Sharma,
Suraj Patni,
Chetan Arora,
K. Madhava Krishna
Abstract:
We focus on the problem of LiDAR point cloud based loop detection (or Finding) and closure (LDC) in a multi-agent setting. State-of-the-art (SOTA) techniques directly generate learned embeddings of a given point cloud, require large data transfers, and are not robust to wide variations in 6 Degrees-of-Freedom (DOF) viewpoint. Moreover, absence of strong priors in an unstructured point cloud leads…
▽ More
We focus on the problem of LiDAR point cloud based loop detection (or Finding) and closure (LDC) in a multi-agent setting. State-of-the-art (SOTA) techniques directly generate learned embeddings of a given point cloud, require large data transfers, and are not robust to wide variations in 6 Degrees-of-Freedom (DOF) viewpoint. Moreover, absence of strong priors in an unstructured point cloud leads to highly inaccurate LDC. In this original approach, we propose independent roll and pitch canonicalization of the point clouds using a common dominant ground plane. Discretization of the canonicalized point cloud along the axis perpendicular to the ground plane leads to an image similar to Digital Elevation Maps (DEMs), which exposes strong spatial priors in the scene. Our experiments show that LDC based on learnt embeddings of such DEMs is not only data efficient but also significantly more robust, and generalizable than the current SOTA. We report significant performance gain in terms of Average Precision for loop detection and absolute translation/rotation error for relative pose estimation (or loop closure) on Kitti, GPR and Oxford Robot Car over multiple SOTA LDC methods. Our encoder technique allows to compress the original point cloud by over 830 times. To further test the robustness of our technique we create and opensource a custom dataset called Lidar-UrbanFly Dataset (LUF) which consists of point clouds obtained from a LiDAR mounted on a quadrotor.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
ConceptFusion: Open-set Multimodal 3D Mapping
Authors:
Krishna Murthy Jatavallabhula,
Alihusein Kuwajerwala,
Qiao Gu,
Mohd Omama,
Tao Chen,
Alaa Maalouf,
Shuang Li,
Ganesh Iyer,
Soroush Saryazdi,
Nikhil Keetha,
Ayush Tewari,
Joshua B. Tenenbaum,
Celso Miguel de Melo,
Madhava Krishna,
Liam Paull,
Florian Shkurti,
Antonio Torralba
Abstract:
Building 3D maps of the environment is central to robot navigation, planning, and interaction with objects in a scene. Most existing approaches that integrate semantic concepts with 3D maps largely remain confined to the closed-set setting: they can only reason about a finite set of concepts, pre-defined at training time. Further, these maps can only be queried using class labels, or in recent wor…
▽ More
Building 3D maps of the environment is central to robot navigation, planning, and interaction with objects in a scene. Most existing approaches that integrate semantic concepts with 3D maps largely remain confined to the closed-set setting: they can only reason about a finite set of concepts, pre-defined at training time. Further, these maps can only be queried using class labels, or in recent work, using text prompts.
We address both these issues with ConceptFusion, a scene representation that is (1) fundamentally open-set, enabling reasoning beyond a closed set of concepts and (ii) inherently multimodal, enabling a diverse range of possible queries to the 3D map, from language, to images, to audio, to 3D geometry, all working in concert. ConceptFusion leverages the open-set capabilities of today's foundation models pre-trained on internet-scale data to reason about concepts across modalities such as natural language, images, and audio. We demonstrate that pixel-aligned open-set features can be fused into 3D maps via traditional SLAM and multi-view fusion approaches. This enables effective zero-shot spatial reasoning, not needing any additional training or finetuning, and retains long-tailed concepts better than supervised approaches, outperforming them by more than 40% margin on 3D IoU. We extensively evaluate ConceptFusion on a number of real-world datasets, simulated home environments, a real-world tabletop manipulation task, and an autonomous driving platform. We showcase new avenues for blending foundation models with 3D open-set multimodal mapping.
For more information, visit our project page https://concept-fusion.github.io or watch our 5-minute explainer video https://www.youtube.com/watch?v=rkXgws8fiDs
△ Less
Submitted 23 October, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
Absolutely Summing Morphisms between Hilbert C*-Modules and Modular Pietsch Factorization Problem
Authors:
K. Mahesh Krishna
Abstract:
Motivated from the theory of Hilbert-Schmidt morphisms between Hilbert C*-modules over commutative C*-algebras by Stern and van Suijlekom \textit{[J. Funct. Anal., 2021]}, we introduce the notion of p-absolutely summing morphisms between Hilbert C*-modules over commutative C*-algebras. We show that an adjointable morphism between Hilbert C*-modules over monotone closed commutative C*-algebra is 2-…
▽ More
Motivated from the theory of Hilbert-Schmidt morphisms between Hilbert C*-modules over commutative C*-algebras by Stern and van Suijlekom \textit{[J. Funct. Anal., 2021]}, we introduce the notion of p-absolutely summing morphisms between Hilbert C*-modules over commutative C*-algebras. We show that an adjointable morphism between Hilbert C*-modules over monotone closed commutative C*-algebra is 2-absolutely summing if and only if it is Hilbert-Schmidt. We formulate version of Pietsch factorization problem for p-absolutely summing morphisms and solve partially
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Potential energy surface prediction of Alumina polymorphs using graph neural network
Authors:
Soumya Sanyal,
Arun Kumar Sagotra,
Narendra Kumar,
Sharad Rathi,
Mohana Krishna,
Nagesh Somayajula,
Duraivelan Palanisamy,
Ram R. Ratnakar,
Suchismita Sanyal,
Partha Talukdar,
Umesh Waghmare,
Janakiraman Balachandran
Abstract:
The process of design and discovery of new materials can be significantly expedited and simplified if we can learn effectively from available data. Deep learning (DL) approaches have recently received a lot of interest for their ability to speed up the design of novel materials by predicting material properties with precision close to experiments and ab-initio calculations. The application of deep…
▽ More
The process of design and discovery of new materials can be significantly expedited and simplified if we can learn effectively from available data. Deep learning (DL) approaches have recently received a lot of interest for their ability to speed up the design of novel materials by predicting material properties with precision close to experiments and ab-initio calculations. The application of deep learning to predict materials properties measured by experiments are valuable yet challenging due to the limited amount of experimental data. Most of the existing approaches to predict properties from computational data have also been directed towards specific material properties. In this work, we extend this approach, by proposing Landscape Crystal Graph Convolution Network(LCGCN), an accurate and transferable deep learning framework based on graph convolutional networks. LCGCN directly learns the potential energy surface (PES) from atomic configurations. This approach can enable transferable models that can predict different material properties. We apply this framework to bulk crystals (i.e. Al2O3), and test it by calculating potential energy surfaces at different temperatures and across different phases of crystal.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
SCARP: 3D Shape Completion in ARbitrary Poses for Improved Grasping
Authors:
Bipasha Sen,
Aditya Agarwal,
Gaurav Singh,
Brojeshwar B.,
Srinath Sridhar,
Madhava Krishna
Abstract:
Recovering full 3D shapes from partial observations is a challenging task that has been extensively addressed in the computer vision community. Many deep learning methods tackle this problem by training 3D shape generation networks to learn a prior over the full 3D shapes. In this training regime, the methods expect the inputs to be in a fixed canonical form, without which they fail to learn a val…
▽ More
Recovering full 3D shapes from partial observations is a challenging task that has been extensively addressed in the computer vision community. Many deep learning methods tackle this problem by training 3D shape generation networks to learn a prior over the full 3D shapes. In this training regime, the methods expect the inputs to be in a fixed canonical form, without which they fail to learn a valid prior over the 3D shapes. We propose SCARP, a model that performs Shape Completion in ARbitrary Poses. Given a partial pointcloud of an object, SCARP learns a disentangled feature representation of pose and shape by relying on rotationally equivariant pose features and geometric shape features trained using a multi-tasking objective. Unlike existing methods that depend on an external canonicalization, SCARP performs canonicalization, pose estimation, and shape completion in a single network, improving the performance by 45% over the existing baselines. In this work, we use SCARP for improving grasp proposals on tabletop objects. By completing partial tabletop objects directly in their observed poses, SCARP enables a SOTA grasp proposal network improve their proposals by 71.2% on partial shapes. Project page: https://bipashasen.github.io/scarp
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
Localized Bounded Below Approximate Schauder Frames are Finite Unions of Approximate Riesz Sequences
Authors:
K. Mahesh Krishna
Abstract:
Based on the truth of Feichtinger conjecture by Marcus, Spielman and Srivastava \textit{[Ann. of Math. (2), 2015]} and from the localized version by Gröchenig \textit{[Adv. Comput. Math., 2003]}, we introduce the notion of localization of approximate Schauder frames (ASFs) and approximate Riesz sequences (ARSs). We show that localized bounded below ASFs are finite unions of ARSs.
Based on the truth of Feichtinger conjecture by Marcus, Spielman and Srivastava \textit{[Ann. of Math. (2), 2015]} and from the localized version by Gröchenig \textit{[Adv. Comput. Math., 2003]}, we introduce the notion of localization of approximate Schauder frames (ASFs) and approximate Riesz sequences (ARSs). We show that localized bounded below ASFs are finite unions of ARSs.
△ Less
Submitted 1 January, 2023;
originally announced January 2023.
-
Canonical Fields: Self-Supervised Learning of Pose-Canonicalized Neural Fields
Authors:
Rohith Agaram,
Shaurya Dewan,
Rahul Sajnani,
Adrien Poulenard,
Madhava Krishna,
Srinath Sridhar
Abstract:
Coordinate-based implicit neural networks, or neural fields, have emerged as useful representations of shape and appearance in 3D computer vision. Despite advances, however, it remains challenging to build neural fields for categories of objects without datasets like ShapeNet that provide "canonicalized" object instances that are consistently aligned for their 3D position and orientation (pose). W…
▽ More
Coordinate-based implicit neural networks, or neural fields, have emerged as useful representations of shape and appearance in 3D computer vision. Despite advances, however, it remains challenging to build neural fields for categories of objects without datasets like ShapeNet that provide "canonicalized" object instances that are consistently aligned for their 3D position and orientation (pose). We present Canonical Field Network (CaFi-Net), a self-supervised method to canonicalize the 3D pose of instances from an object category represented as neural fields, specifically neural radiance fields (NeRFs). CaFi-Net directly learns from continuous and noisy radiance fields using a Siamese network architecture that is designed to extract equivariant field features for category-level canonicalization. During inference, our method takes pre-trained neural radiance fields of novel object instances at arbitrary 3D pose and estimates a canonical field with consistent 3D pose across the entire category. Extensive experiments on a new dataset of 1300 NeRF models across 13 object categories show that our method matches or exceeds the performance of 3D point cloud-based methods.
△ Less
Submitted 17 May, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
MVRackLay: Monocular Multi-View Layout Estimation for Warehouse Racks and Shelves
Authors:
Pranjali Pathre,
Anurag Sahu,
Ashwin Rao,
Avinash Prabhu,
Meher Shashwat Nigam,
Tanvi Karandikar,
Harit Pandya,
K. Madhava Krishna
Abstract:
In this paper, we propose and showcase, for the first time, monocular multi-view layout estimation for warehouse racks and shelves. Unlike typical layout estimation methods, MVRackLay estimates multi-layered layouts, wherein each layer corresponds to the layout of a shelf within a rack. Given a sequence of images of a warehouse scene, a dual-headed Convolutional-LSTM architecture outputs segmented…
▽ More
In this paper, we propose and showcase, for the first time, monocular multi-view layout estimation for warehouse racks and shelves. Unlike typical layout estimation methods, MVRackLay estimates multi-layered layouts, wherein each layer corresponds to the layout of a shelf within a rack. Given a sequence of images of a warehouse scene, a dual-headed Convolutional-LSTM architecture outputs segmented racks, the front and the top view layout of each shelf within a rack. With minimal effort, such an output is transformed into a 3D rendering of all racks, shelves and objects on the shelves, giving an accurate 3D depiction of the entire warehouse scene in terms of racks, shelves and the number of objects on each shelf. MVRackLay generalizes to a diverse set of warehouse scenes with varying number of objects on each shelf, number of shelves and in the presence of other such racks in the background. Further, MVRackLay shows superior performance vis-a-vis its single view counterpart, RackLay, in layout accuracy, quantized in terms of the mean IoU and mAP metrics. We also showcase a multi-view stitching of the 3D layouts resulting in a representation of the warehouse scene with respect to a global reference frame akin to a rendering of the scene from a SLAM pipeline. To the best of our knowledge, this is the first such work to portray a 3D rendering of a warehouse scene in terms of its semantic components - Racks, Shelves and Objects - all from a single monocular camera.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
Maximal skew sets of lines on a Hermitian surface and a modified Bron-Kerbosch algorithm
Authors:
Anna Brosowsky,
Haoyu Du,
Madhav Krishna,
Sandra Nair,
Janet Page,
Tim Ryan
Abstract:
In this paper, we study maximal sets of skew lines on Hermitian surfaces. We give a new algorithm to compute these sets and give some computational results for Hermitian surfaces of degrees 3,4, and 5. In more generality, this algorithm solves a new variant of the clique listing problem, which may be more approachable than the classical problem. Finally, we explicitly construct a large skew set of…
▽ More
In this paper, we study maximal sets of skew lines on Hermitian surfaces. We give a new algorithm to compute these sets and give some computational results for Hermitian surfaces of degrees 3,4, and 5. In more generality, this algorithm solves a new variant of the clique listing problem, which may be more approachable than the classical problem. Finally, we explicitly construct a large skew set of lines on Hermitian varieties of any degree and use it to give a lower bound on the largest size of maximal skew sets and a lower bound on the possible number of maximal skew sets.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Lipschitz p-Approximate Schauder Frames
Authors:
K. Mahesh Krishna,
P. Sam Johnson
Abstract:
With the aim of representing subsets of Banach spaces as an infinite series using Lipschitz functions, we study a variant of metric frames which we call Lipschitz p-approximate Schauder frames (Lipschitz p-ASFs). We characterize Lipschitz p-ASFs and their duals completely using the canonical Schauder basis for classical sequence spaces. Similarity of Lipschitz p-ASF is introduced and characterized…
▽ More
With the aim of representing subsets of Banach spaces as an infinite series using Lipschitz functions, we study a variant of metric frames which we call Lipschitz p-approximate Schauder frames (Lipschitz p-ASFs). We characterize Lipschitz p-ASFs and their duals completely using the canonical Schauder basis for classical sequence spaces. Similarity of Lipschitz p-ASF is introduced and characterized.
△ Less
Submitted 19 November, 2022;
originally announced November 2022.
-
Algebraic Andô Dilation
Authors:
K. Mahesh Krishna
Abstract:
We solve the Andô dilation problem for linear maps on vector space asked by Krishna and Johnson in \textit{[Oper. Matrices, 2022]}. More precisely, we show that any commuting linear maps on vector space can be dilated to commuting injective linear maps.
We solve the Andô dilation problem for linear maps on vector space asked by Krishna and Johnson in \textit{[Oper. Matrices, 2022]}. More precisely, we show that any commuting linear maps on vector space can be dilated to commuting injective linear maps.
△ Less
Submitted 6 October, 2022;
originally announced October 2022.
-
Otsu based Differential Evolution Method for Image Segmentation
Authors:
Afreen Shaikh,
Sharmila Botcha,
Murali Krishna
Abstract:
This paper proposes an OTSU based differential evolution method for satellite image segmentation and compares it with four other methods such as Modified Artificial Bee Colony Optimizer (MABC), Artificial Bee Colony (ABC), Genetic Algorithm (GA), and Particle Swarm Optimization (PSO) using the objective function proposed by Otsu for optimal multilevel thresholding. The experiments conducted and th…
▽ More
This paper proposes an OTSU based differential evolution method for satellite image segmentation and compares it with four other methods such as Modified Artificial Bee Colony Optimizer (MABC), Artificial Bee Colony (ABC), Genetic Algorithm (GA), and Particle Swarm Optimization (PSO) using the objective function proposed by Otsu for optimal multilevel thresholding. The experiments conducted and their results illustrate that our proposed DE and OTSU algorithm segmentation can effectively and precisely segment the input image, close to results obtained by the other methods. In the proposed DE and OTSU algorithm, instead of passing the fitness function variables, the entire image is passed as an input to the DE algorithm after obtaining the threshold values for the input number of levels in the OTSU algorithm. The image segmentation results are obtained after learning about the image instead of learning about the fitness variables. In comparison to other segmentation methods examined, the proposed DE and OTSU algorithm yields promising results with minimized computational time compared to some algorithms.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Non-Archimedean Welch Bounds and Non-Archimedean Zauner Conjecture
Authors:
K. Mahesh Krishna
Abstract:
Let $\mathbb{K}$ be a non-Archimedean (complete) valued field satisfying \begin{align*} \left|\sum_{j=1}^{n}λ_j^2\right|=\max_{1\leq j \leq n}|λ_j|^2, \quad \forall λ_j \in \mathbb{K}, 1\leq j \leq n, \forall n \in \mathbb{N}. \end{align*} For $d\in \mathbb{N}$, let $\mathbb{K}^d$ be the standard $d$-dimensional non-Archimedean Hilbert space. Let $m \in \mathbb{N}$ and…
▽ More
Let $\mathbb{K}$ be a non-Archimedean (complete) valued field satisfying \begin{align*} \left|\sum_{j=1}^{n}λ_j^2\right|=\max_{1\leq j \leq n}|λ_j|^2, \quad \forall λ_j \in \mathbb{K}, 1\leq j \leq n, \forall n \in \mathbb{N}. \end{align*} For $d\in \mathbb{N}$, let $\mathbb{K}^d$ be the standard $d$-dimensional non-Archimedean Hilbert space. Let $m \in \mathbb{N}$ and $\text{Sym}^m(\mathbb{K}^d)$ be the non-Archimedean Hilbert space of symmetric m-tensors. We prove the following result. If $\{τ_j\}_{j=1}^n$ is a collection in $\mathbb{K}^d$ satisfying $\langle τ_j, τ_j\rangle =1$ for all $1\leq j \leq n$ and the operator $\text{Sym}^m(\mathbb{K}^d)\ni x \mapsto \sum_{j=1}^n\langle x, τ_j^{\otimes m}\rangle τ_j^{\otimes m} \in \text{Sym}^m(\mathbb{K}^d)$ is diagonalizable, then \begin{align} (1) \quad \quad \quad \max_{1\leq j,k \leq n, j \neq k}\{|n|, |\langle τ_j, τ_k\rangle|^{2m} \}\geq \frac{|n|^2}{\left|{d+m-1 \choose m}\right| }. \end{align} We call Inequality (1) as the non-Archimedean version of Welch bounds obtained by Welch [\textit{IEEE Transactions on Information Theory, 1974}]. We formulate non-Archimedean Zauner conjecture.
△ Less
Submitted 28 August, 2022;
originally announced October 2022.
-
Indefinite Halmos, Egervary and Sz.-Nagy Dilations
Authors:
K. Mahesh Krishna
Abstract:
Let $\mathcal{M}$ be an indefinite inner product module over a *-ring of characteristic 2. We show that every self-adjoint operator on $\mathcal{M}$ admits Halmos, Egervary and Sz.-Nagy dilations.
Let $\mathcal{M}$ be an indefinite inner product module over a *-ring of characteristic 2. We show that every self-adjoint operator on $\mathcal{M}$ admits Halmos, Egervary and Sz.-Nagy dilations.
△ Less
Submitted 27 September, 2022;
originally announced October 2022.
-
GDIP: Gated Differentiable Image Processing for Object-Detection in Adverse Conditions
Authors:
Sanket Kalwar,
Dhruv Patel,
Aakash Aanegola,
Krishna Reddy Konda,
Sourav Garg,
K Madhava Krishna
Abstract:
Detecting objects under adverse weather and lighting conditions is crucial for the safe and continuous operation of an autonomous vehicle, and remains an unsolved problem. We present a Gated Differentiable Image Processing (GDIP) block, a domain-agnostic network architecture, which can be plugged into existing object detection networks (e.g., Yolo) and trained end-to-end with adverse condition ima…
▽ More
Detecting objects under adverse weather and lighting conditions is crucial for the safe and continuous operation of an autonomous vehicle, and remains an unsolved problem. We present a Gated Differentiable Image Processing (GDIP) block, a domain-agnostic network architecture, which can be plugged into existing object detection networks (e.g., Yolo) and trained end-to-end with adverse condition images such as those captured under fog and low lighting. Our proposed GDIP block learns to enhance images directly through the downstream object detection loss. This is achieved by learning parameters of multiple image pre-processing (IP) techniques that operate concurrently, with their outputs combined using weights learned through a novel gating mechanism. We further improve GDIP through a multi-stage guidance procedure for progressive image enhancement. Finally, trading off accuracy for speed, we propose a variant of GDIP that can be used as a regularizer for training Yolo, which eliminates the need for GDIP-based image enhancement during inference, resulting in higher throughput and plausible real-world deployment. We demonstrate significant improvement in detection performance over several state-of-the-art methods through quantitative and qualitative studies on synthetic datasets such as PascalVOC, and real-world foggy (RTTS) and low-lighting (ExDark) datasets.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
UAV-based Visual Remote Sensing for Automated Building Inspection
Authors:
Kushagra Srivastava,
Dhruv Patel,
Aditya Kumar Jha,
Mohhit Kumar Jha,
Jaskirat Singh,
Ravi Kiran Sarvadevabhatla,
Pradeep Kumar Ramancharla,
Harikumar Kandath,
K. Madhava Krishna
Abstract:
Unmanned Aerial Vehicle (UAV) based remote sensing system incorporated with computer vision has demonstrated potential for assisting building construction and in disaster management like damage assessment during earthquakes. The vulnerability of a building to earthquake can be assessed through inspection that takes into account the expected damage progression of the associated component and the co…
▽ More
Unmanned Aerial Vehicle (UAV) based remote sensing system incorporated with computer vision has demonstrated potential for assisting building construction and in disaster management like damage assessment during earthquakes. The vulnerability of a building to earthquake can be assessed through inspection that takes into account the expected damage progression of the associated component and the component's contribution to structural system performance. Most of these inspections are done manually, leading to high utilization of manpower, time, and cost. This paper proposes a methodology to automate these inspections through UAV-based image data collection and a software library for post-processing that helps in estimating the seismic structural parameters. The key parameters considered here are the distances between adjacent buildings, building plan-shape, building plan area, objects on the rooftop and rooftop layout. The accuracy of the proposed methodology in estimating the above-mentioned parameters is verified through field measurements taken using a distance measuring sensor and also from the data obtained through Google Earth. Additional details and code can be accessed from https://uvrsabi.github.io/ .
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Continuous Non-Archimedean and p-adic Welch Bounds
Authors:
K. Mahesh Krishna
Abstract:
We prove the continuous non-Archimedean (resp. p-adic) Banach space and Hilbert space versions of non-Archimedean (resp. p-adic) Welch bounds proved by M. Krishna. We formulate continuous non-Archimedean and p-adic functional Zauner conjectures.
We prove the continuous non-Archimedean (resp. p-adic) Banach space and Hilbert space versions of non-Archimedean (resp. p-adic) Welch bounds proved by M. Krishna. We formulate continuous non-Archimedean and p-adic functional Zauner conjectures.
△ Less
Submitted 15 September, 2022;
originally announced September 2022.
-
p-adic Magic Contractions, p-adic von Neumann Inequality and p-adic Sz.-Nagy Dilation
Authors:
K. Mahesh Krishna
Abstract:
We introduce the notion of p-adic magic contraction on p-adic Hilbert space. We derive p-adic Halmos dilation, p-adic Egervary N-dilation, p-adic von Neumann inequality and p-adic Sz.-Nagy dilation for p-adic magic contraction.
We introduce the notion of p-adic magic contraction on p-adic Hilbert space. We derive p-adic Halmos dilation, p-adic Egervary N-dilation, p-adic von Neumann inequality and p-adic Sz.-Nagy dilation for p-adic magic contraction.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Ground then Navigate: Language-guided Navigation in Dynamic Scenes
Authors:
Kanishk Jain,
Varun Chhangani,
Amogh Tiwari,
K. Madhava Krishna,
Vineet Gandhi
Abstract:
We investigate the Vision-and-Language Navigation (VLN) problem in the context of autonomous driving in outdoor settings. We solve the problem by explicitly grounding the navigable regions corresponding to the textual command. At each timestamp, the model predicts a segmentation mask corresponding to the intermediate or the final navigable region. Our work contrasts with existing efforts in VLN, w…
▽ More
We investigate the Vision-and-Language Navigation (VLN) problem in the context of autonomous driving in outdoor settings. We solve the problem by explicitly grounding the navigable regions corresponding to the textual command. At each timestamp, the model predicts a segmentation mask corresponding to the intermediate or the final navigable region. Our work contrasts with existing efforts in VLN, which pose this task as a node selection problem, given a discrete connected graph corresponding to the environment. We do not assume the availability of such a discretised map. Our work moves towards continuity in action space, provides interpretability through visual feedback and allows VLN on commands requiring finer manoeuvres like "park between the two cars". Furthermore, we propose a novel meta-dataset CARLA-NAV to allow efficient training and validation. The dataset comprises pre-recorded training sequences and a live environment for validation and testing. We provide extensive qualitative and quantitive empirical results to validate the efficacy of the proposed approach.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Non-Archimedean and p-adic Functional Welch Bounds
Authors:
K. Mahesh Krishna
Abstract:
We prove the non-Archimedean (resp. p-adic) Banach space version of non-Archimedean (resp. p-adic) Welch bounds recently obtained by M. Krishna. More precisely, we prove following results.
1. Let $\mathbb{K}$ be a non-Archimedean (complete) valued field satisfying $\left|\sum_{j=1}^{n}λ_j^2\right|=\max_{1\leq j \leq n}|λ_j|^2$ for all $ λ_j \in \mathbb{K}, 1\leq j \leq n$, for all…
▽ More
We prove the non-Archimedean (resp. p-adic) Banach space version of non-Archimedean (resp. p-adic) Welch bounds recently obtained by M. Krishna. More precisely, we prove following results.
1. Let $\mathbb{K}$ be a non-Archimedean (complete) valued field satisfying $\left|\sum_{j=1}^{n}λ_j^2\right|=\max_{1\leq j \leq n}|λ_j|^2$ for all $ λ_j \in \mathbb{K}, 1\leq j \leq n$, for all $n \in \mathbb{N}.$ Let $\mathcal{X}$ be a $d$-dimensional non-Archimedean Banach space over $\mathbb{K}$. If $\{τ_j\}_{j=1}^n$ is any collection in $\mathcal{X}$ and $\{f_j\}_{j=1}^n$ is any collection in $\mathcal{X}^*$ (dual of $\mathcal{X}$) satisfying $f_j(τ_j) =1$ for all $1\leq j \leq n$ and the operator $S_{f, τ} : \text{Sym}^m(\mathcal{X})\ni x \mapsto \sum_{j=1}^nf_j^{\otimes m}(x)τ_j^{\otimes m} \in \text{Sym}^m(\mathcal{X})$, is diagonalizable, then \begin{align} \text{(Non-Archimedean Functional Welch Bounds)} \quad \max_{1\leq j,k \leq n, j \neq k}\{|n|, |f_j(τ_k)f_k(τ_j)|^{m} \}\geq \frac{|n|^2}{\left|{d+m-1 \choose m}\right| }.
\end{align} 2. For a prime $p$, let $\mathbb{Q}_p$ be the p-adic number field. Let $\mathcal{X}$ be a $d$-dimensional p-adic Banach space over $\mathbb{Q}_p$. If $\{τ_j\}_{j=1}^n$ is any collection in $\mathcal{X}$ and $\{f_j\}_{j=1}^n$ is any collection in $\mathcal{X}^*$ (dual of $\mathcal{X}$) satisfying $f_j(τ_j) =1$ for all $1\leq j \leq n$ and there exists $b \in \mathbb{Q}_p$ such that $ \sum_{j=1}^{n}f_j^{\otimes m}(x) τ_j^{\otimes m} =bx$ for all $ x \in \text{Sym}^m(\mathcal{X}),$ then \begin{align} \text{(p-adic Functional Welch Bounds)} \quad \max_{1\leq j,k \leq n, j \neq k}\{|n|, |f_j(τ_k)f_k(τ_j)|^{m} \}\geq \frac{|n|^2}{\left|{d+m-1 \choose m}\right| }.
\end{align} We formulate non-Archimedean functional and p-adic functional Zauner conjectures.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
p-adic Welch Bounds and p-adic Zauner Conjecture
Authors:
K. Mahesh Krishna
Abstract:
Let $p$ be a prime. For $d\in \mathbb{N}$, let $\mathbb{Q}_p^d$ be the standard $d$-dimensional p-adic Hilbert space. Let $m \in \mathbb{N}$ and $\text{Sym}^m(\mathbb{Q}_p^d)$ be the p-adic Hilbert space of symmetric m-tensors. We prove the following result. Let $\{τ_j\}_{j=1}^n$ be a collection in $\mathbb{Q}_p^d$ satisfying (i) $\langle τ_j, τ_j\rangle =1$ for all $1\leq j \leq n$ and (ii) there…
▽ More
Let $p$ be a prime. For $d\in \mathbb{N}$, let $\mathbb{Q}_p^d$ be the standard $d$-dimensional p-adic Hilbert space. Let $m \in \mathbb{N}$ and $\text{Sym}^m(\mathbb{Q}_p^d)$ be the p-adic Hilbert space of symmetric m-tensors. We prove the following result. Let $\{τ_j\}_{j=1}^n$ be a collection in $\mathbb{Q}_p^d$ satisfying (i) $\langle τ_j, τ_j\rangle =1$ for all $1\leq j \leq n$ and (ii) there exists $b \in \mathbb{Q}_p$ satisfying $ \sum_{j=1}^{n}\langle x, τ_j\rangle τ_j =bx$ for all $ x \in \mathbb{Q}^d_p.$ Then
\begin{align}
(1) \quad \quad \quad \max_{1\leq j,k \leq n, j \neq k}\{|n|, |\langle τ_j, τ_k\rangle|^{2m} \}\geq \frac{|n|^2}{\left|{d+m-1 \choose m}\right| }. \end{align} We call Inequality (1) as the p-adic version of Welch bounds obtained by Welch [\textit{IEEE Transactions on Information Theory, 1974}]. Inequality (1) differs from the non-Archimedean Welch bound obtained recently by M. Krishna as one can not derive one from another. We formulate p-adic Zauner conjecture.
△ Less
Submitted 31 August, 2022;
originally announced September 2022.
-
Real-Time Heuristic Framework for Safe Landing of UAVs in Dynamic Scenarios
Authors:
Jaskirat Singh,
Neel Adwani,
Harikumar Kandath,
K. Madhava Krishna
Abstract:
The world we live in is full of technology and with each passing day the advancement and usage of UAVs increases efficiently. As a result of the many application scenarios, there are some missions where the UAVs are vulnerable to external disruptions, such as a ground station's loss of connectivity, security missions, safety concerns, and delivery-related missions. Therefore, depending on the scen…
▽ More
The world we live in is full of technology and with each passing day the advancement and usage of UAVs increases efficiently. As a result of the many application scenarios, there are some missions where the UAVs are vulnerable to external disruptions, such as a ground station's loss of connectivity, security missions, safety concerns, and delivery-related missions. Therefore, depending on the scenario, this could affect the operations and result in the safe landing of UAVs. Hence, this paper presents a heuristic approach towards safe landing of multi-rotor UAVs in the dynamic environments. The aim of this approach is to detect safe potential landing zones - PLZ, and find out the best one to land in. The PLZ is initially, detected by processing an image through the canny edge algorithm, and then the diameter-area estimation is applied for each region with minimal edges. The spots that have a higher area than the vehicle's clearance are labeled as safe PLZ. Onto the second phase of this approach, the velocities of dynamic obstacles that are moving towards the PLZs are calculated and their time to reach the zones are taken into consideration. The ETA of the UAV is calculated and during the descending of UAV, the dynamic obstacle avoidance is executed. The approach tested on the real-world environments have shown better results from existing work.
△ Less
Submitted 11 September, 2022;
originally announced September 2022.
-
Spatial Relation Graph and Graph Convolutional Network for Object Goal Navigation
Authors:
D. A. Sasi Kiran,
Kritika Anand,
Chaitanya Kharyal,
Gulshan Kumar,
Nandiraju Gireesh,
Snehasis Banerjee,
Ruddra dev Roychoudhury,
Mohan Sridharan,
Brojeshwar Bhowmick,
Madhava Krishna
Abstract:
This paper describes a framework for the object-goal navigation task, which requires a robot to find and move to the closest instance of a target object class from a random starting position. The framework uses a history of robot trajectories to learn a Spatial Relational Graph (SRG) and Graph Convolutional Network (GCN)-based embeddings for the likelihood of proximity of different semantically-la…
▽ More
This paper describes a framework for the object-goal navigation task, which requires a robot to find and move to the closest instance of a target object class from a random starting position. The framework uses a history of robot trajectories to learn a Spatial Relational Graph (SRG) and Graph Convolutional Network (GCN)-based embeddings for the likelihood of proximity of different semantically-labeled regions and the occurrence of different object classes in these regions. To locate a target object instance during evaluation, the robot uses Bayesian inference and the SRG to estimate the visible regions, and uses the learned GCN embeddings to rank visible regions and select the region to explore next.
△ Less
Submitted 27 August, 2022;
originally announced August 2022.
-
Object Goal Navigation using Data Regularized Q-Learning
Authors:
Nandiraju Gireesh,
D. A. Sasi Kiran,
Snehasis Banerjee,
Mohan Sridharan,
Brojeshwar Bhowmick,
Madhava Krishna
Abstract:
Object Goal Navigation requires a robot to find and navigate to an instance of a target object class in a previously unseen environment. Our framework incrementally builds a semantic map of the environment over time, and then repeatedly selects a long-term goal ('where to go') based on the semantic map to locate the target object instance. Long-term goal selection is formulated as a vision-based d…
▽ More
Object Goal Navigation requires a robot to find and navigate to an instance of a target object class in a previously unseen environment. Our framework incrementally builds a semantic map of the environment over time, and then repeatedly selects a long-term goal ('where to go') based on the semantic map to locate the target object instance. Long-term goal selection is formulated as a vision-based deep reinforcement learning problem. Specifically, an Encoder Network is trained to extract high-level features from a semantic map and select a long-term goal. In addition, we incorporate data augmentation and Q-function regularization to make the long-term goal selection more effective. We report experimental results using the photo-realistic Gibson benchmark dataset in the AI Habitat 3D simulation environment to demonstrate substantial performance improvement on standard measures in comparison with a state of the art data-driven baseline.
△ Less
Submitted 27 August, 2022;
originally announced August 2022.
-
Modular Bourgain-Tzafriri Restricted Invertibility Conjectures and Johnson-Lindenstrauss Flattening Conjecture
Authors:
K. Mahesh Krishna
Abstract:
We recently formulated important Modular Bourgain-Tzafriri Restricted Invertibility Conjectures and Modular Johnson-Lindenstrauss Flattening Conjecture in the Appendix of \textit{[arXiv: 2207.12799.v1]}. For the sake of wide accessibility we give a self-contained treatment of them.
We recently formulated important Modular Bourgain-Tzafriri Restricted Invertibility Conjectures and Modular Johnson-Lindenstrauss Flattening Conjecture in the Appendix of \textit{[arXiv: 2207.12799.v1]}. For the sake of wide accessibility we give a self-contained treatment of them.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
Leveraging Distributional Bias for Reactive Collision Avoidance under Uncertainty: A Kernel Embedding Approach
Authors:
Anish Gupta,
Arun Kumar Singh,
K. Madhava Krishna
Abstract:
Many commodity sensors that measure the robot and dynamic obstacle's state have non-Gaussian noise characteristics. Yet, many current approaches treat the underlying-uncertainty in motion and perception as Gaussian, primarily to ensure computational tractability. On the other hand, existing planners working with non-Gaussian uncertainty do not shed light on leveraging distributional characteristic…
▽ More
Many commodity sensors that measure the robot and dynamic obstacle's state have non-Gaussian noise characteristics. Yet, many current approaches treat the underlying-uncertainty in motion and perception as Gaussian, primarily to ensure computational tractability. On the other hand, existing planners working with non-Gaussian uncertainty do not shed light on leveraging distributional characteristics of motion and perception noise, such as bias for efficient collision avoidance.
This paper fills this gap by interpreting reactive collision avoidance as a distribution matching problem between the collision constraint violations and Dirac Delta distribution. To ensure fast reactivity in the planner, we embed each distribution in Reproducing Kernel Hilbert Space and reformulate the distribution matching as minimizing the Maximum Mean Discrepancy (MMD) between the two distributions. We show that evaluating the MMD for a given control input boils down to just matrix-matrix products. We leverage this insight to develop a simple control sampling approach for reactive collision avoidance with dynamic and uncertain obstacles.
We advance the state-of-the-art in two respects. First, we conduct an extensive empirical study to show that our planner can infer distributional bias from sample-level information. Consequently, it uses this insight to guide the robot to good homotopy. We also highlight how a Gaussian approximation of the underlying uncertainty can lose the bias estimate and guide the robot to unfavorable states with a high collision probability. Second, we show tangible comparative advantages of the proposed distribution matching approach for collision avoidance with previous non-parametric and Gaussian approximated methods of reactive collision avoidance.
△ Less
Submitted 22 September, 2022; v1 submitted 5 August, 2022;
originally announced August 2022.
-
Modular Paulsen Problem and Modular Projection Problem
Authors:
K. Mahesh Krishna
Abstract:
Based on the solution of \textbf{Paulsen Problem} by Kwok, Lau, Lee, and Ramachandran [\textit{STOC'18-Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018}] and independently by Hamilton, and Moitra [\textit{Isr. J. Math., 2021}] we study Paulsen Problem and Projection Problem in the context of Hilbert C*-modules. We show that for commutative C*-algebras, if Modular Pa…
▽ More
Based on the solution of \textbf{Paulsen Problem} by Kwok, Lau, Lee, and Ramachandran [\textit{STOC'18-Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018}] and independently by Hamilton, and Moitra [\textit{Isr. J. Math., 2021}] we study Paulsen Problem and Projection Problem in the context of Hilbert C*-modules. We show that for commutative C*-algebras, if Modular Paulsen Problem has a solution, then Modular Projection Problem also has a solution. We formulate the problem of operator scaling for matrices over C*-algebras.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
Flow Synthesis Based Visual Servoing Frameworks for Monocular Obstacle Avoidance Amidst High-Rises
Authors:
Harshit K. Sankhla,
M. Nomaan Qureshi,
Shankara Narayanan V.,
Vedansh Mittal,
Gunjan Gupta,
Harit Pandya,
K. Madhava Krishna
Abstract:
We propose a novel flow synthesis based visual servoing framework enabling long-range obstacle avoidance for Micro Air Vehicles (MAV) flying amongst tall skyscrapers. Recent deep learning based frameworks use optical flow to do high-precision visual servoing. In this paper, we explore the question: can we design a surrogate flow for these high-precision visual-servoing methods, which leads to obst…
▽ More
We propose a novel flow synthesis based visual servoing framework enabling long-range obstacle avoidance for Micro Air Vehicles (MAV) flying amongst tall skyscrapers. Recent deep learning based frameworks use optical flow to do high-precision visual servoing. In this paper, we explore the question: can we design a surrogate flow for these high-precision visual-servoing methods, which leads to obstacle avoidance? We revisit the concept of saliency for identifying high-rise structures in/close to the line of attack amongst other competing skyscrapers and buildings as a collision obstacle. A synthesised flow is used to displace the salient object segmentation mask. This flow is so computed that the visual servoing controller maneuvers the MAV safely around the obstacle. In this approach, we use a multi-step Cross-Entropy Method (CEM) based servo control to achieve flow convergence, resulting in obstacle avoidance. We use this novel pipeline to successfully and persistently maneuver high-rises and reach the goal in simulated and photo-realistic real-world scenes. We conduct extensive experimentation and compare our approach with optical flow and short-range depth-based obstacle avoidance methods to demonstrate the proposed framework's merit. Additional Visualisation can be found at https://sites.google.com/view/monocular-obstacle/home
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Measurement Induced Continuous Time Crystals
Authors:
Midhun Krishna,
Parvinder Solanki,
Michal Hajdušek,
Sai Vinjanampathy
Abstract:
Strong measurements usually restrict the dynamics of measured finite dimensional systems to the Zeno subspace, where subsequent evolution is unitary due to the suppression of dissipative terms. Here we show qualitatively different behaviour due to the competition between strong measurements and the thermodynamic limit, inducing a time-translation symmetry breaking phase transition resulting in a c…
▽ More
Strong measurements usually restrict the dynamics of measured finite dimensional systems to the Zeno subspace, where subsequent evolution is unitary due to the suppression of dissipative terms. Here we show qualitatively different behaviour due to the competition between strong measurements and the thermodynamic limit, inducing a time-translation symmetry breaking phase transition resulting in a continuous time crystal. We consider a spin star model, where the central spin is subject to a strong continuous measurement, and qualify the dynamic behaviour of the system in various parameter regimes. We show that above a critical value of measurement strength, the magnetization of the thermodynamically large ancilla spins develops limit cycle oscillations. Our result also demonstrates that a coherent drive is not necessary in order to induce continuous time-translation symmetry breaking.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
C*-algebraic Casas-Alvero Conjecture
Authors:
K. Mahesh Krishna
Abstract:
Based on Casas-Alvero conjecture \textit{[J. Algebra, 2001]} we formulate the following conjecture.\\ \textbf{C*-algebraic Casas-Alvero Conjecture : Let $\mathcal{A}$ be a commutative C*-algebra, $n\in \mathbb{N}$ and let $P(z) = (z-a_1)(z-a_2)\cdots (z-a_n)$ be a polynomial over $\mathcal{A}$ with $a_1, a_2, \dots, a_n \in \mathcal{A}$. If $P$ shares a common zero with each of its (first) $n-1$ d…
▽ More
Based on Casas-Alvero conjecture \textit{[J. Algebra, 2001]} we formulate the following conjecture.\\ \textbf{C*-algebraic Casas-Alvero Conjecture : Let $\mathcal{A}$ be a commutative C*-algebra, $n\in \mathbb{N}$ and let $P(z) = (z-a_1)(z-a_2)\cdots (z-a_n)$ be a polynomial over $\mathcal{A}$ with $a_1, a_2, \dots, a_n \in \mathcal{A}$. If $P$ shares a common zero with each of its (first) $n-1$ derivatives, then it is $n^\text{th}$ power of a linear monic C*-algebraic polynomial.}\\ We show that C*-algebraic Casas-Alvero Conjecture holds for C*-algebraic polynomials of degree 2.
△ Less
Submitted 19 July, 2022; v1 submitted 18 June, 2022;
originally announced June 2022.
-
C*-algebraic Smale Mean Value Conjecture and Dubinin-Sugawa Dual Mean Value Conjecture
Authors:
K. Mahesh Krishna
Abstract:
Based on Smale mean value conjecture \textit{[Bull. Amer. Math. Soc., 1981]} and Dubinin-Sugawa dual mean value conjecture \textit{[Proc. Japan Acad. Ser. A Math. Sci., 2009]} we formulate the following conjectures.
\textbf{C*-algebraic Smale Mean Value Conjecture : Let $\mathcal{A}$ be a commutative C*-algebra. Let $P(z)= (z-a_1)\cdots (z-a_n)$ be a polynomial of degree $n\geq 2$ over…
▽ More
Based on Smale mean value conjecture \textit{[Bull. Amer. Math. Soc., 1981]} and Dubinin-Sugawa dual mean value conjecture \textit{[Proc. Japan Acad. Ser. A Math. Sci., 2009]} we formulate the following conjectures.
\textbf{C*-algebraic Smale Mean Value Conjecture : Let $\mathcal{A}$ be a commutative C*-algebra. Let $P(z)= (z-a_1)\cdots (z-a_n)$ be a polynomial of degree $n\geq 2$ over $\mathcal{A}$, $a_1, \dots, a_n \in \mathcal{A}$. If $z\in\mathcal{A}$ is not a critical point of $P$, then there exists a critical point $w\in \mathcal{A}$ of $P$ such that \begin{align*}
\frac{\|P(z)-P(w)\|}{\|z-w\|}\leq 1 \|P'(z)\| \end{align*} or \begin{align*}
\frac{\|P(z)-P(w)\|}{\|z-w\|}\leq \frac{n-1}{n} \|P'(z)\|=\frac{\operatorname{deg} (P)-1}{\operatorname{deg} (P)} \|P'(z)\|.
\end{align*}}
\textbf{C*-algebraic Dubinin-Sugawa Dual Mean Value Conjecture : Let $\mathcal{A}$ be a commutative C*-algebra. Let $P(z)= (z-a_1)\cdots (z-a_n)$ be a polynomial of degree $n\geq 2$ over $\mathcal{A}$, $a_1, \dots, a_n \in \mathcal{A}$. If $z\in \mathcal{A}$ is not a critical point of $P$, then there exists a critical point $w\in \mathcal{A}$ of $P$ such that
\begin{align*}
\frac{\|P'(z)\|}{\operatorname{deg} (P)} =\frac{\|P'(z)\|}{n} \leq \frac{\|P(z)-P(w)\|}{\|z-w\|}. \end{align*}}
We show that (even a strong form of) C*-algebraic Smale mean value conjecture and C*-algebraic Dubinin-Sugawa dual mean value conjecture hold for degree 2 C*-algebraic polynomials over commutative C*-algebras.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
C*-algebraic Schoenberg Conjecture
Authors:
K. Mahesh Krishna
Abstract:
Based on Schoenberg conjecture \textit{[Amer. Math. Monthly., 1986]}/Malamud-Pereira theorem \textit{[J. Math. Anal. Appl, 2003]}, \textit{[Trans. Amer. Math. Soc., 2005]} we formulate the following conjecture which we call C*-algebraic Schoenberg Conjecture.\\ \textbf{ C*-algebraic Schoenberg Conjecture : Let $\mathcal{A}$ be a C*-algebra. Let $d\in \mathbb{N}\setminus\{1\}$,…
▽ More
Based on Schoenberg conjecture \textit{[Amer. Math. Monthly., 1986]}/Malamud-Pereira theorem \textit{[J. Math. Anal. Appl, 2003]}, \textit{[Trans. Amer. Math. Soc., 2005]} we formulate the following conjecture which we call C*-algebraic Schoenberg Conjecture.\\ \textbf{ C*-algebraic Schoenberg Conjecture : Let $\mathcal{A}$ be a C*-algebra. Let $d\in \mathbb{N}\setminus\{1\}$, $P(z)= (z-a_1)(z-a_2)\cdots (z-a_d)$ be a polynomial over $\mathcal{A}$ with $a_1, a_2, \dots, a_d \in \mathcal{A} $. If $P'$ can be written as $P'(z)= d(z-b_1)(z-b_2)\cdots (z-b_{d-1})$ on $\mathcal{A}$ with $b_1, b_2, \dots, b_{d-1} \in \mathcal{A} $, then \begin{align*} \sum_{k=1}^{d-1}b_kb_k^*\leq \frac{1}{d^2}\left[\sum_{j=1}^{d}a_j\right]\left[\sum_{j=1}^{d}a_j\right]^*+ \frac{d-2}{d}\sum_{j=1}^{d}a_ja_j^* \end{align*} and \begin{align*} \sum_{k=1}^{d-1}b_k^*b_k\leq \frac{1}{d^2}\left[\sum_{j=1}^{d}a_j\right]^*\left[\sum_{j=1}^{d}a_j\right]+ \frac{d-2}{d}\sum_{j=1}^{d}a_j^*a_j. \end{align*}} We show that C*-algebraic Schoenberg conjecture holds for degree 2 C*-algebraic polynomials over C*-algebras.
△ Less
Submitted 14 June, 2022;
originally announced June 2022.
-
Approaches and Challenges in Robotic Perception for Table-top Rearrangement and Planning
Authors:
Aditya Agarwal,
Bipasha Sen,
Shankara Narayanan V,
Vishal Reddy Mandadi,
Brojeshwar Bhowmick,
K Madhava Krishna
Abstract:
Table-top Rearrangement and Planning is a challenging problem that relies heavily on an excellent perception stack. The perception stack involves observing and registering the 3D scene on the table, detecting what objects are on the table, and how to manipulate them. Consequently, it greatly influences the system's task-planning and motion-planning stacks that follow. We present a comprehensive ov…
▽ More
Table-top Rearrangement and Planning is a challenging problem that relies heavily on an excellent perception stack. The perception stack involves observing and registering the 3D scene on the table, detecting what objects are on the table, and how to manipulate them. Consequently, it greatly influences the system's task-planning and motion-planning stacks that follow. We present a comprehensive overview and discuss the different challenges associated with the perception module. This work is a result of our extensive involvement in the ICRA 2022 Open Cloud Robot Table Organization Challenge, in which we stood third in the final rankings.
△ Less
Submitted 3 June, 2022; v1 submitted 9 May, 2022;
originally announced May 2022.
-
Smoothness of integrated density of states of the Anderson model on Bethe lattice in high disorder
Authors:
Dhriti Ranjan Dolai,
M. krishna
Abstract:
In this work we consider the Anderson model on Bethe lattice and prove that the integrated density of states (IDS) is as smooth as the single site distribution (SSD), in high disorder
In this work we consider the Anderson model on Bethe lattice and prove that the integrated density of states (IDS) is as smooth as the single site distribution (SSD), in high disorder
△ Less
Submitted 12 October, 2022; v1 submitted 19 April, 2022;
originally announced April 2022.
-
UrbanFly: Uncertainty-Aware Planning for Navigation Amongst High-Rises with Monocular Visual-Inertial SLAM Maps
Authors:
Sudarshan S Harithas,
Ayyappa Swamy Thatavarthy,
Gurkirat Singh,
Arun K Singh,
K Madhava Krishna
Abstract:
We present UrbanFly: an uncertainty-aware real-time planning framework for quadrotor navigation in urban high-rise environments. A core aspect of UrbanFly is its ability to robustly plan directly on the sparse point clouds generated by a Monocular Visual Inertial SLAM (VINS) backend. It achieves this by using the sparse point clouds to build an uncertainty-integrated cuboid representation of the e…
▽ More
We present UrbanFly: an uncertainty-aware real-time planning framework for quadrotor navigation in urban high-rise environments. A core aspect of UrbanFly is its ability to robustly plan directly on the sparse point clouds generated by a Monocular Visual Inertial SLAM (VINS) backend. It achieves this by using the sparse point clouds to build an uncertainty-integrated cuboid representation of the environment through a data-driven monocular plane segmentation network. Our chosen world model provides faster distance queries than the more common voxel-grid representation, and UrbanFly leverages this capability in two different ways leading to two trajectory optimizers. The first optimizer uses a gradient-free cross-entropy method to compute trajectories that minimize collision probability and smoothness cost. Our second optimizer is a simplified version of the first and uses a sequential convex programming optimizer initialized based on probabilistic safety estimates on a set of randomly drawn trajectories. Both our trajectory optimizers are made computationally tractable and independent of the nature of underlying uncertainty by embedding the distribution of collision violations in Reproducing Kernel Hilbert Space. Empowered by the algorithmic innovation, UrbanFly outperforms competing baselines in metrics such as collision rate, trajectory length, etc., on a high-fidelity AirSim simulator augmented with synthetic and real-world dataset scenes.
△ Less
Submitted 3 October, 2022; v1 submitted 2 April, 2022;
originally announced April 2022.
-
C*-algebraic Gauss-Lucas Theorem and C*-algebraic Sendov's Conjecture
Authors:
K. Mahesh Krishna
Abstract:
Using a result of Robertson \textit{[Proc. Edinburgh Math. Soc. (2), 1976]}, we introduce a notion of differentiation of maps on certain classes of unital commutative C*-algebras. We then derive C*-algebraic Gauss-Lucas theorem and formulate C*-algebraic Sendov's conjecture. We verify C*-algebraic Sendov's conjecture for polynomials of degree 2.
Using a result of Robertson \textit{[Proc. Edinburgh Math. Soc. (2), 1976]}, we introduce a notion of differentiation of maps on certain classes of unital commutative C*-algebras. We then derive C*-algebraic Gauss-Lucas theorem and formulate C*-algebraic Sendov's conjecture. We verify C*-algebraic Sendov's conjecture for polynomials of degree 2.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Drift Reduced Navigation with Deep Explainable Features
Authors:
Mohd Omama,
Sundar Sripada Venugopalaswamy Sriraman,
Sandeep Chinchali,
Arun Kumar Singh,
K. Madhava Krishna
Abstract:
Modern autonomous vehicles (AVs) often rely on vision, LIDAR, and even radar-based simultaneous localization and mapping (SLAM) frameworks for precise localization and navigation. However, modern SLAM frameworks often lead to unacceptably high levels of drift (i.e., localization error) when AVs observe few visually distinct features or encounter occlusions due to dynamic obstacles. This paper argu…
▽ More
Modern autonomous vehicles (AVs) often rely on vision, LIDAR, and even radar-based simultaneous localization and mapping (SLAM) frameworks for precise localization and navigation. However, modern SLAM frameworks often lead to unacceptably high levels of drift (i.e., localization error) when AVs observe few visually distinct features or encounter occlusions due to dynamic obstacles. This paper argues that minimizing drift must be a key desiderata in AV motion planning, which requires an AV to take active control decisions to move towards feature-rich regions while also minimizing conventional control cost. To do so, we first introduce a novel data-driven perception module that observes LIDAR point clouds and estimates which features/regions an AV must navigate towards for drift minimization. Then, we introduce an interpretable model predictive controller (MPC) that moves an AV toward such feature-rich regions while avoiding visual occlusions and gracefully trading off drift and control cost. Our experiments on challenging, dynamic scenarios in the state-of-the-art CARLA simulator indicate our method reduces drift up to 76.76% compared to benchmark approaches.
△ Less
Submitted 25 November, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
ReF -- Rotation Equivariant Features for Local Feature Matching
Authors:
Abhishek Peri,
Kinal Mehta,
Avneesh Mishra,
Michael Milford,
Sourav Garg,
K. Madhava Krishna
Abstract:
Sparse local feature matching is pivotal for many computer vision and robotics tasks. To improve their invariance to challenging appearance conditions and viewing angles, and hence their usefulness, existing learning-based methods have primarily focused on data augmentation-based training. In this work, we propose an alternative, complementary approach that centers on inducing bias in the model ar…
▽ More
Sparse local feature matching is pivotal for many computer vision and robotics tasks. To improve their invariance to challenging appearance conditions and viewing angles, and hence their usefulness, existing learning-based methods have primarily focused on data augmentation-based training. In this work, we propose an alternative, complementary approach that centers on inducing bias in the model architecture itself to generate `rotation-specific' features using Steerable E2-CNNs, that are then group-pooled to achieve rotation-invariant local features. We demonstrate that this high performance, rotation-specific coverage from the steerable CNNs can be expanded to all rotation angles by combining it with augmentation-trained standard CNNs which have broader coverage but are often inaccurate, thus creating a state-of-the-art rotation-robust local feature matcher. We benchmark our proposed methods against existing techniques on HPatches and a newly proposed UrbanScenes3D-Air dataset for visual place recognition. Furthermore, we present a detailed analysis of the performance effects of ensembling, robust estimation, network architecture variations, and the use of rotation priors.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Metric, Schauder and Operator-Valued Frames
Authors:
K. Mahesh Krishna
Abstract:
Notion of frames and Bessel sequences for metric spaces have been introduced. This notion is related with the notion of Lipschitz free Banach spaces. \ It is proved that every separable metric space admits a metric $\mathcal{M}_d$-frame. Through Lipschitz-free Banach spaces it is showed that there is a correspondence between frames for metric spaces and frames for subsets of Banach spaces. Several…
▽ More
Notion of frames and Bessel sequences for metric spaces have been introduced. This notion is related with the notion of Lipschitz free Banach spaces. \ It is proved that every separable metric space admits a metric $\mathcal{M}_d$-frame. Through Lipschitz-free Banach spaces it is showed that there is a correspondence between frames for metric spaces and frames for subsets of Banach spaces. Several characterizations of metric frames are obtained. Stability results are also presented. Non linear multipliers are introduced and studied. This notion is connected with the notion of Lipschitz compact operators. Continuity properties of multipliers are discussed.
For a subclass of approximated Schauder frames for Banach spaces, characterization result is derived using standard Schauder basis for standard sequence spaces. Duals of a subclass of approximate Schauder frames are completely described. Similarity of this class is characterized and interpolation result is derived using orthogonality. A dilation result is obtained. A new identity is derived for Banach spaces which admit a homogeneous semi-inner product. Some stability results are obtained for this class.
A generalization of operator-valued frames for Hilbert spaces are introduced which unifies all the known generalizations of frames for Hilbert spaces. This notion has been studied in depth by imposing factorization property of the frame operator. Its duality, similarity and orthogonality are addressed. Connections between this notion and unitary representations of groups and group-like unitary systems are derived. Paley-Wiener theorem for this class are derived.
△ Less
Submitted 28 February, 2022;
originally announced February 2022.
-
The $(abc,pqr)$-problem for Approximate Schauder Frames for Banach Spaces
Authors:
K. Mahesh Krishna
Abstract:
Motivated from the complete solution of important $abc$-problem for Gabor system for the Hilbert space $\mathcal{L}^2(\mathbb{R})$ by Dai and Sun [\textit{Memoirs of Amer. Math. Soc., 2016}] and from the existential result of approximate Schauder frames for $\mathcal{L}^p(\mathbb{R})$ using translation operators on $\mathcal{L}^p(\mathbb{R})$ by Freeman, Odell, Schlumprecht, and Zsak [\textit{Isra…
▽ More
Motivated from the complete solution of important $abc$-problem for Gabor system for the Hilbert space $\mathcal{L}^2(\mathbb{R})$ by Dai and Sun [\textit{Memoirs of Amer. Math. Soc., 2016}] and from the existential result of approximate Schauder frames for $\mathcal{L}^p(\mathbb{R})$ using translation operators on $\mathcal{L}^p(\mathbb{R})$ by Freeman, Odell, Schlumprecht, and Zsak [\textit{Israel. J. Math, 2014}], we formulate $(abc, pqr)$-problem for approximate Schauder frames for Banach spaces $\mathcal{L}^p(\mathbb{R})$, $1<p<\infty$.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Operator-Valued p-Approximate Schauder Frames
Authors:
K. Mahesh Krishna,
P. Sam Johnson
Abstract:
We give an operator-algebraic treatment of theory of p-approximate Schuader frames which includes the theory of operator-valued frames by Kaftal, Larson, and Zhang [\textit{Trans. AMS., 2009}], G-frames by Sun [JMAA, 2006], factorable weak operator-valued frames by Krishna and Johnson [\textit{Annals of FA, 2022}] and p-approximate Schauder frames by Krishna and Johnson [\textit{J. Pseudo-Differ.…
▽ More
We give an operator-algebraic treatment of theory of p-approximate Schuader frames which includes the theory of operator-valued frames by Kaftal, Larson, and Zhang [\textit{Trans. AMS., 2009}], G-frames by Sun [JMAA, 2006], factorable weak operator-valued frames by Krishna and Johnson [\textit{Annals of FA, 2022}] and p-approximate Schauder frames by Krishna and Johnson [\textit{J. Pseudo-Differ. Oper. Appl, 2021}] as particular cases. We show that a sufficiently rich theory can be developed even for Banach spaces. We achieve this by defining various concepts and characterizations in Banach spaces. These include duality, approximate duality, equivalence, orthogonality and stability.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Paulsen and Projection Problems for Banach Spaces
Authors:
K. Mahesh Krishna
Abstract:
Based on the two decades old celebrated Paulsen problem and its solutions for Hilbert spaces by Kwok, Lau, Lee, Ramachandran, Hamilton, and Moitra, we formulate Paulsen problem for Banach spaces. We also formulate projection problem for Banach spaces.
Based on the two decades old celebrated Paulsen problem and its solutions for Hilbert spaces by Kwok, Lau, Lee, Ramachandran, Hamilton, and Moitra, we formulate Paulsen problem for Banach spaces. We also formulate projection problem for Banach spaces.
△ Less
Submitted 4 January, 2022;
originally announced January 2022.
-
Discrete and Continuous Welch Bounds for Banach Spaces with Applications
Authors:
K. Mahesh Krishna
Abstract:
Let $\{τ_j\}_{j=1}^n$ be a collection in a finite dimensional Banach space $\mathcal{X}$ of dimension $d$ and $\{f_j\}_{j=1}^n$ be a collection in $\mathcal{X}^*$ (dual of $\mathcal{X}$) such that $f_j(τ_j) =1$, $\forall 1\leq j\leq n$. Let $n\geq d$ and $\text{Sym}^m(\mathcal{X})$ be the Banach space of symmetric m-tensors. If the operator…
▽ More
Let $\{τ_j\}_{j=1}^n$ be a collection in a finite dimensional Banach space $\mathcal{X}$ of dimension $d$ and $\{f_j\}_{j=1}^n$ be a collection in $\mathcal{X}^*$ (dual of $\mathcal{X}$) such that $f_j(τ_j) =1$, $\forall 1\leq j\leq n$. Let $n\geq d$ and $\text{Sym}^m(\mathcal{X})$ be the Banach space of symmetric m-tensors. If the operator $ \text{Sym}^m(\mathcal{X})\ni x \mapsto \sum_{j=1}^nf_j^{\otimes m}(x)τ_j ^{\otimes m}\in\text{Sym}^m(\mathcal{X})$ is diagonalizable and its eigenvalues are all non negative, then we prove that \begin{align}\label{WELCHBANACHABSTRACT} \max _{1\leq j,k \leq n, j\neq k}|f_j(τ_k)|^{2m}\geq \max _{1\leq j,k \leq n, j\neq k}|f_j(τ_k)f_k(τ_j)|^m \geq\frac{1}{n-1}\left[\frac{n}{d+m-1\choose m}-1\right], \quad \forall m \in \mathbb{N}. \end{align} When $ \mathcal{X}=\mathcal{H}$ is a Hilbert space, and $f_j$ is defined by $f_j: \mathcal{H}\ni h \mapsto \langle h, τ_j \rangle \in \mathbb{K}$ (where $\mathbb{K}$ is $\mathbb{R}$ or $\mathbb{C}$), $\forall 1 \leq j \leq n$, then Inequality (1) reduces to Welch bounds. Thus Inequality (1) improves 48 years old result obtained by Welch [\textit{IEEE Transactions on Information Theory, 1974}]. We also prove the following continuous version of Inequality (1) under certain conditions for measure spaces: \begin{align}\label{CONTINUOUSWELCHBANACHABSTRACT}
\sup _{α, β\in Ω, α\neq β}|f_α(τ_β) |^{2m}\geq \sup _{α, β\in Ω, α\neq β}|f_α(τ_β)f_β(τ_α) |^{m}\geq \frac{1}{(μ\timesμ)((Ω\timesΩ)\setminusΔ)}\left[\frac{ μ(Ω)^2}{d+m-1 \choose m}-(μ\timesμ)(Δ)\right]. \end{align}
△ Less
Submitted 4 January, 2022;
originally announced January 2022.
-
Modular Welch Bounds with Applications
Authors:
K. Mahesh Krishna
Abstract:
We prove the following two results. \begin{enumerate}
\item Let $\mathcal{A}$ be a unital commutative C*-algebra and $\mathcal{A}^d$ be the standard Hilbert C*-module over $\mathcal{A}$. Let $n\geq d$. If $\{τ_j\}_{j=1}^n$ is any collection of vectors in $\mathcal{A}^d$ such that $\langle τ_j, τ_j \rangle =1$, $\forall 1\leq j \leq n$, then
\begin{align*}
\max _{1\leq j,k \leq n, j\neq k}\|\…
▽ More
We prove the following two results. \begin{enumerate}
\item Let $\mathcal{A}$ be a unital commutative C*-algebra and $\mathcal{A}^d$ be the standard Hilbert C*-module over $\mathcal{A}$. Let $n\geq d$. If $\{τ_j\}_{j=1}^n$ is any collection of vectors in $\mathcal{A}^d$ such that $\langle τ_j, τ_j \rangle =1$, $\forall 1\leq j \leq n$, then
\begin{align*}
\max _{1\leq j,k \leq n, j\neq k}\|\langle τ_j, τ_k\rangle ||^{2m}\geq \frac{1}{n-1}\left[\frac{n}{d+m-1\choose m}-1\right], \quad \forall m \in \mathbb{N}.
\end{align*}
\item Let $\mathcal{A}$ be a $σ$-finite commutative W*-algebra or a commutative AW*-algebra and $\mathcal{E}$ be a rank d Hilbert C*-module over $\mathcal{A}$. Let $n\geq d$. If $\{τ_j\}_{j=1}^n$ is any collection of vectors in $\mathcal{E}$ such that $\langle τ_j, τ_j \rangle =1$, $\forall 1\leq j \leq n$, then
\begin{align*}
\max _{1\leq j,k \leq n, j\neq k}\|\langle τ_j, τ_k\rangle ||^{2m}\geq \frac{1}{n-1}\left[\frac{n}{d+m-1\choose m}-1\right], \quad \forall m \in \mathbb{N}.
\end{align*} \end{enumerate} Results (1) and (2) reduce to the famous result of Welch [\textit{IEEE Transactions on Information Theory, 1974}] obtained 48 years ago. We introduce the notions of modular frame potential, modular equiangular frames and modular Grassmannian frames. We formulate Zauner's conjecture for Hilbert C*-modules.
△ Less
Submitted 2 January, 2022;
originally announced January 2022.
-
Feichtinger Conjectures, $R_\varepsilon$-Conjectures and Weaver's Conjectures for Banach spaces
Authors:
K. Mahesh Krishna
Abstract:
Motivated from two decades old famous Feichtinger conjectures for frames, $R_\varepsilon$-conjecture and Weaver's conjecture for Hilbert spaces (and their solution by Marcus, Spielman, and Srivastava), we formulate Feichtinger conjectures for p-approximate Schauder frames, $R_\varepsilon$-conjecture, Weaver's conjectures and Akemann-Weaver conjectures for Banach spaces. We also formulate conjectur…
▽ More
Motivated from two decades old famous Feichtinger conjectures for frames, $R_\varepsilon$-conjecture and Weaver's conjecture for Hilbert spaces (and their solution by Marcus, Spielman, and Srivastava), we formulate Feichtinger conjectures for p-approximate Schauder frames, $R_\varepsilon$-conjecture, Weaver's conjectures and Akemann-Weaver conjectures for Banach spaces. We also formulate conjectures on p-approximate Schauder frames based on the results of Casazza for frames for Hilbert spaces. We state conjectures and problems for p-approximate Schauder frames based on fundamental inequality for frames for Hilbert spaces and scaling problem for Hilbert space frames. Based on Kothe-Lorch theorem for Riesz bases for Hilbert spaces, we formulate a problem for p-approximate Riesz bases for Banach spaces. We formulate dynamical sampling problem for p-approximate Schauder frames for Banach spaces. We ask phase retrieval problem and norm retrieval problem for p-approximate Schauder frames for Banach spaces. We also formulate discretization problem for continuous p-approximate Schauder frames.
△ Less
Submitted 1 January, 2022;
originally announced January 2022.