Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Hamiltonian paths on the Sierpinski gasket
Published in J. Math. Phys. 52, 023301 (2011)
• View Publication
• BIB
We derive exactly the number of Hamiltonian paths H(n) on the two dimensional Sierpinski gasket SG(n) at stage $n$, whose asymptotic behavior is given by $\frac{\sqrt{3}(2\sqrt{3})^{3^{n-1}}}{3} \times (\frac{5^2 \times 7^2 \times 17^2}{2^{12} \times 3^5 \times 13})(16)^n$. We also obtain the number of Hamiltonian paths with one end at a certain outmost vertex of SG(n), with asymptotic behavior $\frac {\sqrt{3}(2\sqrt{3})^{3^{n-1}}}{3} \times (\frac {7 \times 17}{2^4 \times 3^3})4^n$. The distribution of Hamiltonian paths on SG(n) with one end at a certain outmost vertex and the other end at an arbitrary vertex of SG(n) is investigated. We rigorously prove that the exponent for the mean $\ell$ displacement between the two end vertices of such Hamiltonian paths on SG(n) is $\ell \log 2 / \log 3$ for $\ell>0$.
Radial Averages on Regular and Semiregular Graphs
In 1966, P. Günther proved the following result: Given a continuous function $f$ on a compact surface $M$ of constant curvature -1 and its periodic lift $\tilde{f}$ to the universal covering, the hyperbolic plane, then the averages of the lift $\tilde{f}$ over increasing spheres converge to the average of the function $f$ over the surface $M$. In this article, we prove similar results for functions on the vertices and edges of regular and semiregular graphs, with special emphasis on the convergence rate. However, we consider averages over more general sets, namely spherical arcs, which in turn imply results for tubes and horocycles as well as spheres.
Hankel determinants of generalized q-exponential polynomials
Recently I. Mezo studied a simple but interesting generalization of the exponential polynomials. In this note I consider two q-analogues of these polynomials and compute their Hankel determinants.
A Class of Semidefinite Programs with rank-one solutions
Published
• View Publication
• BIB
We show that a class of semidefinite programs (SDP) admits a solution that is a positive semidefinite matrix of rank at most $r$, where $r$ is the rank of the matrix involved in the objective function of the SDP. The optimization problems of this class are semidefinite packing problems, which are the SDP analogs to vector packing problems. Of particular interest is the case in which our result guarantees the existence of a solution of rank one: we show that the computation of this solution actually reduces to a Second Order Cone Program (SOCP). We point out an application in statistics, in the optimal design of experiments.
Menger's and Hurewicz's Problems: Solutions from "The Book" and refinements
Published
• View Publication
• BIB
We provide simplified solutions of Menger's and Hurewicz's problems and conjectures, concerning generalizations of sigma-compactness. The reader who is new to this field will find a self-contained treatment in Sections 1, 2, and 5.
Sections 3 and 4 contain new results, based on the mentioned simplified solutions. The main new result is that there is a set of reals X of cardinality equal to the unbounding number b, and which has the following property:
"Given point-cofinite covers U_1,U_2,... of X, there are for each n sets u_n,v_n in U_n, such that each member of X is contained in all but finitely many of the sets u_1 union v_1,u_2 union v_2,..."
This property is strictly stronger than Hurewicz's covering property, and by a result of Miller and the present author, one cannot prove the same result if we are only allowed to pick one set from each U_n.
Influences of monotone Boolean functions
Published
• View Publication
• BIB
Recently, Keller and Pilpel conjectured that the influence of a monotone Boolean function does not decrease if we apply to it an invertible linear transformation. Our aim in this short note is to prove this conjecture.
Extensions of the Scherck-Kemperman Theorem
Published
• View Publication
• BIB
Let $Γ=(V,E)$ be a reflexive relation with a transitive automorphisms group. Let $v\in V$ and let $F$ be a finite subset of $V$ with $v\in F.$
We prove that the size of $Γ(F)$ (the image of $F$) is at least $$ |F|+ |Γ(v)|-|Γ^- (v)\cap F|.$$
Let $A,B$ be finite subsets of a group $G.$ Applied to Cayley graphs, our result reduces to following extension of the Scherk-Kemperman Theorem, proved by Kemperman: $$|AB|\ge |A|+|B|-|A\cap (cB^{-1})|,$$ for every $c\in AB.$
Imperfect friezes of integers
Published in Boletim da Sociedade Portuguesa de Matemática, vol 67, October, 201-208, 2012
• Search Publication
We show that for any positive forward density subset N \subset Z, there exists an integer m>0, such that, for all n>m, N contains almost perfect n-scaled reproductions of any previously chosen finite set of integers.
Some combinatorial aspects of constructing bipartite-graph codes
Published
• View Publication
• BIB
We propose geometrical methods for constructing square 01-matrices with the same number n of units in every row and column, and such that any two rows of the matrix contain at most one unit in common. These matrices are equivalent to n-regular bipartite graphs without 4-cycles, and therefore can be used for the construction of efficient bipartite-graph codes such that both the classes of its vertices are associated with local constraints. We significantly extend the region of parameters m,n for which there exist an n-regular bipartite graph with 2m vertices and without 4-cycles. In that way we essentially increase the region of lengths and rates of the corresponding bipartite-graph codes. Many new matrices are either circulant or consist of circulant submatrices: this provides code parity-check matrices consisting of circulant submatrices, and hence quasi-cyclic bipartite-graph codes with simple implementation.
Singular lines of trilinear forms
Published in Linear Algebra Appl.433(3): 690-697, 2010
• View Publication
• BIB
We prove that an alternating e-form on a vector space over a quasi-algebraically closed field always has a singular (e-1)-dimensional subspace, provided that the dimension of the space is strictly greater than e. Here an (e-1)-dimensional subspace is called singular if pairing it with the e-form yields zero. By the theorem of Chevalley and Warning our result applies in particular to finite base fields. Our proof is most interesting in the case where e=3 and the space has odd dimension n; then it involves a beautiful equivariant map from alternating trilinear forms to polynomials of degree (n-3)/2. We also give a sharp upper bound on the dimension of subspaces all of whose 2-dimensional subspaces are singular for a non-degenerate trilinear form. In certain binomial dimensions the trilinear forms attaining this upper bound turn out to form a single orbit under the general linear group, and we classify their singular lines.
Binomial coefficients, Catalan numbers and Lucas quotients
Published in Sci. China Math. 53(2010), no.9, 2473-2488
• View Publication
• BIB
Let $p$ be an odd prime and let $a,m$ be integers with $a>0$ and $m \not\equiv0\pmod p$. In this paper we determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}/m^k$ mod $p^2$ for $d=0,1$; for example, $$\sum_{k=0}^{p^a-1}\frac{\binom{2k}k}{m^k}\equiv\left(\frac{m^2-4m}{p^a}\right)+\left(\frac{m^2-4m}{p^{a-1}}\right)u_{p-(\frac{m^2-4m}{p})}\pmod{p^2},$$ where $(-)$ is the Jacobi symbol, and $\{u_n\}_{n\geqslant0}$ is the Lucas sequence given by $u_0=0$, $u_1=1$ and $u_{n+1}=(m-2)u_n-u_{n-1}$ for $n=1,2,3,\ldots$. As an application, we determine $\sum_{0<k<p^a,\, k\equiv r\pmod{p-1}}C_k$ modulo $p^2$ for any integer $r$, where $C_k$ denotes the Catalan number $\binom{2k}k/(k+1)$. We also pose some related conjectures.
Extremal Betti numbers of Rips complexes
Published
• View Publication
• BIB
Upper bounds on the topological Betti numbers of Vietoris-Rips complexes are established, and examples of such complexes with high Betti numbers are given.
Lower Bounds for Cubical Pseudomanifolds
Published
• View Publication
• BIB
It is verified that the number of vertices in a $d$-dimensional cubical pseudomanifold is at least $2^{d+1}$. Using Adin's cubical $h$-vector, the generalized lower bound conjecture is established for all cubical 4-spheres, as well as for some special classes cubical spheres in higher dimensions.
Extensions of Barrier Sets to Nonzero Roots of the Matching Polynomials
Published
• View Publication
• BIB
In matching theory, barrier sets (also known as Tutte sets) have been studied extensively due to its connection to maximum matchings in a graph. In this paper, we first define $θ$-barrier sets. Our definition of a $θ$-barrier set is slightly different from that of a barrier set. However we show that $θ$-barrier sets and barrier sets have similar properties. In particular, we prove a generalized Berge's Formula and give a characterization for the set of all $θ$-special vertices in a graph.
There are only finitely many distance-regular graphs of fixed valency greater than two
Published
• View Publication
• BIB
In this paper we prove the Bannai-Ito conjecture, namely that there are only finitely many distance-regular graphs of fixed valency greater than two.
Generalized $D$-graphs for Nonzero Roots of the Matching Polynomial
Recently, Bauer et al. (J Graph Theory 55(4) (2007), 343--358) introduced a graph operator $D(G)$, called the $D$-graph of $G$, which has been useful in investigating the structural aspects of maximal Tutte sets in $G$ with a perfect matching. Among other results, they proved a characterization of maximal Tutte sets in terms of maximal independent sets in the graph $D(G)$ and maximal extreme sets in $G$. This was later extended to graphs without perfect matchings by Busch et al. (Discrete Appl. Math. 155 (2007), 2487--2495). Let $θ$ be a real number and $μ(G,x)$ be the matching polynomial of a graph $G$. Let $\textnormal{mult} (θ, G)$ be the multiplicity of $θ$ as a root of $μ(G,x)$. We observe that the notion of $D$-graph is implicitly related to $θ=0$. In this paper, we give a natural generalization of the $D$-graph of $G$ for any real number $θ$, and denote this new operator by $D_θ(G)$, so that $D_θ(G)$ coincides with $D(G)$ when $θ=0$. We prove a characterization of maximal $θ$-Tutte sets which are $θ$-analogue of maximal Tutte sets in $G$. In particular, we show that for any $X \subseteq V(G)$, $|X|>1$, and any real number $θ$, $\m(θ, G \setminus X)=\m(θ, G)+|X|$ if and only if $\m(θ, G \setminus uv)=\m(θ, G)+2$ for any $u, v \in X$, $u \not = v$, thus extending the preceding work of Bauer et al. and Busch et al. which established the result for the case $θ=0$.
The competition number of a graph with exactly two holes
Published in Ars Combinatoria 95 (2010) 45-54
• Search Publication
Let D be an acyclic digraph. The competition graph of 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 G is the smallest number of such isolated vertices.
A hole of a graph is a cycle of length at least 4 as an induced subgraph. In 2005, Kim [5] conjectured that the competition number of a graph with h holes is at most h+1. Though Li and Chang [8] and Kim et al. [7] showed that her conjecture is true when the holes do not overlap much, it still remains open for the case where the holes share edges in an arbitrary way. In order to share an edge, a graph must have at least two holes and so it is natural to start with a graph with exactly two holes. In this paper, the conjecture is proved true for such a graph.
Graphs having many holes but with small competition numbers
Published in Applied Mathematics Letters 24 (2011) 1331-1335
• View Publication
• BIB
The competition number k(G) of a graph G is the smallest number k such that G together with k isolated vertices added is the competition graph of an acyclic digraph. A chordless cycle of length at least 4 of a graph is called a hole of the graph. The number of holes of a graph is closely related to its competition number as the competition number of a graph which does not contain a hole is at most one and the competition number of a complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$ which has so many holes that no more holes can be added is the largest among those of graphs with n vertices. In this paper, we show that even if a connected graph G has many holes, the competition number of G can be as small as 2 under some assumption. In addition, we show that, for a connected graph G with exactly h holes and at most one non-edge maximal clique, if all the holes of G are pairwise edge-disjoint and the clique number $ω= ω(G)$ of G satisfies $2 \leq ω\leq h+1$, then the competition number of G is at most $h - ω+ 3$.
Looping of the numbers game and the alcoved hypercube
Published
• View Publication
• BIB
We study in detail the so-called looping case of Mozes's game of numbers, which concerns the (finite) orbits in the reflection representation of affine Weyl groups situated on the boundary of the Tits cone. We give a simple proof that all configurations in the orbit are obtainable from each other by playing the numbers game, and give a strategy for going from one configuration to another. The strategy gives rise to a partition of the finite Weyl group into finitely many graded posets, one for each extending vertex of the associated extended Dynkin diagram. These are selfdual and mutually isomorphic, and dual to the triangulation of the unit hypercube by reflecting hyperplanes, studied by many authors. Unlike the weak and Bruhat orders, the top degree is cubic in the number of vertices of the graph. We explicitly compute the Hilbert polynomial of the poset.
Bijective proofs for Schur function identities
Gurevich, Pyatov and Saponov recently stated an expansion for the product of two Schur functions and gave a proof based on the Pluecker relations. Here we show that this identity is in fact a special case of a quite general Schur function identity, which was stated and proved in a paper by Fulmek and Kleber, where it was used to prove bijectively Dodgsons condensation formula and the Pluecker relations, but was not paid further attention: So we take the opportunity to make obvious the range of applicability of this identity by giving concrete examples, accompanied by many graphical illustrations.