Related papers: On the Approximation Resistance of Balanced Linear…

We establish fundamental mathematical limits on universal approximation theorem (UAT) system alignment by proving that catastrophic failures are an inescapable feature of any useful computational system. Our central thesis is that for any…

A Minkowski symmetral of an $\alpha$-concave function is introduced, and some of its fundamental properties are derived. It is shown that for a given $\alpha$-concave function, there exists a sequence of Minkowski symmetrizations that…

We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in…

We study approximation by arbitrary linear combinations of $n$ translates of a single function of periodic functions. We construct some linear methods of this approximation for univariate functions in the class induced by the convolution…

In an attempt to regularize a previously known exactly solvable model [Yang and Zhang, Eur. J. Phys. \textbf{40}, 035401 (2019)], we find yet another exactly solvable toy model. The interesting point is that while the Hamiltonian of the…

We have recently constructed a piecewise quadratic Lyapunov function to prove the boundedness of the reachable values set of piecewise affine discrete-time systems. The method developed also provided an overapproximation of the reachable…

We study convergence of nonlinear systems in the presence of an `almost Lyapunov' function which, unlike the classical Lyapunov function, is allowed to be nondecreasing---and even increasing---on a nontrivial subset of the phase space.…

We consider the problem of approximating Nash equilibria of $N$ functions $f_1,\dots, f_N$ of $N$ variables. In particular, we deduce conditions under which systems of the form $$ \dot u_j(t)=-\nabla_{x_j}f_j(u(t)) $$ $(j=1,\dots, N)$ are…

We call a CNF formula linear if any two clauses have at most one variable in common. Let m(k) be the largest integer m such that any linear k-CNF formula with <= m clauses is satisfiable. We show that 4^k / (4e^2k^3) <= m(k) < ln(2) k^4…

In terms of the best approximations of functions and generalized moduli of smoothness, direct and inverse approximation theorems are proved for Besicovitch almost periodic functions whose Fourier exponent sequences have a single limit point…

We detail a simple procedure (easily convertible to an algorithm) for constructing from quasi-uniform samples of $f$ a sequence of linear spline functions converging to the monotone rearrangement of $f$, in the case where $f$ is an almost…

Given an arbitrary $1$-Lipschitz function $f$ on the torus $\mathbb{T}^n $, we find a $k$-dimensional subtorus $M \subseteq \mathbb{T}^n$, parallel to the axes, such that the restriction of $f$ to the subtorus $M$ is nearly a constant…

We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function $f:\,K\to\mathbb{R}^n$ on a~finite simplicial complex $K$ and $\alpha>0$, it holds that each function…

We consider K-Facility Location games, where n strategic agents report their locations in a metric space, and a mechanism maps them to K facilities. Our main result is an elegant characterization of deterministic strategyproof mechanisms…

Let $V$ be a finite-dimensional vector space over $\mathbb{F}_p$. We say that a multilinear form $\alpha \colon V^k \to \mathbb{F}_p$ in $k$ variables is $d$-approximately symmetric if the partition rank of difference $\alpha(x_1, \dots,…

We study various approximation results of solutions of equations $f(x,Y)=0$ where $f(x,Y)\in\mathbb K[[x]][Y]^r$ and $x$ and $Y$ are two sets of variables, and where some components of the solutions $y(x)\in\mathbb K[[x]]^m$ do not depend…

We define the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment generalizes (after a routine renaming) two-variable logic as well…

We prove a metrical result on a family of conjectures related to the Littlewood conjecture, namely the original Littlewood conjecture, the mixed Littlewood conjecture of de Mathan and Teuli\'e and a hybrid between a conjecture of Cassels…

The computational study of equilibria involving constraints on players' strategies has been largely neglected. However, in real-world applications, players are usually subject to constraints ruling out the feasibility of some of their…

If a pair of functions nearly extremizes Young's convolution inequality for R^d, with all three exponents finite and strictly greater than 1, then each function is close in norm to a Gaussian. The proof relies on the Riesz-Sobolev…