Related papers: Pebble Minimization of Polyregular Functions
We consider finite state non-deterministic but unambiguous transducers with infinite inputs and infinite outputs, and we consider the property of Borel normality of sequences of symbols. When these transducers are strongly connected, and…
We consider the problem of computing the data-cube marginals of a fixed order $k$ (i.e., all marginals that aggregate over $k$ dimensions), using a single round of MapReduce. The focus is on the relationship between the reducer size (number…
We study the relation between the standard two-way automata and more powerful devices, namely, two-way finite automata with an additional "pebble" movable along the input tape. Similarly as in the case of the classical two-way machines, it…
Consider the representations of an algebraic group G. In general, polynomial invariant functions may fail to separate orbits. The invariant subring may not be finitely generated, or the number and complexity of the generators may grow…
This is a continuation of notes on dynamics of quadratic polynomials. In this part we transfer the our prior geometric result to the parameter plane. To any parameter value c in the Mandelbrot set (which lies outside of the main cardioid…
We propose a physical model of speech to explain its precision and robustness. We begin by reducing the dynamics to the bare minimum of polygonal billiards. The symbolic stability of the billiard trajectories against variations in action…
Given an automaton (a letter-to-letter transducer, a dynamical 1-Lipschitz system on the space $\mathbb Z_p$ of $p$-adic integers) $\mathfrak A$ whose input and output alphabets are $\mathbb F_p=\{0,1,\ldots,p-1\}$, one visualizes word…
We present a simple new method for proving that languages are not regular. We prove the correctness of the method, illustrate the ease of using the method on well-known examples of nonregular languages, and prove two additional theorems on…
Given a distribution of pebbles on the vertices of a graph G, a {\it pebbling move} takes two pebbles from one vertex and puts one on a neighboring vertex. The {\it pebbling number} \Pi(G) is the minimum k such that for every distribution…
This paper is concerned with the regularity of shape optimizers of a class of isoperimetric problems under convexity constraint. We prove that minimizers of the sum of the perimeter and a perturbative term, among convex shapes, are C…
Let f:{-1,1}^n -> R be a real function on the hypercube, given by its discrete Fourier expansion, or, equivalently, represented as a multilinear polynomial. We say that it is Boolean if its image is in {-1,1}. We show that every function on…
We are interested in finding a nonlinear polynomial $P$ on $\mathbb{R}^n$ that solves the minimal surface equation. Even though no explicit solution is found in this article, we investigate constraints that a polynomial solution must obey.…
It is shown that a piecewise linear function can be represented as a Max-Min polynomial of its linear components.
Polyconvexity is an important concept in the analysis of energies related to elasticity. A function $f \colon \R^{d\times d} \to \R$ is called polyconvex if it can be written as a convex function in the minors of the argument. We show that…
We study a system of all-to-all weakly coupled uniformly expanding circle maps in the thermodynamic limit. The state of the system is described by a probability measure and its evolution is given by the action of a nonlinear operator, also…
We study words that barely avoid repetitions, for several senses of "barely". A squarefree (respectively, overlap-free, cubefree) word is irreducible if removing any one of its interior letters creates a square (respectively, overlap,…
Spinor polynomials are polynomials with coefficients in the even sub-algebra of conformal geometric algebra whose norm polynomial is real. They describe rational conformal motions. Factorizations of spinor polynomial corresponds to the…
We provide detailed local descriptions of stable polynomials in terms of their homogeneous decompositions, Puiseux expansions, and transfer function realizations. We use this theory to first prove that bounded rational functions on the…
We study the double bubble problem where the perimeter is taken with respect to the hexagonal norm, i.e. the norm whose unit circle in $\mathbb{R}^2$ is the regular hexagon. We provide an elementary proof for the existence of minimizing…
A natural connection between rational functions of several real or complex variables, and subspace collections is explored. A new class of function, superfunctions, are introduced which are the counterpart to functions at the level of…