Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Asymptotically optimal neighbour sum distinguishing total colourings of graphs
Consider a simple graph $G=(V,E)$ of maximum degree $Δ$ and its proper total colouring $c$ with the elements of the set $\{1,2,\ldots,k\}$. The colouring $c$ is said to be \emph{neighbour sum distinguishing} if for every pair of adjacent vertices $u$, $v$, we have $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ for which it exists is denoted by $χ"_{\sum}(G)$, hence $χ"_{\sum}(G) \geq Δ+1$. On the other hand, it has been daringly conjectured that just one more label than presumed in the famous Total Colouring Conjecture suffices to construct such total colouring $c$, i.e., that $χ"_{\sum}(G) \leq Δ+3$ for all graphs. We support this inequality by proving its asymptotic version, $χ"_{\sum}(G) \leq (1+o(1))Δ$. The major part of the construction confirming this relays on a random assignment of colours, where the choice for every edge is biased by so called attractors, randomly assigned to the vertices, and the probabilistic result of Molloy and Reed on the Total Colouring Conjecture itself.
S-positivity of interval hypergraphs
We prove the s-positivity of the chromatic functions of interval hypergraphs and a conjecture of Taylor~\cite{Taylor15} as a consequence. We also give a new proof of Gasharov's theorem on the s-positivity of the chromatic symmetric functions of $(3+1)$-free posets.
Partial clones containing all Boolean monotone self-dual partial functions
The study of partial clones on $\mathbf{2}:=\{0,1\}$ was initiated by R. V. Freivald. In his fundamental paper published in 1966, Freivald showed, among other things, that the set of all monotone partial functions and the set of all self-dual partial functions are both maximal partial clones on $\mathbf{2}$. Several papers dealing with intersections of maximal partial clones on $\mathbf{2}$ have appeared after Freivald work. It is known that there are infinitely many partial clones that contain the set of all monotone self-dual partial functions on $\mathbf{2}$, and the problem of describing them all was posed by some authors. In this paper we show that the set of partial clones that contain all monotone self-dual partial functions is of continuum cardinality on $\mathbf{2}$.
Invariant subsets of scattered trees. An application to the tree alternative property of Bonato and Tardif
Published
• View Publication
• BIB
A tree is scattered if no subdivision of the complete binary tree is a subtree. Building on results of Halin, Polat and Sabidussi, we identify four types of subtrees of a scattered tree and a function of the tree into the integers at least one of which is preserved by every embedding.
With this result and a result of Tyomkyn, we prove that the tree alternative property conjecture of Bonato and Tardif holds for scattered trees and a conjecture of Tyomkin holds for locally finite scattered trees.
On decomposing graphs of large minimum degree into locally irregular subgraphs
Published in Electron. J. Combin. 23(2) (2016), #P2.31
• Search Publication
A \emph{locally irregular graph} is a graph whose adjacent vertices have distinct degrees. We say that a graph $G$ can be decomposed into $k$ locally irregular subgraphs if its edge set may be partitioned into $k$ subsets each of which induces a locally irregular subgraph in $G$. It has been conjectured that apart from the family of exceptions which admit no such decompositions, i.e., odd paths, odd cycles and a special class of graphs of maximum degree $3$, every connected graph can be decomposed into $3$ locally irregular subgraphs. Using a combination of a probabilistic approach and some known theorems on degree constrained subgraphs of a given graph, we prove this to hold for graphs of sufficiently large minimum degree, $δ(G)\geq 10^{10}$. This problem is strongly related to edge colourings distinguishing neighbours by the pallets of their incident colours and to 1-2-3 Conjecture. In particular, the contribution of this paper constitutes a strengthening of a result of Addario-Berry, Aldred, Dalal and Reed [J. Combin. Theory Ser. B 94 (2005) 237-244].
Inversions of Semistandard Young Tableaux
Published
• View Publication
• BIB
A tableau inversion is a pair of entries from the same column of a row-standard tableau that lack the relative ordering necessary to make the tableau column-standard. An $i$-inverted Young tableau is a row-standard tableau with precisely $i$ inversion pairs, and may be interpreted as a generalization of (column-standard) Young tableau. Inverted Young tableau that lack repeated entries were introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, and were later developed as combinatorial objects in their own right by Beagley and Drube. This paper generalizes earlier notions of tableau inversions to row-standard tableaux with repeated entries, yielding an interesting new generalization of semistandard (as opposed to merely standard) Young tableaux. We develop a closed formula for the maximum numbers of inversion pairs for a row-standard tableau with a specific shape and content, and show that the number of $i$-inverted tableaux of a given shape is invariant under permutation of content. We then enumerate $i$-inverted Young tableaux for a variety of shapes and contents, and generalize an earlier result that places $1$-inverted Young tableaux of a general shape in bijection with $0$-inverted Young tableaux of a variety of related shapes.
Sampling Goldbach Numbers at Random
Let $Σ_{2n}$ be the set of all partitions of the even integers from the interval $(4,2n], n>2,$ into two odd prime parts. We select a partition from the set $Σ_{2n}$ uniformly at random. Let $2G_n$ be the number partitioned by this selection. $2G_n$ is sometimes called a Goldbach number. In [6] we showed that $G_n/n$ converges weakly to the maximum $T$ of two random variables which are independent copies of a uniformly distributed random variable in the interval $(0,1)$. In this note we show that the mean and the variance of $G_n/n$ tend to the mean $μ_T=2/3$ and variance $σ_T^2=1/18$ of $T$, respectively. Our method of proof is based on generating functions and on a Tauberian theorem due to Hardy-Littlewood-Karamata.
Excluding hooks and their complements
Published
• View Publication
• BIB
The celebrated Erdos-Hajnal conjecture states that for every $n$-vertex undirected graph $H$ there exists $\eps(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or an independent set of size at least $n^{\eps(H)}$. A weaker version of the conjecture states that the polynomial-size clique/independent set phenomenon occurs if one excludes both $H$ and its complement $H^{\compl}$. We show that the weaker conjecture holds if $H$ is any path with a pendant edge at its third vertex; thus we give a new infinite family of graphs for which the conjecture holds.
Negaperiodic Golay pairs and Hadamard matrices
Published in Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2015, no. 5, pp. 2-17
• View Publication
• BIB
Apart from the ordinary and the periodic Golay pairs, we define also the negaperiodic Golay pairs. (They occurred first, under a different name, in a paper of Ito.) If a Hadamard matrix is also a Toeplitz matrix, we show that it must be either cyclic or negacyclic. We investigate the construction of Hadamard (and weighing matrices) from two negacyclic blocks (2N-type). The Hadamard matrices of 2N-type are equivalent to negaperiodic Golay pairs. We show that the Turyn multiplication of Golay pairs extends to a more general multiplication: one can multiply Golay pairs of length $g$ and negaperiodic Golay pairs of length $v$ to obtain negaperiodic Golay pairs of length $gv$. We show that the Ito's conjecture about Hadamard matrices is equivalent to the conjecture that negaperiodic Golay pairs exist for all even lengths.
Decompositions of complete multigraphs into cycles of varying lengths
Published
• View Publication
• BIB
We establish necessary and sufficient conditions for the existence of a decomposition of a complete multigraph into edge-disjoint cycles of specified lengths, or into edge-disjoint cycles of specified lengths and a perfect matching.
Anchored boundary conditions for locally isostatic networks
Published in Phys. Rev. E 92, 053306 (2015)
• View Publication
• BIB
Finite pieces of locally isostatic networks have a large number of floppy modes because of missing constraints at the surface. Here we show that by imposing suitable boundary conditions at the surface, the network can be rendered effectively isostatic. We refer to these as anchored boundary conditions. An important example is formed by a two-dimensional network of corner sharing triangles, which is the focus of this paper. Another way of rendering such networks isostatic, is by adding an external wire along which all unpinned vertices can slide (sliding boundary conditions). This approach also allows for the incorporation of boundaries associated with internal holes and complex sample geometries, which are illustrated with examples. The recent synthesis of bilayers of vitreous silica has provided impetus for this work. Experimental results from the imaging of finite pieces at the atomic level needs such boundary conditions, if the observed structure is to be computer-refined so that the interior atoms have the perception of being in an infinite isostatic environment.
Difference operators for partitions and some applications
Published
• View Publication
• BIB
Motivated by the Nekrasov-Okounkov formula on hook lengths, the first author conjectured that the Plancherel average of the $2k$-th power sum of hook lengths of partitions with size $n$ is always a polynomial of $n$ for any $k\in \mathbb{N}$. This conjecture was generalized and proved by Stanley (Ramanujan J., 23(1--3): 91--105, 2010). In this paper, inspired by the work of Stanley and Olshanski on the differential poset of Young lattice, we study the properties of two kinds of difference operators $D$ and $D^-$ defined on functions of partitions. Even though the calculations for higher orders of $D$ are extremely complex, we prove that several well-known families of functions of partitions are annihilated by a power of the difference operator $D$. As an application, our results lead to several generalizations of classic results on partitions, including the marked hook formula, Stanley Theorem, Okada-Panova hook length formula, and Fujii-Kanno-Moriyama-Okada content formula. We insist that the Okada constants $K_r$ arise directly from the computation for a single partition $λ$, without the summation ranging over all partitions of size~$n$.
Hopf algebras and Tutte polynomials
Published in Advances in Applied Mathematics, 95 (2018) 271--330
• View Publication
• BIB
By considering Tutte polynomials of Hopf algebras, we show how a Tutte polynomial can be canonically associated with combinatorial objects that have some notions of deletion and contraction. We show that several graph polynomials from the literature arise from this framework. These polynomials include the classical Tutte polynomial of graphs and matroids, Las Vergnas' Tutte polynomial of the morphism of matroids and his Tutte polynomial for embedded graphs, Bollobas and Riordan's ribbon graph polynomial, the Krushkal polynomial, and the Penrose polynomial.
We show that our Tutte polynomials of Hopf algebras share common properties with the classical Tutte polynomial, including deletion-contraction definitions, universality properties, convolution formulas, and duality relations. New results for graph polynomials from the literature are then obtained as examples of the general results.
Our results offer a framework for the study of the Tutte polynomial and its analogues in other settings, offering the means to determine the properties and connections between a wide class of polynomial invariants.
Lattices related to extensions of presentations of transversal matroids
Published in The Electronic Journal of Combinatorics, 2017
• View Publication
• BIB
For a presentation $\mathcal{A}$ of a transversal matroid $M$, we study the set $T_{\mathcal{A}}$ of single-element transversal extensions of $M$ that have presentations that extend $\mathcal{A}$; we order these extensions by the weak order. We show that $T_{\mathcal{A}}$ is a distributive lattice, and that each finite distributive lattice is isomorphic to $T_{\mathcal{A}}$ for some presentation $\mathcal{A}$ of some transversal matroid $M$. We show that $T_{\mathcal{A}}\cap T_{\mathcal{B}}$, for any two presentations $\mathcal{A}$ and $\mathcal{B}$ of $M$, is a sublattice of both $T_{\mathcal{A}}$ and $T_{\mathcal{B}}$. We prove sharp upper bounds on $|T_{\mathcal{A}}|$ for presentations $\mathcal{A}$ of rank less than $r(M)$ in the order on presentations; we also give a sharp upper bound on $|T_{\mathcal{A}}\cap T_{\mathcal{B}}|$. The main tool we introduce to study $T_{\mathcal{A}}$ is the lattice $L_{\mathcal{A}}$ of closed sets of a certain closure operator on the lattice of subsets of $\{1,2,\ldots,r(M)\}$.
On Maximal and Minimal Linear Matching Property
The matching basis in field extentions is introduced by S. Eliahou and C. Lecouvey in [2]. In this paper we define the minimal and maximal linear matching property for field extensions and prove that if K is not algebraically closed, then K has minimal linear matching property. In this paper we will prove that algebraic number fields have maximal linear matching property. We also give a shorter proof of a result established in [6] on the fundamental theorem of algebra.
Divisibility properties of sporadic Apéry-like numbers
Published
• View Publication
• BIB
In 1982, Gessel showed that the Apéry numbers associated to the irrationality of $ζ(3)$ satisfy Lucas congruences. Our main result is to prove corresponding congruences for all sporadic Apéry-like sequences. In several cases, we are able to employ approaches due to McIntosh, Samol--van Straten and Rowland--Yassawi to establish these congruences. However, for the sequences often labeled $s_{18}$ and $(η)$ we require a finer analysis.
As an application, we investigate modulo which numbers these sequences are periodic. In particular, we show that the Almkvist--Zudilin numbers are periodic modulo $8$, a special property which they share with the Apéry numbers. We also investigate primes which do not divide any term of a given Apéry-like sequence.
On a conjecture of Chen-Guo-Wang
Towards confirming Sun's conjecture on the strict log-concavity of combinatorial sequence involving the n$th$ Bernoulli number, Chen, Guo and Wang proposed a conjecture about the log-concavity of the function $θ(x)=\sqrt[x]{2ζ(x)Γ(x+1)}$ for $x\in (6,\infty)$, where $ζ(x)$ is the Riemann zeta function and $Γ(x)$ is the Gamma function. In this paper, we first prove this conjecture along the spirit of Zhu's previous work. Second, we extend Chen et al.'s conjecture in the sense of almost infinite log-monotonicity of combinatorial sequences, which was also introduced by Chen et al. Furthermore, by using an analogue criterion to the one of Chen, Guo and Wang, we deduce the almost infinite log-monotonicity of the sequences $\frac{1}{\sqrt[n]{|B_{2n}|}}$, $T_n$ and $\frac{1}{\sqrt[n]{T_n}}$, where $B_{2n}$ and $T_{n}$ are the $2n$th Bernoulli number and the $n$th tangent number, respectively. These results can be seen as extensions of some solved conjectures of Sun.
Strongly connectable digraphs and non-transitive dice
Published in AKCE Int. J. Graphs Combinatorics, 17(1) (2020), 480-485
• View Publication
• BIB
We give a new proof of the theorem of Boesch-Tindell and Farzad-Mahdian-Mahmoodian-Saberi-Sadri that a directed graph extends to a strongly connected digraph on the same vertex set if and only if it has no complete directed cut. Our proof bounds the number of edges needed for such an extension; we give examples to demonstrate sharpness. We apply the characterization to a problem on non-transitive dice.
Four Variations on Graded Posets
Published
• View Publication
• BIB
We explore the enumeration of some natural classes of graded posets, including all graded posets, (2+2)- and (3+1)-avoiding graded posets, (2+2)-avoiding graded posets, and (3+1)-avoiding graded posets. We obtain enumerative and structural theorems for all of them. Along the way, we discuss a situation when we can switch between enumeration of labeled and unlabeled objects with ease, generalize a result of Postnikov and Stanley from the theory of hyperplane arrangements, answer a question posed by Stanley, and see an old result of Klarner in a new light.
Generalized power domination in WK-Pyramid Networks
The notion of power domination arises in the context of monitoring an electric power system with as few phase measurement units as possible. The $k-$power domination number of a graph $G$ is the minimum cardinality of a $k-$power dominating set ($k-$PDS) of $G$. In this paper, we determine the $k-$power domination number of WK-Pyramid networks, $WKP_{(C,L)}$, for all positive values of $k$ except for $k=C-1, C \geq 2$, for which we give an upper bound. The $k-$propagation radius of a graph $G$ is the minimum number of propagation steps needed to monitor the graph $G$ over all minimum $k-$PDS. We obtain the $k-$propagation radius of $WKP_{(C,L)}$ in some cases.