Related papers: Linear balls and the multiplicity conjecture
We describe a method for solving linear systems over the localization of a commutative ring $R$ at a multiplicatively closed subset $S$ that works under the following hypotheses: the ring $R$ is coherent, i.e., we can compute finite…
Motivated by Akbulut-Larson's construction of Brieskorn spheres bounding rational homology 4-balls, we explore plumbed 3-manifolds that bound rational homology circles and use them to construct infinite families of rational homology…
The Eulerian triangle is a classical array of combinatorial numbers defined by a linear recursion. The associated boundary problem asks one to find all extreme nonnegative solutions to a dual recursion. Exploiting connections with random…
In this work we blend interpolation theory with numerical integration, constructing an interpolator based on integrals over $n$-dimensional balls. We show that, under hypotheses on the radius of the $n$-balls, the problem can be treated as…
We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In…
We introduce the concept of quasi-linearity and prove it is necessary for a monomial ideal to have a linear resolution and identify all the quasi-linear quadratic monomial ideals. We define a strongly linear monomial for a monomial ideal…
We prove Helly-type theorems for line transversals to disjoint unit balls in $\R^{d}$. In particular, we show that a family of $n \geq 2d$ disjoint unit balls in $\R^d$ has a line transversal if, for some ordering $\prec$ of the balls, any…
In a Riemannian manifold, it is well known that the scalar curvature at a point can be recovered from the volumes (areas) of small geodesic balls (spheres). We show the scalar curvature is likewise determined by the relative capacities of…
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical, Euclidean and…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
We offer some theorems, mainly of finiteness, for certain patterns in elliptical billiards, related to periodic trajectories. For instance, if two players hit a ball at a given position and with directions forming a fixed angle in…
As was shown in \cite{GPS} the matrix $L=|| l_i^j||$ whose entries $l_i^j$ are generators of the so-called reflection equation algebra is subject to some polynomial identity looking like the Cayley-Hamilton identity for a numerical matrix.…
A rational spherical triangle is a triangle on the unit sphere such that the lengths of its three sides and its area are rational multiples of $\pi$. Little and Coxeter have given examples of rational spherical triangles in 1980s. In this…
We classify connected sums of three-dimensional lens spaces which smoothly bound rational homology balls. We use this result to determine the order of each lens space in the group of rational homology 3-spheres up to rational homology…
We study closures of GL_2(R)-orbits on the total space of the Hodge bundle over the moduli space of curves under the assumption that they are algebraic manifolds. We show that, in the generic stratum, such manifolds are the whole stratum,…
Noncommutative (NC) sphere is introduced as a quotient of the enveloping algebra of the Lie algebra su(2). Using the Cayley-Hamilton identities we introduce projective modules which are analogues of line bundles on the usual sphere (we call…
We study properties of the Stanley-Reisner rings of simplicial complexes with isolated singularities modulo two generic linear forms. Miller, Novik, and Swartz proved that if a complex has homologically isolated singularities, then its…
We first review some topics in the classical computational geometry of lines, in particular the O(n^{3+\epsilon}) bounds for the combinatorial complexity of the set of lines in R^3 interacting with $n$ objects of fixed description…
This work connects two mathematical fields - computational complexity and interval linear algebra. It introduces the basic topics of interval linear algebra - regularity and singularity, full column rank, solving a linear system, deciding…
A linear elastic circular disc is analyzed under a self-equilibrated system of loads applied along its boundary. A distinctive feature of the investigation, conducted using complex variable analysis, is the assumption that the material is…