Related papers: Conjectures and computations about Veronese syzygi…
Compositionality is a key property for dealing with complexity, which has been studied from many points of view in diverse fields. Particularly, the composition of individual computations (or programs) has been widely studied almost since…
New splitting theorems in a semi-Riemannian manifold which admits an irrotational vector field (not necessarily a gradient) with some suitable properties are obtained. According to the extras hypothesis assumed on the vector field, we can…
We announce a number of conjectures associated with and arising from a study of primes and irrationals in $\mathbb{R}$. All are supported by numerical verification to the extent possible.
We explain the origin of the Veronese surface in the vacuum moduli space geometry of the MSSM electroweak sector. While this result appeared many years ago using techniques of computational algebraic geometry, it has never been demonstrated…
We define and study the structure of SUSY Lie conformal and vertex algebras. This leads to effective rules for computations with superfields.
A selection of open problems in the theory of composites is presented. Particular attention is drawn to the question of whether two-dimensional, two-phase, composites with general geometries have the same set of possible effective tensors…
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applications, the identification of an appropriate…
Motivated by toric geometry, we lift machinery for understanding syzygies of curves in projective space to the setting of products of projective spaces. Using this machinery, we show an analogue of an influential result of Gruson, Peskine,…
We address the conjectures left by the recent article by Ferreira et al. titled ``Commuting maps and identities with inverses on alternative division rings.'' We also present an example showing the necessity of the conditions of the results…
We show how powerful algorithms recently developed for counting lattice points and computing volumes of convex polyhedra can be used to compute probabilities of a wide variety of events of interest in social choice theory. Several…
We show that certain vertex algebras without vacuum vector may be embedded into vertex algebras. The result is a partial analogue of the simple classical fact that any rng can be embedded into a ring. A one-line proof of the case of a…
Fix a point in a finite-dimensional complex vector space and consider the sequence of iterates of this point under the composition of a unitary map with the orthogonal projection on the hyperplane orthogonal to the starting point. We prove…
This paper studies the configuration spaces of linkages whose underlying graph is a single cycle. Assume that the edge lengths are such that there are no configurations in which all the edges lie along a line. The main results are that,…
We investigate potential spaces associated with Jacobi expansions. We prove structural and Sobolev-type embedding theorems for these spaces. We also establish their characterizations in terms of suitably defined fractional square functions.…
We study simple superfaithful and superconnected quandles and we found counterexamples to a conjecture suggested by computational data. We provide also examples of superconnected quandles built using group theoretical results and…
We characterize the double Veronese embedding of P^n as the only variety that, under certain general conditions, can be isomorphically projected from the Grassmannian of lines in P^{2n+1} to the Grassmannian of lines in P^{n+1}.
We investigate algebraic structures within sets of surjective and injective linear operators between sequence spaces, completing results of Aron et al.
We present a method to compute the degrees of the Segre classes of a subscheme of complex projective space. The method is based on generic residuation and intersection theory. It has been implemented using the software system Macaulay2.
We show that a small variant of the methods used by Voisin in her study of canonical curves leads to a surprisingly quick proof of the gonality conjecture of Green and the second author, asserting that one can read off the gonality of a…
We establish a new simple explicit description of combinatorial wall-crossing for the rational Cherednik algebra applied to the trivial representation. In this way we recover a theorem of P. Dimakis and G. Yue. We also present two…