Showing 20 papers (Total: 83842 papers, 48355 authors in database)
A note on the product of two permutations of prescribed orders
Published in J.Europ.Combin. (2016), p.50-56
• Search Publication
We prove a conjecture by Stefan Kohl on the existence of triples of permutations of bounded degree with prescribed orders and product 1. This result leads to an existence result for covers of the complex projective line with bounded degree and prescribed ramification indices.
Relationship between Conditional Diagnosability and 2-extra Connectivity of Symmetric Graphs
Published
• View Publication
• BIB
The conditional diagnosability and the 2-extra connectivity are two important parameters to measure ability of diagnosing faulty processors and fault-tolerance in a multiprocessor system. The conditional diagnosability $t_c(G)$ of $G$ is the maximum number $t$ for which $G$ is conditionally $t$-diagnosable under the comparison model, while the 2-extra connectivity $κ_2(G)$ of a graph $G$ is the minimum number $k$ for which there is a vertex-cut $F$ with $|F|=k$ such that every component of $G-F$ has at least $3$ vertices. A quite natural problem is what is the relationship between the maximum and the minimum problem? This paper partially answer this problem by proving $t_c(G)=κ_2(G)$ for a regular graph $G$ with some acceptable conditions. As applications, the conditional diagnosability and the 2-extra connectivity are determined for some well-known classes of vertex-transitive graphs, including, star graphs, $(n,k)$-star graphs, alternating group networks, $(n,k)$-arrangement graphs, alternating group graphs, Cayley graphs obtained from transposition generating trees, bubble-sort graphs, $k$-ary $n$-cube networks and dual-cubes. Furthermore, many known results about these networks are obtained directly.
Marked chain-order polytopes
Published in European Journal of Combinatorics, Volume 58, November 2016, Pages 267-282
• View Publication
• BIB
We introduce in this paper the marked chain-order polytopes associated to a marked poset, generalizing the marked chain polytopes and marked order polytopes by putting them as extremal cases in an Ehrhart equivalent family. Some combinatorial properties of these polytopes are studied. This work is motivated by the framework of PBW degenerations in representation theory of Lie algebras.
Refined Cauchy/Littlewood identities and six-vertex model partition functions: III. Deformed bosons
Published in Advances in Mathematics, Volume 299, 20 August 2016, Pages 543-600
• View Publication
• BIB
We study Hall-Littlewood polynomials using an integrable lattice model of $t$-deformed bosons. Working with row-to-row transfer matrices, we review the construction of Hall-Littlewood polynomials (of the $A_n$ root system) within the framework of this model. Introducing appropriate double-row transfer matrices, we extend this formalism to Hall-Littlewood polynomials based on the $BC_n$ root system, and obtain a new combinatorial formula for them. We then apply our methods to prove a series of refined Cauchy and Littlewood identities involving Hall-Littlewood polynomials. The last two of these identities are new, and relate infinite sums over hyperoctahedrally symmetric Hall-Littlewood polynomials with partition functions of the six-vertex model on finite domains.
Higher determinants and the matrix-tree theorem
The classical matrix-tree theorem was discovered by G.~Kirchhoff in 1847. It relates the principal minor of the Laplace (nxn)-matrix to a particular sum of monomials indexed by the set of trees with n vertices. The aim of this paper is to present a generalization of the (nonsymmetric) matrix-tree theorem containing no trees and essentially no matrices. Instead of trees we consider acyclic directed graphs with a prescribed set of sinks, and instead of determinant, a polynomial invariant of the matrix determined by directed graph such that any two vertices of the same connected component are mutually reacheable.
Characterization Tensors of Balanced Incomplete Block Designs
Balanced incomplete block designs (BIBDs) have wide applications in engineering, business and sciences. In this paper, for each (v, k, λ)-BIBD, we construct a strongly symmetric k-th order v-dimensional tensor. We call such a strongly symmetric tensor the characterization tensor of that BIBD, and the absolute value tensor of the characterization tensor the signless characterization tensor of that BIBD. We study some spectral properties of such characterization tensors and signless characterization tensors. In this way, we provide a new tool to study BIBDs.
Permutations sortable by deques and by two stacks in parallel
Published in European Journal of Combinatorics 59 (2017): 71-95
• View Publication
• BIB
Recently Albert and Bousquet-Mélou \cite{AB15} obtained the solution to the long-standing problem of the number of permutations sortable by two stacks in parallel (tsip). Their solution was expressed in terms of functional equations. We show that the equally long-standing problem of the number of permutations sortable by a double-ended queue (deque) can be simply related to the solution of the same functional equations. Subject to plausible, but unproved, conditions, the radius of convergence of both generating functions is the same. Numerical work confirms this conjecture to 10 significant digits. Further numerical work suggests that the coefficients of the deque generating function behave as $κ_d \cdot μ^n \cdot n^{-3/2},$ where $μ= 8.281402207\ldots,$ while the coefficients of the corresponding tsip generating function behave as $κ_p \cdot μ^n \cdot n^γ$ with $γ\approx -2.473.$ The constants $κ_d$ and $κ_p$ are also estimated.
{\em Inter alia,} we study the asymptotics of quarter-plane loops, starting and ending at the origin, with weight $a$ given to north-west and east-south turns. The critical point varies continuously with $a,$ while the corresponding exponent variation is found to be continuous and monotonic for $a > -1/2,$ but discontinuous at $a=-1/2.$
Point-primitive, line-transitive generalised quadrangles of holomorph type
Published
• View Publication
• BIB
Let $G$ be a group of collineations of a finite thick generalised quadrangle $Γ$. Suppose that $G$ acts primitively on the point set $\mathcal{P}$ of $Γ$, and transitively on the lines of $Γ$. We show that the primitive action of $G$ on $\mathcal{P}$ cannot be of holomorph simple or holomorph compound type. In joint work with Glasby, we have previously classified the examples $Γ$ for which the action of $G$ on $\mathcal{P}$ is of affine type. The problem of classifying generalised quadrangles with a point-primitive, line-transitive collineation group is therefore reduced to the case where there is a unique minimal normal subgroup $M$ and $M$ is non-Abelian.
A formula for the energy of circulant graphs with two generators
Published
• View Publication
• BIB
In this note, we derive closed formulas for the energy of circulant graphs generated by $1$ and $γ$, where $γ\geqslant2$ is an integer. We also find a formula for the energy of the complete graph without a Hamilton cycle.
Eliminating Higher-Multiplicity Intersections, I. A Whitney Trick for Tverberg-Type Problems
Motivated by topological Tverberg-type problems and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into R^d without triple, quadruple, or, more generally, r-fold points. Specifically, we are interested in maps f from K to R^d that have no r-Tverberg points, i.e., no r-fold points with preimages in r pairwise disjoint simplices of K, and we seek necessary and sufficient conditions for the existence of such maps.
We present a higher-multiplicity analogue of the completeness of the Van Kampen obstruction for embeddability in twice the dimension. Specifically, we show that under suitable restrictions on the dimensions, a well-known Deleted Product Criterion (DPC) is not only necessary but also sufficient for the existence of maps without r-Tverberg points. Our main technical tool is a higher-multiplicity version of the classical Whitney trick.
An important guiding idea for our work was that sufficiency of the DPC, together with an old result of Ozaydin on the existence of equivariant maps, might yield an approach to disproving the remaining open cases of the long-standing topological Tverberg conjecture. Unfortunately, our proof of the sufficiency of the DPC requires a "codimension 3" proviso, which is not satisfied for when K is the N-simplex.
Recently, Frick found an extremely elegant way to overcome this last "codimension 3" obstacle and to construct counterexamples to the topological Tverberg conjecture for d at least 3r+1 (r not a prime power). Here, we present a different construction that yields counterexamples for d at least 3r (r not a prime power).
Approximate polynomial structure in additively large sets
Published in Integers 16 (2016), Paper No. A49, 11 pp
• Search Publication
We show that any subset of the natural numbers with positive logarithmic Banach density contains a set that is within a factor of two of a geometric progression, improving the bound on a previous result of the authors. Density conditions on subsets of the natural numbers that imply the existence of approximate powers of arithmetic progressions are developed and explored.
Infinite closed monochromatic subsets of a metric space
Given a coloring of the k-element subsets of an uncountable separable metric space, we show that there exists an infinite monochromatic subset which contains its limit point.
Helly numbers of Algebraic Subsets of $\mathbb R^d$
We study $S$-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in $\mathbb R^d$ with a proper subset $S\subset \mathbb R^d$. We contribute new results about their $S$-Helly numbers. We extend prior work for $S=\mathbb R^d$, $\mathbb Z^d$, and $\mathbb Z^{d-k}\times\mathbb R^k$; we give sharp bounds on the $S$-Helly numbers in several new cases. We considered the situation for low-dimensional $S$ and for sets $S$ that have some algebraic structure, in particular when $S$ is an arbitrary subgroup of $\mathbb R^d$ or when $S$ is the difference between a lattice and some of its sublattices. By abstracting the ingredients of Lovász method we obtain colorful versions of many monochromatic Helly-type results, including several colorful versions of our own results.
Non-commutative lattice problems
Published
• View Publication
• BIB
We consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup element closest to a given group element, or finding a shortest non-trivial element of a subgroup in the case of nilpotent groups, and a large class of surface groups and Coxeter groups. We also provide polynomial time algorithm to compute geodesics in given generators of a subgroup of a free group.
A note on independence complexes of chordal graphs and dismantling
Published
• View Publication
• BIB
We show that the independence complex of a chordal graph is contractible if and only if this complex is dismantlable (strong collapsible) and it is homotopy equivalent to a sphere if and only if its core is a cross-polytopal sphere. The proof uses the properties of tree models of chordal graphs.
Algebraic structures on cohomology of configuration spaces of manifolds with flows
Let PConf^n M be the configuration space of ordered n-tuples of distinct points on a smooth manifold M admitting a nowhere-vanishing vector field. We show that the ith cohomology group with coefficients in a field H^i(PConf^n M, k) is an N-module, where N is the category of noncommutative finite sets introduced by Pirashvili and Richter. Studying the representation theory of N, we obtain new polynomiality results for the cohomology groups H^i(PConf^n M, k). In the case of unordered configuration space Conf^n M = (PConf^n M)/S_n and rational coefficients, we show that cohomology dimension in fixed degree is nondecreasing.
Arithmetic Properties of the Sequence of Derangements and its Generalizations
Published
• View Publication
• BIB
The sequence of derangements is given by the formula $D_0 = 1, D_n = nD_{n-1} + (-1)^n, n>0$. It is a classical object appearing in combinatorics and number theory. In this paper we consider two classes of sequences: first class is given by the formulae $a_0 = h_1(0), a_n = f(n)a_{n-1} + h_1(n)h_2(n)^n, n>0$, where $f,h_1,h_2 \in\mathbb{Z}[X]$, and the second one is defined by $a_n = \sum_{j=0}^n \frac{n!}{j!} h(n)^j, n\in\mathbb{N}$, where $h\in\mathbb{Z}[X]$. Both classes are a generalization of the sequence of derangements. We study such arithmetic properties of these sequences as: periodicity modulo $d$, where $d\in\mathbb{N}_+$, $p$-adic valuations, asymptotics, boundedness, periodicity, recurrence relations and prime divisors. Particularly we focus on the properties of the sequence of derangements and use them to establish arithmetic properties of the sequences of even and odd derangements.
A common axiomatic basis for projective geometry and order geometry
A natural one-to-one correspondence between projective spaces, defined by an axiom system published by O. Veblen and J. W. Young in 1908, and projective join spaces, defined by an axiom system published by M. Pieri in 1899, is presented. A projecitivity criterion for join spaces is proved that amounts to replacing one of the projective geometry axioms of Pieri by an axiom published by G. Peano in 1889 as part of an axiom system for order geometry. Thus, projective geometry and order geometry have a broad common axiomatic basis. As a corollary, it is shown how the concept of a projective join space can be derived from the concept of a matroid. The defining properties of an equivalence relation are used as a conceptual red thread.
On periodicity of generalized pseudostandard words
Published in Electronic Journal of Combinatorics 23(1) (2016), #P1.2
• View Publication
• BIB
Generalized pseudostandard words were introduced by de Luca and De Luca in 2006. In comparison to the palindromic and pseudopalindromic closure, only little is known about the generalized pseudopalindromic closure and the associated generalized pseudostandard words. In this paper we provide a necessary and sufficient condition for their periodicity over binary and ternary alphabet. More precisely, we describe how the directive bi-sequence of a generalized pseudostandard word has to look like in order to correspond to a periodic word. We state moreover a conjecture concerning a necessary and sufficient condition for periodicity over any alphabet.
The graph spectrum of barycentric refinements
Given a finite simple graph G, let G' be its barycentric refinement: it is the graph in which the vertices are the complete subgraphs of G and in which two such subgraphs are connected, if one is contained into the other. If L(0)=0<L(1) <= L(2) ... <= L(n) are the eigenvalues of the Laplacian of G, define the spectral function F(x) as the function F(x) = L([n x]) on the interval [0,1], where [r] is the floor function giving the largest integer smaller or equal than r. The graph G' is known to be homotopic to G with Euler characteristic chi(G')=chi(G) and dim(G') >= dim(G). Let G(m) be the sequence of barycentric refinements of G=G(0). We prove that for any finite simple graph G, the spectral functions F(G(m)) of successive refinements converge for m to infinity uniformly on compact subsets of (0,1) and exponentially fast to a universal limiting eigenvalue distribution function F which only depends on the clique number respectively the dimension d of the largest complete subgraph of G and not on the starting graph G. In the case d=1, where we deal with graphs without triangles, the limiting distribution is the smooth function F(x) = 4 sin^2(pi x/2). This is related to the Julia set of the quadratic map T(z) = 4z-z^2 which has the one dimensional Julia set [0,4] and F satisfies T(F(k/n))=F(2k/n) as the Laplacians satisfy such a renormalization recursion. The spectral density in the d=1 case is then the arc-sin distribution which is the equilibrium measure on the Julia set. In higher dimensions, where the limiting function F still remains unidentified, F' appears to have a discrete or singular component.