Showing 20 papers (Total: 81623 papers, 47312 authors in database)
SPM Bulletin 20
This issue contains announcements of articles on:
The Pytkeev property; Partial order embeddings; Resolvability; Singular density; P(w)/fin and the Calkin algebra; Everywhere meagre and everywhere null sets; almost disjoint families; forcing axioms; Splitting families; Sacks Reals; unconditionally closed and algebraic sets in groups; Stratifiability; Dissipated Compacta; partition relations; pi-bases; covering by translates of a compact nullsets; and a new Problem of the Issue.
A 27-vertex graph that is vertex-transitive and edge-transitive but not l-transitive
I describe a 27-vertex graph that is vertex-transitive and edge-transitive but not 1-transitive. Thus while all vertices and edges of this graph are similar, there are no edge-reversing automorphisms.
The number of Latin rectangles
We show how to generate an expression for the number of k-line Latin rectangles for any k. The computational complexity of the resulting expression, as measured by the number of additions and multiplications required to evaluate it, is on the order of n^(2^(k-1)). These expressions generalize Ryser's formula for derangements.
Solving Triangular Peg Solitaire
Published in Journal of Integer Sequences, Vol. 11 (2008), Article 08.4.8
• Search Publication
We consider the one-person game of peg solitaire on a triangular board of arbitrary size. The basic game begins from a full board with one peg missing and finishes with one peg at a specified board location. We develop necessary and sufficient conditions for this game to be solvable. For all solvable problems, we give an explicit solution algorithm. On the 15-hole board, we compare three simple solution strategies. We then consider the problem of finding solutions that minimize the number of moves (where a move is one or more consecutive jumps by the same peg), and find the shortest solution to the basic game on all triangular boards with up to 55 holes (10 holes on a side).
On pattern-avoiding partitions
A \emph{set partition} of the set $[n]=\{1,...c,n\}$ is a collection of disjoint blocks $B_1,B_2,...c, B_d$ whose union is $[n]$. We choose the ordering of the blocks so that they satisfy $\min B_1<\min B_2<...b<\min B_d$. We represent such a set partition by a \emph{canonical sequence} $π_1,π_2,...c,π_n$, with $π_i=j$ if $i\in B_j$. We say that a partition $π$ \emph{contains} a partition $σ$ if the canonical sequence of $π$ contains a subsequence that is order-isomorphic to the canonical sequence of $σ$. Two partitions $σ$ and $σ'$ are \emph{equivalent}, if there is a size-preserving bijection between $σ$-avoiding and $σ'$-avoiding partitions.
We determine several infinite families of sets of equivalent patterns; for instance, we prove that there is a bijection between $k$-noncrossing and $k$-nonnesting partitions, with a notion of crossing and nesting based on the canonical sequence. We also provide new combinatorial interpretations of the Catalan numbers and the Stirling numbers. Using a systematic computer search, we verify that our results characterize all the pairs of equivalent partitions of size at most seven.
We also present a correspondence between set partitions and fillings of Ferrers shapes and stack polyominoes. This correspondence allows us to apply recent results on polyomino fillings in the study of partitions, and conversely, some of our results on partitions imply new results on polyomino fillings and ordered graphs.
Connectivity and equilibrium in random games
Published in Annals of Applied Probability 2011, Vol. 21, No. 3, 987-1016
• View Publication
• BIB
We study how the structure of the interaction graph of a game affects the existence of pure Nash equilibria. In particular, for a fixed interaction graph, we are interested in whether there are pure Nash equilibria arising when random utility tables are assigned to the players. We provide conditions for the structure of the graph under which equilibria are likely to exist and complementary conditions which make the existence of equilibria highly unlikely. Our results have immediate implications for many deterministic graphs and generalize known results for random games on the complete graph. In particular, our results imply that the probability that bounded degree graphs have pure Nash equilibria is exponentially small in the size of the graph and yield a simple algorithm that finds small nonexistence certificates for a large family of graphs. Then we show that in any strongly connected graph of n vertices with expansion $(1+Ω(1))\log_2(n)$ the distribution of the number of equilibria approaches the Poisson distribution with parameter 1, asymptotically as $n \to +\infty$.
On a Generalization of the van der Waerden Theorem
Published
• View Publication
• BIB
For a given length and a given degree and an arbitrary partition of the positive integers, there always is a cell containing a polynomial progression of that length and that degree; moreover, the coefficients of the generating polynomial can be chosen from a given semigroup and one can prescribe the occurring powers. A multidimensional version is included.
Measurable sets with excluded distances
Published
• View Publication
• BIB
For a set of distances D={d_1,...,d_k} a set A is called D-avoiding if no pair of points of A is at distance d_i for some i. We show that the density of A is exponentially small in k provided the ratios d_1/d_2, d_2/d_3, ..., d_{k-1}/d_k are all small enough. This resolves a question of Szekely, and generalizes a theorem of Furstenberg-Katznelson-Weiss, Falconer-Marstrand, and Bourgain. Several more results on D-avoiding sets are presented.
On Differential Rota-Baxter Algebras
Published in J. Pure and Appl. Algebra, vol 212 (2008), 522-540
• View Publication
• BIB
A Rota-Baxter operator of weight $λ$ is an abstraction of both the integral operator (when $λ=0$) and the summation operator (when $λ=1$). We similarly define a differential operator of weight $λ$ that includes both the differential operator (when $λ=0$) and the difference operator (when $λ=1$). We further consider an algebraic structure with both a differential operator of weight $λ$ and a Rota-Baxter operator of weight $λ$ that are related in the same way that the differential operator and the integral operator are related by the First Fundamental Theorem of Calculus. We construct free objects in the corresponding categories. In the commutative case, the free objects are given in terms of generalized shuffles, called mixable shuffles. In the noncommutative case, the free objects are given in terms of angularly decorated rooted forests. As a byproduct, we obtain structures of a differential algebra on decorated and undecorated planar rooted forests.
A note on 3iet preserving morphisms
An infinite word, which is aperiodic and codes the orbit of a transformation of the exchange of three intervals is called 3iet word. Such a word is thus a natural generalization of a sturmian word to a word over 3-letter alphabet. A morphism is said to be 3iet preserving if it maps any 3iet word to another 3iet word. It is known that the monoid of morphisms preserving sturmian words is finitely generated. On the contrary, in this note we prove that the monoid of 3iet preserving morphisms is not finitely generated, that is, there are infinitely many 3iet preserving morphisms, which cannot be written as a non-trivial decomposition of other 3iet preserving morphisms.
Arithmetic structures in random sets
We extend two well-known results in additive number theory, Sárközy's theorem on square differences in dense sets and a theorem of Green on long arithmetic progressions in sumsets, to subsets of random sets of asymptotic density 0. Our proofs rely on a restriction-type Fourier analytic argument of Green and Green-Tao.
Non-trivial solutions to a linear equation in integers
Published
• View Publication
• BIB
For k>=3 let A \subset [1,N] be a set not containing a solution to a_1 x_1+...+a_k x_k=a_1 x_{k+1}+...+a_k x_{2k} in distinct integers. We prove that there is an epsilon>0 depending on the coefficients of the equation such that every such A has O(N^{1/2-epsilon}) elements. This answers a question of I. Ruzsa.
Unbounded regions of Infinitely Logconcave Sequences
Published in Elec. J. Combin. 14 (2007), #R72
• View Publication
• BIB
We study the properties of a logconcavity operator on a symmetric, unimodal subset of finite sequences. In doing so we are able to prove that there is a large unbounded region in this subset that is $\infty$-logconcave. This problem was motivated by the conjecture of Moll and Boros in that the binomial coefficients are $\infty$-logconcave.
Chamber basis of the Orlik-Solomon algebra and Aomoto complex
Published
• View Publication
• BIB
We introduce a basis of the Orlik-Solomon algebra labeled by chambers, so called chamber basis. We consider structure constants of the Orlik-Solomon algebra with respect to the chamber basis and prove that these structure constants recover D. Cohen's minimal complex from the Aomoto complex.
Specializations of Ferrers ideals
Published
• View Publication
• BIB
We introduce a specialization technique in order to study monomial ideals that are generated in degree two by using our earlier results about Ferrers ideals. It allows us to describe explicitly a cellular minimal free resolution of various ideals including any strongly stable and any squarefree strongly stable ideal whose minimal generators have degree two. In particular, this shows that threshold graphs can be obtained as specializations of Ferrers graphs, which explains their similar properties.
Recursion and Combinatorial Mathematics in Chandashaastra
Contribution of Indian Mathematics since Vedic Period has been recognised by the Historians. Pingala (200 BC) in his book on 'Chandashaastra', a text related to the description and analysis of meters in poetic work, describes algorithms which deal with the Combinatorial Mathematics. These algorithms essentially deal with the conversion of Binary numbers to Decimal numbers and vice versa, finding the value of 'n choose r', evaluating 2^n, etc. All these algorithms are recursive in nature. There are also evidences of making use of stack variables to stack the intermediate results for later use. Interestingly later work by Kedar Bhatt (around 800 AD) has only iterative algorithms for the same problems. We describe both the recursive as well as iterative algorithms in this paper.
Piecewise polynomials, Minkowski weights, and localization on toric varieties
Published in Algebra Number Theory 2 (2008), no. 2, 135--155.
• View Publication
• BIB
We use localization to describe the restriction map from equivariant Chow cohomology to ordinary Chow cohomology for complete toric varieties in terms of piecewise polynomial functions and Minkowski weights. We compute examples showing that this map is not surjective in general, and that its kernel is not always generated in degree one. We prove a localization formula for mixed volumes of lattice polytopes and, more generally, a Bott residue formula for toric vector bundles.
Heights on the finite projective line
Published in International Journal of Number Theory 5 (2009), 55--65
• View Publication
• BIB
Define the height function h(a) = min{k+(ka\mod p): k=1,2,...,p-1} for a = 0,1,...,p-1. It is proved that the height has peaks at p, (p+1)/2, and (p+c)/3, that these peaks occur at a= [p/3], (p-3)/2, (p-1)/2, [2p/3], p-3,p-2, and p-1, and that h(a) \leq p/3 for all other values of a.
Freiman's theorem in finite fields via extremal set theory
Published
• View Publication
• BIB
Using various results from extremal set theory (interpreted in the language of additive combinatorics), we prove an asyptotically sharp version of Freiman's theorem in F_2^n: if A in F_2^n is a set for which |A + A| <= K|A| then A is contained in a subspace of size 2^{2K + O(\sqrt{K}\log K)}|A|; except for the O(\sqrt{K} \log K) error, this is best possible. If in addition we assume that A is a downset, then we can also cover A by O(K^{46}) translates of a coordinate subspace of size at most |A|, thereby verifying the so-called polynomial Freiman-Ruzsa conjecture in this case. A common theme in the arguments is the use of compression techniques. These have long been familiar in extremal set theory, but have been used only rarely in the additive combinatorics literature.
Gaussian Bounds for Noise Correlation of Functions
Published
• View Publication
• BIB
In this paper we derive tight bounds on the expected value of products of {\em low influence} functions defined on correlated probability spaces. The proofs are based on extending Fourier theory to an arbitrary number of correlated probability spaces, on a generalization of an invariance principle recently obtained with O'Donnell and Oleszkiewicz for multilinear polynomials with low influences and bounded degree and on properties of multi-dimensional Gaussian distributions. The results derived here have a number of applications to the theory of social choice in economics, to hardness of approximation in computer science and to additive combinatorics problems.