Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The generalized connectivity of complete bipartite graphs
Let $G$ be a nontrivial connected graph of order $n$, and $k$ an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$. Moreover, $κ_{n}(G)$ is the maximum number of edge-disjoint spanning trees of $G$.
This paper mainly focus on the $k$-connectivity of complete bipartite graphs $K_{a,b}$. First, we obtain the number of edge-disjoint spanning trees of $K_{a,b}$, which is $\lfloor\frac{ab}{a+b-1}\rfloor$, and specifically give the $\lfloor\frac{ab}{a+b-1}\rfloor$ edge-disjoint spanning trees. Then based on this result, we get the $k$-connectivity of $K_{a,b}$ for all $2\leq k \leq a+b$. Namely, if $k>b-a+2$ and $a-b+k$ is odd then $κ_{k}(K_{a,b})=\frac{a+b-k+1}{2}+\lfloor\frac{(a-b+k-1)(b-a+k-1)}{4(k-1)}\rfloor,$ if $k>b-a+2$ and $a-b+k$ is even then $κ_{k}(K_{a,b})=\frac{a+b-k}{2}+\lfloor\frac{(a-b+k)(b-a+k)}{4(k-1)}\rfloor,$ and if $k\leq b-a+2$ then $κ_{k}(K_{a,b})=a. $
Subdivisions in apex graphs
Published
• View Publication
• BIB
The Kelmans-Seymour conjecture states that the 5-connected nonplanar graphs contain a subdivided $K_{_5}$. Certain questions of Mader propose a "plan" towards a possible resolution of this conjecture. One part of this plan is to show that a 5-connected nonplanar graph containing $K^-_{_4}$ or $K_{_{2,3}}$ as a subgraph has a subdivided $K_{_5}$. Recently, Ma and Yu showed that a 5-connected nonplanar graph containing $K^-_{_4}$ as a subgraph has a subdivided $K_{_5}$. We take interest in $K_{_{2,3}}$ and prove that a 5-connected nonplanar apex graph containing $K_{_{2,3}}$ as a subgraph has a subdivided $K_{_5}$
The Kelmans-Seymour conjecture for apex graphs
We provide a short proof that a 5-connected nonplanar apex graph contains a subdivided $K_{_5}$ or a $K^-_{_4}$ (= $K_{_4}$ with a single edge removed) as a subgraph. Together with a recent result of Ma and Yu that {\sl every nonplanar 5-connected graph containing $K^-_{_4}$ as a subgraph has a subdivided $K_{_5}$}; this settles the Kelmans-Seymour conjecture for apex graphs.
Extremal results regarding $K_6$-minors in graphs of girth at least 5
Published
• View Publication
• BIB
We prove that every 6-connected graph of girth $\geq 6$ has a $K_6$-minor and thus settle the Jorgensen conjecture for graphs of girth $ \geq 6$. Relaxing the assumption on the girth, we prove that every 6-connected $n$-vertex graph of size $\geq 3 1/5 n-8$ and of girth $\geq 5$ contains a $K_6$-minor.
Almost Series-Parallel graphs: structure and colorability
The series-parallel (SP) graphs are those containing no topological $K_{_4}$ and are considered trivial. We relax the prohibition distinguishing the SP graphs by forbidding only embeddings of $K_{_4}$ whose edges with both ends 3-valent (skeleton hereafter) induce a graph isomorphic to certain prescribed subgraphs of $K_{_4}$. In particular, we describe the structure of the graphs containing no embedding of $K_{_4}$ whose skeleton is isomorphic to $P_{_3}$ or $P_{_4}$. Such "almost series-parallel graphs" (ASP) still admit a concise description. Amongst other things, their description reveals that:
1. Essentially, the 3-connected ASP graphs are those obtained from the 3-connected cubic graphs by replacing each vertex with a triangle (e.g., the 3-connected claw-free graphs).
2. Except for $K_{_6}$, the ASP graphs are 5-colorable in polynomial time. Distinguishing between the 5-chromatic and the 4-colorable ASP graphs is $NP$-hard.
3. The ASP class is significantly richer than the SP class: 4-vertex-colorability, 3-edge-colorability, and Hamiltonicity are $NP$-hard for ASP graphs.
Our interest in such ASP graphs arises from a previous paper of ours: "{\sl On the colorability of graphs with forbidden minors along paths and circuits}, Discrete Math. (to appear)".
Tropical varieties with polynomial weights and corner loci of piecewise polynomials
Published in Mosc. Math. J., 12:1 (2012), 55--76
• View Publication
• BIB
We find a relation between mixed volumes of several polytopes and the convex hull of their union, deducing it from the following fact: the mixed volume of a collection of polytopes only depends on the product of their support functions (rather than on the individual support functions). For integer polytopes, this dependence is essentially a certain specialization of the isomorphism between two well-known combinatorial models for the cohomology of toric varieties, however, this construction has not been extended to arbitrary polytopes so far (partially due to the lack of combinatorial tools capable of substituting for toric geometry, when vertices are not rational). We provide such an extension, which leads to an explicit formula for the mixed volume in terms of the product of support functions, and may also be interesting because of the combinatorial tools (tropical varieties with polynomial weights and their corner loci) that appear in our construction. As an example of another possible application of these new objects, we notice that every tropical subvariety in a tropical manifold M can be locally represented as the intersection of M with another tropical variety (possibly with negative weights), and conjecture certain generalizations of this fact to singular M. The above fact about subvarieties of a tropical manifold may be of independent interest, because it implies that the intersection theory on a tropical manifold, which was recently constructed by Allerman, Francois, Rau and Shaw, is locally induced from the ambient vector space.
Singular tropical hypersurfaces
Published
• View Publication
• BIB
We study the notion of singular tropical hypersurfaces of any dimension. We characterize the singular points in terms of tropical Euler derivatives and we give an algorithm to compute all singular points. We also describe non-transversal intersection points of planar tropical curves.
Maximal right smooth extension chains
If $w=uα$ for $α\in Σ=\{1,2\}$ and $u\in Σ^*$, then $w$ is said to be a \textit{simple right extension}of $u$ and denoted by $u\prec w$. Let $k$ be a positive integer and $P^k(ε)$ denote the set of all $C^\infty$-words of height $k$. Set $u_{1},\,u_{2},..., u_{m}\in P^{k}(ε)$, if $u_{1}\prec u_{2}\prec ...\prec u_{m}$ and there is no element $v$ of $P^{k}(ε)$ such that $v\prec u_{1}\text{or} u_{m}\prec v$, then $u_{1}\prec u_{2}\prec...\prec u_{m}$ is said to be a \textit{maximal right smooth extension (MRSE) chains}of height $k$. In this paper, we show that \textit{MRSE} chains of height $k$ constitutes a partition of smooth words of height $k$ and give the formula of the number of \textit{MRSE} chains of height $k$ for each positive integer $k$. Moreover, since there exist the minimal height $h_1$ and maximal height $h_2$ of smooth words of length $n$ for each positive integer $n$, we find that \textit{MRSE} chains of heights $h_1-1$ and $h_2+1$ are good candidates to be used to establish the lower and upper bounds of the number of smooth words of length $n$ respectively, which is simpler and more intuitionistic than the previous methods.
Example of a 6-by-6 Matrix with Different Tropical and Kapranov Ranks
Published
• View Publication
• BIB
We provide an example of a 6-by-6 matrix with tropical rank equal to 4 and Kapranov rank equal to 5. This answers a question asked by M. Chan, A. Jensen, and E. Rubei.
Vertices of high degree in the preferential attachment tree
Published
• View Publication
• BIB
We study the basic preferential attachment process, which generates a sequence of random trees, each obtained from the previous one by introducing a new vertex and joining it to one existing vertex, chosen with probability proportional to its degree. We investigate the number $D_t(\ell)$ of vertices of each degree $\ell$ at each time $t$, focussing particularly on the case where $\ell$ is a growing function of $t$. We show that $D_t(\ell)$ is concentrated around its mean, which is approximately $4t/\ell^3$, for all $\ell \le (t/\log t)^{-1/3}$; this is best possible up to a logarithmic factor.
Imbalances in directed multigraphs
Published in Acta Univ. Sapientiae, Mathematica, 2 (2010), 137--145
• Search Publication
In a directed multigraph, the imbalance of a vertex $v_{i}$ is defined as $b_{v_{i}}=d_{v_{i}}^{+}-d_{v_{i}}^{-}$, where $d_{v_{i}}^{+}$ and $d_{v_{i}}^{-}$ denote the outdegree and indegree respectively of $v_{i}$. We characterize imbalances in directed multigraphs and obtain lower and upper bounds on imbalances in such digraphs. Also, we show the existence of a directed multigraph with a given imbalance set.
Classification of self-dual codes of length 36
Published in Advances Math. Communications 6 (2012), 229-235
• View Publication
• BIB
A complete classification of binary self-dual codes of length 36 is given.
Transitive Sets and Cyclic Quadrilaterals
Published
• View Publication
• BIB
Motivated by some questions in Euclidean Ramsey theory, our aim in this note is to show that there exists a cyclic quadrilateral that does not embed into any transitive set (in any dimension). We show that in fact this holds for almost all cyclic quadrilaterals, and we also give explicit examples of such cyclic quadrilaterals. These are the first explicit examples of spherical sets that do not embed into transitive sets.
Extension results for boolean maps and a class of systems of linear inequalities
In this paper we introduce the notion of {\it core} for two specific classes of boolean maps on finite involution posets (which are a generalization of the boolean lattices) and we prove some extension results for such families of boolean maps. Through the properties of the core, we provide a complete characterization of such maps. The main purpose of such abstract results is their application to the study of the compatibility of a particular class of systems of linear inequalities related to a conjecture of Manickam, Miklös and Singhi (\cite{ManSin88}, \cite{ManMik87}), still unsolved and that can be considered dual to the theorem of Erdös-Ko-Rado \cite{erd-ko-rad}.
Edge ideals: algebraic and combinatorial properties
Published in Progress in Commutative Algebra, Combinatorics and Homology, Vol. 1, 2012, pp. 85-126
• View Publication
• BIB
Let C be a clutter and let I(C) be its edge ideal. This is a survey paper on the algebraic and combinatorial properties of R/I(C) and C, respectively. We give a criterion to estimate the regularity of R/I(C) and apply this criterion to give new proofs of some formulas for the regularity. If C is a clutter and R/I(C) is sequentially Cohen-Macaulay, we present a formula for the regularity of the ideal of vertex covers of C and give a formula for the projective dimension of R/I(C). We also examine the associated primes of powers of edge ideals, and show that for a graph with a leaf, these sets form an ascending chain.
Schurity of S-rings over a cyclic group and generalized wreath product of permutation groups
Published in St. Petersburg Math. J. 24 (2013), no. 3, 431-460
• View Publication
• BIB
The generalized wreath product of permutation groups is introduced. By means of it we study the schurity problem for S-rings over a cyclic group $G$ and the automorphism groups of them. Criteria for the schurity and non-schurity of the generalized wreath product of two such S-rings are obtained. As a byproduct of the developed theory we prove that $G$ is a Schur group whenever the total number $Ω(n)$ of prime factors of the integer $n=|G|$ is at most 3. Moreover, we describe the structure of a non-schurian S-ring over $G$ when $Ω(n)=4$. The latter result implies in particular that if $n=p^3q$ where $p$ and $q$ are primes, then $G$ is a Schur group.
Unsolved Problems in Visibility Graphs of Points, Segments and Polygons
Published
• View Publication
• BIB
In this survey paper, we present open problems and conjectures on visibility graphs of points, segments and polygons along with necessary backgrounds for understanding them.
Max-Flow Min-Cut Theorems for Multi-User Communication Networks
Published
• View Publication
• BIB
The paper presents four distinct new ideas and results for communication networks:
1) We show that relay-networks (i.e. communication networks where different nodes use the same coding functions) can be used to model dynamic networks.
2) We introduce {\em the term model}, which is a simple, graph-free symbolic approach to communication networks.
3) We state and prove variants of a theorem concerning the dispersion of information in single-receiver communications.
4) We show that the solvability of an abstract multi-user communication problem is equivalent to the solvability of a single-target communication in a suitable relay network.
In the paper, we develop a number of technical ramifications of these ideas and results. One technical result is a max-flow min-cut theorem for the Rényi entropy with order less than one, given that the sources are equiprobably distributed; conversely, we show that the max-flow min-cut theorem fails for the Rényi entropy with order greater than one. We leave the status of the theorem with regards to the ordinary Shannon Entropy measure (Rényi entropy of order one and the limit case between validity or failure of the theorem) as an open question. In non-dynamic static communication networks with a single receiver, a simple application of Menger's theorem shows that the optimal throughput can be achieved without proper use of network coding i.e. just by using ordinary packet-switching. This fails dramatically in relay networks with a single receiver. We show that even a powerful method like linear network coding fails miserably for relay networks. With that in mind, it is noticeable that our rather weak form of network coding (routing with dynamic headers) is asymptotically sufficient to reach capacity.
Poset pinball, highest forms, and (n-2,2) Springer varieties
Published
• View Publication
• BIB
We study type $A$ nilpotent Hessenberg varieties equipped with a natural $S^1$-action using techniques introduced by Tymoczko, Harada-Tymoczko, and Bayegan-Harada, with a particular emphasis on a special class of nilpotent Springer varieties corresponding to the partition $λ= (n-2,2)$ for $n \geq 4$. First we define the adjacent-pair matrix corresponding to any filling of a Young diagram with $n$ boxes with the alphabet $\{1,2,\ldots,n\}$. Using the adjacent-pair matrix we make more explicit and also extend some statements concerning highest forms of linear operators in previous work of Tymoczko. Second, for a nilpotent operator $N$ and Hessenberg function $h$, we construct an explicit bijection between the $S^1$-fixed points of the nilpotent Hessenberg variety $\Hess(N,h)$ and the set of $(h,λ_N)$-permissible fillings of the Young diagram $λ_N$. Third, we use poset pinball, the combinatorial game introduced by Harada and Tymoczko, to study the $S^1$-equivariant cohomology of type $A$ Springer varieties $\mathcal{S}_{(n-2,2)}$ associated to Young diagrams of shape $(n-2,2)$ for $n\geq 4$. Specifically, we use the dimension pair algorithm for Betti-acceptable pinball described by Bayegan and Harada to specify a subset of the equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety $\mathcal{F}\ell ags(\C^n)$ which maps to a module basis of $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$ under the projection $H^*_T(\mathcal{F}\ell ags(\C^n)) \to H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. Our pinball module basis is not poset-upper-triangular; this is the first concrete such example in the literature. A consequence of our proof is that there exists a simple and explicit change of basis which transforms our basis to a poset-upper-triangular module basis for $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. We close with open questions for future work.
Universal Polynomials for Severi Degrees of Toric Surfaces
Published
• View Publication
• BIB
The Severi variety parameterizes plane curves of degree d with delta nodes. Its degree is called the Severi degree. For large enough d, the Severi degrees coincide with the Gromov-Witten invariants of P^2. Fomin and Mikhalkin (2009) proved the 1995 conjecture that, for fixed delta, Severi degrees are eventually polynomial in d.
In this paper, we study the Severi varieties corresponding to a large family of toric surfaces. We prove the analogous result that the Severi degrees are eventually polynomial as a function of the multidegree. More surprisingly, we show that the Severi degrees are also eventually polynomial "as a function of the surface". We illustrate our theorems by explicit computing, for a small number of nodes, the Severi degree of any large enough Hirzebruch surface and of a singular surface.
Our strategy is to use tropical geometry to express Severi degrees in terms of Brugalle and Mikhalkin's floor diagrams, and study those combinatorial objects in detail. An important ingredient in the proof is the polynomiality of the discrete volume of a variable facet-unimodular polytope.