Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Enumeration of Chord Diagrams without Loops and Parallel Chords
Published in The Electronic Journal of Combinatorics. Volume 24, Issue 3 (2017). #P3.43
• View Publication
• BIB
We enumerate chord diagrams without loops and without both loops and parallel chords. We show that the former ones describe Hamiltonian paths in $n$-dimensional octahedrons. The latter ones are also known as shapes. For labelled diagrams we obtain generating functions, for unlabelled ones we derive recurrence relations.
Enumeration of 4-regular one-face maps
Published
• View Publication
• BIB
We give explicit formulas enumerating 4-regular labelled and unlabelled one-face maps.
The fibres of the Scott map on polygon tilings are the flip equivalence classes
We associate strand diagrams to tilings of surfaces with marked points, generalising Scott's method for triangulations of polygons. We thus obtain a map from tilings of surfaces to permutations of the marked points on boundary components, the {\em Scott map}. In the disk case (polygon tilings) we prove that the fibres of the Scott map are the flip equivalence classes.
The result allows us to consider the size of the image as a generalisation of a classical combinatorial problem, and hence to determine the size in low ranks.
Andre Permutation Calculus; a Twin Seidel Matrix Sequence
Entringer numbers occur in the André permutation combinatorial set-up under several forms. This leads to the construction of a matrix-analog refinement of the tangent (resp. secant) numbers. Furthermore, closed expressions for the three-variate exponential generating functions for pairs of so-called Entringerian statistics are derived.
Unbiased orthogonal designs
Published
• View Publication
• BIB
The notion of unbiased orthogonal designs is introduced as a generalization among unbiased Hadamard matrices, unbiased weighing matrices and quasi-unbiased weighing matrices. We provide upper bounds and several constructions for mutually unbiased orthogonal designs. As an application, mutually quasi-unbiased weighing matrices for various parameters are obtained.
Normal Subgroup Based Power Graph of a finite Group
Published
• View Publication
• BIB
For a finite group $G$ with a normal subgroup $H$, the normal subgroup based power graph of $G$, denoted by $Γ_H(G)$ whose vertex set $V(Γ_H(G))=(G\setminus H)\bigcup \{e\}$ and two vertices $a$ and $b$ are edge connected if $aH=b^mH$ or $bH=a^nH$ for some $m, n \in \mathbb{N}$. In this paper we obtain some fundamental characterizations of the normal subgroup based power graph. We show some relation between the graph $Γ_H(G)$ and the power graph $Γ(\frac{G}{H})$. We show that $Γ_H(G)$ is complete if and only of $\frac{G}{H}$ is cyclic group of order $1$ or $p^m$, where $p$ is prime number and $m\in \mathbb{N}$. $Γ_H(G)$ is planar if and only if $|H|=2$ or $3$ and $\frac{G}{H}\cong \mathbb{Z}_2\times \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$. Also $Γ_H(G)$ is Eulerian if and only if $|G|\equiv |H|$ mod$ 2$.
Speed and concentration of the covering time for structured coupon collectors
Published
• View Publication
• BIB
Let $V$ be an $n$-set, and let $X$ be a random variable taking values in the powerset of $V$. Suppose we are given a sequence of random coupons $X_1, X_2, \ldots $, where the $X_i$ are independent random variables with distribution given by $X$. The covering time $T$ is the smallest integer $t\geq 0$ such that $\bigcup_{i=1}^tX_i=V$. The distribution of $T$ is important in many applications in combinatorial probability, and has been extensively studied. However the literature has focussed almost exclusively on the case where $X$ is assumed to be symmetric and/or uniform in some way.
In this paper we study the covering time for much more general random variables $X$; we give general criteria for $T$ being sharply concentrated around its mean, precise tools to estimate that mean, as well as examples where $T$ fails to be concentrated and when structural properties in the distribution of $X$ allow for a very different behaviour of $T$ relative to the symmetric/uniform case.
Structure constants for K-theory of Grassmannians, revisited
Published
• View Publication
• BIB
The problem of computing products of Schubert classes in the cohomology ring can be formulated as the problem of expanding skew Schur polynomials into the basis of ordinary Schur polynomials. In contrast, the problem of computing the structure constants of the Grothendieck ring of a Grassmannian variety with respect to its basis of Schubert structure sheaves is not equivalent to expanding skew stable Grothendieck polynomials into the basis of ordinary stable Grothendiecks. Instead, we show that the appropriate K-theoretic analogy is through the expansion of skew reverse plane partitions into the basis of polynomials which are Hopf-dual to stable Grothendieck polynomials. We combinatorially prove this expansion is determined by Yamanouchi set-valued tableaux. A by-product of our results is a dual approach proof for Buch's K-theoretic Littlewood-Richardson rule for the product of stable Grothendieck polynomials.
The fiber dimension of a graph
Published
• View Publication
• BIB
Graphs on integer points of polytopes whose edges come from a set of allowed differences are studied. It is shown that any simple graph can be embedded in that way. The minimal dimension of such a representation is the fiber dimension of the given graph. The fiber dimension is determined for various classes of graphs and an upper bound in terms of the chromatic number is stated.
Gauss-Bonnet for multi-linear valuations
We prove Gauss-Bonnet and Poincare-Hopf formulas for multi-linear valuations on finite simple graphs G=(V,E) and answer affirmatively a conjecture of Gruenbaum from 1970 by constructing higher order Dehn-Sommerville valuations which vanish for all d-graphs without boundary. An example of a quadratic valuation is the Wu characteristic w(G) which sums (-1)^(dim(x)+dim(y)) over all intersecting pairs of complete subgraphs x,y of a G. More generally, an intersection number w(A,B) sums (-1)^(dim(x)+dim(y)) over pairs x,y, where x is in A and y is in B and x,y intersect. w(G) is a quadratic Euler characteristic X(G), where X sums (-1)^dim(x) over all complete subgraphs x of G. We prove that w is multiplicative, like Euler characteristic: w(G x H) = w(G) w(H) for any two graphs and that w is invariant under Barycentric refinements. We construct a curvature K satisfying Gauss-Bonnet w(G) = sum K(a). We also prove w(G) = X(G)-X(dG) for Euler characteristic X which holds for any d-graph G with boundary dG. We also show higher order Poincare-Hopf formulas: there is for every multi-linear valuation X and function f an index i(a) such that sum i(a)=X(G). For d-graphs G and X=w it agrees with the Euler curvature. For the vanishing multi-valuations which were conjectured to exist, like for the quadratic valuation X(G) = (V X) Y with X=(1,-1,1,-1,1),Y=(0,-2,3,-4,5) on 4-graphs, discrete 4 manifolds, where V_{ij}(G) is the f-matrix counting the number of i and j-simplices in G intersecting, the curvature is constant zero. For all graphs and multi-linear Dehn-Sommerville relations, the Dehn-Sommerville curvature K(v) at a vertex is a Dehn-Sommerville valuation on the unit sphere S(v). We show X V(G) Y = v(G) Y for any linear valuation Y of a d-graph G with f-vector v(G). This provides examples for the Gruenbaum conjecture.
Square-free graphs are multiplicative
Published
• View Publication
• BIB
A graph K is square-free if it contains no four-cycle as a subgraph. A graph K is multiplicative if GxH -> K implies G -> K or H -> K, for all graphs G,H. Here GxH is the tensor (or categorical) graph product and G -> K denotes the existence of a graph homomorphism from G to K. Hedetniemi's conjecture states that all cliques K_n are multiplicative. However, the only non-trivial graphs known to be multiplicative are K_3, odd cycles, and still more generally, circular cliques $K_{p/q}$ with 2 <= p/q < 4. We make no progress for cliques, but show that all square-free graphs are multiplicative. In particular, this gives the first multiplicative graphs of chromatic number higher than 4. Generalizing, in terms of the box complex, the topological insight behind existing proofs for odd cycles, we also give a different proof for circular cliques.
Generalised Mycielski graphs and bounds on chromatic numbers
Published
• View Publication
• BIB
We prove that the coindex of the box complex $\mathrm{B}(H)$ of a graph $H$ can be measured by the generalised Mycielski graphs which admit a homomorphism to it. As a consequence, we exhibit for every graph $H$ a system of linear equations solvable in polynomial time, with the following properties: If the system has no solutions, then $\mathrm{coind}(\mathrm{B}(H)) + 2 \leq 3$; if the system has solutions, then $χ(H) \geq 4$. We generalise the method to other bounds on chromatic numbers using linear algebra.
On the spectral distributions of distance-k graph of free product graphs
Published
• View Publication
• BIB
We calculate the distribution with respect to the vacuum state of the distance-$k$ graph of a $d$-regular tree. From this result we show that the distance-$k$ graph of a $d$-regular graphs converges to the distribution of the distance-$k$ graph of a regular tree.
Finally, we prove that, properly normalized, the asymptotic distributions of distance-$k$ graphs of the $d$-fold free product graph, as $d$ tends to infinity, is given by the distribution of $P_k(s)$, where $s$ is a semicircle random variable and $P_k$ is the $k$-th Chebychev polynomial.
Proof of Sun's conjectures on integer-valued polynomials
Published in Journal of Mathematical Analysis and Applications 444, 182-191 (2016)
• View Publication
• BIB
Recently, Z.-W. Sun introduced two kinds of polynomials related to the Delannoy numbers, and proved some supercongruences on sums involving those polynomials. We deduce new summation formulas for squares of those polynomials and use them to prove that certain rational sums involving even powers of those polynomials are integers whenever they are evaluated at integers. This confirms two conjectures of Z.-W. Sun. We also conjecture that many of these results have neat $q$-analogues.
Generating Sets of the Kernel Graph and the Inverse Problem in Synchronization Theory
This paper analyses the construction of the kernel graph of a non-synchronizing transformation semigroup and introduces the inverse synchronization problem. Given a transformation semigroup $S\leq T_n$, we construct the kernel graph $\text{Gr}(S)$ by saying $v$ and $w$ are adjacent, if there is no $f\in S$ with $vf=wf$. The kernel graph is trivial or complete if the semigroup is a synchronizing semigroup or a permutation group, respectively. The connection between graphs and synchronizing (semi-) groups was established by Cameron and Kazanidis, and it has led to many results regarding the classification of synchronizing permutation groups, and the description of singular endomorphims of graphs. This paper, firstly, emphasises the importance of this construction mainly by proving its superior structure, secondly, analyses the construction and discusses minimal generating sets and their combinatorial properties, and thirdly, introduces the inverse synchronization problem. The third part also includes an additional characterization of primitive groups.
Self Similarities of the Tower of Hanoi Graphs and a proof of the Frame-Stewart Conjecture
Considering the symmetries and self similarity properties of the corresponding labeled graphs, it is shown that the minimal number of moves in the Tower of Hanoi game with $p =4$ pegs and $n \geq p$ disks satisfies the recursive formula $ F(p,n) = \min_{1\leq i \leq n-1} \{ 2F(p,i) + F(p-1,n-i) \} $ which proves the strong Frame-Stewart conjecture for the case $p=4$. The method can be generalized to $p>4$.
Polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions
Published
• View Publication
• BIB
In 2009, the first author proved the Nekrasov-Okounkov formula on hook lengths for integer partitions by using an identity of Macdonald in the framework of type $\widetilde A$ affine root systems, and conjectured that some summations over the set of all partitions of size $n$ are always polynomials in $n$. This conjecture was generalized and proved by Stanley. Recently, Pétréolle derived two Nekrasov-Okounkov type formulas for $\widetilde C$ and $\widetilde C\,\check{}$ which involve doubled distinct and self-conjugate partitions. Inspired by all those previous works, we establish the polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions.
More differences than multiple sums
We compare the size of the difference set $A-A$ to that of the set $kA$ of $k$-fold sums. We show the existence of sets such that $|kA| < |A-A|^{a_k}$ with $a_k<1$.
Dynamic Game Semantics
Published in Math. Struct. Comp. Sci. 30 (2020) 892-951
• View Publication
• BIB
The present paper gives a mathematical, in particular, syntax-independent, formulation of intensionality and dynamics of computation in terms of games and strategies. Specifically, we give a game semantics for a higher-order programming language that distinguishes programs with the same value yet different algorithms (or intensionality), equipped with the hiding operation on strategies that precisely corresponds to the (small-step) operational semantics (or dynamics) of the language. Categorically, our games and strategies give rise to a cartesian closed bicategory, and our game semantics forms an instance of a generalization of the standard interpretation of functional programming languages in cartesian closed categories. This work is intended to be the first step towards a mathematical (both categorical and game-semantic) foundation of intensional and dynamic aspects of logic and computation; our approach should be applicable to a wide range of logics and computations.
Solution to a conjecture on the proper connection number of graphs
A path in an edge-colored graph is called a proper path if no two adjacent edges of the path receive the same color. For a connected graph $G$, the proper connection number $pc(G)$ of $G$ is defined as the minimum number of colors needed to color its edges, so that every pair of distinct vertices of $G$ is connected by at least one proper path in $G$. Recently, Li and Magnant in [Theory Appl. Graphs 0(1)(2015), Art.2] posed the following conjecture: If $G$ is a connected noncomplete graph of order $n \geq 5$ and minimum degree $δ(G) \geq n/4$, then $pc(G)=2$. In this paper, we show that this conjecture is true except for two small graphs on 7 and 8 vertices, respectively. As a byproduct we obtain that if $G$ is a connected bipartite graph of order $n\geq 4$ with $δ(G)\geq \frac{n+6}{8}$, then $pc(G)=2$.