Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Independent Sets in Direct Products of Vertex-transitive Graphs
Published
• View Publication
• BIB
The direct product $G\times H$ of graphs $G$ and $H$ is defined by: \[V(G\times H)=V(G)\times V(H)\] and \[E(G\times H)=\left\{[(u_1,v_1),(u_2,v_2)]: (u_1,u_2)\in E(G) \mbox{\ and\ } (v_1,v_2)\in E(H)\right\}.\]
In this paper, we will prove that the equality $$α(G\times H)=\max\{α(G)|H|, α(H)|G|\}$$ holds for all vertex-transitive graphs $G$ and $H$, which provides an affirmative answer to a problem posed by Tardif (Discrete Math. 185 (1998) 193-200). Furthermore, the structure of all maximum independent sets of $G\times H$ are determined.
Overlap Number of Graphs
Published in Journal of Graph Theory. Vol. 70(1), 2012, pp. 10-28
• View Publication
• BIB
An {\it overlap representation} of a graph $G$ assigns sets to vertices so that vertices are adjacent if and only if their assigned sets intersect with neither containing the other. The {\it overlap number} $\ol(G)$ (introduced by Rosgen) is the minimum size of the union of the sets in such a representation. We prove the following: (1) An optimal overlap representation of a tree can be produced in linear time, and its size is the number of vertices in the largest subtree in which the neighbor of any leaf has degree 2. (2) If $δ(G)\ge 2$ and $G\ne K_3$, then $\ol(G)\le |E(G)|-1$, with equality when $G$ is connected and triangle-free and has no star-cutset. (3) If $G$ is an $n$-vertex plane graph with $n\ge5$, then $\ol(G)\le 2n-5$, with equality when every face has length 4 and there is no star-cutset. (4) If $G$ is an $n$-vertex graph with $n\ge 14$, then $\ol(G)\le \floor{n^2/4-n/2-1}$, and this is sharp (for even $n$, equality holds when $G$ arises from $K_{n/2,n/2}$ by deleting a perfect matching).
Deformed Kazhdan-Lusztig elements and Macdonald polynomials
Published in J. Alg. Comb. Theory A 119 (2012), 183-211
• View Publication
• BIB
We introduce deformations of Kazhdan-Lusztig elements and specialised nonsymmetric Macdonald polynomials, both of which form a distinguished basis of the polynomial representation of a maximal parabolic subalgebra of the Hecke algebra. We give explicit integral formula for these polynomials, and explicitly describe the transition matrices between classes of polynomials. We further develop a combinatorial interpretation of homogeneous evaluations using an expansion in terms of Schubert polynomials in the deformation parameters.
On the independence polynomial of an antiregular graph
Published
• View Publication
• BIB
A graph with at most two vertices of the same degree is called antiregular (Merris 2003), maximally nonregular (Zykov 1990) or quasiperfect (Behzad, Chartrand 1967). If s_{k} is the number of independent sets of cardinality k in a graph G, then I(G;x) = s_{0} + s_{1}x + ... + s_{alpha}x^{alpha} is the independence polynomial of G (Gutman, Harary 1983), where alpha = alpha(G) is the size of a maximum independent set. In this paper we derive closed formulae for the independence polynomials of antiregular graphs. In particular, we deduce that every antiregular graph A is uniquely defined by its independence polynomial I(A;x), within the family of threshold graphs. Moreover, I(A;x) is logconcave with at most two real roots, and I(A;-1) belongs to {-1,0}.
Matrix Algebras and Semidefinite Programming Techniques for Codes
This PhD thesis is concerned with SDP bounds for codes: upper bounds for (non)-binary error correcting codes and lower bounds for (non)-binary covering codes. The methods are based on the method of Schrijver that uses triple distances in stead of pairs as in the classical Delsarte bound.
The main topics discussed are:
1) Block-diagonalisation of matrix *-algebras,
2) Terwilliger-algebra of the nonbinary Hamming scheme (including an explicit block-diagonalisation),
3) SDP-bounds for (nonbinary) error-correcting codes and covering codes (including computational results),
4) Discussion on the relation with matrix-cuts,
5) Computational results for Affine caps.
An $\tilde{O}(\log^2(N))$ time primality test for Generalized Cullen Numbers
Published
• View Publication
• BIB
Generalized Cullen Numbers are positive integers of the form $C_b(n):=nb^n+1$. In this work we generalize some known divisibility properties of Cullen Numbers and present two primality tests for this family of integers. The first test is based in the following property of primes from this family: $n^{b^{n}}\equiv (-1)^{b}$ (mod $nb^n+1$). It is stronger and has less computational cost than Fermat's test (for bases $b$ and $n$) and than Miller-Rabin's test (for base $n$). Pseudoprimes for this new test seem to be very scarce, only 4 pseudoprimes have been found among the many millions of Generalized Cullen Numbers tested. We also present a second, more demanding, test for wich no pseudoprimes have been found. This test leads to a "quasi-deterministic" test, running in $\tilde{O}(\log^2(N))$ time, which might be very useful in the search of Generalized Cullen Primes.
Skew quasisymmetric Schur functions and noncommutative Schur functions
Published in Adv. Math., 226:4492--4532 (2011)
• View Publication
• BIB
Recently a new basis for the Hopf algebra of quasisymmetric functions $QSym$, called quasisymmetric Schur functions, has been introduced by Haglund, Luoto, Mason, van Willigenburg. In this paper we extend the definition of quasisymmetric Schur functions to introduce skew quasisymmetric Schur functions. These functions include both classical skew Schur functions and quasisymmetric Schur functions as examples, and give rise to a new poset $\mathcal{L}_C$ that is analogous to Young's lattice. We also introduce a new basis for the Hopf algebra of noncommutative symmetric functions $NSym$. This basis of $NSym$ is dual to the basis of quasisymmetric Schur functions and its elements are the pre-image of the Schur functions under the forgetful map $χ: NSym \rightarrow Sym$. We prove that the multiplicative structure constants of the noncommutative Schur functions, equivalently the coefficients of the skew quasisymmetric Schur functions when expanded in the quasisymmetric Schur basis, are nonnegative integers, satisfying a Littlewood-Richardson rule analogue that reduces to the classical Littlewood-Richardson rule under $χ$.
As an application we show that the morphism of algebras from the algebra of Poirier-Reutenauer to $Sym$ factors through $NSym$. We also extend the definition of Schur functions in noncommuting variables of Rosas-Sagan in the algebra $NCSym$ to define quasisymmetric Schur functions in the algebra $NCQSym$. We prove these latter functions refine the former and their properties, and project onto quasisymmetric Schur functions under the forgetful map. Lastly, we show that by suitably labeling $\mathcal{L}_C$, skew quasisymmetric Schur functions arise in the theory of Pieri operators on posets.
Subclasses of the separable permutations
Published
• View Publication
• BIB
We prove that all subclasses of the separable permutations not containing Av(231) or a symmetry of this class have rational generating functions. Our principal tools are partial well-order, atomicity, and the theory of strongly rational permutation classes introduced here for the first time.
${\mathbb G}_a^M$ degeneration of flag varieties
Published
• View Publication
• BIB
Let $\Fl_λ$ be a generalized flag variety of a simple Lie group $G$ embedded into the projectivization of an irreducible $G$-module $V_λ$. We define a flat degeneration $\Fl_λ^a$, which is a ${\mathbb G}^M_a$ variety. Moreover, there exists a larger group $G^a$ acting on $\Fl_λ^a$, which is a degeneration of the group $G$. The group $G^a$ contains ${\mathbb G}^M_a$ as a normal subgroup. If $G$ is of type $A$, then the degenerate flag varieties can be embedded into the product of Grassmanians and thus to the product of projective spaces. The defining ideal of $\Fl^a_λ$ is generated by the set of degenerate Pl\" ucker relations. We prove that the coordinate ring of $\Fl_λ^a$ is isomorphic to a direct sum of dual PBW-graded $\g$-modules. We also prove that there exist bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogues of semistandard tableux.
Primitivity and Independent Sets in Direct Products of Vertex-Transitive Graphs
Published
• View Publication
• BIB
We introduce the concept of the primitivity of independent set in vertex-transitive graphs, and investigate the relationship between the primitivity and the structure of maximum independent sets in direct products of vertex-transitive graphs. As a consequence of our main results, we positively solve an open problem related to the structure of independent sets in powers of vertex-transitive graphs.
Vertex colorings of simplicial complexes
We define an (r,s)-coloring of an abstract simplicial complex to be a coloring using r colors of the vertices so that in any simplex at most s vertices have the same color. We translate the problem of finding an (r,s)-coloring of a given simplex to a topological problem and to a ring theoretic problem. The topological version involves vector bundles over Davis--Januszkiewicz spaces and the algebraic one involves factorizations in Stanley-Reisner rings.
Injective colorings of sparse graphs
Published in Discrete Math. Vol. 310, no. 21, 2010, pp. 2965-2973
• View Publication
• BIB
Let $mad(G)$ denote the maximum average degree (over all subgraphs) of $G$ and let $χ_i(G)$ denote the injective chromatic number of $G$. We prove that if $mad(G) \leq 5/2$, then $χ_i(G)\leqΔ(G) + 1$; and if $mad(G) < 42/19$, then $χ_i(G)=Δ(G)$. Suppose that $G$ is a planar graph with girth $g(G)$ and $Δ(G)\geq 4$. We prove that if $g(G)\geq 9$, then $χ_i(G)\leqΔ(G)+1$; similarly, if $g(G)\geq 13$, then $χ_i(G)=Δ(G)$.
Determinants and Compositions of Natural Numbers
We consider a particular type of matrices which belong at the same time to the class of Hessenberg and Toeplitz matrices, and whose determinants are equal to the number of a type of compositions of natural numbers.
We prove a formula in which the number of weak compositions with a fixed number of zeroes is expressed in terms of the number of compositions without zeroes. Then we find a relationship between weak compositions and coefficients of characteristic polynomials of appropriate matrices.
Finally, we prove three explicit formulas for weak compositions of a special kind.
The connective constant of the honeycomb lattice equals $\sqrt{2+\sqrt2}$
Published
• View Publication
• BIB
We provide the first mathematical proof that the connective constant of the hexagonal lattice is equal to $\sqrt{2+\sqrt 2}$. This value has been derived non rigorously by B. Nienhuis in 1982, using Coulomb gas approach from theoretical physics. Our proof uses a parafermionic observable for the self avoiding walk, which satisfies a half of the discrete Cauchy-Riemann relations. Establishing the other half of the relations (which conjecturally holds in the scaling limit) would also imply convergence of the self-avoiding walk to SLE(8/3).
Bounded Outdegree and Extremal Length on Discrete Riemann Surfaces
Published in Conform. Geom. Dyn. 14 (2010), 194-201
• View Publication
• BIB
Let $T$ be a triangulation of a Riemann surface. We show that the 1-skeleton of $T$ may be oriented so that there is a global bound on the outdegree of the vertices. Our application is to construct extremal metrics on triangulations formed from $T$ by attaching new edges and vertices and subdividing its faces. Such refinements provide a mechanism of convergence of the discrete triangulation to the classical surface. We will prove a bound on the distortion of the discrete extremal lengths of path families on $T$ under the refinement process. Our bound will depend only on the refinement and not on $T$. In particular, the result does not require bounded degree.
A characterization of Q-polynomial association schemes
Published
• View Publication
• BIB
We prove a necessary and sufficient condition for a symmetric association scheme to be a Q-polynomial scheme.
Tropical Geometry and the Motivic Nearby Fiber
Published in Compositio Math. 148 (2012) 269-294
• View Publication
• BIB
We construct motivic invariants of a subvariety of an algebraic torus from its tropicalization and initial degenerations. More specifically, we introduce an invariant of a compactification of such a variety called the "tropical motivic nearby fiber." This invariant specializes in the schon case to the Hodge-Deligne polynomial of the limit mixed Hodge structure of a corresponding degeneration. We give purely combinatorial expressions for this Hodge-Deligne polynomial in the cases of schon hypersurfaces and smooth tropical varieties. We also deduce a formula for the Euler characteristic of a general fiber of the degeneration.
Congruence conditions, parcels, and Tutte polynomials of graphs and matroids
Published
• View Publication
• BIB
Let $G$ be a matrix and $M(G)$ be the matroid defined by linear dependence on the set $E$ of column vectors of $G.$ Roughly speaking, a parcel is a subset of pairs $(f,g)$ of functions defined on $E$ to an Abelian group $A$ satisfying a coboundary condition (that $f-g$ is a flow over $A$ relative to $G$) and a congruence condition (that the size of the supports of $f$ and $g$ satisfy some congruence condition modulo an integer). We prove several theorems of the form: a linear combination of sizes of parcels, with coefficients roots of unity, equals an evaluation of the Tutte polynomial of $M(G)$ at a point $(λ-1,x-1)$ on the complex hyperbola $(λ- 1)(x-1) = |A|.$
Covering a graph by forests and a matching
Published
• View Publication
• BIB
We prove that for any positive integer $k$, the edges of any graph whose fractional arboricity is at most $k + 1/(3k+2)$ can be decomposed into $k$ forests and a matching.
Minor-minimal planar graphs of even branch-width
Published
• View Publication
• BIB
Let k>0 be an integer, let H be a minor-minimal graph in the projective plane such that every homotopically non-trivial closed curve intersects H at least k times, and let G be the planar double cover of H obtained by lifting G into the universal covering space of the projective plane, the sphere. We prove that G is minor-minimal of branch-width 2k. We also exhibit examples of minor-minimal planar graphs of branch-width 6 that do not arise this way.