Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Some divisibility properties of binomial and q-binomial coefficients
Published in J. Number Theory 135 (2014), 167-184
• View Publication
• BIB
We first prove that if $a$ has a prime factor not dividing $b$ then there are infinitely many positive integers $n$ such that $\binom {an+bn} {an}$ is not divisible by $bn+1$. This confirms a recent conjecture of Z.-W. Sun. Moreover, we provide some new divisibility properties of binomial coefficients: for example, we prove that $\binom {12n} {3n}$ and $\binom {12n} {4n}$ are divisible by $6n-1$, and that $\binom {330n} {88n}$ is divisible by $66n-1$, for all positive integers $n$. As we show, the latter results are in fact consequences of divisibility and positivity results for quotients of $q$-binomial coefficients by $q$-integers, generalizing the positivity of $q$-Catalan numbers. We also put forward several related conjectures.
Even and Odd Pairs of Lattice Paths with Multiple Intersections
Let M(n,k,r,s) be the number of ordered paths in the plane, with unit steps E or N, that intersect k times in which the first path ends at the point (r,n-r) and the second path ends at the point (s,n-s). Our main object of study in this paper is the sum of the numbers M(n,k,r,s) over r and s where r+s is fixed. We consider even and odd values of r+s separately, and we derive a simpler formula for M(n,k,r,s) than previously appeared in the literature.
Topology of random simplicial complexes: a survey
Published
• View Publication
• BIB
This expository article is based on a lecture from the Stanford Symposium on Algebraic Topology: Application and New Directions, held in honor of Gunnar Carlsson, Ralph Cohen, and Ib Madsen.
A bijection between unicellular and bicellular maps
In this paper we present a combinatorial proof of a relation between the generating functions of unicellular and bicellular maps. This relation is a consequence of the Schwinger-Dyson equation of matrix theory. Alternatively it can be proved using representation theory of the symmetric group. Here we give a bijective proof by rewiring unicellular maps of topological genus $(g+1)$ into bicellular maps of genus $g$ and pairs of unicellular maps of lower topological genera. Our result has immediate consequences for the folding of RNA interaction structures, since the time complexity of folding the transformed structure is $O((n+m)^5)$, where $n,m$ are the lengths of the respective backbones, while the folding of the original structure has $O(n^6)$ time complexity, where $n$ is the length of the longer sequence.
An integral representation and properties of Bernoulli numbers of the second kind
Published in Bulletin of the Korean Mathematical Society 52 (2015), no. 3, 987--998
• Search Publication
In the paper, the author establishes an integral representation and properties of Bernoulli numbers of the second kind and reveals that the generating function of Bernoulli numbers of the second kind is a Bernstein function on $(0,\infty)$.
$r$-fundamental groups of graphs
In this paper, we introduce the notions of $r$-fundamental groups of graphs, $r$-covering maps, and $r$-neighborhood complexes of graphs for a positive integer $r$. There is a natural correspondence between $r$-covering maps and $r$-fundamental groups as is the case of the covering space theory in topology. We can derive obstructions of the existences of graph maps from $r$-fundamental groups. Especially, $r$-fundamental groups gives deep informations about the existences of graph maps to odd cycles. For example, we prove the Kneser graph $K_{2k+1,k}$ has no graph maps to $C_5$. $r$-neighborhood complexes are natural generalization of neighborhood complexes defined by Lov$\acute{\rm a}$sz. We prove that $(2r)$-fundamental groups gives graph theoretical description of the fundamental groups of $r$-neighborhood complexes.
The phase transition in inhomogeneous random intersection graphs
We analyze the component evolution in inhomogeneous random intersection graphs when the average degree is close to 1. As the average degree increases, the size of the largest component in the random intersection graph goes through a phase transition. We give bounds on the size of the largest components before and after this transition. We also prove that the largest component after the transition is unique. These results are similar to the phase transition in Erdős-Rényi random graphs; one notable difference is that the jump in the size of the largest component varies in size depending on the parameters of the random intersection graph.
Fractional Perfect b-Matching Polytopes. I: General Theory
Published
• View Publication
• BIB
The fractional perfect b-matching polytope of an undirected graph G is the polytope of all assignments of nonnegative real numbers to the edges of G such that the sum of the numbers over all edges incident to any vertex v is a prescribed nonnegative number b_v. General theorems which provide conditions for nonemptiness, give a formula for the dimension, and characterize the vertices, edges and face lattices of such polytopes are obtained. Many of these results are expressed in terms of certain spanning subgraphs of G which are associated with subsets or elements of the polytope. For example, it is shown that an element u of the fractional perfect b-matching polytope of G is a vertex of the polytope if and only if each component of the graph of u either is acyclic or else contains exactly one cycle with that cycle having odd length, where the graph of u is defined to be the spanning subgraph of G whose edges are those at which u is positive.
A bijective proof of Loehr-Warrington's formulas for the statistics $\mbox{ctot}_{\frac{q}{p}}$ and $\mbox{midd}_{\frac{q}{p}}$
Published
• View Publication
• BIB
Loehr and Warrington introduced partitional statistics $\mbox{ctot}_{\frac{q}{p}}(D)$ and $\mbox{midd}_{\frac{q}{p}}(D)$ and provided formulas for these statistics in terms of the boundary graph of the Young diagram $D$. In this paper we give a bijective proof of Loehr-Warrington's formulas using the following simple combinatorial observation: given a Young diagram $D$ and two numbers $a$ and $l,$ the number of boxes in $D$ with the arm length $a$ and the leg length $l$ is one less than the number of boxes with the same properties in the complement to $D.$ Here the complement is taken inside the positive quadrant or, equivalently, a very large rectangle.
A Generalized Closed Form For Triangular Matrix Powers
This paper shows how to obtain a simple closed form for the elements of a triangular matrix raised to the nth power.
Explicit formulas for computing Bernoulli numbers of the second kind and Stirling numbers of the first kind
Published in Filomat 28 (2014), no. 2, 319--327
• View Publication
• BIB
In the paper, by establishing a new and explicit formula for computing the $n$-th derivative of the reciprocal of the logarithmic function, the author presents new and explicit formulas for calculating Bernoulli numbers of the second kind and Stirling numbers of the first kind. As consequences of these formulas, a recursion for Stirling numbers of the first kind and a new representation of the reciprocal of the factorial $n!$ are derived. Finally, the author finds several identities and integral representations relating to Stirling numbers of the first kind.
Square Property, Equitable Partitions, and Product-like Graphs
Published
• View Publication
• BIB
Equivalence relations on the edge set of a graph $G$ that satisfy restrictive conditions on chordless squares play a crucial role in the theory of Cartesian graph products and graph bundles. We show here that such relations in a natural way induce equitable partitions on the vertex set of $G$, which in turn give rise to quotient graphs that can have a rich product structure even if $G$ itself is prime.
On cubic bridgeless graphs whose edge-set cannot be covered by four perfect matchings
Published in J. Graph Theory 77(2) (2014), 144-157
• View Publication
• BIB
The problem of establishing the number of perfect matchings necessary to cover the edge-set of a cubic bridgeless graph is strictly related to a famous conjecture of Berge and Fulkerson. In this paper we prove that deciding whether this number is at most 4 for a given cubic bridgeless graph is NP-complete. We also construct an infinite family $\cal F$ of snarks (cyclically 4-edge-connected cubic graphs of girth at least five and chromatic index four) whose edge-set cannot be covered by 4 perfect matchings. Only two such graphs were known. It turns out that the family $\cal F$ also has interesting properties with respect to the shortest cycle cover problem. The shortest cycle cover of any cubic bridgeless graph with $m$ edges has length at least $\tfrac43m$, and we show that this inequality is strict for graphs of $\cal F$. We also construct the first known snark with no cycle cover of length less than $\tfrac43m+2$.
Replication in critical graphs and the persistence of monomial ideals
Published in Journal of Combinatorial Theory, Series A 123(1): 239-251, 2014
• View Publication
• BIB
Motivated by questions about square-free monomial ideals in polynomial rings, in 2010 Francisco et al. conjectured that for every positive integer k and every k-critical (i.e., critically k-chromatic) graph, there is a set of vertices whose replication produces a (k+1)-critical graph. (The replication of a set W of vertices of a graph is the operation that adds a copy of each vertex w in W, one at a time, and connects it to w and all its neighbours.)
We disprove the conjecture by providing an infinite family of counterexamples. Furthermore, the smallest member of the family answers a question of Herzog and Hibi concerning the depth functions of square-free monomial ideals in polynomial rings, and a related question on the persistence property of such ideals.
Planar functions over fields of characteristic two
Published
• View Publication
• BIB
Classical planar functions are functions from a finite field to itself and give rise to finite projective planes. They exist however only for fields of odd characteristic. We study their natural counterparts in characteristic two, which we also call planar functions. They again give rise to finite projective planes, as recently shown by the second author. We give a characterisation of planar functions in characteristic two in terms of codes over $\mathbb{Z}_4$. We then specialise to planar monomial functions $f(x)=cx^t$ and present constructions and partial results towards their classification. In particular, we show that $t=1$ is the only odd exponent for which $f(x)=cx^t$ is planar (for some nonzero $c$) over infinitely many fields. The proof techniques involve methods from algebraic geometry.
Combinatorial approaches to Hopf bifurcations in systems of interacting elements
Published
• View Publication
• BIB
We describe combinatorial approaches to the question of whether families of real matrices admit pairs of nonreal eigenvalues passing through the imaginary axis. When the matrices arise as Jacobian matrices in the study of dynamical systems, these conditions provide necessary conditions for Hopf bifurcations to occur in parameterised families of such systems. The techniques depend on the spectral properties of additive compound matrices: in particular, we associate with a product of matrices a signed, labelled digraph termed a DSR^[2] graph, which encodes information about the second additive compound of this product. A condition on the cycle structure of this digraph is shown to rule out the possibility of nonreal eigenvalues with positive real part. The techniques developed are applied to systems of interacting elements termed "interaction networks", of which networks of chemical reactions are a special case.
Graphs with maximum degree D at least 17 and maximum average degree less than 3 are list 2-distance (D+2)-colorable
Published
• View Publication
• BIB
For graphs of bounded maximum average degree, we consider the problem of 2-distance coloring. This is the problem of coloring the vertices while ensuring that two vertices that are adjacent or have a common neighbor receive different colors. It is already known that planar graphs of girth at least 6 and of maximum degree D are list 2-distance (D+2)-colorable when D>=24 (Borodin and Ivanova (2009)) and 2-distance (D+2)-colorable when D>=18 (Borodin and Ivanova (2009)). We prove here that D>=17 suffices in both cases. More generally, we show that graphs with maximum average degree less than 3 and D>=17 are list 2-distance (D+2)-colorable. The proof can be transposed to list injective (D+1)-coloring.
On Connectivity Thresholds in the Intersection of Random Key Graphs on Random Geometric Graphs
Published
• View Publication
• BIB
In a random key graph (RKG) of $n$ nodes each node is randomly assigned a key ring of $K_n$ cryptographic keys from a pool of $P_n$ keys. Two nodes can communicate directly if they have at least one common key in their key rings. We assume that the $n$ nodes are distributed uniformly in $[0,1]^2.$ In addition to the common key requirement, we require two nodes to also be within $r_n$ of each other to be able to have a direct edge. Thus we have a random graph in which the RKG is superposed on the familiar random geometric graph (RGG). For such a random graph, we obtain tight bounds on the relation between $K_n,$ $P_n$ and $r_n$ for the graph to be asymptotically almost surely connected.
Constructing Skolem sequences via generating trees
A Skolem sequence is a linear arrangement of the multiset, {1, 1, 2, 2, ..., n, n} such that if r in [n] appears in positions i and j, then |i-j| = r. We first translate the problem to a particular set of perfect matchings, then apply the method of generating trees for open arc diagrams to generate exhaustively all Skolem sequences of a given size. Tracking the arc length between pairs of vertices in an arc annotated diagram is the central task. Although we do not surpass previously known enumerative results, this method drastically reduces the search space compared to previously known methods.
An integral representation, some inequalities, and complete monotonicity of Bernoulli numbers of the second kind
Published in Bulletin of the Korean Mathematical Society 52 (2015), no. 3, 987--998
• View Publication
• BIB
In the paper, the authors discover an integral representation, some inequalities, and complete monotonicity of Bernoulli numbers of the second kind.