Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Solving the kernel perfect problem by (simple) forbidden subdigraphs for digraphs in some families of generalized tournaments and generalized bipartite tournaments
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (December 11, 2018) dmtcs:4122
• View Publication
• BIB
A digraph such that every proper induced subdigraph has a kernel is said to be \emph{kernel perfect} (KP for short) (\emph{critical kernel imperfect} (CKI for short) resp.) if the digraph has a kernel (does not have a kernel resp.). The unique CKI-tournament is $\overrightarrow{C}_3$ and the unique KP-tournaments are the transitive tournaments, however bipartite tournaments are KP. In this paper we characterize the CKI- and KP-digraphs for the following families of digraphs: locally in-/out-semicomplete, asymmetric arc-locally in-/out-semicomplete, asymmetric $3$-quasi-transitive and asymmetric $3$-anti-quasi-transitive $TT_3$-free and we state that the problem of determining whether a digraph of one of these families is CKI is polynomial, giving a solution to a problem closely related to the following conjecture posted by Bang-Jensen in 1998: the kernel problem is polynomially solvable for locally in-semicomplete digraphs.
Computing upper bounds for optimal density of $(t,r)$ broadcasts on the infinite grid
The domination number of a finite graph $G$ with vertex set $V$ is the cardinality of the smallest set $S\subseteq V$ such that for every vertex $v\in V$ either $v\in S$ or $v$ is adjacent to a vertex in $S$. A set $S$ satisfying these conditions is called a dominating set. In 2015 Blessing, Insko, Johnson, and Mauretour introduced $(t,r)$ broadcast domination, a generalization of graph domination parameterized by the nonnegative integers $t$ and $r$. In this setting, we say that the signal a vertex $v\in V$ receives from a tower of strength $t$ located at vertex $T$ is defined by $sig(v,T)=max(t-dist(v,T),0)$. Then a $(t,r)$ broadcast dominating set on $G$ is a set $S\subseteq V$ such that the sum of all signal received at each vertex $v \in V$ is at least $r$. In this paper, we consider $(t,r)$ broadcasts of the infinite grid and present a Python program to compute upper bounds on the minimal density of a $(t,r)$ broadcast on the infinite grid. These upper bounds allow us to construct counterexamples to a conjecture by Blessing et al. that the $(t,r)$ and $(t+1, r+2)$ broadcasts are equal whenever $t,r\geq 1$.
On Edge-Colored Saturation Problems
Published
• View Publication
• BIB
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a $(\mathcal{C},t)$ saturated graph. Let $\mathcal{C}_r(H)$ be the family consisting of every edge-colored copy of $H$ which uses exactly $r$ colors.
In this paper we consider a variety of colored saturation problems. We determine the order of magnitude for $\mathrm{sat}_t(n, \mathcal{C}_r(K_k))$ for all $r$, showing a sharp change in behavior when $r\geq \binom{k-1}{2}+2$. A particular case of this theorem proves a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We determine $\mathrm{sat}_t(n, \mathcal{C}_2(K_3))$ exactly and determine the extremal graphs. Additionally, we document some interesting irregularities in the colored saturation function.
Tight Hamilton cycles in cherry quasirandom $3$-uniform hypergraphs
Published
• View Publication
• BIB
We employ the absorbing-path method in order to prove two results regarding the emergence of tight Hamilton cycles in the so called {\em two-path} or {\em cherry}-quasirandom $3$-graphs.
Our first result asserts that for any fixed real $α>0$, cherry-quasirandom $3$-graphs of sufficiently large order $n$ having minimum $2$-degree at least $α(n-2)$ have a tight Hamilton cycle.
Our second result concerns the minimum $1$-degree sufficient for such $3$-graphs to have a tight Hamilton cycle. Roughly speaking, we prove that for every $d,α>0$ satisfying $d + α>1$, any sufficiently large $n$-vertex such $3$-graph $H$ of density $d$ and minimum $1$-degree at least $α\binom{n-1}{2}$, has a tight Hamilton cycle.
Graph Homomorphism Reconfiguration and Frozen $H$-Colourings
Published
• View Publication
• BIB
For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $\varphi$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=\varphi$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i<m$ and $uv\in E(G)$? If the graph $G$ is loop-free, then this is the equivalent to asking whether it possible to transform $\varphi$ into $ψ$ by changing the colour of one vertex at a time such that all intermediate mappings are $H$-colourings. In the affirmative, we say that $\varphi$ reconfigures to $ψ$. Currently, the complexity of deciding whether an $H$-colouring $\varphi$ reconfigures to an $H$-colouring $ψ$ is only known when $H$ is a clique, a circular clique, a $C_4$-free graph, or in a few other cases which are easily derived from these. We show that this problem is PSPACE-complete when $H$ is an odd wheel.
An important notion in the study of reconfiguration problems for $H$-colourings is that of a frozen $H$-colouring; i.e. an $H$-colouring $\varphi$ such that $\varphi$ does not reconfigure to any $H$-colouring $ψ$ such that $ψ\neq \varphi$. We obtain an explicit dichotomy theorem for the problem of deciding whether a given graph $G$ admits a frozen $H$-colouring. The hardness proof involves a reduction from a CSP problem which is shown to be NP-complete by establishing the non-existence of a certain type of polymorphism.
The full chracterazation of the graphs with a L-eigenvalue of multiplicity $n-3$
Let $\mathcal{G}(n,k)$ be the set of connected graphs of order $n$ with one of the Laplacian eigenvalue having multiplicity $k$. It is well known that $\mathcal{G}(n,n-1)=\{K_n\}$. The graphs of $\mathcal{G}(n,n-2)$ are determined by Das, and the graphs of $\mathcal{G}(n,n-3)$ with four distinct Laplacian eigenvalues are determined by Mohammadian et al. In this paper, we determine the graphs of $\mathcal{G}(n,n-3)$ with three distinct Laplacian eigenvalues, and then the full characterization of the graphs in $\mathcal{G}(n,n-3)$ is completed.
On a conjecture of Karasev
Published
• View Publication
• BIB
Karasev conjectured that for any set of $3k$ lines in general position in the plane, which is partitioned into $3$ color classes of equal size $k$, the set can be partitioned into $k$ colorful 3-subsets such that all the triangles formed by the subsets have a point in common. Although the general conjecture is false, we show that Karasev's conjecture is true for lines in convex position. We also discuss possible generalizations of this result.
A new exponential upper bound for the Erdős-Ginzburg-Ziv constant
Naslund used Tao's slice rank bounding method to give new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of finite Abelian groups of high rank. In our short manuscript we improve slightly Naslund's upper bounds. We extend Naslund's results and prove new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of arbitrary finite Abelian groups. Our main results depend on a conjecture about Property D.
A quantitative inverse theorem for the $U^4$ norm over finite fields
A remarkable result of Bergelson, Tao and Ziegler implies that if $c>0$, $k$ is a positive integer, $p\geq k$ is a prime, $n$ is sufficiently large, and $f:\mathbb F_p^n\to\mathbb C$ is a function with $\|f\|_\infty\leq 1$ and $\|f\|_{U^k}\geq c$, then there is a polynomial $π$ of degree at most $k-1$ such that $\mathbb E_xf(x)ω^{-π(x)}\geq c'$, where $ω=\exp(2πi/p)$ and $c'>0$ is a constant that depends on $c,k$ and $p$ only. A version of this result for low-characteristic was also proved by Tao and Ziegler. The proofs of these results do not yield a lower bound for $c'$. Here we give a different proof in the high-characteristic case when $k=4$, which enables us to give an explicit estimate for $c'$. The bound we obtain is roughly doubly exponential in the other parameters.
A bilinear version of Bogolyubov's theorem
Published
• View Publication
• BIB
A theorem of Bogolyubov states that for every dense set $A$ in $\mathbb{Z}_N$ we may find a large Bohr set inside $A+A-A-A$. In this note, motivated by the work on a quantitative inverse theorem for the Gowers $U^4$ norm, we prove a bilinear variant of this result in vector spaces over finite fields. Namely, if we start with a dense set $A \subset \mathbb{F}^n_p \times \mathbb{F}^n_p$ and then take rows (respectively columns) of $A$ and change each row (respectively column) to the set difference of it with itself, repeating this procedure several times, we obtain a bilinear analogue of a Bohr set inside the resulting set, namely the zero set of a biaffine map from $\mathbb{F}^n_p \times \mathbb{F}^n_p$ to a $\mathbb{F}_p$-vector space of bounded dimension. An almost identical result was proved independently by Bienvenu and Lê.
Topology of posets with special partial matchings
Published
• View Publication
• BIB
Special partial matchings (SPMs) are a generalisation of Brenti's special matchings. Let a \emph{pircon} be a poset in which every non-trivial principal order ideal is finite and admits an SPM. Thus pircons generalise Marietti's zircons. We prove that every open interval in a pircon is a PL ball or a PL sphere. It is then demonstrated that Bruhat orders on certain twisted identities and quasiparabolic $W$-sets constitute pircons. Together, these results extend a result of Can, Cherniavsky, and Twelbeck, prove a conjecture of Hultman, and confirm a claim of Rains and Vazirani.
A New Coding/Decoding Algorithm using Fibonacci Numbers
In this paper we present a new method of coding/decoding algorithms using Fibonacci $Q$-matrices. This method is based on the blocked message matrices. The main advantage of our model is the encryption of each message matrix with different keys. Our approach will not only increase the security of information but also has high correct ability.
Footprint and minimum distance functions
Published in Commun. Korean Math. Soc. 33 (2018), No. 1, pp. 85--101
• Search Publication
Let $S$ be a polynomial ring over a field $K$, with a monomial order $\prec$, and let $I$ be an unmixed graded ideal of $S$. In this paper we study two functions associated to $I$: the minimum distance function $δ_I$ and the footprint function ${\rm fp}_I$. It is shown that $δ_I$ is positive and that ${\rm fp}_I$ is positive if the initial ideal of $I$ is unmixed. Then we show that if $I$ is radical and its associated primes are generated by linear forms, then $δ_I$ is strictly decreasing until it reaches the asymptotic value $1$. If $I$ is the edge ideal of a Cohen--Macaulay bipartite graph, we show that $δ_I(d)=1$ for $d$ greater than or equal to the regularity of $S/I$. For a graded ideal of dimension $\geq 1$, whose initial ideal is a complete intersection, we give an exact sharp lower bound for the corresponding minimum distance function.
On the few products, many sums problem
Published
• View Publication
• BIB
We prove new results on additive properties of finite sets $A$ with small multiplicative doubling $|AA|\leq M|A|$ in the category of real/complex sets as well as multiplicative subgroups in the prime residue field. The improvements are based on new combinatorial lemmata, which may be of independent interest.
Our main results are the inequality $$ |A-A|^3|AA|^5 \gtrsim |A|^{10}, $$ over the reals, "redistributing" the exponents in the textbook Elekes sum-product inequality and the new best known additive energy bound $\mathsf E(A)\lesssim_M |A|^{49/20}$, which aligns, in a sense to be discussed, with the best known sum set bound $|A+A|\gtrsim_M |A|^{8/5}$.
These bounds, with $M=1$, also apply to multiplicative subgroups of $\mathbb F^\times_p$, whose order is $O(\sqrt{p})$. We adapt the above energy bound to larger subgroups and obtain new bounds on gaps between elements in cosets of subgroups of order $Ω(\sqrt{p})$.
On the treewidth of triangulated 3-manifolds
Published in Journal of Computational Geometry, 10(2):70-98, 2019
• View Publication
• BIB
In graph theory, as well as in 3-manifold topology, there exist several width-type parameters to describe how "simple" or "thin" a given graph or 3-manifold is. These parameters, such as pathwidth or treewidth for graphs, or the concept of thin position for 3-manifolds, play an important role when studying algorithmic problems; in particular, there is a variety of problems in computational 3-manifold topology - some of them known to be computationally hard in general - that become solvable in polynomial time as soon as the dual graph of the input triangulation has bounded treewidth.
In view of these algorithmic results, it is natural to ask whether every 3-manifold admits a triangulation of bounded treewidth. We show that this is not the case, i.e., that there exists an infinite family of closed 3-manifolds not admitting triangulations of bounded pathwidth or treewidth (the latter implies the former, but we present two separate proofs).
We derive these results from work of Agol, of Scharlemann and Thompson, and of Scharlemann, Schultens and Saito by exhibiting explicit connections between the topology of a 3-manifold M on the one hand and width-type parameters of the dual graphs of triangulations of M on the other hand, answering a question that had been raised repeatedly by researchers in computational 3-manifold topology. In particular, we show that if a closed, orientable, irreducible, non-Haken 3-manifold M has a triangulation of treewidth (resp. pathwidth) k then the Heegaard genus of M is at most 18(k+1) (resp. 4(3k+1)).
The diachromatic number of digraphs
Published in The Electronic Journal of Combinatorics-2018
• View Publication
• BIB
We consider the extension to directed graphs of the concept of achromatic number in terms of acyclic vertex colorings. The achromatic number have been intensely studied since it was introduced by Harary, Hedetniemi and Prins in 1967. The dichromatic number is a generalization of the chromatic number for digraphs defined by Neumann-Lara in 1982. A coloring of a digraph is an acyclic coloring if each subdigraph induced by each chromatic class is acyclic, and a coloring is complete if for any pair of chromatic classes $x,y$, there is an arc from $x$ to $y$ and an arc from $y$ to $x$. The dichromatic and diachromatic numbers are, respectively, the smallest and the largest number of colors in a complete acyclic coloring. We give some general results for the diachromatic number and study it for tournaments. We also show that the interpolation property for complete acyclic colorings does hold and establish Nordhaus-Gaddum relations.
$A$-Hypergeometric Modules and Gauss--Manin Systems
Published
• View Publication
• BIB
Let $A$ be a $d$ by $n$ integer matrix. Gel'fand et al. proved that most $A$-hypergeometric systems have an interpretation as a Fourier--Laplace transform of a direct image. The set of parameters for which this happens was later identified by Schulze and Walther as the set of not strongly resonant parameters of $A$. A similar statement relating $A$-hypergeometric systems to exceptional direct images was proved by Reichelt. In this article, we consider a hybrid approach involving neighborhoods $U$ of the torus of $A$ and consider compositions of direct and exceptional direct images. Our main results characterize for which parameters the associated $A$-hypergeometric system is the inverse Fourier-Laplace transform of such a "mixed Gauss-Manin" system.
In order to describe which $U$ work for such a parameter, we introduce the notions of fiber support and cofiber support of a D-module.
If the semigroup ring of $A$ is normal, we show that every $A$-hypergeometric system is "mixed Gauss--Manin". We also give an explicit description of the neighborhoods $U$ which work for each parameter in terms of primitive integral support functions.
Combinatorial applications of the Hodge-Riemann relations
Published
• View Publication
• BIB
Why do natural and interesting sequences often turn out to be log-concave? We give one of many possible explanations, from the viewpoint of "standard conjectures". We illustrate with several examples from combinatorics.
q-Binomials and related symmetric unimodal polynomials
Published
• View Publication
• BIB
The q-binomial coefficients were assumed to be unimodal as early as the 1850's, but it remained unproven until Sylvester's 1878 proof using invariant theory. In 1982, Proctor gave an "elementary" proof using linear algebra. Finally, in 1989, Kathy O'Hara provided a combinatorial proof of the unimodality of the q-binomial coefficients. Very soon thereafter, Doron Zeilberger translated the argument into an elegant recurrence. We introduce several perturbations to the recurrence to create a larger family of unimodal polynomials. We analyze how these perturbations affect the final polynomial and analyze some specific cases.
Signless Laplacian spectral conditions for Hamilton-connected graphs with large minimum degree
Published
• View Publication
• BIB
In this paper, we present a spectral sufficient condition for a graph to be Hamilton-connected in terms of signless Laplacian spectral radius with large minimum degree.