Showing 1–50 of 337 results for author: Shapiro, B

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.

MSC Class: 18G50; 19D99; 18N10

Plasmonic Time Crystals

Authors: Joshua Feinberg, David E. Fernandes, Boris Shapiro, Mario G. Silveirinha

Abstract: We study plasmonic time crystals, which constitute an extension of the dielectric-based photonic time crystals to plasmonic media. A salient feature of plasmonic time crystals is their ability to support amplification of both longitudinal and transverse modes. In particular, we show that such systems support collective resonances of longitudinal modes, independently of the wave vector $k$. These r… ▽ More We study plasmonic time crystals, which constitute an extension of the dielectric-based photonic time crystals to plasmonic media. A salient feature of plasmonic time crystals is their ability to support amplification of both longitudinal and transverse modes. In particular, we show that such systems support collective resonances of longitudinal modes, independently of the wave vector $k$. These resonances originate from the interaction between the positive and negative frequency branches of the plasmonic dispersion relation of the unmodulated system, and from the divergence of the density of states near the plasma frequency $ω_p$. The strongest resonance occurs at a modulation frequency of $Ω= 2 ω_p$, associated with a direct inter-band transition. Higher-order resonances are associated with related mechanisms but at lower modulation frequencies. We demonstrate these resonances for various periodic modulation profiles, and also provide a generic perturbative formula for resonance widths in the limit of weak modulation amplitude, in the absence of losses. Our findings offer insights into using time-modulated plasmonic media to enhance optical gain. △ Less

Submitted 29 July, 2024; originally announced July 2024.

Comments: main text (7pp, 2 figures) + supplementary material (7pp + 4 figures)

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.

Comments: 43 pages

MSC Class: 05C31 Primary 13F55; Secondary 05C31

Longitudinal optical phonons in photonic time crystals containing a stationary charge

Authors: Sihao Zhang, Junhua Dong, Huanan Li, Jingjun Xu, Boris Shapiro

Abstract: Lorentzian-type media support optical phonons that oscillate with longitudinal polarization parallel to the wave direction, at a wave vector-independent frequency at which the permittivity becomes zero. Here, we study the interactions between the longitudinal optical phonons and Lorentzian medium-based dispersive photonic time crystals (PTCs). We demonstrate that a stationary charge embedded in th… ▽ More Lorentzian-type media support optical phonons that oscillate with longitudinal polarization parallel to the wave direction, at a wave vector-independent frequency at which the permittivity becomes zero. Here, we study the interactions between the longitudinal optical phonons and Lorentzian medium-based dispersive photonic time crystals (PTCs). We demonstrate that a stationary charge embedded in the PTCs can excite these longitudinal modes through the conversion of the static polarization field induced by the charge. Furthermore, the PTCs can develop a momentum bandgap across the entire wave vector space to amplify the longitudinal modes. Remarkably, this infinite momentum bandgap can be established with minimal temporal modulation of the refractive index when creating the PTCs. Our approach expands the range of waves that can be manipulated in PTCs and shows potential for observing momentum bandgap phenomenon in realistic optical experiments, where the modulation depth of the refractive index is severely constrained. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Journal ref: Phys. Rev. B 110, L100306 (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.

Comments: 59 pages, 12 figures

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.

Comments: 29 pages. The content of this paper has been split from arXiv:2305.02571, which will be updated shortly

MSC Class: 18C10; 18C15; 18C20; 18D15; 18D70; 18M05; 18N10; 18N99

The Canadian VirusSeq Data Portal & Duotang: open resources for SARS-CoV-2 viral sequences and genomic epidemiology

Authors: Erin E. Gill, Baofeng Jia, Carmen Lia Murall, Raphaël Poujol, Muhammad Zohaib Anwar, Nithu Sara John, Justin Richardsson, Ashley Hobb, Abayomi S. Olabode, Alexandru Lepsa, Ana T. Duggan, Andrea D. Tyler, Arnaud N'Guessan, Atul Kachru, Brandon Chan, Catherine Yoshida, Christina K. Yung, David Bujold, Dusan Andric, Edmund Su, Emma J. Griffiths, Gary Van Domselaar, Gordon W. Jolly, Heather K. E. Ward, Henrich Feher , et al. (45 additional authors not shown)

Abstract: The COVID-19 pandemic led to a large global effort to sequence SARS-CoV-2 genomes from patient samples to track viral evolution and inform public health response. Millions of SARS-CoV-2 genome sequences have been deposited in global public repositories. The Canadian COVID-19 Genomics Network (CanCOGeN - VirusSeq), a consortium tasked with coordinating expanded sequencing of SARS-CoV-2 genomes acro… ▽ More The COVID-19 pandemic led to a large global effort to sequence SARS-CoV-2 genomes from patient samples to track viral evolution and inform public health response. Millions of SARS-CoV-2 genome sequences have been deposited in global public repositories. The Canadian COVID-19 Genomics Network (CanCOGeN - VirusSeq), a consortium tasked with coordinating expanded sequencing of SARS-CoV-2 genomes across Canada early in the pandemic, created the Canadian VirusSeq Data Portal, with associated data pipelines and procedures, to support these efforts. The goal of VirusSeq was to allow open access to Canadian SARS-CoV-2 genomic sequences and enhanced, standardized contextual data that were unavailable in other repositories and that meet FAIR standards (Findable, Accessible, Interoperable and Reusable). The Portal data submission pipeline contains data quality checking procedures and appropriate acknowledgement of data generators that encourages collaboration. Here we also highlight Duotang, a web platform that presents genomic epidemiology and modeling analyses on circulating and emerging SARS-CoV-2 variants in Canada. Duotang presents dynamic changes in variant composition of SARS-CoV-2 in Canada and by province, estimates variant growth, and displays complementary interactive visualizations, with a text overview of the current situation. The VirusSeq Data Portal and Duotang resources, alongside additional analyses and resources computed from the Portal (COVID-MVP, CoVizu), are all open-source and freely available. Together, they provide an updated picture of SARS-CoV-2 evolution to spur scientific discussions, inform public discourse, and support communication with and within public health authorities. They also serve as a framework for other jurisdictions interested in open, collaborative sequence data sharing and analyses. △ Less

Submitted 7 May, 2024; originally announced May 2024.

ContextQ: Generated Questions to Support Meaningful Parent-Child Dialogue While Co-Reading

Authors: Griffin Dietz Smith, Siddhartha Prasad, Matt J. Davidson, Leah Findlater, R. Benjamin Shapiro

Abstract: Much of early literacy education happens at home with caretakers reading books to young children. Prior research demonstrates how having dialogue with children during co-reading can develop critical reading readiness skills, but most adult readers are unsure if and how to lead effective conversations. We present ContextQ, a tablet-based reading application to unobtrusively present auto-generated d… ▽ More Much of early literacy education happens at home with caretakers reading books to young children. Prior research demonstrates how having dialogue with children during co-reading can develop critical reading readiness skills, but most adult readers are unsure if and how to lead effective conversations. We present ContextQ, a tablet-based reading application to unobtrusively present auto-generated dialogic questions to caretakers to support this dialogic reading practice. An ablation study demonstrates how our method of encoding educator expertise into the question generation pipeline can produce high-quality output; and through a user study with 12 parent-child dyads (child age: 4-6), we demonstrate that this system can serve as a guide for parents in leading contextually meaningful dialogue, leading to significantly more conversational turns from both the parent and the child and deeper conversations with connections to the child's everyday life. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: ACM Interaction Design and Children (IDC) 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.

Comments: 29 pages, 8 figures

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.

MSC Class: Primary 34M60; Secondary 34E20; 34M40; 34M30; 34M35

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 the first examples of totally geo… ▽ 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 the first examples of totally geodesic spanning surfaces of virtual knots. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 39 pages, 26 figures

AVELA -- A Vision for Engineering Literacy & Access: Understanding Why Technology Alone Is Not Enough

Authors: Kyle Johnson, Vicente Arroyos, Celeste Garcia, Liban Hussein, Aisha Cora, Tsewone Melaku, Jay L. Cunningham, R. Benjamin Shapiro, Vikram Iyer

Abstract: Unequal technology access for Black and Latine communities has been a persistent economic, social justice, and human rights issue despite increased technology accessibility due to advancements in consumer electronics like phones, tablets, and computers. We contextualize socio-technical access inequalities for Black and Latine urban communities and find that many students are hesitant to engage wit… ▽ More Unequal technology access for Black and Latine communities has been a persistent economic, social justice, and human rights issue despite increased technology accessibility due to advancements in consumer electronics like phones, tablets, and computers. We contextualize socio-technical access inequalities for Black and Latine urban communities and find that many students are hesitant to engage with available technologies due to a lack of engaging support systems. We present a holistic student-led STEM engagement model through AVELA - A Vision for Engineering Literacy and Access leveraging culturally responsive lessons, mentor embodied community representation, and service learning. To evaluate the model's impact after 4 years of mentoring 200+ university student instructors in teaching to 2,500+ secondary school students in 100+ classrooms, we conducted 24 semi-structured interviews with college AnonymizedOrganization members. We identify access barriers and provide principled recommendations for designing future STEM education programs. △ Less

Submitted 29 January, 2024; v1 submitted 25 January, 2024; originally announced January 2024.

Comments: This is the author's version of the work. It is posted here for personal use, not for redistribution

Co-ML: Collaborative Machine Learning Model Building for Developing Dataset Design Practices

Authors: Tiffany Tseng, Matt J. Davidson, Luis Morales-Navarro, Jennifer King Chen, Victoria Delaney, Mark Leibowitz, Jazbo Beason, R. Benjamin Shapiro

Abstract: Machine learning (ML) models are fundamentally shaped by data, and building inclusive ML systems requires significant considerations around how to design representative datasets. Yet, few novice-oriented ML modeling tools are designed to foster hands-on learning of dataset design practices, including how to design for data diversity and inspect for data quality. To this end, we outline a set of… ▽ More Machine learning (ML) models are fundamentally shaped by data, and building inclusive ML systems requires significant considerations around how to design representative datasets. Yet, few novice-oriented ML modeling tools are designed to foster hands-on learning of dataset design practices, including how to design for data diversity and inspect for data quality. To this end, we outline a set of four data design practices (DDPs) for designing inclusive ML models and share how we designed a tablet-based application called Co-ML to foster learning of DDPs through a collaborative ML model building experience. With Co-ML, beginners can build image classifiers through a distributed experience where data is synchronized across multiple devices, enabling multiple users to iteratively refine ML datasets in discussion and coordination with their peers. We deployed Co-ML in a 2-week-long educational AIML Summer Camp, where youth ages 13-18 worked in groups to build custom ML-powered mobile applications. Our analysis reveals how multi-user model building with Co-ML, in the context of student-driven projects created during the summer camp, supported development of DDPs including incorporating data diversity, evaluating model performance, and inspecting for data quality. Additionally, we found that students' attempts to improve model performance often prioritized learnability over class balance. Through this work, we highlight how the combination of collaboration, model testing interfaces, and student-driven projects can empower learners to actively engage in exploring the role of data in ML systems. △ Less

Submitted 8 January, 2024; v1 submitted 15 November, 2023; originally announced November 2023.

Optical Kinetic Theory of Nonlinear Multi-mode Photonic Networks

Authors: Arkady Kurnosov, Lucas J. Fernández-Alcázar, Alba Y. Ramos, Boris Shapiro, Tsampikos Kottos

Abstract: Recent experimental developments in multimode nonlinear photonic circuits (MMNPC), have motivated the development of an optical thermodynamic theory that describes the equilibrium properties of an initial beam excitation. However, a non-equilibrium transport theory for these systems, when they are in contact with thermal reservoirs, is still {\it terra incognita}. Here, by combining Landauer and k… ▽ More Recent experimental developments in multimode nonlinear photonic circuits (MMNPC), have motivated the development of an optical thermodynamic theory that describes the equilibrium properties of an initial beam excitation. However, a non-equilibrium transport theory for these systems, when they are in contact with thermal reservoirs, is still {\it terra incognita}. Here, by combining Landauer and kinematics formalisms we develop a one-parameter scaling theory that describes the transport in one-dimensional MMNPCs from a ballistic to a diffusive regime. We also derive a photonic version of the Wiedemann -Franz law that connects the thermal and power conductivities. Our work paves the way toward a fundamental understanding of the transport properties of MMNPC and may be useful for the design of all-optical cooling protocols. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 6 pages, 3 figures && Supplementary Material (6 pages, no figures)

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.

Comments: 31 pages. Proofs in appendix moved into the main body, and chapter on nerves of higher categories removed to a separate submission at arXiv:2405.13157

MSC Class: 18A05; 18A35; 18B10; 18B15; 18B20; 18D15; 18M05; 18M35; 68Q70

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.

Comments: 50 pages. Additional references added, and minor expository improvements

MSC Class: 18C40; 18D15; 18D40; 18M50

Collaborative Machine Learning Model Building with Families Using Co-ML

Authors: Tiffany Tseng, Jennifer King Chen, Mona Abdelrahman, Mary Beth Kery, Fred Hohman, Adriana Hilliard, R. Benjamin Shapiro

Abstract: Existing novice-friendly machine learning (ML) modeling tools center around a solo user experience, where a single user collects only their own data to build a model. However, solo modeling experiences limit valuable opportunities for encountering alternative ideas and approaches that can arise when learners work together; consequently, it often precludes encountering critical issues in ML around… ▽ More Existing novice-friendly machine learning (ML) modeling tools center around a solo user experience, where a single user collects only their own data to build a model. However, solo modeling experiences limit valuable opportunities for encountering alternative ideas and approaches that can arise when learners work together; consequently, it often precludes encountering critical issues in ML around data representation and diversity that can surface when different perspectives are manifested in a group-constructed data set. To address this issue, we created Co-ML -- a tablet-based app for learners to collaboratively build ML image classifiers through an end-to-end, iterative model-building process. In this paper, we illustrate the feasibility and potential richness of collaborative modeling by presenting an in-depth case study of a family (two children 11 and 14-years-old working with their parents) using Co-ML in a facilitated introductory ML activity at home. We share the Co-ML system design and contribute a discussion of how using Co-ML in a collaborative activity enabled beginners to collectively engage with dataset design considerations underrepresented in prior work such as data diversity, class imbalance, and data quality. We discuss how a distributed collaborative process, in which individuals can take on different model-building responsibilities, provides a rich context for children and adults to learn ML dataset design. △ Less

Submitted 14 June, 2023; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: Proceedings of the 2023 IDC Conference

Two step I to II type transitions in layered Weyl semi-metals and their impact on superconductivity

Authors: Baruch Rosenstein, B. Ya. Shapiro

Abstract: Novel "quasi two dimensional" typically layered (semi) metals offer a unique opportunity to control the density and even the topology of the electronic matter. Along with doping and gate voltage, a robust tuning is achieved by application of the hydrostatic pressure. In Weyl semi - metals the tilt of the dispersion relation cones, k , increases with pressure, so that one is able to reach type II k… ▽ More Novel "quasi two dimensional" typically layered (semi) metals offer a unique opportunity to control the density and even the topology of the electronic matter. Along with doping and gate voltage, a robust tuning is achieved by application of the hydrostatic pressure. In Weyl semi - metals the tilt of the dispersion relation cones, k , increases with pressure, so that one is able to reach type II k > 1 starting from the more conventional type I Weyl semi - metals k < 1. The microscopic theory of such a transition is constructed. It is found that upon increasing pressure the I to II transition occurs in two continuous steps. In the first step the cones of opposite chirality coalesce so that the chiral symmetry is restored, while the second transition to the Fermi surface extending throughout the Brillouin zone occurs at higher pressures. Flattening of the band leads to profound changes in Coulomb screening. Superconductivity observed recently in wide range of pressure and chemical composition in Weyl semi-metals of both types. The phonon theory of pairing including the Coulomb repulsion for a layered material is constructed and applied to recent extensive experiments on HfTe5. △ Less

Submitted 25 March, 2023; originally announced March 2023.

Comments: arXiv admin note: text overlap with arXiv:2301.08631

Successful Kinetic Impact into an Asteroid for Planetary Defense

Authors: R. Terik Daly, Carolyn M. Ernst, Olivier S. Barnouin, Nancy L. Chabot, Andrew S. Rivkin, Andrew F. Cheng, Elena Y. Adams, Harrison F. Agrusa, Elisabeth D. Abel, Amy L. Alford, Erik I. Asphaug, Justin A. Atchison, Andrew R. Badger, Paul Baki, Ronald-L. Ballouz, Dmitriy L. Bekker, Julie Bellerose, Shyam Bhaskaran, Bonnie J. Buratti, Saverio Cambioni, Michelle H. Chen, Steven R. Chesley, George Chiu, Gareth S. Collins, Matthew W. Cox , et al. (76 additional authors not shown)

Abstract: While no known asteroid poses a threat to Earth for at least the next century, the catalog of near-Earth asteroids is incomplete for objects whose impacts would produce regional devastation. Several approaches have been proposed to potentially prevent an asteroid impact with Earth by deflecting or disrupting an asteroid. A test of kinetic impact technology was identified as the highest priority sp… ▽ More While no known asteroid poses a threat to Earth for at least the next century, the catalog of near-Earth asteroids is incomplete for objects whose impacts would produce regional devastation. Several approaches have been proposed to potentially prevent an asteroid impact with Earth by deflecting or disrupting an asteroid. A test of kinetic impact technology was identified as the highest priority space mission related to asteroid mitigation. NASA's Double Asteroid Redirection Test (DART) mission is the first full-scale test of kinetic impact technology. The mission's target asteroid was Dimorphos, the secondary member of the S-type binary near-Earth asteroid (65803) Didymos. This binary asteroid system was chosen to enable ground-based telescopes to quantify the asteroid deflection caused by DART's impact. While past missions have utilized impactors to investigate the properties of small bodies those earlier missions were not intended to deflect their targets and did not achieve measurable deflections. Here we report the DART spacecraft's autonomous kinetic impact into Dimorphos and reconstruct the impact event, including the timeline leading to impact, the location and nature of the DART impact site, and the size and shape of Dimorphos. The successful impact of the DART spacecraft with Dimorphos and the resulting change in Dimorphos's orbit demonstrates that kinetic impactor technology is a viable technique to potentially defend Earth if necessary. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: Accepted by Nature

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.

Superconductivity in type II layered Weyl semi-metals

Authors: Baruh Rosenstein, B. Ya. Shapiro

Abstract: Novel quasi two dimensional typically layered semimetals offer a unique opportunity to control the density and even the topology of the electronic matter. In intercalated MoTe2 type II Weyl semimetal the tilt of the dispersion relation cones is so large that topologically of the Fermi surface is distinct from a more conventional type I. Superconductivity observed recently in this compound [Zhang e… ▽ More Novel quasi two dimensional typically layered semimetals offer a unique opportunity to control the density and even the topology of the electronic matter. In intercalated MoTe2 type II Weyl semimetal the tilt of the dispersion relation cones is so large that topologically of the Fermi surface is distinct from a more conventional type I. Superconductivity observed recently in this compound [Zhang et al, 2D Materials 9, 045027 (2022)] demonstrated two puzzling phenomena: the gate voltage has no impact on critical temperature, Tc, in wide range of density, while it is very sensitive to the interlayer distance. The phonon theory of pairing in a layered Weyl material including the effects of Coulomb repulsion is constructed and explains the above two features in MoTe2.The first feature turns out to be a general one for any type II topological material, while the second reflects properties of the intercalated materials affecting the Coulomb screening. △ Less

Submitted 20 January, 2023; originally announced January 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.

Comments: Final version published in Compositionality

Journal ref: Compositionality, Volume 6 (2024) (May 13, 2024) compositionality:13637

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 4 October, 2022; originally announced October 2022.

Comments: 36 pages

MSC Class: 18M50 (Primary) 18M35 (Secondary)

Stationary Charge Radiation in Anisotropic Photonic Time Crystals

Authors: Huanan Li, Shixiong Yin, Huan He, Jingjun Xu, Andrea Alù, Boris Shapiro

Abstract: Time metamaterials exhibit a great potential for wave manipulation, drawing increasing attention in recent years. Here, we explore the exotic wave dynamics in an anisotropic photonic time crystal (APTC), formed by an anisotropic medium whose optical properties are uniformly and periodically changed in time. Based on a temporal transfer matrix formalism, we show that a stationary charge embedded in… ▽ More Time metamaterials exhibit a great potential for wave manipulation, drawing increasing attention in recent years. Here, we explore the exotic wave dynamics in an anisotropic photonic time crystal (APTC), formed by an anisotropic medium whose optical properties are uniformly and periodically changed in time. Based on a temporal transfer matrix formalism, we show that a stationary charge embedded in an APTC can emit radiation, in contrast to the case of an isotropic photonic time crystal, and its distribution in momentum space is controlled by the APTC band structure. Our approach extends the functionalities of time metamaterials, offering new opportunities for simultaneous radiation generation and control, with implications for both classical and quantum applications. △ Less

Submitted 1 February, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: The updated version with the supplement

Journal ref: Phys. Rev. Lett. 130, 093803 (2023)

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.

Comments: 36 pages, 30 figures

MSC Class: 57K12; 57K32

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.

Comments: 43 pages, 22 figures

MSC Class: 57K12; 57K32

ARtonomous: Introducing Middle School Students to Reinforcement Learning Through Virtual Robotics

Authors: Griffin Dietz, Jennifer King Chen, Jazbo Beason, Matthew Tarrow, Adriana Hilliard, R. Benjamin Shapiro

Abstract: Typical educational robotics approaches rely on imperative programming for robot navigation. However, with the increasing presence of AI in everyday life, these approaches miss an opportunity to introduce machine learning (ML) techniques grounded in an authentic and engaging learning context. Furthermore, the needs for costly specialized equipment and ample physical space are barriers that limit a… ▽ More Typical educational robotics approaches rely on imperative programming for robot navigation. However, with the increasing presence of AI in everyday life, these approaches miss an opportunity to introduce machine learning (ML) techniques grounded in an authentic and engaging learning context. Furthermore, the needs for costly specialized equipment and ample physical space are barriers that limit access to robotics experiences for all learners. We propose ARtonomous, a relatively low-cost, virtual alternative to physical, programming-only robotics kits. With ARtonomous, students employ reinforcement learning (RL) alongside code to train and customize virtual autonomous robotic vehicles. Through a study evaluating ARtonomous, we found that middle-school students developed an understanding of RL, reported high levels of engagement, and demonstrated curiosity for learning more about ML. This research demonstrates the feasibility of an approach like ARtonomous for 1) eliminating barriers to robotics education and 2) promoting student learning and interest in RL and ML. △ Less

Submitted 18 July, 2022; originally announced July 2022.

Comments: In Proceedings of Interaction Design and Children (IDC '22)

ACM Class: K.3.2

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.

Comments: 17 pages, 3 figures

MSC Class: 30C10

Fluctuational electrodynamics in and out of equilibrium

Authors: Iver Brevik, Boris Shapiro, Mário Silveirinha

Abstract: Dispersion forces between neutral material bodies are due to fluctuations of the polarization of the bodies. For bodies in equilibrium these forces are often referred to as Casimir-Lifshitz forces. For bodies in relative motion, in addition to the Casimir-Lifshitz force, a lateral frictional force ("quantum friction", in the zero temperature limit) comes into play. The widely accepted theory of th… ▽ More Dispersion forces between neutral material bodies are due to fluctuations of the polarization of the bodies. For bodies in equilibrium these forces are often referred to as Casimir-Lifshitz forces. For bodies in relative motion, in addition to the Casimir-Lifshitz force, a lateral frictional force ("quantum friction", in the zero temperature limit) comes into play. The widely accepted theory of the fluctuation induced forces is based on the "fluctuational electrodynamics" , when the Maxwell equations are supplemented by random current sources responsible for the fluctuations of the medium polarization. The first part of our paper touches on some conceptual issues of the theory, such as the dissipation-less limit and the link between Rytov's approach and quantum electrodynamics. We point out the problems with the dissipation-less plasma model (with its unphysical double pole at zero frequency) which still appears in the literature. The second part of the paper is devoted to "quantum friction", in a broad sense, and it contains some novel material. In particular, it is pointed out that in weakly dissipative systems the friction force may not be a stationary process. It is shown, using an "exact" (nonpertubative) quantum treatment that under appropriate conditions, an instability can occur when the kinetic energy (due to the relative motion between the bodies) is transformed into coherent radiation, exponentially growing in intensity (the instability gets eventually limited by non-linear effects). We also discuss a setup when the two bodies are at rest but a constant electric current is flowing in one of the bodies. One may say that only the electron component of one body is dragged with respect to the other body, unlike the usual setup when the two bodies are in relative motion. Clearly there are differences in the frictional forces between the two setups. △ Less

Submitted 12 June, 2022; originally announced June 2022.

Comments: 19 pages, latex

Journal ref: Int. J. Mod. Phys. A 37, 2241012 (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.

Comments: 24 pages

MSC Class: 18D20 (Primary) 18N10; 18M65; 18M50 (Secondary)

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.

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal ref: EPTCS 380, 2023, pp. 183-202

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.

Comments: 23 pages, 12 pictures. The new version fixes some minor mistakes including a new formulation of Conjecture 5.1 proven in a recent preprint arXiv: 2207.10605. The title is changed to better reflect the content of the paper

MSC Class: 13A70; 05C25; 14D99

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.

Comments: 46 pages

MSC Class: 37F10; 37E35; 34C05

Journal ref: Journal of Differential Equations 391, (2024) 265-320

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.

MSC Class: 58C27; 05E45

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 various examples relatin… ▽ 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 various 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. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: 38 pages

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.

MSC Class: 14H50; 51A50; 51M05

Origin of the maximal critical temperature disparities in one-layer cuprate superconductors

Authors: B. Rosenstein, B. Ya. Shapiro

Abstract: Recently a phonon exchange d - wave pairing mechanism in cuprates was proposed. The phonons are the lateral apical oxygen atoms vibrations. They generate the attractive pairing potential peaked at X point of the Brillouin zone, V (k) = exp [-2kda], where da is distance from the CuO planes. The model explains a rather paradoxical well known negative correlation of the optimal doping critical temper… ▽ More Recently a phonon exchange d - wave pairing mechanism in cuprates was proposed. The phonons are the lateral apical oxygen atoms vibrations. They generate the attractive pairing potential peaked at X point of the Brillouin zone, V (k) = exp [-2kda], where da is distance from the CuO planes. The model explains a rather paradoxical well known negative correlation of the optimal doping critical temperature Tcmax with da and increase of Tcmax with pressure. However the large disparities in Tcmax, especially in one - layer cuprate superconductors, from 39K for La2-xSrxCuO4, to 95K for HgBa2CuO4+x, cannot be attributed by differencies in da. Other important material parameters include the hopping amplitudes t; t0 and the on site Coulomb repulsion U. It is shown (within weak coupling)that Tcmax is highest for materials close to the topological (Lifshitz) transition from an open to a close Fermi surface. The transition occurss for t0 = -0.19t and rather small values of effective value of U = 2t at optimal doping. Analytic expressions for Tcmax are derived both near criticality and away from it. △ Less

Submitted 15 October, 2021; originally announced October 2021.

Comments: arXiv admin note: text overlap with arXiv:2003.03521

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.

Comments: 7 pages, no figures

MSC Class: Primary 34C10; 05B30; Secondary 57N80

A critical discussion of different methods and models in Casimir effect

Authors: Iver Brevik, Boris Shapiro

Abstract: The Casimir-Lifhitz force acts between neutral material bodies and is due to the fluctuations (around zero) of the electrical polarizations of the bodies. This force is a macroscopic manifestation of the van der Waals forces between atoms and molecules. In addition to being of fundamental interest, the Casimir-Lifshitz force plays an important role in surface physics, nanotechnology and biophysics… ▽ More The Casimir-Lifhitz force acts between neutral material bodies and is due to the fluctuations (around zero) of the electrical polarizations of the bodies. This force is a macroscopic manifestation of the van der Waals forces between atoms and molecules. In addition to being of fundamental interest, the Casimir-Lifshitz force plays an important role in surface physics, nanotechnology and biophysics. There are two different approaches in the theory of this force. One is centered on the fluctuations inside the bodies, as the source of the fluctuational electromagnetic fields and forces. The second approach is based on finding the eigenmodes of the field, while the material bodies are assumed to be passive and non-fluctuating. In spite of the fact that both approaches have a long history, there are still some misconceptions in the literature. In particular, there are claims that (hypothetical) materials with a strictly real dielectric function $\varepsilon(ω)$ can give rise to fluctuational Casimir-Lifshitz forces. We review and compare the two approaches, using the simple example of the force in the absence of retardation. We point out that also in the second (the "field-oriented") approach one cannot avoid introducing an infinitesimal imaginary part into the dielectric function, i.e. introducing some dissipation. Furthermore, we emphasize that the requirement of analyticity of $ \varepsilon(ω)$ in the upper half of the complex $ω$ plane is not the only one for a viable dielectric function. There are other requirements as well. In particular, models that use a strictly real $\varepsilon(ω)$ (for all real positive $ω)$ are inadmissible and lead to various contradictions and inconsistencies. Specifically, we present a critical discussion of the "dissipation-less plasma model". △ Less

Submitted 27 January, 2022; v1 submitted 30 September, 2021; originally announced September 2021.

Comments: 21 pages, 3 figures. Discussion extended, new references

Journal ref: Journal of Physics Communications 6, 015005 (2022)

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.

MSC Class: 14H10; 14N30; 14P25 (Primary) 14H05; 14H50; 14P10; 14H81; 51M20 (Secondary)

Aslamazov Larkin Conductivity in Weyl Semimetals

Authors: B. Ya. Shapiro

Abstract: The Aslamazov-Larkin conductivity (ALC) in the Weyl semi-metals is calculated both for Type-I and Type II for different dimensionality and magnetic fields. The ALC strongly depends on the tilt parameter of the dispersion relation cone. While the 3D and 2D the Aslamazov -Larkin conductivity slightly depends on tilt parameter in Type-I phase and increases in the Type-II phase the 1D ALC decreases in… ▽ More The Aslamazov-Larkin conductivity (ALC) in the Weyl semi-metals is calculated both for Type-I and Type II for different dimensionality and magnetic fields. The ALC strongly depends on the tilt parameter of the dispersion relation cone. While the 3D and 2D the Aslamazov -Larkin conductivity slightly depends on tilt parameter in Type-I phase and increases in the Type-II phase the 1D ALC decreases in Type-I phase up to zero close to border between Type-I and Type-II phases. Results are discussed in light of the resent experiments on the layered HfTe5 Weyl semi-metals. It is concluded the one dimensional AL conductivity well explained the experimental data. △ Less

Submitted 16 August, 2021; originally announced August 2021.

Controlling Optical Beam Thermalization via Band-Gap Engineering

Authors: Cheng Shi, Tsampikos Kottos, Boris Shapiro

Abstract: We establish dispersion engineering rules that allow us to control the thermalization process and the thermal state of an initial beam propagating in a multimode nonlinear photonic circuit. To this end, we have implemented a kinetic equation (KE) approach in systems whose Bloch dispersion relation exhibits bands and gaps. When the ratio between the gap-width to the band-width is larger than a crit… ▽ More We establish dispersion engineering rules that allow us to control the thermalization process and the thermal state of an initial beam propagating in a multimode nonlinear photonic circuit. To this end, we have implemented a kinetic equation (KE) approach in systems whose Bloch dispersion relation exhibits bands and gaps. When the ratio between the gap-width to the band-width is larger than a critical value, the KE has stationary solutions which differ from the standard Rayleigh-Jeans (RJ) distribution. The theory also predicts the relaxation times above which such non-conventional thermal states occur. We have tested the validity of our results for the prototype SSH model whose connectivity between the composite elements allows to control the band-gap structure. These spectral engineering rules can be extended to more complex photonic networks that lack periodicity but their spectra consist of groups of modes that are separated by spectral gaps. △ Less

Submitted 11 August, 2021; originally announced August 2021.

Comments: 11 pages, 4 figures, 3 pages of supplementary material

Journal ref: Phys. Rev. Research 3, 033219 (2021)

A Gillet-Waldhausen Theorem for chain complexes of sets

Authors: Maru Sarazola, Brandon 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. We further develop that program by defining chain complexes and quasi-isomorphisms for any category with suitably nice coproducts. In particular, chain complexes of finite sets satisfy an analogue of the Gillet--Waldhausen Theore… ▽ 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. We further develop that program by defining chain complexes and quasi-isomorphisms for any category with suitably nice coproducts. In particular, chain complexes of finite sets satisfy an analogue of the Gillet--Waldhausen Theorem: their $K$-theory agrees with the classical $K$-theory of finite sets. Along the way, we define new double categorical structures that modify those of Campbell and Zakharevich to include the data of weak equivalences. These ECGW categories produce $K$-theory spectra which satisfy analogues of the Additivity and Fibration Theorems. The weak equivalences are determined by a subcategory of acyclic objects satisfying minimal conditions, resulting in a Localization Theorem that generalizes previous versions in the literature. △ Less

Submitted 30 November, 2021; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: 50 pages + 14 page technical appendix. v2: Extended main result from finite sets to any extensive category, changed the names of the structured double categories used to model $K$-theories, and made several expositional improvements

MSC Class: 19D99 (Primary) 18N10; 18F25; 18E10; 19E08

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.

Comments: 54 pages, revised final version, to appear in Constructive Approximation

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.

Comments: 48 pages. This work arose out of the 2019 Applied Category Theory Adjoint School. v2: Minor edits and corrections based on reviewer and editorial feedback. Formerly part of arXiv:2009.07302v2

Journal ref: Journal of Homotopy and Related Structures 18, 477-520 (2023)

Universal statistics of waves in a random time-varying medium

Authors: R. Carminati, H. Chen, R. Pierrat, B. Shapiro

Abstract: We study the propagation of waves in a medium in which the wave velocity fluctuates randomly in time. We prove that at long times, the statistical distribution of the wave energy is log-normal, with the average energy growing exponentially. For weak disorder, another regime preexists at shorter times, in which the energy follows a negative exponential distribution, with an average value growing li… ▽ More We study the propagation of waves in a medium in which the wave velocity fluctuates randomly in time. We prove that at long times, the statistical distribution of the wave energy is log-normal, with the average energy growing exponentially. For weak disorder, another regime preexists at shorter times, in which the energy follows a negative exponential distribution, with an average value growing linearly with time. The theory is in perfect agreement with numerical simulations, and applies to different kinds of waves. The existence of such universal statistics bridges the fields of wave propagation in time-disordered and space-disordered media. △ Less

Submitted 21 August, 2021; v1 submitted 31 March, 2021; originally announced April 2021.

Journal ref: Phys. Rev. Lett. 127, 094101 (2021)

The phonon mechanism explanation of the superconductivity dichotomy between FeSe and FeS monolayers on STO and other substrates

Authors: Baruch Rosenstein, B. Ya. Shapiro

Abstract: It was observed recently (K. Shigekawa et al, PNAS 116, 2470 (2019)) that while monolayer iron chalcigenide FeSe on SrTiO3 (STO) substrate has a very high critical temperature, its chemical and structural "twin" material FeS=STO has a very low Tc if any. To explain this the substrate interfacial phonon model of superconductivity in iron chalcogenides is further developed. The main glue is the oxyg… ▽ More It was observed recently (K. Shigekawa et al, PNAS 116, 2470 (2019)) that while monolayer iron chalcigenide FeSe on SrTiO3 (STO) substrate has a very high critical temperature, its chemical and structural "twin" material FeS=STO has a very low Tc if any. To explain this the substrate interfacial phonon model of superconductivity in iron chalcogenides is further developed. The main glue is the oxygen ion (60mev) vibrations longitudinal optical (LO) mode. The mode propagates mainly in the TiO2 layer adjacent to the monolayer (and genrally present also in similar highly polarized ionic crystals like BaTiO3; rutile, anatase). It has stronger electron - phonon coupling to electron gas in FeSe than a well known (100mev) harder LO mode. It is shown that while (taking into account screened Coulomb repulsion efects) the critical temperature of FeSe on STO and TiO2 is above 65K, it becomes less than 5K for FeS due to two factors suppressing the electron - phonon coupling. The efective mass in the later is twice smaller and in addition the distance between the electron gas in FeSe to the vibrating substrate oxygen atoms is 15% smaller than in FeS reducinng the central peak in electron-phonon interaction. The theory is extended to other ionic insulating substrates. △ Less

Submitted 7 February, 2021; originally announced February 2021.

Journal ref: Phys. Rev. B 103, 224517 (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.

Comments: 15 pages, 4 figures

MSC Class: [2010] Primary 37F75; Secondary 32S65

Journal ref: Journal of Dynamical and Control Systems, 2022

Negative Magneto-Resistance in a Long Superconducting Wires: Theory and Experiments

Authors: Boris Ya. Shapiro

Abstract: The effect of negative magnetoresistance for thin superconducting wire was considered in a simple model. These phenomena originated from competition of two mechanism: fluctuations of the order parameter and quasiparticles charge imbalance which accompanies each phase slip event. First process results in conventional positive magnetoresistance while the second mechanism gives the negative contribut… ▽ More The effect of negative magnetoresistance for thin superconducting wire was considered in a simple model. These phenomena originated from competition of two mechanism: fluctuations of the order parameter and quasiparticles charge imbalance which accompanies each phase slip event. First process results in conventional positive magnetoresistance while the second mechanism gives the negative contributions. Simple analytical formula is obtained for the negative magnetic resistance caused by both the thermodynamics (TAPS) and quantum fluctuations. Theoretical results are compared with experimental data and demonstrate good agreement between theory and experiment. △ Less

Submitted 27 January, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: Model is problematic