Showing 20 papers (Total: 82139 papers, 47531 authors in database)
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.
Closures of K-orbits in the flag variety for GL(2n)
Published
• View Publication
• BIB
We characterize the O_{2n} orbits in the flag variety for GL_{2n} with rationally smooth closure via a graph-theoretic criterion. We also give a necessary pattern avoidance criterion for rational smoothness and conjecture its sufficiency.
Many collinear k-tuples with no k+1 collinear points
Published
• View Publication
• BIB
For every $k>3$, we give a construction of planar point sets with many collinear $k$-tuples and no collinear $(k+1)$-tuples. We show that there are $n_0=n_0(k)$ and $c=c(k)$ such that if $n\geq n_0$, then there exists a set of $n$ points in the plane that does not contain $k+1$ points on a line, but it contains at least $n^{2-\frac{c}{\sqrt{\log n}}}$ collinear $k$-tuples of points. Thus, we significantly improve the previously best known lower bound for the largest number of collinear $k$-tuples in such a set, and get reasonably close to the trivial upper bound $O(n^2)$.
The smallest one-realization of a given set
Published
• View Publication
• BIB
For any set $S$ of positive integers, a mixed hypergraph ${\cal H}$ is a realization of $S$ if its feasible set is $S$, furthermore, ${\cal H}$ is a one-realization of $S$ if it is a realization of $S$ and each entry of its chromatic spectrum is either 0 or 1. Jiang et al. \cite{Jiang} showed that the minimum number of vertices of realization of $\{s,t\}$ with $2\leq s\leq t-2$ is $2t-s$. Kr$\acute{\rm a}$l \cite{Kral} proved that there exists a one-realization of $S$ with at most $|S|+2\max{S}-\min{S}$ vertices. In this paper, we improve Kr$\acute{\rm a}$l's result, and determine the size of the smallest one-realization of a given set. As a result, we partially solve an open problem proposed by Jiang et al. in 2002 and by Kr$\acute{\rm a}$l in 2004.
Intersecting families of sets and permutations: a survey
A family $\mathcal{A}$ of sets is said to be \emph{$t$-intersecting} if any two sets in $\mathcal{A}$ have at least $t$ common elements. A central problem in extremal set theory is to determine the size or structure of a largest $t$-intersecting sub-family of a given family $\mathcal{F}$. We give a survey of known results, conjectures and open problems for various important families $\mathcal{F}$, namely, power sets, levels of power sets, hereditary families, families of signed sets, families of labeled sets, and families of permutations. We also provide some extensions and consequences of known results.