Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Touchard-Riordan formulas, T-fractions, and Jacobi's triple product identity
Published in Ramanujan Journal 30(3) (2013), 341--378
• View Publication
• BIB
Touchard-Riordan-like formulas are some expressions appearing in enumeration problems and as moments of orthogonal polynomials. We begin this article with a new combinatorial approach to prove these kind of formulas, related with integer partitions. This gives a new perspective on the original result of Touchard and Riordan. But the main goal is to give a combinatorial proof of a Touchard-Riordan--like formula for q-secant numbers discovered by the first author. An interesting limit case of these objects can be directly interpreted in terms of partitions, so that we obtain a connection between the formula for q-secant numbers, and a particular case of Jacobi's triple product identity.
Building on this particular case, we obtain a "finite version" of the triple product identity. It is in the form of a finite sum which is given a combinatorial meaning, so that the triple product identity can be obtained by taking the limit. Here the proof is non-combinatorial and relies on a functional equation satisfied by a T-fraction. Then from this result on the triple product identity, we derive a whole new family of Touchard-Riordan--like formulas whose combinatorics is not yet understood. Eventually, we prove a Touchard-Riordan--like formula for a q-analog of Genocchi numbers, which is related with Jacobi's identity for (q;q)^3 rather than the triple product identity.
Finite connectivity in infinite matroids
Published
• View Publication
• BIB
We introduce a connectivity function for infinite matroids with properties similar to the connectivity function of a finite matroid, such as submodularity and invariance under duality. As an application we use it to extend Tutte's linking theorem to finitary and to co-finitary matroids.
A linear optimization technique for graph pebbling
Graph pebbling is a network model for studying whether or not a given supply of discrete pebbles can satisfy a given demand via pebbling moves. A pebbling move across an edge of a graph takes two pebbles from one endpoint and places one pebble at the other endpoint; the other pebble is lost in transit as a toll. It has been shown that deciding whether a supply can meet a demand on a graph is NP-complete. The pebbling number of a graph is the smallest t such that every supply of t pebbles can satisfy every demand of one pebble. Deciding if the pebbling number is at most k is Π_2^P-complete. In this paper we develop a tool, called the Weight Function Lemma, for computing upper bounds and sometimes exact values for pebbling numbers with the assistance of linear optimization. With this tool we are able to calculate the pebbling numbers of much larger graphs than in previous algorithms, and much more quickly as well. We also obtain results for many families of graphs, in many cases by hand, with much simpler and remarkably shorter proofs than given in previously existing arguments (certificates typically of size at most the number of vertices times the maximum degree), especially for highly symmetric graphs. Here we apply the Weight Function Lemma to several specific graphs, including the Petersen, Lemke, 4th weak Bruhat, Lemke squared, and two random graphs, as well as to a number of infinite families of graphs, such as trees, cycles, graph powers of cycles, cubes, and some generalized Petersen and Coxeter graphs. This partly answers a question of Pachter, et al., by computing the pebbling exponent of cycles to within an asymptotically small range. It is conceivable that this method yields an approximation algorithm for graph pebbling.
On graph-restrictive permutation groups
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $L=G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. Then $(Γ,G)$ is said to be \emph{locally-$L$}. A transitive permutation group $L$ is \emph{graph-restrictive} if there exists a constant $c(L)$ such that, for every locally-$L$ pair $(Γ,G)$ and an arc $(u,v)$ of $Γ$, the inequality $|G_{uv}|\leq c(L)$ holds.
Using this terminology, the Weiss Conjecture says that primitive groups are graph-restrictive. We propose a very strong generalisation of this conjecture: a group is graph-restrictive if and only if it is semiprimitive. (A transitive permutation group is said to be \emph{semiprimitive} if each of its normal subgroups is either transitive or semiregular.) Our main result is a proof of one of the two implications of this conjecture, namely that graph-restrictive groups are semiprimitive. We also collect the known results and prove some new ones regarding the other implication.
The Weisfeiler-Lehman Method and Graph Isomorphism Testing
Properties of the `$k$-equivalent' graph families constructed in Cai, Fürer and Immerman, and Evdokimov and Ponomarenko are analysed relative the the recursive $k$-dim WL method. An extension to the recursive $k$-dim WL method is presented that is shown to efficiently characterise all such types of `counterexample' graphs, under certain assumptions. These assumptions are shown to hold in all known cases.
Convergence Properties for the Physarum Solver
The Physarum solver is an intuitive mechanism for solving optimisation problems based on the idea of an electrical network, whereby the conductivity is reinforced by the current. We show that the Physarum solver obtains the solution to the linear transshipment problem on a digraph and that the electrical potential converges to an infinity-harmonic solution of the dual problem.
Skew quantum Murnaghan-Nakayama rule
Published
• View Publication
• BIB
In this paper, we extend recent results of Assaf and McNamara on skew Pieri rule and skew Murnaghan-Nakayama rule to a more general identity, which gives an elegant expansion of the product of a skew Schur function with a quantum power sum function in terms of skew Schur functions. We give two proofs, one completely bijective in the spirit of Assaf-McNamara's original proof, and one via Lam-Lauve-Sotille's skew Littlewood-Richardson rule. We end with some conjectures for skew rules for Hall-Littlewood polynomials.
Nonseparating K4-subdivisions in graphs of minimum degree at least 4
Published
• View Publication
• BIB
We first prove that for every vertex x of a 4-connected graph G there exists a subgraph H in G isomorphic to a subdivision of the complete graph K4 on four vertices such that G-V(H) is connected and contains x. This implies an affirmative answer to a question of W. Kuehnel whether every 4-connected graph G contains a subdivision H of K4 as a subgraph such that G-V(H) is connected. The motor for our induction is a result of Fontet and Martinov stating that every 4-connected graph can be reduced to a smaller one by contracting a single edge, unless the graph is the square of a cycle or the line graph of a cubic graph. It turns out that this is the only ingredience of the proof where 4-connectedness is used. We then generalize our result to connected graphs of minimum degree at least 4, by developing the respective motor: A structure theorem for the class of simple connected graphs of minimum degree at least 4.
Random planar graphs with bounds on the maximum and minimum degrees
Published in Graphs and Combinatorics (2011)27:87-107
• View Publication
• BIB
Let P_{n,d,D} denote the graph taken uniformly at random from the set of all labelled planar graphs on {1,2,...,n} with minimum degree at least d(n) and maximum degree at most D(n). We use counting arguments to investigate the probability that P_{n,d,D} wll contain given components and subgraphs, showing exactly when this is bounded away from 0 and 1 as n tends to infinity.
Subgraphs of 4-regular planar graphs
Published in Algorithmica 61(3), 758-776 (2011)
• View Publication
• BIB
We shall present an algorithm for determining whether or not a given planar graph H can ever be a subgraph of a 4-regular planar graph. The algorithm has running time O(|H|^{2.5}) and can be used to find an explicit 4-regular planar graph G containing H if such a graph exists. It shall not matter whether we specify that H and G must be simple graphs or allow them to be multigraphs.
On the maximum size of minimal definitive quartet sets
Published in Discrete Mathematics 310 (19), 2546-2549 (2010)
• View Publication
• BIB
In this paper, we investigate a problem concerning quartets, which are a particular type of tree on four leaves. Loosely speaking, a set of quartets is said to be `definitive' if it completely encapsulates the structure of some larger tree, and `minimal' if it contains no redundant information. Here, we address the question of how large a minimal definitive quartet set on n leaves can be, showing that the maximum size is at least 2n-8 for all n>3. This is an enjoyable problem to work on, and we present a pretty construction, which employs symmetry.
An axiomatic approach to diversity
The topic of diversity is an interesting subject, both as a purely mathematical concept and also for its applications to important real-life situations. Unfortunately, although the meaning of diversity seems intuitively clear, no precise mathematical definition exists. In this paper, we adopt an axiomatic approach to the problem, and attempt to produce a satisfactory measure.
On the existence of a (2,3)-spread in V(7,2)
An $(s,t)$-spread in a finite vector space $V=V(n,q)$ is a collection $\mathcal F$ of $t$-dimensional subspaces of $V$ with the property that every $s$-dimensional subspace of $V$ is contained in exactly one member of $\mathcal F$. It is remarkable that no $(s,t)$-spreads has been found yet, except in the case $s=1$. In this note, the concept $α$-point to a $(2,3)$-spread $\mathcal F$ in {$V=V(7,2)$} is introduced. A classical result of Thomas, applied to the vector space $V$, states that all points of $V$ cannot be $α$-points to a given $(2,3)$-spread $\mathcal F$ in $V$. {In this note, we strengthened this result by proving that} every 6-dimensional subspace of $V$ must contain at least one point that is not an $α$-point to a given $(2,3)$-spread of $V$.
An improved sum-product estimate for general finite fields
This paper improves on a sum-product estimate obtained by Katz and Shen for subsets of a finite field whose order is not prime.
Upper Bounds on the Cardinality of Higher Sumsets
Published in Acta Arith. 158 (4), 2013, 299-319
• View Publication
• BIB
Let A and B be finite sets in a commutative group. We bound |A+hB| in terms of |A|, |A+B| and h. We provide a submultiplicative upper bound that improves on the existing bound of Imre Ruzsa by inserting a factor that decreases with h.
The ménage problem with a known mathematician
We give a solution of the following combinatorial problem: "Let one from $n$ married couples in the ménage problem (see Problem 1) be a couple of a known mathematician $M$ and his wife. After the ladies are seated at every other chair, $M$ (in token of respect) is the first man allowed to choose one of the remaining chairs. To find the number of ways of seating the other men, with no man seated next to his wife, if $M$ chooses the chair that is $d$ seats clockwise from his wife's chair."
Gelfand models and Robinson-Schensted correspondence
Published
• View Publication
• BIB
In [F. Caselli, Involutory reflection groups and their models, J. Algebra 24 (2010), 370--393] there is constructed a uniform Gelfand model for all non-exceptional irreducible complex reflection groups which are involutory. Such model can be naturally decomposed into the direct sum of submodules indexed by $S_n$-conjugacy classes, and we present here a general result that relates the irreducible decomposition of these submodules with the projective Robinson-Schensted correspondence. This description also reflects in a very explicit way the existence of split representations for these groups.
Generalized hook lengths in symbols and partitions
Published in Journal of Algebraic Combinatorics, vol 36 (2011), no. 2, pp. 309-332
• View Publication
• BIB
In this paper, we present, for any integer d, a description of the set of hooks in a d-symbol. We then introduce generalized hook length functions for a d-symbol, and prove a general result about them, involving the core and quotient of the symbol. We list some applications, for example to the well-known hook lengths in integer partitions. This leads in particular to a generalization of a relative hook formula for the degree of characters of the symmetric group discovered by G. Malle and G. Navarro in [3].
On bar lengths in partitions
Published in Proceedings of the Edinburgh Mathematical Society, Vol 55 (2012), 1-16
• View Publication
• BIB
In this paper, we present, given a odd integer $d$, a decomposition of the multiset of bar lengths of a bar partition $λ$ as the union of two multisets, one consisting of the bar lengths in its $\bar{d}$-core partition $\bar{c}_d(λ)$ and the other consisting of modified bar lengths in its $\bar{d}$-quotient partition. In particular, we obtain that the multiset of bar lengths in $\bar{c}_d(λ)$ is a sub-multiset of the multiset of bar lengths in $λ$. Also we obtain a relative bar formula for the degrees of spin characters of the Schur extensions of the symmetric group. The proof involves a recent similar result for partitions, proved in [1].
Power sums of Coxeter exponents
Published in Advances in Mathematics 231 (2012) 1291-1307
• View Publication
• BIB
Consider an irreducible finite Coxeter system. We show that for any nonnegative integer n the sum of the nth powers of the Coxeter exponents can be written uniformly as a polynomial in four parameters: h (the Coxeter number), r (the rank), and two further parameters.