Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A Generalization of the Hamilton-Waterloo Problem on Complete Equipartite Graphs
Published
• View Publication
• BIB
The Hamilton-Waterloo problem asks for which $s$ and $r$ the complete graph $K_n$ can be decomposed into $s$ copies of a given 2-factor $F_1$ and $r$ copies of a given 2-factor $F_2$ (and one copy of a 1-factor if $n$ is even). In this paper we generalize the problem to complete equipartite graphs $K_{(n:m)}$ and show that $K_{(xyzw:m)}$ can be decomposed into $s$ copies of a 2-factor consisting of cycles of length $xzm$; and $r$ copies of a 2-factor consisting of cycles of length $yzm$, whenever $m$ is odd, $s,r\neq 1$, $\gcd(x,z)=\gcd(y,z)=1$ and $xyz\neq 0 \pmod 4$. We also give some more general constructions where the cycles in a given two factor may have different lengths. We use these constructions to find solutions to the Hamilton-Waterloo problem for complete graphs.
Approximate Euclidean Steiner Trees
Published in Journal of Optimization Theory and Applications 172 (2017), 845--873
• View Publication
• BIB
An approximate Steiner tree is a Steiner tree on a given set of terminals in Euclidean space such that the angles at the Steiner points are within a specified error e from 120 degrees.This notion arises in numerical approximations of minimum Steiner trees (W. D. Smith, Algorithmica, 7 (1992), 137--177). We investigate the worst-case relative error of the length of an approximate Steiner tree compared to the shortest tree with the same topology.Rubinstein, Weng and Wormald (J. Global Optim. 35 (2006), 573--592) conjectured that this relative error is at most linear in $e$, independent of the number of terminals. We verify their conjecture for the two-dimensional case as long as the error $e$ is sufficiently small in terms of the number of terminals. We derive a lower bound linear in $e$ for the relative error in the two-dimensional case when $e$ is sufficiently small in terms of the number of terminals. We find improved estimates of the relative error for larger values of $e$, and calculate exact values in the plane for three and four terminals.
Non-Homogenizable Classes of Finite Structures
Homogenization is a powerful way of taming a class of finite structures with several interesting applications in different areas, from Ramsey theory in combinatorics to constraint satisfaction problems (CSPs) in computer science, through (finite) model theory. A few sufficient conditions for a class of finite structures to allow homogenization are known, and here we provide a necessary condition. This lets us show that certain natural classes are not homogenizable: 1) the class of locally consistent systems of linear equations over the two-element field or any finite Abelian group, and 2) the class of finite structures that forbid homomorphisms from a specific MSO-definable class of structures of treewidth two. In combination with known results, the first example shows that, up to pp-interpretability, the CSPs that are solvable by local consistency methods are distinguished from the rest by the fact that their classes of locally consistent instances are homogenizable. The second example shows that, for MSO-definable classes of forbidden patterns, treewidth one versus two is the dividing line to homogenizability.
A simple bijection between permutation matrices and descending plane partitions without special parts
We present a simple bijection between permutation matrices and descending plane partitions without special parts. This bijection is already mentioned in work of P. Lalonde (without giving the details); it involves the inversion words of permutations and the (well-known) representation of descending plane partitions as families of non--intersecting lattice paths. (Taking a short detour, we will also exhibit how the (well--known) enumeration of descending plane partitions follows easily from the evaluation of Andrew's determinant.)
Hamiltonian-connectedness of triangulations with few separating triangles
We prove that 3-connected triangulations with at most one separating triangle are hamiltonian-connected. In order to show bounds on the strongest form of this theorem, we proved that for any $s\geq4$ there are 3-connected triangulation with $s$ separating triangles that are not hamiltonian-connected. We also present computational results which show that all `small' 3-connected triangulations with at most 3 separating triangles are hamiltonian-connected.
On Codimension one Embedding of Simplicial Complexes
We study $d$-dimensional simplicial complexes that are PL embeddable in $\mathbb{R}^{d+1}$. It is shown that such a complex must satisfy a certain homological condition.
The existence of this obstruction allows us to provide a systematic approach to deriving upper bounds for the number of top-dimensional faces of such complexes, particularly in low dimensions.
Integrality of HLV kernels
Published in Duke Math. J. 167, no. 17 (2018), 3171-3205
• View Publication
• BIB
We prove that the coefficients of the generating function of Hausel, Letellier, Villegas, and its recent generalization by Carlsson and Villegas, which according to various conjectures should compute mixed Hodge numbers of character varieties and moduli spaces of Higgs bundles of curves of genus $g$ with $n$ punctures, are polynomials in $q$ and $t$ with integer coefficients for any $g,n\geq 0$.
Minimal Asymmetric Graphs
Published
• View Publication
• BIB
Confirming a conjecture of Nešetřil, we show that up to isomorphism there is only a finite number of finite minimal asymmetric undirected graphs. In fact, there are exactly 18 such graphs. We also show that these graphs are exactly the finite minimal involution-free graphs.
Lectures on Integrable probability: Stochastic vertex models and symmetric functions
Published
• View Publication
• BIB
We consider a homogeneous stochastic higher spin six vertex model in a quadrant. For this model we derive concise integral representations for multi-point q-moments of the height function and for the q-correlation functions. At least in the case of the step initial condition, our formulas degenerate in appropriate limits to many known formulas of such type for integrable probabilistic systems in the (1+1)d KPZ universality class, including the stochastic six vertex model, ASEP, various q-TASEPs, and associated zero range processes.
Our arguments are largely based on properties of a family of symmetric rational functions (introduced in arXiv:1410.0976) that can be defined as partition functions of the higher spin six vertex model for suitable domains; they generalize classical Hall-Littlewood and Schur polynomials. A key role is played by Cauchy-like summation identities for these functions, which are obtained as a direct corollary of the Yang-Baxter equation for the higher spin six vertex model.
These are lecture notes for a course given by A.B. at the Ecole de Physique des Houches in July of 2015. All the results and proofs presented here generalize to the setting of the fully inhomogeneous higher spin six vertex model, see arXiv:1601.05770 for a detailed exposition of the inhomogeneous case.
Arctic curves of the six-vertex model on generic domains: the Tangent Method
Published in J. Stat. Phys. 164 (2016) 1488
• View Publication
• BIB
We revisit the problem of determining the Arctic curve in the six-vertex model with domain wall boundary conditions. We describe an alternative method, by which we recover the previously conjectured analytic expression in the square domain. We adapt the method to work for a large class of domains, and for other models exhibiting limit shape phenomena. We study in detail some examples, and derive, in particular, the Arctic curve of the six-vertex model in a triangoloid domain at the ice-point.
Unsplittable classes of separable permutations
Published
• View Publication
• BIB
A permutation class is splittable if it is contained in the merge of two of its proper subclasses. We characterise the unsplittable subclasses of the class of separable permutations both structurally and in terms of their bases.
Connectivity Functions and Polymatroids
Published
• View Publication
• BIB
A {\em connectivity function on} a set $E$ is a function $λ:2^E\rightarrow \mathbb R$ such that $λ(\emptyset)=0$, that $λ(X)=λ(E-X)$ for all $X\subseteq E$ and that $λ(X\cap Y)+λ(X\cup Y)\leq λ(X)+λ(Y)$ for all $X,Y \subseteq E$. Graphs, matroids and, more generally, polymatroids have associated connectivity functions. We introduce a notion of duality for polymatroids and prove that every connectivity function is the connectivity function of a self-dual polymatroid. We also prove that every integral connectivity function is the connectivity function of a half-integral self-dual polymatroid.
Enumerations of vertices among all rooted ordered trees with levels and degrees
Published in Discrete Mathematics, 340(9), 2123-2129, 2017
• View Publication
• BIB
In this paper we enumerate and give bijections for the following four sets of vertices among rooted ordered trees of a fixed size: (i) first-children of degree $k$ at level $\ell$, (ii) non-first-children of degree $k$ at level $\ell-1$, (iii) leaves having $k-1$ elder siblings at level $\ell$, and (iv) non-leaves of outdegree $k$ at level $\ell-1$. Our results unite and generalize several previous works in the literature.
On line and pseudoline configurations and ball-quotients
Published in Ars Mathematica Contemporanea 13: 409 -- 416 (2017)
• View Publication
• BIB
In this note we show that there are no real configurations of $d\geq 4$ lines in the projective plane such that the associated Kummer covers of order $3^{d-1}$ are ball-quotients and there are no configurations of $d\geq 4$ lines such that the Kummer covers of order $4^{d-1}$ are ball-quotients. Moreover, we show that there exists only one configuration of real lines such that the associated Kummer cover of order $5^{d-1}$ is a ball-quotient. In the second part we consider the so-called topological $(n_{k})$-configurations and we show, using Shnurnikov's inequality, that for $n < 27$ there do not exist $(n_{5})$-configurations and and for $n < 41$ there do not exist $(n_{6})$-configurations.
On the Hamiltonicity of triple systems with high minimum degree
Published in Ann. Comb. 21(1) (2017), 95-117
• View Publication
• BIB
We show that every 3-uniform hypergraph with minimum vertex degree at least $0.8\binom{n-1}{2}$ contains a tight Hamiltonian cycle.
Some results on the spectral radii of uniform hypergraphs
Published
• View Publication
• BIB
Let A(G) be the adjacency tensor (hypermatrix) of uniform hypergraph G. The maximum modulus of the eigenvalues of A(G) is called the spectral radius of G. In this paper, the conjecture of Fan et al. in [5] related to compare the spectral radii of some three uniform hypergraphs is solved. Moreover, some eigenvalues properties of a kind of uniform hypergraphs are obtained.
Further results on the Hamilton-Waterloo problem
Published
• View Publication
• BIB
In this paper, we almost completely solve the existence of an almost resolvable cycle system with odd cycle length. We also use almost resolvable cycle systems as well as other combinatorial structures to give some new solutions to the Hamilton-Waterloo problem.
Full asymptotic expansion for Polya structures
In order to obtain the full asymptotic expansion for Polya trees, i.e. rooted unlabelled and non-plane trees, Flajolet and Sedgewick observed that their specification could be seen as a slight disturbance of the functional equation satisfied by the Cayley tree function. Such an approach highlights the complicated formal expressions with some combinatorial explanation. They initiated this process in their book but they spared the technical part by only exhibiting the first- order approximation. In this paper we exhibit the university of the method and obtain the full asymptotic expansions for several varieties of trees. We then focus on three different varieties of rooted, unlabelled and non-plane trees, Polya trees, rooted identity trees and hierarchies, in order to calculate explicitly their full singular expansions and asymptotic expansions.
Permutations and the combinatorics of gauge invariants for general N
Published
• View Publication
• BIB
Group algebras of permutations have proved highly useful in solving a number of problems in large N gauge theories. I review the use of permutations in classifying gauge invariants in one-matrix and multi-matrix models and computing their correlators. These methods are also applicable to tensor models and have revealed a link between tensor models and the counting of branched covers. The key idea is to parametrize $U(N)$ gauge invariants using permutations, subject to equivalences. Correlators are related to group theoretic properties of these equivalence classes. Fourier transformation on symmetric groups by means of representation theory offers nice bases of functions on these equivalence classes. This has applications in AdS/CFT in identifying CFT duals of giant gravitons and their perturbations. It has also lead to general results on quiver gauge theory correlators, uncovering links to two dimensional topological field theory and the combinatorics of trace monoids.
Are monochromatic Pythagorean triples unavoidable under morphic colorings ?
Published
• View Publication
• BIB
A Pythagorean triple is a triple of positive integers a, b, c $\in$ N${}^{+}$ satisfying a${}^2$ + b${}^2$ = c${}^2$. Is it true that, for any finite coloring of N${}^{+}$ , at least one Pythagorean triple must be monochromatic? In other words, is the Dio-phantine equation X${}^2$+ Y${}^2$ = Z${}^2$ regular? This problem, recently solved for 2-colorings by massive SAT computations [Heule et al., 2016], remains widely open for k-colorings with k $\ge$ 3. In this paper, we introduce morphic colorings of N + , which are special colorings in finite groups with partly multiplicative properties. We show that, for many morphic colorings in 2 and 3 colors, monochromatic Pythagorean triples are unavoidable in rather small integer intervals.