Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Euclidean matchings and minimality of hyperplane arrangements
Published in Discrete Mathematics 344 (3), 2021
• View Publication
• BIB
We construct a new class of maximal acyclic matchings on the Salvetti complex of a locally finite hyperplane arrangement. Using discrete Morse theory, we then obtain an explicit proof of the minimality of the complement. Our construction provides interesting insights also in the well-studied case of finite arrangements, and gives a nice geometric description of the Betti numbers of the complement. In particular, we solve a conjecture of Drton and Klivans on the characteristic polynomial of finite reflection arrangements. The minimal complex is compatible with restrictions, and this allows us to prove the isomorphism of Brieskorn's Lemma by a simple bijection of the critical cells. Finally, in the case of line arrangements, we describe the algebraic Morse complex which computes the homology with coefficients in an abelian local system.
Local Coloring and its Complexity
Published
• View Publication
• BIB
A $k$-coloring of a graph is an assignment of integers between $1$ and $k$ to vertices in the graph such that the endpoints of each edge receive different numbers. We study a local variation of the coloring problem, which imposes further requirements on three vertices: We are not allowed to use two consecutive numbers for a path on three vertices, or three consecutive numbers for a cycle on three vertices. Given a graph $G$ and a positive integer $k$, the local coloring problem asks for whether $G$ admits a local $k$-coloring. We give a characterization of graphs admitting local $3$-coloring, which implies a simple polynomial-time algorithm for it. Li et al.~[\href{http://dx.doi.org/10.1016/j.ipl.2017.09.013} {Inf.~Proc.~Letters 130 (2018)}] recently showed it is NP-hard when $k$ is an odd number of at least $5$, or $k = 4$. We show that it is NP-hard when $k$ is any fixed even number at least $6$, thereby completing the complexity picture of this problem. We close the paper with a short remark on local colorings of perfect graphs.
Random intersection graphs with communities
Published in Adv. Appl. Probab. 53 (2021) 1061-1089
• View Publication
• BIB
Random intersection graphs model networks with communities, assuming an underlying bipartite structure of groups and individuals, where these groups may overlap. Group memberships are generated through the bipartite configuration model. Conditionally on the group memberships, the classical random intersection graph is obtained by connecting individuals when they are together in at least one group. We generalize this definition, allowing for arbitrary community structures within the groups.
In our new model, groups might overlap and they have their own internal structure described by a graph, the classical setting corresponding to groups being complete graphs. Our model turns out to be tractable. We analyze the overlapping structure of the communities, derive the asymptotic degree distribution and the local clustering coefficient. These proofs rely on local weak convergence, which also implies that subgraph counts converge. We further exploit the connection to the bipartite configuration model, for which we also prove local weak convergence, and which is interesting in its own right.
A note on the diameter of convex polytope
Published in Discrete Applied Mathematics 289 534-538 2021
• View Publication
• BIB
This short note extends a recent result (Bonifas et al, On sub-determinants and the diameter of polyhedra, Discrete Computational Geometry, 52, 2014) of an upper bound of the diameter of a convex polytope defined by an integer matrix to a similar upper bound of the diameter of a convex polytope defined by a real matrix. It also shows, by an example, that the new bound may be better than the ones of Bonifas et al.
The edge-statistics conjecture for $\ell \ll k^{6/5}$
Published
• View Publication
• BIB
Let $k$ and $\ell$ be positive integers. We prove that if $1 \leq \ell \leq o_k(k^{6/5})$, then in every large enough graph $G$, the fraction of $k$-vertex subsets that induce exactly $\ell$ edges is at most $1/e + o_k(1)$. Together with a recent result of Kwan, Sudakov, and Tran, this settles a conjecture of Alon, Hefetz, Krivelevich, and Tyomkyn.
Pebbling on Directed Graphs with Fixed Diameter
Pebbling is a game played on a graph. The single player is given a graph and a configuration of pebbles and may make pebbling moves by removing 2 pebbles from one vertex and placing one at an adjacent vertex to eventually have one pebble reach a predetermined vertex. The pebbling number, $π(G)$, is the minimum number of pebbles such that regardless of their exact configuration, the player can use pebbling moves to have a pebble reach any predetermined vertex.
Previous work has related $π(G)$ to the diameter of $G$. Clarke, Hochberg, and Hurlbert demonstrated that every connected undirected graph on $n$ vertices with diameter 2 has $π(G) = n$ unless it belongs to an exceptional family of graphs, consisting of those that can be constructed in a specific manner; in which case $π(G) = n +1$. By generalizing a result of Chan and Godbole, Postle showed that for a graph with diameter $d$, $π(G) \le n 2^{\lceil \frac{d}{2} \rceil} (1+o_n(1))$.
In this article, we continue this study relating pebbling and diameter with a focus on directed graphs. This leads to some surprising results. First, we show that in an oriented directed graph $G$ (in the sense that if $i \to j$ then we cannot have $j \to i$), it is indeed the case that if $G$ has diameter 2, $π(G) = n$ or $n + 1$, and if $π(G) = n+1$, the directed graph has a very particular structure. In the case of general directed graphs (that is, if $i \to j$, we may or may not have an arc $j \to i$) with diameter 2, we show that $π(G)$ can be as large as $\frac32 n + 1$, and further, this bound is sharp. More generally, we show that for general directed graphs, $π(G) \le 2^d n / d + f(d)$ where $f(d)$ is some function of only $d$.
Intriguing sets in distance regular graphs
We construct an infinite family of intriguing sets that are not tight in the Grassmann Graph of planes of PG$(n,q)$, $n\ge 5$ odd, and show that the members of the family are the smallest possible examples if $n\ge 9$ or $q\ge 25$.
Distinct Partial Sums in Cyclic Groups: Polynomial Method and Constructive Approaches
Published
• View Publication
• BIB
Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq k$. We consider the following conjecture of Alspach: For any cyclic group $\Z_n$ and any subset $A \subseteq \Z_n \setminus \{0\}$ with $s_k \neq 0$, it is possible to find an ordering of the elements of $A$ such that no two of its partial sums $s_i$ and $s_j$ are equal for $0 \leq i < j \leq k$. We show that Alspach's Conjecture holds for prime $n$ when $k \geq n-3$ and when $k \leq 10$. The former result is by direct construction, the latter is non-constructive and uses the polynomial method. We also use the polynomial method to show that for prime $n$ a sequence of length $k$ having distinct partial sums exists in any subset of $\Z_n \setminus \{0\}$ of size at least $2k- \sqrt{8k}$ in all but at most a bounded number of cases.
Marking and shifting a part in partition theorems
Refined versions, analytic and combinatorial, are given for classical integer partition theorems. The examples include the Rogers-Ramanujan identities, the Gollnitz-Gordon identities, Euler's odd=distinct theorem, and the Andrews-Gordon identities. Generalizations of each of these theorems are given where a single part is "marked" or weighted. This allows a single part to be replaced by a new larger part, "shifting" a part, and analogous combinatorial results are given in each case. Versions are also given for marking a sum of parts.
Special Configurations in Anchored Rectangle Packings
Given a finite set S in $[0,1]^2$ including the origin, an anchored rectangle packing is a set of non-overlapping rectangles in the unit square where each rectangle has a point of S as its left-bottom corner and contains no point of S in its interior. Allen Freedman conjectured in the 1960's one can always find an anchored rectangle packing with total area at least $1/2$. We verify the conjecture for point configurations whose relative positions belong to certain classes of permutations.
Tight MIP formulations for bounded length cyclic sequences
We study cyclic binary strings with bounds on the lengths of the intervals of consecutive ones and zeros. This is motivated by scheduling problems where such binary strings can be used to represent the state (on/off) of a machine. In this context the bounds correspond to minimum and maximum lengths of on- or off-intervals, and cyclic strings can be used to model periodic schedules. Extending results for non-cyclic strings is not straight forward. We present a non-trivial tight compact extended network flow formulation, as well as valid inequalities in the space of the state and start-up variables some of which are shown to be facet-defining. Applying a result from disjunctive programming, we also convert the extended network flow formulation into an extended formulation over the space of the state and start-up variables.
The 6-element case of S-Frankl conjecture (I)
The union-closed sets conjecture (Frankl's conjecture) says that for any finite union-closed family of finite sets, other than the family consisting only of the empty set, there exists an element that belongs to at least half of the sets in the family. In [3], a stronger version of Frankl's conjecture (S-Frankl conjecture for short) was introduced and a partial proof was given. In particular, it was proved in \cite{CH17} that S-Frankl conjecture holds when $n\leq 5$, where $n$ is the number of all the elements in the family of sets. Now, we want to prove that it holds when $n=6$. Since the paper is very long, we split it into two parts. This is the first part.
Strong list-chromatic index of subcubic graphs
Published
• View Publication
• BIB
A strong $k$-edge-coloring of a graph G is an edge-coloring with $k$ colors in which every color class is an induced matching. The strong chromatic index of $G$, denoted by $χ'_{s}(G)$, is the minimum $k$ for which $G$ has a strong $k$-edge-coloring. In 1985, Erdős and Nešetřil conjectured that $χ'_{s}(G)\leq\frac{5}{4}Δ(G)^2$, where $Δ(G)$ is the maximum degree of $G$. When $G$ is a graph with maximum degree at most 3, the conjecture was verified independently by Andersen and Horák, Qing, and Trotter. In this paper, we consider the list version of strong edge-coloring. In particular, we show that every subcubic graph has strong list-chromatic index at most 11 and every planar subcubic graph has strong list-chromatic index at most 10.
Smooth entrywise positivity preservers, a Horn-Loewner master theorem, and symmetric function identities
Published in Transactions of the American Mathematical Society 375 (2022), no. 3, 2217-2236
• View Publication
• BIB
A special case of a fundamental result of Loewner and Horn [Trans. Amer. Math. Soc. 1969] says that given an integer $n \geq 1$, if the entrywise application of a smooth function $f : (0,\infty) \to \mathbb{R}$ preserves the set of $n \times n$ positive semidefinite matrices with positive entries, then $f$ and its first $n-1$ derivatives are non-negative on $(0,\infty)$. In a recent joint work with Belton-Guillot-Putinar [J. Eur. Math. Soc., in press], we proved a stronger version, and used it to strengthen the Schoenberg-Rudin characterization of dimension-free positivity preservers [Duke Math. J. 1942, 1959].
In recent works with Belton-Guillot-Putinar [Adv. Math. 2016] and with Tao [Amer. J. Math., in press] we used local, real-analytic versions at the origin of the Horn-Loewner condition, and discovered unexpected connections between entrywise polynomials preserving positivity and Schur polynomials. In this paper, we unify these two stories via a Master Theorem (Theorem A) which (i) simultaneously unifies and extends all of the aforementioned variants; and (ii) proves the positivity of the first $n$ nonzero Taylor coefficients at individual points rather than on all of $(0,\infty)$.
A key step in the proof is a new determinantal / symmetric function calculation (Theorem B), which shows that Schur polynomials arise naturally from considering arbitrary entrywise maps that are sufficiently differentiable. Of independent interest may be the following application to symmetric function theory: we extend the Schur function expansion of Cauchy's (1841) determinant (whose matrix entries are geometric series $1 / (1 - u_j v_k)$), as well as of a determinant of Frobenius [J. reine angew. Math. 1882] (whose matrix entries are a sum of two geometric series), to arbitrary power series, and over all commutative rings.
Cluster algebras with Grassmann variables
Published
• View Publication
• BIB
We develop a version of cluster algebra extending the ring of Laurent polynomials by adding Grassmann variables. These algebras can be described in terms of `extended quivers' which are oriented hypergraphs. We describe mutations of such objects and define a corresponding commutative superalgebra. Our construction includes the notion of weighted quivers that has already appeared in different contexts. This paper is a step of understanding the notion of cluster superalgebra
The Minrank of Random Graphs over Arbitrary Fields
Published
• View Publication
• BIB
The minrank of a graph $G$ on the set of vertices $[n]$ over a field $\mathbb{F}$ is the minimum possible rank of a matrix $M\in\mathbb{F}^{n\times n}$ with nonzero diagonal entries such that $M_{i,j}=0$ whenever $i$ and $j$ are distinct nonadjacent vertices of $G$. This notion, over the real field, arises in the study of the Lovász theta function of a graph. We obtain tight bounds for the typical minrank of the binomial random graph $G(n,p)$ over any finite or infinite field, showing that for every field $\mathbb{F}=\mathbb F(n)$ and every $p=p(n)$ satisfying $n^{-1} \leq p \leq 1-n^{-0.99}$, the minrank of $G=G(n,p)$ over $\mathbb{F}$ is $Θ(\frac{n \log (1/p)}{\log n})$ with high probability. The result for the real field settles a problem raised by Knuth in 1994. The proof combines a recent argument of Golovnev, Regev, and Weinstein, who proved the above result for finite fields of size at most $n^{O(1)}$, with tools from linear algebra, including an estimate of Rónyai, Babai, and Ganapathy for the number of zero-patterns of a sequence of polynomials.
On the order of regular graphs with fixed second largest eigenvalue
Published
• View Publication
• BIB
Let $v(k, λ)$ be the maximum number of vertices of a connected $k$-regular graph with second largest eigenvalue at most $λ$. The Alon-Boppana Theorem implies that $v(k, λ)$ is finite when $k > \frac{λ^2 + 4}{4}$. In this paper, we show that for fixed $λ\geq1$, there exists a constant $C(λ)$ such that $2k+2 \leq v(k, λ) \leq 2k + C(λ)$ when $k > \frac{λ^2 + 4}{4}$.
Extremal graphs for vertex-degree-based invariants with given degree sequences
Published in Discrete Applied Mathematics, 2018
• View Publication
• BIB
For a symmetric bivariable function $f(x,y)$, let the {\it connectivity function} of a connected graph $G$ be $M_f(G)=\sum_{uv\in E(G)}f(d(u),d(v))$, where $d(u)$ is the degree of vertex $u$. In this paper, we prove that for an escalating (de-escalating) function $f(x,y)$, there exists a BFS-graph with the maximum (minimum) connectivity function $M_f(G)$ among all graphs with a $c-$cyclic degree sequence $π=(d_1,d_2, \ldots, d_n)$ and $d_n=1$, and obtain the majorization theorem for connectivity function for unicyclic and bicyclic degree sequences. Moreover, some applications of graph invariants based on degree are included.
The sharp threshold for jigsaw percolation in random graphs
Published in Adv. Appl. Probab. 51 (2019) 378-407
• View Publication
• BIB
We analyse the jigsaw percolation process, which may be seen as a measure of whether two graphs on the same vertex set are `jointly connected'. Bollobás, Riordan, Slivken and Smith proved that when the two graphs are independent binomial random graphs, whether the jigsaw process percolates undergoes a phase transition when the product of the two probabilities is $Θ\left( \frac{1}{n\ln n} \right)$. We show that this threshold is sharp, and that it lies at $\frac{1}{4n\ln n}$.
A Generalized Central Sets Theorem In Partial Semigroups
Published
• View Publication
• BIB
The most powerful formulation of the Central Sets Theorem in an arbitrary semigroup was proved in the work of De, Hindman, and Strauss. The sets which satisfy the conclusion of the above Central Sets Theorem are called $C$-sets. The original Central Sets Theorem was extended by J. McLeod for adequate commutative partial semigroups. In this work, we will extend the Central Sets Theorem obtained by taking all possible adequate sequences in a commutative adequate partial semigroup. We shall also discuss a sufficient condition for being a set $C$-set in our context.