Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Regularity of Edge Ideals Via Suspension
Published
• View Publication
• BIB
We study the Castelnuovo-Mumford regularity of powers of edge ideals. We prove that if G is a bipartite graph, then reg(I(G)^s) \leq 2s + reg I(G) - 2 for all s \geq 2, which is the best possible upper bound for any s. Suspension plays a key role in proof of the base case s =2.
Dragging the roots of a polynomial to the unit circle
Several conditions are known for a self-inversive polynomial that ascertain the location of its roots, and we present a framework for comparison of those conditions. We associate a parametric family of polynomials $p_α$ to each such polynomial $p$, and define $\mathscr{cn}(p)$, $\mathscr{il}(p)$ to be the sharp threshold values of $α$ that guarantee that, for all larger values of the parameter, $p_α$ has, respectively, all roots in the unit circle and all roots interlacing the roots of unity of the same degree. Interlacing implies circle rootedness, hence $\mathscr{il}(p)\geq\mathscr{cn}(p)$, and this inequality is often used for showing circle rootedness. Both $\mathscr{cn}(p)$ and $\mathscr{il}(p)$ turn out to be semi-algebraic functions of the coefficients of $p$, and some useful bounds are also presented, entailing several known results about roots in the circle. The study of $\mathscr{il}(p)$ leads to a rich classification of real self-inversive polynomials of each degree, organizing them into a complete polyhedral fan. We have a close look at the class of polynomials for which $\mathscr{il}(p)=\mathscr{cn}(p)$, whereas in general the quotient $\frac{\mathscr{il}(p)}{\mathscr{cn}(p)}$ is shown to be unbounded as the degree grows. Several examples and open questions are presented.
The repetition threshold for binary rich words
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Analysis of Algorithms (February 24, 2020) dmtcs:5791
• View Publication
• BIB
A word of length $n$ is rich if it contains $n$ nonempty palindromic factors. An infinite word is rich if all of its finite factors are rich. Baranwal and Shallit produced an infinite binary rich word with critical exponent $2+\sqrt{2}/2$ ($\approx 2.707$) and conjectured that this was the least possible critical exponent for infinite binary rich words (i.e., that the repetition threshold for binary rich words is $2+\sqrt{2}/2$). In this article, we give a structure theorem for infinite binary rich words that avoid $14/5$-powers (i.e., repetitions with exponent at least 2.8). As a consequence, we deduce that the repetition threshold for binary rich words is $2+\sqrt{2}/2$, as conjectured by Baranwal and Shallit. This resolves an open problem of Vesti for the binary alphabet; the problem remains open for larger alphabets.
Planar graphs with girth at least 5 are (3,4)-colorable
Published in Discrete Mathematics, https://doi.org/10.1016/j.disc.2019.06.033
• View Publication
• BIB
A graph is $(d_1, \ldots, d_k)$-colorable if its vertex set can be partitioned into $k$ nonempty subsets so that the subgraph induced by the $i$th part has maximum degree at most $d_i$ for each $i\in\{1, \ldots, k\}$. It is known that for each pair $(d_1, d_2)$, there exists a planar graph with girth $4$ that is not $(d_1, d_2)$-colorable. This sparked the interest in finding the pairs $(d_1, d_2)$ such that planar graphs with girth at least $5$ are $(d_1, d_2)$-colorable. Given $d_1\leq d_2$, it is known that planar graphs with girth at least $5$ are $(d_1, d_2)$-colorable if either $d_1\geq 2$ and $d_1+d_2\geq 8$ or $d_1=1$ and $d_2\geq 10$. We improve an aforementioned result by providing the first pair $(d_1, d_2)$ in the literature satisfying $d_1+d_2\leq 7$ where planar graphs with girth at least $5$ are $(d_1, d_2)$-colorable. Namely, we prove that planar graphs with girth at least $5$ are $(3, 4)$-colorable.
Bipartite Turán problems for ordered graphs
Published
• View Publication
• BIB
A zero-one matrix $M$ contains a zero-one matrix $A$ if one can delete some rows and columns of $M$, and turn some 1-entries into 0-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted by $ex(n,A)$, is the maximum number of $1$-entries in an $n\times n$ sized matrix $M$ that does not contain $A$.
A matrix $A$ is column-$t$-partite (or row-$t$-partite), if it can be cut along the columns (or rows) into $t$ submatrices such that every row (or column) of these submatrices contains at most one $1$-entry. We prove that if $A$ is column-$t$-partite, then $ex(n,A)<n^{2-\frac{1}{t}+\frac{1}{2t^{2}}+o(1)}$, and if $A$ is both column- and row-$t$-partite, then $ex(n,A)<n^{2-\frac{1}{t}+o(1)}$. Our proof combines a novel density-increment-type argument with the celebrated dependent random choice method.
Results about the extremal numbers of zero-one matrices translate into results about the Turán numbers of bipartite ordered graphs. In particular, a zero-one matrix with at most $t$ 1-entries in each row corresponds to a bipartite ordered graph with maximum degree $t$ in one of its vertex classes. Our results are partially motivated by a well known result of Füredi (1991) and Alon, Krivelevich, Sudakov (2003) stating that if $H$ is a bipartite graph with maximum degree $t$ in one of the vertex classes, then $ex(n,H)=O(n^{2-\frac{1}{t}})$. The aim of the present paper is to establish similar general results about the extremal numbers of ordered graphs.
Supertrees
Published in Electronic Journal of Combinatorics, 27 (2020)
• View Publication
• BIB
A $k$-universal permutation, or $k$-superpermutation, is a permutation that contains all permutations of length $k$ as patterns. The problem of finding the minimum length of a $k$-superpermutation has recently received significant attention in the field of permutation patterns. One can ask analogous questions for other classes of objects. In this paper, we study $k$-supertrees. For each $d\geq 2$, we focus on two types of rooted plane trees called $d$-ary plane trees and $[d]$-trees. Motivated by recent developments in the literature, we consider "contiguous" and "noncontiguous" notions of pattern containment for each type of tree. We obtain both upper and lower bounds on the minimum possible size of a $k$-supertree in three cases; in the fourth, we determine the minimum size exactly. One of our lower bounds makes use of a recent result of Albert, Engen, Pantone, and Vatter on $k$-universal layered permutations.
Giant descendant trees, matchings and independent sets in the age-biased attachment graphs
Published
• View Publication
• BIB
We study two models of an age-biased graph process: the $δ$-version of the preferential attachment graph model (PAM) and the uniform attachment graph model (UAM), with $m$ attachments for each of incoming vertices. We show that almost surely the scaled size of a breadth-first (descendant) tree rooted at a fixed vertex converges, for $m=1$, to a limit whose distribution is a mixture of two beta-distributions and a single beta-distribution respectively, and that for $m>1$ the limit is $1$. We also analyze the likely performance of two greedy (online) algorithms, for a large matching set and a large independent set, and determine--for each model and each greedy algorithm--both a limiting fraction of vertices involved and an almost sure convergence rate.
Domination in direct products of complete graphs
Published
• View Publication
• BIB
Let $X_{n}$ denote the unitary Cayley graph of $\mathbb{Z}/n\mathbb{Z}$. We continue the study of cases in which the inequality $γ_t(X_n) \le g(n)$ is strict, where $γ_t$ denotes the total domination number, and $g$ is the arithmetic function known as Jacobsthal's function. The best that is currently known in this direction is a construction of Burcroff which gives a family of $n$ with arbitrarily many prime factors that satisfy $γ_t(X_n) \le g(n)-2$. We present a new interpretation of the problem which allows us to use recent results on the computation of Jacobsthal's function to construct $n$ with arbitrarily many prime factors that satisfy $γ_t(X_n) \le g(n)-16$. We also present new lower bounds on the domination numbers of direct products of complete graphs, which in turn allow us to derive new asymptotic lower bounds on $γ(X_n)$, where $γ$ denotes the domination number. Finally, resolving a question of Defant and Iyer, we completely classify all graphs $G = \prod_{i=1}^t K_{n_i}$ satisfying $γ(G) = t+2$.
The Normalized Matching Property in Random and Pseudorandom Bipartite Graphs
Published in The Electronic Journal of Combinatorics, Volume 28, Issue 2, Article P2.48 (2021)
• View Publication
• BIB
A simple generalization of the Hall's condition in bipartite graphs, the Normalized Matching Property (NMP) in a graph $G(X,Y,E)$ with vertex partition $(X,Y)$ states that for any subset $S\subseteq X$, we have $\frac{|N(S)|}{|Y|}\ge\frac{|S|}{|X|}$. In this paper, we show the following results about having the Normalized Matching Property in random and pseudorandom graphs.
1. We establish $p=\frac{\log n}{k}$ as a sharp threshold for having NMP in $\mathbb{G}(k,n,p)$, which is the graph with $|X|=k,|Y|=n$ (assuming $k\le n\leq \exp(o(k))$), and in which each pair $(x,y)\in X\times Y$ is an edge independently with probability $p$. This generalizes a classic result of Erdős-Rényi on the $\frac{\log n}{n}$ threshold for having a perfect matching in $\mathbb{G}(n,n,p)$.
2. We also show that a pseudorandom bipartite graph - upon deletion of a vanishingly small fraction of vertices - admits NMP, provided it is not too sparse. More precisely, a bipartite graph $G(X,Y)$, with $k=|X|\le |Y|=n$, is said to be Thomason pseudorandom (following A. Thomason (Discrete Math., 1989)) with parameters $(p,\varepsilon)$ if each $x\in X$ has degree at least $pn$ and each pair of distinct $x, x'\in X$ has at most $(1+\varepsilon)p^2n$ common neighbors. We show that for any large enough $(p,\varepsilon)$-Thomason pseudorandom graph $G(X,Y)$, there are "tiny" subsets $\mathrm{Del}_X\subset X, \ \mathrm{Del}_Y\subset Y$ such that the subgraph $G(X\setminus \mathrm{Del}_X,Y\setminus \mathrm{Del}_Y)$ has NMP, provided $p \gg\tfrac{1}{k}$. En route, we prove an "almost" vertex decomposition theorem: Every such Thomason pseudorandom graph admits - excluding a negligible portion of its vertex set - a partition of its vertex set into graphs that we call Euclidean trees. These are trees that have NMP, and which arise organically through the Euclidean GCD algorithm.
On maximal multiplicities for Hamiltonians with separable variables
For $\mathbb N^*:=\mathbb N \setminus \{0\}$, we consider the collection $\mathfrak M(N)$ of all the $N$ rows, for which, for $n=1,\cdots,N$, the $n-th$ row consists of an increasing sequence $(a_j^n)_j$ of real numbers. For $\mathfrak A \in \mathfrak M(N)$, we define its spectrum $σ(\mathfrak A)$ by $σ(\mathfrak A)=\{λ\in \mathbb R \;|\; λ=\sum_{n=1}^Na_{j_n}^n\}\,,$ where $(j_1,j_2,\dots,j_N)\in (\mathbb N^*)^N$. This spectrum is discrete and consists of an infinite sequence that can be ordered as a strictly increasing sequence $λ_k(\mathfrak A)$. For $λ\in σ(\mathfrak A)$ we denote by $m(λ,\mathfrak A) $ the number of representations of such a $λ$, hence the multiplicity of $λ$.\\ In this paper we investigate for given $N\in \mathbb N^*$ and $k\in \mathbb N^*$ the highest possible multiplicity (denoted by $\mathfrak m_k(N)$) of $λ_k(\mathfrak A)$ for $\mathfrak A \in \mathfrak M(N)$. We give the exact result for $N=2$ and for $N=3$ prove a lower bound which appears, according to numerical experiments, as a "good" conjecture. For the general case, we give examples demonstrating that the problem is quite difficult. \\ This problem is equivalent to the analogue eigenvalue multiplicity questions for Schrödinger operators describing a system of N non-interacting one-dimensional particles.
Invariant theory for coincidental complex reflection groups
Published
• View Publication
• BIB
V.F. Molchanov considered the Hilbert series for the space of invariant skew-symmetric tensors and dual tensors with polynomial coefficients under the action of a real reflection group, and speculated that it had a certain product formula involving the exponents of the group. We show that Molchanov's speculation is false in general but holds for all coincidental complex reflection groups when appropriately modified using exponents and co-exponents. These are the irreducible well-generated (i.e., duality) reflection groups with exponents forming an arithmetic progression and include many real reflection groups and all non-real Shephard groups, e.g., the Shephard-Todd infinite family $G(d,1,n)$. We highlight consequences for the $q$-Narayana and $q$-Kirkman polynomials, giving simple product formulas for both, and give a $q$-analogue of the identity transforming the $h$-vector to the $f$-vector for the coincidental finite type cluster/Cambrian complexes of Fomin--Zelevinsky and Reading.
The Relation between Composability and Splittability of Permutation Classes
Published
• View Publication
• BIB
A permutation class $C$ is said to be splittable if there exist two proper subclasses $A, B \subsetneq C$ such that any $σ\in C$ can be red-blue colored so that the red (respectively, blue) subsequence of $σ$ is order isomorphic to an element of $A$ (respectively, $B$). The class $C$ is said to be composable if there exists some number of proper subclasses $A_1, \dots, A_k \subsetneq C$ such that any $σ\in C$ can be written as $α_1 \circ \dots \circ α_k$ for some $α_i \in A_i$. We answer a question of Karpilovskij by showing that there exists a composable permutation class that is not splittable. We also give a condition under which an infinite composable class must be splittable.
Monotonic Representations of Outerplanar Graphs as Edge Intersection Graphs of Paths on a Grid
Published
• View Publication
• BIB
In a representation of a graph $G$ as an edge intersection graph of paths on a grid (EPG) every vertex of $G$ is represented by a path on a grid and two paths share a grid edge iff the corresponding vertices are adjacent. In a monotonic EPG representation every path on the grid is ascending in both rows and columns. In a (monotonic) $B_k$-EPG representation every path on the grid has at most $k$ bends. The (monotonic) bend number $b(G)$ ($b^m(G)$) of a graph $G$ is the smallest natural number $k$ for which there exists a (monotonic) $B_k$-EPG representation of $G$.
In this paper we deal with the monotonic bend number of outerplanar graphs and show that $b^m(G)\leqslant 2$ holds for every outerplanar graph $G$. Moreover, we characterize the maximal outerplanar graphs and the cacti with (monotonic) bend number equal to $0$, $1$ and $2$ in terms of forbidden induced subgraphs. As a byproduct we obtain low-degree polynomial time algorithms to construct (monotonic) EPG representations with the smallest possible number of bends for maximal outerplanar graphs and cacti.
Total graph of a signed graph
Published
• View Publication
• BIB
The total graph is built by joining the graph to its line graph by means of the incidences. We introduce a similar construction for signed graphs. Under two similar definitions of the line signed graph, we define the corresponding total signed graph and we show that it is stable under switching. We consider balance, the frustration index and frustration number, and the largest eigenvalue. In the regular case we compute the spectrum of the adjacency matrix of the total graph and the spectra of certain compositions, and we determine some with exactly two main eigenvalues.
Extremal graphs for edge blow-up of graphs
Published
• View Publication
• BIB
Given a graph $H$ and an integer $p$, the {\it edge blow-up} of $H$, denoted as $H^{p+1}$, is the graph obtained from replacing each edge in $H$ by a clique of size $p+1$ where the new vertices of the cliques are all different. The Turán numbers for edge blow-up of matchings were first studied by Erdős and Moon. In this paper, we determine the Turán numbers for edge blow-up of general graphs.
Enumerating $k$-arc-connected orientations
Published
• View Publication
• BIB
We study the problem of enumerating the $k$-arc-connected orientations of a graph $G$, i.e., generating each exactly once. A first algorithm using submodular flow optimization is easy to state, but intricate to implement. In a second approach we present a simple algorithm with $O(knm^2)$ time delay and amortized time $O(m^2)$, which improves over the analysis of the submodular flow algorithm. As ingredients, we obtain enumeration algorithms for the $α$-orientations of a graph $G$ in $O(m^2)$ time delay and for the outdegree sequences attained by $k$-arc-connected orientations of $G$ in $O(knm^2)$ time delay.
Fermat's polygonal number theorem for repeated generalized polygonal numbers
Published
• View Publication
• BIB
In this paper, we consider sums of generalized polygonal numbers with repeats, generalizing Fermat's polygonal number theorem which was proven by Cauchy. In particular, we obtain the minimal number of generalized $m$-gonal numbers required to represent every positive integer and we furthermore generalize this result to obtain optimal bounds when many of the generalized $m$-gonal numbers are repeated $r$ times, where $r\in\mathbb{N}$ is fixed.
Multigraded Shifts of Matroidal Ideals
Published in Archiv der Mathematik 111 (3) (2018) , 239-246
• View Publication
• BIB
In this paper, we show that if $I$ is a matroidal ideal, then the ideal generated by the $i$-th multigraded shifts is also a matroidal ideal for every $i=0,\ldots,\text{pd}(I)$.
Automorphism groups and new constructions of maximum additive rank metric codes with restrictions
Published
• View Publication
• BIB
Let $d, n \in \mathbb{Z}^+$ such that $1\leq d \leq n$. A $d$-code $\mathcal{C} \subset \mathbb{F}_q^{n \times n}$ is a subset of order $n$ square matrices with the property that for all pairs of distinct elements in $\mathcal{C}$, the rank of their difference is greater than or equal to $d$. A $d$-code with as many as possible elements is called a maximum $d$-code. The integer $d$ is also called the minimum distance of the code. When $d<n$, a classical example of such an object is the so-called generalized Gabidulin code. There exist several classes of maximum $d$-codes made up respectively of symmetric, alternating and hermitian matrices. In this article we focus on such examples. Precisely, we determine their automorphism groups and solve the equivalence issue for them. Finally, we exhibit a maximum symmetric $2$-code which is not equivalent to the one with same parameters known so far.
On the maximum number of minimal connected dominating sets in convex bipartite graphs
The enumeration of minimal connected dominating sets is known to be notoriously hard for general graphs. Currently, it is only known that the sets can be enumerated slightly faster than $\mathcal{O}^{*}(2^n)$ and the algorithm is highly nontrivial. Moreover, it seems that it is hard to use bipartiteness as a structural aide when constructing enumeration algorithms. Hence, to the best of our knowledge, there is no known input-sensitive algorithm for enumerating minimal dominating sets, or one of their related sets, in bipartite graphs better than that of general graphs. In this paper, we provide the first input-sensitive enumeration algorithm for some non trivial subclass of bipartite graphs, namely the convex graphs. We present an algorithm to enumerate all minimal connected dominating sets of convex bipartite graphs in time $\mathcal{O}(1.7254^{n})$ where $n$ is the number of vertices of the input graph. Our algorithm implies a corresponding upper bound for the number of minimal connected dominating sets for this graph class. We complement the result by providing a convex bipartite graph, which have at least $3^{(n-2)/3}$ minimal connected dominating sets.