Showing 1–27 of 27 results for author: Agarwal, S

Frobenius and Verschiebung for $K$-theory of endomorphisms

Authors: Sanjana Agarwal, Jonathan Campbell, Diego Manco, Kate Ponto, Zhonghui Sun

Abstract: We show that the Frobenius and Verschiebung maps that are fundamental to Witt vectors lift to the reduced K-theory of endomorphisms. In particular, we define Frobenius and Verschiebung maps for the reduced K-theory of twisted endomorphisms of modules over non commutative rings and show they have the expected behavior after applying the iterated trace map We show that the Frobenius and Verschiebung maps that are fundamental to Witt vectors lift to the reduced K-theory of endomorphisms. In particular, we define Frobenius and Verschiebung maps for the reduced K-theory of twisted endomorphisms of modules over non commutative rings and show they have the expected behavior after applying the iterated trace map △ Less

Submitted 8 July, 2025; originally announced July 2025.

MSC Class: 19A99; 18F30

A Computer Vision Problem in Flatland

Authors: Sameer Agarwal, Erin Connelly, Annalisa Crannell, Timothy Duff, Rekha R. Thomas

Abstract: When is it possible to project two sets of labeled points lying in a pair of projective planes to the same image on a projective line? We give a complete answer to this question and describe the loci of the projection centers that enable a common image. In particular, we find that there exists a solution to this problem if and only if these two sets are themselves images of a common pointset in pr… ▽ More When is it possible to project two sets of labeled points lying in a pair of projective planes to the same image on a projective line? We give a complete answer to this question and describe the loci of the projection centers that enable a common image. In particular, we find that there exists a solution to this problem if and only if these two sets are themselves images of a common pointset in projective space. △ Less

Submitted 10 January, 2025; v1 submitted 9 January, 2025; originally announced January 2025.

Exploring the Performance of Genetic Algorithm and Variable Neighborhood Search for Solving the Single Depot Multiple Set Orienteering Problem: A Comparative Study

Authors: Ravi Kant, Sarthak Agarwal, Aakash Gupta, Abhishek Mishra

Abstract: This article discusses the single Depot multiple Set Orienteering Problem (sDmSOP), a recently suggested generalization of the Set Orienteering Problem (SOP). This problem aims to discover a path for each traveler over a subset of vertices, where each vertex is associated with only one cluster, and the total profit made from the clusters visited is maximized while still fitting within the availabl… ▽ More This article discusses the single Depot multiple Set Orienteering Problem (sDmSOP), a recently suggested generalization of the Set Orienteering Problem (SOP). This problem aims to discover a path for each traveler over a subset of vertices, where each vertex is associated with only one cluster, and the total profit made from the clusters visited is maximized while still fitting within the available budget constraints. The profit can be collected only by visiting at least one cluster vertex. According to the SOP, each vertex cluster must have at least one of its visits counted towards the profit for that cluster. Like to the SOP, the sDmSOP restricts the number of clusters visited based on the budget for tour expenses. To address this problem, we employ the Genetic Algorithm (GA) and Variable Neighborhood Search (VNS) meta-heuristic. The optimal solution for small-sized problems is also suggested by solving the Integer Linear Programming (ILP) formulation using the General Algebraic Modeling System (GAMS) 37.1.0 with CPLEX for the sDmSOP. Promising computational results are presented that demonstrate the practicability of the proposed GA, VNS meta-heuristic, and ILP formulation by demonstrating substantial improvements to the solutions generated by VNS than GA while simultaneously needing much less time to compute than CPLEX. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Comments: 14 pages, 3 figures, 2 tables

Aero-Nef: Neural Fields for Rapid Aircraft Aerodynamics Simulations

Authors: Giovanni Catalani, Siddhant Agarwal, Xavier Bertrand, Frederic Tost, Michael Bauerheim, Joseph Morlier

Abstract: This paper presents a methodology to learn surrogate models of steady state fluid dynamics simulations on meshed domains, based on Implicit Neural Representations (INRs). The proposed models can be applied directly to unstructured domains for different flow conditions, handle non-parametric 3D geometric variations, and generalize to unseen shapes at test time. The coordinate-based formulation natu… ▽ More This paper presents a methodology to learn surrogate models of steady state fluid dynamics simulations on meshed domains, based on Implicit Neural Representations (INRs). The proposed models can be applied directly to unstructured domains for different flow conditions, handle non-parametric 3D geometric variations, and generalize to unseen shapes at test time. The coordinate-based formulation naturally leads to robustness with respect to discretization, allowing an excellent trade-off between computational cost (memory footprint and training time) and accuracy. The method is demonstrated on two industrially relevant applications: a RANS dataset of the two-dimensional compressible flow over a transonic airfoil and a dataset of the surface pressure distribution over 3D wings, including shape, inflow condition, and control surface deflection variations. On the considered test cases, our approach achieves a more than three times lower test error and significantly improves generalization error on unseen geometries compared to state-of-the-art Graph Neural Network architectures. Remarkably, the method can perform inference five order of magnitude faster than the high fidelity solver on the RANS transonic airfoil dataset. Code is available at https://gitlab.isae-supaero.fr/gi.catalani/aero-nepf △ Less

Submitted 29 July, 2024; originally announced July 2024.

Comments: 32 pages

Existence of Trust-field in Vehicular Ad Hoc Networks: Empirical Evidence

Authors: Md Mahmudul Islam, Shaurya Agarwal

Abstract: Vehicular Ad Hoc Networks (VANETs) play a crucial role in enhancing road safety and traffic efficiency by enabling communication between vehicles (V2V) and between vehicles and infrastructure (V2I). Robust trust management is necessary to ensure the reliability of information in decentralized systems. This paper presents the notion of a ``Trust Field" in VANETs, conceptualized as the behavior of t… ▽ More Vehicular Ad Hoc Networks (VANETs) play a crucial role in enhancing road safety and traffic efficiency by enabling communication between vehicles (V2V) and between vehicles and infrastructure (V2I). Robust trust management is necessary to ensure the reliability of information in decentralized systems. This paper presents the notion of a ``Trust Field" in VANETs, conceptualized as the behavior of the nodes that represents trust levels evolving in both spatial and temporal dimensions. Using the LogitTrust model, we provide empirical evidence of how trust fields in vehicular networks change over time in different scenarios, including when malicious nodes are present. The results of our study demonstrate that the trust domain can adjust to fluctuations in network conditions, thereby offering a comprehensive metric for assessing the reliability of nodes. This innovative method improves the dependability of VANET applications by efficiently detecting and mitigating malicious actions. △ Less

Submitted 18 July, 2024; originally announced July 2024.

Steenrod operations on polyhedral products

Authors: Sanjana Agarwal, Jelena Grbić, Michele Intermont, Milica Jovanović, Evgeniya Lagoda, Sarah Whitehouse

Abstract: We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as for certain polyhedral joins. By studying the combinatorics of underlying simplicial complexes, we deduce some consequences for the lowest cohomological dimension… ▽ More We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as for certain polyhedral joins. By studying the combinatorics of underlying simplicial complexes, we deduce some consequences for the lowest cohomological dimension in which non-trivial Steenrod operations can appear. We present a version of cochain-level formulas for Steenrod operations on simplicial complexes. We explain the idea of "propagating" such formulas from a simplicial complex $K$ to polyhedral joins over $K$ and we give examples of this process. We tie the propagation of the Steenrod algebra actions on polyhedral joins to those on moment-angle complexes. Although these are cases where one can understand the Steenrod action via a stable homotopy decomposition, we anticipate applying this method to cases where there is no such decomposition. △ Less

Submitted 20 June, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Comments: 21 pages, v2 minor changes, accepted version to appear in special issue of Topology and its Applications dedicated to proceedings of the Women in Topology 4 workshop

MSC Class: 55U10; 05E45; 13F55; 55S10

Incorporating Nonlocal Traffic Flow Model in Physics-informed Neural Networks

Authors: Archie J. Huang, Animesh Biswas, Shaurya Agarwal

Abstract: This research contributes to the advancement of traffic state estimation methods by leveraging the benefits of the nonlocal LWR model within a physics-informed deep learning framework. The classical LWR model, while useful, falls short of accurately representing real-world traffic flows. The nonlocal LWR model addresses this limitation by considering the speed as a weighted mean of the downstream… ▽ More This research contributes to the advancement of traffic state estimation methods by leveraging the benefits of the nonlocal LWR model within a physics-informed deep learning framework. The classical LWR model, while useful, falls short of accurately representing real-world traffic flows. The nonlocal LWR model addresses this limitation by considering the speed as a weighted mean of the downstream traffic density. In this paper, we propose a novel PIDL framework that incorporates the nonlocal LWR model. We introduce both fixed-length and variable-length kernels and develop the required mathematics. The proposed PIDL framework undergoes a comprehensive evaluation, including various convolutional kernels and look-ahead windows, using data from the NGSIM and CitySim datasets. The results demonstrate improvements over the baseline PIDL approach using the local LWR model. The findings highlight the potential of the proposed approach to enhance the accuracy and reliability of traffic state estimation, enabling more effective traffic management strategies. △ Less

Submitted 22 August, 2023; originally announced August 2023.

$THH$ of the Morava $E$-theory Spectrum $E_{2}$

Authors: Sanjana Agarwal

Abstract: The Morava $E$-theories, $E_{n}$, are complex-oriented $2$-periodic ring spectra, with homotopy groups $\mathbb{W}_{\mathbb{F}_{p^{n}}}[[u_{1}, u_{2}, ... , u_{n-1}]][u,u^{-1}]$. Here $\mathbb{W}$ denotes the Witt vector ring. $E_{n}$ is a Landweber exact spectrum and hence uniquely determined by this ring as $BP_{\ast}$-algebra. Algebraic $K$-theory of $E_{n}$ is a key ingredient towards analyzin… ▽ More The Morava $E$-theories, $E_{n}$, are complex-oriented $2$-periodic ring spectra, with homotopy groups $\mathbb{W}_{\mathbb{F}_{p^{n}}}[[u_{1}, u_{2}, ... , u_{n-1}]][u,u^{-1}]$. Here $\mathbb{W}$ denotes the Witt vector ring. $E_{n}$ is a Landweber exact spectrum and hence uniquely determined by this ring as $BP_{\ast}$-algebra. Algebraic $K$-theory of $E_{n}$ is a key ingredient towards analyzing the layers in the $p$-complete Waldhausen $K$-theory chromatic tower. One hopes to use the machinery of trace methods to get results towards $K$-theory once the computation for $THH(E_{n})$ is known. In this paper we describe $THH(E_{2})$ as part of consecutive chain of cofiber sequences where each cofiber sits in the next cofiber sequence and the first term of each cofiber sequence is describable completely in terms of suspensions and localizations of $E_{2}$. For these results, we first calculate $K(i)$-homology of $THH(E_{2})$ using a Bökstedt spectral sequence and then lift the generating classes of $K(1)$-homology to fundamental classes in homotopy group of $THH(E_{2})$. These lifts allow us to construct terms of the cofiber sequence and explicitly understand how they map to $THH(E_{2})$. △ Less

Submitted 1 July, 2025; v1 submitted 27 July, 2023; originally announced July 2023.

Comments: 29 pages, minor edits, expositional details added. Comments welcome

MSC Class: 55P43; 16E40

On the Limitations of Physics-informed Deep Learning: Illustrations Using First Order Hyperbolic Conservation Law-based Traffic Flow Models

Authors: Archie J. Huang, Shaurya Agarwal

Abstract: Since its introduction in 2017, physics-informed deep learning (PIDL) has garnered growing popularity in understanding the evolution of systems governed by physical laws in terms of partial differential equations (PDEs). However, empirical evidence points to the limitations of PIDL for learning certain types of PDEs. In this paper, we (a) present the challenges in training PIDL architecture, (b) c… ▽ More Since its introduction in 2017, physics-informed deep learning (PIDL) has garnered growing popularity in understanding the evolution of systems governed by physical laws in terms of partial differential equations (PDEs). However, empirical evidence points to the limitations of PIDL for learning certain types of PDEs. In this paper, we (a) present the challenges in training PIDL architecture, (b) contrast the performance of PIDL architecture in learning a first order scalar hyperbolic conservation law and its parabolic counterpart, (c) investigate the effect of training data sampling, which corresponds to various sensing scenarios in traffic networks, (d) comment on the implications of PIDL limitations for traffic flow estimation and prediction in practice. Detailed in the case study, we present the contradistinction in PIDL results between learning the traffic flow model (LWR PDE) and its variation with diffusion. The outcome indicates that PIDL experiences significant challenges in learning the hyperbolic LWR equation due to the non-smoothness of its solution. On the other hand, the architecture with parabolic PDE, augmented with the diffusion term, leads to the successful reassembly of the density data even with the shockwaves present. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Physics Informed Deep Learning: Applications in Transportation

Authors: Archie J. Huang, Shaurya Agarwal

Abstract: A recent development in machine learning - physics-informed deep learning (PIDL) - presents unique advantages in transportation applications such as traffic state estimation. Consolidating the benefits of deep learning (DL) and the governing physical equations, it shows the potential to complement traditional sensing methods in obtaining traffic states. In this paper, we first explain the conserva… ▽ More A recent development in machine learning - physics-informed deep learning (PIDL) - presents unique advantages in transportation applications such as traffic state estimation. Consolidating the benefits of deep learning (DL) and the governing physical equations, it shows the potential to complement traditional sensing methods in obtaining traffic states. In this paper, we first explain the conservation law from the traffic flow theory as ``physics'', then present the architecture of a PIDL neural network and demonstrate its effectiveness in learning traffic conditions of unobserved areas. In addition, we also exhibit the data collection scenario using fog computing infrastructure. A case study on estimating the vehicle velocity is presented and the result shows that PIDL surpasses the performance of a regular DL neural network with the same learning architecture, in terms of convergence time and reconstruction accuracy. The encouraging results showcase the broad potential of PIDL for real-time applications in transportation with a low amount of training data. △ Less

Submitted 23 February, 2023; originally announced February 2023.

The Geometry of Rank Drop in a Class of Face-Splitting Matrix Products

Authors: Erin Connelly, Sameer Agarwal, Alperen Ergur, Rekha R. Thomas

Abstract: Given $k \leq 6$ points $(x_i,y_i) \in \mathbb{P}^2 \times \mathbb{P}^2$, we characterize rank deficiency of the $k \times 9$ matrix $Z_k$ with rows $x_i^\top \otimes y_i^\top$ in terms of the geometry of the point configurations $\{x_i\}$ and $\{y_i\}$. While this question comes from computer vision the answer relies on tools from classical algebraic geometry: For $k \leq 5$, the geometry of the… ▽ More Given $k \leq 6$ points $(x_i,y_i) \in \mathbb{P}^2 \times \mathbb{P}^2$, we characterize rank deficiency of the $k \times 9$ matrix $Z_k$ with rows $x_i^\top \otimes y_i^\top$ in terms of the geometry of the point configurations $\{x_i\}$ and $\{y_i\}$. While this question comes from computer vision the answer relies on tools from classical algebraic geometry: For $k \leq 5$, the geometry of the rank-drop locus is characterized by cross-ratios and basic (projective) geometry of point configurations. For the case $k=6$ the rank-drop locus is captured by the classical theory of cubic surfaces. △ Less

Submitted 18 March, 2024; v1 submitted 24 January, 2023; originally announced January 2023.

Data-driven discovery of quasiperiodically driven dynamics

Authors: Suddhasattwa Das, Shakib Mustavee, Shaurya Agarwal

Abstract: The analysis of a timeseries can provide many new perspectives if it is accompanied by the assumption that the timeseries is generated from an underlying dynamical system. For example, statistical properties of the data can be related to measure theoretic aspects of the dynamics, and one can try to recreate the dynamics itself. The underlying dynamics could represent a natural phenomenon or a phys… ▽ More The analysis of a timeseries can provide many new perspectives if it is accompanied by the assumption that the timeseries is generated from an underlying dynamical system. For example, statistical properties of the data can be related to measure theoretic aspects of the dynamics, and one can try to recreate the dynamics itself. The underlying dynamics could represent a natural phenomenon or a physical system, where the timeseries represents a sequence of measurements. In this paper, we present a completely data-driven framework to identify and model quasiperiodically driven dynamical systems (Q.P.D.) from the timeseries it generates. Q.P.D. are a special class of systems that are driven by a periodic source with multiple base frequencies. Such systems abound in nature, e.g., astronomy and traffic flow. Our framework reconstructs the dynamics into two components - the driving quasiperiodic source with generating frequencies; and the driven nonlinear dynamics. We make a combined use of a kernel-based harmonic analysis, kernel-based interpolation technique, and Koopman operator theory. Our framework provides accurate reconstructions and frequency identification for three real-world case studies. △ Less

Submitted 2 May, 2024; v1 submitted 22 January, 2023; originally announced January 2023.

MSC Class: 37N30; 37M99; 37M10

Journal ref: Nonlinear Dynamics 2024

Investigations on convergence behaviour of Physics Informed Neural Networks across spectral ranges and derivative orders

Authors: Mayank Deshpande, Siddharth Agarwal, Vukka Snigdha, Arya Kumar Bhattacharya

Abstract: An important inference from Neural Tangent Kernel (NTK) theory is the existence of spectral bias (SB), that is, low frequency components of the target function of a fully connected Artificial Neural Network (ANN) being learnt significantly faster than the higher frequencies during training. This is established for Mean Square Error (MSE) loss functions with very low learning rate parameters. Physi… ▽ More An important inference from Neural Tangent Kernel (NTK) theory is the existence of spectral bias (SB), that is, low frequency components of the target function of a fully connected Artificial Neural Network (ANN) being learnt significantly faster than the higher frequencies during training. This is established for Mean Square Error (MSE) loss functions with very low learning rate parameters. Physics Informed Neural Networks (PINNs) are designed to learn the solutions of differential equations (DE) of arbitrary orders; in PINNs the loss functions are obtained as the residues of the conservative form of the DEs and represent the degree of dissatisfaction of the equations. So there has been an open question whether (a) PINNs also exhibit SB and (b) if so, how does this bias vary across the orders of the DEs. In this work, a series of numerical experiments are conducted on simple sinusoidal functions of varying frequencies, compositions and equation orders to investigate these issues. It is firmly established that under normalized conditions, PINNs do exhibit strong spectral bias, and this increases with the order of the differential equation. △ Less

Submitted 7 January, 2023; originally announced January 2023.

An Atlas for the Pinhole Camera

Authors: Sameer Agarwal, Timothy Duff, Max Lieblich, Rekha Thomas

Abstract: We introduce an atlas of algebro-geometric objects associated with image formation in pinhole cameras. The nodes of the atlas are algebraic varieties or their vanishing ideals related to each other by projection or elimination and restriction or specialization respectively. This atlas offers a unifying framework for the study of problems in 3D computer vision. We initiate the study of the atlas by… ▽ More We introduce an atlas of algebro-geometric objects associated with image formation in pinhole cameras. The nodes of the atlas are algebraic varieties or their vanishing ideals related to each other by projection or elimination and restriction or specialization respectively. This atlas offers a unifying framework for the study of problems in 3D computer vision. We initiate the study of the atlas by completely characterizing a part of the atlas stemming from the triangulation problem. We conclude with several open problems and generalizations of the atlas. △ Less

Submitted 3 October, 2022; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: 47 pages with references and appendices, final version

MSC Class: 14Q25; 94A08

Journal ref: JFoCM, 2022

Uncovering Quasi-periodic Nature of Physical Systems: A Case Study of Signalized Intersections

Authors: Suddhasattwa Das, Shakib Mustavee, Shaurya Agarwal

Abstract: This paper presents a novel approach to analyze quasiperiodically driven dynamical systems. It aims to develop a complete data-driven framework for modeling such unknown dynamics. To achieve this, we characterize Koopman eigenfrequencies as generating frequencies of the quasiperiodic driver of the system. We compute true eigenfrequencies of Koopman operators by applying the theory of Reproducing K… ▽ More This paper presents a novel approach to analyze quasiperiodically driven dynamical systems. It aims to develop a complete data-driven framework for modeling such unknown dynamics. To achieve this, we characterize Koopman eigenfrequencies as generating frequencies of the quasiperiodic driver of the system. We compute true eigenfrequencies of Koopman operators by applying the theory of Reproducing Kernel Hibert Space (RKHS) and results from ergodic theory. We also demonstrate the decomposition of quasiperiodically driven dynamics into two components, i) the quasiperiodic driving source with generating frequencies and ii) the driven nonlinear dynamics. A unique aspect of the proposed framework is that it applies to the analysis of systems where the periodic component is either non-dominant or even absent. As a case study, we analyze a system of nine traffic signalized intersections. The proposed framework accurately reconstructs the measured queue lengths of the signalized intersections and makes stable long-term predictions. △ Less

Submitted 15 September, 2021; originally announced September 2021.

MSC Class: 37M25; 47A35; 37M10

A Linear Dynamical Perspective on Epidemiology: Interplay Between Early COVID-19 Outbreak and Human Mobility

Authors: Shakib Mustavee, Shaurya Agarwal, Chinwendu Enyioha, Suddhasattwa Das

Abstract: This paper investigates the impact of human activity and mobility (HAM) in the spreading dynamics of an epidemic. Specifically, it explores the interconnections between HAM and its effect on the early spread of the COVID-19 virus. During the early stages of the pandemic, effective reproduction numbers exhibited a high correlation with human mobility patterns, leading to a hypothesis that the HAM s… ▽ More This paper investigates the impact of human activity and mobility (HAM) in the spreading dynamics of an epidemic. Specifically, it explores the interconnections between HAM and its effect on the early spread of the COVID-19 virus. During the early stages of the pandemic, effective reproduction numbers exhibited a high correlation with human mobility patterns, leading to a hypothesis that the HAM system can be studied as a coupled system with disease spread dynamics. This study applies the generalized Koopman framework with control inputs to determine the nonlinear disease spread dynamics and the input-output characteristics as a locally linear controlled dynamical system. The approach solely relies on the snapshots of spatiotemporal data and does not require any knowledge of the system's physical laws. We exploit the Koopman operator framework by utilizing the Hankel Dynamic Mode Decomposition with Control (HDMDc) algorithm to obtain a linear disease spread model incorporating human mobility as a control input. The study demonstrated that the proposed methodology could capture the impact of local mobility on the early dynamics of the ongoing global pandemic. The obtained locally linear model can accurately forecast the number of new infections for various prediction windows ranging from two to four weeks. The study corroborates a leader-follower relationship between mobility and disease spread dynamics. In addition, the effect of delay embedding in the HDMDc algorithm is also investigated and reported. A case study was performed using COVID infection data from Florida, US, and HAM data extracted from Google community mobility data report. △ Less

Submitted 4 August, 2021; v1 submitted 13 July, 2021; originally announced July 2021.

A Credibility Approach on Fuzzy Slacks Based Measure (SBM) DEA Model

Authors: Deepak Mahla, Shivi Agarwal

Abstract: Data Envelopment Analysis (DEA) is a multi-criteria technique based on linear programming to deal with many real-life problems, mostly in nonprofit organizations. The slacks-based measure (SBM) model is one of the DEA model used to assess the relative efficiencies of decision-making units (DMUs). The SBM DEA model directly used input slacks and output slacks to determine the relative efficiency of… ▽ More Data Envelopment Analysis (DEA) is a multi-criteria technique based on linear programming to deal with many real-life problems, mostly in nonprofit organizations. The slacks-based measure (SBM) model is one of the DEA model used to assess the relative efficiencies of decision-making units (DMUs). The SBM DEA model directly used input slacks and output slacks to determine the relative efficiency of DMUs. In order to deal with qualitative or uncertain data, a fuzzy SBM DEA model is used to assess the performance of DMUs in this study. The credibility measure approach, transform the fuzzy SBM DEA model into a crisp linear programming model at different credibility levels is used. The results came from the fuzzy DEA model are more rational to the real-world situation than the conventional DEA model. In the end, the data of Indian oil refineries is collected, and the efficiency behavior of the companies obtained by applying the proposed model for its numerical illustration. △ Less

Submitted 3 February, 2021; originally announced February 2021.

MSC Class: 90B06

Deletion and contraction in configuration spaces of graphs

Authors: Sanjana Agarwal, Maya Banks, Nir Gadish, Dane Miyata

Abstract: The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and identify the homotopy cofibers in terms of configuration spaces of simpler graphs. The construction's main benefit lies in making the operations functorial - in parti… ▽ More The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and identify the homotopy cofibers in terms of configuration spaces of simpler graphs. The construction's main benefit lies in making the operations functorial - in particular, graph minors give rise to compatible maps at the level of fundamental groups as well as generalized (co)homology theories. As applications we provide a long exact sequence for half-edge deletion in any generalized cohomology theory, compatible with cohomology operations such as the Steenrod and Adams operations, allowing for inductive calculations in this general context. We also show that the generalized homology of unordered configuration spaces is finitely generated as a representation of the opposite graph minor category. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: 8 pages

MSC Class: 55R80 (Primary) 05C10; 20F36 (Secondary)

Journal ref: Algebr. Geom. Topol. 21 (2021) 3663-3674

The Chiral Domain of a Camera Arrangement

Authors: Sameer Agarwal, Andrew Pryhuber, Rainer Sinn, Rekha R. Thomas

Abstract: We introduce the chiral domain of an arrangement of cameras $\mathcal{A} = \{A_1,\dots, A_m\}$ which is the subset of $\mathbb{P}^3$ visible in $\mathcal{A}$. It generalizes the classical definition of chirality to include all of $\mathbb{P}^3$ and offers a unifying framework for studying multiview chirality. We give an algebraic description of the chiral domain which allows us to define and descr… ▽ More We introduce the chiral domain of an arrangement of cameras $\mathcal{A} = \{A_1,\dots, A_m\}$ which is the subset of $\mathbb{P}^3$ visible in $\mathcal{A}$. It generalizes the classical definition of chirality to include all of $\mathbb{P}^3$ and offers a unifying framework for studying multiview chirality. We give an algebraic description of the chiral domain which allows us to define and describe a chiral version of Triggs' joint image. We then use the chiral domain to re-derive and extend prior results on chirality due to Hartley. △ Less

Submitted 26 April, 2022; v1 submitted 19 March, 2020; originally announced March 2020.

Harmonically confined particles with long-range repulsive interactions

Authors: Sanaa Agarwal, Abhishek Dhar, Manas Kulkarni, Anupam Kundu, Satya N. Majumdar, David Mukamel, Gregory Schehr

Abstract: We study an interacting system of $N$ classical particles on a line at thermal equilibrium. The particles are confined by a harmonic trap and repelling each other via pairwise interaction potential that behaves as a power law $\propto \sum_{\substack{i\neq j}}^N|x_i-x_j|^{-k}$ (with $k>-2$) of their mutual distance. This is a generalization of the well known cases of the one component plasma (… ▽ More We study an interacting system of $N$ classical particles on a line at thermal equilibrium. The particles are confined by a harmonic trap and repelling each other via pairwise interaction potential that behaves as a power law $\propto \sum_{\substack{i\neq j}}^N|x_i-x_j|^{-k}$ (with $k>-2$) of their mutual distance. This is a generalization of the well known cases of the one component plasma ($k=-1$), Dyson's log-gas ($k\to 0^+$), and the Calogero-Moser model ($k=2$). Due to the competition between harmonic confinement and pairwise repulsion, the particles spread over a finite region of space for all $k>-2$. We compute exactly the average density profile for large $N$ for all $k>-2$ and show that while it is independent of temperature for sufficiently low temperature, it has a rich and nontrivial dependence on $k$ with distinct behavior for $-2<k<1$, $k>1$ and $k=1$. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: Main text: 6 pages + 1 Fig., Supp. Mat.: 11 pages + 3 Figs. Accepted for publication in Physical Review Letters

Journal ref: Phys. Rev. Lett. 123, 100603 (2019)

Ideals of the Multiview Variety

Authors: Sameer Agarwal, Andrew Pryhuber, Rekha Thomas

Abstract: The multiview variety of an arrangement of cameras is the Zariski closure of the images of world points in the cameras. The prime vanishing ideal of this complex projective variety is called the multiview ideal. We show that the bifocal and trifocal polynomials from the cameras generate the multiview ideal when the foci are distinct. In the computer vision literature, many sets of (determinantal)… ▽ More The multiview variety of an arrangement of cameras is the Zariski closure of the images of world points in the cameras. The prime vanishing ideal of this complex projective variety is called the multiview ideal. We show that the bifocal and trifocal polynomials from the cameras generate the multiview ideal when the foci are distinct. In the computer vision literature, many sets of (determinantal) polynomials have been proposed to describe the multiview variety. We establish precise algebraic relationships between the multiview ideal and these various ideals. When the camera foci are noncoplanar, we prove that the ideal of bifocal polynomials saturate to give the multiview ideal. Finally, we prove that all the ideals we consider coincide when dehomogenized, to cut out the space of finite images. △ Less

Submitted 4 November, 2019; v1 submitted 22 December, 2018; originally announced December 2018.

On the local stability of semidefinite relaxations

Authors: Diego Cifuentes, Sameer Agarwal, Pablo A. Parrilo, Rekha R. Thomas

Abstract: We consider a parametric family of quadratically constrained quadratic programs (QCQP) and their associated semidefinite programming (SDP) relaxations. Given a nominal value of the parameter at which the SDP relaxation is exact, we study conditions (and quantitative bounds) under which the relaxation will continue to be exact as the parameter moves in a neighborhood around the nominal value. Our f… ▽ More We consider a parametric family of quadratically constrained quadratic programs (QCQP) and their associated semidefinite programming (SDP) relaxations. Given a nominal value of the parameter at which the SDP relaxation is exact, we study conditions (and quantitative bounds) under which the relaxation will continue to be exact as the parameter moves in a neighborhood around the nominal value. Our framework captures a wide array of statistical estimation problems including tensor principal component analysis, rotation synchronization, orthogonal Procrustes, camera triangulation and resectioning, essential matrix estimation, system identification, and approximate GCD. Our results can also be used to analyze the stability of SOS relaxations of general polynomial optimization problems. △ Less

Submitted 29 August, 2021; v1 submitted 11 October, 2017; originally announced October 2017.

Comments: 23 pages, 3 figures

MSC Class: 90C22 (Primary); 90C31 (Secondary)

Journal ref: Mathematical Programming, volume 193, pages 629-663 (2002)

Composition formulas of Bessel-Struve kernel function

Authors: K. S Nisar, S. R. Mondal. P. Agarwal

Abstract: The generalized operators of fractional integration involving Appell's function $F_{3}(.) $ due to Marichev-Saigo-Maeda, is applied to the Bessel Struve kernel function $S_{α}\left( λz\right),λ,z\in \mathbb{C}$ to obtain the results in terms of generalized Wright functions.The pathway integral representations Bessel Struve kernel function and its relation between many other functions also derived… ▽ More The generalized operators of fractional integration involving Appell's function $F_{3}(.) $ due to Marichev-Saigo-Maeda, is applied to the Bessel Struve kernel function $S_{α}\left( λz\right),λ,z\in \mathbb{C}$ to obtain the results in terms of generalized Wright functions.The pathway integral representations Bessel Struve kernel function and its relation between many other functions also derived in this study. △ Less

Submitted 31 January, 2016; originally announced February 2016.

Comments: 13 pages

MSC Class: 05C38; 15A15; 05A15; 15A18

On the Existence of Epipolar Matrices

Authors: Sameer Agarwal, Hon-Leung Lee, Bernd Sturmfels, Rekha R. Thomas

Abstract: This paper considers the foundational question of the existence of a fundamental (resp. essential) matrix given $m$ point correspondences in two views. We present a complete answer for the existence of fundamental matrices for any value of $m$. Using examples we disprove the widely held beliefs that fundamental matrices always exist whenever $m \leq 7$. At the same time, we prove that they exist u… ▽ More This paper considers the foundational question of the existence of a fundamental (resp. essential) matrix given $m$ point correspondences in two views. We present a complete answer for the existence of fundamental matrices for any value of $m$. Using examples we disprove the widely held beliefs that fundamental matrices always exist whenever $m \leq 7$. At the same time, we prove that they exist unconditionally when $m \leq 5$. Under a mild genericity condition, we show that an essential matrix always exists when $m \leq 4$. We also characterize the six and seven point configurations in two views for which all matrices satisfying the epipolar constraint have rank at most one. △ Less

Submitted 5 October, 2015; originally announced October 2015.

Comments: 19 pages, 2 figures; This paper is related to our previous paper arXiv:1407.5367. However, the two papers differ enough in their focus and results that they merit being archived separately

Maximal Stochastic Transport in the Lorenz Equations

Authors: Sahil Agarwal, J. S. Wettlaufer

Abstract: We calculate the stochastic upper bounds for the Lorenz equations using an extension of the background method. In analogy with Rayleigh-Bénard convection the upper bounds are for heat transport versus Rayleigh number. As might be expected, the stochastic upper bounds are larger than the deterministic counterpart of \citet{Doering15}, but their variation with noise amplitude exhibits interesting be… ▽ More We calculate the stochastic upper bounds for the Lorenz equations using an extension of the background method. In analogy with Rayleigh-Bénard convection the upper bounds are for heat transport versus Rayleigh number. As might be expected, the stochastic upper bounds are larger than the deterministic counterpart of \citet{Doering15}, but their variation with noise amplitude exhibits interesting behavior. Below the transition to chaotic dynamics the upper bounds increase monotonically with noise amplitude. However, in the chaotic regime this monotonicity depends on the number of realizations in the ensemble; at a particular Rayleigh number the bound may increase or decrease with noise amplitude. The origin of this behavior is the coupling between the noise and unstable periodic orbits, the degree of which depends on the degree to which the ensemble represents the ergodic set. This is confirmed by examining the close returns plots of the full solutions to the stochastic equations and the numerical convergence of the noise correlations. The numerical convergence of both the ensemble and time averages of the noise correlations is sufficiently slow that it is the limiting aspect of the realization of these bounds. Finally, we note that the full solutions of the stochastic equations demonstrate that the effect of noise is equivalent to the effect of chaos. △ Less

Submitted 14 August, 2015; originally announced August 2015.

Comments: 6 pages, 5 figures

Journal ref: Phys. Lett. A Vol 380, 142 (2016)

Certifying the Existence of Epipolar Matrices

Authors: Sameer Agarwal, Hon-leung Lee, Bernd Sturmfels, Rekha R. Thomas

Abstract: Given a set of point correspondences in two images, the existence of a fundamental matrix is a necessary condition for the points to be the images of a 3-dimensional scene imaged with two pinhole cameras. If the camera calibration is known then one requires the existence of an essential matrix. We present an efficient algorithm, using exact linear algebra, for testing the existence of a fundamen… ▽ More Given a set of point correspondences in two images, the existence of a fundamental matrix is a necessary condition for the points to be the images of a 3-dimensional scene imaged with two pinhole cameras. If the camera calibration is known then one requires the existence of an essential matrix. We present an efficient algorithm, using exact linear algebra, for testing the existence of a fundamental matrix. The input is any number of point correspondences. For essential matrices, we characterize the solvability of the Demazure polynomials. In both scenarios, we determine which linear subspaces intersect a fixed set defined by non-linear polynomials. The conditions we derive are polynomials stated purely in terms of image coordinates. They represent a new class of two-view invariants, free of fundamental (resp.~essential)~matrices. △ Less

Submitted 20 July, 2014; originally announced July 2014.

A QCQP Approach to Triangulation

Authors: Chris Aholt, Sameer Agarwal, Rekha Thomas

Abstract: Triangulation of a three-dimensional point from at least two noisy 2-D images can be formulated as a quadratically constrained quadratic program. We propose an algorithm to extract candidate solutions to this problem from its semidefinite programming relaxations. We then describe a sufficient condition and a polynomial time test for certifying when such a solution is optimal. This test has no fals… ▽ More Triangulation of a three-dimensional point from at least two noisy 2-D images can be formulated as a quadratically constrained quadratic program. We propose an algorithm to extract candidate solutions to this problem from its semidefinite programming relaxations. We then describe a sufficient condition and a polynomial time test for certifying when such a solution is optimal. This test has no false positives. Experiments indicate that false negatives are rare, and the algorithm has excellent performance in practice. We explain this phenomenon in terms of the geometry of the triangulation problem. △ Less

Submitted 7 August, 2012; v1 submitted 31 July, 2012; originally announced July 2012.

Comments: 14 pages, to appear in the proceedings of the 12th European Conference of Computer Vision, Firenze, Italy, 7-13 October 2012

MSC Class: 90; 68