Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the ordering of trees by the Laplacian coefficients
Published in A. Ili\' c, On the ordering of trees by the Laplacian coefficients, Linear Algebra Appl. 431 (2009) 2203-2212
• Search Publication
We generalize the results from [X.-D. Zhang, X.-P. Lv, Y.-H. Chen, \textit{Ordering trees by the Laplacian coefficients}, Linear Algebra Appl. (2009), doi:10.1016/j.laa.2009.04.018] on the partial ordering of trees with given diameter. For two $n$-vertex trees $T_1$ and $T_2$, if $c_k (T_1) \leqslant c_k (T_2)$ holds for all Laplacian coefficients $c_k$, $k = 0, 1, ..., n$, we say that $T_1$ is dominated by $T_2$ and write $T_1 \preceq_c T_2$. We proved that among $n$ vertex trees with fixed diameter $d$, the caterpillar $C_{n, d}$ has minimal Laplacian coefficients $c_k$, $k = 0, 1,..., n$. The number of incomparable pairs of trees on $\leqslant 18$ vertices is presented, as well as infinite families of examples for two other partial orderings of trees, recently proposed by Mohar. For every integer $n$, we construct a chain $\{T_i\}_{i = 0}^m$ of $n$-vertex trees of length $\frac{n^2}{4}$, such that $T_0 \cong S_n$, $T_m \cong P_n$ and $T_i \preceq_c T_{i + 1}$ for all $i = 0, 1,..., m - 1$. In addition, the characterization of the partial ordering of starlike trees is established by the majorization inequalities of the pendent path lengths. We determine the relations among the extremal trees with fixed maximum degree, and with perfect matching and further support the Laplacian coefficients as a measure of branching.
Pósa's Conjecture for graphs of order at least 2\times 10^8
In 1962 Pósa conjectured that every graph G on n vertices with minimum degree at least 2n/3 contains the square of a hamiltonian cycle. In 1996 Fan and Kierstead proved the path version of Pósa's Conjecture. They also proved that it would suffice to show that G contains the square of a cycle of length greater than 2n/3. Still in 1996, Komlós, Sárközy, and Szemerédi proved Pósa's Conjecture, using the Regularity and Blow-up Lemmas, for graphs of order n > n_0, where n_0 is a very large constant. Here we show without using these lemmas that n_0=2\times 10^8 is sufficient. We are motivated by the recent work of Levitt, Szemerédi and Sárközy, but our methods are based on techniques that were available in the 90's.
Feedback vertex set on chordal bipartite graphs
Let G=(A,B,E) be a bipartite graph with color classes A and B. The graph G is chordal bipartite if G has no induced cycle of length more than four. Let G=(V,E) be a graph. A feedback vertex set F is a set of vertices F subset V such that G-F is a forest. The feedback vertex set problem asks for a feedback vertex set of minimal cardinality. We show that the feedback vertex set problem can be solved in polynomial time on chordal bipartite graphs.
Black-and-white threshold graphs
Let k be a natural number. We introduce k-threshold graphs. We show that there exists an O(n^3) algorithm for the recognition of k-threshold graphs for each natural number k. k-Threshold graphs are characterized by a finite collection of forbidden induced subgraphs. For the case k=2 we characterize the partitioned 2-threshold graphs by forbidden induced subgraphs. We introduce restricted -, and special 2-threshold graphs. We characterize both classes by forbidden induced subgraphs. The restricted 2-threshold graphs coincide with the switching class of threshold graphs. This provides a decomposition theorem for the switching class of threshold graphs.
Some results on triangle partitions
We show that there exist efficient algorithms for the triangle packing problem in colored permutation graphs, complete multipartite graphs, distance-hereditary graphs, k-modular permutation graphs and complements of k-partite graphs (when k is fixed). We show that there is an efficient algorithm for C_4-packing on bipartite permutation graphs and we show that C_4-packing on bipartite graphs is NP-complete. We characterize the cobipartite graphs that have a triangle partition.
Graphs without even holes or diamonds
An even hole is an induced chordless cycle of even length at least four. A diamond is an induced subgraph isomorphic to K_4-e. We show that graphs without even holes and without diamonds can be decomposed via clique-separators into graphs that have uniformly bounded cliquewidth.
On the Residue Codes of Extremal Type II Z4-Codes of Lengths 32 and 40
Published in Discrete Math. 311 (2011), 2148-2157
• View Publication
• BIB
In this paper, we determine the dimensions of the residue codes of extremal Type II Z4-codes for lengths 32 and 40. We demonstrate that every binary doubly even self-dual code of length 32 can be realized as the residue code of some extremal Type II Z4-code. It is also shown that there is a unique extremal Type II Z4-code of length 32 whose residue code has the smallest dimension 6 up to equivalence. As a consequence, many new extremal Type II Z4-codes of lengths 32 and 40 are constructed.
On topological properties of families of finite sets
Published in Journal of Combinatorial Theory, Series A, Volume 119, Issue 5, July 2012, Pages 1066-1077
• Search Publication
We present results about the Cantor-Bendixson index of some subspaces of a uniform family F of finite subsets of natural numbers with respect to the lexicographic order topology. As a corollary of our results we get that for any omega-uniform family F the restriction F|M is homeomorphic to F iff M contains intervals of arbitrary length of consecutive integers. We show the connection of these results with a topological partition problem of uniform families.
Abstract approach to finite Ramsey theory and a self-dual Ramsey theorem
Published
• View Publication
• BIB
We give an abstract approach to finite Ramsey theory and prove a general Ramsey-type theorem. We deduce from it a self-dual Ramsey theorem, which is a new result naturally generalizing both the classical Ramsey theorem and the dual Ramsey theorem of Graham and Rothschild. In fact, we recover the pure finite Ramsey theory from our general Ramsey-type result in the sense that the classical Ramsey theorem, the Hales--Jewett theorem (with Shelah's bounds), the Graham--Rothschild theorem, the versions of these results for partial rigid surjections due to Voigt, and the new self-dual Ramsey theorem are all obtained as iterative applications of the general result.
Cross-Sperner families
Published
• View Publication
• BIB
A pair of families $(\cF,\cG)$ is said to be \emph{cross-Sperner} if there exists no pair of sets $F \in \cF, G \in \cG$ with $F \subseteq G$ or $G \subseteq F$. There are two ways to measure the size of the pair $(\cF,\cG)$: with the sum $|\cF|+|\cG|$ or with the product $|\cF|\cdot |\cG|$. We show that if $\cF, \cG \subseteq 2^{[n]}$, then $|\cF||\cG| \le 2^{2n-4}$ and $|\cF|+|\cG|$ is maximal if $\cF$ or $\cG$ consists of exactly one set of size $\lceil n/2 \rceil$ provided the size of the ground set $n$ is large enough and both $\cF$ and $\cG$ are non-empty.
Primitive Words, Free Factors and Measure Preservation
Published in Israel Journal of Mathematics, 201 (1), pp 25--73, 2014
• View Publication
• BIB
Let F_k be the free group on k generators. A word w \in F_k is called primitive if it belongs to some basis of F_k. We investigate two criteria for primitivity, and consider more generally, subgroups of F_k which are free factors.
The first criterion is graph-theoretic and uses Stallings core graphs: given subgroups of finite rank H \le J \le F_k we present a simple procedure to determine whether H is a free factor of J. This yields, in particular, a procedure to determine whether a given element in F_k is primitive.
Again let w \in F_k and consider the word map w:G x G x ... x G \to G (from the direct product of k copies of G to G), where G is an arbitrary finite group. We call w measure preserving if given uniform measure on G x G x ... x G, w induces uniform measure on G (for every finite G). This is the second criterion we investigate: it is not hard to see that primitivity implies measure preservation and it was conjectured that the two properties are equivalent. Our combinatorial approach to primitivity allows us to make progress on this problem and in particular prove the conjecture for k=2.
It was asked whether the primitive elements of F_k form a closed set in the profinite topology of free groups. Our results provide a positive answer for F_2.
Palette-colouring: a belief-propagation approach
Published
• View Publication
• BIB
We consider a variation of the prototype combinatorial-optimisation problem known as graph-colouring. Our optimisation goal is to colour the vertices of a graph with a fixed number of colours, in a way to maximise the number of different colours present in the set of nearest neighbours of each given vertex. This problem, which we pictorially call "palette-colouring", has been recently addressed as a basic example of problem arising in the context of distributed data storage. Even though it has not been proved to be NP complete, random search algorithms find the problem hard to solve. Heuristics based on a naive belief propagation algorithm are observed to work quite well in certain conditions. In this paper, we build upon the mentioned result, working out the correct belief propagation algorithm, which needs to take into account the many-body nature of the constraints present in this problem. This method improves the naive belief propagation approach, at the cost of increased computational effort. We also investigate the emergence of a satisfiable to unsatisfiable "phase transition" as a function of the vertex mean degree, for different ensembles of sparse random graphs in the large size ("thermodynamic") limit.
An application of global Weyl modules of $\lie{sl}_{n+1}[t]$ to invariant theory
Published
• View Publication
• BIB
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
Spectrum of permanent's values and its extremal magnitudes in $Λ_n^3$ and $Λ_n(α,β,γ)$
Published
• View Publication
• BIB
Let $Λ_n^k$ denote the class of $(0,1)$ square matrices containing in each row and in each column exactly $k$ 1's. The minimal value of $k,$ for which the behavior of the permanent in $Λ_n^k$ is not quite studied, is $k=3.$ We give a simple algorithm for calculation upper magnitudes of permanent in $Λ_n^3$ and consider some extremal problems in a generalized class $Λ_n(α,β,γ),$ the matrices of which contain in each row and in each column nonzero elements $α,β,γ$ and $n-3$ zeros.
Cell modules and canonical basic sets for Hecke algebras from Cherednik algebras
Published
• View Publication
• BIB
In this note we are interested in labelling the irreducible representations of non-semisimple specialisations of Hecke algebras of complex reflection groups. We will use category O for the rational Cherednik algebra and the KZ functor together with elementary algebraic and combinatorial arguments to construct "canonical basic sets" in many cases. We will also show that the images of the standard modules through the KZ functor agree with the appropriate cell modules, whenever the Hecke algebra has a cellular structure.
Patterns of Alternating Sign Matrices
We initiate a study of the zero-nonzero patterns of n by n alternating sign matrices. We characterize the row (column) sum vectors of these patterns and determine their minimum term rank. In the case of connected alternating sign matrices, we find the minimum number of nonzero entries and characterize the case of equality. We also study symmetric alternating sign matrices, in particular, those with only zeros on the main diagonal. These give rise to alternating signed graphs without loops, and we determine the maximum number of edges in such graphs. We also consider n by n alternating sign matrices whose patterns are maximal within the class of all n by n alternating sign matrices.
On the metric dimension of bilinear forms graphs
Published in Discrete Mathematics 312 (2012) 1266-1268
• View Publication
• BIB
The metric dimension of a graph is the least number of vertices in a set with the property that the list of distances from any vertex to those in the set uniquely identifies that vertex. Bailey and Meagher obtained an upper bound on the metric dimension of Grassmann graphs. In this paper we obtain an upper bound on the metric dimension of bilinear forms graphs.
Diagonalization of the Matrices of the Multinomial Descent and Multinomial Inversion Statistics on the Symmetric Group
In the work of Varchenko, Zagier, Thibon, and Reiner, Saliola, Welker, linear algebraic properties of the multiplication map on the group algebra of the group algebra element are studied, which is the sum over all permutations weighted by q^{inv}, q^{maj}, inv. Here q is a variable, and inv and maj are the classical statistics inversion and major index. We define a multinomial descent statistic des_X and a multinomial inversion statistic inv_X. These new defined statistics are the multinomial expressions of the classical statistics descent des and inversion. We determine the spectrum and the multiplicity of each element of the spectrum of the analogously defined multiplication map on the group algebra for both des_X and inv_X. As corollaries we deduce the spectrum and the multiplicity of each element of the spectrum of the defined multiplication map on the group algebra for the statistics des, maj and inv.
Bivariate identities for values of the Hurwitz zeta function and supercongruences
Published in Electron. J. Combin. 18 (2012), no. 2, Research Paper 35, 30pp
• View Publication
• BIB
In this paper, we prove a new identity for values of the Hurwitz zeta function which contains as particular cases Koecher's identity for odd zeta values, the Bailey-Borwein-Bradley identity for even zeta values and many other interesting formulas related to values of the Hurwitz zeta function. We also get an extension of the bivariate identity of Cohen to values of the Hurwitz zeta function. The main tool we use here is a construction of new Markov-WZ pairs. As application of our results, we prove several conjectures on supercongruences proposed by J. Guillera, W. Zudilin, and Z.-W. Sun.
The Bipartite Swapping Trick on Graph Homomorphisms
Published in SIAM J. Discrete Math. 25 (2011), 660-680
• View Publication
• BIB
We provide an upper bound to the number of graph homomorphisms from $G$ to $H$, where $H$ is a fixed graph with certain properties, and $G$ varies over all $N$-vertex, $d$-regular graphs. This result generalizes a recently resolved conjecture of Alon and Kahn on the number of independent sets. We build on the work of Galvin and Tetali, who studied the number of graph homomorphisms from $G$ to $H$ when $H$ is bipartite. We also apply our techniques to graph colorings and stable set polytopes.