Related papers: On Extremal Properties of k-CNF: Capturing Thresho…

The Tur\'an number $\mathrm{ex}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex graph which does not contain $H$ as a subgraph. The Tur\'{a}n number of regular polyhedrons was widely studied in a series of works due to…

Cakoni and Nguyen recently proposed very general conditions on the coefficients of Maxwell equations for which they established the discreteness of the set of eigenvalues of the transmission problem and studied their locations. In this…

Let $K={\bf R}^n\subset {\bf C}^n$ and $Q(x):=\frac{1}{2}\log (1+x^2)$ where $x=(x_1,...,x_n)$ and $x^2 = x_1^2+\cdots +x_n^2$. Utilizing extremal functions for convex bodies in ${\bf R}^n\subset {\bf C}^n$ and Sadullaev's characterization…

The problem of minimizing the Potts energy function frequently occurs in computer vision applications. One way to tackle this NP-hard problem was proposed by Kovtun [19,20]. It identifies a part of an optimal solution by running $k$ maxflow…

Given a set $X$ and an integer $t$, let $\mathcal{F}$ be a family of $k$-subsets of $X$. The Kruskal--Katona theorem states that if $|\mathcal{F}|\geq \binom{t}{k}$, then $|\partial_\ell\mathcal{F}|\geq\binom{t}{\ell}$. The minimum degree…

For graphs $H$ and $F$, let $\text{ex}(n,H,F)$ be the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices. The study of this function, which generalizes the well-known Tur\'{a}n number of graphs, was systematically…

The QSAT problem is the quantified version of the SAT problem. We show the existence of a threshold effect for the phase transition associated with the satisfiability of random quantified extended 2-CNF formulas. We consider boolean CNF…

In this paper we raise a variant of a classic problem in extremal graph theory, which is motivated by a design of fractional repetition codes, a model in distributed storage systems. For any feasible positive integers $d\geq 3$, $n \geq 3$,…

Motivated by the wide-ranging applications of Hamiltonian decompositions in distributed computing, coded caching, routing, resource allocation, load balancing, and fault tolerance, our work presents a comprehensive design for Hamiltonian…

We describe an algorithm to solve the problem of Boolean CNF-Satisfiability when the input formula is chosen randomly. We build upon the algorithms of Sch{\"{o}}ning 1999 and Dantsin et al.~in 2002. The Sch{\"{o}}ning algorithm works by…

In this paper we investigate the sensitivity complexity of hypergraph properties. We present a $k$-uniform hypergraph property with sensitivity complexity $O(n^{\lceil k/3\rceil})$ for any $k\geq3$, where $n$ is the number of vertices.…

Chang's lemma (Duke Mathematical Journal, 2002) is a classical result with applications across several areas in mathematics and computer science. For a Boolean function $f$ that takes values in {-1,1} let $r(f)$ denote its Fourier rank. For…

We analyze the expressivity of a universal deep neural network that can be organized as a series of nested qubit rotations, accomplished by adjustable data re-uploads. While the maximal expressive power increases with the depth of the…

This paper continues the preceding paper on the problem of quantum dynamics on the lattice. Firstly we consider the multiple reflections of the wave function (Loschmidt echo). The phenomenon of wave function concentration on the impurity…

The trapping problem on graph (or network) as a typical focus of great interest has attracted more attention from various science fields, including applied mathematics and theoretical computer science, in the past. Here, we first study this…

Message passing neural networks (MPNNs) have emerged as the most popular framework of graph neural networks (GNNs) in recent years. However, their expressive power is limited by the 1-dimensional Weisfeiler-Lehman (1-WL) test. Some works…

It is a theorem of Ribet that an abelian variety defined over a number field $K$ has only finitely many torsion points with values in the maximal cyclotomic extension field $K^{\mathrm{cyc}}$ of $K$. Recently, R\"ossler and Szamuely…

Kernel methods represent one of the most powerful tools in machine learning to tackle problems expressed in terms of function values and derivatives due to their capability to represent and model complex relations. While these methods show…

In the $k$-Center problem, we are given a graph $G=(V,E)$ with positive edge weights and an integer $k$ and the goal is to select $k$ center vertices $C \subseteq V$ such that the maximum distance from any vertex to the closest center…

We call a CNF formula linear if any two clauses have at most one variable in common. We show that there exist unsatisfiable linear k-CNF formulas with at most 4k^2 4^k clauses, and on the other hand, any linear k-CNF formula with at most…