Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Extremal Hypergraphs for Ryser's Conjecture: Connectedness of Line Graphs of Bipartite Graphs
In this paper we consider a natural extremal graph theoretic problem of topological sort, concerning the minimization of the (topological) connectedness of the independence complex of graphs in terms of its dimension. We observe that the lower bound $\frac{\dim(\mathcal{I}(G))}{2} - 2$ on the connectedness of the independence complex $\mathcal{I}(G)$ of line graphs of bipartite graphs $G$ is tight. In our main theorem we characterize the extremal examples. Our proof of this characterization is based on topological machinery.
Our motivation for studying this problem comes from a classical conjecture of Ryser. Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $(r - 1)$-times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem. It has also been proven for $r = 3$ by Aharoni using a beautiful topological argument. In a separate paper we characterize the extremal examples for the $3$-uniform case of Ryser's Conjecture (i.e., Aharoni's Theorem), and in particular resolve an old conjecture of Lovász for the case of Ryser-extremal $3$-graphs.
Our main result in this paper will provide us with valuable structural information for that characterization. Its proof is based on the observation that link graphs of Ryser-extremal $3$-uniform hypergraphs are exactly the bipartite graphs we study here.
Extremal Hypergraphs for Ryser's Conjecture: Home-Base Hypergraphs
Published
• View Publication
• BIB
Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $r - 1$ times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem and every bipartite graph is a witness for its tightness. The conjecture has also been proven for $r = 3$ by Aharoni using topological methods, but the proof does not give information on the extremal $3$-uniform hypergraphs. Our goal in this paper is to characterize those hypergraphs which are tight for Aharoni's Theorem.
Our proof of this characterization is also based on topological machinery, particularly utilizing results on the (topological) connectedness of the independence complex of the line graph of the link graphs of $3$-uniform Ryser-extremal hypergraphs, developed in a separate paper. The current paper contains the second, structural hypergraph-theoretic part of the argument, where we use the information on the line graph of the link graphs to nail down the elements of a structure we call \emph{home-base hypergraph}. While there is a single minimal home-base hypergraph with matching number $k$ for every positive integer $k \in \mathbb{N}$, home-base hypergraphs with matching number $k$ are far from being unique. There are infinitely many of them and each of them is composed of $k$ copies of two different kinds of basic structures, whose hyperedges can intersect in various restricted, but intricate ways.
Our characterization also proves an old and wide open strengthening of Ryser's Conjecture, due to Lovász, for the $3$-uniform extremal case, that is, for hypergraphs with $τ= 2 ν$.
Normal zeta functions of the Heisenberg groups over number rings I - the unramified case
Published
• View Publication
• BIB
Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We compute explicitly the local factors of the normal zeta functions of the Heisenberg groups $H(\mathcal{O}_K)$ that are indexed by rational primes which are unramified in $K$. We show that these local zeta functions satisfy functional equations upon the inversion of the prime.
Trees in Random Sparse Graphs with a Given Degree Sequence
Let $\mathbb{G}^{D}$ be the set of graphs $G(V,\, E)$ with $\left|V\right|=n$, and the degree sequence equal to $D=(d_{1},\, d_{2},\,\dots,\, d_{n})$. In addition, for $\frac{1}{2}<a<1$, we define the set of graphs with an almost given degree sequence $D$ as follows, \[ \mathbb{G}_{a}^{D}:=\cup\,\mathbb{G}^{\bar{D}}, \] where the union is over all degree sequences $\bar{D}$ such that, for $1\leq i\leq n$, we have $\left|d_{i}-\bar{d}_{i}\right|<d_{i}^{a}$.
Now, if we chose random graphs $\mathcal{G}_{\mathbf{g}}\left(D\right)$ and $\mathcal{G}_{\mathbf{a}}\left(D\right)$ uniformly out of the sets $\mathbb{G}^{D}$ and $\mathbb{G}_{a}^{D}$, respectively, what do they look like? This has been studied when $\mathcal{G}_{\mathbf{g}}\left(D\right)$ is a dense graph, i.e. $\left|E\right|=Θ(n^{2})$, in the sense of graphons, or when $\mathcal{G}_{\mathbf{g}}\left(D\right)$ is very sparse, i.e. $d_{n}^{2}=o(\left|E\right|)$. In the case of sparse graphs with an almost given degree sequence, we investigate this question, and give the finite tree subgraph structure of $\mathcal{G}_{\mathbf{a}}\left(D\right)$ under some mild conditions. For the random graph $\mathcal{G}_{\mathbf{g}}\left(D\right)$ with a given degree sequence, we re-derive the finite tree structure in dense and very sparse cases to give a continuous picture.
Moreover, for a pair of vectors $\left(D_{1},D_{2}\right)\in\mathbb{Z}^{n_{1}}\times\mathbb{Z}^{n_{2}}$, we let $\mathcal{G}_{\mathbf{b}}\left(D_{1},D_{2}\right)$ be the random bipartite graph that is chosen uniformly out of the set $\mathbb{G}^{D_{1},D_{2}}$, where $\mathbb{G}^{D_{1},D_{2}}$ is the set of all bipartite graphs with the degree sequence $\left(D_{1},D_{2}\right)$. We are able to show the result for $\mathcal{G}_{\mathbf{b}}\left(D_{1},D_{2}\right)$ without any further conditions.
Unbalanced Allocations
We consider the unbalanced allocation of $m$ balls into $n$ bins by a randomized algorithm using the "power of two choices". For each ball, we select a set of bins at random, then place the ball in the fullest bin within the set. Applications of this generic algorithm range from cost minimization to condensed matter physics. In this paper, we analyze the distribution of the bin loads produced by this algorithm, considering, for example, largest and smallest loads, loads of subsets of the bins, and the likelihood of bins having equal loads.
Linear-Time Algorithms for Finding Tucker Submatrices and Lekkerkerker-Boland Subgraphs
Published
• View Publication
• BIB
Lekkerkerker and Boland characterized the minimal forbidden induced subgraphs for the class of interval graphs. We give a linear-time algorithm to find one in any graph that is not an interval graph. Tucker characterized the minimal forbidden submatrices of binary matrices that do not have the consecutive-ones property. We give a linear-time algorithm to find one in any binary matrix that does not have the consecutive-ones property.
Constraint Satisfaction with Counting Quantifiers 2
Published
• View Publication
• BIB
We study constraint satisfaction problems (CSPs) in the presence of counting quantifiers $\exists^{\geq j}$, asserting the existence of $j$ distinct witnesses for the variable in question. As a continuation of our previous (CSR 2012) paper, we focus on the complexity of undirected graph templates. As our main contribution, we settle the two principal open questions proposed in (CSR 2012). Firstly, we complete the classification of clique templates by proving a full trichotomy for all possible combinations of counting quantifiers and clique sizes, placing each case either in P, NP-complete or Pspace-complete. This involves resolution of the cases in which we have the single quantifier $\exists^{\geq j}$ on the clique $K_{2j}$. Secondly, we confirm a conjecture from (CSR 2012), which proposes a full dichotomy for $\exists$ and $\exists^{\geq 2}$ on all finite undirected graphs. The main thrust of this second result is the solution of the complexity for the infinite path which we prove is a polynomial-time solvable problem. By adapting the algorithm for the infinite path we are then able to solve the problem for finite paths, and then trees and forests. Thus as a corollary to this work, combining with the other cases from (CSR 2012), we obtain a full dichotomy for $\exists$ and $\exists^{\geq 2}$ quantifiers on finite graphs, each such problem being either in P or NP-hard. Finally, we persevere with the work of (CSR 2012) in exploring cases in which there is dichotomy between P and Pspace-complete, in contrast with situations in which the intermediate NP-completeness may appear.
Magic labelings of distance at most 2
For an arbitrary set of distances $D\subseteq \{0,1, \ldots, d\}$, a graph $G$ is said to be $D$-distance magic if there exists a bijection $f:V\rightarrow \{1,2, \ldots , v\}$ and a constant {\sf k} such that for any vertex $x$, $\sum_{y\in N_D(x)} f(y) ={\sf k}$, where $N_D(x) = \{y \in V| d(x,y) \in D\}$.
In this paper we study some necessary or sufficient conditions for the existence of $D$-distance magic graphs, some of which are generalization of conditions for the existence of $\{1\}$-distance magic graphs. More specifically, we study $D$-distance magic labelings for cycles and $D$-distance magic graphs for $D\subseteq\{0,1,2\}$.
On Integer Additive Set-Indexers of Graphs
Published in International J. of Math. Sci. & Engg. Appls. (IJMSEA), Vol. 8 No. II, 11-22, 2014
• Search Publication
A set-indexer of a graph $G$ is an injective set-valued function $f:V(G) \rightarrow2^{X}$ such that the function $f^{\oplus}:E(G)\rightarrow2^{X}-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus} f(v)$ for every $uv{\in} E(G)$ is also injective, where $2^{X}$ is the set of all subsets of $X$ and $\oplus$ is the symmetric difference of sets. An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. A graph $G$ which admits an IASI is called an IASI graph. An IASI $f$ is said to be a {\em weak IASI} if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ and an IASI $f$ is said to be a {\em strong IASI} if $|g_f(uv)|=|f(u)| |f(v)|$ for all $u,v\in V(G)$. In this paper, we study about certain characteristics of inter additive set-indexers.
A Study on Arithmetic Integer Additive Set-Indexers of Graphs
A set-indexer of a graph $G$ is an injective set-valued function $f:V(G) \rightarrow2^{X}$ such that the function $f^{\oplus}:E(G)\rightarrow2^{X}-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus} f(v)$ for every $uv{\in} E(G)$ is also injective, where $2^{X}$ is the set of all subsets of $X$ and $\oplus$ is the symmetric difference of sets. An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $f^+:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. A graph $G$ which admits an IASI is called an IASI graph. An IASI $f$ is said to be a weak IASI if $|f^+(uv)|=max(|f(u)|,|f(v)|)$ and an IASI $f$ is said to be a strong IASI if $|f^+(uv)|=|f(u)| |f(v)|$ for all $u,v\in V(G)$. In this paper, we discuss about a special type of integer additive set-indexers called arithmetic integer additive set-indexer and establish some results on this type of integer additive set-indexers. We also check the admissibility of arithmetic integer additive set-indexer by certain graphs associated with a given graph.
Introduction to $τ$-tilting theory
Published
• View Publication
• BIB
From the viewpoint of mutation, we will give a brief survey of tilting theory and cluster-tilting theory together with a motivation from cluster algebras. Then we will give an introdution to τ-tilting theory which was recently developed in [AIR].
The maximum cardinality of minimal inversion complete sets in finite reflection groups
Published in Journal of Algebra , 424 (2015), 330-356
• View Publication
• BIB
We compute for reflection groups of type $A,B,D,F_4,H_3$ and for dihedral groups a statistic counting the maximal cardinality of a set of elements in the group whose generalized inversions yield the full set of inversions and which are minimal with respect to this property. We also provide lower bounds for the $E$ types that we conjecture to be the exact value of our statistic.
Critical connectedness of thin arithmetical discrete planes
Published in DGCI 2013, conference proceedings LNCS 7749, 107-118
• Search Publication
An arithmetical discrete plane is said to have critical connecting thickness if its thickness is equal to the infimum of the set of values that preserve its $2$-connectedness. This infimum thickness can be computed thanks to the fully subtractive algorithm. This multidimensional continued fraction algorithm consists, in its linear form, in subtracting the smallest entry to the other ones. We provide a characterization of the discrete planes with critical thickness that have zero intercept and that are $2$-connected. Our tools rely on the notion of dual substitution which is a geometric version of the usual notion of substitution acting on words. We associate with the fully subtractive algorithm a set of substitutions whose incidence matrix is provided by the matrices of the algorithm, and prove that their geometric counterparts generate arithmetic discrete planes.
Rauzy fractals with countable fundamental group
Published in Journal of Fractal Geometry 1 (2014), no. 4, 427-447
• View Publication
• BIB
We prove that every free group of finite rank can be realized as the fundamental group of a planar Rauzy fractal associated with a 4-letter unimodular cubic Pisot substitution. This characterizes all countable fundamental groups for planar Rauzy fractals. We give an explicit construction relying on two operations on substitutions: symbolic splittings and conjugations by free group automorphisms.
Characterization of circular D0L systems
Published
• View Publication
• BIB
We prove that every non-circular D0L system contains arbitrarily long repetitions. This result was already published in 1993 by Mignosi and Séébold, however their proof is only a sketch. We give here a complete proof. Further, employing our previous result, we give a simple algorithm to test circularity of an injective D0L system.
Voronoi Polytopes for Polyhedral Norms on Lattices
Published
• View Publication
• BIB
A polyhedral norm is a norm N on R^n for which the set N(x)\leq 1 is a polytope. This covers the case of the L^1 and L^{\infty} norms. We consider here effective algorithms for determining the Voronoi polytope for such norms with a point set being a lattice. The algorithms, that we propose, use the symmetries effectively in order to compute a decomposition of the space into convex polytopes named {\em $VN$-spaces}. The Voronoi polytopes and other geometrical information are easily obtained from it.
The adjoint representation of a Lie algebra and the support of Kostant's weight multiplicity formula
Published
• View Publication
• BIB
Even though weight multiplicity formulas, such as Kostant's formula, exist their computational use is extremely cumbersome. In fact, even in cases when the multiplicity is well understood, the number of terms considered in Kostant's formula is factorial in the rank of the Lie algebra and the value of the partition function is unknown. In this paper we address the difficult question: What are the contributing terms to the multiplicity of the zero weight in the adjoint representation of a finite dimensional Lie algebra? We describe and enumerate the cardinalities of these sets (through linear homogeneous recurrence relations with constant coefficients) for the classical Lie algebras of Type $B$, $C$, and $D$, the Type $A$ case was computed by the first author in [5]. In addition, we compute the cardinality of the set of contributing terms for non-zero weight spaces in the adjoint representation. In the Type $B$ case, the cardinality of one such non-zero-weight is enumerated by the Fibonacci numbers. We end with a computational proof of a result of Kostant regarding the exponents of the respective Lie algebra for some low rank examples and provide a section with open problems in this area.
Size of edge-critical uniquely 3-colorable planar graphs
Published
• View Publication
• BIB
A graph $G$ is \emph{uniquely k-colorable} if the chromatic number of $G$ is $k$ and $G$ has only one $k$-coloring up to permutation of the colors. A uniquely $k$-colorable graph $G$ is edge-critical if $G-e$ is not a uniquely $k$-colorable graph for any edge $e\in E(G)$. Mel'nikov and Steinberg [L. S. Mel'nikov, R. Steinberg, One counterexample for two conjectures on three coloring, Discrete Math. 20 (1977) 203-206] asked to find an exact upper bound for the number of edges in a edge-critical 3-colorable planar graph with $n$ vertices. In this paper, we give some properties of edge-critical uniquely 3-colorable planar graphs and prove that if $G$ is such a graph with $n(\geq6)$ vertices, then $|E(G)|\leq \frac{5}{2}n-6 $, which improves the upper bound $\frac{8}{3}n-\frac{17}{3}$ given by Matsumoto [N. Matsumoto, The size of edge-critical uniquely 3-colorable planar graphs, Electron. J. Combin. 20 (3) (2013) $\#$P49]. Furthermore, we find some edge-critical 3-colorable planar graphs which have $n(=10,12, 14)$ vertices and $\frac{5}{2}n-7$ edges.
The edge cover polynomials of cubic graphs of order 10
Let $G$ be a simple graph of order $n$ and size $m$. The edge covering of $G$ is a set of edges such that every vertex of $G$ is incident to at least one edge of the set.
The edge cover polynomial of $G$ is the polynomial $E(G,x)=\sum_{i=ρ(G)}^{m} e(G,i) x^{i}$, where $e(G,i)$ is the number of edge coverings of $G$ of size $i$, and $ρ(G)$ is the edge covering number of $G$. In this paper we study the edge cover polynomials of cubic graphs of order $10$. We show that all cubic graphs of order $10$ (especially the Petersen graph) are determined uniquely by their edge cover polynomials. Also we construct infinite families of graphs whose edge cover polynomials have only roots $-1$ and $0$.
Pruned Hurwitz numbers
Published
• View Publication
• BIB
We define a new Hurwitz problem which is essentially a small core of the simple Hurwitz problem. The corresponding Hurwitz numbers have simpler formulae, satisfy effective recursion relations and determine the simple Hurwitz numbers. We also apply this idea of finding a smaller simpler enumerative problem to orbifold Hurwitz numbers and Belyi Hurwitz numbers.