Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Factor frequencies in generalized Thue-Morse words
Published in Kybernetika 48(3) (2012), 371-385
• Search Publication
We describe factor frequencies of the generalized Thue-Morse word t_{b,m} defined for integers b greater than 1, m greater than 0 as the fixed point starting in 0 of the morphism φ_{b,m} given by φ_{b,m}(k)=k(k+1)...(k+b-1), where k = 0,1,..., m-1 and where the letters are expressed modulo m. We use the result of A. Frid, On the frequency of factors in a D0L word, Journal of Automata, Languages and Combinatorics 3 (1998), 29-41 and the study of generalized Thue-Morse words by S. Starosta, Generalized Thue-Morse words and palindromic richness, arXiv:1104.2476v2 [math.CO].
The Möbius function of generalized subword order
Published in Advances in Mathematics, 229 (5) (2012), 2741-2766
• View Publication
• BIB
Let P be a poset and let P* be the set of all finite length words over P. Generalized subword order is the partial order on P* obtained by letting u \leq w if and only if there is a subword u' of w having the same length as u such that each element of u is less than or equal to the corresponding element of u' in the partial order on P. Classical subword order arises when P is an antichain, while letting P be a chain gives an order on compositions. For any finite poset P, we give a simple formula for the Mobius function of P* in terms of the Mobius function of P. This permits us to rederive in a easy and uniform manner previous results of Bjorner, Sagan and Vatter, and Tomie. We are also able to determine the homotopy type of all intervals in P* for any finite P of rank at most 1.
Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game
We begin by reviewing and proving the basic facts of combinatorial game theory. We then consider scoring games (also known as Milnor games or positional games), focusing on the "fixed-length" games for which all sequences of play terminate after the same number of moves. The theory of fixed-length scoring games is shown to have properties similar to the theory of loopy combinatorial games, with operations similar to onsides and offsides. We give a complete description of the structure of fixed-length scoring games in terms of the class of short partizan games. We also consider fixed-length scoring games taking values in the two-element boolean algebra, and classify these games up to indistinguishability. We then apply these results to analyze some positions in the knotting-unknotting game of Pechenik, Townsend, Henrich, MacNaughton, and Silversmith.
Sperner property and finite-dimensional Gorenstein algebras associated to matroids
Published
• View Publication
• BIB
We prove the Lefschetz property for a certain class of finite-dimensional Gorenstein algebras associated to matroids. Our result implies the Sperner property of the vector space lattice. More generally, it is shown that the modular geometric lattice has the Sperner property. We also discuss the Gröbner fan of the defining ideal of our Gorenstein algebra.
Classical aspects of quantum cohomology of generalized flag varieties
Published
• View Publication
• BIB
We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.
Distance sets of universal and Urysohn metric spaces
Published
• View Publication
• BIB
A metric space $\mathrm{M}=(M;\de)$ is {\em homogeneous} if for every isometry $f$ of a finite subspace of $\mathrm{M}$ to a subspace of $\mathrm{M}$ there exists an isometry of $\mathrm{M}$ onto $\mathrm{M}$ extending $f$. A metric space $\boldsymbol{U}$ is an {\em Urysohn} metric space if it is homogeneous and separable and complete and if it isometrically embeds every separable metric space $\mathrm{M}$ with $\dist(\mathrm{M})\subseteq \dist(\boldsymbol{U})$. (With $\dist(\mathrm{M})$ being the set of distances between points in $\mathrm{M}$.)
The main results are: (1) A characterization of the sets $\dist(\boldsymbol{U})$ for Urysohn metric spaces $\boldsymbol{U}$. (2) If $R$ is the distance set of an Urysohn metric space and $\mathrm{M}$ and $\mathrm{N}$ are two metric spaces, of any cardinality with distances in $R$, then they amalgamate disjointly to a metric space with distances in $R$. (3) The completion of a homogeneous separable metric space $\mathrm{M}$ which embeds isometrically every finite metric space $\mathrm{F}$ with $\dist(\mathrm{F})\subseteq \dist(\mathrm{M})$ is homogeneous.
Bruhat graphs and pattern avoidance
Published in Journal of Combinatorics 6 (2015), 91--102
• View Publication
• BIB
We characterize permutations whose Bruhat graphs can be drawn in the plane and those whose Bruhat graphs can be drawn in the torus. In particular, we show these properties are characterized by avoiding finitely many permutations.
On abelian and additive complexity in infinite words
Published
• View Publication
• BIB
The study of the structure of infinite words having bounded abelian complexity was initiated by G. Richomme, K. Saari, and L. Q. Zamboni. In this note we define bounded additive complexity for infinite words over a finite subset of Z^m. We provide an alternative proof of one of the results of Richomme, Saari, and Zamboni.
Decompositions of commutative monoid congruences and binomial ideals
Published in Algebra & Number Theory 8 (2014) 1297-1364
• View Publication
• BIB
Primary decomposition of commutative monoid congruences is insensitive to certain features of primary decomposition in commutative rings. These features are captured by the more refined theory of mesoprimary decomposition of congruences, introduced here complete with witnesses and associated prime objects. The combinatorial theory of mesoprimary decomposition lifts to arbitrary binomial ideals in monoid algebras. The resulting binomial mesoprimary decomposition is a new type of intersection decomposition for binomial ideals that enjoys computational efficiency and independence from ground field hypotheses. Binomial primary decompositions are easily recovered from mesoprimary decomposition.
On a conjecture of Erdos and Simonovits: Even Cycles
Published
• View Publication
• BIB
Let $\mc{F}$ be a family of graphs. A graph is {\em $\mc{F}$-free} if it contains no copy of a graph in $\mc{F}$ as a subgraph. A cornerstone of extremal graph theory is the study of the {\em Turán number} $ex(n,\mc{F})$, the maximum number of edges in an $\mc{F}$-free graph on $n$ vertices. Define the {\em Zarankiewicz number} $z(n,\mc{F})$ to be the maximum number of edges in an $\mc{F}$-free {\em bipartite} graph on $n$ vertices. Let $C_k$ denote a cycle of length $k$, and let $\mc{C}_k$ denote the set of cycles $C_{\ell}$, where $3 \le \ell \leq k$ and $\ell$ and $k$ have the same parity. Erdős and Simonovits conjectured that for any family $\mc{F}$ consisting of bipartite graphs there exists an odd integer $k$ such that $ex(n,\mc{F} \cup \mc{C}_k) \sim z(n,\mc{F})$. They proved this when $\mc{F}={C_4}$ by showing that $ex(n,\{C_4,C_5\}) \sim z(n,C_4)$. In this paper, we extend this result by showing that if $\ell \in \{2,3,5\}$ and $k > 2\ell$ is odd, then ${ex(n,\mc{C}_{2\ell} \cup {C_k}) \sim z(n,\mc{C}_{2\ell})$. Furthermore, if $k > 2\ell + 2$ is odd, then for infinitely many $n$ we show that the extremal $\mc{C}_{2\ell} \cup \{C_k\}$-free graphs are bipartite incidence graphs of generalized polygons. We observe that this exact result does not hold for any odd $k < 2\ell$, and furthermore the asymptotic result does not hold when $(\ell,k)$ is $(3,3)$, $(5,3)$ or $(5,5)$. Our proofs make use of pseudorandomness properties of nearly extremal graphs that are of independent interest.
Inscribing a regular octahedron into polytopes
Published in Discrete Mathematics 313:1 (2012), 122-128
• View Publication
• BIB
We prove that any simple polytope (and some non-simple polytopes) in $\mathbb R^3$ admits an inscribed regular octahedron.
Local-to-global principles for rotor walk
Published in Electronic Journal of Combinatorics, 19(1) (2012), Article P5
• View Publication
• BIB
In rotor walk on a finite directed graph, the exits from each vertex follow a prescribed periodic sequence. Here we consider the case of rotor walk where a particle starts from a designated source vertex and continues until it hits a designated target set, at which point the walk is restarted from the source. We show that the sequence of successively hit targets, which is easily seen to be eventually periodic, is in fact periodic. We show moreover that reversing the periodic patterns of all rotor sequences causes the periodic pattern of the hitting sequence to be reversed as well. The proofs involve a new notion of equivalence of rotor configurations, and an extension of rotor walk incorporating time-reversed particles.
An elementary additive doubling inequality
We prove an elementary additive combinatorics inequality, which says that if $A$ is a subset of an Abelian group, which has, in some strong sense, large doubling, then the difference set A-A has a large subset, which has small doubling.
Computing the obstacle number of a plane graph
An obstacle representation of a plane graph G is V(G) together with a set of opaque polygonal obstacles such that G is the visibility graph on V(G) determined by the obstacles. We investigate the problem of computing an obstacle representation of a plane graph (ORPG) with a minimum number of obstacles. We call this minimum size the obstacle number of G.
First, we show that ORPG is NP-hard by reduction from planar vertex cover, resolving a question posed by [8]. Second, we give a reduction from ORPG to maximum degree 3 planar vertex cover. Since this reduction preserves solution values, it follows that ORPG is fixed parameter tractable (FPT) and admits a polynomial-time approximation scheme (PTAS).
Crystal energy functions via the charge in types A and C
Published in Mathematische Zeitschrift 273(1) (2013) 401-426
• View Publication
• BIB
The Ram-Yip formula for Macdonald polynomials (at t=0) provides a statistic which we call charge. In types A and C it can be defined on tensor products of Kashiwara-Nakashima single column crystals. In this paper we prove that the charge is equal to the (negative of the) energy function on affine crystals. The algorithm for computing charge is much simpler and can be more efficiently computed than the recursive definition of energy in terms of the combinatorial R-matrix.
Actions and identities on set partitions
Published in Electron. J. Combin. 19 (2012), no. 1, Research Paper 28
• View Publication
• BIB
A labeled set partition is a partition of a set of integers whose arcs are labeled by nonzero elements of an abelian group $A$. Inspired by the action of the linear characters of the unitriangular group on its supercharacters, we define a group action of $A^n$ on the set of $A$-labeled partitions of an $(n+1)$-set. By investigating the orbit decomposition of various families of set partitions under this action, we derive new combinatorial proofs of Coker's identity for the Narayana polynomial and its type B analogue, and establish a number of other related identities. In return, we also prove some enumerative results concerning André and Neto's supercharacter theories of type B and D.
The Bethe Permanent of a Non-Negative Matrix
Published in IEEE Trans. Inf. Theory, vol. 59, pp. 1866-1901, Mar. 2013
• View Publication
• BIB
It has recently been observed that the permanent of a non-negative square matrix, i.e., of a square matrix containing only non-negative real entries, can very well be approximated by solving a certain Bethe free energy function minimization problem with the help of the sum-product algorithm. We call the resulting approximation of the permanent the Bethe permanent. In this paper we give reasons why this approach to approximating the permanent works well. Namely, we show that the Bethe free energy function is convex and that the sum-product algorithm finds its minimum efficiently. We then discuss the fact that the permanent is lower bounded by the Bethe permanent, and we comment on potential upper bounds on the permanent based on the Bethe permanent. We also present a combinatorial characterization of the Bethe permanent in terms of permanents of so-called lifted versions of the matrix under consideration. Moreover, we comment on possibilities to modify the Bethe permanent so that it approximates the permanent even better, and we conclude the paper with some observations and conjectures about permanent-based pseudo-codewords and permanent-based kernels.
On epimorphisms of spherical Moufang buildings
Published
• View Publication
• BIB
In this paper we classify the the epimorphisms of irreducible spherical Moufang buildings (of rank at least 2) defined over a field. As an application we characterize indecomposable epimorphisms of these buildings as those epimorphisms arising from R-buildings.
Output-sensitive algorithm for generating the flats of a matroid
We present an output-sensitive algorithm for generating the whole set of flats of a finite matroid. Given a procedure, P, that decides in S_P time steps if a set is independent, the time complexity of the algorithm is O(N^2 M S_P), where N and M are the input and output size, respectively. In the case of vectorial matroids, a specific algorithm is reported whose time complexity is equal to O(N^2 M d^2), d being the rank of the matroid. In some cases this algorithm can provide an efficient method for computing zonotopes in $H$-representation, given their representation in terms of Minkowski sum of known segments.
Maximal supports and Schur-positivity among connected skew shapes
Published in European Journal of Combinatorics, 33 (6) (2012), 1190-1206
• View Publication
• BIB
The Schur-positivity order on skew shapes is defined by B \leq A if the difference s_A - s_B is Schur-positive. It is an open problem to determine those connected skew shapes that are maximal with respect to this ordering. A strong necessary condition for the Schur-positivity of s_A - s_B is that the support of B is contained in that of A, where the support of B is defined to be the set of partitions lambda for which s_lambda appears in the Schur expansion of s_B. We show that to determine the maximal connected skew shapes in the Schur-positivity order and this support containment order, it suffices to consider a special class of ribbon shapes. We explicitly determine the support for these ribbon shapes, thereby determining the maximal connected skew shapes in the support containment order.