中文
相关论文

相关论文: Towards a characterization of the star-free sets o…

200 篇论文

The (-\beta)-integers are natural generalisations of the \beta-integers, and thus of the integers, for negative real bases. They can be described by infinite words which are fixed points of anti-morphisms. We show that they are not…

形式语言与自动机理论 · 计算机科学 2011-08-19 Wolfgang Steiner

The $(-\beta)$-integers are natural generalisations of the $\beta$-integers, and thus of the integers, for negative real bases. When $\beta$ is the analogue of a Parry number, we describe the structure of the set of $(-\beta)$-integers by a…

数论 · 数学 2012-03-23 Wolfgang Steiner

Let A be a subset of an abelian group G. We say that A is sum-free if there do not exist x,y and z in A satisfying x + y = z. We determine, for any G, the cardinality of the largest sum-free subset of G. This equals c(G)|G| where c(G) is a…

组合数学 · 数学 2007-05-23 Ben Green , Imre Z. Ruzsa

We introduce the notion of \textit{star cluster} of a simplex in a simplicial complex. This concept provides a general tool to study the topology of independence complexes of graphs. We use star clusters to answer a question arisen from…

组合数学 · 数学 2010-07-05 Jonathan Ariel Barmak

In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers $\mathbb{Z}$ is interpretable by positive existential formulas in…

逻辑 · 数学 2017-08-25 Olga Kharlampovich , Alexei Myasnikov

We prove some new statements on the distribution of $\mathcal{B}$-free numbers in short intervals. In particular, we show an asymptotic result for the variance of the number of $\mathcal{B}$-free integers in random short intervals which…

动力系统 · 数学 2015-12-02 Maria Avdeeva

A generalization of numeration system in which the set N of the natural numbers is recognizable by finite automata can be obtained by describing a lexicographically ordered infinite regular language. Here we show that if P belonging to Q[x]…

计算复杂性 · 计算机科学 2007-05-23 Michel Rigo

Number systems with a rational number $a/b > 1$ as base have gained interest in recent years. In particular, relations to Mahler's 3/2-problem as well as the Josephus problem have been established. In the present paper we show that the…

A challenging problem is to find an algorithm to decide whether a morphism is k-power-free. We provide such an algorithm when k >= 3 for uniform morphisms showing that in such a case, contrarily to the general case, there exist finite…

离散数学 · 计算机科学 2016-08-16 Gwénaël Richomme , Francis Wlazinski

This extends a theorem of Davenport and Erd\"os on sequences of rational integers to sequences of integral ideals in arbitrary number fields $K$. More precisely, we introduce a logarithmic density for sets of integral ideals in $K$ and…

数论 · 数学 2018-08-30 Christian Huck

We study the zero sets of the independence polynomial on recursive sequences of graphs. We prove that for a maximally independent starting graph and a stable and expanding recursion algorithm, the zeros of the independence polynomial are…

动力系统 · 数学 2024-11-25 Mikhail Hlushchanka , Han Peters

We address the following decision problem. Given a numeration system $U$ and a $U$-recognizable set $X\subseteq\mathbb{N}$, i.e. the set of its greedy $U$-representations is recognized by a finite automaton, decide whether or not $X$ is…

离散数学 · 计算机科学 2023-09-04 E. Charlier , A. Massuir , M. Rigo , E. Rowland

We consider the number of independent sets in hypergraphs, which allows us to define the independence density of countable hypergraphs. Hypergraph independence densities include a broad family of densities over graphs and relational…

组合数学 · 数学 2013-08-14 Anthony Bonato , Jason Brown , Dieter Mitsche , Pawel Pralat

A recently proposed axiom system for Andr\'e's central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed…

逻辑 · 数学 2013-11-11 Jesse Alama

Just as Lascar's notion of abstract rank axiomatizes the U-rank, we propose axioms for the ranks $SU^d$ and $SU^f$, the foundation ranks of dividing and forking. We study the relationships between these axioms. As with superstable, we…

逻辑 · 数学 2022-02-15 Santiago Cárdenas-Martín , Rafel Farré

The (n,k)-star graph is a very important computer modelling. The independent number and chromatic number of a graph are two important parameters in graph theory. However, we did not know the values of this two parameters of the (n,k)-star…

组合数学 · 数学 2017-02-15 Fu-Tao Hu

The properties of several types of Q-stars are studied and compared with their flat space analogues, i.e. Q-balls. The analysis is based on calculating the mass, global U(1) charge and binding energy for families of solutions parametrized…

广义相对论与量子宇宙学 · 物理学 2016-11-15 Y. Verbin

We show that there are sets of integers with asymptotic density arbitrarily close to 1 in which there is no solution to the equation ab=c, with a,b,c in the set. We also consider some natural generalizations, as well as a specific numerical…

数论 · 数学 2012-11-19 Par Kurlberg , Jeffrey C. Lagarias , Carl Pomerance

We study sets of the form $A = \big\{ n \in \mathbb N \big| \lVert p(n) \rVert_{\mathbb R / \mathbb Z} \leq \varepsilon(n) \big\}$ for various real valued polynomials $p$ and decay rates $\varepsilon$. In particular, we ask when such sets…

数论 · 数学 2018-07-20 Jakub Konieczny

A well-known result, due to Meyer, states that the set P of Pisot numbers, generating a real algebraic number field K, is uniformly discrete and relatively dense in the set of positive real number. In the present paper, we show that P is…

数论 · 数学 2024-02-12 Toufik Zaimi