Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
Multicolor Ramsey numbers for triple systems
Published
• View Publication
• BIB
Given an $r$-uniform hypergraph $H$, the multicolor Ramsey number $r_k(H)$ is the minimum $n$ such that every $k$-coloring of the edges of the complete $r$-uniform hypergraph $K_n^r$ yields a monochromatic copy of $H$. We investigate $r_k(H)$ when $k$ grows and $H$ is fixed. For nontrivial 3-uniform hypergraphs $H$, the function $r_k(H)$ ranges from $\sqrt{6k}(1+o(1))$ to double exponential in $k$.
We observe that $r_k(H)$ is polynomial in $k$ when $H$ is $r$-partite and at least single-exponential in $k$ otherwise. Erdős, Hajnal and Rado gave bounds for large cliques $K_s^r$ with $s\ge s_0(r)$, showing its correct exponential tower growth. We give a proof for cliques of all sizes, $s>r$, using a slight modification of the celebrated stepping-up lemma of Erdős and Hajnal.
For 3-uniform hypergraphs, we give an infinite family with sub-double-exponential upper bound and show connections between graph and hypergraph Ramsey numbers. Specifically, we prove that $$r_k(K_3)\le r_{4k}(K_4^3-e)\le r_{4k}(K_3)+1,$$ where $K_4^3-e$ is obtained from $K_4^3$ by deleting an edge.
We provide some other bounds, including single-exponential bounds for $F_5=\{abe,abd,cde\}$ as well as asymptotic or exact values of $r_k(H)$ when $H$ is the bow $\{abc,ade\}$, kite $\{abc,abd\}$, tight path $\{abc,bcd,cde\}$ or the windmill $\{abc,bde,cef,bce\}$. We also determine many new "small" Ramsey numbers and show their relations to designs. For example, the lower bound for $r_6(kite)=8$ is demonstrated by decomposing the triples of $[7]$ into six partial STS (two of them are Fano planes).
Applications of the Canonical Ramsey Theorem to Geometry
Published
• View Publication
• BIB
Let P be a set of n points in R^d. How big is the largest subset X of P such that all of the distances determined between pairs are different? We show that X is at at least Omega(n^{1/6d}) This is not the best known; however the technique is new.
Assume that no three of the original points are collinear. How big is the largest subset X of P such that all of the areas determined by elements of all triples are different? We show that, if d=2 then X is at least Omega((log log n)^{1/186}) and if d=3 then X is at least Omega((log log n)^{1/396}). We also obtain results for countable sets of points in R^d.
All of our proofs use variants of the canonical Ramsey theorem and some geometric lemmas.
Obtaining error-minimizing estimates and universal entry-wise error bounds for low-rank matrix completion
We propose a general framework for reconstructing and denoising single entries of incomplete and noisy entries. We describe: effective algorithms for deciding if and entry can be reconstructed and, if so, for reconstructing and denoising it; and a priori bounds on the error of each entry, individually. In the noiseless case our algorithm is exact. For rank-one matrices, the new algorithm is fast, admits a highly-parallel implementation, and produces an error minimizing estimate that is qualitatively close to our theoretical and the state-of-the-are Nuclear Norm and OptSpace methods.
The Jordan-Brouwer theorem for the digital normal n-space Zn
In this paper we investigate properties of digital spaces which are represented by graphs. We find conditions for digital spaces to be digital n-manifolds and n-spheres. We study properties of partitions of digital spaces and prove a digital analog of the Jordan-Brouwer theorem for the normal digital n-space Zn.
Combinatorics of $φ$-deformed stuffle Hopf algebras
In order to extend the Schützenberger's factorization to general perturbations, the combinatorial aspects of the Hopf algebra of the $φ$-deformed stuffle product is developed systematically in a parallel way with those of the shuffle product.
On Chromatic Number of Kneser Hypergraphs
Published
• View Publication
• BIB
In this paper, in view of $Z_p$-Tucker lemma, we introduce a lower bound for chromatic number of Kneser hypergraphs which improves Dol'nikov-K{ř}{í}{ž} bound. Next, we introduce multiple Kneser hypergraphs and we specify the chromatic number of some multiple Kneser hypergraphs. For a vector of positive integers $\vec{s}=(s_1,s_2,\ldots,s_m)$ and a partition $π=(P_1,P_2,\ldots,P_m)$ of $\{1,2,\ldots,n\}$, the multiple Kneser hypergraph ${\rm KG}^r(π; \vec{s};k)$ is a hypergraph with the vertex set $$V=\left\{A:\ A\subseteq P_1\cup P_2\cup\cdots \cup P_m,\ |A|=k, \forall 1\leq i\leq m;\ |A\cap P_i|\leq s_i\right\}$$ whose edge set is consist of any $r$ pairwise disjoint vertices. We determine the chromatic number of multiple Kneser hypergraphs provided that $r=2$ or for any $1\leq i\leq m$, we have $|P_i|\leq 2s_i$.
A subset $S \subseteq [n]$ is almost $s$-stable if for any two distinct elements $i,j\in S$, we have $|i-j|\geq s$. The almost $s$-stable Kneser hypergraph ${\rm KG}^r(n,k)_{s-stab}^{\sim}$ has all $s$-stable subsets of $[n]$ as the vertex set and every $r$-tuple of pairwise disjoint vertices forms an edge. Meunier [The chromatic number of almost stable Kneser hypergraphs. J. Combin. Theory Ser. A, 118(6):1820--1828, 2011] showed for any positive integer $r$, $χ({\rm KG}^r(n,k)_{2-stab}^{\sim})=\left\lceil {n-r(k-1) \over r-1}\right\rceil$. We extend this result to a large family of Schrijver hypergraphs. Finally, we present a colorful-type result which confirms the existence of a completely multicolored complete bipartite graph in any coloring of a graph.
Bar 1-Visibility Drawings of 1-Planar Graphs
Published
• View Publication
• BIB
A bar 1-visibility drawing of a graph $G$ is a drawing of $G$ where each vertex is drawn as a horizontal line segment called a bar, each edge is drawn as a vertical line segment where the vertical line segment representing an edge must connect the horizontal line segments representing the end vertices and a vertical line segment corresponding to an edge intersects at most one bar which is not an end point of the edge. A graph $G$ is bar 1-visible if $G$ has a bar 1-visibility drawing. A graph $G$ is 1-planar if $G$ has a drawing in a 2-dimensional plane such that an edge crosses at most one other edge. In this paper we give linear-time algorithms to find bar 1-visibility drawings of diagonal grid graphs and maximal outer 1-planar graphs. We also show that recursive quadrangle 1-planar graphs and pseudo double wheel 1-planar graphs are bar 1-visible graphs.