English
Related papers

Related papers: Generalized fusible numbers and their ordinals

200 papers

Inspired by a mathematical riddle involving fuses, we define the "fusible numbers" as follows: $0$ is fusible, and whenever $x,y$ are fusible with $|y-x|<1$, the number $(x+y+1)/2$ is also fusible. We prove that the set of fusible numbers,…

Logic in Computer Science · Computer Science 2023-06-22 Jeff Erickson , Gabriel Nivasch , Junyan Xu

We determine sufficient conditions under which certain recursively defined functions are well defined for all real inputs. Given a function $f:\mathbb R\to\mathbb R$, call a decreasing sequence $x_1>x_2>x_3>\cdots$ "$f$-bad" if…

Logic · Mathematics 2026-02-09 Gabriel Nivasch , Lior Shiboli

Admissible orders on fuzzy numbers are total orders which refine a basic and well-known partial order on fuzzy numbers. In this work, we define an admissible order on triangular fuzzy numbers (i.e. TFN's) and study some fundamental…

Hofstadter's G function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, we vary the number $k$ of nested recursive calls in this equation and obtain a family of functions $(F\_k)$. Here we establish…

Discrete Mathematics · Computer Science 2026-05-25 Pierre Letouzey , Shuo Li , Wolfgang Steiner

L.A.Zadeh introduced the concept of fuzzy set theory as the generalization of classical set theory in 1965 and further it has been generalized to intuitionistic fuzzy sets (IFSs) by Atanassov in 1983 to model information by the membership,…

General Mathematics · Mathematics 2016-02-05 V. Lakshmana Gomathi Nayagam , Jeevaraj. S , Geetha Sivaraman

The main result of the present paper is about the solutions of the functional equation \Eq{*}{ F\Big(\frac{x+y}2\Big)+f_1(x)+f_2(y)=G(g_1(x)+g_2(y)),\qquad x,y\in I, } derived originally, in a natural way, from the invariance problem of…

Classical Analysis and ODEs · Mathematics 2022-04-01 Tibor Kiss

We use discrete Morse theory to determine the M\"obius function of generalized factor order. Ordinary factor order on the Kleene closure A* of a set A is the partial order defined by letting u\leq w if w contains u as a subsequence of…

Combinatorics · Mathematics 2011-08-22 Robert Willenbring

Let $F(X_1,X_2)\in\mathbb{Z}[X_1,X_2] $ be an irreducible binary form of degree $3$ and $h$ an arithmetic function. We give some estimates for the average order $\sum_{\substack{|n_1|\leq x,|n_2|\leq x}}h(F(n_1,n_2))$ when $h$ satisfy…

Number Theory · Mathematics 2014-08-12 Armand Lachand

The Kruskal-Friedman theorem asserts: in any infinite sequence of finite trees with ordinal labels, some tree can be embedded into a later one, by an embedding that respects a certain gap condition. This strengthening of the original…

Logic · Mathematics 2025-08-13 Anton Freund

We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials. The first section of the paper is…

Combinatorics · Mathematics 2008-01-19 Milan Janjic

The universal density functional $F$ of density-functional theory is a complicated and ill-behaved function of the density-in particular, $F$ is not differentiable, making many formal manipulations more complicated. Whilst $F$ has been well…

Chemical Physics · Physics 2015-06-18 Simen Kvaal , Ulf Ekström , Andrew M. Teale , Trygve Helgaker

Miculescu and Mihail in 2008 introduced a concept of a generalized iterated function system (GIFS in short), a particular extension of classical IFS. Instead of families of selfmaps of a metric space $X$, they considered families of…

Dynamical Systems · Mathematics 2017-07-19 Łukasz Maślanka , Filip Strobin

The general normal ordering problem for boson strings is a combinatorial problem. In this note we restrict ourselves to single-mode boson monomials. This problem leads to elegant generalisations of well-known combinatorial numbers, such as…

Quantum Physics · Physics 2007-05-23 A. I. Solomon , P. Blasiak , G. Duchamp , A. Horzela , K. A. Penson

Fast-growing hierarchies are sequences of functions obtained through various processes similar to the ones that yield multiplication from addition, exponentiation from multiplication, etc. We observe that fast-growing hierarchies can be…

Logic · Mathematics 2022-01-13 J. P. Aguilera , F. Pakhomov , A. Weiermann

In 1996, Michaux and Villemaire considered integer relations $R$ which are not definable in Presburger Arithmetic. That is, not definable in first-order logic over integers with the addition function and the order relation…

Logic · Mathematics 2016-11-14 Arthur Milchior

Cabrelli, Forte, Molter and Vrscay in 1992 considered a {fuzzy} version of the theory of iterated function systems (IFSs in short) and their fractals%The idea was to extend the classical Hutchinson-Barnsley operator to selfmaps of a metric…

Dynamical Systems · Mathematics 2016-10-17 Elismar R. Oliveira , Filip Strobin

We study the rational dynamics of the map $\mathcal{T}(x)=\lfloor x\rfloor(1+\{x\})$, which appears in the recursive construction of the prime-representing constant of Fridman, Garbulsky, Glecer, Grime and Florentin. For a rational number…

Number Theory · Mathematics 2026-05-22 André Carvalho

Any continuous piecewise-linear function $F\colon \mathbb{R}^{n}\to \mathbb{R}$ can be represented as a linear combination of $\max$ functions of at most $n+1$ affine-linear functions. In our previous paper [``Representing piecewise linear…

Discrete Mathematics · Computer Science 2024-06-05 Christoph Koutschan , Anton Ponomarchuk , Josef Schicho

Discrete fuzzy numbers, and in particular those defined over a finite chain $L_n = \{0, \ldots, n\}$, have been effectively employed to represent linguistic information within the framework of fuzzy systems. Research on total (admissible)…

Logic in Computer Science · Computer Science 2025-11-24 Arnau Mir , Alejandro Mus , Juan Vicente Riera

Hofstadter's $G$ function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, a family $(F_k)$ of similar functions is obtained by varying the number $k$ of nested recursive calls in this equation. We…

Discrete Mathematics · Computer Science 2025-04-14 Pierre Letouzey
‹ Prev 1 2 3 10 Next ›