Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Some divisibility properties of binomial coefficients
Published
• View Publication
• BIB
In this paper, we gave some properties of binomial coefficient.
Cominuscule points and Schubert varieties
Published
• View Publication
• BIB
We introduce the notion of a cominuscule point in a Schubert variety in a generalized flag variety for a semisimple group. We derive formulas expressing the Hilbert series and multiplicity of a Schubert variety at a cominuscule point in terms of the restrictions of classes in torus-equivariant K-theory and cohomology to that point, generalizing previously known formulas for flag varieties of cominuscule type. Thus, we can calculate Hilbert series and multiplicities in cases where these were previously unknown. The formulas for Schubert varieties are special cases of more general formulas valid at generalized cominuscule points of schemes with torus actions.
Approximations of the domination number of a graph
Given a graph G, the domination number gamma(G) of G is the minimum order of a set S of vertices such that each vertex not in S is adjacent to some vertex in S. Equivalently, label the vertices from {0, 1} so that the sum over each closed neighborhood is at least one; the minimum value of the sum of all labels, with this restriction, is the domination number. The fractional domination number gamma_f(G) is defined in the same way, except that the vertex labels are chosen from [0, 1]. Given an ordering of the vertex set of G, let gamma_g(G) be the approximation of the domination number by the standard greedy algorithm. Computing the domination number is NP-complete; however, we can bound gamma by these two more easily computed parameters:
gamma_f(G) <= gamma(G) <= gamma_g(G).
How good are these approximations? Using techniques from the theory of hypergraphs, one can show that, for every graph G of order n,
gamma_g(G) / gamma_f(G) = O(log n).
On the other hand, we provide examples of graphs for which gamma / gamma_f = Theta(log n) and graphs for which gamma_g / gamma = Theta(log n). Lastly, we use our examples to compare two bounds on gamma_g.
An infinite family of Steiner systems $S(2, 4, 2^m)$ from cyclic codes
Published
• View Publication
• BIB
Steiner systems are a fascinating topic of combinatorics. The most studied Steiner systems are $S(2, 3, v)$ (Steiner triple systems), $S(3, 4, v)$ (Steiner quadruple systems), and $S(2, 4, v)$. There are a few infinite families of Steiner systems $S(2, 4, v)$ in the literature. The objective of this paper is to present an infinite family of Steiner systems $S(2, 4, 2^m)$ for all $m \equiv 2 \pmod{4} \geq 6$ from cyclic codes. This may be the first coding-theoretic construction of an infinite family of Steiner systems $S(2, 4, v)$. As a by-product, many infinite families of $2$-designs are also reported in this paper.
Conflict-Free Coloring of Planar Graphs
Published
• View Publication
• BIB
A conflict-free k-coloring of a graph assigns one of k different colors to some of the vertices such that, for every vertex v, there is a color that is assigned to exactly one vertex among v and v's neighbors. Such colorings have applications in wireless networking, robotics, and geometry, and are well-studied in graph theory. Here we study the natural problem of the conflict-free chromatic number chi_CF(G) (the smallest k for which conflict-free k-colorings exist). We provide results both for closed neighborhoods N[v], for which a vertex v is a member of its neighborhood, and for open neighborhoods N(v), for which vertex v is not a member of its neighborhood.
For closed neighborhoods, we prove the conflict-free variant of the famous Hadwiger Conjecture: If an arbitrary graph G does not contain K_{k+1} as a minor, then chi_CF(G) <= k. For planar graphs, we obtain a tight worst-case bound: three colors are sometimes necessary and always sufficient. We also give a complete characterization of the computational complexity of conflict-free coloring. Deciding whether chi_CF(G)<= 1 is NP-complete for planar graphs G, but polynomial for outerplanar graphs. Furthermore, deciding whether chi_CF(G)<= 2 is NP-complete for planar graphs G, but always true for outerplanar graphs. For the bicriteria problem of minimizing the number of colored vertices subject to a given bound k on the number of colors, we give a full algorithmic characterization in terms of complexity and approximation for outerplanar and planar graphs.
For open neighborhoods, we show that every planar bipartite graph has a conflict-free coloring with at most four colors; on the other hand, we prove that for k in {1,2,3}, it is NP-complete to decide whether a planar bipartite graph has a conflict-free k-coloring. Moreover, we establish that any general} planar graph has a conflict-free coloring with at most eight colors.
Alternating sums in hyperbolic Pascal triangles
Published in Miskolc Mathematical Notes. (17) 2, (2016), 989-998
• View Publication
• BIB
A new generalization of Pascal's triangle, the so-called hyperbolic Pascal triangles were introduced in [H.B, L.N, L.Sz: Hyperbolic Pascal triangles]. The mathematical background goes back to the regular mosaics in the hyperbolic plane. The alternating sum of elements in the rows was given in the special case $\{4,5\}$ of the hyperbolic Pascal triangles. In this article, we determine the alternating sum generally in the hyperbolic Pascal triangle corresponding to $\{4,q\}$ with $q\ge5$.
An evasion game on a graph
Published in Discrete Mathematics, Volume 314, 6 January 2014, Pages 1-5, ISSN 0012-365X
• View Publication
• BIB
This paper introduced a pursuit and evasion game to be played on a connected graph. One player moves invisibly around the graph, and the other player must guess his position. At each time step the second player guesses a vertex, winning if it is the current location of the first player; if not the first player must move along an edge. It is shown that the graphs on which the second player can guarantee to win are precisely the trees that do not contain a particular forbidden subgraph, and best possible capture times on such graphs are obtained.
Recurrence sequences in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}
Published in Annales Mathematicae et Informaticae 46 (2016) 165-173
• Search Publication
Recently, a new generalization of Pascal's triangle, the so-called hyperbolic Pascal triangles were introduced. The mathematical background goes back to the regular mosaics in the hyperbolic plane. In this article, we investigate the paths in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}$, in which the binary recursive sequences $f_{n}=αf_{n-1}\pm f_{n-2}$ are represented ($α\in\mathbb{N}^+$).
Pascal pyramid in the space $\mathbf{H}^2\!\times\!\mathbf{R}$
Published in Mathematical Communications, 22 (2017) 211-225
• Search Publication
In this article we introduce a new type of Pascal pyramids. A regular squared mosaic in the hyperbolic plane yields a $(h^2r)$-cube mosaic in space $\mathbf{H}^2\!\times\!\mathbf{R}$ and the definition of the pyramid is based on this regular mosaic. The levels of the pyramid inherit some properties from the Euclidean and hyperbolic Pascal triangles. We give the growing method from level to level and show some illustrating figures.
Polynomial configurations in sets of positive upper density over local fields
Published
• View Publication
• BIB
Let $F(x)=(f_1(x), \dots, f_m(x))$ be such that $1, f_1, \dots, f_m$ are linearly independent polynomials with real coefficients. Based on ideas of Bachoc, DeCorte, Oliveira and Vallentin in combination with estimating certain oscillatory integrals with polynomial phase we will show that the independence ratio of the Cayley graph of $\mathbb{R}^m$ with respect to the portion of the graph of $F$ defined by $a\leq \log |s| \leq T$ is at most $O(1/(T-a))$. We conclude that if $I \subseteq \mathbb{R}^m$ has positive upper density, then the difference set $I-I$ contains vectors of the form $F(s)$ for an unbounded set of values $s \in \mathbb{R}$. It follows that the Borel chromatic number of the Cayley graph of $\mathbb{R}^m$ with respect to the set $\{ \pm F(s): s \in \mathbb{R} \}$ is infinite. Analogous results are also proven when $\mathbb{R}$ is replaced by the field of $p$-adic numbers $\mathbb{Q}_p$. At the end, we will also the existence of real analytic functions $f_1, \dots, f_m$, for which the analogous statements no longer hold.
Hamiltonicity in locally finite graphs: two extensions and a counterexample
Published in Electronic. J. Comb., 25(3):P3.13, 2018
• View Publication
• BIB
We state a sufficient condition for the square of a locally finite graph to contain a Hamilton circle, extending a result of Harary and Schwenk about finite graphs.
We also give an alternative proof of an extension to locally finite graphs of the result of Chartrand and Harary that a finite graph not containing $K^4$ or $K_{2,3}$ as a minor is Hamiltonian if and only if it is $2$-connected. We show furthermore that, if a Hamilton circle exists in such a graph, then it is unique and spanned by the $2$-contractible edges.
The third result of this paper is a construction of a graph which answers positively the question of Mohar whether regular infinite graphs with a unique Hamilton circle exist.
The Graph Ramsey Number $R(F_\ell,K_6)$
For a given pair of two graphs $(F,H)$, let $R(F,H)$ be the smallest positive integer $r$ such that for any graph $G$ of order $r$, either $G$ contains $F$ as a subgraph or the complement of $G$ contains $H$ as a subgraph. Baskoro, Broersma and Surahmat (2005) conjectured that \[ R(F_\ell,K_n)=2\ell(n-1)+1 \] for $\ell\ge n\ge3$, where $F_\ell$ is the join of $K_1$ and $\ell K_2$. In this paper, we prove that this conjecture is true for the case $n=6$.
New bounds on the strength of some restrictions of Hindman's Theorem
Published
• View Publication
• BIB
We prove upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem. For example, we show that Hindman's Theorem for sums of length at most 2 and 4 colors implies $\mathsf{ACA}_0$. An emerging {\em leitmotiv} is that the known lower bounds for Hindman's Theorem and for its restriction to sums of at most 2 elements are already valid for a number of restricted versions which have simple proofs and better computability- and proof-theoretic upper bounds than the known upper bound for the full version of the theorem. We highlight the role of a sparsity-like condition on the solution set, which we call apartness.
Graph complexity and Mahler measure
The (torsion) complexity of a finite edge-weighted graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When G is d-periodic (i.e., G has a free action of the rank-d free abelian group by graph automorphisms, with finite quotient) the Mahler measure of its Laplacian determinant polynomial is the growth rate of the complexity of finite quotients of G. Lehmer's question, an open question about the roots of monic integral polynomials, is equivalent to a question about the complexity growth of edge-weighted 1-periodic graphs.
High Rate LDPC Codes from Difference Covering Arrays
This paper presents a combinatorial construction of low-density parity-check (LDPC) codes from difference covering arrays. While the original construction by Gallagher was by randomly allocating bits in a sparse parity-check matrix, over the past 20 years researchers have used a variety of more structured approaches to construct these codes, with the more recent constructions of well-structured LDPC coming from balanced incomplete block designs (BIBDs) and from Latin squares over finite fields. However these constructions have suffered from the limited orders for which these designs exist. Here we present a construction of LDPC codes of length $4n^2 - 2n$ for all $n$ using the cyclic group of order $2n$. These codes achieve high information rate (greater than 0.8) for $n \geq 8$, have girth at least 6 and have minimum distance 6 for $n$ odd.
Construction and nonexistence of strong external difference families
Published
• View Publication
• BIB
Strong external difference families (SEDFs) were introduced by Paterson and Stinson as a more restrictive version of external difference families. SEDFs can be used to produce optimal strong algebraic manipulation detection codes. We characterize the parameters $(v, m, k, λ)$ of a nontrivial SEDF that is near-complete (satisfying $v=km+1$). We construct the first known nontrivial example of a $(v, m, k, λ)$ SEDF having $m > 2$. The parameters of this example are $(243,11,22,20)$, giving a near-complete SEDF, and its group is $\mathbb{Z}_3^5$. We provide a comprehensive framework for the study of SEDFs using character theory and algebraic number theory, showing that the cases $m=2$ and $m>2$ are fundamentally different. We prove a range of nonexistence results, greatly narrowing the scope of possible parameters of SEDFs.
Linear Bound for Majority Colourings of Digraphs
Published
• View Publication
• BIB
Given $η\in [0, 1]$, a colouring $C$ of $V(G)$ is an $η$-majority colouring if at most $ηd^+(v)$ out-neighbours of $v$ have colour $C(v)$, for any $v \in V(G)$. We show that every digraph $G$ equipped with an assignment of lists $L$, each of size at least $k$, has a $2/k$-majority $L$-colouring. For even $k$ this is best possible, while for odd $k$ the constant $2/k$ cannot be replaced by any number less than $2/(k+1)$. This generalizes a result of Anholcer, Bosek and Grytczuk, who proved the cases $k=3$ and $k=4$ and gave a weaker result for general $k$.
Orientably-regular maps on twisted linear fractional groups
Published
• View Publication
• BIB
We present an enumeration of orientably-regular maps with automorphism group isomorphic to the twisted linear fractional group $M(q^2)$ for any odd prime power $q$.
Recognizing generalized Petersen graphs in linear time
Published
• View Publication
• BIB
By identifying a local property which structurally classifies any edge, we show that the family of generalized Petersen graphs can be recognized in linear time.
Cycle Double Covers via Kotzig Graphs
Published
• View Publication
• BIB
We show that every $2$-connected cubic graph $G$ has a cycle double cover if $G$ has a spanning subgraph $F$ such that (i) every component of $F$ has an even number of vertices (ii) every component of $F$ is either a cycle or a subdivision of a Kotzig graph and (iii) the components of $F$ are connected to each other in a certain general manner.