Showing 20 papers (Total: 84285 papers, 48548 authors in database)
A note on diameter-Ramsey sets
Published in European J. Combin. 71 (2018), 51-54
• View Publication
• BIB
A finite set $A \subset \mathbb{R}^d$ is called $\textit{diameter-Ramsey}$ if for every $r \in \mathbb N$, there exists some $n \in \mathbb N$ and a finite set $B \subset \mathbb{R}^n$ with $\mathrm{diam}(A)=\mathrm{diam}(B)$ such that whenever $B$ is coloured with $r$ colours, there is a monochromatic set $A' \subset B$ which is congruent to $A$. We prove that sets of diameter $1$ with circumradius larger than $1/\sqrt{2}$ are not diameter-Ramsey. In particular, we obtain that triangles with an angle larger than $135^\circ$ are not diameter-Ramsey, improving a result of Frankl, Pach, Reiher and Rödl. Furthermore, we deduce that there are simplices which are almost regular but not diameter-Ramsey.
Realizable Lists on a Class of Nonnegative Matrices
Published
• View Publication
• BIB
A square matrix of order n with $n\geq 2$ is called permutative matrix when all its rows (up to the frst one) are permutations of precisely its frst row. In this paper recalling spectral results for partitioned into $2$-by-$2$ symmetric blocks matrices sufcient conditions on a given complex list to be the list of the eigenvalues of a nonnegative permutative matrix are given. In particular, we study NIEP and PNIEP when some complex elements into the considered lists have no zero imaginary part. Realizability regions for nonnegative permutative matrices are obtained.
Min-Max Theorems for Packing and Covering Odd $(u,v)$-trails
Published
• View Publication
• BIB
We investigate the problem of packing and covering odd $(u,v)$-trails in a graph. A $(u,v)$-trail is a $(u,v)$-walk that is allowed to have repeated vertices but no repeated edges. We call a trail odd if the number of edges in the trail is odd. Let $ν(u,v)$ denote the maximum number of edge-disjoint odd $(u,v)$-trails, and $τ(u,v)$ denote the minimum size of an edge-set that intersects every odd $(u,v)$-trail.
We prove that $τ(u,v)\leq 2ν(u,v)+1$. Our result is tight---there are examples showing that $τ(u,v)=2ν(u,v)+1$---and substantially improves upon the bound of $8$ obtained in [Churchley et al 2016] for $τ(u,v)/ν(u,v)$. Our proof also yields a polynomial-time algorithm for finding a cover and a collection of trails satisfying the above bounds.
Our proof is simple and has two main ingredients. We show that (loosely speaking) the problem can be reduced to the problem of packing and covering odd $(uv,uv)$-trails losing a factor of 2 (either in the number of trails found, or the size of the cover). Complementing this, we show that the odd-$(uv,uv)$-trail packing and covering problems can be tackled by exploiting a powerful min-max result of [Chudnovsky et al 2006] for packing vertex-disjoint nonzero $A$-paths in group-labeled graphs.
Berge-Fulkerson coloring for infinite families of snarks
Published
• View Publication
• BIB
It is conjectured by Berge and Fulkerson that every bridgeless cubic graph has six perfect matchings such that each edge is contained in exactly two of them. H$\ddot{a}$gglund constructed two graphs Blowup$(K_4, C)$ and Blowup$(Prism, C_4)$. Based on these two graphs, Chen constructed infinite families of bridgeless cubic graphs $M_{0,1,2, \ldots,k-2, k-1}$ which is obtained from cyclically 4-edge-connected and having a Fulkerson-cover cubic graphs $G_0,G_1,\ldots, G_{k-1}$ by recursive process. If each $G_i$ for $1\leq i\leq k-1$ is a cyclically 4-edge-connected snarks with excessive index at least 5, Chen proved that these infinite families are snarks. He obtained that each graph in $M_{0,1,2,3}$ has a Fulkerson-cover and gave the open problem that whether every graph in $M_{0,1,2, \ldots,k-2, k-1}$ has a Fulkerson-cover. In this paper, we solve this problem and prove that every graph in $M_{0,1,2, \ldots,k-2, k-1}$ has a Fulkerson-cover.
On Words with the Zero Palindromic Defect
Published in International Conference on Combinatorics on Words WORDS 2017: Combinatorics on Words pp 59-71, LNCS, volume 10432, Springer
• View Publication
• BIB
We study the set of finite words with zero palindromic defect, i.e., words rich in palindromes. This set is factorial, but not recurrent. We focus on description of pairs of rich words which cannot occur simultaneously as factors of a longer rich word.
Reflection on the coloring and chromatic numbers
Published
• View Publication
• BIB
We prove that reflection of the coloring number of graphs is consistent with non-reflection of the chromatic number. Moreover, it is proved that incompactness for the chromatic number of graphs (with arbitrarily large gaps) is compatible with each of the following compactness principles: Rado's conjecture, Fodor-type reflection, $Δ$-reflection, Stationary-sets reflection, Martin's Maximum, and a generalized Chang's conjecture. This is accomplished by showing that, under $\mathrm{GCH}$-type assumptions, instances of incompactness for the chromatic number can be derived from square-like principles that are compatible with large amounts of compactness.
In addition, we prove that, in contrast to the chromatic number, the coloring number does not admit arbitrarily large incompactness gaps.
Further results on complete permutation monomials over finite fields
Published
• View Publication
• BIB
In this paper, we construct some new classes of complete permutation monomials with exponent $d=\frac{q^n-1}{q-1}$ using AGW criterion (a special case). This proves two recent conjectures in [Wuetal2] and extends some of these recent results to more general $n$'s.
A natural generalisation in graph Ramsey theory
In this note we study graphs $G_r$ with the property that every colouring of $E(G_r)$ with $r+1$ colours admits a copy of some graph $H$ using at most $r$ colours. For $1\le r\le e(H)$ such graphs occur naturally at intermediate steps in the synthesis of a $2$-colour Ramsey graph $G_1\longrightarrow H$. (The corresponding notion of Ramsey-type numbers was introduced by Erdös, Hajnal and Rado in 1965 and subsequently studied by Erdös and Szemerédi in 1972). For $H=K_n$ we prove a result on building a $G_{r}$ from a $G_{r+1}$ and establish Ramsey-infiniteness. From the structural point of view, we characterise the class of the minimal $G_r$ in the case when $H$ is relaxed to be the graph property of containing a cycle; we then use it to progress towards a constructive description of that class by proving both a reduction and an extension theorem.
Construction of the Symbol Invariant of Partition
Symbol is used to describe the Springer correspondence for the classical groups. We prove two structure theorems of symbol. We propose a construction of the symbol of the rigid partitions in the $B_n$, $C_n$, and $D_n$ theories. This construction is natural and consists of two basic building blocks. Using this construction, we give closed formulas of symbols for the rigid partitions in the $B_n, C_n$, and $D_n$ theories. One part of the closed formula is universal and other parts are determined by the specific theory. A comparison of between this closed formula and the old one is made. Previous results can be illustrated more clearly by this closed formula.
Positive Solutions of $p$-th Yamabe Type Equations on Graphs
Published in Front. Math. China (2018)
• View Publication
• BIB
Let $G=(V,E)$ be a finite connected weighted graph, and assume $1\leqα\leq p\leq q$. In this paper, we consider the following $p$-th Yamabe type equation $$-Δ_pu+hu^{q-1}=λfu^{α-1}.$$ on $G$, where $Δ_p$ is the $p$-th discrete graph Laplacian, $h\leq0$ and $f>0$ are real functions defined on all vertices of $G$. Instead of the approach in [Ge3], we adopt a new approach, and prove that the above equation always has a positive solution $u>0$ for some constant $λ\in\mathbb{R}$. In particular, when $q=p$ our result generalizes the main theorem in [Ge3] from the case of $α\geq p>1$ to the case of $1\leqα\leq p$. It's interesting that our new approach can also work in the case of $α\geq p>1$.
Some Criteria for a Signed Graph to Have Full Rank
Published
• View Publication
• BIB
A weighted graph $G^ω$ consists of a simple graph $G$ with a weight $ω$, which is a mapping,$ω$: $E(G)\rightarrow\mathbb{Z}\backslash\{0\}$. A signed graph is a graph whose edges are labeled with $-1$ or $1$. In this paper, we characterize graphs which have a sign such that their signed adjacency matrix has full rank, and graphs which have a weight such that their weighted adjacency matrix does not have full rank. We show that for any arbitrary simple graph $G$, there is a sign $σ$ so that $G^σ$ has full rank if and only if $G$ has a $\{1,2\}$-factor. We also show that for a graph $G$, there is a weight $ω$ so that $G^ω$ does not have full rank if and only if $G$ has at least two $\{1,2\}$-factors.
A Proof of Atanassov's Conjecture and Other Generalizations of Sperner's Lemma
A simple proof of Atanassov's Conjecture is presented. Atanassov's Conjecture is a generalization of Sperner's Lemma, a lemma which has been used to prove Brouwer's Fixed Point Theorem, among other fixed point theorems. The proof of Atanassov's Conjecture is based on the Brouwer Degree of maps and is extremely elementary. It is much simpler than the original proofs given for the conjecture and provides some insight into the nature of the conjecture. Furthermore, a generalization of the conjecture is presented and finally a new theorem, similar to the original Sperner Lemma, is proved.
Real representations of finite symplectic groups over fields of characteristic two
Published
• View Publication
• BIB
We prove that when $q$ is a power of $2$, every complex irreducible representation of $\mathrm{Sp}(2n, \mathbb{F}_q)$ may be defined over the real numbers, that is, all Frobenius-Schur indicators are 1. We also obtain a generating function for the sum of the degrees of the unipotent characters of $\mathrm{Sp}(2n, \mathbb{F}_q)$, or of $\mathrm{SO}(2n+1, \mathbb{F}_q)$, for any prime power $q$.
Constructing Words with High Distinct Square Densities
Published in EPTCS 252, 2017, pp. 71-85
• View Publication
• BIB
Fraenkel and Simpson showed that the number of distinct squares in a word of length n is bounded from above by 2n, since at most two distinct squares have their rightmost, or last, occurrence begin at each position. Improvements by Ilie to $2n-Θ(\log n)$ and by Deza et al. to 11n/6 rely on the study of combinatorics of FS-double-squares, when the maximum number of two last occurrences of squares begin. In this paper, we first study how to maximize runs of FS-double-squares in the prefix of a word. We show that for a given positive integer m, the minimum length of a word beginning with m FS-double-squares, whose lengths are equal, is 7m+3. We construct such a word and analyze its distinct-square-sequence as well as its distinct-square-density. We then generalize our construction. We also construct words with high distinct-square-densities that approach 5/6.
Lattice Path Enumeration and Its Applications in Representation Theory
In this paper, we enumerate lattice paths with certain constraints and apply the corresponding results to develop formulas for calculating the dimensions of submodules of a class of modules for planar upper triangular rook monoids. In particular, we show that the famous Catalan numbers appear as the dimensions of some special modules; we also obtain some combinatorial identities
On the binomial interpolated triangles
Published in Journal of Integer Sequences, Vol. 20. (2017), Article 17.7.8
• Search Publication
The binomial interpolated transform of a sequence is a generalization of the well-known binomial transform. We examine a Pascal-like triangle, on which a binomial interpolated transform works between the left and right diagonals, focusing on binary recurrences. We give the sums of the elements in rows and in rising diagonals, further we define two special classes of these arithmetical triangles.
Graphs with girth at least 5 with orders between 20 and 32
We prove properties of extremal graphs of girth 5 and order 20 <=v <= 32. In each case we identify the possible minimum and maximum degrees, and in some cases prove the existence of (non-trivial) embedded stars. These proofs allow for tractable search for and identification of all non isomorphic cases.
Computing the poset of layers of a toric arrangement
A toric arrangement is an arrangement of subtori of codimension one in a real or complex torus. The poset of layers is the set of connected components of non-empty intersections of these subtori, partially ordered by reverse inclusion. In this note we present an algorithm that computes this poset in the central case.
K-orbit closures and Barbasch-Evens-Magyar varieties
Published in Pacific J. Math. 320 (2022) 103-132
• View Publication
• BIB
We define the Barbasch-Evens-Magyar varieties. We show they are isomorphic to the smooth varieties defined in [D.~Barbasch-S.~Evens '94] that map generically finitely to symmetric orbit closures, thereby giving resolutions of singularities in certain cases. Our definition parallels [P.~Magyar '98]'s construction of the Bott-Samelson varieties [H.~C.~Hansen '73, M.~Demazure '74]. From this alternative viewpoint, one deduces a graphical description in type $A$, stratification into closed subvarieties of the same kind, and determination of the torus-fixed points. Moreover, we explain how these manifolds inherit a natural symplectic structure with Hamiltonian torus action. We then express the moment polytope in terms of the moment polytope of a Bott-Samelson variety.
The Graph of Critical Pairs of a Crown
Published
• View Publication
• BIB
There is a natural way to associate with a poset $P$ a hypergraph $H$, called the hypergraph of critical pairs, so that the dimension of $P$ is exactly equal to the chromatic number of $H$. The edges of $H$ have variable sizes, but it is of interest to consider the graph $G$ formed by the edges of $H$ that have size~2. The chromatic number of $G$ is less than or equal to the dimension of $P$ and the difference between the two values can be arbitrarily large. Nevertheless, there are important instances where the two parameters are the same, and we study one of these in this paper. Our focus is on a family $\{S_n^k:n\ge 3, k\ge 0\}$ of height two posets called crowns. We show that the chromatic number of the graph $G_n^k$ of critical pairs of the crown $S_n^k$ is the same as the dimension of $S_n^k$, which is known to be $\lceil 2(n+k)/(k+2)\rceil$. In fact, this theorem follows as an immediate corollary to the stronger result: The independence number of $G_n^k$ is $(k+1)(k+2)/2$. We obtain this theorem as part of a comprehensive analysis of independent sets in $G_n^k$ including the determination of the second largest size among the maximal independent sets, both the reversible and non-reversible types.