Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Conical zeta values and their double subdivision relations
Published in Advances in Mathematics 252 (2014) 343-381
• View Publication
• BIB
We introduce the concept of a conical zeta value as a geometric generalization of a multiple zeta value in the context of convex cones. The quasi-shuffle and shuffle relations of multiple zeta values are generalized to open cone subdivision and closed cone subdivision relations respectively for conical zeta values. In order to achieve the closed cone subdivision relation, we also interpret linear relations among fractions as subdivisions of decorated closed cones. As a generalization of the double shuffle relation of multiple zeta values, we give the double subdivision relation of conical zeta values and formulate the extended double subdivision relation conjecture for conical zeta values.
On the least number of palindromes contained in an infinite word
Published in Theoretical Computer Science, 481: 1-8 (2013)
• View Publication
• BIB
We investigate the least number of palindromic factors in an infinite word. We first consider general alphabets, and give answers to this problem for periodic and non-periodic words, closed or not under reversal of factors. We then investigate the same problem when the alphabet has size two.
The geometry of a deformation of the standard addition on the integral lattice
Published
• View Publication
• BIB
Let $\mathfrak A_n$ be the subset of the standard integer lattice $\mathbb Z^n$, $\mathfrak A_n\subset\mathbb Z^n$ which is defined by the condition $\mathfrak A_n=((a_1,...,a_n)\in\mathbb Z^n | a_i\not\equiv a_j\mod n, \forall i,j\in {1,... n})$. It is clear that the standard addition on the lattice $\mathbb Z^n$ does not induce the group structure on the set $\mathfrak A_n$ since the componentwise sum of some two vectors may contain components which are equal modulo $n$. Our aim is to find a new associative multiplication on the lattice $\mathbb Z^n$ such that the induced multiplication on the set $\mathfrak A_n$ gives it the group structure. In this paper the group structure on the subset $\mathfrak A_n$ of the integer lattice $\mathbb Z^n$ is studied by means of the constructions of a deformation of a group multiplication. The geometric realization of this group in the enveloping space and its generators and relations between them are found. We begin with the main constructions and the results we need for them.
Maximal harmonic group actions on finite graphs
Published in Discrete Mathematics, 338, No. 5 (2015) 784-792
• View Publication
• BIB
This paper studies groups of maximal size acting harmonically on a finite graph. Our main result states that these maximal graph groups are exactly the finite quotients of the modular group $Γ=\left<x,y \ | \ x^2=y^3=1\right>$ of size at least 6. This characterization may be viewed as a discrete analogue of the description of Hurwitz groups as finite quotients of the $(2,3,7)$-triangle group in the context of holomorphic group actions on Riemann surfaces. In fact, as an immediate consequence of our result, every Hurwitz group is a maximal graph group, and the final section of the paper establishes a direct connection between maximal graphs and Hurwitz surfaces via the theory of combinatorial maps.
Generating functions from the viewpoint of Rota-Baxter algebras
Published in Discrete Math. 338 (2015) 536-554
• View Publication
• BIB
We study generating functions in the context of Rota-Baxter algebras. We show that exponential generating functions can be naturally viewed in a very special case of complete free commutative Rota-Baxter algebras. This allows us to use free Rota-Baxter algebras to give a broad class of algebraic structures in which generalizations of generating functions can be studied. We generalize the product formula and composition formula for exponential power series. We also give generating functions both for known number families such as Stirling numbers of the second kind and partition numbers, and for new number families such as those from not necessarily disjoint partitions and partitions of multisets.
Escape rates for rotor walk in Z^d
Published
• View Publication
• BIB
Rotor walk is a deterministic analogue of random walk. We study its recurrence and transience properties on Z^d for the initial configuration of all rotors aligned. If n particles in turn perform rotor walks starting from the origin, we show that the number that escape (i.e., never return to the origin) is of order n in dimensions d>=3, and of order n/log(n) in dimension 2.
Meyniel's conjecture holds for random graphs
In the game of cops and robber, the cops try to capture a robber moving on the vertices of the graph. The minimum number of cops required to win on a given graph $G$ is called the cop number of $G$. The biggest open conjecture in this area is the one of Meyniel, which asserts that for some absolute constant $C$, the cop number of every connected graph $G$ is at most $C \sqrt{|V(G)|}$. In this paper, we show that Meyniel's conjecture holds asymptotically almost surely for the binomial random graph. We do this by first showing that the conjecture holds for a general class of graphs with some specific expansion-type properties. This will also be used in a separate paper on random $d$-regular graphs, where we show that the conjecture holds asymptotically almost surely when $d = d(n) \ge 3$.
Additive Decompositions of Subgroups of Finite Fields
Published
• View Publication
• BIB
We say that a set $S$ is additively decomposed into two sets $A$ and $B$, if $S = \{a+b : a\in A, \ b \in B\}$. Here we study additively decompositions of multiplicative subgroups of finite fields. In particular, we give some improvements and generalisations of results of C. Dartyge and A. Sarkozy on additive decompositions of quadratic residues and primitive roots modulo $p$. We use some new tools such the Karatsuba bound of double character sums and some results from additive combinatorics.
Approximating Holant problems by winding
We give an FPRAS for Holant problems with parity constraints and not-all-equal constraints, a generalisation of the problem of counting sink-free-orientations. The approach combines a sampler for near-assignments of "windable" functions -- using the cycle-unwinding canonical paths technique of Jerrum and Sinclair -- with a bound on the weight of near-assignments. The proof generalises to a larger class of Holant problems; we characterise this class and show that it cannot be extended by expressibility reductions.
We then ask whether windability is equivalent to expressibility by matchings circuits (an analogue of matchgates), and give a positive answer for functions of arity three.
Prescribed matchings extend to Hamiltonian cycles in hypercubes with faulty edges
Published
• View Publication
• BIB
Ruskey and Savage asked the following question: Does every matching of $Q_{n}$ for $n\geq2$ extend to a Hamiltonian cycle of $Q_{n}$? J. Fink showed that the question is true for every perfect matching, and solved the Kreweras' conjecture. In this paper we consider the question in hypercubes with faulty edges. We show that every matching $M$ of at most $2n-1$ edges can be extended to a Hamiltonian cycle of $Q_{n}$ for $n\geq2$. Moreover, we can prove that when $n\geq4$ and $M$ is nonempty this result still holds even if $Q_{n}$ has at most $n-1-\lceil\frac{|M|}{2}\rceil$ faulty edges with one exception.
A universality theorem for projectively unique polytopes and a conjecture of Shephard
Published
• View Publication
• BIB
We prove that every polytope described by algebraic coordinates is the face of a projectively unique polytope. This provides a universality property for projectively unique polytopes. Using a closely related result of Below, we construct a combinatorial type of 5-dimensional polytope that is not realizable as a subpolytope of any stacked polytope. This disproves a classical conjecture in polytope theory, first formulated by Shephard in the seventies.
Recurrence relations versus succession rules
Published
• View Publication
• BIB
In this paper we present a method to pass from a recurrence relation having constant coefficients (in short, a C-recurrence) to a finite succession rule defining the same number sequence. We recall that succession rules are a recently studied tool for the enumeration of combinatorial objects related to the ECO method. We also discuss the applicability of our method as a test for the positivity of a number sequence.
Critical groups of covering, voltage, and signed graphs
Published
• View Publication
• BIB
Graph coverings are known to induce surjections of their critical groups. Here we describe the kernels of these morphisms in terms of data parametrizing the covering. Regular coverings are parametrized by voltage graphs, and the above kernel can be identified with a naturally defined voltage graph critical group. For double covers, the voltage graph is a signed graph, and the theory takes a particularly pleasant form, leading also to a theory of double covers of signed graphs.
An inductive proof of Straub's q-analogue of Ljunggren's congruence
Recently, Straub gave an interesting $q$-analogue of a binomial congruence of Ljunggren. In this note we give an inductive proof of his result.
Eisenstein Series on Covers of Odd Orthogonal Groups
Published
• View Publication
• BIB
We study the Whittaker coefficients of the minimal parabolic Eisenstein series on the $n$-fold cover of the split odd orthogonal group $SO_{2r+1}$. If the degree of the cover is odd, then Beineke, Brubaker and Frechette have conjectured that the $p$-power contributions to the Whittaker coefficients may be computed using the theory of crystal graphs of type C, by attaching to each path component a Gauss sum or a degenerate Gauss sum depending on the fine structure of the path. We establish their conjecture using a combination of automorphic and combinatorial-representation-theoretic methods. Surprisingly, we must make use of the type A theory, and the two different crystal graph descriptions of Brubaker, Bump and Friedberg available for type A based on different factorizations of the long word into simple reflections. We also establish a formula for the Whittaker coefficients in the even degree cover case, again based on crystal graphs of type C. As a further consequence, we establish a Lie-theoretic description of the coefficients for $n$ sufficiently large, thereby confirming a conjecture of Brubaker, Bump and Friedberg.
Combinatorics of Labelled Parallelogram polyominoes
Published
• View Publication
• BIB
We obtain explicit formulas for the enumeration of labelled parallelogram polyominoes. These are the polyominoes that are bounded, above and below, by north-east lattice paths going from the origin to a point (k,n). The numbers from 1 and n (the labels) are bijectively attached to the $n$ north steps of the above-bounding path, with the condition that they appear in increasing values along consecutive north steps. We calculate the Frobenius characteristic of the action of the symmetric group S_n on these labels. All these enumeration results are refined to take into account the area of these polyominoes. We make a connection between our enumeration results and the theory of operators for which the intergral Macdonald polynomials are joint eigenfunctions. We also explain how these same polyominoes can be used to explicitly construct a linear basis of a ring of SL_2-invariants.
Strict inequalities for connective constants of transitive graphs
Published
• View Publication
• BIB
The connective constant of a graph is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. Strict inequalities are proved for connective constants of vertex-transitive graphs. Firstly, the connective constant decreases strictly when the graph is replaced by a non-trivial quotient graph. Secondly, the connective constant increases strictly when a quasi-transitive family of new edges is added. These results have the following implications for Cayley graphs. The connective constant of a Cayley graph decreases strictly when a new relator is added to the group, and increases strictly when a non-trivial group element is declared to be a generator.
Generating and enumerating 321-avoiding and skew-merged simple permutations
Published
• View Publication
• BIB
The simple permutations in two permutation classes --- the 321-avoiding permutations and the skew-merged permutations --- are enumerated using a uniform method. In both cases, these enumerations were known implicitly, by working backwards from the enumeration of the class, but the simple permutations had not been enumerated explicitly. In particular, the enumeration of the simple skew-merged permutations leads to the first truly structural enumeration of this class as a whole. The extension of this method to a wider collection of classes namely grid classes of infinite paths is discussed.
A Study on the Amount of Random Graph Groupies
In 1980, Ajtai, Komlos and Szemer{é}di defined "groupie": Let $G=(V,E)$ be a simple graph, $|V|=n$, $|E|=e$. For a vertex $v\in V$, let $r(v)$ denote the sum of the degrees of the vertices adjacent to $v$. We say $v\in V$ is a {\it groupie}, if $\frac{r(v)}{°(v)}\geq\frac{e}{n}.$ In this paper, we prove that in random graph $B(n,p)$, $0<p<1$, the proportion of groupies converges in probability towards $Φ(1)\approx0.8413$ as $n$ approaches infinity, where $Φ(x)$ is the distribution function of standard normal distribution N(0,1). We also discuss the asymptotic behavior of the proportion of groupies in complete bipartite graph $B(n_1,n_2,p)$.
Completely Positive formulation of the Graph Isomorphism Problem
Published
• View Publication
• BIB
Given two graphs $G_1$ and $G_2$ on $n$ vertices each, we define a graph $G$ on vertex set $V_1\times V_2$ and the edge set as the union of edges of $G_1\times \bar{G_2}$, $\bar{G_1}\times G_2$, $\{(v,u'),(v,u"))(|u',u"\in V_2\}$ for each $v\in V_1$, and $\{((u',v),(u",v))|u',u"\in V_1\}$ for each $v\in V_2$. We consider the completely-positive Lovász $\vartheta$ function, i.e., $cp\vartheta$ function for $G$. We show that the function evaluates to $n$ whenever $G_1$ and $G_2$ are isomorphic and to less than $n-1/(4n^4)$ when non-isomorphic. Hence this function provides a test for graph isomorphism. We also provide some geometric insight into the feasible region of the completely positive program.