Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Orbits of rational n-sets of projective spaces under the action of the linear group
For a fixed dimension $N$ we compute the generating function of the numbers $t_N(n)$ (respectively $\bar{t}_N(n)$) of $PGL_{N+1}(k)$-orbits of rational $n$-sets (respectively rational $n$-multisets) of the projective space $\mathb{P}^N$ over a finite field $k=\mathbb{F}_q$. For $N=1,2$ these results provide concrete formulas for $t_N(n)$ and $\bar{t}_N(n)$ as a polynomial in $q$ with integer coefficients.
Expansion properties of a random regular graph after random vertex deletions
Published
• View Publication
• BIB
We investigate the following vertex percolation process. Starting with a random regular graph of constant degree, delete each vertex independently with probability p, where p=n^{-alpha} and alpha=alpha(n) is bounded away from 0. We show that a.a.s. the resulting graph has a connected component of size n-o(n) which is an expander, and all other components are trees of bounded size. Sharper results are obtained with extra conditions on alpha. These results have an application to the cost of repairing a certain peer-to-peer network after random failures of nodes.
Two Non-holonomic Lattice Walks in the Quarter Plane
Published in Theoret. Comput. Sci. 410(38-40): 3616-3630 (2009)
• View Publication
• BIB
We present two classes of random walks restricted to the quarter plane whose generating function is not holonomic. The non-holonomy is established using the iterated kernel method, a recent variant of the kernel method. This adds evidence to a recent conjecture on combinatorial properties of walks with holonomic generating functions. The method also yields an asymptotic expression for the number of walks of length n.
Simple proofs of Bressoud's and Schur's polynomial versions of the Rogers-Ramanujan identities
We give simple elementary proofs of Bressoud's and Schur's polynomial versions of the Rogers-Ramanujan identities
Cyclic sieving of noncrossing partitions for complex reflection groups
Published
• View Publication
• BIB
We prove an instance of the cyclic sieving phenomenon, occurring in the context of noncrossing parititions for well-generated complex reflection groups.
On the Number of Planar Orientations with Prescribed Degrees
Published
• View Publication
• BIB
We deal with the asymptotic enumeration of combinatorial structures on planar maps. Prominent instances of such problems are the enumeration of spanning trees, bipartite perfect matchings, and ice models. The notion of orientations with out-degrees prescribed by a function $å:V\to \NN$ unifies many different combinatorial structures, including the afore mentioned. We call these orientations $å$-orientations. The main focus of this paper are bounds for the maximum number of $å$-orientations that a planar map with $n$ vertices can have, for different instances of $å$. We give examples of triangulations with $2.37^n$ Schnyder woods, 3-connected planar maps with $3.209^n$ Schnyder woods and inner triangulations with $2.91^n$ bipolar orientations. These lower bounds are accompanied by upper bounds of $3.56^n$, $8^n$ and $3.97^n$ respectively. We also show that for any planar map $M$ and any $α$ the number of $α$-orientations is bounded from above by $3.73^n$ and describe a family of maps which have at least $2.598^n$ $α$-orientations.
Two Dimensional Directed Lattice Walks with Boundaries
Published in Contemporary Mathematics, Volume 457, 1-19, (2007)
• View Publication
• BIB
We present general algorithms (fully implemented in Maple) for calculations of various quantities related to constrained directed walks for a general set of steps on the square lattice in two dimensions. As a special case, we rederive results of earlier works.
On 2-Fold Covers of Graphs
Published
• View Publication
• BIB
A regular covering projection $\p\colon \tX \to X$ of connected graphs is $G$-admissible if $G$ lifts along $\p$. Denote by $\tG$ the lifted group, and let $\CT(\p)$ be the group of covering transformations. The projection is called $G$-split whenever the extension $\CT(\p) \to \tG \to G$ splits. In this paper, split 2-covers are considered. Supposing that $G$ is transitive on $X$, a $G$-split cover is said to be $G$-split-transitive if all complements $\bG \cong G$ of $\CT(\p)$ within $\tG$ are transitive on $\tX$; it is said to be $G$-split-sectional whenever for each complement $\bG$ there exists a $\bG$-invariant section of $\p$; and it is called $G$-split-mixed otherwise.
It is shown, when $G$ is an arc-transitive group, split-sectional and split-mixed 2-covers lead to canonical double covers. For cubic symmetric graphs split 2-cover are necessarily cannonical double covers when $G$ is 1- or 4-regular. In all other cases, that is, if $G$ is $s$-regular, $s=2,3$ or 5, a necessary and sufficient condition for the existence of a transitive complement $\bG$ is given, and an infinite family of split-transitive 2-covers based on the alternating groups of the form $A_{12k+10}$ is constructed.
Finally, chains of consecutive 2-covers, along which an arc-transitive group $G$ has successive lifts, are also considered. It is proved that in such a chain, at most two projections can be split. Further, it is shown that, in the context of cubic symmetric graphs, if exactly two of them are split, then one is split-transitive and the other one is either split-sectional or split-mixed.
Dyck paths with coloured ascents
Published
• View Publication
• BIB
We introduce a notion of Dyck paths with coloured ascents. For several ways of colouring, we establish bijections between sets of such paths and other combinatorial structures, such as non-crossing trees, dissections of a convex polygon, etc. In some cases enumeration gives new expression for sequences enumerating these structures.
Minimal Triangulations of Manifolds
In this survey article, we are interested on minimal triangulations of closed pl manifolds. We present a brief survey on the works done in last 25 years on the following: (i) Finding the minimal number of vertices required to triangulate a given pl manifold. (ii) Given positive integers $n$ and $d$, construction of $n$-vertex triangulations of different $d$-dimensional pl manifolds. (iii) Classifications of all the triangulations of a given pl manifold with same number of vertices.
In Section 1, we have given all the definitions which are required for the remaining part of this article. In Section 2, we have presented a very brief history of triangulations of manifolds. In Section 3, we have presented examples of several vertex-minimal triangulations. In Section 4, we have presented some interesting results on triangulations of manifolds. In particular, we have stated the Lower Bound Theorem and the Upper Bound Theorem. In Section 5, we have stated several results on minimal triangulations without proofs. Proofs are available in the references mentioned there.
Revisiting Tietze-Nakajima - Local and Global Convexity for Maps
Published
• View Publication
• BIB
A theorem of Tietze and Nakamija, from 1928, asserts that if a subset X of R^n is closed, connected, and locally convex, then it is convex. We give an analogous "local to global convexity" theorem when the inclusion map of X to R^n is replaced by a map from a topological space X to R^n that satisfies certain local properties.
We say that a map from a topological space to R^n is convex if every two points in the space can be connected by a path whose composition with the map is a weakly monotone parametrization of a straight line segment. Let X be a connected Hausdorff topological space, let T be a convex subset of R^n, and let Psi: X \to T be a continuous proper map. Suppose that every point in X is contained in an open set U such that the map Psi|_U: U \to Psi(U) is convex and open. Then the map Psi: X \to Ψ(X) is convex and open. Consequently, its image is convex and its level sets are connected.
Our motivation comes from the Condevaux-Dazord-Molino proof of the Atiyah-Guillemin-Sternberg convexity theorem in symplectic geometry.
Osculating Paths and Oscillating Tableaux
Published in Electron. J. Combin. 15 (2008) Research Paper 7
• View Publication
• BIB
The combinatorics of certain osculating lattice paths is studied, and a relationship with oscillating tableaux is obtained. More specifically, the paths being considered have fixed start and end points on respectively the lower and right boundaries of a rectangle in the square lattice, each path can take only unit steps rightwards or upwards, and two different paths are permitted to share lattice points, but not to cross or share lattice edges. Such paths correspond to configurations of the six-vertex model of statistical mechanics with appropriate boundary conditions, and they include cases which correspond to alternating sign matrices and various subclasses thereof. Referring to points of the rectangle through which no or two paths pass as vacancies or osculations respectively, the case of primary interest is tuples of paths with a fixed number $l$ of vacancies and osculations. It is then shown that there exist natural bijections which map each such path tuple $P$ to a pair $(t,η)$, where $η$ is an oscillating tableau of length $l$ (i.e., a sequence of $l+1$ partitions, starting with the empty partition, in which the Young diagrams of successive partitions differ by a single square), and $t$ is a certain, compatible sequence of $l$ weakly increasing positive integers. Furthermore, each vacancy or osculation of $P$ corresponds to a partition in $η$ whose Young diagram is obtained from that of its predecessor by respectively the addition or deletion of a square. These bijections lead to enumeration formulae for osculating paths involving sums over oscillating tableaux.
Transitive Group Actions: (IM)PRIMITIVITY and Semiregular Subgroups
Published in Journal of Algebraic Combinatorics, 2014
• Search Publication
The following problem is considered: if $H$ is a semiregular abelian subgroup of a transitive permutation group $G$ acting on a finite set $X$, find conditions for (non) existence of $G$-invariant partitions of $X$. Conditions presented in this paper are derived by studying spectral properties of associated $G$-invariant digraphs. As an essential tool, irreducible complex characters of $H$ are used.
Questions of this kind arise naturally when classifying combinatorial objects which enjoy a certain degree of symmetry. As an illustration, a new and short proof of an old result of Frucht, Graver and Watkins ({\it Proc. Camb. Phil. Soc.}, {\bf 70} (1971), 211-218) classifying edge-transitive generalized Petersen graphs, is given.
Reconstruction of group multiplication tables by quadrangle criterion
Published in European Journal of Combinatorics 22 (2001), no. 8, 1159-1164
• Search Publication
For $n>3$, every $n\times n$ partial Cayley matrix with at most $n-1$ holes can be reconstructed by quadrangle criterion. Moreover, the holes can be filled in given order. Without additional assumptions, this is the best possible result. Reconstruction of other types of multiplication tables is discussed.
Combinatorial polarization, code loops, and codes of high level
Published in proceedings of CombinaTexas 2003, published in International Journal of Mathematics and Mathematical Sciences 29 (2004), 1533-1541
• Search Publication
We first find the combinatorial degree of any map $f:V\to F$ where $F$ is a finite field and $V$ is a finite-dimensional vector space over $F$. We then simplify and generalize a certain construction due to Chein and Goodaire that was used in characterizing code loops as finite Moufang loops that posses at most two squares. The construction yields binary codes of high divisibility level with prescribed Hamming weights of intersections of codewords.
Moufang loops that share associator and three quarters of their multiplication tables
Published in Rocky Mountain Journal of Mathematics 36 (2006), no. 2, 425-455
• Search Publication
Two constructions due to Drápal produce a group by modifying exactly one quarter of the Cayley table of another group. We present these constructions in a compact way, and generalize them to Moufang loops, using loop extensions. Both constructions preserve associators, the associator subloop, and the nucleus. We conjecture that two Moufang 2-loops of finite order $n$ with equivalent associator can be connected by a series of constructions similar to ours, and offer empirical evidence that this is so for $n=16$, 24, 32; the only interesting cases with $n\le 32$. We further investigate the way the constructions affect code loops and loops of type $M(G, 2)$. The paper closes with several conjectures and research questions concerning the distance of Moufang loops, classification of small Moufang loops, and generalizations of the two constructions.
Linear spaces with a line-transitive point-imprimitive automorphism group and Fang-Li parameter gcd(k,r) at most eight
Published in Acta Mathematica Sinica, English Series. 25 (2009), 1399-1436
• View Publication
• BIB
In 1991, Weidong Fang and Huiling Li proved that there are only finitely many non-trivial linear spaces that admit a line-transitive, point-imprimitive group action, for a given value of gcd(k,r), where k is the line size and r is the number of lines on a point. The aim of this paper is to make that result effective. We obtain a classification of all linear spaces with this property having gcd(k,r) at most 8. To achieve this we collect together existing theory, and prove additional theoretical restrictions of both a combinatorial and group theoretic nature. These are organised into a series of algorithms that, for gcd(k,r) up to a given maximum value, return a list of candidate parameter values and candidate groups. We examine in detail each of the possibilities returned by these algorithms for gcd(k,r) at most 8, and complete the classification in this case.
Zero-divisor graphs of amalgamated duplication of a ring along an ideal
Published
• View Publication
• BIB
Let $R$ be a commutative ring with identity and let $I$ be an ideal of $R$. Let $R\Join I$ be the subring of $R\times R$ consisting of the elements $(r,r+i)$ for $r\in R$ and $i\in I$. We study the diameter and girth of the zero-divisor graph of the ring $R\Join I$.
Conformal Designs based on Vertex Operator Algebras
We introduce the notion of a conformal design based on a vertex operator algebra. This notation is a natural analog of the notion of block designs or spherical designs when the elements of the design are based on self-orthogonal binary codes or integral lattices, respectively. It is shown that the subspaces of fixed degree of an extremal self-dual vertex operator algebra form conformal 11-, 7-, or 3-designs, generalizing similar results of Assmus-Mattson and Venkov for extremal doubly-even codes and extremal even lattices. Other examples are coming from group actions on vertex operator algebras, the case studied first by Matsuo. The classification of conformal 6- and 8-designs is investigated. Again, our results are analogous to similar results for codes and lattices.
Area distribution and scaling function for punctured polygons
Published in Electronic J. Comb. 11 (2008), #R53
• View Publication
• BIB
Punctured polygons are polygons with internal holes which are also polygons. The external and internal polygons are of the same type, and they are mutually as well as self-avoiding. Based on an assumption about the limiting area distribution for unpunctured polygons, we rigorously analyse the effect of a finite number of punctures on the limiting area distribution in a uniform ensemble, where punctured polygons with equal perimeter have the same probability of occurrence. Our analysis leads to conjectures about the scaling behaviour of the models.
We also analyse exact enumeration data. For staircase polygons with punctures of fixed size, this yields explicit expressions for the generating functions of the first few area moments. For staircase polygons with punctures of arbitrary size, a careful numerical analysis yields very accurate estimates for the area moments. Interestingly, we find that the leading correction term for each area moment is proportional to the corresponding area moment with one less puncture. We finally analyse corresponding quantities for punctured self-avoiding polygons and find agreement with the conjectured formulas to at least 3-4 significant digits.