Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The Phase Transition of Discrepancy in Random Hypergraphs
Published in SIAM Journal on Discrete Mathematics 37(3), 1818-1841, 2023
• View Publication
• BIB
Motivated by the Beck-Fiala conjecture, we study the discrepancy problem in two related models of random hypergraphs on $n$ vertices and $m$ edges. In the first (edge-independent) model, a random hypergraph $H_1$ is constructed by fixing a parameter $p$ and allowing each of the $n$ vertices to join each of the $m$ edges independently with probability $p$. In the parameter range in which $pn \rightarrow \infty$ and $pm \rightarrow \infty$, we show that with high probability (w.h.p.) $H_1$ has discrepancy at least $Ω(2^{-n/m} \sqrt{pn})$ when $m = O(n)$, and at least $Ω(\sqrt{pn \logγ})$ when $m \gg n$, where $γ= \min\{ m/n, pn\}$. In the second (edge-dependent) model, $d$ is fixed and each vertex of $H_2$ independently joins exactly $d$ edges uniformly at random. We obtain analogous results for this model by generalizing the techniques used for the edge-independent model with $p=d/m$. Namely, for $d \rightarrow \infty$ and $dn/m \rightarrow \infty$, we prove that w.h.p. $H_{2}$ has discrepancy at least $Ω(2^{-n/m} \sqrt{dn/m})$ when $m = O(n)$, and at least $Ω(\sqrt{(dn/m) \logγ})$ when $m \gg n$, where $γ=\min\{m/n, dn/m\}$. Furthermore, we obtain nearly matching asymptotic upper bounds on the discrepancy in both models (when $p=d/m$), in the dense regime of $m \gg n$. Specifically, we apply the partial colouring lemma of Lovett and Meka to show that w.h.p. $H_{1}$ and $H_{2}$ each have discrepancy $O( \sqrt{dn/m} \log(m/n))$, provided $d \rightarrow \infty$, $d n/m \rightarrow \infty$ and $m \gg n$. This result is algorithmic, and together with the work of Bansal and Meka characterizes how the discrepancy of each random hypergraph model transitions from $Θ(\sqrt{d})$ to $o(\sqrt{d})$ as $m$ varies from $m=Θ(n)$ to $m \gg n$.
Upper Bounds on the Boolean Rank of Kronecker Products
Published
• View Publication
• BIB
The Boolean rank of a $0,1$-matrix $A$, denoted $R_\mathbb{B}(A)$, is the smallest number of monochromatic combinatorial rectangles needed to cover the $1$-entries of $A$. In 1988, de Caen, Gregory, and Pullman asked if the Boolean rank of the Kronecker product $C_n \otimes C_n$ is strictly smaller than the square of $R_\mathbb{B}(C_n)$, where $C_n$ is the $n \times n$ matrix with zeros on the diagonal and ones everywhere else (Carib. Conf. Comb. & Comp., 1988). A positive answer was given by Watts for $n=4$ (Linear Alg. and its Appl., 2001). A result of Karchmer, Kushilevitz, and Nisan, motivated by direct-sum questions in non-deterministic communication complexity, implies that the Boolean rank of $C_n \otimes C_n$ grows linearly in that of $C_n$ (SIAM J. Disc. Math., 1995), and thus $R_\mathbb{B}(C_n \otimes C_n) < R_\mathbb{B}(C_n)^2$ for every sufficiently large $n$. Their proof relies on a probabilistic argument.
In this work, we present a general method for proving upper bounds on the Boolean rank of Kronecker products of $0,1$-matrices. We use it to affirmatively settle the question of de Caen et al. for all integers $n \geq 7$. We further provide an explicit construction of a cover of $C_n \otimes C_n$, whose number of rectangles nearly matches the optimal asymptotic bound. Our method for proving upper bounds on the Boolean rank of Kronecker products might find applications in different settings as well. We express its potential applicability by extending it to the wider framework of spanoids, recently introduced by Dvir, Gopi, Gu, and Wigderson (SIAM J. Comput., 2020).
On the foundations and extremal structure of the holographic entropy cone
Published in Discret. Appl. Math. 328 (2023) 16
• View Publication
• BIB
The holographic entropy cone (HEC) is a polyhedral cone first introduced in the study of a class of quantum entropy inequalities. It admits a graph-theoretic description in terms of minimum cuts in weighted graphs, a characterization which naturally generalizes the cut function for complete graphs. Unfortunately, no complete facet or extreme-ray representation of the HEC is known. In this work, starting from a purely graph-theoretic perspective, we develop a theoretical and computational foundation for the HEC. The paper is self-contained, giving new proofs of known results and proving several new results as well. These are also used to develop two systematic approaches for finding the facets and extreme rays of the HEC, which we illustrate by recomputing the HEC on $5$ terminals and improving its graph description. We also report on some partial results for $6$ terminals. Some interesting open problems are stated throughout.
Weight-preserving bijections between integer partitions and a class of alternating sign trapezoids
Published in Annals of Combinatorics, 26(3):673-699, 2022
• View Publication
• BIB
We construct weight-preserving bijections between column strict shifted plane partitions with one row and alternating sign trapezoids with exactly one column in the left half that sums to $1$. Amongst other things, they relate the number of $-1$s in the alternating sign trapezoids to certain elements in the column strict shifted plane partitions that generalise the notion of special parts in descending plane partitions. The advantage of these bijections is that they include configurations with $-1$s, which is a feature that many of the bijections in the realm of alternating sign arrays lack.
Bounds for the extremal eigenvalues of gain Laplacian matrices
Published
• View Publication
• BIB
A complex unit gain graph ($\mathbb{T}$-gain graph), $Φ= (G, \varphi)$ is a graph where the function $\varphi$ assigns a unit complex number to each orientation of an edge of $G$, and its inverse is assigned to the opposite orientation. A $ \mathbb{T} $-gain graph $Φ$ is balanced if the product of the edge gains of each cycle (with a fixed orientation) is $1$. Signed graphs are special cases of $\mathbb{T}$-gain graphs.
The adjacency matrix of $Φ$, denoted by $ \mathbf{A}(Φ)$ is defined canonically. The gain Laplacian for $Φ$ is defined as $\mathbf{L}(Φ) = \mathbf{D}(Φ) - \mathbf{A}(Φ)$, where $\mathbf{D}(Φ)$ is the diagonal matrix with diagonal entries are the degrees of the vertices of $G$. The minimum number of vertices (resp., edges) to be deleted from $Φ$ in order to get a balanced gain graph the frustration number (resp, frustration index). We show that frustration number and frustration index are bounded below by the smallest eigenvalue of $\mathbf{L}(Φ)$. We provide several lower and upper bounds for extremal eigenvalues of $\mathbf{L}(Φ)$ in terms of different graph parameters such as the number of edges, vertex degrees, and average $2$-degrees. The signed graphs are particular cases of the $\mathbb{T}$-gain graphs, all the bounds established in paper hold for signed graphs. Most of the bounds established here are new for signed graphs. Finally, we perform comparative analysis for all the obtained bounds in the paper with the state-of-the-art bounds available in the literature for randomly generated Erdős-Reýni graphs.
Some of the major highlights of our paper are the gain-dependent bounds, limit convergence of the bounds to the extremal eigenvalues, and optimal extremal bounds obtained by posing optimization problems to achieve the best possible bounds.
Stirling number and periodic points
Published in Acta Arithmetica, 201 (2021), 421-435
• View Publication
• BIB
We introduce the notion of almost realizability, an arithmetic generalization of realizability for integer sequences, which is the property of counting periodic points for some map. We characterize the intersection between the set of Stirling sequences (of both the first and the second kind) and the set of almost realizable sequences.
The Edge-Distinguishing Chromatic Number of Petal Graphs, Chorded Cycles, and Spider Graphs
Published in Electronic Journal of Graph Theory and Applications 10 (2) (2022), 393 - 414
• View Publication
• BIB
The edge-distinguishing chromatic number (EDCN) of a graph $G$ is the minimum positive integer $k$ such that there exists a vertex coloring $c:V(G)\to\{1,2,\dotsc,k\}$ whose induced edge labels $\{c(u),c(v)\}$ are distinct for all edges $uv$. Previous work has determined the EDCN of paths, cycles, and spider graphs with three legs. In this paper, we determine the EDCN of petal graphs with two petals and a loop, cycles with one chord, and spider graphs with four legs. These are achieved by graph embedding into looped complete graphs.
Preimages under the Queuesort algorithm
Published
• View Publication
• BIB
Following the footprints of what have been done with the algorithm Stacksort, we investigate the preimages of the map associated with a slightly less well known algorithm, called Queuesort. After having described an equivalent version of Queuesort, we provide a recursive description of the set of all preimages of a given permutation, which can be also translated into a recursive procedure to effectively find such preimages. We then deal with some enumerative issues. More specifically, we investigate the cardinality of the set of preimages of a given permutation, showing that all cardinalities are possible, except for 3. We also give exact enumeration results for the number of permutations having 0,1 and 2 preimages. Finally, we consider the special case of those permutations $π$ whose set of left-to-right maxima is the disjoint union of a prefix and a suffix of $π$: we determine a closed formula for the number of preimages of such permutations, which involves two different incarnations of ballot numbers, and we show that our formula can be expressed as a linear combination of Catalan numbers.
Ban--Linial's Conjecture and treelike snarks
Published in J. Graph Theory 101(3), 511--520 (2022). ePDF: https://onlinelibrary.wiley.com/share/author/MNIFAQXH63MMBUXBG9BU?target=10.1002/jgt.22837
• View Publication
• BIB
A bridgeless cubic graph $G$ is said to have a 2-bisection if there exists a 2-vertex-colouring of $G$ (not necessarily proper) such that: (i) the colour classes have the same cardinality, and (ii) the monochromatic components are either an isolated vertex or an edge. In 2016, Ban and Linial conjectured that every bridgeless cubic graph, apart from the well-known Petersen graph, admits a 2-bisection. In the same paper it was shown that every Class I bridgeless cubic graph admits such a bisection. The Class II bridgeless cubic graphs which are critical to many conjectures in graph theory are known as snarks, in particular, those with excessive index at least 5, that is, whose edge set cannot be covered by four perfect matchings. Moreover, in [J. Graph Theory, 86(2) (2017), 149--158], Esperet et al. state that a possible counterexample to Ban--Linial's Conjecture must have circular flow number at least 5. The same authors also state that although empirical evidence shows that several graphs obtained from the Petersen graph admit a 2-bisection, they can offer nothing in the direction of a general proof. Despite some sporadic computational results, until now, no general result about snarks having excessive index and circular flow number both at least 5 has been proven. In this work we show that treelike snarks, which are an infinite family of snarks heavily depending on the Petersen graph and with both their circular flow number and excessive index at least 5, admit a 2-bisection.
Anti-concentration of random variables from zero-free regions
Published in Discrete Analysis 2022:13
• Search Publication
This paper provides a connection between the concentration of a random variable and the distribution of the roots of its probability generating function. Let $X$ be a random variable taking values in $\{0,\ldots,n\}$ with $\mathbb{P}(X = 0)\mathbb{P}(X = n) > 0$ and with probability generating function $f_X$. We show that if all of the zeros $ζ$ of $f_X$ satisfy $|\arg(ζ)| \geq δ$ and $R^{-1} \leq |ζ| \leq R$ then \[ \operatorname{Var}(X) \geq c R^{-2π/δ}n, \] where $c > 0$ is a absolute constant. We show that this result is sharp, up to the factor $2$ in the exponent of $R$. As a consequence, we are able to deduce a Littlewood--Offord type theorem for random variables that are not necessarily sums of i.i.d.\ random variables.
Colorings of oriented planar graphs avoiding a monochromatic subgraph
Published
• View Publication
• BIB
For a fixed simple digraph $F$ and a given simple digraph $D$, an $F$-free $k$-coloring of $D$ is a vertex-coloring in which no induced copy of $F$ in $D$ is monochromatic. We study the complexity of deciding for fixed $F$ and $k$ whether a given simple digraph admits an $F$-free $k$-coloring. Our main focus is on the restriction of the problem to planar input digraphs, where it is only interesting to study the cases $k \in \{2,3\}$. From known results it follows that for every fixed digraph $F$ whose underlying graph is not a forest, every planar digraph $D$ admits an $F$-free $2$-coloring, and that for every fixed digraph $F$ with $Δ(F) \ge 3$, every oriented planar graph $D$ admits an $F$-free $3$-coloring.
We show in contrast, that
- if $F$ is an orientation of a path of length at least $2$, then it is NP-hard to decide whether an acyclic and planar input digraph $D$ admits an $F$-free $2$-coloring.
- if $F$ is an orientation of a path of length at least $1$, then it is NP-hard to decide whether an acyclic and planar input digraph $D$ admits an $F$-free $3$-coloring.
Expansions in Cantor real bases
Published
• View Publication
• BIB
We introduce and study series expansions of real numbers with an arbitrary Cantor real base $\boldsymbolβ=(β_n)_{n\in\mathbb{N}}$, which we call $\boldsymbolβ$-representations. In doing so, we generalize both representations of real numbers in real bases and through Cantor series. We show fundamental properties of $\boldsymbolβ$-representations, each of which extends existing results on representations in a real base. In particular, we prove a generalization of Parry's theorem characterizing sequences of nonnegative integers that are the greedy $\boldsymbolβ$-representations of some real number in the interval $[0,1)$. We pay special attention to periodic Cantor real bases, which we call alternate bases. In this case, we show that the $\boldsymbolβ$-shift is sofic if and only if all quasi-greedy $\boldsymbolβ^{(i)}$-expansions of $1$ are ultimately periodic, where $\boldsymbolβ^{(i)}$ is the $i$-th shift of the Cantor real base $\boldsymbolβ$.
Oriented regular representations of out-valency two for finite simple groups
Published
• View Publication
• BIB
In this paper, we show that every finite simple group of order at least $5$ admits an oriented regular representation of out-valency $2$.
The path-missing and path-free complexes of a directed graph
We study two simplicial complexes arising from a directed graph $G = (V, E)$ with two chosen vertices $s$ and $t$: the *path-free complex*, consisting of all subsets $F \subseteq E$ that contain no path from $s$ to $t$, and the *path-missing complex*, its Alexander dual. Using discrete Morse theory, we prove that both complexes have well-behaved homotopy types -- either contractible or homotopy-equivalent to spheres.
The Hats game. The power of constructors
Published
• View Publication
• BIB
We analyze the following general version of the deterministic Hats game. Several sages wearing colored hats occupy the vertices of a graph. Each sage can have a hat of one of $k$ colors. Each sage tries to guess the color of his own hat merely on the basis of observing the hats of his neighbors without exchanging any information. A predetermined guessing strategy is winning if it guarantees at least one correct individual guess for every assignment of colors. We present an example of a planar graph for which the sages win for $k = 14$. We also give an easy proof of the theorem about the Hats game on "windmill" graphs.
A new solution for the two dimensional dimer problem
The classical 1961 solution to the problem of determining the number of perfect matchings (or dimer coverings) of a rectangular grid graph -- due independently to Kasteleyn and to Temperley and Fisher -- consists of changing the sign of some of the entries in the adjacency matrix so that the Pfaffian of the new matrix gives the number of perfect matchings, and then evaluating this Pfaffian. Another classical method is to use the Lindström-Gessel-Viennot theorem on non-intersecting lattice paths to express the number of perfect matchings as a determinant, and then evaluate this determinant. In this paper we present a new method for solving the two dimensional dimer problem, which relies on the Cauchy-Binet theorem. It only involves facts that were known in the mid 1930's when the dimer problem was phrased, so it could have been discovered while the dimer problem was still open.
We provide explicit product formulas for both the square and the hexagonal lattice. One advantage of our formula for the square lattice compared to the original formula of Kasteleyn, Temperley and Fisher is that ours has a linear number of factors, while the number of factors in the former is quadratic. Our result for the hexagonal lattice yields a formula for the number of periodic stepped surfaces that fit in an infinite tube of given cross-section, which can be regarded as a counterpart of MacMahon's boxed plane partition theorem.
Modularity of minor-free graphs
We prove that a class of graphs with an excluded minor and with the maximum degree sublinear in the number of edges is maximally modular, that is, modularity tends to 1 as the number of edges tends to infinity.
The combinatorics of Jeff Remmel
Published
• View Publication
• BIB
We give a brief overview of the life and combinatorics of Jeff Remmel, a mathematician with successful careers in both logic and combinatorics.
Multiple ergodic averages in abelian groups and Khintchine type recurrence
Published
• View Publication
• BIB
Let $G$ be a countable abelian group. We study ergodic averages associated with configurations of the form $\{ag,bg,(a+b)g\}$ for some $a,b\in\mathbb{Z}$. Under some assumptions on $G$, we prove that the universal characteristic factor for these averages is a factor of a $2$-step nilpotent homogeneous space. As an application we derive a Khintchine type recurrence result. In particular, we prove that for every countable abelian group $G$, if $a,b\in\mathbb{Z}$ are such that $aG,bG,(b-a)G$ and $(a+b)G$ are of finite index in $G$, then for every $E\subset G$ and $\varepsilon>0$ the set $$\{g\in G : d(E\cap E-ag\cap E-bg\cap E-(a+b)g)\geq d(E)^4-\varepsilon\}$$ is syndetic. This generalizes previous results for $G=\mathbb{Z}$, $G=\mathbb{F}_p^ω$ and $G=\bigoplus_{p\in P}\mathbb{F}_p$ by Bergelson Host and Kra, Bergelson Tao and Ziegler and the author, respectively.
A Bounded-Confidence Model of Opinion Dynamics on Hypergraphs
Published
• View Publication
• BIB
People's opinions evolve over time as they interact with their friends, family, colleagues, and others. In the study of opinion dynamics on networks, one often encodes interactions between people in the form of dyadic relationships, but many social interactions in real life are polyadic (i.e., they involve three or more people). In this paper, we extend an asynchronous bounded-confidence model (BCM) on graphs, in which nodes are connected pairwise by edges, to an asynchronous BCM on hypergraphs, in which arbitrarily many nodes can be connected by a single hyperedge. We show that our hypergraph BCM converges to consensus under a wide range of initial conditions for the opinions of the nodes, including for non-uniform and asymmetric initial opinion distributions. We also show that, under suitable conditions, echo chambers can form on hypergraphs with community structure. We demonstrate that the opinions of individuals can sometimes jump from one opinion cluster to another in a single time step, a phenomenon (which we call ``opinion jumping'') that is not possible in standard dyadic BCMs. Additionally, we observe that there is a phase transition in the convergence time on {a complete hypergraph} when the variance $σ^2$ of the initial opinion distribution equals the confidence bound $c$. We prove that the convergence time grows at least exponentially fast with the number of nodes when $σ^2 > c$ and the initial opinions are normally distributed. Therefore, to determine the convergence properties of our hypergraph BCM when the variance and the number of hyperedges are both large, it is necessary to use analytical methods instead of relying only on Monte Carlo simulations.