Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Cutwidth: obstructions and algorithmic aspects
Published
• View Publication
• BIB
Cutwidth is one of the classic layout parameters for graphs. It measures how well one can order the vertices of a graph in a linear manner, so that the maximum number of edges between any prefix and its complement suffix is minimized. As graphs of cutwidth at most $k$ are closed under taking immersions, the results of Robertson and Seymour imply that there is a finite list of minimal immersion obstructions for admitting a cut layout of width at most $k$. We prove that every minimal immersion obstruction for cutwidth at most $k$ has size at most $2^{O(k^3\log k)}$.
As an interesting algorithmic byproduct, we design a new fixed-parameter algorithm for computing the cutwidth of a graph that runs in time $2^{O(k^2\log k)}\cdot n$, where $k$ is the optimum width and $n$ is the number of vertices. While being slower by a $\log k$-factor in the exponent than the fastest known algorithm, given by Thilikos, Bodlaender, and Serna in [Cutwidth I: A linear time fixed parameter algorithm, J. Algorithms, 56(1):1--24, 2005] and [Cutwidth II: Algorithms for partial $w$-trees of bounded degree, J. Algorithms, 56(1):25--49, 2005], our algorithm has the advantage of being simpler and self-contained; arguably, it explains better the combinatorics of optimum-width layouts.
A new class of graphs that satisfies the Chen-Chvátal Conjecture
Published
• View Publication
• BIB
A well-known combinatorial theorem says that a set of n non-collinear points in the plane determines at least n distinct lines. Chen and Chvátal conjectured that this theorem extends to metric spaces, with an appropriated definition of line. In this work we prove a slightly stronger version of Chen and Chvátal conjecture for a family of graphs containing chordal graphs and distance-hereditary graphs.
The planar Ising model and total positivity
Published
• View Publication
• BIB
A matrix is called totally positive (resp. totally nonnegative) if all its minors are positive (resp. nonnegative). Consider the Ising model with free boundary conditions and no external field on a planar graph $G$. Let $a_1,\dots,a_k,b_k,\dots,b_1$ be vertices placed in a counterclockwise order on the outer face of $G$. We show that the $k\times k$ matrix of the two-point spin correlation functions \[
M_{i,j} = \langle σ_{a_i} σ_{b_j} \rangle
\] is totally nonnegative. Moreover, $\det M > 0$ if and only if there exist $k$ pairwise vertex-disjoint paths that connect $a_i$ with $b_i$. We also compute the scaling limit at criticality of the probability that there are $k$ parallel and disjoint connections between $a_i$ and $b_i$ in the double random current model. Our results are based on a new distributional relation between double random currents and random alternating flows of Talaska.
Planar digraphs of digirth four are 2-colourable
Published
• View Publication
• BIB
Neumann-Lara conjectured in 1985 that every planar digraph with digirth at least three is 2-colourable, meaning that the vertices can be 2-coloured without creating any monochromatic directed cycles. We prove a relaxed version of this conjecture: every planar digraph of digirth at least four is 2-colourable.
Classification of 8-dimensional rank two commutative semifields
Published in Adv. Geom. 19 (2019), 57-64
• View Publication
• BIB
We classify the rank two commutative semifields which are 8-dimensional over their center $\mathbb{F}_{q}$. This is done using computational methods utilizing the connection to linear sets in $\mathrm{PG}(2,q^{4})$. We then apply our methods to complete the classification of rank two commutative semifields which are 10-dimensional over $\mathbb{F}_{3}$. The implications of these results are detailed for other geometric structures such as semifield flocks, ovoids of parabolic quadrics, and eggs.
A constant-time algorithm for middle levels Gray codes
For any integer $n\geq 1$ a middle levels Gray code is a cyclic listing of all $n$-element and $(n+1)$-element subsets of $\{1,2,\ldots,2n+1\}$ such that any two consecutive subsets differ in adding or removing a single element. The question whether such a Gray code exists for any $n\geq 1$ has been the subject of intensive research during the last 30 years, and has been answered affirmatively only recently [T. Mütze. Proof of the middle levels conjecture. Proc. London Math. Soc., 112(4):677--713, 2016]. In a follow-up paper [T. Mütze and J. Nummenpalo. An efficient algorithm for computing a middle levels Gray code. To appear in ACM Transactions on Algorithms, 2018] this existence proof was turned into an algorithm that computes each new set in the Gray code in time $\mathcal{O}(n)$ on average. In this work we present an algorithm for computing a middle levels Gray code in optimal time and space: each new set is generated in time $\mathcal{O}(1)$ on average, and the required space is $\mathcal{O}(n)$.
Hyperfibonacci Sequences and Polytopic Numbers
We prove that the difference between the $n$-th hyperfibonacci number of $r$-th generation and its two consecutive predecessors is the $n$-th regular $(r-1)$-topic number. Using this fact we provide an equivalent recursive definition of hyperfibonacci sequences and derive an extension of the Binet formula. We also prove further identities involving both hyperfibonacci and hyperlucas sequences, in full generality.
Scalable motif-aware graph clustering
Published
• View Publication
• BIB
We develop new methods based on graph motifs for graph clustering, allowing more efficient detection of communities within networks. We focus on triangles within graphs, but our techniques extend to other clique motifs as well. Our intuition, which has been suggested but not formalized similarly in previous works, is that triangles are a better signature of community than edges. We therefore generalize the notion of conductance for a graph to {\em triangle conductance}, where the edges are weighted according to the number of triangles containing the edge. This methodology allows us to develop variations of several existing clustering techniques, including spectral clustering, that minimize triangles split by the cluster instead of edges cut by the cluster. We provide theoretical results in a planted partition model to demonstrate the potential for triangle conductance in clustering problems. We then show experimentally the effectiveness of our methods to multiple applications in machine learning and graph mining.
The CDE property for minuscule lattices
Published in Journal of Combinatorial Theory, Series A, 152, 2017
• View Publication
• BIB
Reiner, Tenner, and Yong recently introduced the coincidental down-degree expectations (CDE) property for finite posets and showed that many nice posets are CDE. In this paper we further explore the CDE property, resolving a number of conjectures about CDE posets put forth by Reiner-Tenner-Yong. A consequence of our work is the completion of a case-by-case proof that any minuscule lattice is CDE. We also explain two major applications of the study of CDE posets: formulas for certain classes of set-valued tableaux; and homomesy results for rowmotion and gyration acting on sets of order ideals.
Blocker size via matching minors
Published
• View Publication
• BIB
Finding the maximum number of maximal independent sets in an $n$-vertex graph $G$, $i(G)$, from a restricted class is an extensively studied problem. Let $kK_2$ denote the matching of size $k$, that is a graph with $2k$ vertices and $k$ disjoint edges. A graph with an induced copy of $kK_2$ contains at least $2^k$ maximal independent sets. The other direction was established in a series of papers finally yielding $i(G) \le (n/k)^{2k}$ for a graph $G$ without an induced $(k+1)K_2$. Alekseev proved that $i(G)$ is at most the number of induced matchings of $G$.
This work generalises the aforementioned results to clutters. The right substructures in this setting are minors rather than induced subgraphs. Maximal independent sets of a clutter $\mathcal{H}$ are in one-to-one correspondence to the sets of its blocker, $b(\mathcal{H})$, hence $i(\mathcal{H}) = |b(\mathcal{H})|$. We show that
\[
|b(\mathcal{H})| \le
\sum_{m=0}^{k \cdot f(r)}{|\mathcal{H}| \choose m} {r \choose 2}^m
\] for a $(k+1)K_2$-minor-free clutter $\mathcal{H}$ where $f(r) = (2r-3)2^{r-2}$ and $r$ is the maximum size of a set in $\mathcal{H}$. A key step in the proofs is, similarly to Alekseev's result, showing that $i(\mathcal{H})$ is bounded by the number of a substructure called semi-matching, and then proving a dependence between the number of semi-matchings and the number of minor matchings. Note that similarly to graphs, a clutter containing a $kK_2$ minor has at least $2^k$ maximal independent sets.
From a computational perspective, a polynomial number of independent sets is particularly interesting. Our results lead to polynomial algorithms for restricted instances of many problems including Set Cover and k-SAT.
Triangle-free planar graphs with the smallest independence number
Published in Journal of Graph Theory 90(3): 443-454 (2019)
• View Publication
• BIB
Steinberg and Tovey proved that every n-vertex planar triangle-free graph has an independent set of size at least (n+1)/3, and described an infinite class of tight examples. We show that all n-vertex planar triangle-free graphs except for this one infinite class have independent sets of size at least (n+2)/3.
Manickam-Miklós-Singhi Conjectures on Partial Geometries
Published
• View Publication
• BIB
In this paper we give a proof of the Manickam-Miklós-Singhi (MMS) conjecture for some partial geometries. Specifically, we give a condition on partial geometries which implies that the MMS conjecture holds. Further, several specific partial geometries that are counter-examples to the conjecture are described.
Narayana, Mandelbrot, and A New Kind of Companion Matrix
Published
• View Publication
• BIB
We demonstrate a new kind of companion matrix, for polynomials of the form $c(λ) = λa(λ)b(λ) + c_0$ where upper Hessenberg companions are known for the polynomials $a(λ)$ and $b(λ)$. This construction can generate companion matrices with smaller entries than the Fiedler or Frobenius forms. This generalizes Piers Lawrence's Mandelbrot companion matrix. We motivate the construction by use of Narayana-Mandelbrot polynomials, which are also new to this paper.
Tight Bounds on the Complexity of Semi-Equitable Coloring of Cubic and Subcubic Graphs
A $k$-coloring of a graph $G=(V,E)$ is called semi-equitable if there exists a partition of its vertex set into independent subsets $V_1,\ldots,V_k$ in such a way that $|V_1| \notin \{\lceil |V|/k\rceil, \lfloor |V|/k \rfloor\}$ and $||V_i|-|V_j|| \leq 1$ for each $i,j=2,\ldots,k$. The color class $V_1$ is called non-equitable. In this note we consider the complexity of semi-equitable $k$-coloring, $k\geq 4$, of the vertices of a cubic or subcubic graph $G$. In particular, we show that, given a $n$-vertex subcubic graph $G$ and constants $ε> 0$, $k \geq 4$, it is NP-complete to obtain a semi-equitable $k$-coloring of $G$ whose non-equitable color class is of size $s$ if $s \geq n/3+εn$, and it is polynomially solvable if $s \leq n/3$.
A Switching for all Strongly Regular Collinearity Graphs From Polar Spaces
Published
• View Publication
• BIB
We describe a general construction of strongly regular graphs from the collinearity graph of a finite classical polar spaces of rank at least $3$ over a finite field of order $q$. We show that these graphs are non-isomorphic to the collinearity graphs and have the same parameters. To our knowledge for most of these parameters these graphs are new as the collinearity graphs were the only known examples.
Embedding large graphs into a random graph
Published
• View Publication
• BIB
In this paper we consider the problem of embedding almost-spanning, bounded degree graphs in a random graph. In particular, let $Δ\geq 5$, $\varepsilon > 0$ and let $H$ be a graph on $(1-\varepsilon)n$ vertices and with maximum degree $Δ$. We show that a random graph $G_{n,p}$ with high probability contains a copy of $H$, provided that $p\gg (n^{-1}\log^{1/Δ}n)^{2/(Δ+1)}$. Our assumption on $p$ is optimal up to the $polylog$ factor. We note that this $polylog$ term matches the conjectured threshold for the spanning case.
Orbits of antichains in certain root posets
Published in Electronic Journal of Combinatorics 24(4) (2017), #P4.25
• View Publication
• BIB
This paper gives another proof of Propp and Roby's theorem saying that the average antichain size in any reverse operator orbit of the poset $[m]\times [n]$ is $\frac{mn}{m+n}$. It is conceivable that our method should work for other situations. As a demonstration, we show that the average size of antichains in any reverse operator orbit of $[m]\times K_{n-1}$ equals $\frac{2mn}{m+2n-1}$. Here $K_{n-1}$ is the minuscule poset $[n-1]\oplus ([1] \sqcup [1]) \oplus [n-1]$. Note that $[m]\times [n]$ and $[m]\times K_{n-1}$ can be interpreted as sub-families of certain root posets. We guess these root posets should provide a unified setting to exhibit the homomesy phenomenon defined by Propp and Roby.
A bibasic Heine transformation formula and Ramanujan's $_2φ_1$ transformations
Published in in Analytic Number Theory, Modular Forms and q-Hypergeometric Series, In honor of Krishna Alladi's 60th Birthday, University of Florida, Gainesville, Mar 2016, G. E. Andrews and F. G. Garvan (eds.), 99-122 (2017)
• View Publication
• BIB
We study Andrews and Berndt's organization of Ramanujan's transformation formulas in Chapter 1 of their book Ramanujan's Lost Notebook, Part II. In the process, we rediscover a bibasic Heine's transformation, which follows from a Fundamental Lemma given by Andrews in 1966, and obtain identities proximal to Ramanujan's entries. We also provide a multibasic generalization of Andrews' 1972 theorem concerning a $q$-analogue of the Lauricella function. Our results only require the $q$-binomial theorem, and are an application of what Andrews and Berndt call 'Heine's Method'.
First-Fit coloring of Cartesian product graphs and its defining sets
Published in Contributions to Discrete Mathematics, Vol. 12 No. 1 (2017)
• View Publication
• BIB
Let the vertices of a Cartesian product graph $G\Box H$ be ordered by an ordering $σ$. By the First-Fit coloring of $(G\Box H, σ)$ we mean the vertex coloring procedure which scans the vertices according to the ordering $σ$ and for each vertex assigns the smallest available color. Let $FF(G\Box H,σ)$ be the number of colors used in this coloring. By introducing the concept of descent we obtain a sufficient condition to determine whether $FF(G\Box H,σ)=FF(G\Box H,τ)$, where $σ$ and $τ$ are arbitrary orders. We study and obtain some bounds for $FF(G\Box H,σ)$, where $σ$ is any quasi-lexicographic ordering. The First-Fit coloring of $(G\Box H, σ)$ does not always yield an optimum coloring. A greedy defining set of $(G\Box H, σ)$ is a subset $S$ of vertices in the graph together with a suitable pre-coloring of $S$ such that by fixing the colors of $S$ the First-Fit coloring of $(G\Box H, σ)$ yields an optimum coloring. We show that the First-Fit coloring and greedy defining sets of $G\Box H$ with respect to any quasi-lexicographic ordering (including the known lexicographic order) are all the same. We obtain upper and lower bounds for the smallest cardinality of a greedy defining set in $G\Box H$, including some extremal results for Latin squares.
Majority dynamics with one nonconformist
Published in Discrete Applied Mathematics 219 (2017)
• View Publication
• BIB
We consider a system in which a group of agents represented by the vertices of a graph synchronously update their opinion based on that of their neighbours. If each agent adopts a positive opinion if and only if that opinion is sufficiently popular among his neighbours, the system will eventually settle into a fixed state or alternate between two states. If one agent acts in a different way, other periods may arise. We show that only a small number of periods may arise if natural restrictions are placed either on the neighbourhood structure or on the way in which the nonconforming agent may act; without either of these restrictions any period is possible.