Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Self-adjoint symmetry operators connected with the magnetic Heisenberg ring
Published
• View Publication
• BIB
We consider symmetry operators a from the group ring C[S_N] which act on the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites. We investigate such symmetry operators a which are self-adjoint (in a sence defined in the paper) and which yield consequently observables of the Heisenberg model. We prove the following results: (i) One can construct a self-adjoint idempotent symmetry operator from every irreducible character of every subgroup of S_N. This leads to a big manifold of observables. In particular every commutation symmetry yields such an idempotent. (ii) The set of all generating idempotents of a minimal right ideal R of C[S_N] contains one and only one idempotent which ist self-adjoint. (iii) Every self-adjoint idempotent e can be decomposed into primitive idempotents e = f_1 + ... + f_k which are also self-adjoint and pairwise orthogonal. We give a computer algorithm for the calculation of such decompositions. Furthermore we present 3 additional algorithms which are helpful for the calculation of self-adjoint operators by means of discrete Fourier transforms of S_N. In our investigations we use computer calculations by means of our Mathematica packages PERMS and HRing.
Area Problems Involving Kasner Polygons
Sequences of polygons generated by performing iterative processes on an initial polygon have been studied extensively. One of the most popular sequences is the one sometimes referred to as {\it Kasner polygons}. Given a polygon $K$, the first Kasner descendant $K'$ of $K$ is obtained by placing the vertices of $K'$ at the midpoints of the edges of $K$.
More generally, for any fixed $m$ in $(0,1)$ one may define a sequence of polygons $\{K^{t}\}_{t\ge 0}$ where each polygon $K^{t}$ is obtained by dividing every edge of $K^{t-1}$ into the ratio $m:(1-m)$ in the counterclockwise (or clockwise) direction and taking these division points to be the vertices of $K^{t}$.
We are interested in the following problem
{\it Let $m$ be a fixed number in $(0,1)$ and let $n\ge 3$ be a fixed integer. Further, let $K$ be a convex $n$-gon and denote by $K'$, the first $m$-Kasner descendant of $K$, that is, the vertices of $K'$ divide the edges of $K$ into the ratio $m:(1-m)$. What can be said about the ratio between the area of $K'$ and the area of $K$, when $K$ varies in the class of convex $n$-gons?}
We provide a complete answer to this question.
A zero-one law for the existence of triangles in random key graphs
Published
• View Publication
• BIB
Random key graphs are random graphs induced by the random key predistribution scheme of Eschenauer and Gligor under the assumption of full visibility. For this class of random graphs we show the existence of a zero-one law for the appearance of triangles, and identify the corresponding critical scaling. This is done by applying the method of first and second moments to the number of triangles in the graph.
Rank-width and Tree-width of H-minor-free Graphs
Published in European J. Combin. 31(2010 Oct)(7), pp. 1617-1628
• View Publication
• BIB
We prove that for any fixed r>=2, the tree-width of graphs not containing K_r as a topological minor (resp. as a subgraph) is bounded by a linear (resp. polynomial) function of their rank-width. We also present refinements of our bounds for other graph classes such as K_r-minor free graphs and graphs of bounded genus.
Fourier analysis and expanding phenomena in finite fields
Published
• View Publication
• BIB
In this paper the authors study set expansion in finite fields. Fourier analytic proofs are given for several results recently obtained by Solymosi, Vinh and Vu using spectral graph theory. In addition, several generalizations of these results are given.
In the case that $A$ is a subset of a prime field $\mathbb F_p$ of size less than $p^{1/2}$ it is shown that $|\{a^2+b:a,b \in A\}|\geq C |A|^{147/146}$, where $|\cdot|$ denotes the cardinality of the set and $C$ is an absolute constant.
Shifted Jacobi polynomials and Delannoy numbers
We express a weighted generalization of the Delannoy numbers in terms of shifted Jacobi polynomials. A specialization of our formulas extends a relation between the central Delannoy numbers and Legendre polynomials, observed over 50 years ago, to all Delannoy numbers and certain Jacobi polynomials. Another specialization provides a weighted lattice path enumeration model for shifted Jacobi polynomials, we use this to present a new combinatorial proof of the orthogonality of Jacobi polynomials with natural number parameters. The proof relates the orthogonality of these polynomials to the orthogonality of (generalized) Laguerre polynomials, as they arise in the theory of rook polynomials. We provide a combinatorial proof for the orthogonality of certain Romanovski-Jacobi polynomials with zero first parameter and negative integer second parameter, considered as an initial segment of the list of similarly transformed Jacobi polynomials with the same parameters. We observe that for an odd second parameter one more polynomial may be added to this finite orthogonal polynomial sequence than what was predicted by a classical result of Askey and Romanovski. The remaining transformed Jacobi polynomials in the sequence are either equal to the already listed Romanovski-Jacobi polynomials or monomial multiples of similarly transformed Jacobi polynomials with a positive second parameter. We provide expressions for an analogous weighted generalization of the Schröder numbers in terms of the Jacobi polynomials, and use this model, together with a result of Mansour and Sun, to express the Narayana polynomials in terms of shifted Jacobi polynomials.
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.