Showing 20 papers (Total: 82311 papers, 47607 authors in database)
The spectrum of the Grigoriev-Laurent pseudomoments
Published
• View Publication
• BIB
Grigoriev (2001) and Laurent (2003) independently showed that the sum-of-squares hierarchy of semidefinite programs does not exactly represent the hypercube $\{\pm 1\}^n$ until degree at least $n$ of the hierarchy. Laurent also observed that the pseudomoment matrices her proof constructs appear to have surprisingly simple and recursively structured spectra as $n$ increases. While several new proofs of the Grigoriev-Laurent lower bound have since appeared, Laurent's observations have remained unproved. We give yet another, representation-theoretic proof of the lower bound, which also yields exact formulae for the eigenvalues of the Grigoriev-Laurent pseudomoments. Using these, we prove and elaborate on Laurent's observations.
Our arguments have two features that may be of independent interest. First, we show that the Grigoriev-Laurent pseudomoments are a special case of a Gram matrix construction of pseudomoments proposed by Bandeira and Kunisky (2020). Second, we find a new realization of the irreducible representations of the symmetric group corresponding to Young diagrams with two rows, as spaces of multivariate polynomials that are multiharmonic with respect to an equilateral simplex.
Computing equivalence classes of finite group actions on orientable surfaces: A dynamic survey
This paper focuses on the classification of classes of topological equivalence of finite group actions on Riemann surfaces. By the Riemann-Hurwitz bound, there are just finitely many groups that act conformally on a closed orientable surface $\mathcal{S}_g$ of genus $g\geq 2$. With each such action of a group $\mathrm{G}$ on $\mathcal{S}_g$ one can associate the fundamental group $Γ=π(\mathcal{O})$ of the quotient orbifold $\mathcal{O}=\mathcal{S}_g/\mathrm{G}$, isomorphic to a Fuchsian group determined completely by orbifold's signature. The Riemann existence theorem reduces the problem of the existence of an action of $\mathrm{G}$ on $\mathcal{S}_g$ to a purely group-theoretical problem of deciding whether there is an smooth epimorphism mapping the Fuchsian group $Γ$ onto the group $\mathrm{G}$. Using computer algebra systems such as \textsc{Magma} or GAP, together with the library of small groups, the generation of all finite group actions on a surface of fixed small genus $g\geq 2$ becomes almost a routine procedure. The difficult part is to determine the classes of these actions with respect to topological equivalence. To achieve this, one needs to investigate the action of the automorphism group of a Fuchsian group on the set of finite group actions on $\mathcal{S}_g$ with the corresponding signature. In this paper we derive several results on the topological equivalence of finite group actions on Riemann surfaces. As an application, we derive complete lists of finite group actions of genus $g\leq 9$ distinguished up to the topological equivalence. A summary of the actions can be found in Appendix, the reader interested in more details is referred to the web page [22]. It is expected that we will be able to extend the list to higher genera, refreshed partial results are available on the web page. The following text is an extended version of the paper [23].
Four-point semidefinite bound for equiangular lines
A set of lines in $\mathbb{R}^d$ passing through the origin is called equiangular if any two lines in the set form the same angle. We proved an alternative version of the three-point semidefinite constraints developed by Bachoc and Vallentin, and the multi-point semidefinite constraints developed by Musin for spherical codes. The alternative semidefinite constraints are simpler when the concerned object is a spherical $s$-distance set. Using the alternative four-point semidefinite constraints, we found the four-point semidefinite bound for equiangular lines. This result improves the upper bounds for infinitely many dimensions $d$ with prescribed angles. As a corollary of the bound, we proved the uniqueness of the maximum construction of equiangular lines in $\mathbb{R}^d$ for $7 \leq d \leq 14$ with inner product $α= 1/3$, and for $23 \leq d \leq 64$ with $α= 1/5$.
Representations on the cohomology of $\overline{\mathcal{M}}_{0,n}$
The moduli space $\overline{\mathcal{M}}_{0,n}$ of $n$ pointed stable curves of genus $0$ admits an action of the symmetric group $S_n$ by permuting the marked points. We provide a closed formula for the character of the $S_n$-action on the cohomology of $\overline{\mathcal{M}}_{0,n}$. This is achieved by studying wall crossings of the moduli spaces of quasimaps which provide us with a new inductive construction of $\overline{\mathcal{M}}_{0,n}$, equivariant with respect to the symmetric group action. Moreover we prove that $H^{2k}(\overline{\mathcal{M}}_{0,n})$ for $k\le 3$ and $H^{2k}(\overline{\mathcal{M}}_{0,n})\oplus H^{2k-2}(\overline{\mathcal{M}}_{0,n})$ for any $k$ are permutation representations. Our method works for related moduli spaces as well and we provide a closed formula for the character of the $S_n$-representation on the cohomology of the Fulton-MacPherson compactification $\mathbb{P}^1[n]$ of the configuration space of $n$ points on $\mathbb{P}^1$ and more generally on the cohomology of the moduli space $\overline{\mathcal{M}}_{0,n}(\mathbb{P}^{m-1},1)$ of stable maps.
Moser-Tardos Algorithm with small number of random bits
We study a variant of the parallel Moser-Tardos Algorithm. We prove that if we restrict attention to a class of problems whose dependency graphs have subexponential growth, then the expected total number of random bits used by the algorithm is constant; in particular, it is independent from the number of variables. This is achieved by using the same random bits to resample variables which are far enough in the dependency graph.
There are two corollaries. First, we obtain a deterministic algorithm for finding a satisfying assignment, which for any class of problems as in the previous paragraph runs in time O(n), where n is the number of variables. Second, we present a Borel version of the Lovász Local Lemma.
Edge and Pair Queries -- Random Graphs and Complexity
Published
• View Publication
• BIB
We investigate two types of query games played on a graph, pair queries and edge queries. We concentrate on investigating the two associated graph parameters for binomial random graphs, and showing that determining any of the two parameters is NP-hard for bounded degree graphs.
Integer Sets of Large Harmonic Sum Which Avoid Long Arithmetic Progressions
We give conditions under which certain digit-restricted integer sets avoid $k$-term arithmetic progressions. These sets and their harmonic sums can be computed efficiently. Through large-scale search, we identify integer sets avoiding arithmetic progressions of length 4 and 10 whose harmonic sums exceed earlier "greedy" constructions.
Sparse recovery properties of discrete random matrices
Published in Combinatorics, Probability and Computing, 32(2), 316-325, 2023
• View Publication
• BIB
Motivated by problems from compressed sensing, we determine the threshold behavior of a random $n\times d$ $\pm 1$ matrix $M_{n,d}$ with respect to the property "every $s$ columns are linearly independent". In particular, we show that for every $0<δ<1$ and $s=(1-δ)n$, if $d\leq n^{1+1/2(1-δ)-o(1)}$ then with high probability every $s$ columns of $M_{n,d}$ are linearly independent, and if $d\geq n^{1+1/2(1-δ)+o(1)}$ then with high probability there are some $s$ linearly dependent columns.
The least singular value of a random symmetric matrix
Published
• View Publication
• BIB
Let $A$ be a $n \times n$ symmetric matrix with $(A_{i,j})_{i\leq j} $, independent and identically distributed according to a subgaussian distribution. We show that $$\mathbb{P}(σ_{\min}(A) \leq \varepsilon/\sqrt{n}) \leq C \varepsilon + e^{-cn},$$ where $σ_{\min}(A)$ denotes the least singular value of $A$ and the constants $C,c>0 $ depend only on the distribution of the entries of $A$. This result confirms a folklore conjecture on the lower-tail asymptotics of the least singular value of random symmetric matrices and is best possible up to the dependence of the constants on the distribution of $A_{i,j}$. Along the way, we prove that the probability $A$ has a repeated eigenvalue is $e^{-Ω(n)}$, thus confirming a conjecture of Nguyen, Tao and Vu.
Cheeger Inequalities for Vertex Expansion and Reweighted Eigenvalues
Published
• View Publication
• BIB
The classical Cheeger's inequality relates the edge conductance $φ$ of a graph and the second smallest eigenvalue $λ_2$ of the Laplacian matrix. Recently, Olesker-Taylor and Zanetti discovered a Cheeger-type inequality $ψ^2 / \log |V| \lesssim λ_2^* \lesssim ψ$ connecting the vertex expansion $ψ$ of a graph $G=(V,E)$ and the maximum reweighted second smallest eigenvalue $λ_2^*$ of the Laplacian matrix.
In this work, we first improve their result to $ψ^2 / \log d \lesssim λ_2^* \lesssim ψ$ where $d$ is the maximum degree in $G$, which is optimal assuming the small-set expansion conjecture. Also, the improved result holds for weighted vertex expansion, answering an open question by Olesker-Taylor and Zanetti. Building on this connection, we then develop a new spectral theory for vertex expansion. We discover that several interesting generalizations of Cheeger inequalities relating edge conductances and eigenvalues have a close analog in relating vertex expansions and reweighted eigenvalues. These include an analog of Trevisan's result on bipartiteness, an analog of higher order Cheeger's inequality, and an analog of improved Cheeger's inequality.
Finally, inspired by this connection, we present negative evidence to the $0/1$-polytope edge expansion conjecture by Mihail and Vazirani. We construct $0/1$-polytopes whose graphs have very poor vertex expansion. This implies that the fastest mixing time to the uniform distribution on the vertices of these $0/1$-polytopes is almost linear in the graph size. This does not provide a counterexample to the conjecture, but this is in contrast with known positive results which proved poly-logarithmic mixing time to the uniform distribution on the vertices of subclasses of $0/1$-polytopes.
Enumerating coprime permutations
Published
• View Publication
• BIB
Define a permutation $σ$ to be coprime if $\gcd(m,σ(m)) = 1$ for $m\in[n]$. In this note, proving a recent conjecture of Pomerance, we prove that the number of coprime permutations on $[n]$ is $n!\cdot (c+o(1))^n$ where \[c = \prod_{p\text{ prime }}\frac{(p-1)^{2(1-1/p)}}{p\cdot (p-2)^{(1-2/p)}}.\] The techniques involve entropy maximization for the upper bound, and a mixture of number-theoretic bounds, permanent estimates, and the absorbing method for the lower bound.
Matroids in toric topology
In this paper we study general torus actions on manifolds with isolated fixed points from combinatorial point of view. The main object of study is the poset of face submanifolds of such actions. We introduce the notion of a locally geometric poset -- the graded poset locally modelled by geometric lattices, and prove that for any torus action, the poset of its faces is locally geometric. Next we discuss the relations between posets of faces and GKM-theory. In particular, we define the face poset of an abstract GKM-graph and show how to reconstruct the face poset of a manifold from its GKM-graph.
Schmidt-type theorems for partitions with uncounted parts
Schmidt's theorem is significantly generalized, to partitions in which periodic but otherwise arbitrary subsets of parts are counted or uncounted. The identification of such sets of partitions with colored partitions satisfying certain specifications may be a generally useful tool for establishing sum-product $q$-series identities, examples of which are given.
Synchronizing Boolean networks asynchronously
Published
• View Publication
• BIB
The {\em asynchronous automaton} associated with a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$, considered in many applications, is the finite deterministic automaton where the set of states is $\{0,1\}^n$, the alphabet is $[n]$, and the action of letter $i$ on a state $x$ consists in either switching the $i$th component if $f_i(x)\neq x_i$ or doing nothing otherwise. These actions are extended to words in the natural way. A word is then {\em synchronizing} if the result of its action is the same for every state. In this paper, we ask for the existence of synchronizing words, and their minimal length, for a basic class of Boolean networks called and-or-nets: given an arc-signed digraph $G$ on $[n]$, we say that $f$ is an {\em and-or-net} on $G$ if, for every $i\in [n]$, there is $a$ such that, for all state $x$, $f_i(x)=a$ if and only if $x_j=a$ ($x_j\neq a$) for every positive (negative) arc from $j$ to $i$; so if $a=1$ ($a=0$) then $f_i$ is a conjunction (disjunction) of positive or negative literals. Our main result is that if $G$ is strongly connected and has no positive cycles, then either every and-or-net on $G$ has a synchronizing word of length at most $10(\sqrt{5}+1)^n$, much smaller than the bound $(2^n-1)^2$ given by the well known Černý's conjecture, or $G$ is a cycle and no and-or-net on $G$ has a synchronizing word. This contrasts with the following complexity result: it is coNP-hard to decide if every and-or-net on $G$ has a synchronizing word, even if $G$ is strongly connected or has no positive cycles.
Saturation of Ordered Graphs
Recently, the saturation problem of $0$-$1$ matrices gained a lot of attention. This problem can be regarded as a saturation problem of ordered bipartite graphs. Motivated by this, we initiate the study of the saturation problem of ordered and cyclically ordered graphs.
We prove that dichotomy holds also in these two cases, i.e., for a (cyclically) ordered graph its saturation function is either bounded or linear. We also determine the order of magnitude for large classes of (cyclically) ordered graphs, giving infinite many examples exhibiting both possible behaviours, answering a problem of Pálvölgyi. In particular, in the ordered case we define a natural subclass of ordered matchings, the class of linked matchings, and we start their systematic study, concentrating on linked matchings with at most three links and prove that many of them have bounded saturation function.
In both the ordered and cyclically ordered case we also consider the semisaturation problem, where dichotomy holds as well and we can even fully characterize the graphs that have bounded semisaturation function.
Arc coloring of odd graphs for hamiltonicity
Published
• View Publication
• BIB
Coloring the arcs of biregular graphs was introduced with possible applications to industrial chemistry, molecular biology, cellular neuroscience, etc. Here, we deal with arc coloring in some non-bipartite graphs. In fact, for $1<k\in\mathbb{Z}$, we find that the odd graph $O_k$ has an arc factorization with colors $0,1,\ldots,k$ such that the sum of colors of the two arcs of each edge equals $k$. This is applied to analyzing the influence of such arc factorizations in recently constructed uniform 2-factors in $O_k$ and in Hamilton cycles in $O_k$ as well as in its double covering graph known as the middle-levels graph $M_k$.
On the binary digits of $n$ and $n^2$
Published
• View Publication
• BIB
Let $s(n)$ denote the sum of digits in the binary expansion of the integer $n$. Hare, Laishram and Stoll (2011) studied the number of odd integers such that $s(n)=s(n^2)=k$, for a given integer $k\geq 1$. The remaining cases that could not be treated by theses authors were $k\in\{9,10,11,14,15\}$. In this paper we show that there is only a finite number of solutions for $k\in\{9,10,11\}$ and comment on the difficulties to settle the two remaining cases $k\in\{14,15\}$. A related problem is to study the solutions of $s(n^2)=4$ for odd integers. Bennett, Bugeaud and Mignotte (2012) proved that there are only finitely many solutions and conjectured that $n=13,15,47,111$ are the only solutions. In this paper, we give an algorithm to find all solutions with fixed sum of digits value, supporting this conjecture, as well as show related results for $s(n^2)=5$.
The Turán number of the grid
For a positive integer $t$, let $F_t$ denote the graph of the $t\times t$ grid. Motivated by a 50-year-old conjecture of Erdős about Turán numbers of $r$-degenerate graphs, we prove that there exists a constant $C=C(t)$ such that $\mathrm{ex}(n,F_t)\leq Cn^{3/2}$. This bound is tight up to the value of $C$. One of the interesting ingredients of our proof is a novel way of using the tensor power trick.
Constructible Graphs and Pursuit
Published
• View Publication
• BIB
A (finite or infinite) graph is called constructible if it may be obtained recursively from the one-point graph by repeatedly adding dominated vertices. In the finite case, the constructible graphs are precisely the cop-win graphs, but for infinite graphs the situation is not well understood. One of our aims in this paper is to give a graph that is cop-win but not constructible. This is the first known such example. We also show that every countable ordinal arises as the rank of some constructible graph, answering a question of Evron, Solomon and Stahl. In addition, we give a finite constructible graph for which there is no construction order whose associated domination map is a homomorphism, answering a question of Chastand, Laviolette and Polat. Lehner showed that every constructible graph is a weak cop win (meaning that the cop can eventually force the robber out of any finite set). Our other main aim is to investigate how this notion relates to the notion of `locally constructible' (every finite graph is contained in a finite constructible subgraph). We show that, under mild extra conditions, every locally constructible graph is a weak cop win. But we also give an example to show that, in general, a locally constructible graph need not be a weak cop win. Surprisingly, this graph may even be chosen to be locally finite. We also give some open problems.
Asymptotics of the hypergraph bipartite Turán problem
For positive integers $s,t,r$, let $K_{s,t}^{(r)}$ denote the $r$-uniform hypergraph whose vertex set is the union of pairwise disjoint sets $X,Y_1,\dots,Y_t$, where $|X| = s$ and $|Y_1| = \dots = |Y_t| = r-1$, and whose edge set is $\{\{x\} \cup Y_i: x \in X, 1\leq i\leq t\}$. The study of the Turán function of $K_{s,t}^{(r)}$ received considerable interest in recent years. Our main results are as follows. First, we show that
\begin{equation}
\mathrm{ex}(n,K_{s,t}^{(r)}) = O_{s,r}(t^{\frac{1}{s-1}}n^{r - \frac{1}{s-1}})
\end{equation}
for all $s,t\geq 2$ and $r\geq 3$, improving the power of $n$ in the previously best bound and resolving a question of Mubayi and Verstraëte about the dependence of $\mathrm{ex}(n,K_{2,t}^{(3)})$ on $t$. Second, we show that this upper bound is tight when $r$ is even and $t \gg s$. This disproves a conjecture of Xu, Zhang and Ge. Third, we show that the above upper bound is not tight for $r = 3$, namely that $\mathrm{ex}(n,K_{s,t}^{(3)}) = O_{s,t}(n^{3 - \frac{1}{s-1} - \varepsilon_s})$ (for all $s\geq 3$). This indicates that the behaviour of $\mathrm{ex}(n,K_{s,t}^{(r)})$ might depend on the parity of $r$. Lastly, we prove a conjecture of Ergemlidze, Jiang and Methuku on the hypergraph analogue of the bipartite Turán problem for graphs with bounded degrees on one side. Our tools include a novel twist on the dependent random choice method as well as a variant of the celebrated norm graphs constructed by Kollár, Rónyai and Szabó.