Showing 1–13 of 13 results for author: Tewari, A K

From dual canonical bases to positroidal subdivisions

Authors: Jian-Rong Li, Ayush Kumar Tewari

Abstract: The Grassmannian cluster algebra $\mathbb{C}[\text{Gr}(k, n)]$ admits a distinguished basis known as the dual canonical basis, whose elements correspond to rectangular semi-standard Young tableaux with $k$ rows and with entries in $[n]$. We establish that each such tableau induces a positroidal subdivision of the hypersimplex $Δ(k,n)$ via a map introduced by Speyer and Williams. For… ▽ More The Grassmannian cluster algebra $\mathbb{C}[\text{Gr}(k, n)]$ admits a distinguished basis known as the dual canonical basis, whose elements correspond to rectangular semi-standard Young tableaux with $k$ rows and with entries in $[n]$. We establish that each such tableau induces a positroidal subdivision of the hypersimplex $Δ(k,n)$ via a map introduced by Speyer and Williams. For $\text{Gr}(2,n)$, we prove that non-frozen prime tableaux correspond precisely to the coarsest positroidal subdivisions of $Δ(2,n)$. Furthermore, we present computational evidence extending these results to $k>2$. In the process, we formulate a conjectural formula for the number of split positroidal subdivisions of $Δ(k,n)$ for any $k \ge 2$ and explore the deep connections between the polyhedral combinatorics of $Δ(k,n)$ and the dual canonical basis of $\mathbb{C}[\text{Gr}(k, n)]$. △ Less

Submitted 24 June, 2025; originally announced June 2025.

MSC Class: 52B11; 52B40; 05E10; 14M15; 13F60

Positivity sets of hinge functions

Authors: Josef Schicho, Ayush Kumar Tewari, Audie Warren

Abstract: In this paper we investigate which subsets of the real plane are realisable as the set of points on which a one-layer ReLU neural network takes a positive value. In the case of cones we give a full characterisation of such sets. Furthermore, we give a necessary condition for any subset of $\mathbb R^d$. We give various examples of such one-layer neural networks. In this paper we investigate which subsets of the real plane are realisable as the set of points on which a one-layer ReLU neural network takes a positive value. In the case of cones we give a full characterisation of such sets. Furthermore, we give a necessary condition for any subset of $\mathbb R^d$. We give various examples of such one-layer neural networks. △ Less

Submitted 14 March, 2025; originally announced March 2025.

On the Genus of One Degree of Freedom Planar Linkages via Tropical Geometry

Authors: Josef Schicho, Ayush Kumar Tewari, Audie Warren

Abstract: This paper focuses on studying the configuration spaces of graphs realised in $\mathbb C^2$, such that the configuration space is, after normalisation, one dimensional. If this is the case, then the configuration space is, generically, a smooth complex curve, and can be seen as a Riemann surface. The property of interest in this paper is the genus of this curve. Using tropical geometry, we give an… ▽ More This paper focuses on studying the configuration spaces of graphs realised in $\mathbb C^2$, such that the configuration space is, after normalisation, one dimensional. If this is the case, then the configuration space is, generically, a smooth complex curve, and can be seen as a Riemann surface. The property of interest in this paper is the genus of this curve. Using tropical geometry, we give an algorithm to compute this genus. We provide an implementation in Python and give various examples. △ Less

Submitted 29 January, 2025; v1 submitted 1 August, 2024; originally announced August 2024.

MSC Class: 52C25; 70B15; 14T90

Transversal matroids and the half plane property

Authors: Ayush Kumar Tewari

Abstract: We focus on checking the validity of the half-plane property on two prominent classes of transversal matroids, namely lattice path matroids and bicircular matroids. We show that lattice path matroids satisfy the half-plane property. Subsequently, we show an explicit example of a bicircular matroid that is not a positroid and discuss the negative correlation properties of bases of transversal matro… ▽ More We focus on checking the validity of the half-plane property on two prominent classes of transversal matroids, namely lattice path matroids and bicircular matroids. We show that lattice path matroids satisfy the half-plane property. Subsequently, we show an explicit example of a bicircular matroid that is not a positroid and discuss the negative correlation properties of bases of transversal matroids. We prove that sparse paving matroids do not satisfy the Rayleigh property, which helps us gain new perspectives about conjectures on negative correlation in basis elements of matroids in general. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: Comments are welcome!

MSC Class: 05B35; 05A20; 05A15; 94C05

Positroids, Dressian and stable polynomials

Authors: Ayush Kumar Tewari

Abstract: Our work is motivated by the connection established between Lorentzian polynomials and the Dressian in the seminal work of Brändén and Huh on Lorentzian polynomials. We analyze this relation for the class of positroids, and are able to show that in this case, we can relate a multiaffine homogenous stable polynomial to it. Additionally, we also highlight that a conjecture for matroids posed by Brän… ▽ More Our work is motivated by the connection established between Lorentzian polynomials and the Dressian in the seminal work of Brändén and Huh on Lorentzian polynomials. We analyze this relation for the class of positroids, and are able to show that in this case, we can relate a multiaffine homogenous stable polynomial to it. Additionally, we also highlight that a conjecture for matroids posed by Brändén and Huh is true when considered over the class of Rayleigh matroids which strictly contain the class of positroids. We collect these findings along with other results for further exploration. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Comments: Comments are welcome!

MSC Class: 12D10; 52B40

Lattice path matroidal subdivisions, Positive Tropical Grassmannian and Amplituhedron

Authors: Ayush Kumar Tewari, Ahmed Umer Ashraf

Abstract: We introduce the notion of lattice path matroidal subdivisions, or LPM subdivisions for short, and show that these subdivisions are regular and hence the weight vectors for them lie in the Dressian. This leads us to explore the structure of the set of these weights inside the Dressian and owing to the fact that Lattice path matroids are positroids, we move to the positive Dressian which in turn is… ▽ More We introduce the notion of lattice path matroidal subdivisions, or LPM subdivisions for short, and show that these subdivisions are regular and hence the weight vectors for them lie in the Dressian. This leads us to explore the structure of the set of these weights inside the Dressian and owing to the fact that Lattice path matroids are positroids, we move to the positive Dressian which in turn is equal to the positive tropical Grassmannian, an object of immense interest currently in Physics. This is related to the amplituhedron and positive configuration space, which we describe here and wish to explore these connections further. △ Less

Submitted 9 July, 2023; originally announced July 2023.

Comments: Comments are welcome

MSC Class: 52B40; 14T15; 81U99

Generalized metric tree arrangements and Dressians

Authors: Ayush Kumar Tewari

Abstract: Metric trees and metric tree arrangements index cones in the polyhedral fan structure in the Dressian $Dr(2,n)$ and $Dr(3,n)$ respectively. We introduce the notion of generalized metric tree arrangements which parameterize points in $Dr(k,n)$ and extend previously known results to $Dr(k,n)$ along with providing explicit examples of these generalized metric tree arrangements. We study the adjacency… ▽ More Metric trees and metric tree arrangements index cones in the polyhedral fan structure in the Dressian $Dr(2,n)$ and $Dr(3,n)$ respectively. We introduce the notion of generalized metric tree arrangements which parameterize points in $Dr(k,n)$ and extend previously known results to $Dr(k,n)$ along with providing explicit examples of these generalized metric tree arrangements. We study the adjacency of cones in the positive Dressian $Dr_{>0}(3, n)$ and introduce generalized Whitehead moves which provide a condition for adjacency of maximal cones in $Dr_{>0}(3,n)$ in terms of the associated metric tree arrangements. △ Less

Submitted 21 August, 2024; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: Comments are welcome!

MSC Class: 05B35; 52B40; 14T15

Characterization of tropical planar curves up to genus six

Authors: Ayush Kumar Tewari

Abstract: We provide new forbidden criterion for realizability of smooth tropical plane curves. This in turn provides us a complete classification of smooth tropical plane curves up to genus six. We provide new forbidden criterion for realizability of smooth tropical plane curves. This in turn provides us a complete classification of smooth tropical plane curves up to genus six. △ Less

Submitted 4 March, 2022; originally announced March 2022.

Comments: Comments are welcome

Fundamental Theorem of Projective Geometry over Semirings

Authors: Ayush Kumar Tewari

Abstract: We state the fundamental theorem of projective geometry for semimodules over semirings, which is facilitated by recent work in the study of bases in semimodules defined over semirings. In the process we explore in detail the linear algebra setup over semirings. We also provide more explicit results to understand the implications of our main theorem on maps between tropical lines in the tropical pl… ▽ More We state the fundamental theorem of projective geometry for semimodules over semirings, which is facilitated by recent work in the study of bases in semimodules defined over semirings. In the process we explore in detail the linear algebra setup over semirings. We also provide more explicit results to understand the implications of our main theorem on maps between tropical lines in the tropical plane. Along with this we also look at geometrical connections to the rich theory of tropical geometry △ Less

Submitted 4 August, 2021; originally announced August 2021.

Comments: Comments welcome!

MSC Class: 14N05; 16Y60; 14T10

Moduli dimensions of lattice polygons

Authors: Marino Echavarria, Max Everett, Shinyu Huang, Liza Jacoby, Ralph Morrison, Ayush Kumar Tewari, Raluca Vlad, Ben Weber

Abstract: Given a lattice polygon $P$ with $g$ interior lattice points, we associate to it the moduli space of tropical curves of genus $g$ with Newton polygon $P$. We completely classify the possible dimensions such a moduli space can have. For non-hyperelliptic polygons the dimension must be between $g$ and $2g+1$, and can take on any integer value in this range, with exceptions only in the cases of genus… ▽ More Given a lattice polygon $P$ with $g$ interior lattice points, we associate to it the moduli space of tropical curves of genus $g$ with Newton polygon $P$. We completely classify the possible dimensions such a moduli space can have. For non-hyperelliptic polygons the dimension must be between $g$ and $2g+1$, and can take on any integer value in this range, with exceptions only in the cases of genus $3$, $4$, and $7$. We provide a similar result for hyperelliptic polygons, for which the range of dimensions is from $g$ to $2g-1$. In the case of non-hyperelliptic polygons, our results also hold for the moduli space of algebraic curves that are non-degenerate with respect to $P$. △ Less

Submitted 25 October, 2020; originally announced October 2020.

Comments: 17 pages, 15 figures

MSC Class: 14T05; 52B20; 14H10

Point-Line Geometry in the Tropical Plane

Authors: Ayush Kumar Tewari

Abstract: We study the classical result by Bruijn and Erd\H os regarding the bound on the number of lines determined by a $n$-point configuration in the plane, and in the light of the recently proven Tropical Sylvester-Gallai theorem, come up with a tropical version of the above-mentioned result. In this work, we introduce stable tropical lines, which help in answering questions pertaining to incidence geom… ▽ More We study the classical result by Bruijn and Erd\H os regarding the bound on the number of lines determined by a $n$-point configuration in the plane, and in the light of the recently proven Tropical Sylvester-Gallai theorem, come up with a tropical version of the above-mentioned result. In this work, we introduce stable tropical lines, which help in answering questions pertaining to incidence geometry in the tropical plane. Projective duality in the tropical plane helps in translating the question for stable lines to stable intersections that have been previously studied in depth. Invoking duality between Newton subdivisions and line arrangements, we are able to classify stable intersections with shapes of cells in subdivisions, and this ultimately helps us in coming up with a bound. In this process, we also encounter various unique properties of linear Newton subdivisions which are dual to tropical line arrangements. △ Less

Submitted 8 June, 2020; originally announced June 2020.

Comments: Comments welcome!

MSC Class: 14T15; 52C35

Convex lattice polygons with all lattice points visible

Authors: Ralph Morrison, Ayush Kumar Tewari

Abstract: Two lattice points are visible to one another if there exist no other lattice points on the line segment connecting them. In this paper we study convex lattice polygons that contain a lattice point such that all other lattice points in the polygon are visible from it. We completely classify such polygons, show that there are finitely many of lattice width greater than $2$, and computationally enum… ▽ More Two lattice points are visible to one another if there exist no other lattice points on the line segment connecting them. In this paper we study convex lattice polygons that contain a lattice point such that all other lattice points in the polygon are visible from it. We completely classify such polygons, show that there are finitely many of lattice width greater than $2$, and computationally enumerate them. As an application of this classification, we prove new obstructions to graphs arising as skeleta of tropical plane curves. △ Less

Submitted 17 August, 2020; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: 24 pages, 20 figures

MSC Class: 52B20; 52C05; 14T15

Forbidden Patterns in Tropical Plane Curves

Authors: Michael Joswig, Ayush Kumar Tewari

Abstract: Tropical curves in $\mathbb{R}^2$ correspond to metric planar graphs but not all planar graphs arise in this way. We describe several new classes of graphs which cannot occur. For instance, this yields a full combinatorial characterization of the tropically planar graphs of genus at most five. Tropical curves in $\mathbb{R}^2$ correspond to metric planar graphs but not all planar graphs arise in this way. We describe several new classes of graphs which cannot occur. For instance, this yields a full combinatorial characterization of the tropically planar graphs of genus at most five. △ Less

Submitted 6 February, 2020; originally announced February 2020.

MSC Class: 52B20 (05C10; 14T15)

Journal ref: Beiträge Algebra Geom. 62 (2021), 65-81