Related papers: A Minimal Substitution Basis for the Kalm\'ar Elem…
We introduce two new bases of the ring of polynomials and study their relations to known bases. The first basis is the quasiLascoux basis, which is simultaneously both a $K$-theoretic deformation of the quasikey basis and also a lift of the…
In this paper, we consider the minimization of a Tikhonov functional with an $\ell_1$ penalty for solving linear inverse problems with sparsity constraints. One of the many approaches used to solve this problem uses the Nemskii operator to…
We study truncated objects using elementary methods. Concretely, we use universes and the resulting natural number object to define internal truncation levels and prove they behave similar to standard truncated objects. Moreover, we take an…
We find the exponential generating function for permutations with all valleys even and all peaks odd, and use it to determine the asymptotics for its coefficients, answering a question posed by Liviu Nicolaescu. The generating function can…
This paper first summarizes the foundations of stochastic calculus via regularization and constructs through this procedure It\^o and Stratonovich integrals. In the second part, a survey and new results are presented in relation with finite…
Given an initial family of sets, we may take unions, intersections and complements of the sets contained in this family in order to form a new collection of sets; our construction process is done recursively until we obtain the last family.…
Let $A$ be an integral $k$-algebra of finite type over a field $k$ of characteristic zero. Let ${\cal{F}}$ be a family of $k$-derivations on $A$ and $M_{\cal{F}}$ the $A$-module spanned by ${\cal{F}}$. In this paper, we generalize a result…
Given two positive integers $M$ and $k$, let $\B_k$ be the set of bases $q>1$ such that there exists a real number $x$ having exactly $k$ different $q$-expansions over the alphabet $\{0,1,\cdots,M\}$. In this paper we investigate the…
We study three natural properties that measure the robustness of asymptotic bases of order 2: having divergent representation function, being decomposable as a union of two bases, and containing a minimal basis. Erd\H{o}s and Nathanson…
In this work, we propose an interesting method that aims to approximate an activation function over some domain by polynomials of the presupposing low degree. The main idea behind this method can be seen as an extension of the ordinary…
The problem of binary minimization of a quadratic functional in the configuration space is discussed. In order to increase the efficiency of the random-search algorithm it is proposed to change the energy functional by raising to a power…
We propose a general method for optimization with semi-infinite constraints that involve a linear combination of functions, focusing on the case of the exponential function. Each function is lower and upper bounded on sub-intervals by…
Functional bases, synonymous with separating sets, are usually formulated for an entire vector space, such as the space Ela of elasticity tensors. We propose here to define functional bases limited to symmetry strata, i.e. sets of tensors…
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…
We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…
We present a new modular proof method of termination for second-order computation, and report its implementation SOL. The proof method is useful for proving termination of higher-order foundational calculi. To establish the method, we use a…
Continuing a series of articles in the past few years on creative telescoping using reductions, we develop a new algorithm to construct minimal telescopers for algebraic functions. This algorithm is based on Trager's Hermite reduction and…
In this article, we provide an infinite family of examples to disprove a recent conjecture due to Ballantine and her collaborators on the injectivity of a class of maps, namely pre_k, defined on integer partitions. These maps arise from…
The basis of this work is a simple, extended corollary of Wilson's theorem. This corollary generates many more quotients than those already generated by Wilson's theorem, and it was of interest to derive how they relate to each other and…
During inflation quantum effects from massless, minimally coupled scalars and gravitons can be strengthened so much that perturbation theory breaks down. To follow the subsequent evolution one must employ a nonperturbative resummation.…