Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Universal Cycles of Restricted Classes of Words
Published in Discrete Mathematics, 310, 3303-3309, (2010)
• View Publication
• BIB
It is well known that Universal Cycles of $k$-letter words on an $n$-letter alphabet exist for all $k$ and $n$. In this paper, we prove that Universal Cycles exist for restricted classes of words, including: non-bijections, equitable words (under suitable restrictions), ranked permutations, and "passwords".
Contributions to Seymour's Second Neighborhood Conjecture
Published
• View Publication
• BIB
Let D be a simple digraph without loops or digons. For any v in V(D) let N_1(v) be the set of all nodes at out-distance 1 from v and let N_2(v) be the set of all nodes at out-distance 2. We provide sufficient conditions under which there must exist some v in V(D) such that |N_1(v)| is less than or equal to |N_2(v)|, as well as examine properties of a minimal graph which does not have such a node. We show that if one such graph exists, then there exist infinitely many strongly-connected graphs having no such vertex.
A new graph perspective on max-min fairness in Gaussian parallel channels
Published
• View Publication
• BIB
In this work we are concerned with the problem of achieving max-min fairness in Gaussian parallel channels with respect to a general performance function, including channel capacity or decoding reliability as special cases. As our central results, we characterize the laws which determine the value of the achievable max-min fair performance as a function of channel sharing policy and power allocation (to channels and users). In particular, we show that the max-min fair performance behaves as a specialized version of the Lovasz function, or Delsarte bound, of a certain graph induced by channel sharing combinatorics. We also prove that, in addition to such graph, merely a certain 2-norm distance dependent on the allowable power allocations and used performance functions, is sufficient for the characterization of max-min fair performance up to some candidate interval. Our results show also a specific role played by odd cycles in the graph induced by the channel sharing policy and we present an interesting relation between max-min fairness in parallel channels and optimal throughput in an associated interference channel.
Fitness Landscape Analysis for Dynamic Resource Allocation in Multiuser OFDM Based Cognitive Radio Systems
Published
• View Publication
• BIB
This paper has been withdrawn.
Infinite log-concavity: developments and conjectures
Published in Advances in Applied Mathematics, 44 (1) (2010), 1-15
• View Publication
• BIB
Given a sequence (a_k) = a_0, a_1, a_2,... of real numbers, define a new sequence L(a_k) = (b_k) where b_k = a_k^2 - a_{k-1} a_{k+1}. So (a_k) is log-concave if and only if (b_k) is a nonnegative sequence. Call (a_k) "infinitely log-concave" if L^i(a_k) is nonnegative for all i >= 1. Boros and Moll conjectured that the rows of Pascal's triangle are infinitely log-concave. Using a computer and a stronger version of log-concavity, we prove their conjecture for the nth row for all n <= 1450. We also use our methods to give a simple proof of a recent result of Uminsky and Yeats about regions of infinite log-concavity. We investigate related questions about the columns of Pascal's triangle, q-analogues, symmetric functions, real-rooted polynomials, and Toeplitz matrices. In addition, we offer several conjectures.
A Complete Grammar for Decomposing a Family of Graphs into 3-connected Components
Published in Electronic Journal of Combinatorics, Volume 15(1), R148 (2008)
• View Publication
• BIB
Tutte has described in the book "Connectivity in graphs" a canonical decomposition of any graph into 3-connected components. In this article we translate (using the language of symbolic combinatorics)
Tutte's decomposition into a general grammar expressing any family of graphs (with some stability conditions) in terms of the 3-connected subfamily. A key ingredient we use is an extension of the so-called dissymmetry theorem, which yields negative signs in the grammar.
As a main application we recover in a purely combinatorial way the analytic expression found by Giménez and Noy for the series counting labelled planar graphs (such an expression is crucial to do asymptotic enumeration and to obtain limit laws of various parameters on random planar graphs). Besides the grammar, an important ingredient of our method is a recent bijective construction of planar maps by Bouttier, Di Francesco and Guitter.
Elementary Techniques for Erdos-Ko-Rado-like Theorems
The well-known Erdos-Ko-Rado Theorem states that if F is a family of k-element subsets of {1,2,...,n} (n>2k-1) such that every pair of elements in F has a nonempty intersection, then |F| is at most $\binom{n-1}{k-1}$. The theorem also provides necessary and sufficient conditions for attaining the maximum. We present elementary methods for deriving generalizations of the Erdos-Ko-Rado Theorem on several classes of combinatorial objects. We also extend our results to systems under Hamming intersection.
Proof of Han's Hook Expansion Conjecture
We prove a conjecture by Guo-Niu Han which interpolates between two known hook expansion formulas.
Resource Allocation of MU-OFDM Based Cognitive Radio Systems Under Partial Channel State Information
Published
• View Publication
• BIB
This paper has been withdrawn by the author due to some errors.
On the Shortest Identity in Finite Simple Groups of Lie Type
Published
• View Publication
• BIB
We prove that the length of the shortest identity in a finite simple group of Lie type of rank $r$ defined over $\mathbb{F}_q$, is bounded (from above and below) by explicit polynomials in $q$ and $r$.
A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)
In the historic conference Combinatoire Enumerative[LL] wonderfully organized by Gilbert Labelle and Pierre Leroux there were many stimulating lectures, including a very interesting one by Pierre Leroux himself, who talked about his joint work with Xavier Viennot[LV], on solving differential equations combinatorially! During the problem session of that very same colloque, chaired by Pierre Leroux, Richard Stanley raised some intriguing problems about the enumeration of plane partitions, that he later expanded into a fascinating article[Sta1]. Most of these problems concerned the enumeration of symmetry classes of plane partitions, that were discussed in more detail in another article of Stanley[Sta2]. All of the conjectures in the latter article have since been proved (see Dave Bressoud's modern classic[B]), except one, that, so far, resisted the efforts of the greatest minds in enumerative combinatorics. It concerns the proof of an explicit formula for the q-enumeration of totally symmetric plane partitions, conjectured independently by George Andrews and Dave Robbins([Sta2],[Sta1](conj. 7), [B](conj. 13)). In this tribute to Pierre Leroux, we describe how to prove that last stronghold.
Boolean formulae, hypergraphs and combinatorial topology
Published
• View Publication
• BIB
With a view toward studying the homotopy type of spaces of Boolean formulae, we introduce a simplicial complex, called the theta complex, associated to any hypergraph, which is the Alexander dual of the more well-known independence complex. In particular, the set of satisfiable formulae in k-conjunctive normal form with less than or equal to n variables has the homotopy type of Theta(Cube(n,n-k)), where Cube(n,n-k) is a hypergraph associated to the (n-k)-skeleton of an n-cube. We make partial progress in calculating the homotopy type of theta for these cubical hypergraphs, and we also give calculations and examples for other hypergraphs as well. Indeed studying the theta complex of hypergraphs is an interesting problem in its own right.
Characterization of SL(2,q) by its non-commuting graph
Let $G$ be a non-abelian group and $Z(G)$ be its center. The non-commuting graph $\mathcal{A}_G$ of $G$ is the graph whose vertex set is $G\backslash Z(G)$ and two vertices are joined by an edge if they do not commute. Let $\mathrm{SL}(2,q)$ be the special linear group of degree 2 over the finite field of order $q$. In this paper we prove that if $G$ is a group such that $\mathcal{A}_G\cong \mathcal{A}_{\mathrm{SL}(2,q)}$ for some prime power $q\geq 2$, then $G\cong \mathrm{SL}(2,q)$.
Graph Powers and Graph Homomorphisms
Published
• View Publication
• BIB
In this paper we investigate some basic properties of fractional powers. In this regard, we show that for any rational number $1\leq {2r+1\over 2s+1}< og(G)$, $G^{2r+1\over 2s+1}\longrightarrow H$ if and only if $G\longrightarrow H^{-{2s+1\over 2r+1}}.$ Also, for two rational numbers ${2r+1\over 2s+1} < {2p+1\over 2q+1}$ and a non-bipartite graph $G$, we show that $G^{2r+1\over 2s+1} < G^{2p+1\over 2q+1}$. In the sequel, we introduce an equivalent definition for circular chromatic number of graphs in terms of fractional powers. We also present a sufficient condition for equality of chromatic number and circular chromatic number.
Non-degeneracy of Pollard Rho Collisions
Published
• View Publication
• BIB
The Pollard Rho algorithm is a widely used algorithm for solving discrete logarithms on general cyclic groups, including elliptic curves. Recently the first nontrivial runtime estimates were provided for it, culminating in a sharp O(sqrt(n)) bound for the collision time on a cyclic group of order n. In this paper we show that for n satisfying a mild arithmetic condition, the collisions guaranteed by these results are nondegenerate with high probability: that is, the Pollard Rho algorithm successfully finds the discrete logarithm.
Quantum Networks on Cubelike Graphs
Published
• View Publication
• BIB
Cubelike graphs are the Cayley graphs of the elementary abelian group (Z_2)^n (e.g., the hypercube is a cubelike graph). We give conditions for perfect state transfer between two particles in quantum networks modeled by a large class of cubelike graphs. This generalizes results of Christandl et al. [Phys. Rev. Lett. 92, 187902 (2004)] and Facer et al. [Phys. Rev. A 92, 187902 (2008)].
Quantized dual graded graphs
Published
• View Publication
• BIB
We study quantized dual graded graphs, which are graphs equipped with linear operators satisfying the relation DU - qUD = rI. We construct examples based upon: the Fibonacci poset, permutations, standard Young tableau, and plane binary trees.
The Kuratowski covering conjecture for graphs of order < 10 for the nonorientable surfaces of genus 3 and 4
Kuratowski proved that a finite graph embeds in the plane if it does not contain a subdivision of either K_5 or K_{3,3}, called Kuratowski subgraphs. A conjectured generalization of this result to all nonorientable surfaces says that a finite minimal forbidden subgraph for the nonorientable surface of genus g can be written as the union of g+1 Kuratowski subgraphs such that the union of each pair of these fails to embed in the projective plane, the union of each triple of these fails to embed in the Klein bottle if g >= 2, and the union of each triple of these fails to embed in the torus if g >= 3. We show that this conjecture is true for all minimal forbidden subgraphs of order < 10 for the nonorientable surfaces of genus 3 and 4.
A variant of Tao's method with application to restricted sumsets
Published in J. Number Theory 129(2009), no.2, 434-438
• View Publication
• BIB
In this paper, we develop Terence Tao's harmonic analysis method and apply it to restricted sumsets. The well known Cauchy-Davenport theorem asserts that if $A$ and $B$ are nonempty subsets of $Z/pZ$ with $p$ a prime, then $|A+B|\ge min{p,|A|+|B|-1}$, where $A+B={a+b: a\in A, b\in B}$. In 2005, Terence Tao gave a harmonic analysis proof of the Cauchy-Davenport theorem, by applying a new form of the uncertainty principle on Fourier transform. We modify Tao's method so that it can be used to prove the following extension of the Erdos-Heilbronn conjecture: If $A,B,S$ are nonempty subsets of $Z/pZ$ with $p$ a prime, then $|{a+b: a\in A, b\in B, a-b not\in S}|\ge min {p,|A|+|B|-2|S|-1}$.
Classifications of Cohen-Macaulay modules - The base ring associated to a transversal polymatroid
In this thesis, we focus on the study of the base rings associated to some transversal polymatroids. A transversal polymatroid is a special kind of discrete polymatroid. Discrete polymatroids were introduced by Herzog and Hibi \cite{HH} in 2002.