-
Double-point enhanced GRID invariants and Lagrangian cobordisms
Authors:
Ashton Lewis,
Zachary Ojakli,
Ina Petkova,
Benjamin Shapiro
Abstract:
We define an invariant of Legendrian links in the double-point enhanced grid homology of a link, and prove that it obstructs decomposable Lagrangian cobordisms in the symplectization of the standard contact structure on $\mathbb R^3$.
We define an invariant of Legendrian links in the double-point enhanced grid homology of a link, and prove that it obstructs decomposable Lagrangian cobordisms in the symplectization of the standard contact structure on $\mathbb R^3$.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
The translation geometry of Pólya's shires
Authors:
Rikard Bøgvad,
Boris Shapiro,
Guillaume Tahar,
Sangsan Warakkagun
Abstract:
In his shire theorem, G.~Pólya proves that the zeros of iterated derivatives of a meromorphic function in the complex plane accumulate on the union of edges of the Voronoi diagram of the poles of this function. By recasting the local arguments of Pólya into the language of translation surfaces, we prove its generalisation describing the asymptotic distribution of the zeros of a meromorphic functio…
▽ More
In his shire theorem, G.~Pólya proves that the zeros of iterated derivatives of a meromorphic function in the complex plane accumulate on the union of edges of the Voronoi diagram of the poles of this function. By recasting the local arguments of Pólya into the language of translation surfaces, we prove its generalisation describing the asymptotic distribution of the zeros of a meromorphic function on a compact Riemann surface under the iterations of a linear differential operator $T_ω: f \mapsto \frac{df}ω$ where $ω$ is a given meromorphic $1$-form. The accumulation set of these zeros is the union of edges of a generalised Voronoi diagram defined by the initial function $f$ together with the singular flat metric on the Riemann surface induced by $ω$. This result provides the ground for a novel approach to the problem of finding a flat geometric presentation of a translation surface initially defined in terms of algebraic or complex-analytic data.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
An inverse problem in Pólya--Schur theory. II. Exactly solvable operators and complex dynamics
Authors:
Per Alexandersson,
Nils Hemmingsson,
Boris Shapiro
Abstract:
This paper, being the sequel of [An inverse problem in Polya-Schur theory. I. Non-genegerate and degenerate operators], studies a class of linear ordinary differential operators with polynomial coefficients called \emph{exactly solvable}; such an operator sends every polynomial of sufficiently large degree to a polynomial of the same degree. We focus on invariant subsets of the complex plane for s…
▽ More
This paper, being the sequel of [An inverse problem in Polya-Schur theory. I. Non-genegerate and degenerate operators], studies a class of linear ordinary differential operators with polynomial coefficients called \emph{exactly solvable}; such an operator sends every polynomial of sufficiently large degree to a polynomial of the same degree. We focus on invariant subsets of the complex plane for such operators when their action is restricted to polynomials of a fixed degree and discover a connection between this topic and classical complex dynamics and its multi-valued counterpart. As a very special case of invariant sets we recover the Julia sets of rational functions.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
A combinatorial construction of homology via ACGW categories
Authors:
Maru Sarazola,
Brandon Shapiro,
Inna Zakharevich
Abstract:
2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-constru…
▽ More
2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-construction. More recently, another such input has been put forth: ACGW categories. ACGW categories have the advantage that they are combinatorial in nature (as opposed to homotopical or algebraic), and thus have fewer difficult coherence issues to work with. The goal of this paper is to introduce the reader to the key ideas and techniques for working with ACGW categories. To do so, we focus on how homology theory generalizes to ACGW categories, particularly in the central example of finite sets. We show how the ACGW formalism can be used to produce various classical homological algebra results such as the Snake lemma and long exact sequences of relative pairs.
△ Less
Submitted 30 September, 2024;
originally announced October 2024.
-
Bizonotopal Graphical Algebras
Authors:
Anatol Kirillov,
Gleb Nenashev,
Boris Shapiro,
Arkady Vaintrob
Abstract:
Zonotopal algebras (external, central, and internal) of an undirected graph G introduced by Postnikov-Shapiro and Holtz-Ron, are finite-dimensional commutative graded algebras whose Hilbert series contain a wealth of combinatorial information about G. In this paper, we associate to G a new family of algebras, which we call bizonotopal, because their definition involves doubling the set of edges of…
▽ More
Zonotopal algebras (external, central, and internal) of an undirected graph G introduced by Postnikov-Shapiro and Holtz-Ron, are finite-dimensional commutative graded algebras whose Hilbert series contain a wealth of combinatorial information about G. In this paper, we associate to G a new family of algebras, which we call bizonotopal, because their definition involves doubling the set of edges of G. These algebras are monomial and have intricate properties related, among other things, to the combinatorics of graphical parking functions and their polytopes.
Unlike the case of usual zonotopal algebras, the Hilbert series of bizonotopal algebras are not specializations of the Tutte polynomial of G. Still, we show that in the external and central cases these Hilbert series satisfy a modified deletion-contraction relation. In addition, we prove that the external bizonotopal algebra is a complete graph invariant.
△ Less
Submitted 28 July, 2024;
originally announced July 2024.
-
On boundary points of minimal continuously Hutchinson invariant sets
Authors:
Per Alexandersson,
Nils Hemmingsson,
Dmitry Novikov,
Boris Shapiro,
Guillaume Tahar
Abstract:
A linear differential operator $T=Q(z)\frac{d}{dz}+P(z)$ with polynomial coefficients defines a continuous family of Hutchinson operators when acting on the space of positive powers of linear forms. In this context, $T$ has a unique minimal Hutchinson-invariant set $M_{CH}^{T}$ in the complex plane. Using a geometric interpretation of its boundary in terms of envelops of certain families of rays,…
▽ More
A linear differential operator $T=Q(z)\frac{d}{dz}+P(z)$ with polynomial coefficients defines a continuous family of Hutchinson operators when acting on the space of positive powers of linear forms. In this context, $T$ has a unique minimal Hutchinson-invariant set $M_{CH}^{T}$ in the complex plane. Using a geometric interpretation of its boundary in terms of envelops of certain families of rays, we subdivide this boundary into local and global arcs (the former being portions of integral curves of the rational vector field $\frac{Q(z)}{P(z)}\partial_{z}$), and singular points of different types which we classify below. The latter decomposition of the boundary of $M_{CH}^{T}$ is largely determined by its intersection with the plane algebraic curve formed by the inflection points of trajectories of the field $\frac{Q(z)}{P(z)}\partial_{z}$. We provide an upper bound for the number of local arcs in terms of degrees of $P$ and $Q$. As an application of our classification, we obtain a number of global geometric properties of minimal Hutchinson-invariant sets.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
A Polynomial Construction of Nerves for Higher Categories
Authors:
Brandon T. Shapiro,
David I. Spivak
Abstract:
We show that the construction due to Leinster and Weber of a generalized Lawvere theory for a familially representable monad on a (co)presheaf category, and the associated ``nerve'' functor from monad algebras to (co)presheaves, have an elegant categorical description in the double category $\mathbb{C}\mathbf{at}^{\#}$ of categories, cofunctors, familial functors, and transformations. In…
▽ More
We show that the construction due to Leinster and Weber of a generalized Lawvere theory for a familially representable monad on a (co)presheaf category, and the associated ``nerve'' functor from monad algebras to (co)presheaves, have an elegant categorical description in the double category $\mathbb{C}\mathbf{at}^{\#}$ of categories, cofunctors, familial functors, and transformations. In $\mathbb{C}\mathbf{at}^{\#}$, which also arises from comonoids in the category of polynomial functors, both a familial monad and a (co)presheaf it acts on can be modeled as horizontal morphisms; from this perspective, the theory category associated to the monad is built using left Kan extension in the category of endomorphisms, and the nerve functor is modeled by a single composition of horizontal morphisms in $\mathbb{C}\mathbf{at}^{\#}$. For the free category monad $path$ on graphs, this provides a new construction of the simplex category as $Δ:= \lens{path}{path \circ path}$. We also explore the free Eilenberg-Moore completion of $\mathbb{C}\mathbf{at}^{\#}$, in which constructions such as the free symmetric monoidal category monad on $\mathbf{Cat}$ can modeled using the rich language of polynomial functors.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
An inverse problem in Polya-Schur theory. I. Non-genegerate and degenerate operators
Authors:
Per Alexandersson,
Petter Brändén,
Boris Shapiro
Abstract:
Given a linear ordinary differential operator T with polynomial coefficients, we study the class of closed subsets of the complex plane such that T sends any polynomial (resp. any polynomial of degree exceeding a given positive integer) with all roots in a given subset to a polynomial with all roots in the same subset or to 0. Below we discuss some general properties of such invariant subsets as w…
▽ More
Given a linear ordinary differential operator T with polynomial coefficients, we study the class of closed subsets of the complex plane such that T sends any polynomial (resp. any polynomial of degree exceeding a given positive integer) with all roots in a given subset to a polynomial with all roots in the same subset or to 0. Below we discuss some general properties of such invariant subsets as well as the problem of existence of the minimal under inclusion invariant subset.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
In search of Newton-type inequalities
Authors:
Olga Katkova,
Boris Shapiro,
Anna Vishnyakova
Abstract:
In this paper, we prove a number of results providing either necessary or sufficient conditions guaranteeing that the number of real roots of real polynomials of a given degree is either less or greater than a given number. We also provide counterexamples to two earlier conjectures refining Descartes rule of signs.
In this paper, we prove a number of results providing either necessary or sufficient conditions guaranteeing that the number of real roots of real polynomials of a given degree is either less or greater than a given number. We also provide counterexamples to two earlier conjectures refining Descartes rule of signs.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Semiclassical expansion for exactly solvable differential operators
Authors:
Jorge A. Borrego-Morell,
Boris Shapiro
Abstract:
Below we study a linear differential equation $\MM (v(z,η))=η^M{v(z,η)}$, where $η>0$ is a large spectral parameter and $\MM=\sum_{k=1}^{M}ρ_{k}(z)\frac{d^k}{dz^k},\; M\ge 2$ is a differential operator with polynomial coefficients such that the leading coefficient $ρ_M(z)$ is a monic complex-valued polynomial with $\dgr{ρ_M }=M$ and other $ρ_k(z)$'s are complex-valued polynomials with…
▽ More
Below we study a linear differential equation $\MM (v(z,η))=η^M{v(z,η)}$, where $η>0$ is a large spectral parameter and $\MM=\sum_{k=1}^{M}ρ_{k}(z)\frac{d^k}{dz^k},\; M\ge 2$ is a differential operator with polynomial coefficients such that the leading coefficient $ρ_M(z)$ is a monic complex-valued polynomial with $\dgr{ρ_M }=M$ and other $ρ_k(z)$'s are complex-valued polynomials with $\dgr{ρ_k }\leq k$. We prove the Borel summability of its WKB-solutions in the Stokes regions. For $M=3$ under the assumption that $ρ_M$ has simple zeros, we give the full description of the Stokes complex (i.e. the union of all Stokes curves) of this equation. Finally, we show that for the Euler-Cauchy equations, their WKB-solutions converge in the usual sense.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Totally Geodesic Spanning Surfaces of Knots and Links in 3-Manifolds
Authors:
Benjamin Shapiro
Abstract:
I construct infinite families of knots and links with totally geodesic spanning surfaces, which we call TGS knots and TGS links, in various 3-manifolds. These 3-manifolds include thickened orientable surfaces, the sphere cross the circle, lens spaces, and the solid torus. The totally geodesic spanning surfaces of knots embedded in thickened orientable surfaces are also examples of totally geodesic…
▽ More
I construct infinite families of knots and links with totally geodesic spanning surfaces, which we call TGS knots and TGS links, in various 3-manifolds. These 3-manifolds include thickened orientable surfaces, the sphere cross the circle, lens spaces, and the solid torus. The totally geodesic spanning surfaces of knots embedded in thickened orientable surfaces are also examples of totally geodesic spanning surfaces of virtual knots.
△ Less
Submitted 21 December, 2024; v1 submitted 6 February, 2024;
originally announced February 2024.
-
All Concepts are $\mathbb{C}\mathbf{at}^\#$
Authors:
Owen Lynch,
Brandon T. Shapiro,
David I. Spivak
Abstract:
We show that the double category $\mathbb{C}\mathbf{at}^\#$ of comonoids in the category of polynomial functors (previously shown by Ahman-Uustalu and Garner to be equivalent to the double category of categories, cofunctors, and prafunctors) contains several formal settings for basic category theory and has subcategories equivalent to both the double category $\mathbb{O}\mathbf{rg}$ of dynamic rew…
▽ More
We show that the double category $\mathbb{C}\mathbf{at}^\#$ of comonoids in the category of polynomial functors (previously shown by Ahman-Uustalu and Garner to be equivalent to the double category of categories, cofunctors, and prafunctors) contains several formal settings for basic category theory and has subcategories equivalent to both the double category $\mathbb{O}\mathbf{rg}$ of dynamic rewiring systems and the double category $\mathbb{P}\mathbf{oly}_{\mathcal{E}}$ of generalized polynomials in a finite limit category $\mathcal{E}$. Also serving as a natural setting for categorical database theory and generalized higher category theory, $\mathbb{C}\mathbf{at}^\#$ at once hosts models of a wide range of concepts from the theory and applications of polynomial functors and category theory.
△ Less
Submitted 23 May, 2024; v1 submitted 4 May, 2023;
originally announced May 2023.
-
Structures on Categories of Polynomials
Authors:
Brandon T. Shapiro,
David I. Spivak
Abstract:
We define the monoidal category $(Poly_E,y,\triangleleft)$ of polynomials under composition in any category $E$ with finite limits, including both cartesian and vertical morphisms of polynomials, and generalize to this setting the Dirichlet tensor product of polynomials $\otimes$, duoidality of $\otimes$ and $\triangleleft$, closure of $\otimes$, and coclosures of $\triangleleft$. We also prove th…
▽ More
We define the monoidal category $(Poly_E,y,\triangleleft)$ of polynomials under composition in any category $E$ with finite limits, including both cartesian and vertical morphisms of polynomials, and generalize to this setting the Dirichlet tensor product of polynomials $\otimes$, duoidality of $\otimes$ and $\triangleleft$, closure of $\otimes$, and coclosures of $\triangleleft$. We also prove that $\triangleleft$-comonoids in $Poly_E$ are precisely the internal categories in $E$ whose source morphism is exponentiable, generalizing a result of Ahman-Uustalu equating categories with polynomial comonads, and show that coalgebras in this setting correspond to internal copresheaves. Finally, the double category of ``typed'' polynomials in $E$ is recovered using $\triangleleft$-bicomodules in $Poly_E$.
△ Less
Submitted 18 May, 2023; v1 submitted 29 April, 2023;
originally announced May 2023.
-
Divisibility Properties of Integer Sequences
Authors:
Daniel B. Shapiro
Abstract:
A sequence of nonzero integers $f = (f_1, f_2, \dots)$ is ``binomid'' if every $f$-binomid coefficient $\left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f$ is an integer. Those terms are the generalized binomial coefficients: \[ \left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f \ = \ \frac{ f_nf_{n-1}\cdots f_{n-k+1} }{ f_kf_{k-1}\cdots f_1 }. \] Let $Δ(f)$ be the infinite triangle wi…
▽ More
A sequence of nonzero integers $f = (f_1, f_2, \dots)$ is ``binomid'' if every $f$-binomid coefficient $\left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f$ is an integer. Those terms are the generalized binomial coefficients: \[ \left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f \ = \ \frac{ f_nf_{n-1}\cdots f_{n-k+1} }{ f_kf_{k-1}\cdots f_1 }. \] Let $Δ(f)$ be the infinite triangle with those numbers as entries. When $I = (1, 2, 3, \dots)$ then $Δ(I)$ is Pascal's Triangle so that $I$ is binomid. Surprisingly, every row and column of Pascal's Triangle is also binomid. For any $f$, each row and column of $Δ(f)$ generates its own triangle and all those triangles fit together to form the ``Binomid Pyramid'' $\mathbb{BP}(f)$. Sequence $f$ is ``binomid at every level'' if all entries of $\mathbb{BP}(f)$ are integers. We prove that several familiar sequences have that property, including the Lucas sequences. In particular, $I = (1, 2, 3, \dots )$, the sequence of Fibonacci numbers, and $(2^n - 1)_{n \ge 1}$ are binomid at every level.
△ Less
Submitted 4 February, 2023;
originally announced February 2023.
-
A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks
Authors:
Rebekah Aduddell,
James Fairbanks,
Amit Kumar,
Pablo S. Ocal,
Evan Patterson,
Brandon T. Shapiro
Abstract:
Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks, using signed graphs to model the networks and signed functors to describe occurrences of one network in another, especially occurrences of network motifs. With this foundation, we establish functorial mappings between regula…
▽ More
Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks, using signed graphs to model the networks and signed functors to describe occurrences of one network in another, especially occurrences of network motifs. With this foundation, we establish functorial mappings between regulatory networks and other mathematical models in biochemistry. We construct a functor from reaction networks, modeled as Petri nets with signed links, to regulatory networks, enabling us to precisely define when a reaction network could be a physical mechanism underlying a regulatory network. Turning to quantitative models, we associate a regulatory network with a Lotka-Volterra system of differential equations, defining a functor from the category of signed graphs to a category of parameterized dynamical systems. We extend this result from closed to open systems, demonstrating that Lotka-Volterra dynamics respects not only inclusions and collapsings of regulatory networks, but also the process of building up complex regulatory networks by gluing together simpler pieces. Formally, we use the theory of structured cospans to produce a lax double functor from the double category of open signed graphs to that of open parameterized dynamical systems. Throughout the paper, we ground the categorical formalism in examples inspired by systems biology.
△ Less
Submitted 5 May, 2024; v1 submitted 3 January, 2023;
originally announced January 2023.
-
Duoidal Structures for Compositional Dependence
Authors:
Brandon T. Shapiro,
David I. Spivak
Abstract:
We provide a categorical framework for mathematical objects for which there is both a sort of "independent" and "dependent" composition. Namely we model them as duoidal categories in which both monoidal structures share a unit and the first is symmetric. We construct the free such category and observe that it is a full subcategory of the category of finite posets. Indeed each algebraic expression…
▽ More
We provide a categorical framework for mathematical objects for which there is both a sort of "independent" and "dependent" composition. Namely we model them as duoidal categories in which both monoidal structures share a unit and the first is symmetric. We construct the free such category and observe that it is a full subcategory of the category of finite posets. Indeed each algebraic expression in the two monoidal operators corresponds to the poset built by taking disjoint unions and joins of the singleton poset. We characterize these "expressible" posets as precisely those which contain no "zig-zags." We then move on to describe categories equipped with $n$-ary operations for each $n$-element finite poset; we refer to them as "dependence categories" since they allow for combinations of objects based on any network of dependencies between them.
These structures model various sorts of dependence including the space-like and time-like juxtaposition of weighted probability distributions in relativistic spacetime, which we model using polynomial endofunctors on the category of sets, as well as the runtimes for multiple computer programs run in parallel and series, which we model using the tropical semiring structure on nonnegative real numbers. With these examples in mind, we conclude by describing ways in which morphisms in a partial monoidal category can be "decorated" in a coherent manner by objects in a dependence category, such as labeling a network of parallel programs with their runtimes.
△ Less
Submitted 24 January, 2025; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Hyperbolic Knotoids
Authors:
Colin Adams,
Alexandra Bonat,
Maya Chande,
Joye Chen,
Maxwell Jiang,
Zachary Romrell,
Daniel Santiago,
Benjamin Shapiro,
Dora Woodruff
Abstract:
In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints. A variety of knot invariants have been extended to knotoids. Here we provide definitions of hyperbolicity for both spherical and planar knotoids. We prove that the product of hyperbolic spherical knotoids is hyperbolic and the volumes add.…
▽ More
In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints. A variety of knot invariants have been extended to knotoids. Here we provide definitions of hyperbolicity for both spherical and planar knotoids. We prove that the product of hyperbolic spherical knotoids is hyperbolic and the volumes add. We also determine the least volume of a rational spherical knotoid and provide various classes of hyperbolic knotoids. We also include tables of hyperbolic volumes for both spherical and planar knotoids.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
Generalizations of Knotoids and Spatial Graphs
Authors:
Colin Adams,
Alexandra Bonat,
Maya Chande,
Joye Chen,
Maxwell Jiang,
Zachary Romrell,
Daniel Santiago,
Benjamin Shapiro,
Dora Woodruff
Abstract:
In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints which here we call poles. We define generalized knotoids to allow arbitrarily many poles, intervals, and circles, each pole corresponding to any number of interval endpoints, including zero. This theory subsumes a variety of other related to…
▽ More
In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints which here we call poles. We define generalized knotoids to allow arbitrarily many poles, intervals, and circles, each pole corresponding to any number of interval endpoints, including zero. This theory subsumes a variety of other related topological objects and introduces some particularly interesting new cases. We explore various analogs of knotoid invariants, including height, index polynomials, bracket polynomials and hyperbolicity. We further generalize to knotoidal graphs, which are a natural extension of spatial graphs that allow both poles and vertices.
△ Less
Submitted 5 September, 2022;
originally announced September 2022.
-
Introducing isodynamic points for binary forms and their ratios
Authors:
Christian Hägg,
Boris Shapiro,
Michael Shapiro
Abstract:
The isodynamic points of a plane triangle are known to be the only pair of its centers invariant under the action of the Mobius group on the set of triangles. Generalizing this classical result, we introduce below the isodynamic map associating to a univariate polynomial of degree d at least 3 with at most double roots a polynomial of degree (at most) 2d-4 such that this map commutes with the acti…
▽ More
The isodynamic points of a plane triangle are known to be the only pair of its centers invariant under the action of the Mobius group on the set of triangles. Generalizing this classical result, we introduce below the isodynamic map associating to a univariate polynomial of degree d at least 3 with at most double roots a polynomial of degree (at most) 2d-4 such that this map commutes with the action of the Mobius group on the zero loci of the initial polynomial and its image. The roots of the image polynomial will be called the isodynamic points of the preimage polynomial. Our construction naturally extends from univariate polynomials to binary forms and further to their ratios.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Enrichment of Algebraic Higher Categories
Authors:
Brandon Shapiro
Abstract:
We provide a definition of enrichment that applies to a wide variety of categorical structures, generalizing Leinster's theory of enriched $T$-multicategories. As a sample of newly enrichable structures, we describe in detail the examples of enriched monoidal categories and enriched double categories, with a focus on monoidal double categories as broadly convenient bases of enrichment.
We provide a definition of enrichment that applies to a wide variety of categorical structures, generalizing Leinster's theory of enriched $T$-multicategories. As a sample of newly enrichable structures, we describe in detail the examples of enriched monoidal categories and enriched double categories, with a focus on monoidal double categories as broadly convenient bases of enrichment.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
Authors:
Brandon T. Shapiro,
David I. Spivak
Abstract:
Natural organized systems adapt to internal and external pressures and this happens at all levels of the abstraction hierarchy. Wanting to think clearly about this idea motivates our paper, and so the idea is elaborated extensively in the introduction, which should be broadly accessible to a philosophically-interested audience. In the remaining sections, we turn to more compressed category theory.…
▽ More
Natural organized systems adapt to internal and external pressures and this happens at all levels of the abstraction hierarchy. Wanting to think clearly about this idea motivates our paper, and so the idea is elaborated extensively in the introduction, which should be broadly accessible to a philosophically-interested audience. In the remaining sections, we turn to more compressed category theory. We define the monoidal double category Org of dynamic organizations, we provide definitions of Org-enriched, or dynamic, categorical structures -- e.g. dynamic categories, operads, and monoidal categories -- and we show how they instantiate the motivating philosophical ideas. We give two examples of dynamic categorical structures: prediction markets as a dynamic operad and deep learning as a dynamic monoidal category.
△ Less
Submitted 31 July, 2023; v1 submitted 8 May, 2022;
originally announced May 2022.
-
Deformed graphical zonotopal algebras
Authors:
Boris Shapiro,
Ilya Smirnov,
Arkady Vaintrob
Abstract:
We study certain filtered deformations of the external zonotopal algebra of a given graph parametrized by univariate polynomials. We establish some general properties of these algebras, compute their Hilbert series for a number of graphs using Macaulay2, and formulate several conjectures.
We study certain filtered deformations of the external zonotopal algebra of a given graph parametrized by univariate polynomials. We establish some general properties of these algebras, compute their Hilbert series for a number of graphs using Macaulay2, and formulate several conjectures.
△ Less
Submitted 22 August, 2022; v1 submitted 24 April, 2022;
originally announced April 2022.
-
Linear first order differential operators and their Hutchinson-invariant sets
Authors:
Per Alexandersson,
Nils Hemmingsson,
Dmitry Novikov,
Boris Shapiro,
Guillaume Tahar
Abstract:
In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using…
▽ More
In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using this interpretation of $T$, we introduce its continuously Hutchinson invariant subsets of the complex plane and investigate a variety of their properties. In particular, we prove that for any $T$ with non-constant coefficients, there exists a unique minimal under inclusion invariant set $\mathrm{M}^T_{CH}$ and find explixitly when it equals $\mathbb{C}$.
△ Less
Submitted 17 May, 2024; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Spaces of polynomials with constrained real divisors, II. (Co)homology & stabilization
Authors:
Gabriel Katz,
Boris Shapiro,
Volkmar Welker
Abstract:
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree which have no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces P^{cΘ}_d of real monic univariate polynomials of degree d whose real divisors avoid given sequences of root multiplicities. These forbidd…
▽ More
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree which have no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces P^{cΘ}_d of real monic univariate polynomials of degree d whose real divisors avoid given sequences of root multiplicities. These forbidden sequences are taken from an arbitrary poset Θof compositions that are closed under certain natural combinatorial operations. We reduce the computation of the homology H_*(P^{cΘ}_d) to the computation of the homology of a differential complex, defined purely combinatorially in terms of the given closed poset Θ. We also obtain the stabilization results about H^\ast(P^{c Θ}_d), as d goes to infinity.
These results are deduced from our description of the homology of spaces B^{c Θ}_d whose points are binary real homogeneous forms, considered up to projective equivalence, with similarly Θ-constrained real divisors. In particular, we exhibit differential complexes that calculate the homology of these spaces and obtain some stabilization results for H^*(B^{c Θ}_d), as d goes to infinity. In particular, we compute the homology of the discriminants of projectivized binary real forms for which there is at least one line on which the form vanishes with multiplicity >= 2 and of their complements in \cB_d \cong RP^d.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
Familial Monads as Higher Category Theories
Authors:
Brandon Shapiro
Abstract:
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any higher category structure which arises as algebras for a familially representable monad on a presheaf category, then use this to describe several examples relating…
▽ More
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any higher category structure which arises as algebras for a familially representable monad on a presheaf category, then use this to describe several examples relating to higher category theory and cubical sets. The proof of this characterization avoids tedious naturality arguments by passing through the theory of categorical polynomials; along the way, we give descriptions of pullbacks, composites, and exponentiations of split opfibrations in terms of their classifying functors which may be of independent interest.
△ Less
Submitted 31 May, 2025; v1 submitted 29 November, 2021;
originally announced November 2021.
-
Return of the plane evolute
Authors:
Ragni Piene,
Cordian Riener,
Boris Shapiro
Abstract:
Below we consider the evolutes of plane real-algebraic curves and discuss some of their complex and real-algebraic properties. In particular, for a given degree $d\ge 2$, we provide lower bounds for the following four numerical invariants: 1) the maximal number of times a real line can intersect the evolute of a real-algebraic curve of degree $d$; 2) the maximal number of real cusps which can occu…
▽ More
Below we consider the evolutes of plane real-algebraic curves and discuss some of their complex and real-algebraic properties. In particular, for a given degree $d\ge 2$, we provide lower bounds for the following four numerical invariants: 1) the maximal number of times a real line can intersect the evolute of a real-algebraic curve of degree $d$; 2) the maximal number of real cusps which can occur on the evolute of a real-algebraic curve of degree $d$; 3) the maximal number of (cru)nodes which can occur on the dual curve to the evolute of a real-algebraic curve of degree $d$; 4) the maximal number of (cru)nodes which can occur on the evolute of a real-algebraic curve of degree $d$.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Finiteness of rank for Grassmann convexity
Authors:
Nicolau C. Saldanha,
Boris Shapiro,
Michael Shapiro
Abstract:
The Grassmann convexity conjecture gives a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. The conjecture can be reformulated in terms of convex curves in the nilpotent lower triangular group. The formula has already been shown to be a correct lo…
▽ More
The Grassmann convexity conjecture gives a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. The conjecture can be reformulated in terms of convex curves in the nilpotent lower triangular group. The formula has already been shown to be a correct lower bound and to give a correct upper bound in several small dimensional cases. In this paper we obtain a general explicit upper bound.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Adjoints and Canonical Forms of Polypols
Authors:
Kathlén Kohn,
Ragni Piene,
Kristian Ranestad,
Felix Rydell,
Boris Shapiro,
Rainer Sinn,
Miruna-Stefana Sorea,
Simon Telen
Abstract:
Polypols are natural generalizations of polytopes, with boundaries given by nonlinear algebraic hypersurfaces. We describe polypols in the plane and in 3-space that admit a unique adjoint hypersurface and study them from an algebro-geometric perspective. We relate planar polypols to positive geometries introduced originally in particle physics, and identify the adjoint curve of a planar polypol wi…
▽ More
Polypols are natural generalizations of polytopes, with boundaries given by nonlinear algebraic hypersurfaces. We describe polypols in the plane and in 3-space that admit a unique adjoint hypersurface and study them from an algebro-geometric perspective. We relate planar polypols to positive geometries introduced originally in particle physics, and identify the adjoint curve of a planar polypol with the numerator of the canonical differential form associated with the positive geometry. We settle several cases of a conjecture by Wachspress claiming that the adjoint curve of a regular planar polypol does not intersect its interior. In particular, we provide a complete characterization of the real topology of the adjoint curve for arbitrary convex polygons. Finally, we determine all types of planar polypols such that the rational map sending a polypol to its adjoint is finite, and explore connections of our topic with algebraic statistics.
△ Less
Submitted 11 October, 2024; v1 submitted 26 August, 2021;
originally announced August 2021.
-
Additivity and Fiber Sequences for Combinatorial K-Theory
Authors:
Maru Sarazola,
Brandon T. Shapiro
Abstract:
The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to Quillen's, and satisfy analogues of the Dévissage and Localization theorems. In this work, we modify Campbell and Zakharevich's axioms to obtain a framework called ECGW…
▽ More
The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to Quillen's, and satisfy analogues of the Dévissage and Localization theorems. In this work, we modify Campbell and Zakharevich's axioms to obtain a framework called ECGW categories that allows for an $S_\bullet$-construction akin to Waldhausen's, and show how it produces a K-theory spectrum which satisfies an analogue of the Additivity Theorem. We also define a notion of ``relative ECGW categories'' which have weak equivalences determined by a subcategory of acyclic objects satisfying minimal conditions; these satisfy analogues of the Fibration and Localization Theorems that generalize previous versions in the literature. We illustrate these results with examples including exact categories, extensive categories, algebraic varieties, and polytopes up to scissors congruence.
△ Less
Submitted 25 April, 2025; v1 submitted 16 July, 2021;
originally announced July 2021.
-
Rodrigues' descendants of a polynomial and Boutroux curves
Authors:
Rikard Bøgvad,
Christian Hägg,
Boris Shapiro
Abstract:
Motivated by the classical Rodrigues' formula, we study the root asymptotic of the polynomial sequence $$R_{[αn],n,P}(z)=\frac{d^{[αn]}P^n(z)}{dz^{[αn]}}, n= 0,1,\dots$$ where ${P(z)}$ is a fixed univariate polynomial, $α$ is a fixed positive number smaller than deg $P$, and $[αn]$ stands for the integer part of $αn$.
Our description of this asymptotic is expressed in terms of an explicit harmon…
▽ More
Motivated by the classical Rodrigues' formula, we study the root asymptotic of the polynomial sequence $$R_{[αn],n,P}(z)=\frac{d^{[αn]}P^n(z)}{dz^{[αn]}}, n= 0,1,\dots$$ where ${P(z)}$ is a fixed univariate polynomial, $α$ is a fixed positive number smaller than deg $P$, and $[αn]$ stands for the integer part of $αn$.
Our description of this asymptotic is expressed in terms of an explicit harmonic function uniquely determined by the plane rational curve emerging from the application of the saddle point method to the integral representation of the latter polynomials using Cauchy's formula for higher derivatives. As a consequence of our method, we conclude that this curve is birationally equivalent to the zero locus of the bivariate algebraic equation satisfied by the Cauchy transform of the asymptotic root-counting measure for the latter polynomial sequence. We show that this harmonic function is also associated with an abelian differential having only purely imaginary periods and the latter plane curve belongs to the class of Boutroux curves initially introduced by Bertola.
As an additional relevant piece of information, we derive a linear ordinary differential equation satisfied by $\{R_{[αn],n,P}(z)\}$ as well as higher derivatives of powers of more general functions.
△ Less
Submitted 23 May, 2023; v1 submitted 12 July, 2021;
originally announced July 2021.
-
Weak cartesian properties of simplicial sets
Authors:
Carmen Constantin,
Tobias Fritz,
Paolo Perrone,
Brandon Shapiro
Abstract:
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of Gálvez, Kock, and Tonks, are characterized by the property of sending certain commuting squares in the simplex category $Δ$ to pullback squares of sets. We introduce weaker analogues of these properties called completeness c…
▽ More
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of Gálvez, Kock, and Tonks, are characterized by the property of sending certain commuting squares in the simplex category $Δ$ to pullback squares of sets. We introduce weaker analogues of these properties called completeness conditions, which require squares in $Δ$ to be sent to weak pullbacks of sets, defined similarly to pullback squares but without the uniqueness property of induced maps. We show that some of these completeness conditions provide a simplicial set with lifts against certain subsets of simplices first introduced in the theory of database design. We also provide reduced criteria for checking these properties using factorization results for pushouts squares in $Δ$, which we characterize completely, along with several other classes of squares in $Δ$. Examples of simplicial sets with completeness conditions include quasicategories, many of the compositories and gleaves of Flori and Fritz, and bar constructions for algebras of certain classes of monads. The latter is our motivating example.
△ Less
Submitted 24 October, 2023; v1 submitted 10 May, 2021;
originally announced May 2021.
-
On limit sets for geodesics of meromorphic connections
Authors:
Dmitry Novikov,
Boris Shapiro,
Guillaume Tahar
Abstract:
Meromorphic connections on Riemann surfaces originate and are closely related to the classical theory of linear ordinary differential equations with meromorphic coefficients. Limiting behaviour of geodesics of such connections has been studied by e.g. Abate, Bianchi and Tovena in relation with generalized Poincaré-Bendixson theorems. At present, it seems still to be unknown whether some of the the…
▽ More
Meromorphic connections on Riemann surfaces originate and are closely related to the classical theory of linear ordinary differential equations with meromorphic coefficients. Limiting behaviour of geodesics of such connections has been studied by e.g. Abate, Bianchi and Tovena in relation with generalized Poincaré-Bendixson theorems. At present, it seems still to be unknown whether some of the theoretically possible asymptotic behaviours of such geodesics really exist. In order to fill the gap, we use the branched affine structure induced by a Fuchsian meromorphic connection to present several examples with geodesics having infinitely many self-intersections and quite peculiar omega-limit sets.
△ Less
Submitted 22 January, 2022; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Partial Evaluations and the Compositional Structure of the Bar Construction
Authors:
Carmen Constantin,
Paolo Perrone,
Tobias Fritz,
Brandon T. Shapiro
Abstract:
The algebraic expression $3 + 2 + 6$ can be evaluated to $11$, but it can also be partially evaluated to $5 + 6$. In categorical algebra, such partial evaluations can be defined in terms of the $1$-skeleton of the bar construction for algebras of a monad. We show that this partial evaluation relation can be seen as the relation internal to the category of algebras generated by relating a formal ex…
▽ More
The algebraic expression $3 + 2 + 6$ can be evaluated to $11$, but it can also be partially evaluated to $5 + 6$. In categorical algebra, such partial evaluations can be defined in terms of the $1$-skeleton of the bar construction for algebras of a monad. We show that this partial evaluation relation can be seen as the relation internal to the category of algebras generated by relating a formal expression to its total evaluation. The relation is transitive for many monads which describe commonly encountered algebraic structures, and more generally for BC monads on $\mathsf{Set}$ (which are those monads for which the underlying functor and the multiplication are weakly cartesian). We find that this is not true for all monads: we describe a finitary monad on $\mathsf{Set}$ for which the partial evaluation relation on the terminal algebra is not transitive. With the perspective of higher algebraic rewriting in mind, we then investigate the compositional structure of the bar construction in all dimensions. We show that for algebras of BC monads, the bar construction has fillers for all directed acyclic configurations in $Δ^n$, but generally not all inner horns.
△ Less
Submitted 14 March, 2023; v1 submitted 15 September, 2020;
originally announced September 2020.
-
On algebras and matroids associated to undirected graphs
Authors:
Boris Shapiro,
Arkady Vaintrob
Abstract:
In this short note we make a few remarks on a class of generalized incidence matrices whose matroids do not depend on the orientation of the underlying graph and natural commutative algebras associated to such matrices.
In this short note we make a few remarks on a class of generalized incidence matrices whose matroids do not depend on the orientation of the underlying graph and natural commutative algebras associated to such matrices.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
On existence of quasi-Strebel structures for meromorphic k-differentials
Authors:
Boris Shapiro,
Guillaume Tahar
Abstract:
In this paper, motivated by the classical notion of a Strebel quadratic differential on a compact Riemann surfaces without boundary we introduce the notion of a quasi-Strebel structure for a meromorphic differential of an arbitrary order. It turns out that every differential of even order k exceeding 2 satisfying certain natural conditions at its singular points admits such a structure. The case o…
▽ More
In this paper, motivated by the classical notion of a Strebel quadratic differential on a compact Riemann surfaces without boundary we introduce the notion of a quasi-Strebel structure for a meromorphic differential of an arbitrary order. It turns out that every differential of even order k exceeding 2 satisfying certain natural conditions at its singular points admits such a structure. The case of differentials of odd order is quite different and our existence result involves some arithmetic conditions. We discuss the set of quasi-Stebel structures associated to a given differential and introduce the subclass of positive k-differentials. Finally, we provide a family of examples of positive rational differentials and explain their connection with the classical Heine-Stieltjes theory of linear differential equations with polynomial coefficients.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Generalizing Tran's Conjecture
Authors:
Rikard Bögvad,
Innocent Ndikubwayo,
Boris Shapiro
Abstract:
A conjecture of Khang Tran [6] claims that for an arbitrary pair of polynomials $A(z)$ and $B(z)$, every zero of every polynomial in the sequence $\{P_n(z)\}_{n=1}^\infty$ satisfying the three-term recurrence relation of length $k$ $$P_n(z)+B(z)P_{n-1}(z)+A(z)P_{n-k}(z)=0 $$ with the standard initial conditions $P_0(z)=1$, $P_{-1}(z)=\dots=P_{-k+1}(z)=0$ which is not a zero of $A(z)$ lies on the r…
▽ More
A conjecture of Khang Tran [6] claims that for an arbitrary pair of polynomials $A(z)$ and $B(z)$, every zero of every polynomial in the sequence $\{P_n(z)\}_{n=1}^\infty$ satisfying the three-term recurrence relation of length $k$ $$P_n(z)+B(z)P_{n-1}(z)+A(z)P_{n-k}(z)=0 $$ with the standard initial conditions $P_0(z)=1$, $P_{-1}(z)=\dots=P_{-k+1}(z)=0$ which is not a zero of $A(z)$ lies on the real (semi)-algebraic curve $\mathcal C \subset \mathbb {C}$ given by $$\Im \left(\frac{B^k(z)}{A(z)}\right)=0\quad {\rm and}\quad 0\le (-1)^k\Re \left(\frac{B^k(z)}{A(z)}\right)\le \frac{k^k}{(k-1)^{k-1}}.$$ In this short note, we show that for the recurrence relation (generalizing the latter recurrence of Tran) given by $$P_n(z)+B(z)P_{n-\ell}(z)+A(z)P_{n-k}(z)=0, $$
with coprime $k$ and $\ell$ and the same standard initial conditions as above, every root of $P_n(z)$ which is not a zero of $A(z)B(z)$ belongs to the real algebraic curve $\mathcal C_{\ell,k}$ given by $$\Im \left(\frac{B^k(z)}{A^\ell(z)}\right)=0.$$
△ Less
Submitted 16 March, 2020; v1 submitted 24 January, 2020;
originally announced January 2020.
-
Real polynomials with constrained real divisors. I. Fundamental groups
Authors:
Gabriel Katz,
Boris Shapiro,
Volkmar Welker
Abstract:
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree d and with no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces of real monic univariate polynomials of degree d whose real divisors avoid sequences of root multiplicities taken from a given poset of c…
▽ More
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree d and with no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces of real monic univariate polynomials of degree d whose real divisors avoid sequences of root multiplicities taken from a given poset of compositions which is closed under certain natural combinatorial operations. In this paper, we concentrate on the fundamental group of such spaces. We find explicit presentations for the fundamental groups in terms of generators and relations and show that in a number of cases they are free with rank bounded from above by a quadratic function in d. We also show that the fundamental group stabilizes for d large. We further show that the fundamental groups admit an interpretation as special bordisms of immersions of 1-manifolds into the cylinder S^1 \times R, whose images avoid the tangency patterns from the poset with respect to the generators of the cylinder.
△ Less
Submitted 23 August, 2023; v1 submitted 21 August, 2019;
originally announced August 2019.
-
Algebraic relations between moments of plane polygons
Authors:
Yurii Burman,
Ralf Fröberg,
Boris Shapiro
Abstract:
We describe the algebraic relations satisfied by the harmonic and anti-harmonic moments of simply connected, but not necessarily convex planar polygons with a given number of vertices.
We describe the algebraic relations satisfied by the harmonic and anti-harmonic moments of simply connected, but not necessarily convex planar polygons with a given number of vertices.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
On the number of intersection points of the contour of an amoeba with a line
Authors:
Lionel Lang,
Boris Shapiro,
Eugenii Shustin
Abstract:
In this note, we investigate the maximal number of intersection points of a line with the contour of hypersurface amoebas in $\mathbb{R}^n$. We define the latter number to be the $\mathbb{R}$-degree of the contour. We also investigate the $\mathbb{R}$-degree of related sets such as the boundary of amoebas and the amoeba of the real part of hypersurfaces defined over $\mathbb{R}$. For all these obj…
▽ More
In this note, we investigate the maximal number of intersection points of a line with the contour of hypersurface amoebas in $\mathbb{R}^n$. We define the latter number to be the $\mathbb{R}$-degree of the contour. We also investigate the $\mathbb{R}$-degree of related sets such as the boundary of amoebas and the amoeba of the real part of hypersurfaces defined over $\mathbb{R}$. For all these objects, we provide bounds for the respective $\mathbb{R}$-degrees.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
Grassmann convexity and multiplicative Sturm theory, revisited
Authors:
Nicolau Saldanha,
Boris Shapiro,
Michael Shapiro
Abstract:
In this paper we settle a special case of the Grassmann convexity conjecture formulated earlier by B.and M.Shapiro. We present a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. We show that this formula gives the lower bound for the required tota…
▽ More
In this paper we settle a special case of the Grassmann convexity conjecture formulated earlier by B.and M.Shapiro. We present a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. We show that this formula gives the lower bound for the required total number of real zeros for equations of an arbitrary order and, using our results on the Grassmann convexity, we prove that the aforementioned formula is correct for equations of orders $4$ and $5$.
△ Less
Submitted 3 September, 2020; v1 submitted 26 February, 2019;
originally announced February 2019.
-
New aspects of Descartes' rule of signs
Authors:
Vladimir Petrov Kostov,
Boris Zalmanovich Shapiro
Abstract:
Below we summarize some new developments in the area of distribution of roots and signs of real univariate polynomials pioneered by R.~Descartes in the middle of the 17-th century.
Below we summarize some new developments in the area of distribution of roots and signs of real univariate polynomials pioneered by R.~Descartes in the middle of the 17-th century.
△ Less
Submitted 21 January, 2019;
originally announced January 2019.
-
Moment Varieties of Measures on Polytopes
Authors:
Kathlén Kohn,
Boris Shapiro,
Bernd Sturmfels
Abstract:
The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of…
▽ More
The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of these moment varieties. Special cases include Hankel determinantal ideals for polytopal splines on line segments, and the relations among multisymmetric functions given by the cumulants of a simplex. In general, our moment varieties are more complicated than in these two special cases. They offer challenges for both numerical and symbolic computing in algebraic geometry.
△ Less
Submitted 7 July, 2020; v1 submitted 26 July, 2018;
originally announced July 2018.
-
In search of higher Bochner theorem
Authors:
Emil Horozov,
Boris Shapiro,
Milos Tater
Abstract:
We initiate the study of a natural generalisation of the classical Bochner-Krall problem asking which linear ordinary differential operators possess sequences of eigenpolynomials satisfying linear recurrence relations of finite length; the classical case corresponds to the 3-term recurrence relations with real coefficients subject to some extra restrictions. We formulate a general conjecture and p…
▽ More
We initiate the study of a natural generalisation of the classical Bochner-Krall problem asking which linear ordinary differential operators possess sequences of eigenpolynomials satisfying linear recurrence relations of finite length; the classical case corresponds to the 3-term recurrence relations with real coefficients subject to some extra restrictions. We formulate a general conjecture and prove it in the first non-trivial case of operators of order 3.
△ Less
Submitted 7 August, 2024; v1 submitted 4 July, 2018;
originally announced July 2018.
-
Electrostatic problems with a rational constraint and degenerate Lame equations
Authors:
Dimitar K. Dimitrov,
Boris Shapiro
Abstract:
In this note we extend the classical relation between the equilibrium configurations of unit movable point charges in a plane electrostatic field created by these charges together with some fixed point charges and the polynomial solutions of a corresponding Lamé differential equation. Namely, we find similar relation between the equilibrium configurations of unit movable charges subject to a certa…
▽ More
In this note we extend the classical relation between the equilibrium configurations of unit movable point charges in a plane electrostatic field created by these charges together with some fixed point charges and the polynomial solutions of a corresponding Lamé differential equation. Namely, we find similar relation between the equilibrium configurations of unit movable charges subject to a certain type of rational or polynomial constraint and polynomial solutions of a corresponding degenerate Lamé equation, see details below.
In particular, the standard linear differential equations satisfied by the classical Hermite and Laguerre polynomials belong to this class. Besides these two classical cases, we present a number of other examples including some relativistic orthogonal polynomials and linear differential equations satisfied by those.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
Algebraic stories from one and from the other pockets
Authors:
Ralf Fröberg,
Samuel Lundqvist,
Alessandro Oneto,
Boris Shapiro
Abstract:
We present a number of questions in commutative algebra posed on the problem solving seminar in algebra at Stockholm University during the period Fall 2014 - Spring 2017.
We present a number of questions in commutative algebra posed on the problem solving seminar in algebra at Stockholm University during the period Fall 2014 - Spring 2017.
△ Less
Submitted 5 January, 2018;
originally announced January 2018.
-
On generic and maximal k-ranks of binary forms
Authors:
Samuel Lundqvist,
Alessandro Oneto,
Bruce Reznick,
Boris Shapiro
Abstract:
In what follows, we pose two general conjectures about decompositions of homogeneous polynomials as sums of powers. The first one (suggested by G. Ottaviani) deals with the generic k-rank of complex-valued forms of any degree divisible by k in any number of variables. The second one (by the fourth author) deals with the maximal k-rank of binary forms. We settle the first conjecture in the cases of…
▽ More
In what follows, we pose two general conjectures about decompositions of homogeneous polynomials as sums of powers. The first one (suggested by G. Ottaviani) deals with the generic k-rank of complex-valued forms of any degree divisible by k in any number of variables. The second one (by the fourth author) deals with the maximal k-rank of binary forms. We settle the first conjecture in the cases of two variables and the second in the first non-trivial case of the 3-rd powers of quadratic binary forms.
△ Less
Submitted 14 November, 2017;
originally announced November 2017.
-
Construction of Identities for Sums of Squares
Authors:
Daniel B. Shapiro
Abstract:
From sum-of-squares formulas of sizes $[r, s, n]$ and $[r', s', n']$ we construct a formula of size $[r + r', 2ss', 2nn']$.
From sum-of-squares formulas of sizes $[r, s, n]$ and $[r', s', n']$ we construct a formula of size $[r + r', 2ss', 2nn']$.
△ Less
Submitted 18 September, 2017;
originally announced September 2017.
-
Something You Always Wanted to Know About Real Polynomials (But Were Afraid to Ask)
Authors:
Vladimir Petrov Kostov,
Boris Shapiro
Abstract:
The famous Descartes' rule of signs from 1637 giving an upper bound on the number of positive roots of a real univariate polynomials in terms of the number of sign changes of its coefficients, has been an indispensable source of inspiration for generations of mathematicians. Trying to extend and sharpen this rule, we consider below the set of all real univariate polynomials of a given degree, a gi…
▽ More
The famous Descartes' rule of signs from 1637 giving an upper bound on the number of positive roots of a real univariate polynomials in terms of the number of sign changes of its coefficients, has been an indispensable source of inspiration for generations of mathematicians. Trying to extend and sharpen this rule, we consider below the set of all real univariate polynomials of a given degree, a given collection of signs of their coefficients, and a given number of positive and negative roots. In spite of the elementary definition of the main object of our study, it is a non-trivial question for which sign patterns and numbers of positive and negative roots the corresponding set is non-empty. The main result of the present paper is a discovery of a new infinite family of non-realizable combinations of sign patterns and the numbers of positive and negative roots.
△ Less
Submitted 13 March, 2017;
originally announced March 2017.
-
Non-self-adjoint Toeplitz matrices whose principal submatrices have real spectrum
Authors:
Boris Shapiro,
František Štampach
Abstract:
We introduce and investigate a class of complex semi-infinite banded Toeplitz matrices satisfying the condition that the spectra of their principal submatrices accumulate onto a real interval when the size of the submatrix grows to $\infty$. We prove that a banded Toeplitz matrix belongs to this class if and only if its symbol has real values on a Jordan curve located in…
▽ More
We introduce and investigate a class of complex semi-infinite banded Toeplitz matrices satisfying the condition that the spectra of their principal submatrices accumulate onto a real interval when the size of the submatrix grows to $\infty$. We prove that a banded Toeplitz matrix belongs to this class if and only if its symbol has real values on a Jordan curve located in $\mathbb{C}\setminus\{0\}$. Surprisingly, it turns out that, if such a Jordan curve is present, the spectra of all the submatrices have to be real. The latter claim is also proven for matrices given by a more general symbol. Further, the limiting eigenvalue distribution of a real banded Toeplitz matrix is related to the solution of a determinate Hamburger moment problem. We use this to derive a formula for the limiting measure using a parametrization of the Jordan curve. We also describe a Jacobi operator, whose spectral measure coincides with the limiting measure. We show that this Jacobi operator is a compact perturbation of a tridiagonal Toeplitz matrix. Our main results are illustrated by several concrete examples; some of them allow an explicit analytic treatment, while some are only treated numerically.
Update: The proof of Theorem 8 contains an error. An erratum is attached in the end
△ Less
Submitted 29 December, 2022; v1 submitted 2 February, 2017;
originally announced February 2017.
-
Densities of Hyperbolic Cusp Invariants
Authors:
Colin Adams,
Rose Kaplan-Kelly,
Michael Moore,
Brandon Shapiro,
Shruthi Sridhar,
Joshua Wakefield
Abstract:
We find that cusp densities of hyperbolic knots in the 3-sphere are dense in [0,0.6826...] and those of links are dense in [0,0.853...]. We define a new invariant associated with cusp volume, the cusp crossing density, as the ratio between the cusp volume and the crossing number of a link, and show that cusp crossing density for links is bounded above by 3.1263.... Moreover, there is a sequence of…
▽ More
We find that cusp densities of hyperbolic knots in the 3-sphere are dense in [0,0.6826...] and those of links are dense in [0,0.853...]. We define a new invariant associated with cusp volume, the cusp crossing density, as the ratio between the cusp volume and the crossing number of a link, and show that cusp crossing density for links is bounded above by 3.1263.... Moreover, there is a sequence of links with cusp crossing density approaching 3. The least upper bound for cusp crossing density remains an open question. For two-component hyperbolic links, cusp crossing density is shown to be dense in the interval [0,1.6923...] and for all hyperbolic links, cusp crossing density is shown to be dense in [0, 2.120...].
△ Less
Submitted 12 January, 2017;
originally announced January 2017.
