Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Frameworks with forced symmetry I: Reflections and rotations
Published
• View Publication
• BIB
We give a combinatorial characterization of generic frameworks that are minimally rigid under the additional constraint of maintaining symmetry with respect to a finite order rotation or a reflection. To establish these results we develop a new technique for deriving linear representations of sparsity matroids on colored graphs and extend the direction network method of proving rigidity characterizations to handle reflections.
Frameworks with forced symmetry II: Orientation-preserving crystallographic groups
Published
• View Publication
• BIB
We give a combinatorial characterization of minimally rigid planar frameworks with orientation-preserving crystallographic symmetry, under the constraint of forced symmetry. The main theorems are proved by extending the methods of the first paper in this sequence from groups generated by a single rotation to groups generated by translations and rotations. The proofs make use of a new family of matroids defined on crystallographic groups and associated submodular functions.
Convex and subharmonic functions on graphs
Published in Involve, a Journal of Mathematics 7-2 (2014), 227--237
• View Publication
• BIB
We explore the relationship between convex and subharmonic functions on discrete sets. Our principal concern is to determine the setting in which a convex function is necessarily subharmonic. We initially consider the primary notions of convexity on graphs and show that more structure is needed to establish the desired result. To that end, we consider a notion of convexity defined on lattice-like graphs generated by normed abelian groups. For this class of graphs, we are able to prove that all convex functions are subharmonic.
On the Mori-Szekely conjectures for the Borel-Cantelli lemma
Published
• View Publication
• BIB
The purpose of this note is to show by constructing counterexamples that two conjectures of Móri and Székely for the Borel-Cantelli lemma are false.
Incidence coloring game and arboricity of graphs
Published in International Workshop on Combinatorial Algorithms, Rouen : France (2013)
• View Publication
• BIB
An incidence of a graph $G$ is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ an edge incident to $v$. Two incidences $(v,e)$ and $(w,f)$ are adjacent whenever $v = w$, or $e = f$, or $vw = e$ or $f$. The incidence coloring game [S.D. Andres, The incidence game chromatic number, Discrete Appl. Math. 157 (2009), 1980-1987] is a variation of the ordinary coloring game where the two players, Alice and Bob, alternately color the incidences of a graph, using a given number of colors, in such a way that adjacent incidences get distinct colors. If the whole graph is colored then Alice wins the game otherwise Bob wins the game. The incidence game chromatic number $i_g(G)$ of a graph $G$ is the minimum number of colors for which Alice has a winning strategy when playing the incidence coloring game on $G$. Andres proved that %$\lceil 3/2 Δ(G)\rceil \le $i_g(G) \le 2Δ(G) + 4k - 2$ for every $k$-degenerate graph $G$. %The arboricity $a(G)$ of a graph $G$ is the minimum number of forests into which its set of edges can be partitioned. %If $G$ is $k$-degenerate, then $a(G) \le k \le 2a(G) - 1$. We show in this paper that $i_g(G) \le \lfloor\frac{3Δ(G) - a(G)}{2}\rfloor + 8a(G) - 2$ for every graph $G$, where $a(G)$ stands for the arboricity of $G$, thus improving the bound given by Andres since $a(G) \le k$ for every $k$-degenerate graph $G$. Since there exists graphs with $i_g(G) \ge \lceil\frac{3Δ(G)}{2}\rceil$, the multiplicative constant of our bound is best possible.
Veronese Varieties over Fields with non-zero Characteristic: A Survey
Published in Discrete Math., 267 (2003), 159-173
• View Publication
• BIB
In the present survey we collect some recent results on nuclei of Veronese varieties and invariant subspaces of normal rational curves. We must assume, however, that the ground field is not "too small", since otherwise a Veronese variety is like dust: "few points" in some "high-dimensional" space.
On bijections that preserve complementarity of subspaces
Published in Discrete Math. 301 (2005), 46-56
• View Publication
• BIB
The set $G$ of all $m$-dimensional subspaces of a $2m$-dimensional vector space $V$ is endowed with two relations, complementarity and adjacency. We consider bijections from $G$ onto $G'$, where $G'$ arises from a $2m'$-dimensional vector space $V'$. If such a bijection $φ$ and its inverse leave one of the relations from above invariant, then also the other. In case $m\geq 2$ this yields that $φ$ is induced by a semilinear bijection from $V$ or from the dual space of $V$ onto $V'$. As far as possible, we include also the infinite-dimensional case into our considerations.
The Total Irregularity of Graphs under Graph Operations
Published
• View Publication
• BIB
The total irregularity of a graph $G$ is defined as $\irr_t(G)=1/2 \sum_{u,v \in V(G)}$ $|d_G(u)-d_G(v)|$, where $d_G(u)$ denotes the degree of a vertex $u \in V(G)$. In this paper we give (sharp) upper bounds on the total irregularity of graphs under several graph operations including join, lexicographic product, Cartesian product, strong product, direct product, corona product, disjunction and symmetric difference.
Evasive Properties of Sparse Graphs and Some Linear Equations in Primes
Published
• View Publication
• BIB
We give an unconditional version of a conditional, on the Extended Riemann Hypothesis, result of L. Babai, A. Banerjee, R. Kulkarni and V. Naik (2010) on the evasiveness of sparse graphs.
Some Constructions of Divisible Designs from Laguerre Geometries
Published in Discrete Math. 301 (2005), 74-82
• View Publication
• BIB
In the nineties, A.G. Spera introduced a construction principle for divisible designs. Using this method, we get series of divisible designs from finite Laguerre geometries. We show a close connection between some of these divisible designs and divisible designs whose construction was based on a conic in a plane of a 3-dimensional projective space.
On k-wise intersecting families of vertex sets in perfect matchings
We consider the following generalization of the seminal Erdős-Ko-Rado theorem, due to Frankl. For k>= 2, let F be a k-wise intersecting family of r-subsets of an n element set X, i.e. any k sets in F have a nonempty intersection. If r<= (k-1/k)n, then |F|<={n-1 \choose r-1}. We extend Frankl's theorem in a graph-theoretic direction. For a graph G, and r>=1, let P^r(G) be the family of all r-subsets of the vertex set of G such that every r-subset is either an independent set or contains a maximum independent set. We will consider k-wise intersecting subfamilies of this family for the graph M_n, where M_n is the perfect matching on 2n vertices, and prove an analog of Frankl's theorem. This result can also be considered as an extension of a theorem of Bollobás and Leader for intersecting families of independent vertex sets in M_n.
Spectral extremal problems for hypergraphs
Published
• View Publication
• BIB
In this paper we consider spectral extremal problems for hypergraphs. We give two general criteria under which such results may be deduced from `strong stability' forms of the corresponding (pure) extremal results. These results hold for the α-spectral radius defined using the α-norm for any α>1; the usual spectrum is the case α=2.
Our results imply that any hypergraph Turán problem which has the stability property and whose extremal construction satisfies some rather mild continuity assumptions admits a corresponding spectral result. A particular example is to determine the maximum α-spectral radius of any 3-uniform hypergraph on n vertices not containing the Fano plane, when n is sufficiently large. Another is to determine the maximum α-spectral radius of any graph on n vertices not containing some fixed colour-critical graph, when n is sufficiently large; this generalizes a theorem of Nikiforov who proved stronger results in the case α=2. We also obtain an α-spectral version of the Erdős-Ko-Rado theorem on t-intersecting k-uniform hypergraphs.
Combinatorial Proof of the Inversion Formula on the Kazhdan-Lusztig R-Polynomials
Published
• View Publication
• BIB
Let $W$ be a Coxeter group, and for $u,v\in W$, let $R_{u,v}(q)$ be the Kazhdan-Lusztig $R$-polynomial indexed by $u$ and $v$. In this paper, we present a combinatorial proof of the inversion formula on $R$-polynomials due to Kazhdan and Lusztig. This problem was raised by Brenti. Based on Dyer's combinatorial interpretation of the $R$-polynomials in terms of increasing Bruhat paths, we reformulate the inversion formula in terms of $V$-paths. By a $V$-path from $u$ to $v$ with bottom $w$ we mean a pair $(Δ_1,Δ_2)$ of Bruhat paths such that $Δ_1$ is a decreasing path from $u$ to $w$ and $Δ_2$ is an increasing path from $w$ to $v$. We find a reflection principle on $V$-paths, which leads to a combinatorial proof of the inversion formula. Moreover, we give two applications of the reflection principle. First, we restrict this involution to $V$-paths from $u$ to $v$ with maximal length. This provides a direct interpretation for the equi-distribution property that any nontrivial interval $[u,v]$ has as many elements of even length as elements of odd length. This property was obtained by Verma in his derivation of the Möbius function of the Bruhat order. Second, using the reflection principle for the symmetric group, we obtain a refinement of the inversion formula by restricting the summation to permutations ending with a given element.
Enumerating maximal tatami mat coverings of square grids with $v$ vertical dominoes
We enumerate a certain class of monomino-domino coverings of square grids, which conform to the \emph{tatami} restriction; no four tiles meet. Let $\mathbf T_{n}$ be the set of monomino-domino tatami coverings of the $n\times n$ grid with the maximum number, $n$, of monominoes, oriented so that they have a monomino in each of the top left and top right corners. We give an algorithm for exhaustively generating the coverings in $\mathbf T_{n}$ with exactly $v$ vertical dominoes in constant amortized time, and an explicit formula for counting them. The polynomial that generates these counts has the factorisation {align*} P_n(z)\prod_{j\ge 1} S_{\lfloor \frac{n-2}{2^j} \rfloor}(z), {align*} where $S_n(z) = \prod_{i=1}^{n} (1 + z^i)$, and $P_n(z)$ is an irreducible polynomial, at least for ${1 < n < 200}$. We present some compelling properties and conjectures about $P_n(z)$. For example $P_n(1) = n2^{ν(n-2)-1}$ for all $n \ge 2$, where $ν(n)$ is the number of 1s in the binary representation of $n$ and deg$(P_n(z)) = \sum_{k=1}^{n-2} Od(k)$, where $Od(k)$ is the largest odd divisor of $k$.
Coloring of a Digraph
\qquad A \emph{coloring} of a digraph $D=(V,E)$ is a coloring of its vertices following the rule: Let $uv$ be an arc in $D$. If the tail $u$ is colored first, then the head $v$ should receive a color different from that of $u$. The \emph{dichromatic number} $χ_d(D)$ of $D$ is the minimum number of colors needed in a coloring of $D$. Besides obtaining many results and bounds for $χ_d(D)$ analogous to that of chromatic number of a graph, we prove $χ_d(D)=1$ if $D$ is acyclic. New notions of sequential colorings of graphs/digraphs are introduced. A characterization of acyclic digraph is obtained interms of $L$-matrix of a vertex labeled digraph.
Characterizations of 2-Colorable (Bipartite) and 3-Colorable Graphs
A \emph{directional labeling} of an edge $\emph{uv}$ in a graph $G=(V,E)$ by an ordered pair $ab$ is a labeling of the edge $uv$ such that the label on $uv$ in the direction from $u$ to $v$ is $\ell(uv)=ab$, and $\ell(vu)=ba$. New characterizations of 2-colorable (bipartite) and 3-colorable graphs are obtained in terms of directional labeling of edges of a graph by ordered pairs $ab$ and $ba$. In addition we obtain characterizations of 2-colorable and 3-colorable graphs in terms of matrices called directional adjacency matrices.
Nuclei of Normal Rational Curves
Published in J. Geom. 69 (2000), 117-130
• View Publication
• BIB
A $k$-nucleus of a normal rational curve in PG$(n,F)$ is the intersection over all $k$-dimensional osculating subspaces of the curve ($k\in\{-1,0,...,n-1\}$). It is well known that for characteristic zero all nuclei are empty. In case of characteristic $p>0$ and $# F\geq n$ the number of non-zero digits in the representation of $n+1$ in base $p$ equals the number of distinct nuclei. An explicit formula for the dimensions of $k$-nuclei is given for $# F\geq k+1$.
A Model of the Witt Design $W_{12}$ based on Quadrics of PG(2,3)
Published in Discrete Math. 255 (2002), 189-192
• View Publication
• BIB
An elementary geometric proof for the existence of Witt's 5-(12,6,1) design is given.
A Dimension Formula for the Nucleus of a Veronese Variety
Published in Linear Algebra Appl. 305 (2000), 191-201
• View Publication
• BIB
The nucleus of a Veronese variety is the intersection of all its osculating hyperplanes. Various authors have given necessary and sufficient conditions for the nucleus to be empty. We present an explicit formula for the dimension of this nucleus for arbitrary characteristic of the ground field. As a corollary, we obtain a dimension formula for that subspace in the $t$-th symmetric power of a finite-dimensional vector space $V$ which is spanned by the powers $a^t$ with $\a\in\V$.
Another Simple Proof for the Existence of the Small Witt Design
Published in Elem. Math. 56 (2001), 89-94
• View Publication
• BIB
We give a short proof for the existence of the small Witt design which is based on the projective plane of order three with one point deleted.