Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Calculating Ramsey numbers by partitioning coloured graphs
Published
• View Publication
• BIB
In this paper we prove a new result about partitioning coloured complete graphs and use it to determine certain Ramsey numbers exactly. The partitioning theorem we prove is that for k at least 1, in every edge colouring of a complete graph with the colours red and blue, it is possible to cover all the vertices with k disjoint red paths and a disjoint blue balanced complete (k+1)-partite graph. When the colouring is connected in red, we prove a stronger result - that it is possible to cover all the vertices with k red paths and a blue balanced complete (k+2)-partite graph.
Using these results we determine the Ramsey number of a path on n vertices, versus a balanced complete k-partite graph, with m vertices in each part, whenever m-1 is divisible by n-1. This generalizes a result of Erdos who proved the m=1 case of this result. We also determine the Ramsey number of a path on n vertices versus the power of a path on n vertices. This solves a conjecture of Allen, Brightwell, and Skokan.
Beyond substitutive dynamical systems: S-adic expansions
Published in RIMS Kôkyûroku Bessatsu B46 (2014) p. 81-123
• Search Publication
An S-adic expansion of an infinite word is a way of writing it as the limit of an infinite product of substitutions (i.e., morphisms of a free monoid). Such a description is related to continued fraction expansions of numbers and vectors. A fundamental example of this relation is between Sturmian sequences and regular continued fractions. We study S-adic words from different perspectives, namely word combinatorics, ergodic theory, and Diophantine approximation, by stressing the parallel with continued fraction expansions.
Recurrence Relations for Graph Polynomials on Bi-iterative Families of Graphs
Published
• View Publication
• BIB
We show that any graph polynomial from a wide class of graph polynomials yields a recurrence relation on an infinite class of families of graphs. The recurrence relations we obtain have coefficients which themselves satisfy linear recurrence relations. We give explicit applications to the Tutte polynomial and the independence polynomial. Furthermore, we get that for any sequence $a_{n}$ satisfying a linear recurrence with constant coefficients, the sub-sequence corresponding to square indices $a_{n^{2}}$ and related sub-sequences satisfy recurrences with recurrent coefficients.
The complexity of parity graph homomorphism: an initial investigation
Given a graph G, we investigate the question of determining the parity of the number of homomorphisms from G to some other fixed graph H. We conjecture that this problem exhibits a complexity dichotomy, such that all parity graph homomorphism problems are either polynomial-time solvable or parityP-complete, and provide a conjectured characterisation of the easy cases.
We show that the conjecture is true for the restricted case in which the graph H is a tree, and provide some tools that may be useful in further investigation into the parity graph homomorphism problem, and the problem of counting homomorphisms for other moduli.
The height of random $k$-trees and related branching processes
Published
• View Publication
• BIB
We consider the height of random k-trees and k-Apollonian networks. These random graphs are not really trees, but instead have a tree-like structure. The height will be the maximum distance of a vertex from the root. We show that w.h.p. the height of random k-trees and k-Apollonian networks is asymptotic to clog t, where t is the number of vertices, and c=c(k) is given as the solution to a transcendental equation. The equations are slightly different for the two types of process. In the limit as k-->oo the height of both processes is asymptotic to log t/(k log 2).
Harmonic vectors and matrix tree theorems
Published
• View Publication
• BIB
The paper describes an explicit combinatorial formula for a harmonic vector for the Laplacian of a directed graph with arbitrary edge weights. This result was motivated by questions from mathematical economics, and the formula plays a crucial role in forthcoming joint work of the author on the emergence of prices and money in an exchange economy.
It turns out that the formula is closely related to well-studied problems in graph theory, in particular to the so-called matrix tree theorem due to W. Tutte and independently to R. Bott and J. Mayberry. As a further application of our considerations, we obtain a short new proof of both the matrix tree theorem as well as its generalization due to S. Chaiken.
Arboreal Singularities
Published in Geom. Topol. 21 (2017) 1231-1274
• View Publication
• BIB
We introduce a class of combinatorial singularities of Lagrangian skeleta of symplectic manifolds. The link of each singularity is a finite regular cell complex homotopy equivalent to a bouquet of spheres. It is determined by its face poset which is naturally constructed starting from a tree (nonempty finite acyclic graph). The choice of a root vertex of the tree leads to a natural front projection of the singularity along with an orientation of the edges of the tree. Microlocal sheaves along the singularity, calculated via the front projection, are equivalent to modules over the quiver given by the directed tree.
Coherent configurations over copies of association schemes of prime order
Published
• View Publication
• BIB
Let $G$ be a group acting faithfully and transitively on $Ω_i$ for $i=1,2$. A famous theorem by Burnside implies the following fact: If $|Ω_1|=|Ω_2|$ is a prime and the rank of one of the actions is greater than two, then the actions are equivalent, or equivalently $|(α,β)^G|=|Ω_1|=|Ω_2|$ for some $(α,β)\in Ω_1\times Ω_2$.
In this paper we consider a combinatorial analogue to this fact through the theory of coherent configurations, and give some arithmetic sufficient conditions for a coherent configuration with two homogeneous components of prime order to be uniquely determined by one of the homogeneous components.
Infinite graphic matroids Part I
Published
• View Publication
• BIB
An infinite matroid is graphic if all of its finite minors are graphic and the intersection of any circuit with any cocircuit is finite. We show that a matroid is graphic if and only if it can be represented by a graph-like topological space: that is, a graph-like space in the sense of Thomassen and Vella. This extends Tutte's characterization of finite graphic matroids.
The representation we construct has many pleasant topological properties. Working in the representing space, we prove that any circuit in a 3-connected graphic matroid is countable.
On the Characterization of f-Ideals
Published
• View Publication
• BIB
In this paper, we give the complete characterization of f-ideals of degree d greater or equal to 2.
General removal lemma
We formulate and prove a general result in spirit of hypergraph removal lemma for measurable functions of several variables.
A Lower Bound on the Crossing Number of Uniform Hypergraphs
Published
• View Publication
• BIB
In this paper, we consider the embedding of a complete $d$-uniform geometric hypergraph with $n$ vertices in general position in $\mathbb{R}^d$, where each hyperedge is represented as a $(d-1)$-simplex, and a pair of hyperedges is defined to cross if they are vertex-disjoint and contains a common point in the relative interior of the simplices corresponding to them. As a corollary of the Van Kampen-Flores Theorem, it can be seen that such a hypergraph contains $Ω(\frac{2^d}{\sqrt{d}})$ $n\choose 2d$ crossing pairs of hyperedges. Using Gale Transform and Ham Sandwich Theorem, we improve this lower bound to $Ω(\frac{2^d \log d}{\sqrt{d}})$ $n\choose 2d$.
An Alternate method to find the chromatic number of a Finite, Connected Graph
A new algorithm to obtain the chromatic number of a finite, connected graph is proposed in this paper. The algorithm is based on contraction of non adjacent vertices.
Shellable drawings and the cylindrical crossing number of $K_n$
The Harary-Hill Conjecture States that the number of crossings in any drawing of the complete graph $ K_n $ in the plane is at least $Z(n):=\frac{1}{4}\left\lfloor \frac{n}{2}\right\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor \frac{n-2}{2}\right\rfloor\left\lfloor \frac{n-3}{2}\right\rfloor$. In this paper, we settle the Harary-Hill conjecture for {\em shellable drawings}. We say that a drawing $D$ of $ K_n $ is {\em $ s $-shellable} if there exist a subset $ S = \{v_1,v_2,\ldots,v_ s\}$ of the vertices and a region $R$ of $D$ with the following property: For all $1 \leq i < j \leq s$, if $D_{ij}$ is the drawing obtained from $D$ by removing $v_1,v_2,\ldots v_{i-1},v_{j+1},\ldots,v_{s}$, then $v_i$ and $v_j$ are on the boundary of the region of $D_{ij}$ that contains $R$. For $ s\geq n/2 $, we prove that the number of crossings of any $ s $-shellable drawing of $ K_n $ is at least the long-conjectured value Z(n). Furthermore, we prove that all cylindrical, $ x $-bounded, monotone, and 2-page drawings of $ K_n $ are $ s $-shellable for some $ s\geq n/2 $ and thus they all have at least $ Z(n) $ crossings. The techniques developed provide a unified proof of the Harary-Hill conjecture for these classes of drawings.
New and simple algorithms for stable flow problems
Published
• View Publication
• BIB
Stable flows generalize the well-known concept of stable matchings to markets in which transactions may involve several agents, forwarding flow from one to another. An instance of the problem consists of a capacitated directed network, in which vertices express their preferences over their incident edges. A network flow is stable if there is no group of vertices that all could benefit from rerouting the flow along a walk.
Fleiner established that a stable flow always exists by reducing it to the stable allocation problem. We present an augmenting-path algorithm for computing a stable flow, the first algorithm that achieves polynomial running time for this problem without using stable allocation as a black-box subroutine. We further consider the problem of finding a stable flow such that the flow value on every edge is within a given interval. For this problem, we present an elegant graph transformation and based on this, we devise a simple and fast algorithm, which also can be used to find a solution to the stable marriage problem with forced and forbidden edges.
Finally, we study the stable multicommodity flow model introduced by Király and Pap. The original model is highly involved and allows for commodity-dependent preference lists at the vertices and commodity-specific edge capacities. We present several graph-based reductions that show equivalence to a significantly simpler model. We further show that it is NP-complete to decide whether an integral solution exists.
A note on Jacobians, Tutte polynomials, and two-variable zeta functions of graphs
Published in Exp. Math. 24 (2015), no. 1, 1-7
• View Publication
• BIB
We address questions posed by Lorenzini about relations between Jacobians, Tutte polynomials, and the Brill-Noether theory of finite graphs, as encoded in his two-variable zeta functions. In particular, we give examples showing that none of these invariants is determined by the other two.
Laurent polynomials, Eulerian numbers, and Bernstein's theorem
Published
• View Publication
• BIB
Erman, Smith, and Várilly-Alvarado showed that the expected number of doubly monic Laurent polynomials $f(z) = z^{-m} + a_{-m+1}z^{-m+1} + \cdots + a_{n-1}z^{n-1} + z^n$ whose first $m+n-1$ powers have vanishing constant term is the Eulerian number $\brac{m+n-1}{m-1}$, as well as a more refined result about sparse Laurent polynomials. We give an alternate proof of these results using Bernstein's theorem that clarifies the connection between these objects. In the process, we show that a refinement of Eulerian numbers gives a combinatorial interpretation for volumes of certain rational hyperplane sections of the hypercube.
On the share of closed IL formulas which are also in GL
Published in Arch. Math. Logic 54 (2015), no. 7, 741-767
• View Publication
• BIB
Normal forms for wide classes of closed IL formulas were given in [4]. Here we quantify asymptotically, in exact numbers, how wide those classes are. As a consequence, we show that the "majority" of closed IL formulas have GL-equivalents, and by that, they have the same normal forms as GL formulas. Our approach is entirely syntactical, except for applying the results of [4]. As a byproduct we devise a convenient way of computing asymptotic behaviors of somewhat general classes of formulas given by their grammar rules. Its applications do not require any knowledge of the recurrence relations, generating functions, or the asymptotic enumeration methods, as all these are incorporated into two fundamental parameters.
On the shape of subword complexity sequences of finite words
The subword complexity of a word $w$ over a finite alphabet $\mathcal{A}$ is a function that assigns for each positive integer $n$, the number of distinct subwords of length $n$ in $w$. The subword complexity of a word is a good measure of the randomness of the word and gives insight to what the word itself looks like. In this paper, we discuss the properties of subword complexity sequences, and consider different variables that influence their shape. We also compute the number of distinct subword complexity sequences for certain lengths of words over different alphabets, and state some conjectures about the growth of these numbers.
A new proof of Andrews' conjecture for $_4φ_3$-series
In terms of Sear's transformation formula for $_4φ_3$-series, we give new proofs of a summation formula for ${_4φ_3}$-series due to Andrews [2] and another summation formula for${_4φ_3}$-series conjectured in the same paper. Meanwhile, other several related results are also derived.