Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Word symmetric functions and the Redfield-Pólya
We give noncommutative versions of the Redfield-Pólya theorem in WSym, the algebra of word symmetric functions, and in other related combinatorial Hopf algebras.
On the second nilpotent quotient of higher homotopy groups, for hypersolvable arrangements
Published in Int. Math. Res. Notices vol. 2015, no.24 (2015), 13194--13207
• View Publication
• BIB
We examine the first non-vanishing higher homotopy group, $π_p$, of the complement of a hypersolvable, non--supersolvable, complex hyperplane arrangement, as a module over the group ring of the fundamental group, $\Zπ_1$. We give a presentation for the $I$--adic completion of $π_p$. We deduce that the second nilpotent $I$--adic quotient of $π_p$ is determined by the combinatorics of the arrangement, and we give a combinatorial formula for the second associated graded piece, $\gr^1_I π_p$. We relate the torsion of this graded piece to the dimensions of the minimal generating systems of the Orlik--Solomon ideal of the arrangement $\A$ in degree $p+2$, for various field coefficients. When $\A$ is associated to a finite simple graph, we show that $\gr^1_I π_p$ is torsion--free, with rank explicitly computable from the graph.
A Hamilton-Jacobi equation for the continuum limit of non-dominated sorting
Published
• View Publication
• BIB
We show that non-dominated sorting of a sequence of i.i.d. random variables in Euclidean space has a continuum limit that corresponds to solving a Hamilton-Jacobi equation involving the probability density function of the random variables. Non-dominated sorting is a fundamental problem in multi-objective optimization, and is equivalent to finding the canonical antichain partition and to problems involving the longest chain among Euclidean points. As an application of this result, we show that non-dominated sorting is asymptotically stable under random perturbations in the data. We give a numerical scheme for computing the viscosity solution of this Hamilton-Jacobi equation and present some numerical simulations for various density functions.
Positivity of Chern classes of Schubert cells and varieties
Published
• View Publication
• BIB
We show that the Chern-Schwartz-MacPherson class of a Schubert cell in a Grassmannian is represented by a reduced and irreducible subvariety in each degree. This gives an affirmative answer to a positivity conjecture of Aluffi and Mihalcea.
Transversals of Longest Paths and Cycles
Published
• View Publication
• BIB
Let G be a graph of order n. Let lpt(G) be the minimum cardinality of a set X of vertices of G such that X intersects every longest path of G and define lct(G) analogously for cycles instead of paths. We prove that lpt(G) \leq ceiling(n/4-n^{2/3}/90), if G is connected, lct(G) \leq ceiling(n/3-n^{2/3}/36), if G is 2-connected, and \lpt(G) \leq 3, if G is a connected circular arc graph. Our bound on lct(G) improves an earlier result of Thomassen and our bound for circular arc graphs relates to an earlier statement of Balister \emph{et al.} the argument of which contains a gap. Furthermore, we prove upper bounds on lpt(G) for planar graphs and graphs of bounded tree-width.
Multiple recurrence for non-commuting transformations along rationally independent polynomials
Published in Ergod. Th. Dynam. Sys. 35 (2015) 403-411
• View Publication
• BIB
We prove a multiple recurrence result for arbitrary measure-preserving transformations along polynomials in two variables of the form $m+p_i(n)$, with rationally independent $p_i$'s with zero constant term. This is in contrast to the single variable case, in which even double recurrence fails unless the transformations generate a virtually nilpotent group. The proof involves reduction to nilfactors and an equidistribution result on nilmanifolds.
On the size of Kakeya sets in finite vector spaces
Published
• View Publication
• BIB
For a finite field GF(q) a Kakeya set K is a subset of GF(q)^n that contains a line in every direction. This paper derives new upper bounds on the minimum size of Kakeya sets when q is even.
A tournament of order 24 with two disjoint TEQ-retentive sets
Brandt et al. (2013) have recently disproved a conjecture by Schwartz (1990) by non-constructively showing the existence of a counterexample with about 10^136 alternatives. We provide a concrete counterexample for Schwartz's conjecture with only 24 alternatives.
On Matroids and Linearly Independent Set Families
Published
• View Publication
• BIB
New families of matroids are constructed in this note. These new fami- lies are derived from the concept of linearly independent set family (LISF) introduced by Eicker and Ewald [Linear Algebra and its Applications 388 (2004) 173-191]. The proposed construction generalizes in a natural way the well known class of vectorial matroids over a field.
Knapsack Problems in Groups
Published
• View Publication
• BIB
We generalize the classical knapsack and subset sum problems to arbitrary groups and study the computational complexity of these new problems. We show that these problems, as well as the bounded submonoid membership problem, are P-time decidable in hyperbolic groups and give various examples of finitely presented groups where the subset sum problem is NP-complete.
Nest graphs and minimal complete symmetry groups for magic Sudoku variants
Published
• View Publication
• BIB
A symmetry group for Sudoku is complete if its action partitions the set of Sudoku boards into all possible orbits, and minimal if no group of smaller size would do the same. Previously, for a 4 x 4 Sudoku variation known as Shidoku, the authors used an analogous symmetry group to partition the set of Shidoku boards into so-called "nests" and then use the interplay between the physical and relabeling symmetries to find certain subgroups that were both complete and minimal. In this paper these same techniques are applied to find a minimal complete symmetry group for the modular magic Sudoku variation, as well as for another Sudoku variation called semi-magic Sudoku. The paper concludes with a simple computation which leads to the non-obvious fact that the full Sudoku symmetry group is, in fact, already minimal and complete.
Universal homomorphisms, universal structures, and the polymorphism clones of homogeneous structures
Using a categorial version of Fraïssé's theorem due to Droste and Göbel, we derive a criterion for a comma-category to have universal homogeneous objects.
As a first application we give new existence result for universal structures and for ω-categorical universal structures.
As a second application we characterize the retracts of a large class of homogeneous structures, extending previous results by Bonato, Delić, Dolinka, and Kubiś.
As a third application we show for a large class of homogeneous structures that their polymorphism clone is generated by polymorphisms of bounded arity, generalizing a classical result by Sierpiński that the clone of all functions on a given set is generated by its binary part.
Further we study the cofinality and the Bergman property for clones and we give sufficient conditions on a homogeneous structure to have a polymorphism clone that has uncountable cofinality and the Bergman property.
On a game on graphs
We start with the well-known game below: Two players hold a sheet of paper to their forehead on which a positive integer is written. The numbers are consecutive and each player can only see the number of the other one. In each time step, they either say nothing or tell what number they have. Both of them will eventually figure out their number after a certain amount of time. The game is rather cooperative than competitive, and employs the notions of common knowledge and mutual knowledge. We generalize this game to arbitrary (directed and non-directed) simple graphs and try to establish for which graphs one or both of them will figure out the solution, and how long they do need to find it. We give a complete answer for the case of two players, even if they are both allowed to discuss before the start of the game.
The skew growth functions $N_{M, \mathrm{deg}}(t)$ for the monoid of type $\mathrm{B_{ii}}$ and others
Published
• View Publication
• BIB
Let $M$ be a positive homogeneously presented cancellative monoid ${< L \mid R >}_{mo}$ equipped with the degree map $°:M \to \Z_{\ge0}$ defined by assigning to each equivalence class of words the length of the words, and let $P_{M, °}(t):= \sum_{u \in\ M}t^{°(u)}$ be its generating series, called the growth function. If $M$ satisfies the condition that any subset $J$ of $I_0$ ($:=$ the image of the set $L$ in $M$) admits either the least right common multiple $Δ_{J}$ or no common multiple in $M$, then the inversion function $P_{M, °}(t)^{-1}$ is given by the polynomial $\sum_{J \subset I_{0}}(-1)^{#J} t^{°(Δ_{J})}$, where the summation index $J$ runs over all subsets of $I_0$ whose least right common multiple exists. Since a monoid $M$ generally may not admit the least right common multiple $Δ_{J}$ for a given subset $J$ of it, if we attempt to generalize the formula, the consideration to obtain the above formula is invalid. To resolve this obstruction, we will examine the set $\mathrm{mcm}(J)$ of minimal common right multiples of $J$. Then, we need to introduce a concept of a tower of minimal common multiples of elements of $M$ and denote the set of all the towers in $M$ by $\mathrm{Tmcm}(M)$. Considering the structure of the set $\mathrm{Tmcm}(M)$, K. Saito has proved the inversion formula \[ P_{M,°}(t). N_{M,°}(t)=1, \] where the second factor in LHS is a suitably signed generating series \[ N_{M,°}(t):= 1 + \sum_{T\in \mathrm{Tmcm}(M)}(-1)^{#J_1+...+#J_{n}-n+1}\sum_{Δ\in \mathrm{mcm}(J_n)} t^{°(Δ)}, \] called the skew growth function. In this article, we present several explicit calculations of examples of the skew growth functions for the monoid of type $\mathrm{B_{ii}}$ and others whose towers do not stop on the first stage $J_1$.
The smallest part of the generic partition of the nilpotent commutator of a nilpotent matrix
Published
• View Publication
• BIB
Let $k$ be an infinite field. Fix a Jordan nilpotent $n$ by $n$ matrix $B = J_P$ with entries in $k$ and associated Jordan type $P$. Let $Q(P)$ be the Jordan type of a generic nilpotent matrix commuting with $B$. In this paper, we use the combinatorics of a poset associated to the partition $P$, to give an explicit formula for the smallest part of $Q(P)$, which is independent of the characteristic of $k$. This, in particular, leads to a complete description of $Q(P)$ when it has at most three parts.
On the Weak Lefschetz Property for Artinian Gorenstein algebras of codimension three
Published in Journal of Algebra 403 (2014), no. 1, 48--68
• View Publication
• BIB
We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle degree. In the first open case, namely Hilbert function (1,3,6,6,3,1), we give a complete answer in every characteristic by translating the problem to one of studying geometric aspects of certain morphisms from $\mathbb P^2$ to $\mathbb P^3$, and Hesse configurations in $\mathbb P^2$.
Stellar theory for flag complexes
Published
• View Publication
• BIB
Refining a basic result of Alexander, we show that two flag simplicial complexes are piecewise linearly homeomorphic if and only if they can be connected by a sequence of flag complexes, each obtained from the previous one by either an edge subdivision or its inverse. For flag spheres we pose new conjectures on their combinatorial structure forced by their face numbers, analogous to the extremal examples in the upper and lower bound theorems for simplicial spheres. Furthermore, we show that our algorithm to test the conjectures searches through the entire space of flag PL spheres of any given dimension.
Cellularity of the lowest two-sided ideal of an affine Hecke algebra
Published
• View Publication
• BIB
In this paper we show that the lowest two-sided ideal of an affine Hecke algebra is affine cellular for all choices of parameters. We explicitely describe the cellular basis and we show that the basis elements have a nice decomposition when expressed in the Kazhdan-Lusztig basis. In type $A$ we provide a combinatorial description of this decomposition in term of number of paths.
Sperner's Theorem and a Problem of Erdos-Katona-Kleitman
Published
• View Publication
• BIB
A central result in extremal set theory is the celebrated theorem of Sperner from 1928, which gives the size of the largest family of subsets of [n] not containing a 2-chain. Erdos extended this theorem to determine the largest family without a k-chain. Erdos and Katona, followed by Kleitman, asked how many chains must appear in families with sizes larger than the corresponding extremal bounds.
In 1966, Kleitman resolved this question for 2-chains, showing that the number of such chains is minimized by taking sets as close to the middle level as possible. Moreover, he conjectured the extremal families were the same for k-chains, for all k. In this paper, making the first progress on this problem, we verify Kleitman's conjecture for the families whose size is at most the size of the $k+1$ middle levels. We also characterize all extremal configurations.
On the toric ideal of a matroid
Published in Advances in Mathematics 259 (2014), 1-12
• View Publication
• BIB
Describing minimal generating set of a toric ideal is a well-studied and difficult problem. In 1980 White conjectured that the toric ideal associated to a matroid is equal to the ideal generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture up to saturation, that is that the saturations of both ideals are equal. In the language of algebraic geometry this means that both ideals define the same projective scheme. Additionally we prove the full conjecture for strongly base orderable matroids.