Showing 20 papers (Total: 81756 papers, 47371 authors in database)
SPM Bulletin 25
Contents:
1. Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces, I; 2. Frechet-Urysohn fans in free topological groups; 3. Packing index of subsets in Polish groups; 4. Symmetric monochromatic subsets in colorings of the Lobachevsky plane; 5. Structural Ramsey theory of metric spaces and topological dynamics of isometry groups; 6. Distinguishing Number of Countable Homogeneous Relational Structures; 7. Indestructible colourings and rainbow Ramsey theorems; 8. Products of Borel subgroups; 9. Selection theorems and treeability; 10. Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces, IV; 11. A property of Cp[0, 1]; 12. A Dedekind Finite Borel Set; 13. Aronszajn Compacta; 14. A strong antidiamond principle compatible with CH; 15. On the strength of Hausdorff's gap condition; 16. Nonhomogeneous analytic families of trees; 17. Reasonable non-Radon-Nikodym ideals; 18. Continuity and related forcing; 19. An exact Ramsey principle for block sequences; 20. Baire reflection; 21. Tukey classes of ultrafilters on; 22. Countably determined compact abelian groups; 23. A topological reflection principle equivalent to Shelah's Strong Hypothesis; 24. Superfilters, Ramsey theory, and van der Waerden's Theorem.
More bijective Catalan combinatorics on permutations and on signed permutations
Published
• View Publication
• BIB
In this paper, we construct bijections between Dyck paths, noncrossing partitions, and 231-avoiding permutations, which send the area statistic on Dyck paths to the inversion number on noncrossing partitions and on 231-avoiding permutations. This bijection has the additional property that it simultaneously sends the major index on Dyck paths to the sum of the major index and the inverse major index on noncrossing partitions and on 231-avoiding permutations, respectively. Moreover, we provide generalizations of these constructions to the group of signed permutations.
A Refined Difference Field Theory for Symbolic Summation
Published in J. Symbolic Comput. 43(9), pp. 611-644. 2008
• View Publication
• BIB
In this article we present a refined summation theory based on Karr's difference field approach. The resulting algorithms find sum representations with optimal nested depth. For instance, the algorithms have been applied successively to evaluate Feynman integrals from Perturbative Quantum Field Theory.
Morphic and Automatic Words: Maximal Blocks and Diophantine Approximation
Published
• View Publication
• BIB
Let $\mb w$ be a morphic word over a finite alphabet $Σ$, and let $Δ$ be a nonempty subset of $Σ$. We study the behavior of maximal blocks consisting only of letters from $Δ$ in $\mb w$, and prove the following: let $(i_k,j_k)$ denote the starting and ending positions, respectively, of the $k$'th maximal $Δ$-block in $\mb w$. Then $\limsup_{k\to\infty} (j_k/i_k)$ is algebraic if $\mb w$ is morphic, and rational if $\mb w$ is automatic. As a result, we show that the same conclusion holds if $(i_k,j_k)$ are the starting and ending positions of the $k$'th maximal zero block, and, more generally, of the $k$'th maximal $x$-block, where $x$ is an arbitrary word. This enables us to draw conclusions about the irrationality exponent of automatic and morphic numbers. In particular, we show that the irrationality exponent of automatic (resp., morphic) numbers belonging to a certain class that we define is rational (resp., algebraic).
Parameterized Telescoping Proves Algebraic Independence of Sums
Published
• View Publication
• BIB
Usually creative telescoping is used to derive recurrences for sums. In this article we show that the non-existence of a creative telescoping solution, and more generally, of a parameterized telescoping solution, proves algebraic independence of certain types of sums. Combining this fact with summation-theory shows transcendence of whole classes of sums. Moreover, this result throws new light on the question why, e.g., Zeilberger's algorithm fails to find a recurrence with minimal order.
Vector partition functions and index of transversally elliptic operators
Published
• View Publication
• BIB
Let G be a torus acting linearly on a complex vector space M, and let X be the list of weights of G in M. We determine the equivariant K-theory of the open subset of M consisting of points with finite stabilizers. We identify it to the space DM(X) of functions on the lattice of weights of G, satisfying the cocircuit difference equations associated to X, introduced by Dahmen--Micchelli in the context of the theory of splines in order to study vector partition functions. This allows us to determine the range of the index map from G-transversally elliptic operators on M to generalized functions on G and to prove that the index map is an isomorphism on the image. This is a setting studied by Atiyah-Singer which is in a sense universal for index computations.
Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices
Published in Fuzzy Sets and Systems 161 (5) (2010) 694-707
• View Publication
• BIB
We give several characterizations of discrete Sugeno integrals over bounded distributive lattices, as particular cases of lattice polynomial functions, that is, functions which can be represented in the language of bounded lattices using variables and constants. We also consider the subclass of term functions as well as the classes of symmetric polynomial functions and weighted minimum and maximum functions, and present their characterizations, accordingly. Moreover, we discuss normal form representations of these functions.
Explicit double shuffle relations and a generalization of Euler's decomposition formula
Published in J. Algebra 380 (2013), 46-77
• View Publication
• BIB
We give an explicit formula for the shuffle relation in a general double shuffle framework that specializes to double shuffle relations of multiple zeta values and multiple polylogarithms. As an application, we generalize the well-known decomposition formula of Euler that expresses the product of two Riemann zeta values as a sum of double zeta values to a formula that expresses the product of two multiple polylogarithm values as a sum of other multiple polylogarithm values.
Some remarks on the Stanley's depth for multigraded modules
Published in Le Matematiche 63(2) (2008), pag. 165-171
• Search Publication
We show that the Stanley's conjecture holds for any multigraded $S$-module $M$ with $\sdepth(M)=0$, where $S=K[x_1,...,x_n]$. Also, we give some bounds for the Stanley depth of the powers of the maximal irrelevant ideal in $S$.
A spline interpretation of Eulerian numbers
Published
• View Publication
• BIB
In this paper, we explore the interrelationship between Eulerian numbers and B splines. Specifically, using B splines, we give the explicit formulas of the refined Eulerian numbers, and descents polynomials. Moreover, we prove that the coefficients of descent polynomials $D_d^n(t)$ are log-concave. This paper also provides a new approach to study Eulerian numbers and descent polynomials.
How to Draw Tropical Planes
Published in Electronic Journal of Combinatorics, 16 (2009), no. 2
• View Publication
• BIB
The tropical Grassmannian parameterizes tropicalizations of linear spaces, while the Dressian parameterizes all planes in $\TP^{n-1}$. We study these parameter spaces and we compute them explicitly for $n \leq 7$. Planes are identified with matroid subdivisions and with arrangements of trees. These representations are used to draw pictures.
Improved lower bound on the size of Kakeya sets over finite fields
Published
• View Publication
• BIB
In a recent breakthrough, Dvir showed that every Kakeya set in $\F^n$ must be of cardinality at least $c_n |\F|^n$ where $c_n \approx 1/n!$. We improve this lower bound to $β^n |\F|^n$ for a constant $β> 0$. This pins down the growth of the leading constant to the right form as a function of $n$.
Boolean complexes for Ferrers graphs
In this paper we provide an explicit formula for calculating the boolean number of a Ferrers graph. By previous work of the last two authors, this determines the homotopy type of the boolean complex of the graph. Specializing to staircase shapes, we show that the boolean numbers of the associated Ferrers graphs are the Genocchi numbers of the second kind, and obtain a relation between the Legendre-Stirling numbers and the Genocchi numbers of the second kind. In another application, we compute the boolean number of a complete bipartite graph, corresponding to a rectangular Ferrers shape, which is expressed in terms of the Stirling numbers of the second kind. Finally, we analyze the complexity of calculating the boolean number of a Ferrers graph using these results and show that it is a significant improvement over calculating by edge recursion.
Sum of squares of degrees in a graph
Published in J. Inequal. Pure Appl. Math. 10 (2009), no. 3, Article 64, 34 pp
• Search Publication
Let $\G(v,e)$ be the set of all simple graphs with $v$ vertices and $e$ edges and let $P_2(G)=\sum d_i^2$ denote the sum of the squares of the degrees, $d_1, >..., d_v$, of the vertices of $G$.
It is known that the maximum value of $P_2(G)$ for $G \in \G(v,e)$ occurs at one or both of two special graphs in $\G(v,e)$--the \qs graph or the \qc graph. For each pair $(v,e)$, we determine which of these two graphs has the larger value of $P_2(G)$. We also determine all pairs $(v,e)$ for which the values of $P_2(G)$ are the same for the \qs and the \qc graph. In addition to the \qs and \qc graphs, we find all other graphs in $\G(v,e)$ for which the maximum value of $P_2(G)$ is attained. Density questions posed by previous authors are examined.
On the geometry of a class of invariant measures and a problem of Aldous
In his 1985 survey of notions of exchangeability, Aldous introduced a form of exchangeability corresponding to the symmetries of the infinite discrete cube, and asked whether these exchangeable probability measures enjoy a representation theorem similar to those for exchangeable sequences, arrays and set-indexed families. In this note we to prove that, whereas the known representation theorems for different classes of partially exchangeable probability measure imply that the compact convex set of such measures is a Bauer simplex (that is, its subset of extreme points is closed), in the case of cube-exchangeability it is a copy of the Poulsen simplex (in which the extreme points are dense). This follows from the arguments used by Glasner and Weiss' for their characterization of property (T) in terms of the geometry of the simplex of invariant measures for associated generalized Bernoulli actions.
The emergence of this Poulsen simplex suggests that, if a representation theorem for these processes is available at all, it must take a very different form from the case of set-indexed exchangeable families.
The flipping puzzle on a graph
Published
• View Publication
• BIB
Let $S$ be a connected graph which contains an induced path of $n-1$ vertices, where $n$ is the order of $S.$ We consider a puzzle on $S$. A configuration of the puzzle is simply an $n$-dimensional column vector over $\{0, 1\}$ with coordinates of the vector indexed by the vertex set $S$. For each configuration $u$ with a coordinate $u_s=1$, there exists a move that sends $u$ to the new configuration which flips the entries of the coordinates adjacent to $s$ in $u.$ We completely determine if one configuration can move to another in a sequence of finite steps.
d-collapsibility is NP-complete for d greater or equal to 4
Published
• View Publication
• BIB
A simplicial complex is d-collapsible if it can be reduced to an empty complex by repeatedly removing (collapsing) a face of dimension at most d-1 that is contained in a unique maximal face. We prove that the algorithmic question whether a given simplicial complex is d-collapsible is NP-complete for d greater or equal to 4 and polynomial time solvable for d at most 2. As an intermediate step, we prove that d-collapsibility can be recognized by the greedy algorithm for d at most 2, but the greedy algorithm does not work for d greater or equal 3. A simplicial complex is d-representable if it is the nerve of a collection of convex sets in R^d. The main motivation for studying d-collapsible complexes is that every d-representable complex is d-collapsible. We also observe that known results imply that analogical algorithmic question for d-representable complexes is NP-hard for d greater or equal to 2.
Regular induced subgraphs of a random graph
Published
• View Publication
• BIB
An old problem of Erdős, Fajtlowicz and Staton asks for the order of a largest induced regular subgraph that can be found in every graph on n vertices. Motivated by this problem, we consider the order of such a subgraph in a typical graph on n vertices, i.e., in a binomial random graph G(n,1/2). We prove that with high probability a largest induced regular subgraph of G(n,1/2) has about n^{2/3} vertices.
Efficient computation of resonance varieties via Grassmannians
Published in Journal of Pure and Applied Algebra, 213 (2009), 1606-1611
• View Publication
• BIB
Associated to the cohomology ring A of the complement X(A) of a hyperplane arrangement A in complex m-space are the resonance varieties R^k(A). The most studied of these is R^1(A), which is the union of the tangent cones at the origin to the characteristic varieties of the fundamental group of X. R^1(A) may be described in terms of Fitting ideals, or as the locus where a certain Ext module is supported. Both these descriptions give obvious algorithms for computation. In this note, we show that interpreting R^1(A) as the locus of decomposable two-tensors in the Orlik-Solomon ideal leads to a description of R^1(A) as the intersection of a Grassmannian with a linear space, determined by the quadratic generators of the Orlik-Solomon ideal. This method is much faster than previous alternatives.
Weighing matrices and optical quantum computing
Published in J. Phys. A: Math. Theor. 42, 065302 (2009).
• View Publication
• BIB
Quantum computation in the one-way model requires the preparation of certain resource states known as cluster states. We describe how the construction of continuous-variable cluster states for optical quantum computing relate to the existence of certain families of matrices. The relevant matrices are known as weighing matrices, with a few additional constraints. We prove some results regarding the structure of these matrices, and their associated graphs.