Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Multiple ergodic averages for flows and an application
Published
• View Publication
• BIB
We show the $L^2$-convergence of continuous time ergodic averages of a product of functions evaluated at return times along polynomials. These averages are the continuous time version of the averages appearing in Furstenberg's proof of Szemerédi's Theorem. For each average we show that it is sufficient to prove convergence on special factors, the Host-Kra factors, which have the structure of a nilmanifold. We also give a description of the limit. In particular, if the polynomials are independent over the real numbers then the limit is the product of the integrals. We further show that if the collection of polynomials has "low complexity", then for every set $E$ of real numbers with positive density and for every $δ>0$, the set of polynomial return times for the "$δ$-thickened" set $E_δ$ has bounded gaps.
The Betti polynomials of powers of an ideal
Published
• View Publication
• BIB
For an ideal $I$ in a regular local ring or a graded ideal $I$ in the polynomial ring we study the limiting behavior of the Betti numbers of S/I^k as k goes to infinity. By Kodiyalam's result it is known that in each homological degree the Betti number is a polynomial for large k. We call these polynomials the Kodiyalam polynomials and encode the limiting behavior in their generating polynomial. It is shown that the limiting behavior depends only on the coefficients on the Kodiyalam polynomials in the highest possible degree. For these we exhibit lower bounds in special cases and conjecture that the bounds are valid in general. We also show that the Kodiyalam polynomials have weakly descending degrees and identify a situation where the polynomials have all highest possible degree.
Bandwidth, expansion, treewidth, separators, and universality for bounded degree graphs
We establish relations between the bandwidth and the treewidth of bounded degree graphs G, and relate these parameters to the size of a separator of G as well as the size of an expanding subgraph of G. Our results imply that if one of these parameters is sublinear in the number of vertices of G then so are all the others. This implies for example that graphs of fixed genus have sublinear bandwidth or, more generally, a corresponding result for graphs with any fixed forbidden minor. As a consequence we establish a simple criterion for universality for such classes of graphs and show for example that for each gamma>0 every n-vertex graph with minimum degree ((3/4)+gamma)n contains a copy of every bounded-degree planar graph on n vertices if n is sufficiently large.
Invariant and coinvariant spaces for the algebra of symmetric polynomials in non-commuting variables
Published
• View Publication
• BIB
We analyze the structure of the algebra N of symmetric polynomials in non-commuting variables in so far as it relates to its commutative counterpart. Using the "place-action" of the symmetric group, we are able to realize the latter as the invariant polynomials inside the former. We discover a tensor product decomposition of N analogous to the classical theorems of Chevalley, Shephard-Todd on finite reflection groups.
Enumeration of alternating sign matrices of even size (quasi-)nvariant under a quarter-turn rotation
Published
• View Publication
• BIB
The aim of this work is to enumerate alternating sign matrices (ASM) that are quasi-invariant under a quarter-turn. The enumeration formula (conjectured by Duchon) involves, as a product of three terms, the number of unrestricted ASM's and the number of half-turn symmetric ASM's.
Lack of Sphere Packing of Graphs via Non-Linear Potential Theory
Published
• View Publication
• BIB
It is shown that there is no quasi-sphere packing of the lattice grid Z^{d+1} or a co-compact hyperbolic lattice of H^{d+1} or the 3-regular tree \times Z, in R^d, for all d. A similar result is proved for some other graphs too. Rather than using a direct geometrical approach, the main tools we are using are from non-linear potential theory.
Bipartite and neighborhood graphs and the spectrum of the normalized graph Laplacian
Published
• View Publication
• BIB
We study the spectrum of the normalized Laplace operator of a connected graph $Γ$. As is well known, the smallest nontrivial eigenvalue measures how difficult it is to decompose $Γ$ into two large pieces, whereas the largest eigenvalue controls how close $Γ$ is to being bipartite. The smallest eigenvalue can be controlled by the Cheeger constant, and we establish a dual construction that controls the largest eigenvalue. Moreover, we find that the neighborhood graphs $Γ[l]$ of order $l\geq2$ encode important spectral information about $Γ$ itself which we systematically explore. In particular, the neighborhood graph method leads to new estimates for the smallest nontrivial eigenvalue that can improve the Cheeger inequality, as well as an explicit estimate for the largest eigenvalue from above and below. As applications of such spectral estimates, we provide a criterion for the synchronizability of coupled map lattices, and an estimate for the convergence rate of random walks on graphs.
Which Digraphs with Ring Structure are Essentially Cyclic?
Published in Advances in Applied Mathematics 45 (2010), pp. 232-251
• View Publication
• BIB
We say that a digraph is essentially cyclic if its Laplacian spectrum is not completely real. The essential cyclicity implies the presence of directed cycles, but not vice versa. The problem of characterizing essential cyclicity in terms of graph topology is difficult and yet unsolved. Its solution is important for some applications of graph theory, including that in decentralized control. In the present paper, this problem is solved with respect to the class of digraphs with ring structure, which models some typical communication networks. It is shown that the digraphs in this class are essentially cyclic, except for certain specified digraphs. The main technical tool we employ is the Chebyshev polynomials of the second kind. A by-product of this study is a theorem on the zeros of polynomials that differ by one from the products of Chebyshev polynomials of the second kind. We also consider the problem of essential cyclicity for weighted digraphs and enumerate the spanning trees in some digraphs with ring structure.
On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution
In the context of proving lower bounds on proof space in k-DNF resolution, [Ben-Sasson and Nordstrom 2009] introduced the concept of minimally unsatisfiable sets of k-DNF formulas and proved that a minimally unsatisfiable k-DNF set with m formulas can have at most O((mk)^(k+1)) variables. They also gave an example of such sets with Omega(mk^2) variables.
In this paper we significantly improve the lower bound to Omega(m)^k, which almost matches the upper bound above. Furthermore, we show that this implies that the analysis of their technique for proving time-space separations and trade-offs for k-DNF resolution is almost tight. This means that although it is possible, or even plausible, that stronger results than in [Ben-Sasson and Nordstrom 2009] should hold, a fundamentally different approach would be needed to obtain such results.
On a pattern avoidance condition for the wreath product of cyclic groups with symmetric groups
Published
• View Publication
• BIB
In this paper, we extend to a non-consecutive case, the study of the pattern matching condition on the wreath product of the cyclic group and the symmetric group initiated by the authors in a previous paper. The main focus of our paper is (colored) patterns of length 2, although a number of enumerative results for longer patterns are also presented. A new non-trivial bijective interpretation for the Catalan numbers is found, in terms of simultaneously bi-avoiding two patterns in a wreath product.
An Erdos-Ko-Rado theorem for the derangement graph of PGL(2,q) acting on the projective line
Published
• View Publication
• BIB
Let G=PGL(2,q) be the projective general linear group acting on the projective line P_q. A subset S of G is intersecting if for any pair of permutations π,σin S, there is a projective point p in P_q such that p^π=p^σ. We prove that if S is intersecting, then the size of S is no more than q(q-1). Also, we prove that the only sets S that meet this bound are the cosets of the stabilizer of a point of P_q.
Steiner quadruple systems with point-regular abelian automorphism groups
Published in J. Stat. Theory Practice 6 (2012), 97-128
• View Publication
• BIB
In this paper we present a graph theoretic construction of Steiner quadruple systems (SQS) admitting abelian groups as point-regular automorphism groups. The resulting SQS has an extra property which we call A-reversibility, where A is the underlying abelian group. In particular, when A is a 2-group of exponent at most 4, it is shown that an A-reversible SQS always exists. When the Sylow 2-subgroup of A is cyclic, we give a necessary and sufficient condition for the existence of an A-reversible SQS, which is a generalization of a necessary and sufficient condition for the existence of a dihedral SQS by Piotrowski (1985). This enables one to construct A-reversible SQS for any abelian group A of order v such that for every prime divisor p of v there exists a dihedral SQS(2p).
Packing 3-vertex Paths In Cubic 3-connected Graphs
A subgraph (a spanning subgraph) of a graph G whose all components are 3-vertex paths is called an L-packing (respectively, an L-factor} of G. We discuss the following old
PROBLEM (A. Kelmans, 1984). Is the following claim true?
(C) If G is a cubic 3-connected graph, then G has an L-packing that avoids at most two vertices of G.
We show, in particular, that claim (C) is equivalent to some seemingly stronger claims (see Theorem 3.1 below).
For example, if G is a cubic 3-connected graph and the number of vertices of G is divisible by three, then then the following claims are equivalent: G has an L-factor, for every edge e of G there is an L-factor of G avoiding (containing) e, G - {e,f} has an L-factor for every two edges e and f of G, and G - P has an L-factor for every 3-vertex path P in G.
It follows that if claim (C) is true, then Reed's dominating graph conjecture is true for cubic 3-connected graphs.
We also show that certain claims in Theorem 3.1 are best possible. We give a construction providing infinitely many cyclically 6-connected graphs G with two disjoint 3-vertex paths P and P' such that the number of vertices of G is divisible by three and G - P- P' has no L-factor.
Keywords: cubic 3-connected graph, 3-vertex path packing, 3-vertex path factor, domination.
A geometric construction of Mathon's perp-system from four lines of PG(5,3)
Published
• View Publication
• BIB
We give a new construction of the Mathon perp-system of the five dimensional projective space over the field with three elements, starting from four lines.
Normaliz: Algorithms for Affine Monoids and Rational Cones
Published
• View Publication
• BIB
Normaliz is a program for solving linear systems of inequalities. In this paper we present the algorithms implemented in the program, starting with version 2.0.
Almost all cancellative triple systems are tripartite
A triple system is cancellative if no three of its distinct edges satisfy $A \cup B=A \cup C$. It is tripartite if it has a vertex partition into three parts such that every edge has exactly one point in each part. It is easy to see that every tripartite triple system is cancellative. We prove that almost all cancellative triple systems with vertex set [n] are tripartite. This sharpens a theorem of Nagle and Rodl on the number of cancellative triple systems. It also extends recent work of Person and Schacht who proved a similar result for triple systems without the Fano configuration. Our proof uses the hypergraph regularity lemma of Frankl and Rodl, and a stability theorem for cancellative triple systems due to Keevash and the second author.
Primitive filtrations of the modules of invariant logarithmic forms of Coxeter arrangements
Published in Journal of Algebra, 330 (2011), 251-262
• View Publication
• BIB
We define {\bf primitive derivations} for Coxeter arrangements which may not be irreducible. Using those derivations, we introduce the {\bf primitive filtrations} of the module of invariant logarithmic differential forms for an arbitrary Coxeter arrangement with an arbitrary multiplicity. In particular, when the Coxeter arrangement is irreducible with a constant multiplicity, the primitive filtration has already been studied, which generalizes the Hodge filtration introduced by K. Saito.
New special functions solving nonlinear autonomous dynamical systems
A general solution is found for a large class of time continuous autonomous nonlinear dynamical systems, the so-called quasi-polynomial systems. This solution is expressed in terms of a new type of special functions defined via their Taylor series. The coefficients of these Taylor series are generated by a tensor that generalizes the factorial function and has a combinatorial meaning. The existence of these functions raises the question of the relation between them and the chaotic behaviour of the solutions that may appear for the quasi-polynomial dynamical systems.
Quiver Grassmannians associated with string modules
Published in JOURNAL OF ALGEBRAIC COMBINATORICS, vol. 33, p. 259-276, 2011
• View Publication
• BIB
We provide a technique to compute the Euler characteristic of a class of projective varieties called quiver Grassmannians. This technique applies to quiver Grassmannians associated with "orientable string modules". As an application we explicitly compute the Euler characteristic of quiver Grassmannians associated with indecomposable preprojective, preinjective and regular homogeneous representations of an affine quiver of type $\tilde{A}_{p,1}$. For $p=1$, this approach provides another proof of a result due to P. Caldero and A. Zelevinsky in \cite{CZ}.
Random 3-noncrossing partitions
In this paper, we introduce polynomial time algorithms that generate random 3-noncrossing partitions and 2-regular, 3-noncrossing partitions with uniform probability. A 3-noncrossing partition does not contain any three mutually crossing arcs in its canonical representation and is 2-regular if the latter does not contain arcs of the form $(i,i+1)$. Using a bijection of Chen {\it et al.} \cite{Chen,Reidys:08tan}, we interpret 3-noncrossing partitions and 2-regular, 3-noncrossing partitions as restricted generalized vacillating tableaux. Furthermore, we interpret the tableaux as sampling paths of Markov-processes over shapes and derive their transition probabilities.