Related papers: Computational Geometry Column 36
Diagram semigroups are interesting algebraic and combinatorial objects, several types of them originating from questions in computer science and in physics. Here we describe diagram semigroups in a general framework and extend our…
We prove the conjectures on dimensions and characters of some quadratic algebras stated by B$.$L$.$Feigin. It turns out that these algebras are naturally isomorphic to the duals of the components of the bihamiltonian operad.
This article analyses geometric constructions by origami when up to $n$ simultaneous folds may be done at each step. It shows that any arbitrary angle can be $m$-sected if the largest prime factor of $m$ is $p\le n+2$. Also, the regular…
We illustrate the principle: rational generating series occuring in arithmetic geometry are motivic in nature.
We prove that the mapping class group of a closed connected orientable surface of genus $g$ is generated by three involutions for $g\geq 6$.
We present an approach of computing the intersection curve $\mathcal{C}$ of two rational parametric surface $\S_1(u,s)$ and $\S_2(v,t)$, one being projectable and hence can easily be implicitized. Plugging the parametric surface to the…
Two simple "simplicial approximation" tricks are invoked to prove basic results involving (co)-homology with local coefficients.
We derive a closed-form expression for the projection onto a capped rotated second-order cone -- a convex set that arises in perspective relaxations of nonlinear programs with binary indicator variables. The closed-form solution involves…
A geometric realization of a birational map $\psi$ among two complex projective varieties is a variety $X$ endowed with a $\mathbb{C}^*$-action inducing $\psi$ as the natural birational map among two extremal geometric quotients. In this…
We settle the existence of certain "anti-magic" cubes using combinatorial block designs and graph decompositions to align a handful of small examples.
Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We show that the number of vertex-labelled cubic multigraphs embeddable on $\mathbb{S}_g$ with $2n$ vertices is asymptotically $c_g n^{5(g-1)/2-1}\gamma^{2n}(2n)!$, where $\gamma$…
In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types…
The paper presents results for deriving closed-form analytic solutions of the non-relativistic linear perturbation equations, which govern the evolution of inhomogeneities in a homogeneous spatially flat multicomponent cosmological model.…
This is a book about computational aspects of modular forms and the Galois representations attached to them. The main result is the following: Galois representations over finite fields attached to modular forms of level one can, in almost…
Some ball-quotient orbifolds are related by covering maps. We exploit these coverings to find infinite towers of orbifolds uniformized by the complex 2-ball and some orbifolds over K3 surfaces uniformized by the 2-ball. Corresponding…
We survey some of our old results given in [CE95] and [CE10] and present some new ones in the last three sections.We survey some of our old results given in [CE95] and [CE10] and present some new ones in the last three sections.
Let $L=\mathbb F_{q^n}$ be a finite field and let $F=\mathbb F_q$ be a subfield of $L$. Consider $L$ as a vector space over $F$ and the associated projective space that is isomorphic to ${\mathrm{PG}}(n-1,q)$. The properties of the…
We make use of the complex implicit representation in order to provide a deterministic algorithm for checking whether or not two implicit algebraic curves are related by a similarity, a central question in Pattern Recognition and Computer…
We introduce a trisection axiom for mathematical origami and descibe the totally real origami numbers. We also discuss the solution of Alhazen's problem and its relation to trisections.
Regular algebraic surfaces isogenous to a higher product of curves can be obtained from finite groups with ramification structures. We find unmixed ramification structures for finite groups constructed as p-quotients of particular infinite…