Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Notes on factor-criticality, extendibility and independence number
Published in Ars Combinatoria 87 (2008), 139-146
• Search Publication
In this paper, we give a sufficient and necessary condition for a $k$-extendable graph to be $2k$-factor-critical when $k=ν/4$, and prove some results on independence numbers in $n$-factor-critical graphs and $k\frac{1}{2}$-extendable graphs.
Star graphs: threaded distance trees and E-sets
The distribution of distances in the star graph $ST_n$, ($1<n\in\Z$), is established, and subsequently a threaded binary tree is obtained that realizes an orientation of $ST_n$ whose levels are given by the distances to the identity permutation, via a pruning algorithm followed by a threading algorithm. In the process, the distributions of distances of the efficient dominating sets of $ST_n$ are determined.
On Partitioning Colored Points
Published in IEICE Trans. on Fundamentals, vol.E94-A, No.6, pp.1242-1246, 2011
• View Publication
• BIB
P. Kirchberger proved that, for a finite subset $X$ of $\mathbb{R}^{d}$ such that each point in $X$ is painted with one of two colors, if every $d+2$ or fewer points in $X$ can be separated along the colors, then all the points in $X$ can be separated along the colors. In this paper, we show a more colorful theorem.
Supercongruences motivated by e
Published in J. Number Theory 147(2015), 326-341
• View Publication
• BIB
In this paper we establish some new supercongruences motivated by the well-known fact $\lim_{n\to\infty}(1+1/n)^n=e$. Let $p>3$ be a prime. We prove that $$\sum_{k=0}^{p-1}\binom{-1/(p+1)}k^{p+1}\equiv 0\ \pmod{p^5}\ \ \ \mbox{and}\ \ \ \sum_{k=0}^{p-1}\binom{1/(p-1)}k^{p-1}\equiv \frac{2}{3}p^4B_{p-3}\ \pmod{p^5},$$ where $B_0,B_1,B_2,\ldots$ are Bernoulli numbers. We also show that for any $a\in\mathbb Z$ with $p\nmid a$ we have $$\sum_{k=1}^{p-1}\frac1k\left(1+\frac ak\right)^k\equiv -1\pmod{p}\ \ \ \mbox{and}\ \ \ \sum_{k=1}^{p-1}\frac1{k^2}\left(1+\frac ak\right)^k\equiv 1+\frac 1{2a}\pmod{p}.$$
Dissections of a metal rectangle
Published in Kvant 3 (2011), 10-16. Free fulltext: http://kvant.mccme.ru/pdf/2011/03/skopenkov.pdf
• Search Publication
In the present popular science paper the following geometric questions are answered:
- Which rectangles can be dissected into squares?
- When a square can be dissected into rectangles similar to a given rectangle?
The proofs are based on a physical interpretation using electrical networks. Only secondary school background is assumed in the paper.
Concave Majorants of Random Walks and Related Poisson Processes
Published
• View Publication
• BIB
We offer a unified approach to the theory of concave majorants of random walks by providing a path transformation for a walk of finite length that leaves the law of the walk unchanged whilst providing complete information about the concave majorant. This leads to a description of a walk of random geometric length as a Poisson point process of excursions away from its concave majorant, which is then used to find a complete description of the concave majorant for a walk of infinite length. In the case where subsets of increments may have the same arithmetic mean, we investigate three nested compositions that naturally arise from our construction of the concave majorant.
Linear Cover Time is Exponentially Unlikely
Published
• View Publication
• BIB
We show that the probability that a simple random walk covers a finite, bounded degree graph in linear time is exponentially small.
More precisely, for every D and C, there exists a=a(D,C)>0 such that for any graph G, with n vertices and maximal degree D, the probability that a simple random walk, started anywhere in G, will visit every vertex of G in its first Cn steps is at most exp(-an).
We conjecture that the same holds for a=a(C)>0 that does not depend on D, provided that the graph G is simple.
An improved bound for the Manickam-Miklós-Singhi conjecture
Published
• View Publication
• BIB
We show that for $n>k(4e\log k)^k$ every set $\{x_1,..., x_n\}$ of $n$ real numbers with $\sum_{i=0}^{n}x_i \geq 0$ has at least $\binom{n-1}{k-1}$ $k$-element subsets of a non-negative sum. This is a substantial improvement on the best previously known bound of $n>(k-1)(k^k+k^2)+k$, proved by Manickam and Miklós \cite{MM} in 1987.
Condorcet domains of tiling type
Published
• View Publication
• BIB
A Condorcet domain (CD) is a collection of linear orders on a set of candidates satisfying the following property: for any choice of preferences of voters from this collection, a simple majority rule does not yield cycles. We propose a method of constructing "large" CDs by use of rhombus tiling diagrams and explain that this method unifies several constructions of CDs known earlier. Finally, we show that three conjectures on the maximal sizes of those CDs are, in fact, equivalent and provide a counterexample to them.
Schaefer's theorem for graphs
Published
• View Publication
• BIB
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem is either contained in one out of six classes and can be solved in polynomial time, or is NP-complete.
We present an analog of this dichotomy result for the propositional logic of graphs instead of Boolean logic. In this generalization of Schaefer's result, the input consists of a set W of variables and a conjunction Φ of statements ("constraints") about these variables in the language of graphs, where each statement is taken from a fixed finite set Ψ of allowed quantifier-free first-order formulas; the question is whether Φ is satisfiable in a graph.
We prove that either Ψ is contained in one out of 17 classes of graph formulas and the corresponding problem can be solved in polynomial time, or the problem is NP-complete. This is achieved by a universal-algebraic approach, which in turn allows us to use structural Ramsey theory. To apply the universal-algebraic approach, we formulate the computational problems under consideration as constraint satisfaction problems (CSPs) whose templates are first-order definable in the countably infinite random graph. Our method to classify the computational complexity of those CSPs is based on a Ramsey-theoretic analysis of functions acting on the random graph, and we develop general tools suitable for such an analysis which are of independent mathematical interest.
A note on V-binomials recurrence for Lucas companion to $U_n$ sequence $V_n$
The looked for V-binomials recurrence for Lucas companion to $U_n$ sequence $V_n$ is delivered
On bialgebras and Hopf algebras of oriented graphs
Published
• View Publication
• BIB
We define two coproducts for cycle-free oriented graphs, thus building up two commutative con- nected graded Hopf algebras, such that one is a comodule-coalgebra on the other, thus generalizing the result obtained previously for Hopf algebras of rooted trees.
Regular Polyhedra of Index Two, II
Published
• View Publication
• BIB
A polyhedron in Euclidean 3-space is called a regular polyhedron of index 2 if it is combinatorially regular and its geometric symmetry group has index 2 in its combinatorial automorphism group; thus its automorphism group is flag-transitive but its symmetry group has two flag orbits. The present paper completes the classification of finite regular polyhedra of index 2 in 3-space. In particular, this paper enumerates the regular polyhedra of index 2 with vertices on one orbit under the symmetry group. There are ten such polyhedra.
On thin-complete ideals of subsets of groups
Published in Ukr. Math. J. 63 (2011) 741-754
• View Publication
• BIB
Given a family $F$ of subsets of a group $G$ we describe the structure of its thin-completion $τ^*(F)$, which is the smallest thin-complete family that contains $I$. A family $F$ of subsets of $G$ is called thin-complete if each $F$-thin subset of $G$ belongs to $F$. A subset $A$ of $G$ is called $F$-thin if for any distinct points $x,y$ of $G$ the intersection $xA\cap yA$ belongs to the family $F$. We prove that the thin-completion of an ideal in an ideal. If $G$ is a countable non-torsion group, then the thin-completion $τ^*(F_G)$ of the ideal $F_G$ of finite subsets of $G$ is coanalytic but not Borel in the power-set $P_G$ of $G$.
The competition numbers of Hamming graphs with diameter at most three
Published in Journal of the Korean Mathematical Society 48 (2011) 691-702
• View Publication
• BIB
The competition graph of a digraph D is a graph which has the same vertex set as D and has an edge between x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. The competition number k(G) of a graph G is defined to be the smallest number of such isolated vertices. In general, it is hard to compute the competition number k(G) for a graph G and it has been one of important research problems in the study of competition graphs. In this paper, we compute the competition numbers of Hamming graphs with diameter at most three.
Ramanujan graphs of very large girth based on octonions
We present a generalization of the construction of graphs by Lubotzky, Phillips and Sarnak in their celebrated article "Ramanujan graphs". The new approach consists in using octonion algebras rather than quaternions. A key tool is the existing result of the unique factorization of integral octonions. The families obtained by this mean present not only the same spectral property that make them good expanders, but also show a larger girth, yielding a new record for regular graphs.
Random modification effect in the size of the fluctuation of the LCS of two sequences of i.i.d. blocks
The problem of the order of the fluctuation of the Longest Common Subsequence (LCS) of two independent sequences has been open for decades. There exist contradicting conjectures on the topic, due to Chvatal - Sankoff in 1975 and Waterman in 1994. In the present article, we consider a special model of i.i.d. sequences made out of blocks. A block is a contiguous substring consisting only of one type of symbol. Our model allows only three possible block lengths, each been equiprobable picked up. In this context, we introduce a random operation (random modification) on the blocks of one of the sequences. In the present article, we develop the techniques to prove the following: if we suppose that the random modification increases the length of the LCS with high probability, then the order of the fluctuation of the LCS is as conjectured by Waterman. This result is a key technical part in the study of the size of the fluctuation of the LCS for sequences of i.i.d. blocks, developed by Matzinger and Torres.
The rate of the convergence of the mean score in random sequence comparison
Published
• View Publication
• BIB
We consider a general class of super-additive scores measuring the similarity of two independent sequences of $n$ i.i.d. letters from a finite alphabet. Our object of interest is the mean score by letter $l_n$. By the subadditivity $l_n$ is nondecreasing and converges to a limit $l$. We give a simple method of bounding the difference $l-l_n$ and obtaining the rate of convergence. Our result generalizes a previous result of Alexander, where only the special case of the longest common subsequence is considered.
An improved sum-product inequality in fields of prime order
Published
• View Publication
• BIB
This note improves the best known exponent 1/12 in the prime field sum-product inequality (for small sets) to 1/11, modulo a logarithmic factor.
Origami rings
Published
• View Publication
• BIB
Motivated by a question in origami, we consider sets of points in the complex plane constructed in the following way. Let $L_α(p)$ be the line in the complex plane through $p$ with angle $α$ (with respect to the real axis). Given a fixed collection $U$ of angles, let $\RU$ be the points that can be obtained by starting with $0$ and $1$, and then recursively adding intersection points of the form $L_α(p) \cap L_β(q)$, where $p, q$ have been constructed already, and $α, β$ are distinct angles in $U$.
Our main result is that if $U$ is a group with at least three elements, then $\RU$ is a subring of the complex plane, i.e., it is closed under complex addition and multiplication. This enables us to answer a specific question about origami folds: if $n \ge 3$ and the allowable angles are the $n$ equally spaced angles $kπ/n$, $0 \le k < n$, then $\RU$ is the ring $\Z[ζ_n]$ if $n$ is prime, and the ring $\Z[1/n,ζ_{n}]$ if $n$ is not prime, where $ζ_n := \exp(2πi/n)$ is a primitive $n$-th root of unity.