Related papers: Pebble Minimization of Polyregular Functions
We solve here the so called division problem for wave equations with generic quadratic non-linearities in high dimensions. Specifically, we show that semilinear wave equations which can be written as systems involving quadratic derivative…
Motivated by recent work in the mathematics and engineering literature, we study integrability and non-tangential regularity on the two-torus for rational functions that are holomorphic on the bidisk. One way to study such rational…
A real-valued function on R^n is k-regulous, where k is a nonnegative integer, if it is of class C^k and can be represented as a quotient of two polynomial functions on R^n. Several interesting results involving such functions have been…
In 1994, Becker conjectured that if $F(z)$ is a $k$-regular power series, then there exists a $k$-regular rational function $R(z)$ such that $F(z)/R(z)$ satisfies a Mahler-type functional equation with polynomial coefficients where the…
This paper is devoted to the study of the second-order variational analysis of spectral functions. It is well-known that spectral functions can be expressed as a composite function of symmetric functions and eigenvalue functions. We…
Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the…
The summatory function of a $q$-regular sequence in the sense of Allouche and Shallit is analysed asymptotically. The result is a sum of periodic fluctuations for eigenvalues of absolute value larger than the joint spectral radius of the…
We describe regularizing effects in the linearization of a kinetic equation that arises in study of a system of nonlinear waves satisfying the Schr\"odinger equation in terms of weak turbulence and condensate. The problem is first…
We study the isoperimetric problem on $\mathbb{R}^1$ with a prescribed density function $f(x) = |x|$. Under these conditions, we find that isoperimetric $3$-bubble and $4$-bubble results satisfy a regular structure. As our regions increase…
We propose to use Church encodings in typed lambda-calculi as the basis for an automata-theoretic counterpart of implicit computational complexity, in the same way that monadic second-order logic provides a counterpart to descriptive…
Bounded holomorphic interpolation problems associated to finitely many data have, in general, distinct solutions. Uniqueness arises only in some convex extreme configurations. Rational inner functions in a polydisk are the best understood…
Compressible hydrodynamic turbulence is studied under the assumption of a polytropic closure. Following Kolmogorov, we derive an exact relation for some two-point correlation functions in the asymptotic limit of a high Reynolds number.
In the present paper, we characterize all possible Hilbert functions of graded ideals in a polynomial ring whose regularity is smaller than or equal to $d$, where $d$ is a positive integer. In addition, we prove the following result which…
There is a basic paradigm, called here the radius of well-posedness, which quantifies the "distance" from a given well-posed problem to the set of ill-posed problems of the same kind. In variational analysis, well-posedness is often…
Transformers have revolutionized the field of machine learning. In particular, they can be used to solve complex algorithmic problems, including graph-based tasks. In such algorithmic tasks a key question is what is the minimal size of a…
Let K be a knot in $S^3$ and $X$ its complement. We study deformations of reducible metabelian representations of the knot group $\pi_1(X)$ into $SL(3,\mathbb{C})$ which are associated to a double root of the Alexander polynomial. We prove…
In the first part of this doctoral thesis we develop a regularity theory for a polyconvex functional in compressible elasticity. In the second part, we will concentrate on uniqueness questions in various situations of finite elasticity.…
We show how to infer sharp partial regularity results for relaxed minimizers of degenerate, nonuniformly elliptic quasiconvex functionals, using tools from Nonlinear Potential Theory. In particular, in the setting of functionals with…
Consider the following question: given two functions on a symplectic manifold whose Poisson bracket is small, is it possible to approximate them in the $C^0$ norm by commuting functions? We give a positive answer in dimension two, as a…
Regular resolution is a refinement of the resolution proof system requiring that no variable be resolved on more than once along any path in the proof. It is known that there exist sequences of formulas that require exponential-size proofs…