Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Infinite Bar-Joint Frameworks, Crystals and Operator Theory
A theory of flexibility and rigidity is developed for general infinite bar-joint frameworks (G,p). Determinations of nondeformability through vanishing flexibility are obtained as well as sufficient conditions for deformability. Forms of infinitesimal flexibility are defined in terms of the operator theory of the associated infinite rigidity matrix R(G,p). The matricial symbol function of an abstract crystal framework is introduced, being the matrix-valued function on the $d$-torus representing R(G,p) as a Hilbert space operator. The symbol function is related to infinitesimal flexibility, deformability and isostaticity. Various generic abstract crystal frameworks which are in Maxwellian equilibrium, such as certain 4-regular planar frameworks, are proven to be square-summably infinitesimally rigid as well as smoothly deformable in infinitely many ways. The symbol function of a three-dimensional crystal framework determines the infinitesimal wave flexes in models for the low energy vibrational modes (RUMs) in material crystals. For crystal frameworks with inversion symmetry it is shown that the RUMS appear in surfaces, generalising a result of F. Wegner for tetrahedral crystals.
Computational determination of (3,11) and (4,7) cages
A (k,g)-graph is a k-regular graph of girth g, and a (k,g)-cage is a (k,g)-graph of minimum order. We show that a (3,11)-graph of order 112 found by Balaban in 1973 is minimal and unique. We also show that the order of a (4,7)-cage is 67 and find one example. Finally, we improve the lower bounds on the orders of (3,13)-cages and (3,14)-cages to 202 and 260, respectively. The methods used were a combination of heuristic hill-climbing and an innovative backtrack search.
An integration of Euler's pentagonal partition
A recurrent formula is presented, for the enumeration of the compositions of positive integers as sums over multisets of positive integers, that closely resembles Euler's recurrence based on the pentagonal numbers, but where the coefficients result from a discrete integration of Euler's coefficients. Both a bijective proof and one based on generating functions show the equivalence of the subject recurrences.
Everywhere complex sequences and probabilistic method
The main subject of the paper is everywhere complex sequences. An everywhere complex sequence is a sequence that does not contain substrings of Kolmogorov complexity less than $αn-O(1)$ where $n$ is the length of substring and $α$ is a constant between 0 and 1.
First, we prove that no randomized algorithm can produce everywhere complex sequence with positive probability.
On the other hand, for weaker notions of everywhere complex sequences the situation is different. For example, there is a probabilistic algorithm that produces (with probability~1) sequences whose substrings of length $n$ have complexity $\sqrt{n}-O(1)$.
Finally, one may replace the complexity of a substring (in the definition of everywhere complex sequence) by its conditional complexity when the position is given. This gives a stronger notion of everywhere complex sequence, and no randomized algorighm can produce (with positive probability) such a sequence even if $αn$ is replaced by $\sqrt{n}$, $\log^* n $ or any other monotone unbounded computable function.
Level Eulerian Posets
Published in Graphs Combin. 29 (2013), no. 4, 857-882
• View Publication
• BIB
The notion of level posets is introduced. This class of infinite posets has the property that between every two adjacent ranks the same bipartite graph occurs. When the adjacency matrix is indecomposable, we determine the length of the longest interval one needs to check to verify Eulerianness. Furthermore, we show that every level Eulerian poset associated to an indecomposable matrix has even order. A condition for verifying shellability is introduced and is automated using the algebra of walks. Applying the Skolem--Mahler--Lech theorem, the ${\bf ab}$-series of a level poset is shown to be a rational generating function in the non-commutative variables ${\bf a}$ and ${\bf b}$. In the case the poset is also Eulerian, the analogous result holds for the ${\bf cd}$-series. Using coalgebraic techniques a method is developed to recognize the ${\bf cd}$-series matrix of a level Eulerian poset.
Parity balance of the $i$-th dimension edges in Hamiltonian cycles of the hypercube
Let $n\geq 2$ be an integer, and let $i\in\{0,...,n-1\}$. An $i$-th dimension edge in the $n$-dimensional hypercube $Q_n$ is an edge ${v_1}{v_2}$ such that $v_1,v_2$ differ just at their $i$-th entries. The parity of an $i$-th dimension edge $\edg{v_1}{v_2}$ is the number of 1's modulus 2 of any of its vertex ignoring the $i$-th entry. We prove that the number of $i$-th dimension edges appearing in a given Hamiltonian cycle of $Q_n$ with parity zero coincides with the number of edges with parity one. As an application of this result it is introduced and explored the conjecture of the inscribed squares in Hamiltonian cycles of the hypercube: Any Hamiltonian cycle in $Q_n$ contains two opposite edges in a 4-cycle. We prove this conjecture for $n \le 7$, and for any Hamiltonian cycle containing more than $2^{n-2}$ edges in the same dimension. This bound is finally improved considering the equi-independence number of $Q_{n-1}$, which is a concept introduced in this paper for bipartite graphs.
Notes On U(1) Instanton Counting On $A_{l-1}$ ALE Spaces
In this note, we investigate the detailed relationship between the orbifold partition counting and the (l-quotient, l-core) pair counting. We show that the orbifold partition counting is exactly the same as the (l-quotient, l-core) pair counting.
Characterizations of transversal and fundamental transversal matroids
Published in The Electronic Journal of Combinatorics, 2011
• View Publication
• BIB
A result of Mason, as refined by Ingleton, characterizes transversal matroids as the matroids that satisfy a set of inequalities that relate the ranks of intersections and unions of nonempty sets of cyclic flats. We prove counterparts, for fundamental transversal matroids, of this and other characterizations of transversal matroids. In particular, we show that fundamental transversal matroids are precisely the matroids that yield equality in Mason's inequalities and we deduce a characterization of fundamental transversal matroids due to Brylawski from this simpler characterization.
Sklyanin Determinant for Reflection Algebra
Published in SIGMA 6 (2010), 100, 9 pages
• View Publication
• BIB
Reflection algebras is a class of algebras associated with integrable models with boundaries. The coefficients of Sklyanin determinant generate the center of the reflection algebra. We give a combinatorial description of Sklyanin determinant suitable for explicit computations.
Generalized Compositions and Weighted Fibonacci Numbers
In this paper we consider particular generalized compositions of a natural number with a given number of parts. Its number is a weighted polynomial coefficient. The number of all generalized compositions of a natural number is a weighted $r$-generalized Fibonacci number. A relationship between these two numbers will be derived.
We shall thus obtain a generalization of the well-known formula connecting Fibonacci numbers with the binomial coefficients.
Theory and applications of lattice point methods for binomial ideals
Published
• View Publication
• BIB
This survey of methods surrounding lattice point methods for binomial ideals begins with a leisurely treatment of the geometric combinatorics of binomial primary decomposition. It then proceeds to three independent applications whose motivations come from outside of commutative algebra: hypergeometric systems, combinatorial game theory, and chemical dynamics. The exposition is aimed at students and researchers in algebra; it includes many examples, open problems, and elementary introductions to the motivations and background from outside of algebra.
Separation of variables for symplectic characters
Published in Lett.Math.Phys.97:61-83,2011
• View Publication
• BIB
We perform separation of variables for the symplectic Weyl character using Sklyanin's scheme. Viewing the characters as eigenfunctions of a quantum integrable system, we explicitly construct the separating operator using the Q-operator method. We also construct the inverse of the separating operator, as well as the factorised Hamiltonian.
Edge-intersection graphs of grid paths: the bend-number
Published
• View Publication
• BIB
We investigate edge-intersection graphs of paths in the plane grid, regarding a parameter called the bend-number. I.e., every vertex is represented by a grid path and two vertices are adjacent if and only if the two grid paths share at least one grid-edge. The bend-number is the minimum $k$ such that grid-paths with at most $k$ bends each suffice to represent a given graph. This parameter is related to the interval-number and the track-number of a graph. We show that for every $k$ there is a graph with bend-number $k$. Moreover we provide new upper and lower bounds of the bend-number of graphs in terms of degeneracy, treewidth, edge clique covers and the maximum degree. Furthermore we give bounds on the bend-number of $K_{m,n}$ and determine it exactly for some pairs of $m$ and $n$. Finally, we prove that recognizing single-bend graphs is NP-complete, providing the first such result in this field.
Betti numbers of smooth Schubert varieties and the remarkable formula of Kostant,Macdonald,Shapiro and Steinberg
Published
• View Publication
• BIB
The purpose of this note is to give a refinement of the product formula proved in [1] for the Poincare polynomial of a smooth Schubert variety in the flag variety of an algebraic group G over C. This yields a factorization of the number of elements in a Bruhat interval [e,w] in the Weyl group W of G provided the Schubert variety associated to w is smooth. This gives an elementary necessary condition for a Schubert variety in the flag variety to be smooth.
Congruences on the Bell polynomials and the derangement polynomials
Published
• View Publication
• BIB
In this note, by the umbra calculus method, the Sun and Zagier's congruences involving the Bell numbers and the derangement numbers are generalized to the polynomial cases. Some special congruences are also provided.
Discretized configurations and partial partitions
Published
• View Publication
• BIB
We show that the discretized configuration space of $k$ points in the $n$-simplex is homotopy equivalent to a wedge of spheres of dimension $n-k+1$. This space is homeomorphic to the order complex of the poset of ordered partial partitions of $\{1,...,n+1\}$ with exactly $k$ parts. We compute the exponential generating function for the Euler characteristic of this space in two different ways, thereby obtaining a topological proof of a combinatorial recurrence satisfied by the Stirling numbers of the second kind.
Composition of ordinary generating functions
A solution is proposed for the problem of composition of ordinary generating functions. A new class of functions that provides a composition of ordinary generating functions is introduced; main theorems are presented; compositae are written for polynomials, trigonometric and hyperbolic functions, exponential and log functions. It is shown that the composition holds true for many integer sequences.
On the metric dimension of corona product graphs
Published in Computers and Mathematics with Applications 61 (9) (2011) 2793-2798
• View Publication
• BIB
Given a set of vertices $S=\{v_1,v_2,...,v_k\}$ of a connected graph $G$, the metric representation of a vertex $v$ of $G$ with respect to $S$ is the vector $r(v|S)=(d(v,v_1),d(v,v_2),...,d(v,v_k))$, where $d(v,v_i)$, $i\in \{1,...,k\}$ denotes the distance between $v$ and $v_i$. $S$ is a resolving set for $G$ if for every pair of vertices $u,v$ of $G$, $r(u|S)\ne r(v|S)$. The metric dimension of $G$, $dim(G)$, is the minimum cardinality of any resolving set for $G$. Let $G$ and $H$ be two graphs of order $n_1$ and $n_2$, respectively. The corona product $G\odot H$ is defined as the graph obtained from $G$ and $H$ by taking one copy of $G$ and $n_1$ copies of $H$ and joining by an edge each vertex from the $i^{th}$-copy of $H$ with the $i^{th}$-vertex of $G$. For any integer $k\ge 2$, we define the graph $G\odot^k H$ recursively from $G\odot H$ as $G\odot^k H=(G\odot^{k-1} H)\odot H$. We give several results on the metric dimension of $G\odot^k H$. For instance, we show that given two connected graphs $G$ and $H$ of order $n_1\ge 2$ and $n_2\ge 2$, respectively, if the diameter of $H$ is at most two, then $dim(G\odot^k H)=n_1(n_2+1)^{k-1}dim(H)$. Moreover, if $n_2\ge 7$ and the diameter of $H$ is greater than five or $H$ is a cycle graph, then $dim(G\odot^k H)=n_1(n_2+1)^{k-1}dim(K_1\odot H).$
An 4n-point Interpolation Formula for Certain Polynomials
By using some techniques of the divided difference operators, we establish an 4n-point interpolation formula. Certain polynomials, such as Jackson's _8φ_7 terminating summation formula, are special cases of this formula. Based on Krattenthaler's identity, we also give Jackson's formula a determinantal interpretation.
Triangle-Free Triangulations, Hyperplane Arrangements and Shifted Tableaux
Published
• View Publication
• BIB
Flips of diagonals in colored triangle-free triangulations of a convex polygon are interpreted as moves between two adjacent chambers in a certain graphic hyperplane arrangement. Properties of geodesics in the associated flip graph are deduced. In particular, it is shown that: (1) every diagonal is flipped exactly once in a geodesic between distinguished pairs of antipodes; (2) the number of geodesics between these antipodes is equal to twice the number of Young tableaux of a truncated shifted staircase shape.