English
Related papers

Related papers: Refuting Perfect Matchings in Spectral Expanders i…

200 papers

A new sufficient condition for a list of real numbers to be the spectrum of a symmetric doubly stochastic matrix is presented; this is a contribution to the classical spectral inverse problem for symmetric doubly stochastic matrices that is…

Spectral Theory · Mathematics 2020-01-27 Michal Gnacik , Tomasz Kania

In this paper we prove an upper bound on the "size" of the set of multiplicatively $\psi$-approximable points in $\mathbb R^d$ for $d>1$ in terms of $f$-dimensional Hausdorff measure. This upper bound exactly complements the known lower…

Number Theory · Mathematics 2018-03-12 Mumtaz Hussain , David Simmons

Existence of a perfect matching in a random bipartite digraph with bipartition $(V_1, V_2)$, $|V_i|=n$, is studied. The graph is generated in two rounds of random selections of a potential matching partner such that the average number of…

Combinatorics · Mathematics 2019-03-15 Michal Karoński , Ed Overman , Boris Pittel

In this paper we review the asymptotic matching conjectures for $r$-regular bipartite graphs, and their connections in estimating the monomer-dimer entropies in $d$-dimensional integer lattice and Bethe lattices. We prove new rigorous upper…

Combinatorics · Mathematics 2008-04-11 Shmuel Friedland , Elliot Krop , Per Hakan Lundow , Klas Markström

We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional, algebraic, and semi-algebraic proof systems, the classical constructions of…

Computational Complexity · Computer Science 2018-09-26 Albert Atserias , Joanna Ochremiak

A recent breakthrough of Behnezhad and Ghafari [FOCS 2024] and subsequent work of Assadi, Khanna, and Kiss [SODA 2025] gave algorithms for the fully dynamic $(1-\varepsilon)$-approximate maximum matching problem whose runtimes are…

Data Structures and Algorithms · Computer Science 2025-02-05 Kevin Pratt

A conjecture of Berge suggests that every bridgeless cubic graph can have its edges covered with at most five perfect matchings. Since three perfect matchings suffice only when the graph in question is $3$-edge-colourable, the rest of cubic…

Combinatorics · Mathematics 2020-08-05 Edita Máčajová , Martin Škoviera

We study the perfect matching lattice of a matching covered graph $G$, generated by the incidence vectors of its perfect matchings. Building on results of Lov\'asz and de Carvalho, Lucchesi, and Murty, we give a polynomial-time algorithm…

Combinatorics · Mathematics 2025-11-07 Olha Silina

Thanks to recent advances in parametric geometry of numbers, we know that the spectrum of any set of $m$ exponents of Diophantine approximation to points in $\mathbb{R}^n$ (in a general abstract setting) is a compact connected subset of…

Number Theory · Mathematics 2022-02-02 Martin Rivard-Cooke , Damien Roy

We prove that for every $\epsilon>0$ and predicate $P:\{0,1\}^k\rightarrow \{0,1\}$ that supports a pairwise independent distribution, there exists an instance $\mathcal{I}$ of the $\mathsf{Max}P$ constraint satisfaction problem on $n$…

Computational Complexity · Computer Science 2015-03-30 Boaz Barak , Siu On Chan , Pravesh Kothari

For a graph $G$, let $\nu_s(G)$ be the induced matching number of $G$. We prove that $\nu_s(G) \geq \frac{n(G)}{(\lceil\frac{\Delta}{2}\rceil+1) (\lfloor\frac{\Delta}{2}\rfloor+1)}$ for every graph of sufficiently large maximum degree…

Combinatorics · Mathematics 2014-06-11 Felix Joos

We are interested in the automatic refutation of spectral graph theory conjectures. Most existing works address this problem either with the exhaustive generation of graphs with a limited size or with deep reinforcement learning. Exhaustive…

Artificial Intelligence · Computer Science 2024-09-30 Milo Roucairol , Tristan Cazenave

A perfect matching in a 4-uniform hypergraph is a subset of $\lfloor\frac{n}{4}\rfloor$ disjoint edges. We prove that if $H$ is a sufficiently large 4-uniform hypergraph on $n=4k$ vertices such that every vertex belongs to more than…

Discrete Mathematics · Computer Science 2015-03-18 Imdadullah Khan

We prove that any mixed-integer linear extended formulation for the matching polytope of the complete graph on $n$ vertices, with a polynomial number of constraints, requires $\Omega(\sqrt{\sfrac{n}{\log n}})$ many integer variables. By…

Optimization and Control · Mathematics 2022-06-27 Robert Hildebrand , Robert Weismantel , Rico Zenklusen

The Matrix Spencer Conjecture asks whether given $n$ symmetric matrices in $\mathbb{R}^{n \times n}$ with eigenvalues in $[-1,1]$ one can always find signs so that their signed sum has singular values bounded by $O(\sqrt{n})$. The standard…

Data Structures and Algorithms · Computer Science 2019-11-01 Victor Reis , Thomas Rothvoss

Let $n\in \mathbb{N}$ and $d_1 \geq d_2 \geq d_n\geq 1$ be integers. There is characterization of when $(d_1, d_1, \ldots, d_n)$ is the degree sequence of a graph containing a perfect matching, due to results of Lov\'{a}sz (1974) and…

Combinatorics · Mathematics 2025-10-02 Joseph Briggs , Jessica McDonald , Songling Shan

We study the existence of perfect matchings in suitably chosen induced subgraphs of random biregular bipartite graphs. We prove a result similar to a classical theorem of Erdos and Renyi about perfect matchings in random bipartite graphs.…

Combinatorics · Mathematics 2013-09-10 Guillem Perarnau , Giorgis Petridis

In 2016, Chandrasekaran, V\'egh, and Vempala published a method to solve the minimum-cost perfect matching problem on an arbitrary graph by solving a strictly polynomial number of linear programs. However, their method requires a strong…

Combinatorics · Mathematics 2019-08-30 Amber Q Chen , Kevin K. H. Cheung , P. Michael Kielstra , Andrew Winn

We consider the problem of perfectly recovering the vertex correspondence between two correlated Erd\H{o}s-R\'enyi (ER) graphs. For a pair of correlated graphs on the same vertex set, the correspondence between the vertices can be obscured…

Information Theory · Computer Science 2016-02-03 Daniel Cullina , Negar Kiyavash

A matching in a graph $G$ is a set of independent edges in $G$. A perfect matching in a graph $G$ is a matching which saturates all the vertices of $G$. A fractional perfect matching in a graph $G$ is a function $h:E(G)\rightarrow [0,1]$…

Combinatorics · Mathematics 2026-04-08 Sizhong Zhou