Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Random Embeddings of Graphs: The Expected Number of Faces in Most Graphs is Logarithmic
Published in Proceedings: ACM-SIAM Symposium on Discrete Algorithms, SODA 2024
• View Publication
• BIB
A random 2-cell embedding of a connected graph $G$ in some orientable surface is obtained by choosing a random local rotation around each vertex. Under this setup, the number of faces or the genus of the corresponding 2-cell embedding becomes a random variable. Random embeddings of two particular graph classes, those of a bouquet of $n$ loops and those of $n$ parallel edges connecting two vertices, have been extensively studied and are well-understood. However, little is known about more general graphs. The results of this paper explain why Monte Carlo methods cannot work for approximating the minimum genus of graphs.
In his breakthrough work [Permutation-partition pairs, JCTB 1991], Stahl developed the foundation of "random topological graph theory". Most of his results have been unsurpassed until today. In our work, we analyze the expected number of faces of random embeddings (equivalently, the average genus) of a graph $G$. It was very recently shown that for any graph $G$, the expected number of faces is at most linear. We show that the actual expected number of faces $F(G)$ is almost always much smaller. In particular, we prove:
1) $\frac{1}{2}\ln n - 2 < \mathbb{E}[F(K_n)] \le 3.65 \ln n +o(1)$.
2) For random graphs $G(n,p)$ ($p=p(n)$), we have $\mathbb{E}[F(G(n,p))] \le \ln^2 n+\frac{1}{p}$.
3) For random models $B(n,Δ)$ containing only graphs, whose maximum degree is at most $Δ$, we obtain stronger bounds by showing that the expected number of faces is $Θ(\log n)$.
Brooks-type theorem for $r$-hued coloring of graphs
Published
• View Publication
• BIB
An $r$-hued coloring of a simple graph $G$ is a proper coloring of its vertices such that every vertex $v$ is adjacent to at least $\min\{r, °(v)\}$ differently colored vertices. The minimum number of colors needed for an $r$-hued coloring of a graph $G$, the $r$-hued chromatic number, is denoted by $χ_{r}(G)$. In this note we show that $$χ_r(G) \leq (r - 1)(Δ(G) + 1) + 2,$$ for every simple graph $G$ and every $r \geq 2$, which in the case when $r < Δ(G)$ improves the presently known $Δ(G)$-based upper bound on $χ_r(G)$, namely $r Δ(G) + 1$.
We also discuss the existence of graphs whose $r$-hued chromatic number is close to $(r-1)(Δ+ 1 ) + 2$ and we prove that there is a bipartite graph of maximum degree $Δ$ whose $r$-hued chromatic number is $(r-1)Δ+ 1$ for every $r \in \{2, \dots, 9\}$ and infinitely many values of $Δ\geq r + 2$; we believe that $(r-1)Δ(G) + 1$ is the best upper bound on the $r$-hued chromatic number of any bipartite graph $G$.
Counting Unions of Schreier Sets
Published in Bull. Aust. Math. Soc. 110 (2024) 19-31
• View Publication
• BIB
A subset of positive integers $F$ is a Schreier set if it is non-empty and $|F|\leqslant \min F$ (here $|F|$ is the cardinality of $F$). For each positive integer $k$, we define $k\mathcal{S}$ as the collection of all the unions of at most $k$ Schreier sets. Also, for each positive integer $n$, let $(k\mathcal{S})^n$ be the collection of all sets in $k\mathcal{S}$ with the maximum element equal to $n$. It is well-known that the sequence $(|(1\mathcal{S})^n|)_{n=1}^\infty$ is the Fibbonacci sequence. In particular, the sequence satisfies a linear recurrence. We generalize this statement, namely, we show that the sequence $(|(k\mathcal{S})^n|)_{n=1}^\infty$ satisfies a linear recurrence for every positive $k$.
On a graph isomorphic to $NO^{+}(6,2)$
Let $Q^{+}(2n-1,2)$ be a non-degenerate hyperbolic quadric of $PG(2n-1,2)$. Let $NO^{+}(2n,2)$ be the tangent graph, whose vertices are the points of $PG(2n-1,2) \setminus Q^{+}(2n-1,2)$ and two vertices $u,~v$ are adjacent if the line joining $u$ and $v$ is tangent to $Q^{+}(2n-1,2)$. Then $NO^{+}(2n-1,q)$ is a strongly regular graph. Let $\mathcal{V}^{4}_{2}$ be the \textit{Veronese surface} in $PG(5,q)$, and $\mathcal{M}^{3}_{4}$ its \textit{secant variety}. When $q=2$, $|Q^{+}(5,2)|=|\mathcal{M}^{3}_{4}|=35$. In this paper we define the graph $N\mathcal{M}^{3}_{4}$, with 28 vertices in $PG(5,2)\setminus\mathcal{M}^{3}_{4}$ and with the analogue incidence rule of the tangent graph. Such graph is isomorphic to $NO^{+}(6,2)$.
Permutation Invariant Parking Assortments
Published in Enumerative Combinatorics and Applications 4:1 (2024) Article #S2R4
• View Publication
• BIB
We introduce parking assortments, a generalization of parking functions with cars of assorted lengths. In this setting, there are $n\in\mathbb{N}$ cars of lengths $\mathbf{y}=(y_1,y_2,\ldots,y_n)\in\mathbb{N}^n$ entering a one-way street with $m=\sum_{i=1}^ny_i$ parking spots. The cars have parking preferences $\mathbf{x}=(x_1,x_2,\ldots,x_n)\in[m]^n$, where $[m]:=\{1,2,\ldots,m\}$, and enter the street in order. Each car $i \in [n]$, with length $y_i$ and preference $x_i$, follows a natural extension of the classical parking rule: it begins looking for parking at its preferred spot $x_i$ and parks in the first $y_i$ contiguously available spots thereafter, if there are any. If all cars are able to park under the preference list $\mathbf{x}$, we say $\mathbf{x}$ is a parking assortment for $\mathbf{y}$. Parking assortments also generalize parking sequences, introduced by Ehrenborg and Happ, since each car seeks for the first contiguously available spots it fits in past its preference. Given a parking assortment $\mathbf{x}$ for $\mathbf{y}$, we say it is permutation invariant if all rearrangements of $\mathbf{x}$ are also parking assortments for $\mathbf{y}$. While all parking functions are permutation invariant, this is not the case for parking assortments in general, motivating the need for characterization of this property. Although obtaining a full characterization for arbitrary $n\in\mathbb{N}$ and $\mathbf{y}\in\mathbb{N}^n$ remains elusive, we do so for $n=2,3$. Given the technicality of these results, we introduce the notion of minimally invariant car lengths, for which the only invariant parking assortment is the all ones preference list. We provide a concise, oracle-based characterization of minimally invariant car lengths for any $n\in\mathbb{N}$. Our results around minimally invariant car lengths also hold for parking sequences.
Incidence, a Scoring Positional Game on Graphs
Published
• View Publication
• BIB
Positional games have been introduced by Hales and Jewett in 1963 and have been extensively investigated in the literature since then. These games are played on a hypergraph where two players alternately select an unclaimed vertex of it. In the Maker-Breaker convention, if Maker manages to fully take a hyperedge, she wins, otherwise, Breaker is the winner. In the Maker-Maker convention, the first player to take a hyperedge wins. In both cases, the game stops as soon as Maker has taken a hyperedge. By definition, this family of games does not handle scores and cannot represent games in which players want to maximize a quantity.
In this work, we introduce scoring positional games, that consist in playing on a hypergraph until all the vertices are claimed, and by defining the score as the number of hyperedges a player has fully taken. We focus here on Incidence, a scoring positional game played on a 2-uniform hypergraph, i.e. an undirected graph. In this game, two players alternately claim the vertices of a graph and score the number of edges for which they own both end vertices. In the Maker-Breaker version, Maker aims at maximizing the number of edges she owns, while Breaker aims at minimizing it. In the Maker-Maker version, both players try to take more edges than their opponent.
We first give some general results on scoring positional games such that their membership in Milnor's universe and some general bounds on the score. We prove that, surprisingly, computing the score in the Maker-Breaker version of Incidence is PSPACE-complete whereas in the Maker-Maker convention, the relative score can be obtained in polynomial time. In addition, for the Maker-Breaker convention, we give a formula for the score on paths by using some equivalences due to Milnor's universe. This result implies that the score on cycles can also be computed in polynomial time.
Shifted combinatorial Hopf algebras from $K$-theory
Published in Algebraic Combinatorics, Volume 7 (2024) no. 4, pp. 1123-1156
• View Publication
• BIB
In prior joint work with Lewis, we developed a theory of enriched set-valued $P$-partitions to construct a $K$-theoretic generalization of the Hopf algebra of peak quasisymmetric functions. Here, we situate this object in a diagram of six Hopf algebras, providing a shifted version of the diagram of $K$-theoretic combinatorial Hopf algebras studied by Lam and Pylyavskyy. This allows us to describe new $K$-theoretic analogues of the classical peak algebra. We also study the Hopf algebras generated by Ikeda and Naruse's $K$-theoretic Schur $P$- and $Q$-functions, as well as their duals. Along the way, we derive several product, coproduct, and antipode formulas and outline a number of open problems and conjectures.
Existential Closure in Line Graphs
Published
• View Publication
• BIB
A graph $G$ is {\it $n$-existentially closed} if, for all disjoint sets of vertices $A$ and $B$ with $|A\cup B|=n$, there is a vertex $z$ not in $A\cup B$ adjacent to each vertex of $A$ and to no vertex of $B$.
In this paper, we investigate $n$-existentially closed line graphs. In particular, we present necessary conditions for the existence of such graphs as well as constructions for finding infinite families of such graphs. We also prove that there are exactly two $2$-existentially closed planar line graphs. We then consider the existential closure of the line graphs of hypergraphs and present constructions for $2$-existentially closed line graphs of hypergraphs.
Upper Bounds for Covering Arrays of Higher Index
A \emph{covering array} is an $N \times k$ array of elements from a $v$-ary alphabet such that every $N \times t$ subarray contains all $v^t$ tuples from the alphabet of size $t$ at least $λ$ times; this is denoted as $\CA_λ(N; t, k, v)$.
Covering arrays have applications in the testing of large-scale complex systems; in systems that are nondeterministic, increasing $λ$ gives greater confidence in the system's correctness.
The \emph{covering array number}, $\CAN_λ(t,k,v)$ is the smallest number of rows for which a covering array on the other parameters exists.
For general $λ$, only several nontrivial bounds are known, the smallest of which was asymptotically $\log k + λ\log \log k + o(λ)$ when $v, t$ are fixed.
Additionally it has been conjectured that the $\log \log k$ term can be removed.
First, we affirm the conjecture by deriving an asymptotically optimal bound for $\CAN_λ(t,k,v)$ for general $λ$ and when $v, t$ are constant using the Stein--Lovász--Johnson paradigm.
Second, we improve upon the constants of this method using the Lovász local lemma.
Third, when $λ=2$, we extend a two-stage paradigm of Sarkar and Colbourn that improves on the general bound and often produces better bounds than even when $λ=1$ of other results.
Fourth, we extend this two-stage paradigm further for general $λ$ to obtain an even stronger upper bound, including using graph coloring.
And finally, we determine a bound on how large $λ$ can be for when the number of rows is fixed.
On symmetric 2-(70,24,8) designs with an automorphism of order 6
Published
• View Publication
• BIB
In this paper we analyze possible actions of an automorphism of order six on a $2$-$(70, 24, 8)$ design, and give a complete classification for the action of the cyclic automorphism group of order six $G= \langle ρ\rangle \cong Z_6 \cong Z_2 \times Z_3$ where $ρ^3$ fixes exactly $14$ points (blocks) and $ρ^2$ fixes $4$ points (blocks). Up to isomorphism, there are $3718$ such designs. This result significantly increases the number of known $2$-$(70,24,8)$ designs.
Exact Completeness of LP Hierarchies for Linear Codes
Determining the maximum size $A_2(n,d)$ of a binary code of blocklength $n$ and distance $d$ remains an elusive open question even when restricted to the important class of linear codes. Recently, two linear programming hierarchies extending Delsarte's LP were independently proposed to upper bound $A_2^{\text{Lin}}(n,d)$ (the analogue of $A_2(n,d)$ for linear codes). One of these hierarchies, by the authors, was shown to be approximately complete in the sense that the hierarchy converges to $A_2^{\text{Lin}}(n,d)$ as the level grows beyond $n^2$. Despite some structural similarities, not even approximate completeness was known for the other hierarchy by Loyfer and Linial.
In this work, we prove that both hierarchies recover the exact value of $A_2^{\text{Lin}}(n,d)$ at level $n$. We also prove that at this level the polytope of Loyfer and Linial is integral.Even though these hierarchies seem less powerful than general hierarchies such as Sum-of-Squares, we show that they have enough structure to yield exact completeness via pseudoprobabilities.
Cluster Assignment in Multi-Agent Systems : Sparsity Bounds and Fault Tolerance
Published
• View Publication
• BIB
We study cluster assignment in homogeneous diffusive multi-agent networks. Given the number of clusters and agents within each cluster, we design the network graph ensuring the system will converge to the prescribed cluster configuration. Using recent results linking clustering and symmetries, we show that it is possible to design an oriented graph for which the action of the automorphism group of the graph has orbits of predetermined sizes, guaranteeing the network will converge to the prescribed cluster configuration. We provide bounds on the number of edges needed to construct these graphs along with a constructive approach for their generation. We also consider the robustness of the clustering process under agent malfunction.
Perfect matchings in random sparsifications of Dirac hypergraphs
Published
• View Publication
• BIB
For all integers $n \geq k > d \geq 1$, let $m_{d}(k,n)$ be the minimum integer $D \geq 0$ such that every $k$-uniform $n$-vertex hypergraph $\mathcal H$ with minimum $d$-degree $δ_{d}(\mathcal H)$ at least $D$ has an optimal matching. For every fixed integer $k \geq 3$, we show that for $n \in k \mathbb{N}$ and $p = Ω(n^{-k+1} \log n)$, if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_{k-1}(\mathcal H) \geq m_{k-1}(k,n)$, then a.a.s.\ its $p$-random subhypergraph $\mathcal H_p$ contains a perfect matching. Moreover, for every fixed integer $d < k$ and $γ> 0$, we show that the same conclusion holds if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_d(\mathcal H) \geq m_{d}(k,n) + γ\binom{n - d}{k - d}$. Both of these results strengthen Johansson, Kahn, and Vu's seminal solution to Shamir's problem and can be viewed as ``robust'' versions of hypergraph Dirac-type results. In addition, we also show that in both cases above, $\mathcal H$ has at least $\exp((1-1/k)n \log n - Θ(n))$ many perfect matchings, which is best possible up to an $\exp(Θ(n))$ factor.
Erdős covering systems
Published in Acta Mathematica Hungarica, 161 (2020), 540-549
• View Publication
• BIB
A covering system is a finite collection of arithmetic progressions whose union is the set of integers. The study of these objects was initiated by Erdős in 1950, and over the following decades he asked many questions about them. Most famously, he asked whether there exist covering systems with distinct moduli whose minimum modulus is arbitrarily large. This problem was resolved in 2015 by Hough, who showed that in any such system the minimum modulus is at most $10^{16}$.
The purpose of this note is to give a gentle exposition of a simpler and stronger variant of Hough's method, which was recently used to answer several other questions about covering systems. We hope that this technique, which we call the distortion method, will have many further applications in other combinatorial settings.
On the Edge Derivative of the Normalized Laplacian with Applications to Kemeny's Constant
Published
• View Publication
• BIB
In a connected graph, Kemeny's constant gives the expected time of a random walk from an arbitrary vertex $x$ to reach a randomly-chosen vertex $y$. Because of this, Kemeny's constant can be interpreted as a measure of how well a graph is connected. It is generally unknown how the addition or removal of edges affects Kemeny's constant. Inspired by the directional derivative of the normalized Laplacian, we derive the directional derivative of Kemeny's constant for several graph families. In addition, we find sharp bounds for the directional derivative of an eigenvalue of the normalized Laplacian and bounds for the directional derivative of Kemeny's constant.
Hadamard products of symbolic powers and Hadamard fat grids
Published
• View Publication
• BIB
In this paper we address the question if, for points $P, Q \in \mathbb{P}^{2}$, $I(P)^{m} \star I(Q)^{n}=I(P \star Q)^{m+n-1}$ and we obtain different results according to the number of zero coordinates in $P$ and $Q$. Successively, we use our results to define the so called Hadamard fat grids, which are the result of the Hadamard product of two sets of collinear points with given multiplicities. The most important invariants of Hadamard fat grids, as minimal resolution, Waldschmidt constant and resurgence, are then computed.
Hadwiger's Conjecture with Certain Forbidden Induced Subgraphs
Published
• View Publication
• BIB
We prove that $\{\overline{K_3}, H\}$-free graphs are not counterexamples to Hadwiger's Conjecture, where $H$ is any one of 33 graphs on seven, eight, or nine vertices, or $H=K_8$. This improves on past results of Plummer-Stiebitz-Toft, Kriesell, and Bosse. The proofs are mostly computer-assisted.
Constructing MRD codes by switching
Published in J. Comb. Des. 32(5) 2024, 219-237
• View Publication
• BIB
MRD codes are maximum codes in the rank-distance metric space on $m$-by-$n$ matrices over the finite field of order $q$. They are diameter perfect and have the cardinality $q^{m(n-d+1)}$ if $m\ge n$. We define switching in MRD codes as replacing special MRD subcodes by other subcodes with the same parameters. We consider constructions of MRD codes admitting such switching, including punctured twisted Gabidulin codes and direct-product codes. Using switching, we construct a huge class of MRD codes whose cardinality grows doubly exponentially in $m$ if the other parameters ($n$, $q$, the code distance) are fixed. Moreover, we construct MRD codes with different affine ranks and aperiodic MRD codes.
Keywords: MRD codes, rank distance, bilinear forms graph, switching, diameter perfect codes
The generalized 3-connectivity of a family regular networks
Published
• View Publication
• BIB
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is the minimum number of internally edge disjoint $S$-trees for any $S\subseteq V(G)$ with $|S|=k$. The generalized $k$-connectivity is a natural extension of the classical connectivity and plays a key role in applications related to the modern interconnection networks. In this paper, we firstly introduce a family of regular networks $H_n$ that can be obtained from several subgraphs $G_n^1, G_n^2, \cdots, G_n^{t_n}$ by adding a matching, where each subgraph $G_n^i$ is isomorphic to a particular graph $G_n$ ($1\le i\le t_n$). Then we determine the generalized 3-connectivity of $H_n$. As applications of the main result, the generalized 3-connectivity of some two-level interconnection networks, such as the hierarchical star graph $HS_n$, the hierarchical cubic network $HCN_n$ and the hierarchical folded hypercube $HFQ_n$, are determined directly.
A summation formula for generalized $k$-bonacci numbers
In this note, we present a simple summation formula for $k$-bonacci numbers. The derivation consists in obtaining the generating function of such numbers, and noting that its evaluation at a particular value yields a formula generalizing a known expression for Fibonacci numbers.