Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Edge Tessellation and Stamp Foldings Puzzles
Published
• View Publication
• BIB
An edge tessellation is a tiling of the plane generated by reflecting a polygon in its edges. We prove that a polygon generating an edge tessellation is one the following eight types: a rectangle; an equilateral, 60-right, isosceles right, or 120-isosceles triangle; a 120-rhombus; a 60-90-120 kite; or a regular hexagon. A stamp folding puzzle is a paper folding problem constrained to the perforations on a sheet of postage stamps. We establish the following conjecture due to G. Frederickson: "Although triangular stamps have come in a variety of different triangular shapes, only three shapes seem suitable for [stamp] folding puzzles: equilateral, isosceles right triangles, and 60-right triangles."
Wreath Product Generalizations of the Triple $(S_{2n},H_{n},φ)$ and Their Spherical Functions
The symmetric group $S_{2n}$ and the hyperoctaheadral group $H_{n}$ is a Gelfand triple for an arbitrary linear representation $φ$ of $H_{n}$. Their $φ$-spherical functions can be caught as transition matrix between suitable symmetric functions and the power sums. We generalize this triplet in the term of wreath product. It is shown that our triplet are always to be a Gelfand triple. Furthermore we study the relation between their spherical functions and multi-partition version of the ring of symmetric functions.
Asymptotic Euler-Maclaurin formula over lattice polytopes
Published in Journal of Functional Analysis 260 (2011), no. 2, 501-540
• View Publication
• BIB
An asymptotic expansion formula of Riemann sums over lattice polytopes is given. The formula is an asymptotic form of the local Euler-Maclaurin formula due to Berline-Vergne. The proof given here for Delzant lattice polytopes is independent of the local Euler-Maclaurin formula. But we use it for general lattice polytopes. As corollaries, an explicit formula for each term in the expansion over Delzant polytopes in two dimension and an explicit formula for the third term of the expansion for Delzant polytopes in arbitrary dimension are given. Moreover, some uniqueness results are given.
Positivity of the T-system cluster algebra
Published
• View Publication
• BIB
We give the path model solution for the cluster algebra variables of the $A_r$ $T$-system with generic boundary conditions. The solutions are partition functions of (strongly) non-intersecting paths on weighted graphs. The graphs are the same as those constructed for the $Q$-system in our earlier work, and depend on the seed or initial data in terms of which the solutions are given. The weights are "time-dependent" where "time" is the extra parameter which distinguishes the $T$-system from the $Q$-system, usually identified as the spectral parameter in the context of representation theory. The path model is alternatively described on a graph with non-commutative weights, and cluster mutations are interpreted as non-commutative continued fraction rearrangements. As a consequence, the solution is a positive Laurent polynomial of the seed data.
Tridiagonal pairs of $q$-Racah type and the $μ$-conjecture
Published
• View Publication
• BIB
Let $\K$ denote a field and let $V$ denote a vector space over $\K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V_{d-i}$, $V^*_i$, $V^*_{d-i}$ coincide. We say the pair $A,A^*$ is {\it sharp} whenever $\dim V_0=1$. It is known that if $\K$ is algebraically closed then $A,A^*$ is sharp. A conjectured classification of the sharp tridiagonal pairs was recently introduced by T. Ito and the second author. Shortly afterwards we introduced a conjecture, called the {\em $μ$-conjecture}, which implies the classification conjecture. In this paper we show that the $μ$-conjecture holds in a special case called $q$-Racah.
Polyhedral Surfaces in Wedge Products
We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of Joswig and Lutz (2005).
One particular instance of the wedge product construction turns out to be especially interesting: The wedge products of polygons with simplices contain certain combinatorially regular polyhedral surfaces as subcomplexes. These generalize known classes of surfaces ``of unusually large genus'' that first appeared in works by Coxeter (1937), Ringel (1956), and McMullen, Schulz, and Wills (1983). Via ``projections of deformed wedge products'' we obtain realizations of some of the surfaces in the boundary complexes of 4-polytopes, and thus in R^3. As additional benefits our construction also yields polyhedral subdivisions for the interior and the exterior, as well as a great number of local deformations (``moduli'') for the surfaces in R^3. In order to prove that there are many moduli, we introduce the concept of ``affine support sets'' in simple polytopes. Finally, we explain how duality theory for 4-dimensional polytopes can be exploited in order to also realize combinatorially dual surfaces in R^3 via dual 4-polytopes.
Color-Critical Graphs Have Logarithmic Circumference
Published
• View Publication
• BIB
A graph G is k-critical if every proper subgraph of G is (k-1)-colorable, but the graph G itself is not. We prove that every k-critical graph on n vertices has a cycle of length at least log n/(100log k), improving a bound of Alon, Krivelevich and Seymour from 2000. Examples of Gallai from 1963 show that the bound cannot be improved to exceed 2(k-1)log n/log(k-2). We thus settle the problem of bounding the minimal circumference of k-critical graphs, raised by Dirac in 1952 and Kelly and Kelly in 1954.
Möbius transform, moment-angle complexes and Halperin-Carlsson conjecture
Published in J. Algebraic Combin. 35 (2012), 121-140
• View Publication
• BIB
In this paper, we give an algebra-combinatorics formula of the Möbius transform for an abstract simplicial complex $K$ on $[m]=\{1, ..., m\}$ in terms of the Betti numbers of the Stanley-Reisner face ring of $K$. Furthermore, we employ a way of compressing $K$ to estimate the lower bound of the sum of those Betti numbers by using this formula. As an application, associating with the moment-angle complex $\mathcal{Z}_K$ (resp. real moment-angle complex ${\Bbb R}\mathcal{Z}_K$) of $K$, we show that the Halperin-Carlsson conjecture holds for $\mathcal{Z}_K$ (resp. ${\Bbb R}\mathcal{Z}_K$) under the restriction of the natural $T^m$-action on $\mathcal{Z}_K$ (resp. $({\Bbb Z}_2)^m$-action on ${\Bbb R}\mathcal{Z}_K$).
On the Structure of Cubic and Quartic Polynomials
Published
• View Publication
• BIB
In this paper we study the structure of polynomials of degree three and four that have high bias or high Gowers norm, over arbitrary prime fields. In particular we obtain the following results.
1. We give a canonical representation for degree three or four polynomials that have a significant bias (i.e. they are not equidistributed). This result generalizes the corresponding results from the theory of quadratic forms. It also significantly improves the results of Green and Tao and Kaufman and Lovett for such polynomials.
2. For the case of degree four polynomials with high Gowers norm we show that (a subspace of co-dimension O(1) of) F^n can be partitioned to subspaces of dimension Omega(n) such that on each of the subspaces the polynomial is equal to some degree three polynomial. It was shown by Green and Tao and by Lovett, Meshulam and Samorodnitsky that a quartic polynomial with a high Gowers norm is not necessarily correlated with any cubic polynomial. Our result shows that a slightly weaker statement does hold.
The proof is based on finding a structure in the space of partial derivatives of the underlying polynomial.
An ultrafilter approach to Jin's Theorem
It is well known and not difficult to prove that if $C$ of integers has positive upper Banach density, the set of differences $C-C$ is syndetic, i.e. the length of gaps is uniformly bounded. More surprisingly, Renling Jin showed that whenever $A$ and $B$ have positive upper Banach density, then $A-B$ is piecewise syndetic.
Jin's result follows trivially from the first statement provided that $B$ has large intersection with a shifted copy $A-n$ of $A$. Of course this will not happen in general if we consider shifts by integers, but the idea can be put to work if we allow "shifts by ultrafilters". As a consequence we obtain Jin's Theorem.
Vertices in all minimum paired-dominating sets of block graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph without isolated vertices. A set $S\subseteq V$ is a paired-dominating set if every vertex in $V-S$ has at least one neighbor in $S$ and the subgraph induced by $S$ contains a perfect matching. In this paper, we present a linear-time algorithm to determine whether a given vertex in a block graph is contained in all its minimum paired-dominating sets.
On Generalization of Homotopy of Words and Its Applications
V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generalized homotopy theory of words and phrases, we extend some homotopy invariants of nanophrases to $S$-homotopy invariant of nanowords with some homotopy data $S$.
On the optimality of the Arf invariant formula for graph polynomials
Published
• View Publication
• BIB
We prove optimality of the Arf invariant formula for the generating function of even subgraphs, or, equivalently, the Ising partition function, of a graph.
Valuative invariants for polymatroids
Published in Advances in Mathematics 225 (2010) pp. 1840-1892
• View Publication
• BIB
Many important invariants for matroids and polymatroids, such as the Tutte polynomial, the Billera-Jia-Reiner quasi-symmetric function, and the invariant $\mathcal G$ introduced by the first author, are valuative. In this paper we construct the $\Z$-modules of all $\Z$-valued valuative functions for labeled matroids and polymatroids on a fixed ground set, and their unlabeled counterparts, the $\Z$-modules of valuative invariants. We give explicit bases for these modules and for their dual modules generated by indicator functions of polytopes, and explicit formulas for their ranks. Our results confirm a conjecture of the first author that $\mathcal G$ is universal for valuative invariants.
Geometric combinatorial algebras: cyclohedron and simplex
Published in Journal of Algebraic Combinatorics Volume 32, Number 4, 597-627, (2010)
• View Publication
• BIB
In this paper we report on results of our investigation into the algebraic structure supported by the combinatorial geometry of the cyclohedron. Our new graded algebra structures lie between two well known Hopf algebras: the Malvenuto-Reutenauer algebra of permutations and the Loday-Ronco algebra of binary trees. Connecting algebra maps arise from a new generalization of the Tonks projection from the permutohedron to the associahedron, which we discover via the viewpoint of the graph associahedra of Carr and Devadoss. At the same time that viewpoint allows exciting geometrical insights into the multiplicative structure of the algebras involved. Extending the Tonks projection also reveals a new graded algebra structure on the simplices. Finally this latter is extended to a new graded Hopf algebra (one-sided) with basis all the faces of the simplices.
Some simple modules for classical groups and $p$-ranks of orthogonal and Hermitian geometries
Published
• View Publication
• BIB
We determine the characters of the simple composition factors and the submodule lattices of certain Weyl modules for classical groups. The results have several applications. The simple modules arise in the study of incidence systems in finite geometries and knowledge of their dimensions yields the $p$-ranks of these incidence systems.
Phase transition for the mixing time of the Glauber dynamics for coloring regular trees
Published in Annals of Applied Probability 2012, Vol. 22, No. 6, 2210-2239
• View Publication
• BIB
We prove that the mixing time of the Glauber dynamics for random k-colorings of the complete tree with branching factor b undergoes a phase transition at $k=b(1+o_b(1))/\ln{b}$. Our main result shows nearly sharp bounds on the mixing time of the dynamics on the complete tree with n vertices for $k=Cb/\ln{b}$ colors with constant C. For $C\geq1$ we prove the mixing time is $O(n^{1+o_b(1)}\ln{n})$. On the other side, for $C<1$ the mixing time experiences a slowing down; in particular, we prove it is $O(n^{1/C+o_b(1)}\ln{n})$ and $Ω(n^{1/C-o_b(1)})$. The critical point C=1 is interesting since it coincides (at least up to first order) with the so-called reconstruction threshold which was recently established by Sly. The reconstruction threshold has been of considerable interest recently since it appears to have close connections to the efficiency of certain local algorithms, and this work was inspired by our attempt to understand these connections in this particular setting.
Bounds for the Huckel energy of a graph
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices with $r := \lfloor n/2 \rfloor$ and let $λ_1 \geq...\geq λ_{n} $ be adjacency eigenvalues of $G$. Then the Hückel energy of $G$, HE($G$), is defined as $$\he(G) = {ll}
2\sum_{i=1}^{r} λ_i, & \hbox{if $n= 2r$;}
2\sum_{i=1}^{r} λ_i + λ_{r+1}, & \hbox{if $n= 2r+1$.}
$$ The concept of Hückel energy was introduced by Coulson as it gives a good approximation for the $π$-electron energy of molecular graphs. We obtain two upper bounds and a lower bound for HE$(G)$. When $n$ is even, it is shown that equality holds in both upper bounds if and only if $G$ is a strongly regular graph with parameters $(n, k, λ, μ) = (4t^2 +4t +2, 2t^2 +3t +1, t^2 +2t, t^2 + 2t +1),$ for positive integer $t$. Furthermore, we will give an infinite family of these strongly regular graph whose construction was communicated by Willem Haemers to us. He attributes the construction to J.J. Seidel.
Identifying codes and locating-dominating sets on paths and cycles
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and let $r\ge 1$ be an integer. For a set $D \subseteq V$, define $N_r[x] = \{y \in V: d(x, y) \leq r\}$ and $D_r(x) = N_r[x] \cap D$, where $d(x,y)$ denotes the number of edges in any shortest path between $x$ and $y$. $D$ is known as an $r$-identifying code ($r$-locating-dominating set, respectively), if for all vertices $x\in V$ ($x \in V\backslash D$, respectively), $D_r(x)$ are all nonempty and different. In this paper, we provide complete results for $r$-identifying codes in paths and odd cycles; we also give complete results for 2-locating-dominating sets in cycles.
On the boolean-width of a graph: structure and applications
Published
• View Publication
• BIB
We study the recently introduced boolean-width of graphs. Our structural results are as follows. Firstly, we show that almost surely the boolean-width of a random graph on $n$ vertices is $O(\log^2 n)$, and it is easy to find the corresponding decomposition tree.
Secondly, for any constant $d$ a graph of maximum degree $d$ has boolean-width linear in treewidth. This implies that almost surely the boolean-width of a (sparse) random $d$-regular graph on $n$ vertices is linear in $n$.
Thirdly, we show that the boolean-cut value is well approximated by VC dimension of corresponding set system. Since VC dimension is widely studied, we hope that this structural result will prove helpful in better understanding of boolean-width.
Combining our first structural result with algorithms from Bui-Xuan et al \cite{BTV09,BTV09II} we get for random graphs quasi-polynomial $O^*(2^{O(\log ^4 n)})$ time algorithms for a large class of vertex subset and vertex partitioning problems.