Searcharxiv⌕ Search

arXiv subjects

Boris Shapiro

Publications and source records attributed to Boris Shapiro.

At least 37 records · Page 2Linked to original sources

Projections of convex polytopes to a line and higher univariate Prony systems

Motivated by the inverse moment problem for convex polytopes, we study the pushforward to a line of the Lebesgue measure restricted to a convex $d$-polytope. Such pushforwards are spline densities of degree $d-1$, and their moments lead naturally to a family of ``higher'' univariate Prony systems, with the classical Prony system recovered when $d=0$. We describe the corresponding fixed-knot spline cone, give an explicit amplitude recovery criterion, record the rational generating function and recurrence satisfied by the normalized moments, and identify the directional moment variety with the Hankel determinantal variety appearing in the theory of moment varieties of measures on polytopes.

math.CA↗

Plane rectifiable curves: old and new

In this note we recall the classical notion of an algebraically rectifiable plane curve going back to J. A. Serret, E. Laguerre and G. Humbert. We provide new criteria of algebraic rectifiability, relate this notion to quadratic differentials, and generalize it to differentials of higher order.

math.AG↗

Structured perturbations of tridiagonal twisted Toeplitz matrices

Twisted Toeplitz matrices constitute a generalization of Toeplitz matrices in the sense that the entries on each diagonal no longer need to be constant, but are given by the values of a continuous function on a partition of $[0,1]$. We study the limiting statistical distribution of the eigenvalues of matrices of the form $R_n(a) = T_n(a) + σ_n X_n$, where $T_n(a)$ is a sequence of non-Hermitian tridiagonal twisted Toeplitz matrices, $X_n$ is a sequence of tridiagonal random matrices whose entries have mean $0$ and finite variance, and $σ_n\to0$. The limiting distribution turns out to be a two-dimensional measure which is in general different from the push-forward of the Lebesgue measure by the symbol. We also explain how the results could extend to banded non-Hermitian twisted Toeplitz matrices.

math.PR↗

Hilbert-Kunz multiplicity of quadrics via Ehrhart theory

We show that the Hilbert-Kunz multiplicity of the d-dimensional non-degenerate quadric hypersurface of characteristic p > 2 is a rational function of p composed from the Ehrhart polynomials of integer polytopes. In consequence, we prove that the Hilbert-Kunz multiplicity of quadrics of fixed characteristic is a decreasing function of dimension and recover results of Trivedi and Gessel-Monsky on the behaviour of said Hilbert-Kunz multiplicity as a function of characteristic.

math.AC↗

Sprecher Networks: A Parameter-Efficient Kolmogorov-Arnold Architecture

We introduce Sprecher Networks (SNs), a family of trainable architectures derived from David Sprecher's 1965 constructive form of the Kolmogorov-Arnold representation. Each SN block implements a "sum of shifted univariate functions" using only two shared learnable splines per block, a monotone inner spline $ϕ$ and a general outer spline $Φ$, together with a learnable shift parameter $η$ and a mixing vector $λ$ shared across all output dimensions. Stacking these blocks yields deep, compositional models; for vector-valued outputs we append an additional non-summed output block. We also propose an optional lateral mixing operator enabling intra-block communication between output channels with only $O(d_{\mathrm{out}})$ additional parameters. Owing to the vector (not matrix) mixing weights and spline sharing, SNs scale linearly in width, approximately $O(\sum_{\ell}(d_{\ell-1}+d_{\ell}+G))$ parameters for $G$ spline knots, versus $O(\sum_{\ell} d_{\ell-1}d_{\ell})$ for dense MLPs and $O(G\sum_{\ell} d_{\ell-1}d_{\ell})$ for edge-spline KANs. This linear width-scaling is particularly attractive for extremely wide, shallow models, where low depth can translate into low inference latency. Finally, we describe a sequential forward implementation that avoids materializing the $d_{\mathrm{in}}\times d_{\mathrm{out}}$ shifted-input tensor, reducing peak forward-intermediate memory from quadratic to linear in layer width, relevant for memory-constrained settings such as on-device/edge inference; we demonstrate deployability via fixed-point real-time digit classification on resource-constrained embedded device with only 4 MB RAM. We provide empirical demonstrations on supervised regression, Fashion-MNIST classification (including stable training at 25 hidden layers with residual connections and normalization), and a Poisson PINN, with controlled comparisons to MLP and KAN baselines.

cs.LG↗

Bizonotopal Graphical Algebras

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.

math.AC↗

Carrier Drift Modulation and the Hyperbolic Time Crystals

We introduce the Carrier Drift Modulation - a new mechanism for creating temporal boundaries and enabling photonic time crystals. This approach opens a direct route to hyperbolic temporal metamaterials and, in particular, hyperbolic time crystals. We demonstrate that the very process responsible for time crystal formation can simultaneously compensate for intrinsic material losses in the supporting medium - overcoming one of the central challenges in nanophotonics. The realization of truly lossless hyperbolic media, long considered as one of the key challenges of nanophotonics, unlocks new possibilities for subwavelength light focusing, strong-field physics, and novel regimes of light-matter interaction. Crucially, the proposed approach can be implemented using existing materials and readily available light sources, making it both practical and transformative.

physics.optics↗

The translation geometry of Pólya's shires

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.

math.GT↗

On limit sets for geodesics of meromorphic connections

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.

math.DS↗

Plasmonic Time Crystals

We study plasmonic time crystals, an extension of dielectric-based photonic time crystals to plasmonic media. Remarkably, we demonstrate that such systems may amplify both longitudinal and transverse modes. In particular, we show that plasmonic time crystals support \emph{collective resonances} of longitudinal modes, which occur independently of the wave vector $k$, even in the presence of significant dissipation. These resonances originate from the coupling 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 ($\varepsilon$-near zero) frequency $ω_p$. The strongest resonance arises at a modulation frequency $Ω= 2 ω_p$, corresponding to a direct interband transition. We demonstrate these resonances for various periodic modulation profiles and provide a generic perturbative formula for resonance widths in the weak modulation limit. Furthermore, we propose transparent conducting oxides as promising platforms for realizing plasmonic time crystals, as they enable significant modulation of the electron effective mass while maintaining moderate dissipation levels. Our findings provide new insights into leveraging time-modulated plasmonic media to enhance optical gain and control wave dynamics at the nanoscale.

physics.optics↗

Quantum Friction near the Instability Threshold

In this work, we develop an analytical framework to understand quantum friction across distinct stability regimes, providing approximate expressions for frictional forces both in the deep stable regime and near the critical threshold of instability. Our primary finding is analytical proof that, near the instability threshold, the quantum friction force diverges logarithmically. This result, verified through numerical simulations, sheds light on the behavior of frictional instabilities as the system approaches criticality. Our findings offer new insights into the role of instabilities, critical divergence and temperature in frictional dynamics across quantum and classical regimes.

quant-ph↗

An inverse problem in Pólya--Schur theory. II. Exactly solvable operators and complex dynamics

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.

math.DS↗

Adjoints and Canonical Forms of Polypols

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.

math.AG↗

In search of higher Bochner theorem

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.

math-ph↗

Longitudinal optical phonons in photonic time crystals containing a stationary charge

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.

physics.optics↗

Linear first order differential operators and their Hutchinson-invariant sets

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}$.

math.DS↗

An inverse problem in Polya-Schur theory. I. Non-genegerate and degenerate operators

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.

math.CA↗

In search of Newton-type inequalities

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.

math.CV↗