Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Zeta functions of graphs with $\mathbb{Z}$ actions
Suppose $Y$ is a regular covering of a graph $X$ with covering transformation group $π= \mathbb{Z}$. This paper gives an explicit formula for the $L^2$ zeta function of $Y$ and computes examples. When $π= \mathbb{Z}$, the $L^2$ zeta function is an algebraic function. As a consequence it extends to a meromorphic function on a Riemann surface. The meromorphic extension provides a setting to generalize known properties of zeta functions of regular graphs, such as the location of singularities and the functional equation.
A unifying framework for $k$-statistics, polykays and their multivariate generalizations
Published in Bernoulli 2008, Vol. 14, No. 2, 440-468
• View Publication
• BIB
Through the classical umbral calculus, we provide a unifying syntax for single and multivariate $k$-statistics, polykays and multivariate polykays.
From a combinatorial point of view, we revisit the theory as exposed by Stuart and Ord, taking into account the Doubilet approach to symmetric functions. Moreover, by using exponential polynomials rather than set partitions, we provide a new formula for $k$-statistics that results in a very fast algorithm to generate such estimators.
The Pfaffian solution of a dimer-monomer problem: Single monomer on the boundary
Published in Physical Review E 74, 020104(R) (2006).
• View Publication
• BIB
We consider the dimer-monomer problem for the rectangular lattice. By mapping the problem into one of close-packed dimers on an extended lattice, we rederive the Tzeng-Wu solution for a single monomer on the boundary by evaluating a Pfaffian. We also clarify the mathematical content of the Tzeng-Wu solution by identifying it as the product of the nonzero eigenvalues of the Kasteleyn matrix.
K. Saito's Conjecture for Nonnegative Eta Products
We prove that the Fourier coefficients of a certain general eta product considered by K. Saito are nonnegative. The proof is elementary and depends on a multidimensional theta function identity. The z = 1 case is an identity for the generating function for p-cores due to Klyachko [12] and Garvan, Kim and Stanton [7].
Multiple recurence and convergence for sequences related to the prime numbers
Published
• View Publication
• BIB
For any measure preserving system $(X,\mathcal{X},μ,T)$ and $A\in\mathcal{X}$ with $μ(A)>0$, we show that there exist infinitely many primes $p$ such that $μ\bigl(A\cap T^{-(p-1)}A\cap T^{-2(p-1)}A\bigr) > 0$ (the same holds with $p-1$ replaced by $p+1$). Furthermore, we show the existence of the limit in $L^2(μ)$ of the associated ergodic average over the primes. A key ingredient is a recent result of Green and Tao on the von Mangoldt function. A combinatorial consequence is that every subset of the integers with positive upper density contains an arithmetic progression of length three and common difference of the form $p-1$ (or $p+1$) for some prime $p$.
On the Kocinac alpha_i properties
Published in Topology and its Applications 155 (2007), 141-145
• View Publication
• BIB
The Kocinac alpha_i properties, i=1,2,3,4, are generalizations of Arhangel'skii's alpha_i local properties. We give a complete classification of these properties when applied to the standard families of open covers of topological spaces or to the standard families of open covers of topological groups. One of the latter properties characterizes totally bounded groups. We also answer a question of Kocinac.
Computing holes in semi-groups and its applications to transportation problems
Published
• View Publication
• BIB
An integer feasibility problem is a fundamental problem in many areas, such as operations research, number theory, and statistics. To study a family of systems with no nonnegative integer solution, we focus on a commutative semigroup generated by a finite set of vectors in $\Z^d$ and its saturation. In this paper we present an algorithm to compute an explicit description for the set of holes which is the difference of a semi-group $Q$ generated by the vectors and its saturation. We apply our procedure to compute an infinite family of holes for the semi-group of the $3\times 4\times 6$ transportation problem. Furthermore, we give an upper bound for the entries of the holes when the set of holes is finite. Finally, we present an algorithm to find all $Q$-minimal saturation points of $Q$.
Multiparking Functions, Graph Searching, and the Tutte Polynomial
A parking function of length n is a sequence (b_1, b_2,..., b_n) of nonnegative integers whose nondecreasing rearrangement (a_1, a_2,...,a_n) has the property that a_i < i for every i. A well-known result about parking functions is that the polynomial P_n(q), which enumerates the complements of parking functions by the sum of their terms, is the generating function for the number of connected graphs by the number of excess edges when evaluated at (1+q). In this paper we extend this result to arbitrary connected graphs G. In general the polynomial that encodes information about subgraphs of G is the Tutte polynomial, which is the generating function for two parameters, namely the internal and external activities, associated with the spanning trees of G. We define G-multiparking functions, which generalize the G-parking functions that Postnikov and Shapiro introduced in the study of certain quotients of the polynomial ring. We construct a family of algorithmic bijections between the spanning forests of a graph G and the G-multiparking functions. In particular, the bijection induced by the breadth-first search leads to a new characterization of external activity, and hence a representation of Tutte polynomial by the reversed sum of G-multiparking functions.
A C*-algebra of geometric operators on self-similar CW-complexes. Novikov-Shubin and L^2-Betti numbers
Published in J. Funct. Anal., 256 (2009) 603-634.
• View Publication
• BIB
A class of CW-complexes, called self-similar complexes, is introduced, together with C*-algebras A_j of operators, endowed with a finite trace, acting on square-summable cellular j-chains. Since the Laplacian Delta_j belongs to A_j, L^2-Betti numbers and Novikov-Shubin numbers are defined for such complexes in terms of the trace. In particular a relation involving the Euler-Poincare' characteristic is proved. L^2-Betti and Novikov-Shubin numbers are computed for some self-similar complexes arising from self-similar fractals.
Pattern Recognition on Oriented Matroids: The Existence of a Tope Committee
Oriented matroids can serve as a tool of modeling of collective decision-making processes in contradictory problems of pattern recognition. We present a generalization of the committee techniques of pattern recognition to oriented matroids. A tope committee for an oriented matroid is a subset of its maximal covectors such that every positive halfspace contains more than half of the maximal covectors from this subset. For a large subfamily of oriented matroids their committee structure is quite rich; for example, any maximal chains in their tope posets provide one with information sufficient to construct a committee.
P-matrices in orbit spaces and invariant theory
Published in Journal of Physics: Conference Series 30 (2006) 30--40
• View Publication
• BIB
In many physical problems or applications one has to study functions that are invariant under the action of a symmetry group G and this is best done in the orbit space of G if one knows the equations and inequalities defining the orbit space and its strata. It is reviewed how the P-matrix is defined in terms of an integrity basis and how it can be used to determine the equations and inequalities defining the orbit space and its strata. It is shown that the P-matrix is a useful tool of constructive invariant theory, in fact, when the integrity basis is only partially known, calculating the P-matrix elements, one is able to determine the integrity basis completely.
Asymptotic Behavior of Partition Functions with Graph Laplacian
We introduce the matrix sums that represent a discrete analog of the matrix models with quartic potential. The probability space is given by the set of all simple n-vertex graphs with the Gibbs weight determined by the graph Laplacian. We study the large-n limit of the free energy per site and show that it is determined by the number of connected acyclic diagrams on the set of two-valent vertices.
Testing spherical transitivity in iterated wreath products of cyclic groups
We give a partial solution a question of Grigorchuk, Nekrashevych, Sushchanskii and Šunik by giving an algorithm to test whether a finite state element of an infinite iterated (permutational) wreath product $\hat G = \mathbb Z/k\mathbb Z\wr \mathbb Z/k\mathbb Z\wr \mathbb Z/k\mathbb Z\wr >...$ of cyclic groups of order $n$ acts spherically transitively. We can also decide whether two finite state spherically transitive elements of $\hat G$ are conjugate. For general infinite iterated wreath products, an algorithm is presented to determine whether two finite state automorphisms have the same image in the abelianization.
Möbius Functions and Semigroup Representation Theory II: Character formulas and multiplicities
Published
• View Publication
• BIB
We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota's theory of Möbius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idempotent semigroups and semigroups with basic algebras. Using these tools we are able to give a complete description of the spectra of random walks on finite semigroups admitting a faithful representation by upper triangular matrices over the complex numbers. These include the random walks on chambers of hyperplane arrangements studied by Bidigare, Hanlon, Rockmere, Brown and Diaconis. Applications are also given to decomposing tensor powers and exterior products of rook matrix representations of inverse semigroups, generalizing and simplifying earlier results of Solomon for the rook monoid.
The topological structure of scaling limits of large planar maps
Published
• View Publication
• BIB
We discuss scaling limits of large bipartite planar maps. If p is a fixed integer strictly greater than 1, we consider a random planar map M(n) which is uniformly distributed over the set of all 2p-angulations with n faces. Then, at least along a suitable subsequence, the metric space M(n) equipped with the graph distance rescaled by the factor n to the power -1/4 converges in distribution as n tends to infinity towards a limiting random compact metric space, in the sense of the Gromov-Hausdorff distance. We prove that the topology of the limiting space is uniquely determined independently of p, and that this space can be obtained as the quotient of the Continuum Random Tree for an equivalence relation which is defined from Brownian labels attached to the vertices. We also verify that the Hausdorff dimension of the limit is almost surely equal to 4.
On Sjostrand's skew sign-imbalance identity
We give a short proof of Sjostrand's sign-imbalance identity for skew shapes using the domino Cauchy identity.
Cuntz-Krieger algebras and a generalization of Catalan numbers
Published
• View Publication
• BIB
We first observe that the relations of the canonical generating isometries of the Cuntz algebra ${\cal O}_N$ are naturally related to the $N$-colored Catalan numbers. For a directed graph $G$, we generalize the Catalan numbers by using the canonical generating partial isometries of the Cuntz-Krieger algebra ${\cal O}_{A^G}$ for the transition matrix $A^G$ of $G$. The generalized Catalan numbers $c_n^G, n=0,1,2,...$ enumerate the number of Dyck paths and oriented rooted trees for the graph $G$. Its generating functions will be studied.
On the logical complexity of convex polygon dissections
The logical depth of a graph $G$ is the minimum quantifier depth of a first order sentence defining $G$ up to isomorphism in the language of the adjacency and the equality relations. We consider the case that $G$ is a dissection of a convex polygon or, equivalently, a biconnected outerplanar graph. We bound the logical depth of a such $G$ from above by a function of combinatorial parameters of the dual tree of $G$.
Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure
Published
• View Publication
• BIB
\emph{Bidirected graphs} (a sort of nonstandard graphs introduced by Edmonds and Johnson) provide a natural generalization to the notions of directed and undirected graphs. By a \emph{weakly (node- or edge-) acyclic} bidirected graph we mean such graph having no (node- or edge-) simple cycles. We call a bidirected graph \emph{strongly acyclic} if it has no cycles (even non-simple). Unlike the case of standard graphs, a bidirected graph may be weakly acyclic but still have non-simple cycles.
Testing a given bidirected graph for weak acyclicity is a challenging combinatorial problem, which also has a number of applications (e.g. checking a perfect matching in a general graph for uniqueness). We present (generalizing results of Gabow, Kaplan, and Tarjan) a modification of the depth-first search algorithm that checks (in linear time) if a given bidirected graph is weakly acyclic (in case of negative answer a simple cycle is constructed).
Our results are best described in terms of \emph{skew-symmetric graphs} (the latter give another, somewhat more convenient graph language which is essentially equivalent to the language of bidirected graphs).
We also give structural results for the class of weakly acyclic bidirected and skew-symmetric graphs explaining how one can construct any such graph starting from strongly acyclic instances and, vice versa, how one can decompose a weakly acyclic graph into strongly acyclic ``parts''. Finally, we extend acyclicity test to build (in linear time) such a decomposition.
The proof of Steinberg's three coloring conjecture
The well-known Steinberg's conjecture asserts that any planar graph without 4- and 5-cycles is 3 colorable. In this note we have given a short algorithmic proof of this conjecture based on the spiral chains of planar graphs proposed in the proof of the four color theorem by the author in 2004.