Showing 20 papers (Total: 84360 papers, 48587 authors in database)
On the width of transitive sets: bounds on matrix coefficients of finite groups
Published in Duke Math. J. 169, no. 3 (2020), 551-578
• View Publication
• BIB
We say that a finite subset of the unit sphere in $\mathbf{R}^d$ is transitive if there is a group of isometries which acts transitively on it. We show that the width of any transitive set is bounded above by a constant times $(\log d)^{-1/2}$.
This is a consequence of the following result: If $G$ is a finite group and $ρ: G \rightarrow \mbox{U}_d(\mathbf{C})$ a unitary representation, and if $v \in \mathbf{C}^d$ is a unit vector, there is another unit vector $w \in \mathbf{C}^d$ such that \[ \sup_{g \in G} |\langle ρ(g) v, w \rangle| \leq (1 + c \log d)^{-1/2}.\]
These results answer a question of Yufei Zhao. An immediate consequence of our result is that the diameter of any quotient $S(\mathbf{R}^d)/G$ of the unit sphere by a finite group $G$ of isometries is at least $π/2 - o_{d \rightarrow \infty}(1)$.
Cantor combinatorics and almost finiteness
In this survey we give a concise introduction to a continuous version of Borel combinatorics. Our approach will have a certain algorithm-theoretic nature and we will give special emphasis to the notion of almost finiteness introduced by Matui as a continuous analogue of Borel hyperfiniteness. We also show how the theory can be used to study spectral convergence for graph Laplacians.
$q$-Analogues of two Ramanujan-type formulas for $1/π$
Published
• View Publication
• BIB
We give $q$-analogues of the following two Ramanujan-type formulas for $1/π$: \begin{align*} \sum_{k=0}^\infty (6k+1)\frac{(\frac{1}{2})_k^3}{k!^3 4^k} =\frac{4}π \quad\text{and}\quad \sum_{k=0}^\infty (-1)^k(6k+1)\frac{(\frac{1}{2})_k^3}{k!^3 8^k } =\frac{2\sqrt{2}}π. \end{align*} Our proof is based on two $q$-WZ pairs found by the first author in his earlier work.
Random cliques in random graphs and sharp thresholds for $F$-factors
Published
• View Publication
• BIB
We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus Jeff Kahn's recent asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem implies a corresponding bound for the threshold for $G(n,p)$ to contain a $K_r$-factor. The case $r=3$ is more difficult, and has been settled by Annika Heckel. We also prove a corresponding result for $K_r^{(t)}$-factors in random $t$-uniform hypergraphs, as well as (in some cases weaker) generalizations replacing $K_r$ by certain other (hyper)graphs.
Volume growth, curvature, and Buser-type inequalities in graphs
Published
• View Publication
• BIB
We study the volume growth of metric balls as a function of the radius in discrete spaces, and focus on the relationship between volume growth and discrete curvature. We improve volume growth bounds under a lower bound on the so-called Ollivier curvature, and discuss similar results under other types of discrete Ricci curvature. Following recent work in the continuous setting of Riemannian manifolds (by the first author), we then bound the eigenvalues of the Laplacian of a graph under bounds on the volume growth. In particular, the spectral gap of the graph can be bounded using a weighted discrete Hardy inequality and the higher eigenvalues of the graph can be bounded by the eigenvalues of a tridiagonal matrix times a multiplicative factor, both of which only depend on the volume growth of the graph. As a direct application, we relate the eigenvalues to the Cheeger isoperimetric constant. Using these methods, we describe classes of graphs for which the Cheeger inequality is tight on the second eigenvalue. We also describe a method for proving Buser's inequality in graphs, particularly under a lower bound assumption on curvature.
On the irregularity of uniform hypergraphs
Published
• View Publication
• BIB
Let $H$ be an $r$-uniform hypergraph on $n$ vertices and $m$ edges, and let $d_i$ be the degree of $i\in V(H)$. Denote by $\varepsilon(H)$ the difference of the spectral radius of $H$ and the average degree of $H$. Also, denote \[ s(H)=\sum_{i\in V(H)}\left|d_i-\frac{rm}{n}\right|,~ v(H)=\frac{1}{n}\sum_{i\in V(H)}d_i^{\frac{r}{r-1}}-\left(\frac{rm}{n}\right)^{\frac{r}{r-1}}. \] In this paper, we investigate the irregularity of $r$-uniform hypergraph $H$ with respect to $\varepsilon(H)$, $s(H)$ and $v(H)$, which extend relevant results to uniform hypergraphs.
On the structure of random graphs with constant $r$-balls
Published
• View Publication
• BIB
We continue the study of the properties of graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to the ball of radius $r$ in some fixed vertex-transitive graph $F$, for various choices of $F$ and $r$. This is a natural extension of the study of regular graphs. More precisely, if $F$ is a vertex-transitive graph and $r \in \mathbb{N}$, we say a graph $G$ is {\em $r$-locally $F$} if the ball of radius $r$ around each vertex of $G$ induces a graph isomorphic to the graph induced by the ball of radius $r$ around any vertex of $F$. We consider the following random graph model: for each $n \in \mathbb{N}$, we let $G_n = G_n(F,r)$ be a graph chosen uniformly at random from the set of all unlabelled, $n$-vertex graphs that are $r$-locally $F$. We investigate the properties possessed by the random graph $G_n$ with high probability, for various natural choices of $F$ and $r$.
We prove that if $F$ is a Cayley graph of a torsion-free group of polynomial growth, and $r$ is sufficiently large depending on $F$, then the random graph $G_n = G_n(F,r)$ has largest component of order at most $n^{5/6}$ with high probability, and has at least $\exp(n^δ)$ automorphisms with high probability, where $δ>0$ depends upon $F$ alone. Both properties are in stark contrast to random $d$-regular graphs, which correspond to the case where $F$ is the infinite $d$-regular tree. We also show that, under the same hypotheses, the number of unlabelled, $n$-vertex graphs that are $r$-locally $F$ grows like a stretched exponential in $n$, again in contrast with $d$-regular graphs. In the case where $F$ is the standard Cayley graph of $\mathbb{Z}^d$, we obtain a much more precise enumeration result, and more precise results on the properties of the random graph $G_n(F,r)$. Our proofs use a mixture of results and techniques from geometry, group theory and combinatorics.
Updated estimate of the number of edges in induced subgraphs of a special distance graph
In this article, the author proposes a new approach for the estimating of the number of edges in induced subgraphs of a special distance graph. Author significantly improves previous estimates and suggests a new approach to obtaining better ones.
Fixing monotone Boolean networks asynchronously
Published
• View Publication
• BIB
The asynchronous automaton associated with a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ is considered in many applications. It is the finite deterministic automaton with set of states $\{0,1\}^n$, alphabet $\{1,\dots,n\}$, where 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. This action is extended to words in the natural way. We then say that a word $w$ fixes $f$ if, for all states $x$, the result of the action of $w$ on $x$ is a fixed point of $f$. In this paper, we ask for the existence of fixing words, and their minimal length. Firstly, our main results concern the minimal length of words that fix monotone networks. We prove that, for $n$ sufficiently large, there exists a monotone network $f$ with $n$ components such that any word fixing $f$ has length $Ω(n^2)$. For this first result we prove, using Baranyai's theorem, a property about shortest supersequences that could be of independent interest: there exists a set of permutations of $\{1,\dots,n\}$ of size $2^{o(n)}$, such that any sequence containing all these permutations as subsequences is of length $Ω(n^2)$. Conversely, we construct a word of length $O(n^3)$ that fixes all monotone networks with $n$ components. Secondly, we refine and extend our results to different classes of fixable networks, including networks with an acyclic interaction graph, increasing networks, conjunctive networks, monotone networks whose interaction graphs are contained in a given graph, and balanced networks.
On the polynomial Szemerédi theorem in finite fields
Published in Duke Math. J. 168, no. 5 (2019), 749-774
• View Publication
• BIB
Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be any linearly independent polynomials with zero constant term. We show that there exists a $γ>0$ such that any subset of $\mathbb{F}_q$ of size at least $q^{1-γ}$ contains a nontrivial polynomial progression $x,x+P_1(y),\dots,x+P_m(y)$, provided the characteristic of $\mathbb{F}_q$ is large enough.
Listening to the cohomology of graphs
We prove that the spectrum of the Kirchhoff Laplacian H0 of a finite simple Barycentric refined graph and the spectrum of the connection Laplacian L of G determine each other: we prove that L-L^(-1) is similar to the Hodge Laplacian H of G which is in one dimensions the direct sum of the Kirchhoff Laplacian H0 and its 1-form analog H1. The spectrum of a single choice of H0,H1 or H alone determines the Betti numbers b0,b1 of G as well as the spectrum of the other matrices. It follows that b0 is the number of eigenvalues 1 of L and that b1 is the number of eigenvalues -1 of L. For a general abstract finite simplicial complex G, we express the matrix entries g(x,y) = w(x) w(y) X( St(x) cap St(y) ) of the inverse of L using stars St(x)= { z in G | x subset of z } of x and w(x)=(-1)^dim(x) and Euler characteristic X. One can see W+(x)=St(x) and W-(x)={ z in G | z subset x } as stable and unstable manifolds of a simplex x in G and g(x,y) =w(x) w(y) X(W+(x) cap W+(y)) as heteroclinic intersection numbers or curvatures and the identity L g=1 as a collection of Gauss-Bonnet formulas. The homoclinic energy w(x)=X(W+(x) cap W-(x)) by definition adds up to X(G). The matrix M(x,y)=w(x) w(y) X(W-(x) cap W-(y)) is similar to L(x,y)=X(W-(x) cap W-(y)). The sum of the matrix entries of M is the definition of Wu characteristic. For dimension 2 and higher we don't know yet how to recover the Betti numbers from the eigenvalues of the matrix H or from L. So far, it can only be obtained from a collection of block matrices, via the Hodge relations b_k = dim(H_k). A natural conjecture is that for a Barycentric refinement of a complex G, the spectrum of L determines the Betti vector. We know this now in one dimensions.
Counting and Sampling from Markov Equivalent DAGs Using Clique Trees
Published
• View Publication
• BIB
A directed acyclic graph (DAG) is the most common graphical model for representing causal relationships among a set of variables. When restricted to using only observational data, the structure of the ground truth DAG is identifiable only up to Markov equivalence, based on conditional independence relations among the variables. Therefore, the number of DAGs equivalent to the ground truth DAG is an indicator of the causal complexity of the underlying structure--roughly speaking, it shows how many interventions or how much additional information is further needed to recover the underlying DAG. In this paper, we propose a new technique for counting the number of DAGs in a Markov equivalence class. Our approach is based on the clique tree representation of chordal graphs. We show that in the case of bounded degree graphs, the proposed algorithm is polynomial time. We further demonstrate that this technique can be utilized for uniform sampling from a Markov equivalence class, which provides a stochastic way to enumerate DAGs in the equivalence class and may be needed for finding the best DAG or for causal inference given the equivalence class as input. We also extend our counting and sampling method to the case where prior knowledge about the underlying DAG is available, and present applications of this extension in causal experiment design and estimating the causal effect of joint interventions.
q-Analogues of two "divergent" Ramanujan-type supercongruences
Published
• View Publication
• BIB
Guillera and Zudilin proved three "divergent" Ramanujan-type supercongruences by means of the Wilf-Zeilberger algorithmic technique. In this paper, we prove $q$-analogues of two of them via the $q$-WZ method. Additionally, we give $q$-analogues of two related congruence of Sun, one is confirmed and the other is conjectural.
Star Edge Coloring of the Cartesian Product of Graphs
A star edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every path and cycle of length four in $G$ uses at least three different colors. The star chromatic index of a graph $G$, is the smallest integer $k$ for which $G$ admits a star edge coloring with $k$ colors. In this paper, we first obtain some upper bounds for the star chromatic index of the Cartesian product of two graphs. We then determine the exact value of the star chromatic index of $2$-dimensional grids. We also obtain some upper bounds on the star chromatic index of the Cartesian product of a path with a cycle, $d$-dimensional grids, $d$-dimensional hypercubes and $d$-dimensional toroidal grids, for every positive integer $d$.
Optimal bounds on codes for location in circulant graphs
Published
• View Publication
• BIB
Identifying and locating-dominating codes have been studied widely in circulant graphs of type $C_n(1,2,3,\dots, r)$ over the recent years. In 2013, Ghebleh and Niepel studied locating-dominating and identifying codes in the circulant graphs $C_n(1,d)$ for $d=3$ and proposed as an open question the case of $d > 3$. In this paper we study identifying, locating-dominating and self-identifying codes in the graphs $C_n(1,d)$, $C_n(1,d-1,d)$ and $C_n(1,d-1,d,d+1)$. We give a new method to study lower bounds for these three codes in the circulant graphs using suitable grids. Moreover, we show that these bounds are attained for infinitely many parameters $n$ and $d$. In addition, new approaches are provided which give the exact values for the optimal self-identifying codes in $C_n(1,3)$ and $C_n(1,4).$
Congruences for the Coefficients of the Powers of the Euler Product
Published
• View Publication
• BIB
Let $p_k(n)$ be given by the $k$-th power of the Euler Product $\prod _{n=1}^{\infty}(1-q^n)^k=\sum_{n=0}^{\infty}p_k(n)q^{n}$. By investigating the properties of the modular equations of the second and the third order under the Atkin $U$-operator, we determine the generating functions of $p_{8k}(2^{2α} n +\frac{k(2^{2α}-1)}{3})$ $(1\leq k\leq 3)$ and $p_{3k} (3^{2β}n+\frac{k(3^{2β}-1)}{8})$ $(1\leq k\leq 8)$ in terms of some linear recurring sequences. Combining with a result of Engstrom about the periodicity of linear recurring sequences modulo $m$, we obtain infinite families of congruences for $p_k(n)$ modulo any $m\geq2$, where $1\leq k\leq 24$ and $3|k$ or $8|k$. Based on these congruences for $p_k(n)$, infinite families of congruences for many partition functions such as the overpartition function, $t$-core partition functions and $\ell$-regular partition functions are easily obtained.
Counting inversions and descents of random elements in finite Coxeter groups
Published
• View Publication
• BIB
We investigate Mahonian and Eulerian probability distributions given by inversions and descents in general finite Coxeter groups. We provide uniform formulas for the means and variances in terms of Coxeter group data in both cases. We also provide uniform formulas for the double-Eulerian probability distribution of the sum of descents and inverse descents. We finally establish necessary and sufficient conditions for general sequences of Coxeter groups of increasing rank under which Mahonian and Eulerian probability distributions satisfy central and local limit theorems.
Exponential functions of finite posets and the number of extensions with a fixed set of minimal points
We establish formulas for the number of all downsets (or equivalently, of all antichains) of a finite poset P. Then, using these numbers, we determine recursively and explicitly the number of all posets having a fixed set of minimal points and inducing the poset P on the non- minimal points. It turns out that these counting functions are closely related to a collection of downset numbers of certain subposets. Since any function of that kind is an exponential sum (with the number of minimal points as exponent), we call it the exponential function of the poset. Some linear equations, divisibility relations, upper and lower bounds, and asymptotical equalities for the counting functions are deduced. A list of all such exponential functions for posets with up to five points concludes the paper.
Two $q$-analogues of Euler's formula $ζ(2)=π^2/6$
Published in Colloq. Math. 158 (2019), no.2, 313-320
• View Publication
• BIB
It is well known that $ζ(2)=π^2/6$ as discovered by Euler. In this paper we present the following two $q$-analogues of this celebrated formula: $$\sum_{k=0}^\infty\frac{q^k(1+q^{2k+1})}{(1-q^{2k+1})^2}=\prod_{n=1}^\infty\frac{(1-q^{2n})^4}{(1-q^{2n-1})^4}$$ and $$\sum_{k=0}^\infty\frac{q^{2k-\lfloor(-1)^kk/2\rfloor}}{(1-q^{2k+1})^2} =\prod_{n=1}^\infty\frac{(1-q^{2n})^2(1-q^{4n})^2}{(1-q^{2n-1})^2(1-q^{4n-2})^2},$$ where $q$ is any complex number with $|q|<1$. We also give a $q$-analogue of the identity $ζ(4)=π^4/90$, and pose a problem on $q$-analogues of Euler's formula for $ζ(2m)\ (m=3,4,\ldots)$.
On $q$-analogues of some series for $π$ and $π^2$
Published in Proc. Amer. Math. Soc. 147(2019), no.5, 1953-1961
• View Publication
• BIB
We obtain a new $q$-analogue of the classical Leibniz series $\sum_{k=0}^\infty(-1)^k/(2k+1)=π/4$, namely \begin{equation*} \sum_{k=0}^\infty\frac{(-1)^kq^{k(k+3)/2}}{1-q^{2k+1}}=\frac{(q^2;q^2)_{\infty}(q^8;q^8)_{\infty}}{(q;q^2)_{\infty}(q^4;q^8)_{\infty}}, \end{equation*} where $q$ is a complex number with $|q|<1$. We also show that the Zeilberger-type series $\sum_{k=1}^\infty(3k-1)16^k/(k\binom{2k}k)^3=π^2/2$ has two $q$-analogues with $|q|<1$, one of which is $$\sum_{n=0}^\infty q^{n(n+1)/2} \frac {1-q^{3n+2}} {1-q} \cdot\frac{(q;q)_n^3 (-q;q)_n}{(q^3;q^2)_{n}^3} = (1-q)^2 \frac{(q^2;q^2)^4_\infty}{(q;q^2)^4_\infty}.$$