Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Octopuses in the Boolean cube: families with pairwise small intersections, part I
Published
• View Publication
• BIB
Let $\mathcal F_1, \ldots, \mathcal F_\ell$ be families of subsets of $\{1, \ldots, n\}$. Suppose that for distinct $k, k'$ and arbitrary $F_1 \in \mathcal F_{k}, F_2 \in \mathcal F_{k'}$ we have $|F_1 \cap F_2|\le m.$ What is the maximal value of $|\mathcal F_1|\ldots |\mathcal F_\ell|$? In this work we find the asymptotic of this product as $n$ tends to infinity for constant $\ell$ and~$m$.
This question is related to a conjecture of Bohn et al. that arose in the 2-level polytope theory and asked for the largest product of the number of facets and vertices in a two-level polytope. This conjecture was recently resolved by Weltge and the first author.
The main result can be rephrased in terms of colorings. We give an asymptotic answer to the following question. Given an edge coloring of a complete $m$-uniform hypergraph into $\ell$ colors, what is the maximum of $\prod M_i$, where $M_i$ is the number of monochromatic cliques in $i$-th color?
Pattern Avoidance in Parking Functions
Published
• View Publication
• BIB
In this paper, we view parking functions viewed as labeled Dyck paths in order to study a notion of pattern avoidance first introduced by Remmel and Qiu. In particular we enumerate the parking functions avoiding any set of two or more patterns of length 3, and we obtain a number of well-known combinatorial sequences as a result. Along the way, we find bijections between specific sets of pattern-avoiding parking functions and a number of combinatorial objects such as partitions of polygons and trees with certain restrictions.
The Binary Two-Up Sequence
The Binary Two-Up Sequence is the lexicographically earliest sequence of distinct nonnegative integers with the property that the binary expansion of the n-th term has no 1-bits in common with any of the previous floor(n/2) terms. We show that the sequence can be decomposed into ``atoms'', which are sequences of 4, 6, or 8 numbers whose binary expansions match certain patterns, and that the sequence is the limiting form of a certain ``word'' involving the atoms. This leads to a fairly explicit formula for the terms, and in particular establishes the conjecture that every nonzero term is the sum of at most two powers of 2.
A Cantor-Bendixson Rank for Siblings of Trees
Published
• View Publication
• BIB
Similar to topological spaces, we introduce the Cantor-Bendixson rank of a tree $T$ by repeatedly removing the leaves and the isolated vertices of $T$ using transfinite recursion. Then, we give a representation of a tree $T$ as a leafless tree $T^\infty$ with some leafy trees attached to $T^\infty$. With this representation at our disposal, we count the siblings of a tree and obtain partial results towards a conjecture of Bonato and Tardif.
Bounds of the Radio Number of Stacked-Book Graphs with Odd Paths
A Stacked-book graph Gm,n is obtained from the Cartesian product of a star graph Sm and a path Pn, where m and s are the orders of the star graph and the path respectively. Obtaining the radio number of a graph is a rigorous process, which is dependent on the diameter of G and positive difference of non-negative integer labels f(u) and f(v) assigned to any two u, v in the vertex set V (G) of G. This paper obtains tight upper and lower bounds of the radio number of Gm,n where the path Pn has an odd order. The case where Pn has an even order has been investigated.
Hamiltonian Complete Number of Some Variants of Caterpillar Graphs
A graph $G$ is said to be Hamiltonian if it contains a spanning cycle. In this work, we investigate the Hamiltonian completeness of certain classes of caterpillar graphs, which are trees with a central path to which all other vertices are adjacent. For a non-Hamiltonian graph $G$, the Hamiltonian complete number $λ_H(G)$ is the minimum number of edges that must be added to $G$ to make it Hamiltonian. We focus on both regular and irregular caterpillar graphs, deriving explicit formulas for $λ_H(G)$ in various cases. Specifically, we show that for a regular caterpillar graph $G_{n(k)}$ where each vertex on the central path is adjacent to $k$ leaves, $λ_H(G_{n(k)}) = n(k-1)$. We also explore irregular caterpillar graphs, where the number of leaves adjacent to each vertex on the central path varies, and provide bounds for $λ_H(G)$ in these cases. Our results contribute to the understanding of Hamiltonian properties in tree-like structures and have potential applications in network design and optimization.
An analogue of Bonami's Lemma for functions on spaces of linear maps, and 2-2 Games
Published
• View Publication
• BIB
We prove an analogue of Bonami's (hypercontractive) lemma for complex-valued functions on $\mathcal{L}(V,W)$, where $V$ and $W$ are vector spaces over a finite field. This inequality is useful for functions on $\mathcal{L}(V,W)$ whose `generalised influences' are small, in an appropriate sense. It leads to a significant shortening of the proof of a recent seminal result by Khot, Minzer and Safra that pseudorandom sets in Grassmann graphs have near-perfect expansion, which (in combination with the work of Dinur, Khot, Kindler, Minzer and Safra) implies the 2-2 Games conjecture (the variant, that is, with imperfect completeness).
No-feedback Card Guessing Game: Moments and distributions under the optimal strategy
Relying on the optimal guessing strategy recently found for a no-feedback card guessing game with $k$-time riffle shuffles, we derive an exact, closed-form formula for the expected number of correct guesses and higher moments for a $1$-time shuffle case. Our approach makes use of the fast generating function based on a recurrence relation, the method of overlapping stages, and interpolation. As for $k>1$-time shuffles, we establish the expected number of correct guesses through a self-contained combinatorial proof. The proof turns out to be the answer to an open problem listed in Krityakierne and Thanatipanonda (2022), asking for a combinatorial interpretation of a generating function object introduced therein.
Separating Path Systems for the Complete Graph
Published
• View Publication
• BIB
For any graph $G$, a separating path system of $G$ is a family of paths in $G$ with the property that for any pair of edges in $E(G)$ there is at least one path in the family that contains one edge but not the other. We investigate the size of the smallest separating path system for $K_n$, denoted $f(K_n)$.
Our first main result is a construction that shows $f(K_n) \leq \left(\frac{21}{16}+o(1)\right)n$ for sufficiently large $n$. We also show that $f(K_n) \leq n$ whenever $n=p,p+1$ for prime $p$. It is known by simple argument that $f(K_n) \geq n-1$ for all $n \in \mathbb{N}$.
A key idea in our construction is to reduce the problem to finding a single path with some particular properties we call a Generator Path. These are defined in such a way that the $n$ cyclic rotations of a generator path provide a separating path system for $K_n$. Hence existence of a generator path for some $K_n$ gives $f(K_n) \leq n$. We construct such paths for all $K_n$ with $n \leq 20$, and show that generator paths exist whenever $n$ is prime.
On the number and size of Markov equivalence classes of random directed acyclic graphs
In causal inference on directed acyclic graphs, the orientation of edges is in general only recovered up to Markov equivalence classes. We study Markov equivalence classes of uniformly random directed acyclic graphs. Using a tower decomposition, we show that the ratio between the number of Markov equivalence classes and directed acyclic graphs approaches a positive constant when the number of sites goes to infinity. For a typical directed acyclic graph, the expected number of elements in its Markov equivalence class remains bounded. More precisely, we prove that for a uniformly chosen directed acyclic graph, the size of its Markov equivalence class has super-polynomial tails.
Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022)
This is the arXiv index for the electronic proceedings of GD 2022, which is held at the Tokyo Institute of Technology, Tokyo, Japan, on September 13 - 16, 2022. It contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture Notes in Computer Science series.
On stability of spanning tree degree enumerators
Published
• View Publication
• BIB
We show that the spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial if and only if $G$ is distance-hereditary.
A characterization of graphs with at most four boundary vertices
Published in Journal of Combinatorics Vol. 15, No. 3 (2024), 361-382
• View Publication
• BIB
Steinerberger defined a notion of boundary for a graph and established a corresponding isoperimetric inquality. Hence, "large" graphs have more boundary vertices. In this paper, we first characterize graphs with three boundary vertices in terms of two infinite families of graphs. We then completely characterize graphs with four boundary vertices in terms of eight families of graphs, five of which are infinite. This parallels earlier work by Hasegawa and Saito as well as Müller, Pór, and Sereni on another notion of boundary defined by Chartrand, Erwin, Johns, and Zhang.
On Redundant Locating-Dominating Sets
Published
• View Publication
• BIB
A locating-dominating set in a graph G is a subset of vertices representing "detectors" which can locate an "intruder" given that each detector covers its closed neighborhood and can distinguish its own location from its neighbors. We explore a fault-tolerant variant of locating-dominating sets called redundant locating-dominating sets, which can tolerate one detector malfunctioning (going offline or being removed). In particular, we characterize redundant locating-dominating sets and prove that the problem of determining the minimum cardinality of a redundant locating-dominating set is NP-complete. We also determine tight bounds for the minimum density of redundant locating-dominating sets in several classes of graphs including paths, cycles, ladders, k-ary trees, and the infinite hexagonal and triangular grids. We find tight lower and upper bounds on the size of minimum redundant locating-dominating sets for all trees of order $n$, and characterize the family of trees which achieve these two extremal values, along with polynomial time algorithms to classify a tree as minimum extremal or not.
Spectral hypergraph sparsification via chaining
Published
• View Publication
• BIB
In a hypergraph on $n$ vertices where $D$ is the maximum size of a hyperedge, there is a weighted hypergraph spectral $\varepsilon$-sparsifier with at most $O(\varepsilon^{-2} \log(D) \cdot n \log n)$ hyperedges. This improves over the bound of Kapralov, Krauthgamer, Tardos and Yoshida (2021) who achieve $O(\varepsilon^{-4} n (\log n)^3)$, as well as the bound $O(\varepsilon^{-2} D^3 n \log n)$ obtained by Bansal, Svensson, and Trevisan (2019). The same sparsification result was obtained independently by Jambulapati, Liu, and Sidford (2022).
Computer assisted discovery: Zero forcing vs vertex cover
In this paper, we showcase the process of using an automated conjecturing program called \emph{TxGraffiti} written and maintained by the second author. We begin by proving a conjecture formulated by \emph{TxGraffiti} that for a claw-free graph $G$, the vertex cover number $β(G)$ is greater than or equal to the zero forcing number $Z(G)$. Our proof of this result is constructive, and yields a polynomial time algorithm to find a zero forcing set with cardinality $β(G)$. We also use the output of \emph{TxGraffiti} to construct several infinite families of claw-free graphs for which $Z(G)=β(G)$. Additionally, inspired by the aforementioned conjecture of \emph{TxGraffiti}, we also prove a more general relation between the zero forcing number and the vertex cover number for any connected graph with maximum degree $Δ\ge 3$, namely that $Z(G)\leq (Δ-2)β(G)$+1.
Rough Approximate subgroups
Published
• View Publication
• BIB
Given a $T$-rough definably amenable $T$-rough approximate subgroup $A$ of a group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ of bounded index in $\langle A\rangle$.
Resolutions of local face modules, functoriality, and vanishing of local $h$-vectors
Published in Algebr. Comb. 6 (2023), no. 4, 1057-1072
• View Publication
• BIB
We study the local face modules of triangulations of simplices, i.e., the modules over face rings whose Hilbert functions are local $h$-vectors. In particular, we give resolutions of these modules by subcomplexes of Koszul complexes as well as functorial maps between modules induced by inclusions of faces. As applications, we prove a new monotonicity result for local $h$-vectors and new results on the structure of faces in triangulations with vanishing local $h$-vectors.
Combinatorial formulas for shifted dual stable Grothendieck polynomials
Published in Forum of Mathematics, Sigma (2024), Vol. 12, Paper e22
• View Publication
• BIB
The $K$-theoretic Schur $P$- and $Q$-functions $GP_λ$ and $GQ_λ$ may be concretely defined as weight generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials, and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual $K$-theoretic Schur $P$- and $Q$-functions $gp_λ$ and $gq_λ$ via a Cauchy identity involving $GP_λ$ and $GQ_λ$. They conjectured that the dual power series are weight generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of $gp_λ$ and $gq_λ$ under the $ω$ involution of the ring of symmetric functions. This confirms a conjecture of Chiu and the second author. Using these results, we verify a conjecture of Ikeda and Naruse that the $GQ$-functions are a basis for a ring.
Quasi-Random Influences of Boolean Functions
Published
• View Publication
• BIB
We examine a hierarchy of equivalence classes of quasi-random properties of Boolean Functions. In particular, we prove an equivalence between a number of properties including balanced influences, spectral discrepancy, local strong regularity, homomorphism enumerations of colored or weighted graphs and hypergraphs associated with Boolean functions as well as the $k$th-order strict avalanche criterion amongst others. We further construct families of quasi-random boolean functions which exhibit the properties of our equivalence theorem and separate the levels of our hierarchy.