Related papers: A note on "A minimal congruence lattice representa…

Finding a stable matching is one of the central problems in algorithmic game theory. If participants are allowed to have ties and incomplete preferences, computing a stable matching of maximum cardinality is known to be NP-hard. In this…

The growth-rate function for a minor-closed class $\mathcal{M}$ of matroids is the function $h$ where, for each non-negative integer $r$, $h(r)$ is the maximum number of elements of a simple matroid in $\mathcal{M}$ with rank at most $r$.…

The size of the smallest $k$-regular graph of girth at least $g$ is denoted by the well-studied function $n(k,g)$. We introduce an analogous function $n(H,g)$, defined as the smallest size graph of girth at least $g$ that is a lift (or…

We introduce a refinement of the GPY sieve method for studying prime $k$-tuples and small gaps between primes. This refinement avoids previous limitations of the method, and allows us to show that for each $k$, the prime $k$-tuples…

Let $M = \mathbb{B}^2 / \Gamma$ be a smooth ball quotient of finite volume with first betti number $b_1(M)$ and let $\mathcal{E}(M) \ge 0$ be the number of cusps (i.e., topological ends) of $M$. We study the growth rates that are possible…

G. Cz\'edli and E.\,T. Schmidt introduced in 2012 the fork extension. Continuing from Part I, we investigate the congruences of a fork extension. This paper has been merged with Part I, under the title Congruences of fork extensions of slim…

We consider the structure $(\mathbb{Z},+,0,|_{p_{1}},\dots,|_{p_{n}})$, where $x|_{p}y$ means $v_{p}(x)\leq v_{p}(y)$ and $v_p$ is the $p$-adic valuation. We prove that its theory has quantifier elimination in the language…

Let $HD_d(p,q)$ denote the minimal size of a transversal that can always be guaranteed for a family of compact convex sets in $\mathbb{R}^d$ which satisfy the $(p,q)$-property ($p \geq q \geq d+1$). In a celebrated proof of the…

Given an integer $m\geq2$, the Hardy--Littlewood inequality (for real scalars) says that for all $2m\leq p\leq\infty$, there exists a constant $C_{m,p}% ^{\mathbb{R}}\geq1$ such that, for all continuous $m$--linear forms…

In 1968, E. T. Schmidt introduced the M\_3[D] construction, an extension of the five-element nondistributive lattice M\_3 by a bounded distributive lattice D, defined as the lattice of all triples $(x, y, z) \in D^3$ satisfying…

With the help of the recently introduced parametric geometry of numbers by W. M. Schmidt and L. Summerer, we prove a strong version of a conjecture of Schmidt concerning the successive minima of a lattice.

This paper discusses the topic of the minimum width of a regular resolution refutation of a set of clauses. The main result shows that there are examples having small regular resolution refutations, for which any regular refutation must…

Motivated by recent advances in solution methods for mixed-integer convex optimization (MICP), we study the fundamental and open question of which sets can be represented exactly as feasible regions of MICP problems. We establish several…

We obtain new results about the representation of almost all residues modulo a prime $p$ by a product of a small integer and also an element of small multiplicative subgroup of $({\mathbb Z}/p{\mathbb Z})^*$. These results are based on some…

Let $\Gamma$ be a chart, and we denote by $\Gamma_m$ the union of all the edges of label $m$. A chart $\Gamma$ is of type $(m;2,3,2)$ if $w(\Gamma)=7$, $w(\Gamma_m\cap\Gamma_{m+1})=2$, $w(\Gamma_{m+1}\cap\Gamma_{m+2})=3$, and…

We discuss the $2+1$ dimensional description of the $\Phi_{1,3}$ deformation of the minimal model $M_p$ leading to a transition $M_p \rightarrow M_{p-1}$. The deformation can be considered as an addition of the charged matter to the…

Following Aguil\'{o}-Su\~{n}er-Torrens (2008), Koles\'{a}rov\'{a}-Mesiar-Mordelov\'{a}-Sempi (2006) and Mayor-Su\~{n}er-Torrens (2005), we continue to develop a theory of matrix representation for discrete copulas. To be more precise, we…

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…

A connected graph $G$ with at least $2m+2n+2$ vertices is said to have property $E(m,n)$ if, for any two disjoint matchings $M$ and $N$ of size $m$ and $n$ respectively, $G$ has a perfect matching $F$ such that $M\subseteq F$ and $N\cap…

We extend the results of our recent preprint [arXiv: 1811.00515] into higher dimensions $n \geq 4$. For minimizing harmonic maps $u\in W^{1,2}(\Omega,\mathbb{S}^2)$ from $n$-dimensional domains into the two dimensional sphere we prove: (1)…