Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Bowtie-free graphs have a Ramsey lift
Published in Advances in Applied Mathematics Volume 96, May 2018, Pages 286-311
• View Publication
• BIB
A bowtie is a graph consisting of two triangles with one vertex identified. We show that the class of all (countable) graphs not containing a bowtie as a subgraph has a Ramsey lift (expansion). This solves one of the old problems in the area and it is the first non-trivial Ramsey class with a non-trivial algebraic closure.
Embedding partial Steiner triple systems with few triples
Published
• View Publication
• BIB
It was proved in 2009 that any partial Steiner triple system of order $u$ has an embedding of order $v$ for each admissible integer $v\geq 2u+1$. This result is best-possible in the sense that, for each $u\geq 9$, there exists a partial Steiner triple system of order $u$ that does not have an embedding of order $v$ for any $v<2u+1$. Many partial Steiner triple systems do have embeddings of orders smaller than $2u+1$, but little has been proved about when these embeddings exist. In this paper we construct embeddings of orders less than $2u+1$ for partial Steiner triple systems with few triples. In particular, we show that a partial Steiner triple system of order $u \geq 62$ with at most $\frac{u^2}{50}-\frac{11u}{100}-\frac{116}{75}$ triples has an embedding of order $v$ for each admissible integer $v \geq \frac{8u+17}{5}$.
Coloration of $K_7^-$-minor free graphs
Hadwiger's conjecture says that every $K_t$-minor free graph is $(t - 1)$-colorable. This problem has been proved for $t \leq 6$ but remains open for $t \geq 7$. $K_7$-minor free graphs have been proved to be $8$-colorable (Albar & Gonçalves, 2013). We prove here that $K_7^-$-minor free graphs are $7$-colorable, where $K_7^-$ is the graph obtained from $K_7$ by removing one edge.
The Non-Commutative $A_1$ $T$-system and its positive Laurent property
Published
• View Publication
• BIB
We define a non-commutative version of the $A_1$ T-system, which underlies frieze patterns of the integer plane. This system has discrete conserved quantities and has a particular reduction to the known non-commutative Q-system for $A_1$. We solve the system by generalizing the flat $GL_2$ connection method used in the commuting case to a 2$\times$2 flat matrix connection with non-commutative entries. This allows to prove the non-commutative positive Laurent phenomenon for the solutions when expressed in terms of admissible initial data. These are rephrased as partition functions of paths with non-commutative weights on networks, and alternatively of dimer configurations with non-commutative weights on ladder graphs made of chains of squares and hexagons.
Robust Integer Programming
Published in Operations Research Letters, 42:558-560, 2014
• View Publication
• BIB
We provide a complexity classification of four variants of robust integer programming when the underlying Graver basis is given. We discuss applications to robust multicommodity flows and multidimensional transportation, and describe an effective parametrization of robust integer programming.
The Total Acquisition Number of Random Graphs
Published
• View Publication
• BIB
Let $G$ be a graph in which each vertex initially has weight 1. In each step, the weight from a vertex $u$ can be moved to a neighbouring vertex $v$, provided that the weight on $v$ is at least as large as the weight on $u$. The total acquisition number of $G$, denoted by $a_t(G)$, is the minimum possible size of the set of vertices with positive weight at the end of the process. LeSaulnier, Prince, Wenger, West, and Worah asked for the minimum value of $p=p(n)$ such that $a_t(\mathcal{G}(n,p)) = 1$ with high probability, where $\mathcal{G}(n,p)$ is a binomial random graph. We show that $p = \frac{\log_2 n}{n} \approx 1.4427 \ \frac{\log n}{n}$ is a sharp threshold for this property. We also show that almost all trees $T$ satisfy $a_t(T) = Θ(n)$, confirming a conjecture of West.
Computing Unique Maximum Matchings in O(m) time for Konig-Egervary Graphs and Unicyclic Graphs
Published
• View Publication
• BIB
Let alpha(G) denote the maximum size of an independent set of vertices and mu(G) be the cardinality of a maximum matching in a graph G. A matching saturating all the vertices is perfect. If alpha(G) + mu(G) equals the number of vertices of G, then it is called a Konig-Egervary graph. A graph is unicyclic if it has a unique cycle.
In 2010, Bartha conjectured that a unique perfect matching, if it exists, can be found in O(m) time, where m is the number of edges.
In this paper we validate this conjecture for Konig-Egervary graphs and unicylic graphs. We propose a variation of Karp-Sipser leaf-removal algorithm (Karp and Spiser, 1981), which ends with an empty graph if and only if the original graph is a Konig-Egervary graph with a unique perfect matching obtained as an output as well.
We also show that a unicyclic non-bipartite graph G may have at most one perfect matching, and this is the case where G is a Konig-Egervary graph.
On the $f$-matching polytope and the fractional $f$-chromatic index
Published
• View Publication
• BIB
Our motivation is the question of how similar the $f$-colouring problem is to the classic edge-colouring problem, particularly with regard to graph parameters. In 2010, Zhang, Yu, and Liu gave a new description of the $f$-matching polytope and derived a formula for the fractional $f$-chromatic index, stating that the fractional $f$-chromatic index equals the maximum of the fractional maximum $f$-degree and the fractional $f$-density. Unfortunately, this formula is incorrect. We present counterexamples for both the description of the $f$-matching polytope and the formula for the fractional $f$-chromatic index. Finally, we prove a short lemma concerning the generalization of Goldberg's conjecture.
Whittaker vector of deformed Virasoro algebra and Macdonald symmetric functions
Published
• View Publication
• BIB
We give a proof of Awata and Yamada's conjecture for the explicit formula of Whittaker vector of the deformed Virasoro algebra realized in the Fock space. The formula is expressed as a summation over Macdonald symmetric functions with factored coefficients. In the proof we fully use currents appearing in the Fock representation of Ding-Iohara-Miki quantum algebra. We also mention an interpretation of Whittaker vector in terms of the geometry of the Hilbert schemes of points on the affine plane.
Bell polynomials in combinatorial Hopf algebras
Partial multivariate Bell polynomials have been defined by E.T. Bell in 1934. These polynomials have numerous applications in Combinatorics, Analysis, Algebra, Probabilities, etc. Many of the formulae on Bell polynomials involve combinatorial objects (set partitions, set partitions in lists, permutations, etc.). So it seems natural to investigate analogous formulae in some combinatorial Hopf algebras with bases indexed by these objects. The algebra of symmetric functions is the most famous example of a combinatorial Hopf algebra. In a first time, we show that most of the results on Bell polynomials can be written in terms of symmetric functions and transformations of alphabets. Then, we show that these results are clearer when stated in other Hopf algebras (this means that the combinatorial objects appear explicitly in the formulae). We investigate also the connexion with the Fa{à} di Bruno Hopf algebra and the Lagrange-B{ü}rmann formula.
Involutions on Baxter Objects
Baxter numbers are known to count several families of combinatorial objects, all of which come equipped with natural involutions. In this paper, we add a combinatorial family to the list, and show that the known bijections between these objects respect these involutions. We also give a formula for the number of objects fixed under this involution, showing that it is an instance of Stembridge's "$q=-1$ phenomenon".
Subgraphs and Colourability of Locatable Graphs
We study a game of pursuit and evasion introduced by Seager in 2012, in which a cop searches the robber from outside the graph, using distance queries. A graph on which the cop wins is called locatable. In her original paper, Seager asked whether there exists a characterisation of the graph property of locatable graphs by either forbidden or forbidden induced subgraphs, both of which we answer in the negative. We then proceed to show that such a characterisation does exist for graphs of diameter at most 2, stating it explicitly, and note that this is not true for higher diameter. Exploring a different direction of topic, we also start research in the direction of colourability of locatable graphs, we also show that every locatable graph is 4-colourable, but not necessarily 3-colourable.
Nordhaus--Gaddum type inequalities for Laplacian and signless Laplacian eigenvalues
Published
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices. We denote the largest signless Laplacian eigenvalue of $G$ by $q_1(G)$ and Laplacian eigenvalues of $G$ by $μ_1(G)\ge\cdots\geμ_{n-1}(G)\geμ_n(G)=0$. It is a conjecture on Laplacian spread of graphs that $μ_1(G)-μ_{n-1}(G)\le n-1$ or equivalently $μ_1(G)+μ_1(\Gb)\le2n-1$. We prove the conjecture for bipartite graphs. Also we show that for any bipartite graph $G$, $μ_1(G)μ_1(\Gb)\le n(n-1)$. Aouchiche and Hansen [A survey of Nordhaus--Gaddum type relations, Discrete Appl. Math. 161 (2013), 466--546] conjectured that %for any graph $G$ with $n$ vertices, $q_1(G)+q_1(\Gb)\le3n-4$ and $q_1(G)q_1(\Gb)\le2n(n-2)$. We prove the former and disprove the latter by constructing a family of graphs $H_n$ where $q_1(H_n)q_1(\ov{H_n})$ is about $2.15n^2+O(n)$.
The 6-vertex model and deformations of the Weyl character formula
Published
• View Publication
• BIB
We use statistical mechanics -- variants of the six-vertex model in the plane studied by means of the Yang-Baxter equation -- to give new deformations of Weyl's character formula for classical groups of Cartan type B, C, and D, and a character formula of Proctor for type BC. In each case, the corresponding Boltzmann weights are associated to the free fermion point of the six-vertex model. These deformations add to the earlier known examples in types A and C by Tokuyama and Hamel-King, respectively. A special case for classical types recovers deformations of the Weyl denominator formula due to Okada.
An explicit formula for Bernoulli polynomials in terms of $r$-Stirling numbers of the second kind
Published in Rocky Mountain Journal of Mathematics 46 (2016), no. 6, 1919--1923
• View Publication
• BIB
In the paper, the authors establish an explicit formula for computing Bernoulli polynomials at non-negative integer points in terms of $r$-Stirling numbers of the second kind.
An integral representation, complete monotonicity, and inequalities of Cauchy numbers of the second kind
Published in Feng Qi, An integral representation, complete monotonicity, and inequalities of Cauchy numbers of the second kind, Journal of Number Theory 144 (2014), 244--255
• View Publication
• BIB
In the paper, the author establishes an integral representation for Cauchy numbers of the second kind, finds the complete monotonicity, minimality, and logarithmic convexity of Cauchy numbers of the second kind, and presents some inequalities for determinants and products of Cauchy numbers of the second kind.
An explicit formula for Bell numbers in terms of Stirling numbers and hypergeometric functions
Published in Global Journal of Mathematical Analysis 2 (2014), no. 4, 243--248
• View Publication
• BIB
In the paper, the author finds an explicit formula for computing Bell numbers in terms of Kummer confluent hypergeometric functions and Stirling numbers of the second kind.
Some integral representations and properties of Lah numbers
Published in Journal for Algebra and Number Theory Academia 4 (2014), no. 3, 77--87
• Search Publication
In the paper, the authors find some integral representations and discover some properties of Lah numbers.
On-line approach to off-line coloring problems on graphs with geometric representations
Published
• View Publication
• BIB
The main goal of this paper is to formalize and explore a connection between chromatic properties of graphs with geometric representations and competitive analysis of on-line algorithms, which became apparent after the recent construction of triangle-free geometric intersection graphs with arbitrarily large chromatic number due to Pawlik et al. We show that on-line graph coloring problems give rise to classes of game graphs with a natural geometric interpretation. We use this concept to estimate the chromatic number of graphs with geometric representations by finding, for appropriate simpler graphs, on-line coloring algorithms using few colors or proving that no such algorithms exist.
We derive upper and lower bounds on the maximum chromatic number that rectangle overlap graphs, subtree overlap graphs, and interval filament graphs (all of which generalize interval overlap graphs) can have when their clique number is bounded. The bounds are absolute for interval filament graphs and asymptotic of the form $(\log\log n)^{f(ω)}$ for rectangle and subtree overlap graphs, where $f(ω)$ is a polynomial function of the clique number and $n$ is the number of vertices. In particular, we provide the first construction of geometric intersection graphs with bounded clique number and with chromatic number asymptotically greater than $\log\log n$.
We also introduce a concept of $K_k$-free colorings and show that for some geometric representations, $K_3$-free chromatic number can be bounded in terms of clique number although the ordinary ($K_2$-free) chromatic number cannot. Such a result for segment intersection graphs would imply a well-known conjecture that $k$-quasi-planar geometric graphs have linearly many edges.
Equal Sum Sequences and Imbalance Sets of Tournaments
Reid conjectured that any finite set of non-negative integers is the score set of some tournament and Yao gave a non-constructive proof of Reid's conjecture using arithmetic arguments. No constructive proof has been found since. In this paper, we investigate a related problem, namely, which sets of integers are imbalance sets of tournaments. We completely solve the tournament imbalance set problem (TIS) and also estimate the minimal order of a tournament realizing an imbalance set. Our proofs are constructive and provide a pseudo-polynomial time algorithm to realize any imbalance set. Along the way, we generalize the well-known equal sum subsets problem (ESS) to define the equal sum sequences problem (ESSeq) and show it to be NP-complete. We then prove that ESSeq reduces to TIS and so, due to the pseudo-polynomial time complexity, TIS is weakly NP-complete.