Showing 20 papers (Total: 83657 papers, 48289 authors in database)
An explicit upper bound for the Helfgott delta in SL(2,p)
Published
• View Publication
• BIB
Helfgott proved that there exists a $δ>0$ such that if $S$ is a symmetric generating subset of $SL(2,p)$ containing 1 then either $S^3=SL(2,p)$ or $|S^3|\geq |S|^{1+δ}$. It is known that $δ\geq 1/3024$. Here we show that $δ\leq(\log_2(7)-1)/6 \approx 0.3012$ and we present evidence suggesting that this might be the true value of $δ$.
An $L^p$ theory of sparse graph convergence I: limits, sparse random graph models, and power law distributions
Published in Trans. Amer. Math. Soc. 372 (2019), 3019--3062
• View Publication
• BIB
We introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollobás and Riordan to sparse graphs without dense spots. In doing so, we replace the no dense spots hypothesis with weaker assumptions, which allow us to analyze graphs with power law degree distributions. This gives the first broadly applicable limit theory for sparse graphs with unbounded average degrees. In this paper, we lay the foundations of the $L^p$ theory of graphons, characterize convergence, and develop corresponding random graph models, while we prove the equivalence of several alternative metrics in a companion paper.
Semiregular automorphisms of cubic vertex-transitive graphs
Published
• View Publication
• BIB
We characterise connected cubic graphs admitting a vertex- transitive group of automorphisms with an abelian normal subgroup that is not semiregular. We illustrate the utility of this result by using it to prove that the order of a semiregular subgroup of maximum order in a vertex-transitive group of automorphisms of a connected cubic graph grows with the order of the graph.
Non-Embeddable Extensions of Embedded Minors
Published
• View Publication
• BIB
A graph G is weakly 4-connected if it is 3-connected, has at least five vertices, and for every pair of sets (A,B) with union V(G) and intersection of size three such that no edge has one end in A-B and the other in B-A, one of the induced subgraphs G[A], G[B] has at most four edges. We describe a set of constructions that starting from a weakly 4-connected planar graph G produce a finite list of non-planar weakly 4-connected graphs, each having a minor isomorphic to G, such that every non-planar weakly 4-connected graph H that has a minor isomorphic to G has a minor isomorphic to one of the graphs in the list. Our main result is more general and applies in particular to polyhedral embeddings in any surface.
Scheduling Problems
Published
• View Publication
• BIB
We introduce the notion of a scheduling problem which is a boolean function $S$ over atomic formulas of the form $x_i \leq x_j$. Considering the $x_i$ as jobs to be performed, an integer assignment satisfying $S$ schedules the jobs subject to the constraints of the atomic formulas. The scheduling counting function counts the number of solutions to $S$. We prove that this counting function is a polynomial in the number of time slots allowed. Scheduling polynomials include the chromatic polynomial of a graph, the zeta polynomial of a lattice, the Billera-Jia-Reiner polynomial of a matroid.
To any scheduling problem, we associate not only a counting function for solutions, but also a quasisymmetric function and a quasisymmetric function in non-commuting variables. These scheduling functions include the chromatic symmetric functions of Sagan, Gebhard, and Stanley, and a close variant of Ehrenborg's quasisymmetric function for posets.
Geometrically, we consider the space of all solutions to a given scheduling problem. We extend a result of Steingrímmson by proving that the $h$-vector of the space of solutions is given by a shift of the scheduling polynomial. Furthermore, under certain niceness conditions on the defining boolean function, we prove partitionability of the space of solutions and positivity of fundamental expansions of the scheduling quasisymmetric functions and of the $h$-vector of the scheduling polynomial.
A Comparison between the Zero Forcing Number and the Strong Metric Dimension of Graphs
Published in COCOA 2014, Lecture Notes in Comput. Sci. (Springer), Vol. 8881 (2014) pp. 356-365
• View Publication
• BIB
The \emph{zero forcing number}, $Z(G)$, of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G)-S$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the color-change rule": a white vertex is converted black if it is the only white neighbor of a black vertex. The \emph{strong metric dimension}, $sdim(G)$, of a graph $G$ is the minimum among cardinalities of all strong resolving sets: $W \subseteq V(G)$ is a \emph{strong resolving set} of $G$ if for any $u, v \in V(G)$, there exists an $x \in W$ such that either $u$ lies on an $x-v$ geodesic or $v$ lies on an $x-u$ geodesic. In this paper, we prove that $Z(G) \le sdim(G)+3r(G)$ for a connected graph $G$, where $r(G)$ is the cycle rank of $G$. Further, we prove the sharp bound $Z(G) \leq sdim(G)$ when $G$ is a tree or a unicyclic graph, and we characterize trees $T$ attaining $Z(T)=sdim(T)$. It is easy to see that $sdim(T+e)-sdim(T)$ can be arbitrarily large for a tree $T$; we prove that $sdim(T+e) \ge sdim(T)-2$ and show that the bound is sharp.
Descent sets on 321-avoiding involutions and hook decompositions of partitions
Published
• View Publication
• BIB
We show that the distribution of the major index over the set of involutions in S_n that avoid the pattern 321 is given by the q-analogue of the n-th central binomial coefficient. The proof consists of a composition of three non-trivial bijections, one being the Robinson-Schensted correspondence, ultimately mapping those involutions with major index m into partitions of m whose Young diagram fits inside an n/2 by n/2 box. We also obtain a refinement that keeps track of the descent set, and we deduce an analogous result for the comajor index of 123-avoiding involutions.
Markov Chains for Collaboration
Published in Mathematics Magazine Vol. 84, No. 1 (February 2011), pp. 3-15
• View Publication
• BIB
Consider a system of \(n\) players in which each initially starts on a different team. At each time step, we select an individual winner and an individual loser randomly and the loser joins the winner's team. The resulting Markov chain and stochastic matrix clearly have one absorbing state, in which all players are on the same team, but the combinatorics along the way are surprisingly elegant. The expected number of time steps until each team is eliminated is a ratio of binomial coefficients. When a team is eliminated, the probabilities that the players are configured in various partitions of \(n\) into \(t\) teams are given by multinomial coefficients. The expected value of the time to absorbtion is \((n-1)^2\) steps. The results depend on elementary combinatorics, linear algebra, and the theory of Markov chains.
A combinatorial proof on partition function parity
One of the most basic results concerning the number-theoretic properties of the partition function $p(n)$ is that $p(n)$ takes each value of parity infinitely often. This statement was first proved by Kolberg in 1959, and it was strengthened by Subbarao in 1966 to say that both $p(2n)$ and $p(2n+1)$ take each value of parity infinitely often. These results have received several other proofs, each relying to some extent on manipulating generating functions. We give a new, self-contained proof of Subbarao's result by constructing a series of bijections and involutions, along the way getting a more general theorem concerning the enumeration of a special subset of integer partitions.
Directed Width Parameters and Circumference of Digraphs
Published
• View Publication
• BIB
We prove that the directed treewidth, DAG-width and Kelly-width of a digraph are bounded above by its circumference plus one.
On-line vertex ranking of trees
Published
• View Publication
• BIB
A $k$-ranking of a graph $G$ is a labeling of its vertices from $\{1,\ldots,k\}$ such that any nontrivial path whose endpoints have the same label contains a larger label. The least $k$ for which $G$ has a $k$-ranking is the ranking number of $G$, also known as tree-depth. Applications of rankings include VLSI design, parallel computing, and factory scheduling. The on-line ranking problem asks for an algorithm to rank the vertices of $G$ as they are presented one at a time along with all previously ranked vertices and the edges between them (so each vertex is presented as the lone unranked vertex in a partially labeled induced subgraph of $G$ whose final placement in $G$ is not specified). The on-line ranking number of $G$ is the minimum over all such algorithms of the largest label that algorithm can be forced to use. We give bounds on the on-line ranking number of trees in terms of maximum degree, diameter, and number of interior vertices.
On (t,r) Broadcast Domination Numbers of Grids
Published
• View Publication
• BIB
The domination number of a graph $G = (V,E)$ is the minimum cardinality of any subset $S \subset V$ such that every vertex in $V$ is in $S$ or adjacent to an element of $S$. Finding the domination numbers of $m$ by $n$ grids was an open problem for nearly 30 years and was finally solved in 2011 by Goncalves, Pinlou, Rao, and Thomassé. Many variants of domination number on graphs have been defined and studied, but exact values have not yet been obtained for grids. We will define a family of domination theories parameterized by pairs of positive integers $(t,r)$ where $1 \leq r \leq t$ which generalize domination and distance domination theories for graphs. We call these domination numbers the $(t,r)$ broadcast domination numbers. We give the exact values of $(t,r)$ broadcast domination numbers for small grids, and we identify upper bounds for the $(t,r)$ broadcast domination numbers for large grids and conjecture that these bounds are tight for sufficiently large grids.
Limits of Random Trees
Published in Acta Mathematica Hungarica, 2013 Volume 141, Issue 1-2 , pp 185-201
• View Publication
• BIB
Local convergence of bounded degree graphs was introduced by Benjamini and Schramm. This result was extended further by Lyons to bounded average degree graphs. In this paper, we study the convergence of a random tree sequence where the probability of a given tree is proportional to $\prod_{v_i\in V(T)}d(v_i)!$. We show that this sequence is convergent and describe the limit object, which is a random infinite rooted tree.
Planar digraphs of digirth five are 2-colorable
Published
• View Publication
• BIB
Neumann-Lara (1985) and Škrekovski conjectured that every planar digraph with digirth at least three is 2-colorable. We prove a relaxed version of this conjecture: every planar digraph of digirth at least five is 2-colorable. The result also holds in the setting of list colorings.
Cyclic Hodge Integrals and Loop Schur Functions
Published
• View Publication
• BIB
We conjecture an evaluation of three-partition cyclic Hodge integrals in terms of loop Schur functions. Our formula implies the orbifold Gromov-Witten/Donaldson-Thomas correspondence for toric Calabi-Yau threefolds with transverse type A singularities. We prove the formula in the case where one of the partitions is empty, and thus establish the orbifold Gromov- Witten/Donaldson-Thomas correspondence for local toric surfaces with transverse type A singularities.
Lower bounds for algebraic connectivity of graphs in terms of matching number or edge covering number
Published in ARS COMBINATORIA, 2016, 125: 361-370
• Search Publication
In this paper we characterize the unique graph whose algebraic connectivity is minimum among all connected graphs with given order and fixed matching number or edge covering number, and present two lower bounds for the algebraic connectivity in terms of the matching number or edge covering number.
The generalized 3-edge-connectivity of lexicographic product graphs
Published
• View Publication
• BIB
The generalized $k$-edge-connectivity $λ_k(G)$ of a graph $G$ is a generalization of the concept of edge-connectivity. The lexicographic product of two graphs $G$ and $H$, denoted by $G\circ H$, is an important graph product. In this paper, we mainly study the generalized 3-edge-connectivity of $G \circ H$, and get upper and lower bounds of $λ_3(G \circ H)$. Moreover, all bounds are sharp.
Higher Dimensional Discrete Cheeger Inequalities
Published
• View Publication
• BIB
For graphs there exists a strong connection between spectral and combinatorial expansion properties. This is expressed, e.g., by the discrete Cheeger inequality, the lower bound of which states that $λ(G) \leq h(G)$, where $λ(G)$ is the second smallest eigenvalue of the Laplacian of a graph $G$ and $h(G)$ is the Cheeger constant measuring the edge expansion of $G$. We are interested in generalizations of expansion properties to finite simplicial complexes of higher dimension (or uniform hypergraphs).
Whereas higher dimensional Laplacians were introduced already in 1945 by Eckmann, the generalization of edge expansion to simplicial complexes is not straightforward. Recently, a topologically motivated notion analogous to edge expansion that is based on $\mathbb{Z}_2$-cohomology was introduced by Gromov and independently by Linial, Meshulam and Wallach. It is known that for this generalization there is no higher dimensional analogue of the lower bound of the Cheeger inequality. A different, combinatorially motivated generalization of the Cheeger constant, denoted by $h(X)$, was studied by Parzanchevski, Rosenthal and Tessler. They showed that indeed $λ(X) \leq h(X)$, where $λ(X)$ is the smallest non-trivial eigenvalue of the ($(k-1)$-dimensional upper) Laplacian, for the case of $k$-dimensional simplicial complexes $X$ with complete $(k-1)$-skeleton.
Whether this inequality also holds for $k$-dimensional complexes with non-complete $(k-1)$-skeleton has been an open question. We give two proofs of the inequality for arbitrary complexes. The proofs differ strongly in the methods and structures employed, and each allows for a different kind of additional strengthening of the original result.
Connected graphs cospectral with a Friendship graph
Let $n$ be any positive integer, the friendship graph $F_n$ consist of $n$ edge-disjoint triangles that all of them meeting in one vertex. A graph $G$ is called cospectral with a graph $H$ if their adjacency matrices have the same eigenvalues. Recently in [http://arxiv.org/pdf/1310.6529v1.pdf] it is proved that if $G$ is any graph cospectral with $F_n$ $(n\neq 16)$, then $G\cong F_n$. In this note, we give a proof of special case of the latter: Any connected graph cospectral with $F_n$ is isomorphic to $F_n$. Our proof is independent of ones given in [http://arxiv.org/pdf/1310.6529v1.pdf] and the proofs are based on our recent results given in [Trans. Com., 2 no. 4 (2013) 37-52.] Using an upper bound for the largest eigenvalue of a connected graph given in [J. Combinatorial Theory, Ser. B, 81 (2001) 177-183.].
An Elias Bound on the Bhattacharyya Distance of Codes for Channels with a Zero-Error Capacity
Published
• View Publication
• BIB
In this paper, we propose an upper bound on the minimum Bhattacharyya distance of codes for channels with a zero-error capacity. The bound is obtained by combining an extension of the Elias bound introduced by Blahut, with an extension of a bound previously introduced by the author, which builds upon ideas of Gallager, Lovász and Marton.