Related papers: Nash multiplicity sequences and Hironaka's order f…
An analogue of D. Waterman's result on the summability of the Fourier series for functions of bounded \Lambda-variation by the Ces\'aro methods of negative order is obtained in multidimensional case. It is proved that, unlike…
This paper considers optimization of smooth nonconvex functionals in smooth infinite dimensional spaces. A H\"older gradient descent algorithm is first proposed for finding approximate first-order points of regularized polynomial…
Model-checking is one of the most powerful techniques for verifying systems and programs, which since the pioneering results by Knapik et al., Ong, and Kobayashi, is known to be applicable to functional programs with higher-order types…
In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…
Higher-order unification has been shown to be undecidable. Miller discovered the pattern fragment and subsequently showed that higher-order pattern unification is decidable and has most general unifiers. We extend the algorithm to…
Regularization plays a key role in a variety of optimization formulations of inverse problems. A recurring theme in regularization approaches is the selection of regularization parameters, and their effect on the solution and on the optimal…
We start out by demonstrating that an elementary learning task, corresponding to the training of a single linear neuron in a convolutional neural network, can be solved for feature spaces of very high dimensionality. In a second step,…
We give an alternative proof of the theorem by Kuznetsov and Lunts, stating that any separated scheme of finite type over a field of characteristic zero admits a categorical resolution of singularities. Their construction makes use of the…
We extend some recent results on the Hausdorff convergence of level-sets for total variation regularized linear inverse problems. Dimensions higher than two and measurements in Banach spaces are considered. We investigate the relation…
We show that the Nash blowup of 2-generic determinantal varieties over fields of positive characteristic is non-singular. We prove this in two steps. Firstly, we explicitly describe the toric structure of such varieties. Secondly, we show…
To achieve a maximal locality in a trivial field theory, we maximize the ultraviolet cutoff of the theory by fine tuning the infrared values of the parameters. This optimization procedure is applied to the scalar theory in $D+1$ dimensions…
We initiate the study of Nash blowups in prime characteristic. First, we show that a normal variety is non-singular if and only if its Nash blowup is an isomorphism, extending a theorem by A. Nobile. We also study higher Nash blowups, as…
Nash equilibrium is a fundamental solution concept in extensive-form games, while its efficient computation is still far from straightforward. This paper considers finite $n$-player extensive-form games with perfect recall under the…
We regard the classic Thue--Morse diffraction measure as an equilibrium measure for a potential function with a logarithmic singularity over the doubling map. Our focus is on unusually fast scaling of the Birkhoff sums (superlinear) and of…
In this article we construct a categorical resolution of singularities of an excellent reduced curve $X$, introducing a certain sheaf of orders on $X$. This categorical resolution is shown to be a recollement of the derived category of…
We use vector bundles to study the locus of totally mixed Nash equilibria of an $n$-player game in normal form, which we call the Nash equilibrium scheme. When the payoff tensor format is balanced, we study the Nash discriminant variety,…
We consider the 1D cubic NLS on $\mathbb R$ and prove a blow-up result for functions that are of borderline regularity, i.e. $H^s$ for any $s<-\frac 12$ for the Sobolev scale and $\mathcal F L^\infty$ for the Fourier-Lebesgue scale. This is…
In D-dimensional spacetimes which can be foliated by n-dimensional homogeneous subspaces, a quantum field can be decomposed in terms of modes on the subspaces, reducing the system to a collection of (D-n)-dimensional fields. This allows one…
High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal sums. Whereas analytically each radius r up to the radius of…
A Dirichlet-type problem is studied for an equation of even order with variable coefficients. A criterion for the uniqueness of a solution is given. The solution is built in the form of a Fourier series. When justifying the convergence of…