-
Solitary waves in the coupled nonlinear massive Thirring as well as coupled Soler models with arbitrary nonlinearity
Authors:
Avinash Khare,
Fred Cooper,
John F. Dawson,
Efstathios G. Charalampidis,
Avadh Saxena
Abstract:
Motivated by the recent introduction of an integrable coupled massive Thirring model by Basu-Mallick et al, we introduce a new coupled Soler model. Further we generalize both the coupled massive Thirring and the coupled Soler model to arbitrary nonlinear parameter $κ$ and obtain exact solitary wave solutions in both cases. Remarkably, it turns out that in both the models, because of the conservati…
▽ More
Motivated by the recent introduction of an integrable coupled massive Thirring model by Basu-Mallick et al, we introduce a new coupled Soler model. Further we generalize both the coupled massive Thirring and the coupled Soler model to arbitrary nonlinear parameter $κ$ and obtain exact solitary wave solutions in both cases. Remarkably, it turns out that in both the models, because of the conservation laws of charge and energy, the exact solutions we find seem to not depend on how we parameterize them, and the charge density of these solutions is related to the charge density of the single field solutions found earlier by a subset of the present authors. In both the models, a nonrelativistic reduction of the equations leads to the same conclusion that the solutions are proportional to those found in the one component field case.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
DεpS: Delayed ε-Shrinking for Faster Once-For-All Training
Authors:
Aditya Annavajjala,
Alind Khare,
Animesh Agrawal,
Igor Fedorov,
Hugo Latapie,
Myungjin Lee,
Alexey Tumanov
Abstract:
CNNs are increasingly deployed across different hardware, dynamic environments, and low-power embedded devices. This has led to the design and training of CNN architectures with the goal of maximizing accuracy subject to such variable deployment constraints. As the number of deployment scenarios grows, there is a need to find scalable solutions to design and train specialized CNNs. Once-for-all tr…
▽ More
CNNs are increasingly deployed across different hardware, dynamic environments, and low-power embedded devices. This has led to the design and training of CNN architectures with the goal of maximizing accuracy subject to such variable deployment constraints. As the number of deployment scenarios grows, there is a need to find scalable solutions to design and train specialized CNNs. Once-for-all training has emerged as a scalable approach that jointly co-trains many models (subnets) at once with a constant training cost and finds specialized CNNs later. The scalability is achieved by training the full model and simultaneously reducing it to smaller subnets that share model weights (weight-shared shrinking). However, existing once-for-all training approaches incur huge training costs reaching 1200 GPU hours. We argue this is because they either start the process of shrinking the full model too early or too late. Hence, we propose Delayed $ε$-Shrinking (D$ε$pS) that starts the process of shrinking the full model when it is partially trained (~50%) which leads to training cost improvement and better in-place knowledge distillation to smaller models. The proposed approach also consists of novel heuristics that dynamically adjust subnet learning rates incrementally (E), leading to improved weight-shared knowledge distillation from larger to smaller subnets as well. As a result, DEpS outperforms state-of-the-art once-for-all training techniques across different datasets including CIFAR10/100, ImageNet-100, and ImageNet-1k on accuracy and cost. It achieves 1.83% higher ImageNet-1k top1 accuracy or the same accuracy with 1.3x reduction in FLOPs and 2.5x drop in training cost (GPU*hrs)
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
Authors:
Anton Xue,
Avishree Khare,
Rajeev Alur,
Surbhi Goel,
Eric Wong
Abstract:
We study how to subvert language models from following the rules. We model rule-following as inference in propositional Horn logic, a mathematical system in which rules have the form "if $P$ and $Q$, then $R$" for some propositions $P$, $Q$, and $R$. We prove that although transformers can faithfully abide by such rules, maliciously crafted prompts can nevertheless mislead even theoretically const…
▽ More
We study how to subvert language models from following the rules. We model rule-following as inference in propositional Horn logic, a mathematical system in which rules have the form "if $P$ and $Q$, then $R$" for some propositions $P$, $Q$, and $R$. We prove that although transformers can faithfully abide by such rules, maliciously crafted prompts can nevertheless mislead even theoretically constructed models. Empirically, we find that attacks on our theoretical models mirror popular attacks on large language models. Our work suggests that studying smaller theoretical models can help understand the behavior of large language models in rule-based settings like logical reasoning and jailbreak attacks.
△ Less
Submitted 21 June, 2024;
originally announced July 2024.
-
Neutral-atom qubits in atom-molecular BEC
Authors:
Leena Barshilia,
Rajiuddin Sk,
Prasanta K. Panigrahi,
Avinash Khare
Abstract:
Recently, neutral atoms have emerged as a promising platform for quantum computing, offering scalability. In this study, we showcase the realization of atomic qubits in atom-molecular Bose-Einstein condensate, belonging to three distinct classes. In the first case, the condensed molecules form a droplet platform with a flat-top configuration, facilitating effective isolation from both external env…
▽ More
Recently, neutral atoms have emerged as a promising platform for quantum computing, offering scalability. In this study, we showcase the realization of atomic qubits in atom-molecular Bose-Einstein condensate, belonging to three distinct classes. In the first case, the condensed molecules form a droplet platform with a flat-top configuration, facilitating effective isolation from both external environments and neighbouring molecules. The second atomic qubits have wavefunctions in the ``pulse" form, exhibiting power law behaviour, whereas the third one has ground and excited state wavefunctions in their respective composite forms, $\sech^2{βx}$ and $\sech{βx}\tanh{βx}$. The localization of the qubits depends on the chemical potential, which is governed by the photo association, providing effective control for qubit manipulation. The relevant parameters, such as energy level separation, healing length, and atom numbers, are found to be influenced by the non-linearity and strength of photo associations governing the behaviour of macroscopic qubits and molecular droplets.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Multi-Stage Multi-Modal Pre-Training for Automatic Speech Recognition
Authors:
Yash Jain,
David Chan,
Pranav Dheram,
Aparna Khare,
Olabanji Shonibare,
Venkatesh Ravichandran,
Shalini Ghosh
Abstract:
Recent advances in machine learning have demonstrated that multi-modal pre-training can improve automatic speech recognition (ASR) performance compared to randomly initialized models, even when models are fine-tuned on uni-modal tasks. Existing multi-modal pre-training methods for the ASR task have primarily focused on single-stage pre-training where a single unsupervised task is used for pre-trai…
▽ More
Recent advances in machine learning have demonstrated that multi-modal pre-training can improve automatic speech recognition (ASR) performance compared to randomly initialized models, even when models are fine-tuned on uni-modal tasks. Existing multi-modal pre-training methods for the ASR task have primarily focused on single-stage pre-training where a single unsupervised task is used for pre-training followed by fine-tuning on the downstream task. In this work, we introduce a novel method combining multi-modal and multi-task unsupervised pre-training with a translation-based supervised mid-training approach. We empirically demonstrate that such a multi-stage approach leads to relative word error rate (WER) improvements of up to 38.45% over baselines on both Librispeech and SUPERB. Additionally, we share several important findings for choosing pre-training methods and datasets.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Turn-taking and Backchannel Prediction with Acoustic and Large Language Model Fusion
Authors:
Jinhan Wang,
Long Chen,
Aparna Khare,
Anirudh Raju,
Pranav Dheram,
Di He,
Minhua Wu,
Andreas Stolcke,
Venkatesh Ravichandran
Abstract:
We propose an approach for continuous prediction of turn-taking and backchanneling locations in spoken dialogue by fusing a neural acoustic model with a large language model (LLM). Experiments on the Switchboard human-human conversation dataset demonstrate that our approach consistently outperforms the baseline models with single modality. We also develop a novel multi-task instruction fine-tuning…
▽ More
We propose an approach for continuous prediction of turn-taking and backchanneling locations in spoken dialogue by fusing a neural acoustic model with a large language model (LLM). Experiments on the Switchboard human-human conversation dataset demonstrate that our approach consistently outperforms the baseline models with single modality. We also develop a novel multi-task instruction fine-tuning strategy to further benefit from LLM-encoded knowledge for understanding the tasks and conversational contexts, leading to additional improvements. Our approach demonstrates the potential of combined LLMs and acoustic models for a more natural and conversational interaction between humans and speech-enabled AI agents.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Two-pass Endpoint Detection for Speech Recognition
Authors:
Anirudh Raju,
Aparna Khare,
Di He,
Ilya Sklyar,
Long Chen,
Sam Alptekin,
Viet Anh Trinh,
Zhe Zhang,
Colin Vaz,
Venkatesh Ravichandran,
Roland Maas,
Ariya Rastrow
Abstract:
Endpoint (EP) detection is a key component of far-field speech recognition systems that assist the user through voice commands. The endpoint detector has to trade-off between accuracy and latency, since waiting longer reduces the cases of users being cut-off early. We propose a novel two-pass solution for endpointing, where the utterance endpoint detected from a first pass endpointer is verified b…
▽ More
Endpoint (EP) detection is a key component of far-field speech recognition systems that assist the user through voice commands. The endpoint detector has to trade-off between accuracy and latency, since waiting longer reduces the cases of users being cut-off early. We propose a novel two-pass solution for endpointing, where the utterance endpoint detected from a first pass endpointer is verified by a 2nd-pass model termed EP Arbitrator. Our method improves the trade-off between early cut-offs and latency over a baseline endpointer, as tested on datasets including voice-assistant transactional queries, conversational speech, and the public SLURP corpus. We demonstrate that our method shows improvements regardless of the first-pass EP model used.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
SuperServe: Fine-Grained Inference Serving for Unpredictable Workloads
Authors:
Alind Khare,
Dhruv Garg,
Sukrit Kalra,
Snigdha Grandhi,
Ion Stoica,
Alexey Tumanov
Abstract:
The increasing deployment of ML models on the critical path of production applications in both datacenter and the edge requires ML inference serving systems to serve these models under unpredictable and bursty request arrival rates. Serving models under such conditions requires these systems to strike a careful balance between the latency and accuracy requirements of the application and the overal…
▽ More
The increasing deployment of ML models on the critical path of production applications in both datacenter and the edge requires ML inference serving systems to serve these models under unpredictable and bursty request arrival rates. Serving models under such conditions requires these systems to strike a careful balance between the latency and accuracy requirements of the application and the overall efficiency of utilization of scarce resources. State-of-the-art systems resolve this tension by either choosing a static point in the latency-accuracy tradeoff space to serve all requests or load specific models on the critical path of request serving. In this work, we instead resolve this tension by simultaneously serving the entire-range of models spanning the latency-accuracy tradeoff space. Our novel mechanism, SubNetAct, achieves this by carefully inserting specialized operators in weight-shared SuperNetworks. These operators enable SubNetAct to dynamically route requests through the network to meet a latency and accuracy target. SubNetAct requires upto 2.6x lower memory to serve a vastly-higher number of models than prior state-of-the-art. In addition, SubNetAct's near-instantaneous actuation of models unlocks the design space of fine-grained, reactive scheduling policies. We explore the design of one such extremely effective policy, SlackFit and instantiate both SubNetAct and SlackFit in a real system, SuperServe. SuperServe achieves 4.67% higher accuracy for the same SLO attainment and 2.85x higher SLO attainment for the same accuracy on a trace derived from the real-world Microsoft Azure Functions workload and yields the best trade-offs on a wide range of extremely-bursty synthetic traces automatically.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Gemini: A Family of Highly Capable Multimodal Models
Authors:
Gemini Team,
Rohan Anil,
Sebastian Borgeaud,
Jean-Baptiste Alayrac,
Jiahui Yu,
Radu Soricut,
Johan Schalkwyk,
Andrew M. Dai,
Anja Hauth,
Katie Millican,
David Silver,
Melvin Johnson,
Ioannis Antonoglou,
Julian Schrittwieser,
Amelia Glaese,
Jilin Chen,
Emily Pitler,
Timothy Lillicrap,
Angeliki Lazaridou,
Orhan Firat,
James Molloy,
Michael Isard,
Paul R. Barham,
Tom Hennigan,
Benjamin Lee
, et al. (1325 additional authors not shown)
Abstract:
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultr…
▽ More
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI.
△ Less
Submitted 17 June, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
A remark on characterizing inner product spaces via strong three-point homogeneity
Authors:
Sujit Sakharam Damase,
Apoorva Khare
Abstract:
We show that a normed linear space is isometrically isomorphic to an inner product space if and only if it is a strongly $n$-point homogeneous metric space for any (or every) $n \geqslant 3$. The counterpart for $n=2$ is the Banach-Mazur problem.
We show that a normed linear space is isometrically isomorphic to an inner product space if and only if it is a strongly $n$-point homogeneous metric space for any (or every) $n \geqslant 3$. The counterpart for $n=2$ is the Banach-Mazur problem.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
Authors:
Avishree Khare,
Saikat Dutta,
Ziyang Li,
Alaia Solko-Breslin,
Rajeev Alur,
Mayur Naik
Abstract:
Security vulnerabilities in modern software are prevalent and harmful. While automated vulnerability detection tools have made promising progress, their scalability and applicability remain challenging. Recently, Large Language Models (LLMs), such as GPT-4 and CodeLlama, have demonstrated remarkable performance on code-related tasks. However, it is unknown whether such LLMs can do complex reasonin…
▽ More
Security vulnerabilities in modern software are prevalent and harmful. While automated vulnerability detection tools have made promising progress, their scalability and applicability remain challenging. Recently, Large Language Models (LLMs), such as GPT-4 and CodeLlama, have demonstrated remarkable performance on code-related tasks. However, it is unknown whether such LLMs can do complex reasoning over code. In this work, we explore whether pre-trained LLMs can detect security vulnerabilities and address the limitations of existing tools. We evaluate the effectiveness of pre-trained LLMs, in terms of performance, explainability, and robustness, on a set of five diverse security benchmarks spanning two languages, Java and C/C++, and covering both synthetic and real-world projects.
Overall, all LLMs show modest effectiveness in end-to-end reasoning about vulnerabilities, obtaining an average of 60% accuracy across all datasets. However, we observe that LLMs show promising abilities at performing parts of the analysis correctly, such as identifying vulnerability-related specifications (e.g., sources and sinks) and leveraging natural language information to understand code behavior (e.g., to check if code is sanitized). Further, LLMs are relatively much better at detecting simpler vulnerabilities that typically only need local reasoning (e.g., Integer Overflows and NULL pointer dereference). We find that advanced prompting strategies that involve step-by-step analysis significantly improve performance of LLMs on real-world datasets (improving F1 score by up to 0.25 on average). Finally, we share our insights and recommendations for future work on leveraging LLMs for vulnerability detection.
△ Less
Submitted 9 June, 2024; v1 submitted 16 November, 2023;
originally announced November 2023.
-
Negativity-preserving transforms of tuples of symmetric matrices
Authors:
Alexander Belton,
Dominique Guillot,
Apoorva Khare,
Mihai Putinar
Abstract:
Compared to the entrywise transforms which preserve positive semidefiniteness, those leaving invariant the inertia of symmetric matrices reveal a surprising rigidity. We first obtain the classification of negativity preservers by combining recent advances in matrix analysis with some novel arguments using well chosen test matrices. We continue with the analogous classification in the multi-variabl…
▽ More
Compared to the entrywise transforms which preserve positive semidefiniteness, those leaving invariant the inertia of symmetric matrices reveal a surprising rigidity. We first obtain the classification of negativity preservers by combining recent advances in matrix analysis with some novel arguments using well chosen test matrices. We continue with the analogous classification in the multi-variable setting, revealing a striking separation of variables, with absolute monotonicity on one side and homotheties on the other. We conclude with the complex analogue of this result.
△ Less
Submitted 26 June, 2024; v1 submitted 27 October, 2023;
originally announced October 2023.
-
Matrix positivity preservers in fixed dimension. II: positive definiteness and strict monotonicity of Schur function ratios
Authors:
Alexander Belton,
Dominique Guillot,
Apoorva Khare,
Mihai Putinar
Abstract:
We continue the study of real polynomials acting entrywise on matrices of fixed dimension to preserve positive semidefiniteness, together with the related analysis of order properties of Schur polynomials.
Previous work has shown that, given a real polynomial with positive coefficients that is perturbed by adding a higher-degree monomial, there exists a negative lower bound for the coefficient o…
▽ More
We continue the study of real polynomials acting entrywise on matrices of fixed dimension to preserve positive semidefiniteness, together with the related analysis of order properties of Schur polynomials.
Previous work has shown that, given a real polynomial with positive coefficients that is perturbed by adding a higher-degree monomial, there exists a negative lower bound for the coefficient of the perturbation which characterizes when the perturbed polynomial remains positivity preserving. We show here that, if the perturbation coefficient is strictly greater than this bound then the transformed matrix becomes positive definite given a simple genericity condition that can be readily verified. We identity a slightly stronger genericity condition that ensures positive definiteness occurs at the boundary.
The analysis is complemented by computing the rank of the transformed matrix in terms of the location of the original matrix in a Schubert cell-type stratification that we have introduced and explored previously. The proofs require enhancing to strictness a Schur monotonicity result of Khare and Tao, to show that the ratio of Schur polynomials is strictly increasing along each coordinate on the positive orthant and non-decreasing on its closure whenever the defining tuples satisfy a coordinate-wise domination condition.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
ABKD: Graph Neural Network Compression with Attention-Based Knowledge Distillation
Authors:
Anshul Ahluwalia,
Rohit Das,
Payman Behnam,
Alind Khare,
Pan Li,
Alexey Tumanov
Abstract:
Graph Neural Networks (GNNs) have proven to be quite versatile for a variety of applications, including recommendation systems, fake news detection, drug discovery, and even computer vision. Due to the expanding size of graph-structured data, GNN models have also increased in complexity, leading to substantial latency issues. This is primarily attributed to the irregular structure of graph data an…
▽ More
Graph Neural Networks (GNNs) have proven to be quite versatile for a variety of applications, including recommendation systems, fake news detection, drug discovery, and even computer vision. Due to the expanding size of graph-structured data, GNN models have also increased in complexity, leading to substantial latency issues. This is primarily attributed to the irregular structure of graph data and its access pattern into memory. The natural solution to reduce latency is to compress large GNNs into small GNNs. One way to do this is via knowledge distillation (KD). However, most KD approaches for GNNs only consider the outputs of the last layers and do not consider the outputs of the intermediate layers of the GNNs; these layers may contain important inductive biases indicated by the graph structure. To address this shortcoming, we propose a novel KD approach to GNN compression that we call Attention-Based Knowledge Distillation (ABKD). ABKD is a KD approach that uses attention to identify important intermediate teacher-student layer pairs and focuses on aligning their outputs. ABKD enables higher compression of GNNs with a smaller accuracy dropoff compared to existing KD approaches. On average, we achieve a 1.79% increase in accuracy with a 32.3x compression ratio on OGBN-Mag, a large graph dataset, compared to state-of-the-art approaches.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Exact trapped $N$-soliton solutions of the nonlinear Schrödinger equation using the inverse problem method
Authors:
Fred Cooper,
Avinash Khare,
John F. Dawson,
Efstathios G. Charalampidis,
Avadh Saxena
Abstract:
In this work, we show the application of the ``inverse problem'' method to construct exact $N$ trapped soliton-like solutions of the nonlinear Schrödinger or Gross-Pitaevskii equation (NLSE and GPE, respectively) in one, two, and three spatial dimensions. This method is capable of finding the external (confining) potentials which render specific assumed waveforms exact solutions of the NLSE for bo…
▽ More
In this work, we show the application of the ``inverse problem'' method to construct exact $N$ trapped soliton-like solutions of the nonlinear Schrödinger or Gross-Pitaevskii equation (NLSE and GPE, respectively) in one, two, and three spatial dimensions. This method is capable of finding the external (confining) potentials which render specific assumed waveforms exact solutions of the NLSE for both attractive ($g<0$) and repulsive ($g>0$) self-interactions. For both signs of $g$, we discuss the stability with respect to self-similar deformations and translations. For $g<0$, a critical mass $M_c$, or equivalently the number of particles, for instabilities to arise can often be found analytically. On the other hand, for the case with $g>0$ corresponding to repulsive self interactions which is often discussed in the atomic physics realm of Bose-Einstein condensates (BEC), the bound solutions are found to be always stable. For $g<0$, we also determine the critical mass numerically by using linear stability or Bogoliubov-de Gennes analysis, and compare these results with our analytic estimates. Various analytic forms for the trapped $N$-soliton solutions are discussed, including sums of Gaussians or higher-order eigenfunctions of the harmonic oscillator Hamiltonian.
△ Less
Submitted 21 October, 2023; v1 submitted 15 September, 2023;
originally announced September 2023.
-
The additive-multiplicative distance matrix of a graph, and a novel third invariant
Authors:
Projesh Nath Choudhury,
Apoorva Khare
Abstract:
Graham showed with Pollak and Hoffman-Hosoya that for any directed graph $G$ with strong blocks $G_e$, the determinant $\det(D_G)$ and cofactor-sum $cof(D_G)$ of the distance matrix $D_G$ can be computed from the same quantities for the blocks $G_e$. This was extended to trees - and in our recent work to any graph - with multiplicative and $q$-distance matrices. For trees, we went further and unif…
▽ More
Graham showed with Pollak and Hoffman-Hosoya that for any directed graph $G$ with strong blocks $G_e$, the determinant $\det(D_G)$ and cofactor-sum $cof(D_G)$ of the distance matrix $D_G$ can be computed from the same quantities for the blocks $G_e$. This was extended to trees - and in our recent work to any graph - with multiplicative and $q$-distance matrices. For trees, we went further and unified all previous variants with weights in a unital commutative ring, into a distance matrix with additive and multiplicative edge-data.
In this work: (1) We introduce the additive-multiplicative distance matrix $D_G$ of every strongly connected graph $G$, using what we term the additive-multiplicative block-datum $\mathcal{G}$. This subsumes the previously studied additive, multiplicative, and $q$-distances for all graphs. (2) We introduce an invariant $κ(D_G)$ that seems novel to date, and use it to show "master" Graham-Hoffman-Hosoya (GHH) identities, which express $\det(D_G), cof(D_G)$ in terms of the blocks $G_e$. We show how these imply all previous variants. (3) We show $\det(.), cof(.), κ(.)$ depend only on the block-data for not just $D_G$, but also several minors of $D_G$. This was not studied in any setting to date; we show it in the "most general" additive-multiplicative setting, hence in all known settings. (4) We compute $D_G^{-1}$ in closed-form; this specializes to all known variants. In particular, we recover our previous formula for $D_T^{-1}$ for additive-multiplicative trees (which itself specializes to a result of Graham-Lovasz and answers a 2006 question of Bapat-Lal-Pati.) (5) We also show that not the Laplacian, but a closely related matrix is the "correct" one to use in $D_G^{-1}$ - for the most general additive-multiplicative matrix $D_G$ of each $G$. As examples, we compute in closed form $\det(D_G), cof(D_G), κ(D_G), D_G^{-1}$ for hypertrees.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
New Solutions of Coupled Nonlocal NLS and Coupled Nonlocal mKdV Equations
Authors:
Avinash Khare,
Avadh Saxena
Abstract:
We provide several novel solutions of the coupled Ablowitz-Musslimani (AM) version of the nonlocal nonlinear Schrödinger (NLS) equation and the coupled nonlocal modified Korteweg-de Vries (mKdV) equations. In each case we compare and contrast the corresponding solutions of the relevant coupled local equations. Further, we provide new solutions of the coupled local NLS and the coupled local mKdV eq…
▽ More
We provide several novel solutions of the coupled Ablowitz-Musslimani (AM) version of the nonlocal nonlinear Schrödinger (NLS) equation and the coupled nonlocal modified Korteweg-de Vries (mKdV) equations. In each case we compare and contrast the corresponding solutions of the relevant coupled local equations. Further, we provide new solutions of the coupled local NLS and the coupled local mKdV equations which are not the solutions of the corresponding nonlocal equations.
△ Less
Submitted 20 August, 2023;
originally announced August 2023.
-
A Class of Exactly Solvable Real and Complex $PT$ Symmetric Reflectionless Potentials
Authors:
Suman Banerjee,
Rajesh Kumar Yadav,
Avinash Khare,
Bhabani Prasad Mandal
Abstract:
We consider the question of the number of exactly solvable complex but PT-invariant reflectionless potentials with $N$ bound states. By carefully considering the $X_m$ rationally extended reflectionless potentials, we argue that the total number of exactly solvable complex PT-invariant reflectionless potentials are $2[(2N-1)m+N]$.
We consider the question of the number of exactly solvable complex but PT-invariant reflectionless potentials with $N$ bound states. By carefully considering the $X_m$ rationally extended reflectionless potentials, we argue that the total number of exactly solvable complex PT-invariant reflectionless potentials are $2[(2N-1)m+N]$.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Ethosight: A Reasoning-Guided Iterative Learning System for Nuanced Perception based on Joint-Embedding & Contextual Label Affinity
Authors:
Hugo Latapie,
Shan Yu,
Patrick Hammer,
Kristinn R. Thorisson,
Vahagn Petrosyan,
Brandon Kynoch,
Alind Khare,
Payman Behnam,
Alexey Tumanov,
Aksheit Saxena,
Anish Aralikatti,
Hanning Chen,
Mohsen Imani,
Mike Archbold,
Tangrui Li,
Pei Wang,
Justin Hart
Abstract:
Traditional computer vision models often necessitate extensive data acquisition, annotation, and validation. These models frequently struggle in real-world applications, resulting in high false positive and negative rates, and exhibit poor adaptability to new scenarios, often requiring costly retraining. To address these issues, we present Ethosight, a flexible and adaptable zero-shot video analyt…
▽ More
Traditional computer vision models often necessitate extensive data acquisition, annotation, and validation. These models frequently struggle in real-world applications, resulting in high false positive and negative rates, and exhibit poor adaptability to new scenarios, often requiring costly retraining. To address these issues, we present Ethosight, a flexible and adaptable zero-shot video analytics system. Ethosight begins from a clean slate based on user-defined video analytics, specified through natural language or keywords, and leverages joint embedding models and reasoning mechanisms informed by ontologies such as WordNet and ConceptNet. Ethosight operates effectively on low-cost edge devices and supports enhanced runtime adaptation, thereby offering a new approach to continuous learning without catastrophic forgetting. We provide empirical validation of Ethosight's promising effectiveness across diverse and complex use cases, while highlighting areas for further improvement. A significant contribution of this work is the release of all source code and datasets to enable full reproducibility and to foster further innovation in both the research and commercial domains.
△ Less
Submitted 20 August, 2023; v1 submitted 20 July, 2023;
originally announced July 2023.
-
Probability inequalities for strongly left-invariant metric semigroups/monoids, including all Lie groups
Authors:
Apoorva Khare
Abstract:
Recently, a general version of the Hoffmann-Jorgensen inequality was shown jointly with Rajaratnam [Ann. Probab. 2017], which (a) improved the result even for real-valued variables, but also (b) simultaneously unified and extended several versions in the Banach space literature, including that by Hitczenko and Montgomery-Smith [Ann. Probab. 2001], as well as special cases and variants of results b…
▽ More
Recently, a general version of the Hoffmann-Jorgensen inequality was shown jointly with Rajaratnam [Ann. Probab. 2017], which (a) improved the result even for real-valued variables, but also (b) simultaneously unified and extended several versions in the Banach space literature, including that by Hitczenko and Montgomery-Smith [Ann. Probab. 2001], as well as special cases and variants of results by Johnson-Schechtman [Ann. Probab. 1989] and Klass-Nowicki [Ann. Probab. 2000], in addition to the original versions by Kahane and Hoffmann-Jorgensen. Moreover, our result with Rajaratnam was in a primitive framework: over all semigroups with a bi-invariant metric; this includes Banach spaces as well as compact and abelian Lie groups.
In this note we show the result even more generally: over every semigroup $\mathscr{G}$ with a strongly left- (or right-)invariant metric. We also prove some applications of this inequality over such $\mathscr{G}$, extending Banach space-valued versions by Hitczenko and Montgomery-Smith [Ann. Probab. 2001] and by Hoffmann-Jorgensen [Studia Math. 1974]. Furthermore, we show several other stochastic inequalities - by Ottaviani-Skorohod, Mogul'skii, and Levy-Ottaviani - as well as Levy's equivalence, again over $\mathscr{G}$ as above. This setting of generality for $\mathscr{G}$ subsumes not only semigroups with bi-invariant metric (thus extending the previously shown results), but it also means that these results now hold over all Lie groups (equipped with a left-invariant Riemannian metric).
We also explain why this primitive setting of strongly left/right-invariant metric semigroups $\mathscr{G}$ is equivalent to that of left/right-invariant metric monoids $\mathscr{G}_\circ$: each such $\mathscr{G}$ embeds in some $\mathscr{G}_\circ$.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
Subgraph Stationary Hardware-Software Inference Co-Design
Authors:
Payman Behnam,
Jianming Tong,
Alind Khare,
Yangyu Chen,
Yue Pan,
Pranav Gadikar,
Abhimanyu Rajeshkumar Bambhaniya,
Tushar Krishna,
Alexey Tumanov
Abstract:
A growing number of applications depend on Machine Learning (ML) functionality and benefits from both higher quality ML predictions and better timeliness (latency) at the same time. A growing body of research in computer architecture, ML, and systems software literature focuses on reaching better latency-accuracy tradeoffs for ML models. Efforts include compression, quantization, pruning, early-ex…
▽ More
A growing number of applications depend on Machine Learning (ML) functionality and benefits from both higher quality ML predictions and better timeliness (latency) at the same time. A growing body of research in computer architecture, ML, and systems software literature focuses on reaching better latency-accuracy tradeoffs for ML models. Efforts include compression, quantization, pruning, early-exit models, mixed DNN precision, as well as ML inference accelerator designs that minimize latency and energy, while preserving delivered accuracy. All of them, however, yield improvements for a single static point in the latency-accuracy tradeoff space. We make a case for applications that operate in dynamically changing deployment scenarios, where no single static point is optimal. We draw on a recently proposed weight-shared SuperNet mechanism to enable serving a stream of queries that uses (activates) different SubNets within this weight-shared construct. This creates an opportunity to exploit the inherent temporal locality with our proposed SubGraph Stationary (SGS) optimization. We take a hardware-software co-design approach with a real implementation of SGS in SushiAccel and the implementation of a software scheduler SushiSched controlling which SubNets to serve and what to cache in real-time. Combined, they are vertically integrated into SUSHI-an inference serving stack. For the stream of queries, SUSHI yields up to 25% improvement in latency, 0.98% increase in served accuracy. SUSHI can achieve up to 78.7% off-chip energy savings.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
New Solutions of Nonlocal NLS, mKdV and Hirota Equations
Authors:
Avinash Khare,
Avadh Saxena
Abstract:
In this paper, we provide several novel solutions of the Ablowitz-Musslimani as well Yang's versions of the nonlocal nonlinear Schrödinger (NLS) equation, nonlocal modified Korteweg-de Vries (mKdV) as well as nonlocal Hirota equations. In each case we compare and contrast the corresponding solutions of the relevant local equation. Further, we provide new solutions of the local NLS, local mKdV and…
▽ More
In this paper, we provide several novel solutions of the Ablowitz-Musslimani as well Yang's versions of the nonlocal nonlinear Schrödinger (NLS) equation, nonlocal modified Korteweg-de Vries (mKdV) as well as nonlocal Hirota equations. In each case we compare and contrast the corresponding solutions of the relevant local equation. Further, we provide new solutions of the local NLS, local mKdV and local Hirota equations which are not the solutions of the corresponding nonlocal equations.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
GrACE: Generation using Associated Code Edits
Authors:
Priyanshu Gupta,
Avishree Khare,
Yasharth Bajpai,
Saikat Chakraborty,
Sumit Gulwani,
Aditya Kanade,
Arjun Radhakrishna,
Gustavo Soares,
Ashish Tiwari
Abstract:
Developers expend a significant amount of time in editing code for a variety of reasons such as bug fixing or adding new features. Designing effective methods to predict code edits has been an active yet challenging area of research due to the diversity of code edits and the difficulty of capturing the developer intent. In this work, we address these challenges by endowing pre-trained large langua…
▽ More
Developers expend a significant amount of time in editing code for a variety of reasons such as bug fixing or adding new features. Designing effective methods to predict code edits has been an active yet challenging area of research due to the diversity of code edits and the difficulty of capturing the developer intent. In this work, we address these challenges by endowing pre-trained large language models (LLMs) of code with the knowledge of prior, relevant edits. The generative capability of the LLMs helps address the diversity in code changes and conditioning code generation on prior edits helps capture the latent developer intent. We evaluate two well-known LLMs, Codex and CodeT5, in zero-shot and fine-tuning settings respectively. In our experiments with two datasets, the knowledge of prior edits boosts the performance of the LLMs significantly and enables them to generate 29% and 54% more correctly edited code in top-1 suggestions relative to the current state-of-the-art symbolic and neural approaches, respectively.
△ Less
Submitted 20 September, 2023; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Rationally Extended Harmonic Oscillator potential, Isospectral Family and the Uncertainity Relations
Authors:
Rajesh Kumar,
Rajesh Kumar Yadav,
Avinash Khare
Abstract:
We consider the rationally extended harmonic oscillator potential which is isospectral to the conventional one and whose solutions are associated with the exceptional, $X_m$- Hermite polynomials and discuss its various important properties for different even codimension of $m$. The uncertainty relations are obtained for different $m$ and it is shown that for the ground state, the uncertainity incr…
▽ More
We consider the rationally extended harmonic oscillator potential which is isospectral to the conventional one and whose solutions are associated with the exceptional, $X_m$- Hermite polynomials and discuss its various important properties for different even codimension of $m$. The uncertainty relations are obtained for different $m$ and it is shown that for the ground state, the uncertainity increases as $m$ increases. A one parameter $(λ)$ family of exactly solvable isospectral potential corresponding to this extended harmonic oscillator potential is obtained. Special cases corresponding to the $λ=0$ and $λ= -1$, which give the Pursey and the Abhram-Moses potentials respectively, are discussed. The uncertainty relations for the entire isospectral family of potentials for different $m$ and $λ$ are also calculated.
△ Less
Submitted 22 April, 2023;
originally announced April 2023.
-
CoVE: Towards Confidential Computing on RISC-V Platforms
Authors:
Ravi Sahita,
Atish Patra,
Vedvyas Shanbhogue,
Samuel Ortiz,
Andrew Bresticker,
Dylan Reid,
Atul Khare,
Rajnesh Kanwal
Abstract:
Multi-tenant computing platforms are typically comprised of several software and hardware components including platform firmware, host operating system kernel, virtualization monitor, and the actual tenant payloads that run on them (typically in a virtual machine, container, or application). This model is well established in large scale commercial deployment, but the downside is that all platform…
▽ More
Multi-tenant computing platforms are typically comprised of several software and hardware components including platform firmware, host operating system kernel, virtualization monitor, and the actual tenant payloads that run on them (typically in a virtual machine, container, or application). This model is well established in large scale commercial deployment, but the downside is that all platform components and operators are in the Trusted Computing Base (TCB) of the tenant. This aspect is ill-suited for privacy-oriented workloads that aim to minimize the TCB footprint. Confidential computing presents a good stepping-stone towards providing a quantifiable TCB for computing. Confidential computing [1] requires the use of a HW-attested Trusted Execution Environments for data-in-use protection. The RISC-V architecture presents a strong foundation for meeting the requirements for Confidential Computing and other security paradigms in a clean slate manner. This paper describes a reference architecture and discusses ISA, non-ISA and system-on-chip (SoC) requirements for confidential computing on RISC-V Platforms. It discusses proposed ISA and non-ISA Extension for Confidential Virtual Machine for RISC-V platforms, referred to as CoVE.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Higher order complex cubic quintic Ginzburg Landau equation : Chirped solitary waves
Authors:
Naresh Saha,
Baranana Roy,
Avinash Khare
Abstract:
Propagation characteristics of the chirped dissipative solitary waves are investigated within the framework of higher order complex cubic quintic Ginzburg Landau equation. Potentially rich set of exact chirped dissipative pulses, such as, bright, dark, grey, antidark, kink, antikink are derived in the presence of the self steepening, self frequency shift and nonlinear gain/loss. The linear stabili…
▽ More
Propagation characteristics of the chirped dissipative solitary waves are investigated within the framework of higher order complex cubic quintic Ginzburg Landau equation. Potentially rich set of exact chirped dissipative pulses, such as, bright, dark, grey, antidark, kink, antikink are derived in the presence of the self steepening, self frequency shift and nonlinear gain/loss. The linear stability results are corroborated by the direct numerical simulations. The effect of the variation of model parameters on physical quantities like the speed, amplitude and chirping are explored.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Cross-utterance ASR Rescoring with Graph-based Label Propagation
Authors:
Srinath Tankasala,
Long Chen,
Andreas Stolcke,
Anirudh Raju,
Qianli Deng,
Chander Chandak,
Aparna Khare,
Roland Maas,
Venkatesh Ravichandran
Abstract:
We propose a novel approach for ASR N-best hypothesis rescoring with graph-based label propagation by leveraging cross-utterance acoustic similarity. In contrast to conventional neural language model (LM) based ASR rescoring/reranking models, our approach focuses on acoustic information and conducts the rescoring collaboratively among utterances, instead of individually. Experiments on the VCTK da…
▽ More
We propose a novel approach for ASR N-best hypothesis rescoring with graph-based label propagation by leveraging cross-utterance acoustic similarity. In contrast to conventional neural language model (LM) based ASR rescoring/reranking models, our approach focuses on acoustic information and conducts the rescoring collaboratively among utterances, instead of individually. Experiments on the VCTK dataset demonstrate that our approach consistently improves ASR performance, as well as fairness across speaker groups with different accents. Our approach provides a low-cost solution for mitigating the majoritarian bias of ASR systems, without the need to train new domain- or accent-specific models.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Uniform Bose-Einstein Condensates as Kovaton solutions of the Gross-Pitaevskii Equation through a Reverse-Engineered Potential
Authors:
Fred Cooper,
Avinash Khare,
John F. Dawson,
Efstathios G. Charalampidis,
Avadh Saxena
Abstract:
In this work, we consider a ``reverse-engineering'' approach to construct confining potentials that support exact, constant density kovaton solutions to the classical Gross-Pitaevskii equation (GPE) also known as the nonlinear Schrödinger equation (NLSE). In the one-dimensional case, the exact solution is the sum of stationary kink and anti-kink solutions, i.e. a kovaton, and in the overlapping re…
▽ More
In this work, we consider a ``reverse-engineering'' approach to construct confining potentials that support exact, constant density kovaton solutions to the classical Gross-Pitaevskii equation (GPE) also known as the nonlinear Schrödinger equation (NLSE). In the one-dimensional case, the exact solution is the sum of stationary kink and anti-kink solutions, i.e. a kovaton, and in the overlapping region, the density is constant. In higher dimensions, the exact solutions are generalizations of this wave function. In the absence of self-interactions, the confining potential is similar to a smoothed out finite square well with minima also at the edges. When self-interactions are added, a term proportional to $\pm g ψ^{\ast}ψ$ gets added to the confining potential and $\pm g M$, where $M$ is the norm, gets added to the total energy. In the realm of stability analysis, we find (linearly) stable solutions in the case with repulsive self-interactions which also are stable to self-similar deformations. For attractive interactions, however, the minima at the edges of the potential get deeper and a barrier in the center forms as we increase the norm. This leads to instabilities at a critical value of $M$ (related to the number of particles in the BEC). Comparing the stability criteria from Derrick's theorem and Bogoliubov-de Gennes analysis stability results, we find that both predict stability for repulsive self-interactions and instability at a critical mass $M$ for attractive interactions. However, the numerical analysis gives a much lower critical mass. The numerical analysis shows further that the initial instabilities violate the symmetry $x\rightarrow-x$ assumed by Derrick's theorem.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
New static solutions of symmetric $φ^4$ equation
Authors:
Avinash Khare,
Saikat Banerjee,
Avadh Saxena
Abstract:
In this paper, we provide new exact solutions of nonlinear Klein-Gordon ($φ^4$) equation in $1+1$-dimension. For simplicity, we focus on the static equation and ignore the time-dependence. The symmetric $φ^4$ equation has played an important role in several areas of physics. We obtain several novel non-singular solutions of the symmetric $φ^4$ model in terms of the Jacobi elliptic functions and co…
▽ More
In this paper, we provide new exact solutions of nonlinear Klein-Gordon ($φ^4$) equation in $1+1$-dimension. For simplicity, we focus on the static equation and ignore the time-dependence. The symmetric $φ^4$ equation has played an important role in several areas of physics. We obtain several novel non-singular solutions of the symmetric $φ^4$ model in terms of the Jacobi elliptic functions and compare them with the well-known solutions. Finally, we categorize these solutions in terms of the potential parameters.
△ Less
Submitted 9 June, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
SuperFedNAS: Cost-Efficient Federated Neural Architecture Search for On-Device Inference
Authors:
Alind Khare,
Animesh Agrawal,
Aditya Annavajjala,
Payman Behnam,
Myungjin Lee,
Hugo Latapie,
Alexey Tumanov
Abstract:
Neural Architecture Search (NAS) for Federated Learning (FL) is an emerging field. It automates the design and training of Deep Neural Networks (DNNs) when data cannot be centralized due to privacy, communication costs, or regulatory restrictions. Recent federated NAS methods not only reduce manual effort but also help achieve higher accuracy than traditional FL methods like FedAvg. Despite the su…
▽ More
Neural Architecture Search (NAS) for Federated Learning (FL) is an emerging field. It automates the design and training of Deep Neural Networks (DNNs) when data cannot be centralized due to privacy, communication costs, or regulatory restrictions. Recent federated NAS methods not only reduce manual effort but also help achieve higher accuracy than traditional FL methods like FedAvg. Despite the success, existing federated NAS methods still fall short in satisfying diverse deployment targets common in on-device inference like hardware, latency budgets, or variable battery levels. Most federated NAS methods search for only a limited range of neuro-architectural patterns, repeat them in a DNN, thereby restricting achievable performance. Moreover, these methods incur prohibitive training costs to satisfy deployment targets. They perform the training and search of DNN architectures repeatedly for each case. SuperFedNAS addresses these challenges by decoupling the training and search in federated NAS. SuperFedNAS co-trains a large number of diverse DNN architectures contained inside one supernet in the FL setting. Post-training, clients perform NAS locally to find specialized DNNs by extracting different parts of the trained supernet with no additional training. SuperFedNAS takes O(1) (instead of O(N)) cost to find specialized DNN architectures in FL for any N deployment targets. As part of SuperFedNAS, we introduce MaxNet - a novel FL training algorithm that performs multi-objective federated optimization of a large number of DNN architectures ($\approx 5*10^8$) under different client data distributions. Overall, SuperFedNAS achieves upto 37.7% higher accuracy for the same MACs or upto 8.13x reduction in MACs for the same accuracy than existing federated NAS methods.
△ Less
Submitted 11 July, 2024; v1 submitted 25 January, 2023;
originally announced January 2023.
-
Superposed periodic kink and pulse solutions of coupled nonlinear equations
Authors:
Avinash Khare,
Saikat Banerjee,
Avadh Saxena
Abstract:
We present novel previously unexplored periodic solutions, expressed in terms of Jacobi elliptic functions, for both a coupled $φ^4$ model and a coupled nonlinear Schrödinger equation (NLS) model. Remarkably, these solutions can be elegantly reformulated as a linear combination of periodic kinks and antikinks, or as a combination of two periodic kinks or two periodic pulse solutions. However, we a…
▽ More
We present novel previously unexplored periodic solutions, expressed in terms of Jacobi elliptic functions, for both a coupled $φ^4$ model and a coupled nonlinear Schrödinger equation (NLS) model. Remarkably, these solutions can be elegantly reformulated as a linear combination of periodic kinks and antikinks, or as a combination of two periodic kinks or two periodic pulse solutions. However, we also find that for $m=0$ and a specific value of the periodicity (or at a nonzero value of the elliptic modulus $m$) this superposition does not hold. These results demonstrate that the notion of superposed solutions extends to the coupled nonlinear equations as well.
△ Less
Submitted 14 August, 2023; v1 submitted 5 January, 2023;
originally announced January 2023.
-
Recovering affine-linearity of functions from their restrictions to affine lines
Authors:
Apoorva Khare,
Akaki Tikaradze
Abstract:
Motivated by recent results of Tao-Ziegler [Discrete Anal. 2016] and Greenfeld-Tao (2022 preprint) on concatenating affine-linear functions along subgroups of an abelian group, we show three results on recovering affine-linearity of functions $f : V \to W$ from their restrictions to affine lines, where $V,W$ are $\mathbb{F}$-vector spaces and $\dim V \geqslant 2$. First, if…
▽ More
Motivated by recent results of Tao-Ziegler [Discrete Anal. 2016] and Greenfeld-Tao (2022 preprint) on concatenating affine-linear functions along subgroups of an abelian group, we show three results on recovering affine-linearity of functions $f : V \to W$ from their restrictions to affine lines, where $V,W$ are $\mathbb{F}$-vector spaces and $\dim V \geqslant 2$. First, if $\dim V < |\mathbb{F}|$ and $f : V \to \mathbb{F}$ is affine-linear when restricted to affine lines parallel to a basis and to certain "generic" lines through $0$, then $f$ is affine-linear on $V$. (This extends to all modules $M$ over unital commutative rings $R$ with large enough characteristic.) Second, we explain how a classical result attributed to von Staudt (1850s) extends beyond bijections: if $f : V \to W$ preserves affine lines $\ell$, and if $f(v) \not\in f(\ell)$ whenever $v \not\in \ell$, then this also suffices to recover affine-linearity on $V$, but up to a field automorphism. In particular, if $\mathbb{F}$ is a prime field $\mathbb{Z}/p\mathbb{Z}$ ($p>2$) or $\mathbb{Q}$, or a completion $\mathbb{Q}_p$ or $\mathbb{R}$, then $f$ is affine-linear on $V$.
We then quantitatively refine our first result above, via a weak multiplicative variant of the additive $B_h$-sets initially explored by Singer [Trans. Amer. Math. Soc. 1938], Erdos-Turan [J. London Math. Soc. 1941], and Bose-Chowla [Comment. Math. Helv. 1962]. Weak multiplicative $B_h$-sets occur inside all rings with large enough characteristic, and in all infinite or large enough finite integral domains/fields. We show that if $R$ is among any of these classes of rings, and $M = R^n$ for some $n \geqslant 3$, then one requires affine-linearity on at least $\binom{n}{\lceil n/2 \rceil}$-many generic lines to deduce the global affine-linearity of $f$ on $R^n$. Moreover, this bound is sharp.
△ Less
Submitted 24 March, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Solutions of (1+1)-dimensional Dirac equation associated with exceptional orthogonal polynomials and the parametric symmetry
Authors:
Suman Banerjee,
Rajesh Kumar Yadav,
Avinash Khare,
Nisha Kumari,
Bhabani Prasad Mandal
Abstract:
We consider $1+1$-dimensional Dirac equation with rationally extended scalar potentials corresponding to the radial oscillator, the trigonometric Scarf and the hyperbolic Poschl-Teller potentials and obtain their solution in terms of exceptional orthogonal polynomials. Further, in the case of the trigonometric Scarf and the hyperbolic Poschl-Teller cases, new family of Dirac scalar potentials are…
▽ More
We consider $1+1$-dimensional Dirac equation with rationally extended scalar potentials corresponding to the radial oscillator, the trigonometric Scarf and the hyperbolic Poschl-Teller potentials and obtain their solution in terms of exceptional orthogonal polynomials. Further, in the case of the trigonometric Scarf and the hyperbolic Poschl-Teller cases, new family of Dirac scalar potentials are generated using the idea of parametric symmetry and their solutions are obtained in terms of conventional as well as exceptional orthogonal polynomials.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
UnfoldML: Cost-Aware and Uncertainty-Based Dynamic 2D Prediction for Multi-Stage Classification
Authors:
Yanbo Xu,
Alind Khare,
Glenn Matlin,
Monish Ramadoss,
Rishikesan Kamaleswaran,
Chao Zhang,
Alexey Tumanov
Abstract:
Machine Learning (ML) research has focused on maximizing the accuracy of predictive tasks. ML models, however, are increasingly more complex, resource intensive, and costlier to deploy in resource-constrained environments. These issues are exacerbated for prediction tasks with sequential classification on progressively transitioned stages with ''happens-before'' relation between them.We argue that…
▽ More
Machine Learning (ML) research has focused on maximizing the accuracy of predictive tasks. ML models, however, are increasingly more complex, resource intensive, and costlier to deploy in resource-constrained environments. These issues are exacerbated for prediction tasks with sequential classification on progressively transitioned stages with ''happens-before'' relation between them.We argue that it is possible to ''unfold'' a monolithic single multi-class classifier, typically trained for all stages using all data, into a series of single-stage classifiers. Each single-stage classifier can be cascaded gradually from cheaper to more expensive binary classifiers that are trained using only the necessary data modalities or features required for that stage. UnfoldML is a cost-aware and uncertainty-based dynamic 2D prediction pipeline for multi-stage classification that enables (1) navigation of the accuracy/cost tradeoff space, (2) reducing the spatio-temporal cost of inference by orders of magnitude, and (3) early prediction on proceeding stages. UnfoldML achieves orders of magnitude better cost in clinical settings, while detecting multi-stage disease development in real time. It achieves within 0.1% accuracy from the highest-performing multi-class baseline, while saving close to 20X on spatio-temporal cost of inference and earlier (3.5hrs) disease onset prediction. We also show that UnfoldML generalizes to image classification, where it can predict different level of labels (from coarse to fine) given different level of abstractions of a image, saving close to 5X cost with as little as 0.4% accuracy reduction.
△ Less
Submitted 27 October, 2022; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Guided contrastive self-supervised pre-training for automatic speech recognition
Authors:
Aparna Khare,
Minhua Wu,
Saurabhchand Bhati,
Jasha Droppo,
Roland Maas
Abstract:
Contrastive Predictive Coding (CPC) is a representation learning method that maximizes the mutual information between intermediate latent representations and the output of a given model. It can be used to effectively initialize the encoder of an Automatic Speech Recognition (ASR) model. We present a novel modification of CPC called Guided Contrastive Predictive Coding (GCPC). Our proposed method m…
▽ More
Contrastive Predictive Coding (CPC) is a representation learning method that maximizes the mutual information between intermediate latent representations and the output of a given model. It can be used to effectively initialize the encoder of an Automatic Speech Recognition (ASR) model. We present a novel modification of CPC called Guided Contrastive Predictive Coding (GCPC). Our proposed method maximizes the mutual information between representations from a prior-knowledge model and the output of the model being pre-trained, allowing prior knowledge injection during pre-training. We validate our method on 3 ASR tasks: German, French and English. Our method outperforms CPC pre-training on all three datasets, reducing the Word Error Rate (WER) by 4.44%, 6.55% and 15.43% relative on the German, French and English (Librispeech) tasks respectively, compared to training from scratch, while CPC pre-training only brings 2.96%, 1.01% and 14.39% relative WER reduction respectively.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
How close Are Integrable and Non-integrable Models: A Parametric Case Study Based on the Salerno Model
Authors:
Thudiyangal Mithun,
Aleksandra Maluckov,
Ana Mančić,
Avinash Khare,
Panayotis G. Kevrekidis
Abstract:
In the present work we revisit the Salerno model as a prototypical system that interpolates between a well-known integrable system (the Ablowitz-Ladik lattice) and an experimentally tractable non-integrable one (the discrete nonlinear Schrödinger model). The question we ask is: for "generic" initial data, how close are the integrable to the non-integrable models? Our more precise formulation of th…
▽ More
In the present work we revisit the Salerno model as a prototypical system that interpolates between a well-known integrable system (the Ablowitz-Ladik lattice) and an experimentally tractable non-integrable one (the discrete nonlinear Schrödinger model). The question we ask is: for "generic" initial data, how close are the integrable to the non-integrable models? Our more precise formulation of this question is: how well is the constancy of formerly conserved quantities preserved in the non-integrable case? Upon examining this, we find that even slight deviations from integrability can be sensitively felt by measuring these formerly conserved quantities in the case of the Salerno model. However, given that the knowledge of these quantities requires a deep physical and mathematical analysis of the system, we seek a more "generic" diagnostic towards a manifestation of integrability breaking. We argue, based on our Salerno model computations, that the full spectrum of Lyapunov exponents could be a sensitive diagnostic to that effect.
△ Less
Submitted 30 September, 2022;
originally announced October 2022.
-
Nonlocal Superposed Solutions II: Coupled Nonlinear Equations
Authors:
Avinash Khare,
Avadh Saxena
Abstract:
We obtain novel periodic as well as hyperbolic solutions of an Ablowitz-Musslimani variant of the coupled nonlocal, nonlinear Schrödinger equation (NLS) as well as a coupled nonlocal modified Korteweg-de Vries (mKdV) equation which can be re-expressed as a linear superposition of the sum or the difference of two hyperbolic or two periodic kink or pulse solutions. Besides, we also discuss some of t…
▽ More
We obtain novel periodic as well as hyperbolic solutions of an Ablowitz-Musslimani variant of the coupled nonlocal, nonlinear Schrödinger equation (NLS) as well as a coupled nonlocal modified Korteweg-de Vries (mKdV) equation which can be re-expressed as a linear superposition of the sum or the difference of two hyperbolic or two periodic kink or pulse solutions. Besides, we also discuss some of the other solutions admitted by these coupled equations. These results demonstrate that the notion of the superposed solutions extends to the coupled nonlocal nonlinear equations as well.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
Dipole and quadrupole nonparaxial solitary waves
Authors:
Naresh Saha,
Barnana Roy,
Avinash Khare
Abstract:
The cubic nonlinear Helmholtz equation with third and fourth order dispersion and non-Kerr nonlinearity like the self steepening and the self frequency shift is considered. This model describes nonparaxial ultrashort pulse propagation in an optical medium in the presence of spatial dispersion originating from the failure of slowly varying envelope approximation. We show that this system admits per…
▽ More
The cubic nonlinear Helmholtz equation with third and fourth order dispersion and non-Kerr nonlinearity like the self steepening and the self frequency shift is considered. This model describes nonparaxial ultrashort pulse propagation in an optical medium in the presence of spatial dispersion originating from the failure of slowly varying envelope approximation. We show that this system admits periodic (elliptic) solitary waves with dipole structure within a period and also transition from dipole to quadrupole structure within a period depending on the value of the modulus parameter of Jacobi elliptic function. The parametric conditions to be satisfied for the existence of these solutions are given. The effect of the nonparaxial parameter on physical quantities like amplitude, pulse-width and speed of the solitary waves are examined. It is found that by adjusting the nonparaxial parameter, the speed of solitary waves can be decelerated. The stability and robustness of the solitary waves are discussed numerically.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Kink Solutions With Power Law Tails
Authors:
Avinash Khare,
Avadh Saxena
Abstract:
We present a comprehensive review about the various facets of kink solutions with a power law tail which have received considerable attention during the last few years. This area of research is in its early stages and while several aspects have become clear by now, there are a number of issues which have only been partially understood or not understood at all. We first discuss the aspects which ar…
▽ More
We present a comprehensive review about the various facets of kink solutions with a power law tail which have received considerable attention during the last few years. This area of research is in its early stages and while several aspects have become clear by now, there are a number of issues which have only been partially understood or not understood at all. We first discuss the aspects which are reasonably well known and then address in some detail the issues which are only partially or not understood at all. We present a wide class of higher (than sixth) order field theory models admitting implicit kink as well as mirror kink solutions where the two tails facing each other have a power law or a power-tower type fall off while the other two ends not facing each other could have either an exponential or a power law tail. The models admitting implicit kink solutions where the two ends facing each other have an exponential tail while the other two ends have a power law tail are also discussed. Moreover, we present several field theory models which admit explicit kink solutions with a power law fall off. We note that in all the polynomial models while the potential $V(φ)$ is continuous, its derivative is discontinuous. We also discuss one of the most important and only partially understood issues of the kink-kink and the kink-antikink forces in case the tails facing each other have a power law fall off. Finally, we briefly discuss the kink-antikink collisions at finite velocity and present some open questions.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Novel Superposed Kinklike and Pulselike Solutions for Several Nonlocal Nonlinear Equations
Authors:
Avinash Khare,
Avadh Saxena
Abstract:
We show that a number of nonlocal nonlinear equations including the Ablowitz-Musslimani and the Yang variant of the nonlocal nonlinear Schröd-inger (NLS) equation, nonlocal modified Korteweg de Vries (mKdV) equation as well as the nonlocal Hirota equation admit novel kinklike and pulselike superposed periodic solutions. Further, we show that the nonlocal mKdV equation, in addition also admits the…
▽ More
We show that a number of nonlocal nonlinear equations including the Ablowitz-Musslimani and the Yang variant of the nonlocal nonlinear Schröd-inger (NLS) equation, nonlocal modified Korteweg de Vries (mKdV) equation as well as the nonlocal Hirota equation admit novel kinklike and pulselike superposed periodic solutions. Further, we show that the nonlocal mKdV equation, in addition also admits the superposed (hyperbolic) kink-antikink solution. Besides, we show that while the nonlocal Ablowitz-Musslimani variant of the NLS admits complex (parity-time reversal or) PT-invariant kink and pulse solutions, neither the local NLS nor the Yang variant of the nonlocal NLS admits such solutions. Finally, except for the Yang variant of the nonlocal NLS, we show that the other three nonlocal equations admit both the kink and pulse solutions in the same model.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Stability of exact solutions of the $(2+1)$-dimensional nonlinear Schrödinger equation with arbitrary nonlinearity parameter $κ$
Authors:
Fred Cooper,
Avinash Khare,
Efstathios G. Charalampidis,
John F. Dawson,
Avadh Saxena
Abstract:
In this work, we consider the nonlinear Schrödinger equation (NLSE) in $2+1$ dimensions with arbitrary nonlinearity exponent $κ$ in the presence of an external confining potential. Exact solutions to the system are constructed, and their stability over their "mass" (i.e., the $L^2$ norm) and the parameter $κ$ is explored. We observe both theoretically and numerically that the presence of the confi…
▽ More
In this work, we consider the nonlinear Schrödinger equation (NLSE) in $2+1$ dimensions with arbitrary nonlinearity exponent $κ$ in the presence of an external confining potential. Exact solutions to the system are constructed, and their stability over their "mass" (i.e., the $L^2$ norm) and the parameter $κ$ is explored. We observe both theoretically and numerically that the presence of the confining potential leads to wider domains of stability over the parameter space compared to the unconfined case. Our analysis suggests the existence of a stable regime of solutions for all $κ$ as long as their mass is less than a critical value $M^{\ast}(κ)$. Furthermore, we find that there are two different critical masses, one corresponding to width perturbations and the other one to translational perturbations. The results of Derrick's theorem are also obtained by studying the small amplitude regime of a four-parameter collective coordinate (4CC) approximation. A numerical stability analysis of the NLSE shows that the instability curve $M^{\ast}(κ)$ vs. $κ$ lies below the two curves found by Derrick's theorem and the 4CC approximation. In the absence of the external potential, $κ=1$ demarcates the separation between the blowup regime and the stable regime. In this 4CC approximation, for $κ<1$, when the mass is above the critical mass for the translational instability, quite complicated motions of the collective coordinates are possible. Energy conservation prevents the blowup of the solution as well as confines the center of the solution to a finite spatial domain. We call this regime the "frustrated" blowup regime and give some illustrations. In an appendix, we show how to extend these results to arbitrary initial ground state solution data and arbitrary spatial dimension $d$.
△ Less
Submitted 10 July, 2022;
originally announced July 2022.
-
Supersymmetry and Shape Invariance of exceptional orthogonal polynomials
Authors:
Satish Yadav,
Avinash Khare,
Bhabani Prasad Mandal
Abstract:
We discuss the exceptional Laguerre and the exceptional Jacobi orthogonal polynomials in the framework of the supersymmetric quantum mechanics (SUSYQM). We express the differential equations for the Jacobi and the Laguerre exceptional orthogonal polynomials (EOP) as the eigenvalue equations and make an analogy with the time independent Schrödinger equation to define "Hamiltonians" enables us to st…
▽ More
We discuss the exceptional Laguerre and the exceptional Jacobi orthogonal polynomials in the framework of the supersymmetric quantum mechanics (SUSYQM). We express the differential equations for the Jacobi and the Laguerre exceptional orthogonal polynomials (EOP) as the eigenvalue equations and make an analogy with the time independent Schrödinger equation to define "Hamiltonians" enables us to study the EOPs in the framework of the SUSYQM and to realize the underlying shape invariance associated with such systems. We show that the underlying shape invariance symmetry is responsible for the solubility of the differential equations associated with these polynomials.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
E-Mail Assistant -- Automation of E-Mail Handling and Management using Robotic Process Automation
Authors:
Arpit Khare,
Sudhakar Singh,
Richa Mishra,
Shiv Prakash,
Pratibha Dixit
Abstract:
In this paper, a workflow for designing a bot using Robotic Process Automation (RPA), associated with Artificial Intelligence (AI) that is used for information extraction, classification, etc., is proposed. The bot is equipped with many features that make email handling a stress-free job. It automatically login into the mailbox through secured channels, distinguishes between the useful and not use…
▽ More
In this paper, a workflow for designing a bot using Robotic Process Automation (RPA), associated with Artificial Intelligence (AI) that is used for information extraction, classification, etc., is proposed. The bot is equipped with many features that make email handling a stress-free job. It automatically login into the mailbox through secured channels, distinguishes between the useful and not useful emails, classifies the emails into different labels, downloads the attached files, creates different directories, and stores the downloaded files into relevant directories. It moves the not useful emails into the trash. Further, the bot can also be trained to rename the attached files with the names of the sender/applicant in case of a job application for the sake of convenience. The bot is designed and tested using the UiPath tool to improve the performance of the system. The paper also discusses the further possible functionalities that can be added on to the bot.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
A weight-formula for all highest weight modules, and a higher order parabolic category $\mathcal{O}$
Authors:
Apoorva Khare,
G. Krishna Teja
Abstract:
Let $\mathfrak{g}$ be a complex Kac-Moody algebra, with Cartan subalgebra $\mathfrak{h}$. Also fix a weight $λ\in\mathfrak{h}^*$. For $M(λ)\twoheadrightarrow V$ an arbitrary highest weight $\mathfrak{g}$-module, we provide a cancellation-free, non-recursive formula for the weights of $V$. This is novel even in finite type, and is obtained from $λ$ and a collection $\mathcal{H}=\mathcal{H}_V$ of in…
▽ More
Let $\mathfrak{g}$ be a complex Kac-Moody algebra, with Cartan subalgebra $\mathfrak{h}$. Also fix a weight $λ\in\mathfrak{h}^*$. For $M(λ)\twoheadrightarrow V$ an arbitrary highest weight $\mathfrak{g}$-module, we provide a cancellation-free, non-recursive formula for the weights of $V$. This is novel even in finite type, and is obtained from $λ$ and a collection $\mathcal{H}=\mathcal{H}_V$ of independent sets in the Dynkin diagram of $\mathfrak{g}$ that are associated to $V$.
Our proofs use and reveal a finite family (for each $λ$) of "higher order Verma modules" $\mathbb{M}(λ,\mathcal{H})$ - these are all of the universal modules for weight-considerations. They (i) generalize and subsume parabolic Verma modules $M(λ,J)$, and (ii) have pairwise distinct weight-sets, which exhaust the weight-sets of all modules $M(λ)\twoheadrightarrow V$. As an application, we explain the sense in which the modules $M(λ)$ of Verma and $M(λ,J_V)$ of Lepowsky are respectively the zeroth and first order upper-approximations of every $V$, and continue to higher order upper-approximations $\mathbb{M}_k(λ,\mathcal{H}_V)$ (and to lower-approximations). We also determine the $k$th order integrability of $V$, for all $k\geq 0$.
We then introduce the category $\mathcal{O}^\mathcal{H}\subset\mathcal{O}$, which is a higher order parabolic analogue that contains the higher order Verma modules $\mathbb{M}(λ,\mathcal{H})$. We show that $\mathcal{O}^\mathcal{H}$ has enough projectives, and also initiate the study of BGG reciprocity, by proving it for all $\mathcal{O}^\mathcal{H}$ over $\mathfrak{g}=\mathfrak{sl}_2^{\oplus n}$. Finally, we provide a BGG resolution for the universal modules $\mathbb{M}(λ,\mathcal{H})$ in certain cases; this yields a Weyl-type character formula for them, and involves the action of a parabolic Weyl semigroup.
△ Less
Submitted 12 May, 2022; v1 submitted 10 March, 2022;
originally announced March 2022.
-
Blowup polynomials and delta-matroids of graphs
Authors:
Projesh Nath Choudhury,
Apoorva Khare
Abstract:
For every finite simple connected graph $G = (V,E)$, we introduce an invariant, its blowup-polynomial $p_G(\{ n_v : v \in V \})$. This is obtained by dividing the determinant of the distance matrix of its blowup graph $G[{\bf n}]$ (containing $n_v$ copies of $v$) by an exponential factor. We show that $p_G({\bf n})$ is indeed a polynomial function in the sizes $n_v$, which is moreover multi-affine…
▽ More
For every finite simple connected graph $G = (V,E)$, we introduce an invariant, its blowup-polynomial $p_G(\{ n_v : v \in V \})$. This is obtained by dividing the determinant of the distance matrix of its blowup graph $G[{\bf n}]$ (containing $n_v$ copies of $v$) by an exponential factor. We show that $p_G({\bf n})$ is indeed a polynomial function in the sizes $n_v$, which is moreover multi-affine and real-stable. This associates a hitherto unexplored delta-matroid to each graph $G$; and we provide a second unexplored one for each tree. As another consequence, we obtain a new characterization of complete multipartite graphs, via the homogenization at $-1$ of $p_G$ being completely/strongly log-concave, i.e., Lorentzian. (These results extend to weighted graphs.) Finally, we show $p_G$ is indeed a graph invariant, i.e., $p_G$ and its symmetries (in the variables ${\bf n}$) recover $G$ and its isometries, respectively.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
Chirped Elliptic Waves: Coupled Helmholtz Equations
Authors:
Naresh Saha,
Barnana Roy,
Avinash Khare
Abstract:
Exact chirped elliptic wave solutions are obtained within the framework of coupled cubic nonlinear Helmholtz equations in the presence of non-Kerr nonlinearity like self steepening and self frequency shift. It is shown that, for a particular combination of the self steepening and the self frequency shift parameters, the associated nontrivial phase gives rise to chirp reversal across the solitary w…
▽ More
Exact chirped elliptic wave solutions are obtained within the framework of coupled cubic nonlinear Helmholtz equations in the presence of non-Kerr nonlinearity like self steepening and self frequency shift. It is shown that, for a particular combination of the self steepening and the self frequency shift parameters, the associated nontrivial phase gives rise to chirp reversal across the solitary wave profile. But a different combination of non-Kerr terms leads to chirping but no chirp reversal. The effect of nonparaxial parameter on physical quantities such as intensity, speed and pulse-width of the elliptic waves is studied too. It is found that the speed of the solitary wave can be tuned by altering the nonparaxial parameter. Stable propagation of these nonparaxial elliptic waves is achieved by an appropriate choice of parameters.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
Superposed Hyperbolic Kink and Pulse Solutions of Coupled $φ^4$, NLS and MKdV Equations
Authors:
Avinash Khare,
Avadh Saxena
Abstract:
We obtain novel solutions of a coupled $φ^4$, a coupled nonlinear Schrödinger (NLS) and a coupled modified Korteweg de Vries (MKdV) model which can be re-expressed as a linear superposition of either the sum or the difference of two hyperbolic kink or two hyperbolic pulse solutions. These results demonstrate that the notion of superposed solutions extends to coupled nonlinear equations as well.
We obtain novel solutions of a coupled $φ^4$, a coupled nonlinear Schrödinger (NLS) and a coupled modified Korteweg de Vries (MKdV) model which can be re-expressed as a linear superposition of either the sum or the difference of two hyperbolic kink or two hyperbolic pulse solutions. These results demonstrate that the notion of superposed solutions extends to coupled nonlinear equations as well.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Novel Superposed Kink and Pulse Solutions for $φ^4$, MKdV, NLS and Other Nonlinear Equations
Authors:
Avinash Khare,
Avadh Saxena
Abstract:
We show that a number of nonlinear equations including symmetric as well as asymmetric $φ^4$, modified Korteweg de Vries (MKdV), mixed KdV-MKdV, nonlinear Schrödinger (NLS), quadratic-cubic NLS as well as higher order neutral scalar field theories, higher order KdV-MKdV and higher order quadratic-cubic NLS admit superposed periodic kink and pulse solutions and some of them also admit superposed hy…
▽ More
We show that a number of nonlinear equations including symmetric as well as asymmetric $φ^4$, modified Korteweg de Vries (MKdV), mixed KdV-MKdV, nonlinear Schrödinger (NLS), quadratic-cubic NLS as well as higher order neutral scalar field theories, higher order KdV-MKdV and higher order quadratic-cubic NLS admit superposed periodic kink and pulse solutions and some of them also admit superposed hyperbolic kink solutions.
△ Less
Submitted 13 February, 2022;
originally announced February 2022.
-
ASR-Aware End-to-end Neural Diarization
Authors:
Aparna Khare,
Eunjung Han,
Yuguang Yang,
Andreas Stolcke
Abstract:
We present a Conformer-based end-to-end neural diarization (EEND) model that uses both acoustic input and features derived from an automatic speech recognition (ASR) model. Two categories of features are explored: features derived directly from ASR output (phones, position-in-word and word boundaries) and features derived from a lexical speaker change detection model, trained by fine-tuning a pret…
▽ More
We present a Conformer-based end-to-end neural diarization (EEND) model that uses both acoustic input and features derived from an automatic speech recognition (ASR) model. Two categories of features are explored: features derived directly from ASR output (phones, position-in-word and word boundaries) and features derived from a lexical speaker change detection model, trained by fine-tuning a pretrained BERT model on the ASR output. Three modifications to the Conformer-based EEND architecture are proposed to incorporate the features. First, ASR features are concatenated with acoustic features. Second, we propose a new attention mechanism called contextualized self-attention that utilizes ASR features to build robust speaker representations. Finally, multi-task learning is used to train the model to minimize classification loss for the ASR features along with diarization loss. Experiments on the two-speaker English conversations of Switchboard+SRE data sets show that multi-task learning with position-in-word information is the most effective way of utilizing ASR features, reducing the diarization error rate (DER) by 20% relative to the baseline.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
From Cauchy's determinant formula to bosonic and fermionic immanant identities
Authors:
Apoorva Khare,
Siddhartha Sahi
Abstract:
Cauchy's determinant formula (1841) involving $\det ((1-u_i v_j)^{-1})$ is a fundamental result in symmetric function theory. It has been extended in several directions, including a determinantal extension by Frobenius [J. reine angew. Math. 1882] involving a sum of two geometric series in $u_i v_j$. This theme also resurfaced in a matrix analysis setting in a paper by Horn [Trans. Amer. Math. Soc…
▽ More
Cauchy's determinant formula (1841) involving $\det ((1-u_i v_j)^{-1})$ is a fundamental result in symmetric function theory. It has been extended in several directions, including a determinantal extension by Frobenius [J. reine angew. Math. 1882] involving a sum of two geometric series in $u_i v_j$. This theme also resurfaced in a matrix analysis setting in a paper by Horn [Trans. Amer. Math. Soc. 1969] - where the computations are attributed to Loewner - and in recent works by Belton-Guillot-Khare-Putinar [Adv. Math. 2016] and Khare-Tao [Amer. J. Math. 2021]. These formulas were recently unified and extended in [Trans. Amer. Math. Soc. 2022] to arbitrary power series, with commuting/bosonic variables $u_i, v_j$.
In this note we formulate analogous permanent identities, and in fact, explain how all of these results are a special case of a more general identity, for any character - in fact, any complex class function - of any finite group that acts on the bosonic variables $u_i$ and on the $v_j$ via signed permutations. (We explain why larger linear groups do not work, via a - perhaps novel - "symmetric function" characterization of signed permutation matrices that holds over any integral domain.) We then provide fermionic analogues of these formulas, as well as of the closely related Cauchy product identities.
△ Less
Submitted 19 April, 2023; v1 submitted 9 January, 2022;
originally announced January 2022.