Showing 20 papers (Total: 83342 papers, 48132 authors in database)
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.
Co-quasi-invariant spaces for finite complex reflection groups
Published
• View Publication
• BIB
We study, in a global uniform manner, the quotient of the ring of polynomials in l sets of n variables, by the ideal generated by diagonal quasi-invariant polynomials for general permutation groups W=G(r,n). We show that, for each such group W, there is an explicit universal symmetric function that gives the N^l-graded Hilbert series for these spaces. This function is universal in that its dependance on l only involves the number of variables it is calculated with. We also discuss the combinatorial implications of the observed fact that it affords an expansion as a positive coefficient polynomial in the complete homogeneous symmetric functions.
Sherali-Adams Relaxations of Graph Isomorphism Polytopes
Published
• View Publication
• BIB
We investigate the Sherali-Adams lift & project hierarchy applied to a graph isomorphism polytope whose integer points encode the isomorphisms between two graphs. In particular, the Sherali-Adams relaxations characterize a new vertex classification algorithm for graph isomorphism, which we call the generalized vertex classification algorithm. This algorithm generalizes the classic vertex classification algorithm and generalizes the work of Tinhofer on polyhedral methods for graph automorphism testing. We establish that the Sherali-Adams lift & project hierarchy when applied to a graph isomorphism polytope needs Omega(n) iterations in the worst case before converging to the convex hull of integer points. We also show that this generalized vertex classification algorithm is also strongly related to the well-known Weisfeiler-Lehman algorithm, which we show can also be characterized in terms of the Sherali-Adams relaxations of a semi-algebraic set whose integer points encode graph isomorphisms.
On Measures on Partitions Arising in Harmonic Analysis for Linear and Projective Characters of the Infinite Symmetric Group
The z-measures on partitions originated from the problem of harmonic analysis of linear representations of the infinite symmetric group in the works of Kerov, Olshanski and Vershik (1993, 2004). A similar family corresponding to projective representations was introduced by Borodin (1997). The latter measures live on strict partitions (i.e., partitions with distinct parts), and the z-measures are supported by all partitions. In this note we describe some combinatorial relations between these two families of measures using the well-known doubling of shifted Young diagrams.
Ehrhart's polynomial for equilateral triangles in $\mathbb Z^3$
In this paper we calculate the Ehrhart's polynomial associated with a 2-dimensional regular polytope (i.e. equilateral triangles) in $\mathbb Z^3$. The polynomial takes a relatively simple form in terms of the coordinates of the vertices of the polytope and it depends heavily on the value $d$ and its divisors, where $d=\sqrt{\frac{a^2+b^2+c^2}{3}}$ and $(a,b,c)$ ($\gcd(a,b,c)=1$) is a vector with integer coordinates normal to the plane containing the triangle.
Factor frequencies in languages invariant under more symmetries
Published in Integers - Electronic Journal of Combinatorial Number Theory 12 (2012), A36
• Search Publication
The number of frequencies of factors of length $n+1$ in a recurrent aperiodic infinite word does not exceed $3Δ\C(n)$, where $Δ\C (n)$ is the first difference of factor complexity, as shown by Boshernitzan. Pelantová together with the author derived a better upper bound for infinite words whose language is closed under reversal. In this paper, we further diminish the upper bound for uniformly recurrent infinite words whose language is invariant under all elements of a finite group of symmetries and we prove the optimality of the obtained upper bound.
Two distance-regular graphs
Published in Journal of Algebraic Combinatorics (2011)
• View Publication
• BIB
We construct two families of distance-regular graphs, namely the subgraph of the dual polar graph of type B_3(q) induced on the vertices far from a fixed point, and the subgraph of the dual polar graph of type D_4(q) induced on the vertices far from a fixed edge. The latter is the extended bipartite double of the former.
Fissioned triangular schemes via sharply 3-transitive groups
Published
• View Publication
• BIB
n [D. de Caen, E.R. van Dam. Fissioned triangular schemes via the cross-ratio, {Europ. J. Combin.}, 22 (2001) 297-301], de Caen and van Dam constructed a fission scheme $\FT(q+1)$ of the triangular scheme on $\PG(1,q)$. This fission scheme comes from the naturally induced action of $\PGL(2,q)$ on the 2-element subsets of $\PG(1,q)$. The group $\PGL(2,q)$ is one of two infinite families of finite sharply 3-transitive groups. The other such family $\Mq(q)$ is a "twisted" version of $\PGL(2,q)$, where $q$ is an even power of an odd prime. The group $\PSL(2,q)$ is the intersection of $\PGL(2,q)$ and $\Mq(q)$. In this paper, we investigate the association schemes coming from the actions of $\PSL(2,q)$, $\Mq(q)$ and $\PML(2,q)$, respectively. Through the conic model introduced in [H.D.L. Hollmann, Q. Xiang. Association schemes from the actions of $\PGL(2, q) $ fixing a nonsingular conic, {J. Algebraic Combin.}, 24 (2006) 157-193], we introduce an embedding of $\PML(2,q)$ into $\PML(3,q)$. For each of the three groups mentioned above, this embedding produces two more isomorphic association schemes: one on hyperbolic lines and the other on hyperbolic points (via a null parity) in a 3-dimensional orthogonal geometry. This embedding enables us to treat these three isomorphic association schemes simultaneously.
Extended formulations for polygons
Published in Discrete & Computational Geometry, Vol. 48, No. 3, 2012, pp 658-668
• View Publication
• BIB
The extension complexity of a polytope $P$ is the smallest integer $k$ such that $P$ is the projection of a polytope $Q$ with $k$ facets. We study the extension complexity of $n$-gons in the plane. First, we give a new proof that the extension complexity of regular $n$-gons is $O(\log n)$, a result originating from work by Ben-Tal and Nemirovski (2001). Our proof easily generalizes to other permutahedra and simplifies proofs of recent results by Goemans (2009), and Kaibel and Pashkovich (2011). Second, we prove a lower bound of $\sqrt{2n}$ on the extension complexity of generic $n$-gons. Finally, we prove that there exist $n$-gons whose vertices lie on a $O(n) \times O(n^2)$ integer grid with extension complexity $Ω(\sqrt{n}/\sqrt{\log n})$.
The nullity of unicyclic signed graphs
Published in Linear Algebra and its Applications, 2013, 438(3), 1193-1200
• View Publication
• BIB
In this paper we introduce the nullity of signed graphs, and give some results on the nullity of signed graphs with pendant trees. We characterize the unicyclic signed graphs of order n with nullity n-2; n-3; n-4; n-5 respectively.
Sparse Sums of Positive Semidefinite Matrices
Published
• View Publication
• BIB
Recently there has been much interest in "sparsifying" sums of rank one matrices: modifying the coefficients such that only a few are nonzero, while approximately preserving the matrix that results from the sum. Results of this sort have found applications in many different areas, including sparsifying graphs. In this paper we consider the more general problem of sparsifying sums of positive semidefinite matrices that have arbitrary rank.
We give several algorithms for solving this problem. The first algorithm is based on the method of Batson, Spielman and Srivastava (2009). The second algorithm is based on the matrix multiplicative weights update method of Arora and Kale (2007). We also highlight an interesting connection between these two algorithms.
Our algorithms have numerous applications. We show how they can be used to construct graph sparsifiers with auxiliary constraints, sparsifiers of hypergraphs, and sparse solutions to semidefinite programs.
Dual equivalence and Schur positivity
We define dual equivalence for any collection of combinatorial objects endowed with a descent set, and we show that giving a dual equivalence establishes the symmetry and Schur positivity of the quasi-symmetric generating function. We give an explicit formula for the Schur expansion of the generating function in terms of distinguished elements of the dual equivalence classes. These concepts and proofs simplify in the ubiquitous case when the collection of objects has a sufficiently nice reading word.
Optimal Folding of Data Flow Graphs based on Finite Projective Geometry using Lattice Embedding
Published in Discrete Mathematics, Algorithms and Applications Vol. 5, No. 4 (2013)
• View Publication
• BIB
A number of computations exist, especially in area of error-control coding and matrix computations, whose underlying data flow graphs are based on finite projective-geometry(PG) based balanced bipartite graphs. Many of these applications are actively being researched upon. Almost all these applications need bipartite graphs of the order of tens of thousands in practice, whose nodes represent parallel computations. To reduce its implementation cost, reducing amount of system/hardware resources during design is an important engineering objective. In this context, we present a scheme to reduce resource utilization when performing computations derived from PG-based graphs. In a fully parallel design based on PG concepts, the number of processing units is equal to the number of vertices, each performing an atomic computation. To reduce the number of processing units used for implementation, we present an easy way of partitioning the vertex set. Each block of partition is then assigned to a processing unit. A processing unit performs the computations corresponding to the vertices in the block assigned to it in a sequential fashion, thus creating the effect of folding the overall computation. These blocks have certain symmetric properties that enable us to develop a conflict-free schedule. The scheme achieves the best possible throughput, in lack of any overhead of shuffling data across memories while scheduling another computation on the same processing unit. This paper reports two folding schemes, which are based on same lattice embedding approach, based on partitioning. We first provide a scheme for a projective space of dimension five, and the corresponding schedules. Both the folding schemes that we present have been verified by both simulation and hardware prototyping for different applications. We later generalize this scheme to arbitrary projective spaces.
On variants of conflict-free-coloring for hypergraphs
Published
• View Publication
• BIB
Conflict-free coloring is a kind of vertex coloring of hypergraphs requiring each hyperedge to have a color which appears only on one vertex. More generally, for a positive integer $k$ there are $k$-conflict-free colorings ($k$-CF-colorings for short) and $k$-strong-conflict-free colorings ($k$-SCF-colorings for short). %for some positive integer $k$. Let $H_n$ be the hypergraph of which the vertex-set is $V_n=\{1,2,\dots,n\}$ and the hyperedge-set $\cal{E}_n$ is the set of all (non-empty) subsets of $V_n$ consisting of consecutive elements of $V_n$. Firstly, we study the $k$-SCF-coloring of $H_n$, give the exact $k$-SCF-coloring chromatic number of $H_n$ for $k=2,3$, and present upper and lower bounds of the $k$-SCF-coloring chromatic number of $H_n$ for all $k$. Secondly, we give the exact $k$-CF-coloring chromatic number of $H_n$ for all $k$.
Periodicity of Rauzy scheme and substitutional systems
In the paper the notion of {\em Rauzy scheme} is introduced. From Rauzy graph Rauzy Scheme can be obtaining by uniting sequence of vertices of ingoing and outgoing degree 1 by arches. This notion is a tool to describe Rauzy graph behavior. For morphic superword we prove periodicity of Rauzy schemes. This is generalization of fact that quadratic irrationals have periodic chain fractions.
Identifying codes in line graphs
Published in Journal of Graph Theory 73, 4 (2013) 425-448
• View Publication
• BIB
An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We study the edge-identifying code problem, i.e. the identifying code problem in line graphs. If $\ID(G)$ denotes the size of a minimum identifying code of an identifiable graph $G$, we show that the usual bound $\ID(G)\ge \lceil\log_2(n+1)\rceil$, where $n$ denotes the order of $G$, can be improved to $Θ(\sqrt{n})$ in the class of line graphs. Moreover, this bound is tight. We also prove that the upper bound $\ID(\mathcal{L}(G))\leq 2|V(G)|-5$, where $\mathcal{L}(G)$ is the line graph of $G$, holds (with two exceptions). This implies that a conjecture of R. Klasing, A. Kosowski, A. Raspaud and the first author holds for a subclass of line graphs. Finally, we show that the edge-identifying code problem is NP-complete, even for the class of planar bipartite graphs of maximum degree~3 and arbitrarily large girth.
A new proof of Sarkozy's theorem
Published
• View Publication
• BIB
It is a striking and elegant fact (proved independently by Furstenberg and Sarkozy) that in any subset of the natural numbers of positive upper density there necessarily exist two distinct elements whose difference is given by a perfect square. In this article we present a new and simple proof of this result by adapting an argument originally developed by Croot and Sisask to give a new proof of Roth's theorem.