相关论文: On bounded depth proofs for Tseitin formulas on th…

Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the…

We give new lower bounds for $M(n,d)$, for various positive integers $n$ and $d$ with $n>d$, where $M(n,d)$ is the largest number of permutations on $n$ symbols with pairwise Hamming distance at least $d$. Large sets of permutations on $n$…

Clemm and Trebat-Leder (2014) proved that the number of quadratic number fields with absolute discriminant bounded by $x$ over which there exist elliptic curves with good reduction everywhere and rational $j$-invariant is $\gg…

We exhibit a large class of symbols $m$ on $\R^d$, $d\geq 2$, for which the corresponding Fourier multipliers $T_m$ satisfy the following inequality. If $D$, $E$ are measurable subsets of $\R^d$ with $E\subseteq D$ and $|D|<\infty$, then $$…

We derive a formula which is a lower bound on the dimension of trivariate splines on a tetrahedral partition which are continuously differentiable of order $r$ in large enough degree. While this formula may fail to be a lower bound on the…

From known effective bounds on the prime counting function of the form \[ |\pi(x)-\mathrm{Li}(x)| < a \;x \;(\ln x)^{b} \; \exp\left(-{c}\; \sqrt{\ln x}\right); \qquad (x \geq x_0); \] it is possible to establish exponentially tight…

We report the finding of the new upper bound on the lowest positive integer $x$ for which the Mertens conjecture \begin{equation*} \left| \sum_{1 \leq n \leq x} \mu(n) \right| < \sqrt{x} \end{equation*} fails to hold: $x < \exp(1.017 \times…

Extending the recent work in hep-th/9803076, we consider string perturbative expansion in the presence of D-branes and orientifold planes imbedded in orbifolded space-time. In the $\alpha'\to 0$ limit the weak coupling string perturbative…

Consider the 3D Ising model on a box of side length $n$ with minus boundary conditions above the $xy$-plane and plus boundary conditions below it. At low temperatures, Dobrushin (1972) showed that the interface separating the predominantly…

We prove that there is a constant $c > 0$ depending only on $M \geq 1$ and $\mu \geq 0$ such that $$\int_y^{y+a}{|g(t)| \, dt} \geq \exp (-c/(a\delta))\,, a \in (0,\pi]\,,$$ for every $g$ of the form $$g(t) = \sum_{j=0}^n{a_j…

The purpose of this article is to further explore how the structure of the affine group can be used to deduce new incidence theorems, and to explore sum-product type applications of these incidence bounds, building on the recent work of…

For positive integers $1 \leq k \leq n$ let $M_n$ be the algebra of all $n \times n$ complex matrices and $M_n^{\le k}$ its subset consisting of all matrices of rank at most $k$. We first show that whenever $k>\frac{n}{2}$, any continuous…

In this paper we prove lower bounds for sizes of refutations of unsatisfiable vector Subset Sum instances $\overrightarrow{a}_1 x_1 + \dots + \overrightarrow{a}_n x_n = \overrightarrow{b}$ in the proof system Res(lin$_{\mathbb{F}_q}$) where…

Motivated by the fundamental lower bounds questions in proof complexity, we initiate the study of matrix identities as hard instances for strong proof systems. A matrix identity of $d \times d$ matrices over a field $\mathbb{F}$, is a…

Consider the $(2+1)$D Discrete Gaussian (ZGFF, integer-valued Gaussian free field) model in an $L\times L$ box above a hard floor. Bricmont, El-Mellouki and Fr\"ohlich (1986) established that, at low enough temperature, this random surface…

Let M be a subset of {0, .., n} and F be a family of subsets of an n element set such that the size of A intersection B is in M for every A, B in F. Suppose that l is the maximum number of consecutive integers contained in M and n is…

We show that the number of non-isotopic commutative semifields of odd order $p^{n}$ is exponential in $n$ when $n = 4t$ and $t$ is not a power of $2$. We introduce a new family of commutative semifields and a method for proving isotopy…

We prove upper bounds for the Morse index and number of intersections of min-max geodesics achieving the $p$-widths of a closed surface. A key tool in our analysis is a proof that for a generic set of metrics, the tangent cone at any vertex…

Given a positive increasing function $\varphi$, we show that for a full measure set of vectors $\alpha\in \mathbb{R}^d$, the maximal ergodic discrepancy of the $d$-linear form sequence $\left\{\sum_{1\le i\le d} k_i\alpha_i \mod…

We prove strengthened lower bounds for constant-depth set-multilinear formulas. More precisely, we show that over any field, there is an explicit polynomial $f$ in VNP defined over $n^2$ variables, and of degree $n$, such that any…