English
Related papers

Related papers: Counting solutions to invariant equations in dense…

200 papers

Model counting is a fundamental problem that consists of determining the number of satisfying assignments for a given Boolean formula. The weighted variant, which computes the weighted sum of satisfying assignments, has extensive…

Discrete Mathematics · Computer Science 2026-05-08 L. Sunil Chandran , Rishikesh Gajjala , Kuldeep S. Meel

A noncentral chi-square density is log-concave if the degree of freedom is nu>=2. We complement this known result by showing that, for each 0<nu<2, there exists lambda_nu>0 such that the chi-square with nu degrees of freedom and…

Statistics Theory · Mathematics 2011-06-28 Yaming Yu

Travelling-wave solutions of the inviscid Burgers equation having smooth initial wave profiles of suitable shapes are known to develop shocks (infinite gradients) in finite times. Such singular solutions are characterized by energy spectra…

Fluid Dynamics · Physics 2015-05-14 Chuong V. Tran , David G. Dritschel

In this paper, we showed that for some given suitable density and pressure, there exist infinitely many compactly supported solutions with prescribed energy profile. The proof is mainly based on the convex integration scheme. We construct…

Analysis of PDEs · Mathematics 2024-05-15 Anxiang Huang

Let $K=\mathbb{Q}(\omega)$ with $\omega$ the root of a degree $n$ monic irreducible polynomial $f\in\mathbb{Z}[X]$. We show the degree $n$ polynomial $N(\sum_{i=1}^{n-k}x_i\omega^{i-1})$ in $n-k$ variables formed by setting the final $k$…

Number Theory · Mathematics 2019-10-30 James Maynard

The resolution of linear system with positive integer variables is a basic yet difficult computational problem with many applications. We consider sparse uncorrelated random systems parametrised by the density $c$ and the ratio $\alpha=N/M$…

Statistical Mechanics · Physics 2017-10-11 S. Colabrese , D. De Martino , L. Leuzzi , E. Marinari

We give improved lower bounds for binary $3$-query locally correctable codes (3-LCCs) $C \colon \{0,1\}^k \rightarrow \{0,1\}^n$. Specifically, we prove: (1) If $C$ is a linear design 3-LCC, then $n \geq 2^{(1 - o(1))\sqrt{k} }$. A design…

Computational Complexity · Computer Science 2024-10-29 Pravesh K. Kothari , Peter Manohar

We show local and global scale invariant regularity estimates for subsolutions and supersolutions to the equation $-{\rm div}(A\nabla u+bu)+c\nabla u+du=-{\rm div}f+g$, assuming that $A$ is elliptic and bounded. In the setting of Lorentz…

Analysis of PDEs · Mathematics 2020-05-29 Georgios Sakellaris

We develop techniques to convexify a set that is invariant under permutation and/or change of sign of variables and discuss applications of these results. First, we convexify the intersection of the unit ball of a permutation and…

Optimization and Control · Mathematics 2021-08-10 Jinhak Kim , Mohit Tawarmalani , Jean-Philippe P. Richard

Let $\phi(\cdot)$ and $\sigma(\cdot)$ denote the Euler function and the sum of divisors function, respectively. In this paper, we give a lower bound for the number of positive integers $m\le x$ for which the equation $m=n-\phi(n)$ has no…

Number Theory · Mathematics 2007-05-23 William D. Banks , Florian Luca

A planar point set of $n$ points is called {\em $\gamma$-dense} if the ratio of the largest and smallest distances among the points is at most $\gamma\sqrt{n}$. We construct a dense set of $n$ points in the plane with…

Combinatorics · Mathematics 2019-04-01 István Kovács , Géza Tóth

Let $R(n)$ denote the number of rich words of length $n$ over a given finite alphabet. In 2017 it was proved that $\lim_{n\rightarrow\infty} \sqrt[n]{R(n)}=1$; it means the number of rich words has a subexponential growth. However, up to…

Combinatorics · Mathematics 2025-11-17 Josef Rukavicka

Given an infinite sequence of positive integers $\cA$, we prove that for every nonnegative integer $k$ the number of solutions of the equation $n=a_1+...+a_k$, $a_1,\,..., a_k\in \cA$, is not constant for $n$ large enough. This result is a…

Number Theory · Mathematics 2013-05-09 Juanjo Rué

A doubly degenerate parabolic equation in non-divergent form with variable growth is investigated in this paper. In suitable spaces, we prove the existence of weak solutions of the equation for cases $1\leq m < 2$ and $m\geq 2$ in different…

Analysis of PDEs · Mathematics 2024-04-24 Jingfeng Shao , Zhichang Guo , Zhongxiang Zhou

Let $\mathscr{M}_{(2,1)}(N)$ be the infimum of the largest sum-free subset of any set of $N$ positive integers. An old conjecture in additive combinatorics asserts that there is a constant $c=c(2,1)$ and a function $\omega(N)\to\infty$ as…

Combinatorics · Mathematics 2021-01-12 Yifan Jing , Shukun Wu

For any unsatisfiable CNF formula we give an exponential lower bound on the size of resolution refutations of a propositional statement that the formula has a resolution refutation. We describe three applications. (1) An open question in…

Computational Complexity · Computer Science 2019-05-30 Michal Garlík

We study the formula complexity of the word problem $\mathsf{Word}_{S_n,k} : \{0,1\}^{kn^2} \to \{0,1\}$: given $n$-by-$n$ permutation matrices $M_1,\dots,M_k$, compute the $(1,1)$-entry of the matrix product $M_1\cdots M_k$. An important…

Computational Complexity · Computer Science 2022-11-29 William He , Benjamin Rossman

For any given set $A$ of nonnegative integers and for any given two positive integers $k_1,k_2$, $R_{k_1,k_2}(A,n)$ is defined as the number of solutions of the equation $n=k_1a_1+k_2a_2$ with $a_1,a_2\in A$. In this paper, we prove that if…

Number Theory · Mathematics 2023-06-29 Shi-Qiang Chen

\noi In this article, we study the existence of non-negative solutions of the following polyharmonic Kirchhoff type problem with critical singular exponential nolinearity $$ \quad \left\{ \begin{array}{lr} \quad…

Analysis of PDEs · Mathematics 2016-04-04 Pawan Kumar Mishra , Sarika Goyal , K. Sreenadh

We show that the number of geometric permutations of an arbitrary collection of $n$ pairwise disjoint convex sets in $\mathbb{R}^d$, for $d\geq 3$, is $O(n^{2d-3}\log n)$, improving Wenger's 20 years old bound of $O(n^{2d-2})$.

Computational Geometry · Computer Science 2010-07-20 Natan Rubin , Haim Kaplan , Micha Sharir