中文
相关论文

相关论文: Provably $\Delta^0_2$ and weakly descending chains

200 篇论文

Answering an open question raised by Cooper, we show that there exist $\Delta^0_2$ sets $D$ and $E$ such that the singleton degree of $E$ is a minimal cover of the singleton degree of $D$. This shows that the $\Sigma^{0}_{2}$ singleton…

逻辑 · 数学 2024-12-30 Thomas F. Kent , Keng Meng Ng , Andrea Sorbi

We give a new graph-theoretic proof of Cobham's Theorem which says that the support of an automatic sequence is either sparse or grows at least like $N^\alpha$ for some $\alpha > 0$. The proof uses the notions of tied vertices and cycle…

组合数学 · 数学 2024-05-21 Mieke Wessel

In this paper we give a proof of Enomoto's conjecture for graphs of sufficiently large order. Enomoto's conjecture states that, if $G$ is a graph of order $n$ with minimum degree $\delta(G)\geq \frac{n}{2}+1$, then for any pair of vertices…

组合数学 · 数学 2021-01-14 Weihua He , Hao Li , Qiang Sun

For $\delta>0$ sufficiently small and $A\subset \mathbb{Z}^k$ with $|A+A|\le (2^k+\delta)|A|$, we show either $A$ is covered by $m_k(\delta)$ parallel hyperplanes, or satisfies $|\widehat{\operatorname{co}}(A)\setminus A|\le c_k\delta |A|$,…

数论 · 数学 2022-12-07 Peter van Hintum , Hunter Spink , Marius Tiba

A binary code is said to be a disjunctive list-decoding $s_L$-code, $s\ge1$, $L\ge1$, (briefly, LD $s_L$-code) if the code is identified by the incidence matrix of a family of finite sets in which the union of any $s$ sets can cover not…

信息论 · 计算机科学 2014-07-10 A. G. Dyachkov , I. V. Vorobyev , N. A. Polyanskii , V. Yu. Shchukin

We deal with the distribution of the fractional parts of $p^{\lambda}$, $p$ running over the prime numbers and $\lambda$ being a fixed real number lying in the interval $(0,1)$. Roughly speaking, we study the following question: Given a…

数论 · 数学 2007-05-23 Stephan Baier

We prove that, under some conditions, a linear nonautonomous difference system is Bylov's almost reducible to a diagonal one whose terms are contained in the Sacker and Sell spectrum of the original system. We also provide an example of the…

经典分析与常微分方程 · 数学 2016-09-30 Alvaro Castañeda , Gonzalo Robledo

We prove a query complexity variant of the weak polynomial Freiman-Ruzsa conjecture in the following form. For any $\epsilon > 0$, a set $A \subset \mathbb{Z}^d$ with doubling $K$ has a subset of size at least $K^{-\frac{4}{\epsilon}}|A|$…

数论 · 数学 2022-01-14 Dmitrii Zhelezov , Dömötör Pálvölgyi

We show that provided $\log^{50} n/n \leq p \leq 1 - n^{-1/4}\log^9 n$ we can with high probability find a collection of $\lfloor \delta(G)/2 \rfloor$ edge-disjoint Hamilton cycles in $G \sim G_{n, p}$, plus an additional edge-disjoint…

组合数学 · 数学 2013-05-09 Fiachra Knox , Daniela Kühn , Deryk Osthus

We use a randomised embedding method to prove that for all \alpha>0 any sufficiently large oriented graph G with minimum in-degree and out-degree \delta^+(G),\delta^-(G)\geq (3/8+\alpha)|G| contains every possible orientation of a Hamilton…

组合数学 · 数学 2009-08-06 Luke Kelly

The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than $2^{\alpeh_0}$, so under the Continuum Hypothesis such a family is necessarily countable. However, it is…

一般拓扑 · 数学 2016-09-20 Charles J. G. Morgan , Samuel G. Da Silva

We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and…

组合数学 · 数学 2025-04-15 Dingyuan Liu , Letícia Mattos , Tibor Szabó

A pair of probability distributions over $\{0,1\}^n$ is said to be $(k,\delta)$-wise indistinguishable if all of the size $k$ marginals are within statistical distance at most $\delta$. Previous works introduced this concept and study when…

计算复杂性 · 计算机科学 2026-05-14 Christopher Williamson

In this paper we consider the set of mu-types, an extension of the set of simple types freely generated from a set of atomic types and the type constructor ->, by a new operator mu, to explicitly denote solutions of recursive equations like…

计算机科学中的逻辑 · 计算机科学 2011-02-02 Wil Dekkers

We prove a lower bound on the maximum of the Riemann zeta function in a typical short interval on the critical line. Together with the upper bound from the previous work of the authors, this implies tightness of $$ \max_{|h|\leq…

数论 · 数学 2023-07-04 Louis-Pierre Arguin , Paul Bourgade , Maksym Radziwiłł

In 2011, Guruswami-H{\aa}stad-Kopparty \cite{Gru} showed that the list-decodability of random linear codes is as good as that of general random codes. In the present paper, we further strengthen the result by showing that the…

信息论 · 计算机科学 2016-11-22 Lingfei Jin , Chaoping Xing , Xiande Zhang

Let $a(1) >0$, $a(n) \ge 0$ for $n \ge 2$ and $a(n) = O(n^\varepsilon)$ for any $\varepsilon >0$, and put $Z(\sigma + it):= \sum_{n=1}^\infty a(n) n^{-\sigma - it}$ where $\sigma , t \in {\mathbb{R}}$. In the present paper, we show that any…

数论 · 数学 2022-09-28 Takashi Nakamura

We prove a conjecture of Dukes and Herke concerning the possible orders of a basis for the cyclic group Z_n, namely : For each k \in N there exists a constant c_k > 0 such that, for all n \in N, if A \subseteq Z_n is a basis of order…

数论 · 数学 2009-07-04 Peter Hegarty

We consider Markov chains on the space of (countable) partitions of the interval $[0,1]$, obtained first by size biased sampling twice (allowing repetitions) and then merging the parts with probability $\beta_m$ (if the sampled parts are…

概率论 · 数学 2007-05-23 Eddy Mayer-Wolf , Ofer Zeitouni , Martin P. W. Zerner

Continuing previous study of the Beurling zeta function, here we prove two results, generalizing long existing knowledge regarding the classical case of the Riemann zeta function and some of its generalizations. First, we address the…

数论 · 数学 2022-09-16 Szilárd Gy. Révész
‹ 上一页 1 8 9 10 下一页 ›