Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Monotone Hurwitz numbers and the HCIZ integral
Published
• View Publication
• BIB
In this article, we prove that the complex convergence of the HCIZ free energy is equivalent to the non-vanishing of the HCIZ integral in a neighbourhood of $z=0$. Our approach is based on a combinatorial model for the Maclaurin coefficients of the HCIZ integral together with classical complex-analytic techniques.
m_3^3-Convex geometries are A-free
Let V be a finite set and M a collection of subsets of V. Then M is an alignment of V if and only if M is closed under taking intersections and contains both V and the empty set. If M is an alignment of V, then the elements of M are called convex sets and the pair (V, M) is called an aligned space. If S is a subset of V, then the convex hull of S is the smallest convex set that contains S. Suppose X in M. Then x in X is an extreme point for X if X-x is in M. The collection of all extreme points of X is denoted by ex(X). A convex geometry on a finite set is an aligned space with the additional property that every convex set is the convex hull of its extreme points. Let G=(V,E) be a connected graph and U a set of vertices of G. A subgraph T of G containing U is a minimal U-tree if T is a tree and if every vertex of V(T)-U is a cut-vertex of the subgraph induced by V(T). The monophonic interval of U is the collection of all vertices of G that belong to some minimal U-tree. A set S of vertices in a graph is m_k-convex if it contains the monophonic interval of every k-set of vertices is S. A set of vertices S of a graph is m^3-convex if for every pair u,v of vertices in S, the vertices on every induced path of length at least 3 are contained in S. A set S is m_3^3-convex if it is both m_3- and m^3- convex. We show that if the m_3^3-convex sets form a convex geometry, then G is A-free.
Proofs of some binomial identities using the method of last squares
Published in Fibonacci Quart. 48 (2010) 290-297
• View Publication
• BIB
We give combinatorial proofs for some identities involving binomial sums that have no closed form.
Families of twisted tensor product codes
Published in Designs, Codes and Cryptography June 2013, Volume 67, Issue 3, pp 375-384
• View Publication
• BIB
Using geometric properties of the variety $\cV_{r,t}$, the image under the Grassmannian map of a Desarguesian $(t-1)$-spread of $\PG(rt-1,q)$, we introduce error correcting codes related to the twisted tensor product construction, producing several families of constacyclic codes. We exactly determine the parameters of these codes and characterise the words of minimum weight.
On Multiplicative Sidon Sets
Published in INTEGERS 13:A26, 2013
• View Publication
• BIB
Fix integers $b>a\geq1$ with $g:=\gcd(a,b)$. A set $S\subseteq\mathbb{N}$ is \emph{$\{a,b\}$-multiplicative} if $ax\neq by$ for all $x,y\in S$. For all $n$, we determine an $\{a,b\}$-multiplicative set with maximum cardinality in $[n]$, and conclude that the maximum density of an $\{a,b\}$-multiplicative set is $\frac{b}{b+g}$. For $A, B \subseteq \mathbb{N}$, a set $S\subseteq\mathbb{N}$ is \emph{$\{A,B\}$-multiplicative} if $ax=by$ implies $a = b$ and $x = y$ for all $a\in A$ and $b\in B$, and $x,y\in S$. For $1 < a < b < c$ and $a, b, c$ coprime, we give an O(1) time algorithm to approximate the maximum density of an $\{\{a\},\{b,c\}\}$-multiplicative set to arbitrary given precision.
Unit Distances in Three Dimensions
Published
• View Publication
• BIB
We show that the number of unit distances determined by n points in R^3 is O(n^{3/2}), slightly improving the bound of Clarkson et al. established in 1990. The new proof uses the recently introduced polynomial partitioning technique of Guth and Katz [arXiv:1011.4105]. While this paper was still in a draft stage, a similar proof of our main result was posted to the arXiv by Joshua Zahl [arXiv:1104.4987].
Some Quotients of the Boolean Lattice are Symmetric Chain Orders
Published
• View Publication
• BIB
R. Canfield has conjectured that for all subgroups G of the automorphism group of the Boolean lattice B(n) (which can be regarded as the symmetric group S(n)) the quotient order B(n)/G is a symmetric chain order. We provide a straightforward proof of a generalization of a result of K. K. Jordan: namely, B(n)/G is an SCO whenever G is generated by powers of disjoint cycles. The symmetric chain decompositions of Greene and Kleitman provide the basis for partitions of these quotients.
Translation invariant equations and the method of Sanders
Published
• View Publication
• BIB
We extend the recent improvement of Roth's theorem on three term arithmetic progressions by Sanders to obtain similar results for the problem of locating non-trivial solutions to translation invariant linear equations in many variables in both $\bbz/N\bbz$ and $\bbf_q[t]$.
Some new results in extremal graph theory
Published
• View Publication
• BIB
In recent years several classical results in extremal graph theory have been improved in a uniform way and their proofs have been simplified and streamlined. These results include a new Erdős-Stone-Bollobás theorem, several stability theorems, several saturation results and bounds for the number of graphs with large forbidden subgraphs. Another recent trend is the expansion of spectral extremal graph theory, in which extremal properties of graphs are studied by means of eigenvalues of various matrices. One particular achievement in this area is the casting of the central results above in spectral terms, often with additional enhancement. In addition, new, specific spectral results were found that have no conventional analogs. All of the above material is scattered throughout various journals, and since it may be of some interest, the purpose of this survey is to present the best of these results in a uniform, structured setting, together with some discussions of the underpinning ideas.
Dismal Arithmetic
Published in J. Integer Sequences 14 (2011), #11.9.8
• Search Publication
Dismal arithmetic is just like the arithmetic you learned in school, only simpler: there are no carries, when you add digits you just take the largest, and when you multiply digits you take the smallest. This paper studies basic number theory in this world, including analogues of the primes, number of divisors, sum of divisors, and the partition function.
Posets of Geometric Graphs
Published in Ars Mathematica Contemporanea 5 (2012) 265-284
• View Publication
• BIB
A geometric graph G(bar) is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call G(bar) a geometric realization of the underlying abstract graph G. A geometric homomorphism is a vertex map that preserves adjacencies and crossings (but not necessarily non-adjacencies or non-crossings). This work uses geometric homomorphisms to introduce a partial order on the set of isomorphism classes of geometric realizations of an abstract graph G. We say G(bar) precedes G(hat) if G(bar) and G(hat) are geometric realizations of G and there is a vertex-injective geometric homomorphism from G(bar) to G(hat). This paper develops tools to determine when two geometric realizations are comparable. Further, for 3 \leq n \leq 6, this paper provides the isomorphism classes of geometric realizations of P_n, C_n and K_n, as well as the Hasse diagrams of the geometric homomorphism posets of these graphs. The paper also provides the following results for general n: the poset of P_n and C_n has a unique minimal element and a unique maximal element; if k \leq n then the poset of P_k (resp., the poset of C_k) is a subposet of the poset for P_n (resp., C_n); and the poset for K_n contains a chain of length n-2.
On the logarithimic calculus and Sidorenko's conjecture
Published
• View Publication
• BIB
We study a type of calculus for proving inequalities between subgraph densities which is based on Jensen's inequality for the logarithmic function. As a demonstration of the method we verify the conjecture of Erdös-Simonovits and Sidorenko for new families of graphs. In particular we give a short analytic proof for a result by Conlon, Fox and Sudakov. Using this, we prove the forcing conjecture for bipartite graphs in which one vertex is complete to the other side.
Unique path partitions: Characterization and Congruences
Published in Annals of Combinatorics 17 (2013), 591-602
• View Publication
• BIB
We give a complete classification of the unique path partitions and study congruence properties of the function which enumerates such partitions.
Locally monotone Boolean and pseudo-Boolean functions
Published in Discrete Applied Mathematics 160 (12) (2012) 1651-1660
• View Publication
• BIB
We propose local versions of monotonicity for Boolean and pseudo-Boolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if none of its partial derivatives changes in sign on tuples which differ in less than p positions. As it turns out, this parameterized notion provides a hierarchy of monotonicities for pseudo-Boolean (Boolean) functions. Local monotonicities are shown to be tightly related to lattice counterparts of classical partial derivatives via the notion of permutable derivatives. More precisely, p-locally monotone functions are shown to have p-permutable lattice derivatives and, in the case of symmetric functions, these two notions coincide. We provide further results relating these two notions, and present a classification of p-locally monotone functions, as well as of functions having p-permutable derivatives, in terms of certain forbidden "sections", i.e., functions which can be obtained by substituting constants for variables. This description is made explicit in the special case when p=2.
d-Representability of simplicial complexes of fixed dimension
Let K be a simplicial complex with vertex set V = {v_1,..., v_n}. The complex K is d-representable if there is a collection {C_1,...,C_n} of convex sets in R^d such that a subcollection {C_{i_1},...,C_{i_j}} has a nonempty intersection if and only if {v_{i_1},...,v_{i_j}} is a face of K.
In 1967 Wegner proved that every simplicial complex of dimension d is (2d+1)-representable. He also suggested that his bound is the best possible, i.e., that there are $d$-dimensional simplicial complexes which are not 2d-representable. However, he was not able to prove his suggestion.
We prove that his suggestion was indeed right. Thus we add another piece to the puzzle of intersection patterns of convex sets in Euclidean space.
Nice labeling problem for event structures: a counterexample
Published in SIAM J. Comput. 41 (2012), 715-727
• View Publication
• BIB
In this note, we present a counterexample to a conjecture of Rozoy and Thiagarajan from 1991 (called also the nice labeling problem) asserting that any (coherent) event structure with finite degree admits a labeling with a finite number of labels, or equivalently, that there exists a function $f: \mathbb{N} \mapsto \mathbb{N}$ such that an event structure with degree $\le n$ admits a labeling with at most $f(n)$ labels. Our counterexample is based on the Burling's construction from 1965 of 3-dimensional box hypergraphs with clique number 2 and arbitrarily large chromatic numbers and the bijection between domains of event structures and median graphs established by Barthélemy and Constantin in 1993.
Large matchings in uniform hypergraphs and the conjectures of Erdos and Samuels
Published
• View Publication
• BIB
In this paper we study conditions which guarantee the existence of perfect matchings and perfect fractional matchings in uniform hypergraphs. We reduce this problem to an old conjecture by Erdős on estimating the maximum number of edges in a hypergraph when the (fractional) matching number is given, which we are able to solve in some special cases using probabilistic techniques. Based on these results, we obtain some general theorems on the minimum $d$-degree ensuring the existence of perfect (fractional) matchings. In particular, we asymptotically determine the minimum vertex degree which guarantees a perfect matching in 4-uniform and 5-uniform hypergraphs. We also discuss an application to a problem of finding an optimal data allocation in a distributed storage system.
On embeddings of CAT(0) cube complexes into products of trees
Published
• View Publication
• BIB
We prove that the contact graph of a 2-dimensional CAT(0) cube complex ${\bf X}$ of maximum degree $Δ$ can be coloured with at most $ε(Δ)=MΔ^{26}$ colours, for a fixed constant $M$. This implies that ${\bf X}$ (and the associated median graph) isometrically embeds in the Cartesian product of at most $ε(Δ)$ trees, and that the event structure whose domain is ${\bf X}$ admits a nice labeling with $ε(Δ)$ labels. On the other hand, we present an example of a 5-dimensional CAT(0) cube complex with uniformly bounded degrees of 0-cubes which cannot be embedded into a Cartesian product of a finite number of trees. This answers in the negative a question raised independently by F. Haglund, G. Niblo, M. Sageev, and the first author of this paper.
Monotone Hurwitz numbers and the HCIZ integral II
Motivated by results for the HCIZ integral in Part I of this paper, we study the structure of monotone Hurwitz numbers, which are a desymmetrized version of classical Hurwitz numbers. We prove a number of results for monotone Hurwitz numbers and their generating series that are striking analogues of known results for the classical Hurwtiz numbers. These include explicit formulas for monotone Hurwitz numbers in genus 0 and 1, for all partitions, and an explicit rational form for the generating series in arbitrary genus. This rational form implies that, up to an explicit combinatorial scaling, monotone Hurwitz numbers are polynomial in the parts of the partition.
Simplifying and Unifying Bruhat Order for BGB, PGB, KGB, and KGP
This paper provides a unifying and simplifying approach to Bruhat order in which the usual Bruhat order, parabolic Bruhat order, and Bruhat order for symmetric pairs are shown to have combinatorially analogous and relatively simple descriptions. Such analogies are valuable as they permit the study of PGB and KGB by reducing to BGB rather than by introducing additional machinery. A concise definition for reduced expressions and a simple proof of the exchange condition for PGB are provided as applications of this philosophy. A geometric argument for spherical subgroups, which includes all of the cases considered, shows that Bruhat order has property Z and therefore satisfies the subexpression property. Thus, Bruhat order can be described using only simple relations, and it is the simple relations which we simplify combinatorially. A parametrization of KGP is a simple consequence of understanding the Bruhat order of KGB restricted to a P-orbit.