Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Kloosterman sums, elliptic curves, and irreducible polynomials with prescribed trace and norm
Published
• View Publication
• BIB
Let $\F_q$ ($q=p^r$) be a finite field. In this paper the number of irreducible polynomials of degree $m$ in $\F_q[x]$ with prescribed trace and norm coefficients is calculated in certain special cases and a general bound for that number is obtained improving the bound by Wan if $m$ is small compared to $q$. As a corollary, sharp bounds are obtained for the number of elements in $\F_{q^3}$ with prescribed trace and norm over $\F_q$ improving the estimates by Katz in this special case. Moreover, a characterization of Kloosterman sums over $\F_{2^r}$ divisible by three is given generalizing the earlier result by Charpin, Helleseth, and Zinoviev obtained only in the case $r$ odd. Finally, a new simple proof for the value distribution of a Kloosterman sum over the field $\F_{3^r}$, first proved by Katz and Livne, is given.
Independent transversals in locally sparse graphs
Published
• View Publication
• BIB
Let G be a graph with maximum degree Δwhose vertex set is partitioned into parts V(G) = V_1 \cup ... \cup V_r. A transversal is a subset of V(G) containing exactly one vertex from each part V_i. If it is also an independent set, then we call it an independent transversal. The local degree of G is the maximum number of neighbors of a vertex v in a part V_i, taken over all choices of V_i and v \not \in V_i. We prove that for every fixed ε> 0, if all part sizes |V_i| >= (1+ε)Δand the local degree of G is o(Δ), then G has an independent transversal for sufficiently large Δ. This extends several previous results and settles (in a stronger form) a conjecture of Aharoni and Holzman. We then generalize this result to transversals that induce no cliques of size s. (Note that independent transversals correspond to s=2.) In that context, we prove that parts of size |V_i| >= (1+ε)[Δ/(s-1)] and local degree o(Δ) guarantee the existence of such a transversal, and we provide a construction that shows this is asymptotically tight.
Operads of compatible structures and weighted partitions
Published in J. Pure Appl. Algebra 212 (2008), no. 11, 2522--2534.
• View Publication
• BIB
In this paper we describe operads encoding two different kinds of compatibility of algebraic structures. We show that there exist decompositions of these in terms of black and white products and we prove that they are Koszul for a large class of algebraic structures by using the poset method of B. Vallette. In particular we show that this is true for the operads of compatible Lie, associative and pre-Lie algebras.
Affine Buildings and Tropical Convexity
Published in Albanian J. Math. 1 (2007), no. 4, 187--211
• View Publication
• BIB
The notion of convexity in tropical geometry is closely related to notions of convexity in the theory of affine buildings. We explore this relationship from a combinatorial and computational perspective. Our results include a convex hull algorithm for the Bruhat--Tits building of SL$_d(K)$ and techniques for computing with apartments and membranes. While the original inspiration was the work of Dress and Terhalle in phylogenetics, and of Faltings, Kapranov, Keel and Tevelev in algebraic geometry, our tropical algorithms will also be applicable to problems in other fields of mathematics.
On a problem of Duke-Erdos-Rodl on cycle-connected subgraphs
Published
• View Publication
• BIB
In this short note, we prove that for β< 1/5 every graph G with n vertices and n^{2-β} edges contains a subgraph G' with at least cn^{2-2β} edges such that every pair of edges in G' lie together on a cycle of length at most 8. Moreover edges in G' which share a vertex lie together on a cycle of length at most 6. This result is best possible up to the constant factor and settles a conjecture of Duke, Erdos, and Rodl.
SPM Bulletin 21
Contents: 1. Editor's note; 2. Personal impressions from the SPM07 meeting; 3. Research announcements; 3.1. Coloring ordinals by reals; 3.2. Long Borel Hierarchies; 3.3. Rothberger's property in finite powers; 3.4. Special subsets of the reals and tree forcing notions; 3.5. All automorphisms of the Calkin algebra are inner; 3.6. Continuous selections and sigma-spaces; 3.7. On the closure of the diagonal of a T1-space; 3.8. Splitting families and Noetherian type; 3.9. Even more simple cardinal invariants; 3.10. A classification of CO spaces which are continuous images of compact ordered spaces; 4. Problem of the Issue
Skew-Hadamard matrices of orders 436, 580 and 988 exist
Published in J, Combin. Designs 16 (2008), 493-498
• Search Publication
We construct two difference families on each of the cyclic groups of order 109, 145 and 247, and use them to construct skew-Hadamard matrices of orders 436, 580 and 988. Such difference families and matrices are constructed here for the first time. The matrices are constructed by using the Goethals-Seidel array.
On the growth of components with non fixed excesses
Published in Discrete Applied Mathematics 130, 3 (17/07/2003) 487--493
• View Publication
• BIB
Denote by an $l$-component a connected graph with $l$ edges more than vertices. We prove that the expected number of creations of $(l+1)$-component, by means of adding a new edge to an $l$-component in a randomly growing graph with $n$ vertices, tends to 1 as $l,n$ tends to $\infty$ but with $l = o(n^{1/4})$. We also show, under the same conditions on $l$ and $n$, that the expected number of vertices that ever belong to an $l$-component is $\sim (12l)^{1/3} n^{2/3}$.
Another Proof of Wright's Inequalities
Published
• View Publication
• BIB
We present a short way of proving the inequalities obtained by Wright in [Journal of Graph Theory, 4: 393 - 407 (1980)] concerning the number of connected graphs with $\ell$ edges more than vertices.
Pure point diffraction implies zero entropy for Delone sets with uniform cluster frequencies
Published in Lett. Math. Phys. 82 (2007) 61-77
• View Publication
• BIB
Delone sets of finite local complexity in Euclidean space are investigated. We show that such a set has patch counting and topological entropy 0 if it has uniform cluster frequencies and is pure point diffractive. We also note that the patch counting entropy is 0 whenever the repetitivity function satisfies a certain growth restriction.
Constraints, MMSNP and expander relational structures
Published
• View Publication
• BIB
We give a poly-time construction for a combinatorial classic known as Sparse Incomparability Lemma, studied by Erdos, Lovasz, Nesetril, Rodl and others: We show that every Constraint Satisfaction Problem is poly-time equivalent to its restriction to structures with large girth. This implies that the complexity classes CSP and Monotone Monadic Strict NP introduced by Feder and Vardi are computationally equivalent. The technical novelty of the paper is a concept of expander relations and a new type of product for relational structures: a generalization of the zig-zag product, the twisted product.
Forbidden lists (NP and CSP for combinatorialists)
Published
• View Publication
• BIB
We present a definition of the class NP in combinatorial context as the set of languages of structures defined by finitely many forbidden lifted substructures. We apply this to special syntactically defined subclasses and show how they correspond to naturally defined (and intensively studied) combinatorial problems. We show that some types of combinatorial problems like edge colorings and graph decompositions express the full computational power of the class NP. We then characterize Constraint Satisfaction Problems (i.e. H-coloring problems) which are expressible by finitely many forbidden lifted substructures. This greatly simplifies and generalizes the earlier attempts to characterize this problem. As a corollary of this approach we perhaps find a proper setting of Feder and Vardi analysis of CSP languages within the class MMSNP.
Correction of paper published in J. Combinatorial Theory 21, 1976: On the Existence of Hadamard Matrices
In the paper On the Existence of Hadamard Matrices in J. Combinatorial Theory 21, 1976, it is shown that for a natural number q > 3, we can construct an Hadamard Matrix of order 2^s q for s \geq t where t = [2 log_2(q-3)]. I will show that this bound is not a consequence of the proof given in the paper and explain the error in the argumentation.
Permutations with Extremal number of Fixed Points
Published
• View Publication
• BIB
We extend Stanley's work on alternating permutations with extremal number of fixed points in two directions: first, alternating permutations are replaced by permutations with a prescribed descent set; second, instead of simply counting permutations we study their generating polynomials by number of excedances. Several techniques are used: Desarmenien's desarrangement combinatorics, Gessel's hook-factorization and the analytical properties of two new permutation statistics "DEZ" and "lec". Explicit formulas for the maximal case are derived by using symmetric function tools.
On path factors of (3,4)-biregular bigraphs
Published
• View Publication
• BIB
A (3,4)-biregular bigraph G is a bipartite graph where all vertices in one part have degree 3 and all vertices in the other part have degree 4. A path factor of G is a spanning subgraph whose components are nontrivial paths. We prove that a simple (3,4)-biregular bigraph always has a path factor such that the endpoints of each path have degree three. Moreover we suggest a polynomial algorithm for the construction of such a path factor.
Necessary Conditions for Schur-Positivity
Published in J. Algebraic Combin. 28 (4) (2008) 495-507
• View Publication
• BIB
In recent years, there has been considerable interest in showing that certain conditions on skew shapes A and B are sufficient for the difference s_A - s_B of their skew Schur functions to be Schur-positive. We determine necessary conditions for the difference to be Schur-positive. Our conditions are motivated by those of Reiner, Shaw and van Willigenburg that are necessary for s_A = s_B, and we deduce a strengthening of their result as a special case.
The absolute order on the symmetric group, constructible partially ordered sets and Cohen-Macaulay complexes
Published
• View Publication
• BIB
The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflections in W is played by the set of all reflections in W. By use of a notion of constructibility for partially ordered sets, it is proved that the absolute order on the symmetric group is homotopy Cohen-Macaulay. This answers in part a question raised by V. Reiner and the first author. The Euler characteristic of the order complex of the proper part of the absolute order on the symmetric group is also computed.
Grassmann Integral Representation for Spanning Hyperforests
Published in J.Phys.A40:13799-13835,2007
• View Publication
• BIB
Given a hypergraph G, we introduce a Grassmann algebra over the vertex set, and show that a class of Grassmann integrals permits an expansion in terms of spanning hyperforests. Special cases provide the generating functions for rooted and unrooted spanning (hyper)forests and spanning (hyper)trees. All these results are generalizations of Kirchhoff's matrix-tree theorem. Furthermore, we show that the class of integrals describing unrooted spanning (hyper)forests is induced by a theory with an underlying OSP(1|2) supersymmetry.
On Colorings of Squares of Outerplanar Graphs
We study vertex colorings of the square $G^2$ of an outerplanar graph $G$. We find the optimal bound of the inductiveness, chromatic number and the clique number of $G^2$ as a function of the maximum degree $Δ$ of $G$ for all $Δ\in \nats$. As a bonus, we obtain the optimal bound of the choosability (or the list-chromatic number) of $G^2$ when $Δ\geq 7$. In the case of chordal outerplanar graphs, we classify exactly which graphs have parameters exceeding the absolute minimum.
On multipartite posets
Published
• View Publication
• BIB
A poset $\mathbf{P} = (X,\preceq)$ is {\em $m$-partite} if $X$ has a partition $X = X_1 \cup ... \cup X_m$ such that (1) each $X_i$ forms an antichain in $\mathbf{P}$, and (2) $x\prec y$ implies $x\in X_i$ and $y\in X_j$ where $i<j$. In this article we derive a tight asymptotic upper bound on the order dimension of $m$-partite posets in terms of $m$ and their bipartite sub-posets in a constructive and elementary way.