Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Quantum Pfaffians and Hyper-Pfaffians
Published in Adv. Math. 265 (2014), 336--361
• View Publication
• BIB
The concept of the quantum Pfaffian is rigorously examined and refurbished using the new method of quantum exterior algebras. We derive a complete family of Plücker relations for the quantum linear transformations, and then use them to give an optimal set of relations required for the quantum Pfaffian. We then give the formula between the quantum determinant and the quantum Pfaffian and prove that any quantum determinant can be expressed as a quantum Pfaffian. Finally the quantum hyper-Pfaffian is introduced, and we prove a similar result of expressing quantum determinants in terms of quantum hyper-Pfaffians at modular cases.
The face vector of a half-open hypersimplex
Published in Journal of Integer Sequences, Vol. 18 (2015), Article 15.6.6
• Search Publication
The half-open hypersimplex $Δ'_{n,k}$ consists of those $x = (x_{1}, \ldots, x_{n}) \in[0,1]^n$ with $k-1<x_1+\cdots+x_n\le k$, where $0 < k \leq n$. The $f$-vector of a half-open hypersimplex and related generating functions are explicitly studied.
Edge-signed graphs with smallest eigenvalue greater than -2
Published in J. Combin. Theory, Ser. B 110 (2015), pp. 90--111
• View Publication
• BIB
We give a structural classification of edge-signed graphs with smallest eigenvalue greater than -2. We prove a conjecture of Hoffman about the smallest eigenvalue of the line graph of a tree that was stated in the 1970s. Furthermore, we prove a more general result extending Hoffman's original statement to all edge-signed graphs with smallest eigenvalue greater than -2. Our results give a classification of the special graphs of fat Hoffman graphs with smallest eigenvalue greater than -3.
On the similarity of Tensors
Published
• View Publication
• BIB
Let $\mathbb{P}_n$ be the set of all matrices which have the same zero patterns with some permutation matrix of order $n$.
In this paper, we prove the following result: Let $\mathbb{I}$ be the unit tensor of order $m\ge3$ and dimension $n\ge2$. Suppose that $P$ and $Q$ are two matrices with $P\mathbb{I}Q=\mathbb{I}$, then $P,Q\in \mathbb{P}_n$. This gives a characterization for the similarities of tensors with order $m\ge3$.
Hypergeometric Functions II (q-analogues)
This is the typewritten version of a handwritten manuscript which was completed by Ian G. Macdonald in 1987 or 1988. It is the sequel to the manuscript "Hypergeometric functions I." The two manuscripts are very informal working papers, never intended for formal publication. Nevertheless, copies of the manuscripts have circulated widely, giving rise to quite a few citations in the subsequent 25 years. Therefore it seems justified to make the manuscripts available for the whole mathematical community. The author kindly gave his permission that typewritten versions be posted on arXiv.
Enumerating Regular Objects associated with Suzuki Groups
We use the Möbius function of the simple Suzuki group Sz(q) to enumerate regular objects such as maps, hypermaps, dessins d'enfants and surface coverings with automorphism groups isomorphic to Sz(q).
The A_{2n}^{(2)} Rogers-Ramanujan identities
The famous Rogers-Ramanujan and Andrews--Gordon identities are embedded in a doubly-infinite family of Rogers-Ramanujan-type identities labelled by positive integers m and n. For fixed m and n the product side corresponds to a specialised character of the affine Kac-Moody algebra A_{2n}^{(2)} at level m, and is expressed as a product of n^2 theta functions of modulus 2m+2n+1, or by level-rank duality, as a product of m^2 theta functions. Rogers-Ramanujan-type identities for even moduli, corresponding to the affine Lie algebras C_n^{(1)} and D_{n+1}^{(2)}, are also proven.
Signed tree associahedra
Published
• View Publication
• BIB
An associahedron is a polytope whose vertices correspond to the triangulations of a convex polygon and whose edges correspond to flips between them. A particularly elegant realization of the associahedron, due to S. Shnider and S. Sternberg and popularized by J.-L. Loday, has been generalized in two directions: on the one hand by A. Postnikov to obtain a realization of the graph associahedra of M. Carr and S. Devadoss, and on the other hand by C. Hohlweg and C. Lange to obtain multiple realizations of the associahedron parametrized by a sequence of signs. The goal of this paper is to unify and extend these two constructions to signed tree associahedra.
We define the notions of signed tubes and signed nested sets on a vertex-signed tree, generalizing the classical notions of tubes and nested sets for unsigned trees. The resulting signed nested complexes are all simplicial spheres, but they are not necessarily isomorphic, even if they arise from signed trees with the same underlying unsigned structure. We then construct a signed tree associahedron realizing the signed nested complex, obtained by removing certain well-chosen facets from the classical permutahedron. We study relevant properties of its normal fan and of certain orientations of its 1-skeleton, in connection to the braid arrangement and to the weak order. Our main tool, both for combinatorial and geometric perspectives, is the notion of spines on a vertex-signed tree, which extend the families of Schröder and binary search trees.
On planar right groups
Published
• View Publication
• BIB
In 1896 Heinrich Maschke characterized planar finite groups, that is groups which admit a generating system such that the resulting Cayley graph is planar. In our study we consider the question, which finite semigroups have a planar Cayley graph. Right groups are a class of semigroups relatively close to groups. We present a complete characterization of planar right groups.
Quasi Regular Semilattice and Association Schemes in Singular Linear Space
Let \mathbb{F}_q^{n+l} denote the (n+l)-dimensional singular linear space over a finite field \mathbb{F}_q. For a fixed integer m\leq\min\{n,l\}, denote by \mathcal{L}^m_o(\mathbb{F}_q^{n+l}) the set of all subspaces of type (t,t_1), where t_1\leq t\leq m. Partially ordered by ordinary inclusion, one family of quasi regular semilattices is obtained. Moreover, we obtain a association schemes and discuss the bound of a M-clique.
Speeding up Deciphering by Hypergraph Ordering
Published
• View Publication
• BIB
The "Gluing Algorithm" of Semaev [Des.\ Codes Cryptogr.\ 49 (2008), 47--60] --- that finds all solutions of a sparse system of linear equations over the Galois field $GF(q)$ --- has average running time $O(mq^{\max \left\vert \cup_{1}^{k}X_{j}\right\vert -k}), $ where $m$ is the total number of equations, and $\cup_{1}^{k}X_{j}$ is the set of all unknowns actively occurring in the first $k$ equations. Our goal here is to minimize the exponent of $q$ in the case where every equation contains at most three unknowns. %Applying hypergraph-theoretic methods we prove The main result states that if the total number $\left\vert \cup_{1}^{m}X_{j}\right\vert$ of unknowns is equal to $m$, then the best achievable exponent is between $c_1m$ and $c_2m$ for some positive constants $c_1$ and $c_2.$
Lattice polytopes, finite abelian subgroups in $\SL(n,\C)$ and coding theory
We consider $d$-dimensional lattice polytopes $Δ$ with $h^*$-polynomial $h^*_Δ=1+h_k^*t^k$ for $1<k<(d+1)/2$ and relate them to some abelian subgroups of $\SL_{d+1}(\C)$ of order $1+h_k^*=p^r$ where $p$ is a prime number. These subgroups can be investigate by means of coding theory as special linear constant weight codes in $\F_p^{d+1}$. If $p =2$, then the classication of these codes and corresponding lattice polytopes can be obtained using a theorem of Bonisoli. If $p > 2$, the main technical tool in the classification of these linear codes is the non-vanishing theorem for generalized Bernoulli numbers $B_{1,χ}^{(r)}$ associated with odd characters $χ:\F_q^*\to\C^*$ where $q=p^r$. Our result implies a complete classification of all lattice polytopes whose $h^*$-polynomial is a binomial.
Matroids with a modular 4-point line
Published in SIAM J. Discrete Math. 28 (2014), 862-877
• View Publication
• BIB
A result of Seymour implies that any 3-connected matroid with a modular 3-point line is binary. We prove a similar characterization for 3-connected matroids with modular 4-point lines. We show that such a matroid is either representable over GF(3) or GF(4) or has an $F_7$-minor and either an $(F_7^-)$- or $(F_7^-)^*$-minor.
Odd K_3,3 subdivisions in bipartite graphs
Published in J. Combin. Theory Ser. B 118 (2016), 76-87
• View Publication
• BIB
We prove that every internally 4-connected non-planar bipartite graph has an odd K_3,3 subdivision; that is, a subgraph obtained from K_3,3 by replacing its edges by internally disjoint odd paths with the same ends. The proof gives rise to a polynomial-time algorithm to find such a subdivision. (A bipartite graph G is internally 4-connected if it is 3-connected, has at least five vertices, and there is no partition (A,B,C) of V(G) such that |A|,|B|>1, |C|=3 and G has no edge with one end in A and the other in B.)
Enumeration of Hybrid Domino-Lozenge Tilings
Published
• View Publication
• BIB
We solve and generalize an open problem posted by James Propp (Problem 16 in New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999) on the number of tilings of quasi-hexagonal regions on the square lattice with every third diagonal drawn in. We also obtain a generalization of Douglas' Theorem on the number of tilings of a family of regions of the square lattice with every second diagonal drawn in.
Proof of a conjecture of Bauer, Fan and Veldman
For a 1-tough graph $G$ we define $σ_3(G) = \min\{°(u) + °(v)+ °(w):$ $\{u, v, w\}$ is an independent set of vertices$\}$ and $NC2(G)=\min \{|N(u)\cup N(v)|: d(u,v)=2\}$. D. Bauer, G. Fan and H.J.Veldman proved that $c(G)\geq \min\{n,2NC2(G)\}$ for any 1-tough graph $G$ with $σ_3(G)\geq n\geq 3$, where $c(G)$ is the circumference of $G$ (D. Bauer, G. Fan and H.J.Veldman,Hamiltonian properties of graphs with large neighborhood unions,Discrete Mathematics, 1991). They also conjectured a stronger upper bound for the circumference: $c(G)\geq\min\{n,2NC2(G)+4\}$.In this paper, we prove this conjecture.
Cops and Robbers is EXPTIME-complete
Published
• View Publication
• BIB
We investigate the computational complexity of deciding whether k cops can capture a robber on a graph G. In 1995, Goldstein and Reingold conjectured that the problem is EXPTIME-complete when both G and k are part of the input; we prove this conjecture.
Maxima of the Q-index: degenerate graphs
Published
• View Publication
• BIB
Let $G$ be a $k$-degenerate graph of order $n.$ It is well-known that $G\ $has no more edges than $S_{n,k},$ the join of a complete graph of order $k$ and an independent set of order $n-k.$ In this note it is shown that $S_{n,k}$ is extremal for some spectral parameters of $G$ as well. More precisely, letting $μ\left( H\right) $ and $q\left( H\right) $ denote the largest eigenvalues of the adjacency matrix and the signless Laplacian of a graph $H,$ the inequalities \[ μ\left( G\right) <μ\left( S_{n,k}\right) \text{ and }q\left( G\right) <q\left( S_{n,k}\right) \] hold, unless $G=S_{n,k}$.
The latter inequality is deduced from the following general bound, which improves some previous bounds on $q\left( G\right) $:
If $G$ is a graph of order $n$, with $m$ edges, with maximum degree $Δ$ and minimum degree $δ,$ then \[ q\left( G\right) \leq\min\left\{ 2Δ,\frac{1}{2}\left( Δ+2δ-1+\sqrt{\left( Δ+2δ-1\right) ^{2}+16m-8\left( n-1+Δ\right) δ}\right) \right\} . \] Equality holds if and only if $G$ is regular or $G$ has a component of order $Δ+1$ in which every vertex is of degree $δ$ or $Δ,$ and all other components are $δ$-regular.
3-extra connectivity of 3-ary n-cube networks
Published
• View Publication
• BIB
Let G be a connected graph and S be a set of vertices. The h-extra connectivity of G is the cardinality of a minimum set S such that G-S is disconnected and each component of G-S has at least h+1 vertices. The h-extra connectivity is an important parameter to measure the reliability and fault tolerance ability of large interconnection networks. The h-extra connectivity for h=1,2 of k-ary n-cube are gotten by Hsieh et al. in [Theoretical Computer Science, 443 (2012) 63-69] for k>=4 and Zhu et al. in [Theory of Computing Systems, arxiv.org/pdf/1105.0991v1 [cs.DM] 5 May 2011] for k=3. In this paper, we show that the h-extra connectivity of the 3-ary n-cube networks for h=3 is equal to 8n-12, where n>=3.
q-Differential equations for q-classical polynomials and q-Jacobi-Stirling numbers
Published
• View Publication
• BIB
We introduce, characterise and provide a combinatorial interpretation for the so-called $q$-Jacobi-Stirling numbers. This study is motivated by their key role in the (reciprocal) expansion of any power of a second order $q$-differential operator having the $q$-classical polynomials as eigenfunctions in terms of other even order operators, which we explicitly construct in this work. The results here obtained can be viewed as the $q$-version of those given by Everitt {\it et al.} and by the first author, whilst the combinatorics of this new set of numbers is a $q$-version of the Jacobi-Stirling numbers given by Gelineau and the second author.