2 citations · 3 across the 13 of their papers we have counts for
16 papers
The Nieuwland number of the Octahedron
Jakob Steininger, Sergey Yurkevich
We prove that the Nieuwland number of the Octahedron is . Along the way, we provide an elementary proof that Rupert's problem for the Octahedron admits no solution in…
A convex polyhedron without Rupert's property
Jakob Steininger, Sergey Yurkevich
A three-dimensional convex body is said to have Rupert's property if its copy can be passed through a straight hole inside that body. In this work we construct a polyhedron which i…
Isoperimetric Ratios of Toroidal Dupin Cyclides
Alin Bostan, Thomas Yu, Sergey Yurkevich
The combination of recent results due to Yu and Chen [Proc. AMS 150(4), 2020, 1749-1765] and to Bostan and Yurkevich [Proc. AMS 150(5), 2022, 2131-2136] shows that the 3-D Euclidea…
Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions
Hadrien Notarantonio, Sergey Yurkevich
In this article, we study systems of , not necessarily linear, discrete differential equations (DDEs) of order with one catalytic variable. We provide a constr…
Algebraicity of hypergeometric functions with arbitrary parameters
Florian Fürnsinn, Sergey Yurkevich
We provide a complete classification of the algebraicity of (generalized) hypergeometric functions with no restriction on the set of their parameters. Our characterization relies o…
Beating binary powering for polynomial matrices
Alin Bostan, Vincent Neiger, Sergey Yurkevich
The th power of a polynomial matrix of fixed size and degree can be computed by binary powering as fast as multiplying two polynomials of linear degree in~. When Fast Fourier…
On the representability of sequences as constant terms
Alin Bostan, Armin Straub, Sergey Yurkevich
A constant term sequence is a sequence of rational numbers whose -th term is the constant term of , where and $Q(\bold…
Effective algebraicity for solutions of systems of functional equations with one catalytic variable
Hadrien Notarantonio, Sergey Yurkevich
We study systems of discrete differential equations of order in one catalytic variable and provide a constructive and elementary proof of algebraicity of their…
The art of algorithmic guessing in
Sergey Yurkevich
The technique of guessing can be very fruitful when dealing with sequences which arise in practice. This holds true especially when guessing is performed algorithmically and effici…
An algorithmic approach to Rupert's problem
Jakob Steininger, Sergey Yurkevich
A polyhedron has Rupert's property if a hole can be cut into it, such that a copy of can pass through this hole. There are several wo…
A hypergeometric proof that is bijective
Alin Bostan, Sergey Yurkevich
We provide a short and elementary proof of the main technical result of the recent article "On the uniqueness of Clifford torus with prescribed isoperimetric ratio" by Thomas Yu an…
On the -analogue of Pólya's Theorem
Alin Bostan, Sergey Yurkevich
We answer a question posed by Michael Aissen in 1979 about the -analogue of a classical theorem of George Pólya (1922) on the algebraicity of (generalized) diagonals of bivariat…
Fast Computation of the -th Term of a -Holonomic Sequence and Applications
Alin Bostan, Sergey Yurkevich
In 1977, Strassen invented a famous baby-step/giant-step algorithm that computes the factorial in arithmetic complexity quasi-linear in . In 1988, the Chudnovsky bro…
Diagonal Representation of Algebraic Power Series: A Glimpse Behind the Scenes
Sergey Yurkevich
There are many viewpoints on algebraic power series, ranging from the abstract ring-theoretic notion of Henselization to the very explicit perspective as diagonals of certain ratio…
On the First Fundamental Theorem for and
Hana Melanova, Sergey Yurkevich
The First Fundamental Theorem of Invariant Theory describes a minimal generating set of the invariant polynomial ring under the action of some group . In this note we give an el…
On a Class of Hypergeometric Diagonals
Alin Bostan, Sergey Yurkevich
We prove that the diagonal of any finite product of algebraic functions of the form \begin{align*} {(1-x_1-\dots-x_n)^R}, \qquad R\in\mathbb{Q}, \end{align*} is a generalized hyper…