Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The Gram dimension of a graph
Published
• View Publication
• BIB
The Gram dimension $\gd(G)$ of a graph is the smallest integer $k \ge 1$ such that, for every assignment of unit vectors to the nodes of the graph, there exists another assignment of unit vectors lying in $\oR^k$, having the same inner products on the edges of the graph. The class of graphs satisfying $\gd(G) \le k$ is minor closed for fixed $k$, so it can characterized by a finite list of forbidden minors. For $k\le 3$, the only forbidden minor is $K_{k+1}$. We show that a graph has Gram dimension at most 4 if and only if it does not have $K_5$ and $K_{2,2,2}$ as minors. We also show some close connections to the notion of $d$-realizability of graphs. In particular, our result implies the characterization of 3-realizable graphs of Belk and Connelly \cite{Belk,BC}.
Inversion polynomials for 321-avoiding permutations
Published
• View Publication
• BIB
We prove a generalization of a conjecture of Dokos, Dwyer, Johnson, Sagan, and Selsor giving a recursion for the inversion polynomial of 321-avoiding permutations. We also answer a question they posed about finding a recursive formulas for the major index polynomial of 321-avoiding permutations. Other properties of these polynomials are investigated as well. Our tools include Dyck and 2-Motzkin paths, polyominoes, and continued fractions.
Mellin Transforms of the Generalized Fractional Integrals and Derivatives
Published in Applied Mathematics and Computation 257 (2015) 566-580
• View Publication
• BIB
We obtain the Mellin transforms of the generalized fractional integrals and derivatives that generalize the Riemann-Liouville and the Hadamard fractional integrals and derivatives. We also obtain interesting results, which combine generalized $δ_{r,m}$ operators with generalized Stirling numbers and Lah numbers. For example, we show that $δ_{1,1}$ corresponds to the Stirling numbers of the $2^{nd}$ kind and $δ_{2,1}$ corresponds to the unsigned Lah numbers. Further, we show that the two operators $δ_{r,m}$ and $δ_{m,r}$, $r,m\in\mathbb{N}$, generate the same sequence given by the recurrence relation \[ S(n,k)=\sum_{i=0}^r \big(m+(m-r)(n-2)+k-i-1\big)_{r-i}\binom{r}{i} S(n-1,k-i), \;\; 0< k\leq n, \] with $S(0,0)=1$ and $S(n,0)=S(n,k)=0$ for $n>0$ and $1+min\{r,m\}(n-1) < k $ or $k\leq 0$. Finally, we define a new class of sequences for $r \in \{\frac{1}{3}, \frac{1}{4}, \frac{1}{5}, \frac{1}{6}, ...\}$ and in turn show that $δ_{\frac{1}{2},1}$ corresponds to the generalized Laguerre polynomials.
A Note on Edge Guards in Art Galleries
We examine the Art Gallery Problem with Edge Guards. We present a heuristic algorithm to arrange edge guards to guard only the inward side of the walls of any N-vertex simple polygonal gallery using at most roof (N/4) edge guards - a weakened version of Toussaint's conjecture on the number of edge guards that can guard an entire simple polygon. Our study indicates that solving this weaker problem could give a handle on the full problem.
A note on the modified q-Genocchi numbers and polynomials with weight (α,β) and their interpolation function at negative integers
Published in Journal of Fasciculi mathematici, Politechnika Poznanska. Instytut Matematyki, No. 51 (2013), 21-32
• Search Publication
The purpose of this paper concerns to establish modified q-Genocchi numbers and polynomials with weight (α,β). In this paper we investigate special generalized q-Genocchi polynomials and we apply the method of generating function, which are exploited to derive further classes of q-Genocchi polynomials and develop q-Genocchi numbers and polynomials. By using the Laplace-Mellin transformation integral, we define q-Zeta function with weight (α,β) and by presenting a link between q-Zeta function with weight (α,β) and q-Genocchi numbers with weight (α,β) we obtain an interpolation formula for the q-Genocchi numbers and polynomials with weight (α,β). Also we derive distribution formula (Multiplication Theorem) and Witt's type formula for modified q-Genocchi numbers and polynomials with weight (α,β) which yield a deeper insight into the effectiveness of this type of generalizations for q=Genocchi numbers and polynomials. Our new generating function possess a number of interesting properties which we state in this paper.
Roots of Ehrhart polynomials and symmetric $δ$-vectors
The conjecture on roots of Ehrhart polynomials, stated by Matsui et al. \cite[Conjecture 4.10]{MHNOH}, says that all roots $α$ of the Ehrhart polynomial of a Gorenstein Fano polytope of dimension $d$ satisfy $-\frac{d}{2} \leq \Re(α) \leq \frac{d}{2} -1$. In this paper, we observe the behaviors of roots of SSNN polynomials which are a wider class of the polynomials containing all the Ehrhart polynomials of Gorenstein Fano polytopes. As a result, we verify that this conjecture is true when the roots are real numbers or when $d \leq 5$.
Linear extensions and order-preserving poset partitions
Published in Journal of Combinatorial Theory, Series A, Volume 122, February 2014, Pages 28-38
• View Publication
• BIB
We examine the lattice of all order congruences of a finite poset from the viewpoint of combinatorial algebraic topology. We will prove that the order complex of the lattice of all nontrivial order congruences (or order-preserving partitions) of a finite $n$-element poset $P$ with $n\geq 3$ is homotopy equivalent to a wedge of spheres of dimension $n-3$. If $P$ is connected, then the number of spheres is equal to the number of linear extensions of $P$. In general, the number of spheres is equal to the number of cyclic extensions of $P$.
Partially Symmetric Functions are Efficiently Isomorphism-Testable
Published
• View Publication
• BIB
Given a function f: {0,1}^n \to {0,1}, the f-isomorphism testing problem requires a randomized algorithm to distinguish functions that are identical to f up to relabeling of the input variables from functions that are far from being so. An important open question in property testing is to determine for which functions f we can test f-isomorphism with a constant number of queries. Despite much recent attention to this question, essentially only two classes of functions were known to be efficiently isomorphism testable: symmetric functions and juntas.
We unify and extend these results by showing that all partially symmetric functions---functions invariant to the reordering of all but a constant number of their variables---are efficiently isomorphism-testable. This class of functions, first introduced by Shannon, includes symmetric functions, juntas, and many other functions as well. We conjecture that these functions are essentially the only functions efficiently isomorphism-testable.
To prove our main result, we also show that partial symmetry is efficiently testable. In turn, to prove this result we had to revisit the junta testing problem. We provide a new proof of correctness of the nearly-optimal junta tester. Our new proof replaces the Fourier machinery of the original proof with a purely combinatorial argument that exploits the connection between sets of variables with low influence and intersecting families.
Another important ingredient in our proofs is a new notion of symmetric influence. We use this measure of influence to prove that partial symmetry is efficiently testable and also to construct an efficient sample extractor for partially symmetric functions. We then combine the sample extractor with the testing-by-implicit-learning approach to complete the proof that partially symmetric functions are efficiently isomorphism-testable.
On the Dimension and Euler characteristic of random graphs
The inductive dimension dim(G) of a finite undirected graph G=(V,E) is a rational number defined inductively as 1 plus the arithmetic mean of the dimensions of the unit spheres dim(S(x)) at vertices x primed by the requirement that the empty graph has dimension -1. We look at the distribution of the random variable "dim" on the Erdos-Renyi probability space G(n,p), where each of the n(n-1)/2 edges appears independently with probability p. We show here that the average dimension E[dim] is a computable polynomial of degree n(n-1)/2 in p. The explicit formulas allow experimentally to explore limiting laws for the dimension of large graphs. We also study the expectation E[X] of the Euler characteristic X, considered as a random variable on G(n,p). We look experimentally at the statistics of curvature K(v) and local dimension dim(v) = 1+dim(S(v)) which satisfy the Gauss-Bonnet formula X(G) = sum K(v) and by definition dim(G) = sum dim(v)/|V|. We also look at the signature functions f(p)=E[dim], g(p)=E[X] and matrix values functions A(p) = Cov[{dim(v),dim(w)], B(p) = Cov[K(v),K(w)] on the probability space G(p) of all subgraphs of a host graph G=(V,E) with the same vertex set V, where each edge is turned on with probability p. If G is the complete graph or a union of cyclic graphs with have explicit formulas for the signature polynomials f and g.
Nonrepetitive Colouring via Entropy Compression
Published in Combinatorica, 36/6:661--686, 2016
• View Publication
• BIB
A vertex colouring of a graph is \emph{nonrepetitive} if there is no path whose first half receives the same sequence of colours as the second half. A graph is nonrepetitively $k$-choosable if given lists of at least $k$ colours at each vertex, there is a nonrepetitive colouring such that each vertex is coloured from its own list. It is known that every graph with maximum degree $Δ$ is $cΔ^2$-choosable, for some constant $c$. We prove this result with $c=1$ (ignoring lower order terms). We then prove that every subdivision of a graph with sufficiently many division vertices per edge is nonrepetitively 5-choosable. The proofs of both these results are based on the Moser-Tardos entropy-compression method, and a recent extension by Grytczuk, Kozik and Micek for the nonrepetitive choosability of paths. Finally, we prove that every graph with pathwidth $k$ is nonrepetitively $O(k^{2})$-colourable.
Double Aztec Diamonds and the Tacnode Process
Published
• View Publication
• BIB
Discrete and continuous non-intersecting random processes have given rise to critical "infinite dimensional diffusions", like the Airy process, the Pearcey process and variations thereof. It has been known that domino tilings of very large Aztec diamonds lead macroscopically to a disordered region within an inscribed ellipse (arctic circle in the homogeneous case), and a regular brick-like region outside the ellipse. The fluctuations near the ellipse, appropriately magnified and away from the boundary of the Aztec diamond, form an Airy process, run with time tangential to the boundary.
This paper investigates the domino tiling of two overlapping Aztec diamonds; this situation also leads to non-intersecting random walks and an induced point process; this process is shown to be determinantal. In the large size limit, when the overlap is such that the two arctic ellipses for the single Aztec diamonds merely touch, a new critical process will appear near the point of osculation (tacnode), which is run with a time in the direction of the common tangent to the ellipses: this is the "tacnode process". It is also shown here that this tacnode process is universal: it coincides with the one found in the context of two groups of non-intersecting random walks or also Brownian motions, meeting momentarily.
Results and open problems in matchings in regular graphs
Published
• View Publication
• BIB
This survey paper deals with upper and lower bounds on the number of $k$-matchings in regular graphs on $N$ vertices.
For the upper bounds we recall the upper matching conjecture which is known to hold for perfect matchings.
For the lower bounds we first survey the known results for bipartite graphs, and their continuous versions as the van der Waerden and Tverberg permanent conjectures and its variants. We then discuss non-bipartite graphs. Little is known beyond the recent proof of the Lovász-Plummer conjecture on the exponential growth of perfect matchings in cubic bridgeless graphs.
We discuss the problem of the minimum of haffnians on the convex set of matrices, whose extreme points are the adjacency matrices of subgraphs of the complete graph corresponding to perfect matchings.
We also consider infinite regular graphs. The analog of $k$-matching is the $p$-monomer entropy, where $p\in [0,1]$ is the density of the number of matchings.
K-theoretic analogues of factorial Schur P- and Q-functions
Published in Advances in Mathematics 243 (2013), 22--66
• View Publication
• BIB
We introduce two families of symmetric functions generalizing the factorial Schur $P$- and $Q$- functions due to Ivanov. We call them $K$-theoretic analogues of factorial Schur $P$- and $Q$- functions. We prove various combinatorial expressions for these functions, e.g. as a ratio of Pfaffians, and a sum over excited Young diagrams. As a geometric application, we show that these functions represent the Schubert classes in the $K$-theory of torus equivariant coherent sheaves on the maximal isotropic Grassmannians of symplectic and orthogonal types. This generalizes a corresponding result for the equivariant cohomology given by the authors. We also discuss a remarkable property enjoyed by these functions, which we call the $K$-theoretic $Q$-cancellation property. We prove that the $K$-theoretic $P$-functions form a (formal) basis of the ring of functions with the $K$-theoretic $Q$-cancellation property.
Subtoposes of the Effective Topos
Published
• View Publication
• BIB
We seek progress in the study of subtoposes of the effective topos. First we treat Van Oosten's result that local operators on the effective topos are internally NNO-indexed joins of what we shall call 'basic' local operators. Our main innovation is the notion of a tree-like structure called 'sight', which provides a tangible representation of local operators on the effective topos. This leads in particular to the establishment of an infinity of new basic subtoposes of the effective topos. Various comparisons (inequalities and non-inequalities) in between these new examples and known examples such as Turing degrees are made. Sights also provide a realizability-like semantics for the first-order arithmetic of subtoposes of the effective topos. The text begins with an overview of relevant tripos theory and some topos-theoretic constructions of local operators.
Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set
Published
• View Publication
• BIB
We show that the problem of computing the hybridization number of two rooted binary phylogenetic trees on the same set of taxa X has a constant factor polynomial-time approximation if and only if the problem of computing a minimum-size feedback vertex set in a directed graph (DFVS) has a constant factor polynomial-time approximation. The latter problem, which asks for a minimum number of vertices to be removed from a directed graph to transform it into a directed acyclic graph, is one of the problems in Karp's seminal 1972 list of 21 NP-complete problems. However, despite considerable attention from the combinatorial optimization community it remains to this day unknown whether a constant factor polynomial-time approximation exists for DFVS. Our result thus places the (in)approximability of hybridization number in a much broader complexity context, and as a consequence we obtain that hybridization number inherits inapproximability results from the problem Vertex Cover. On the positive side, we use results from the DFVS literature to give an O(log r log log r) approximation for hybridization number, where r is the value of an optimal solution to the hybridization number problem.
Kontsevich integral for knots and Vassiliev invariants
Published in Int. J. Mod. Phys. A 28, 1330025 (2013)
• View Publication
• BIB
We review quantum field theory approach to the knot theory. Using holomorphic gauge we obtain the Kontsevich integral. It is explained how to calculate Vassiliev invariants and coefficients in Kontsevich integral in a combinatorial way which can be programmed on a computer. We discuss experimental results and temporal gauge considerations which lead to representation of Vassiliev invariants in terms of arrow diagrams. Explicit examples and computational results are presented.
Asymptotical behaviour of roots of infinite Coxeter groups
Published in Can. J. Math.-J. Can. Math. 66 (2014) 323-353
• View Publication
• BIB
Let W be an infinite Coxeter group. We initiate the study of the set E of limit points of "normalized" positive roots (representing the directions of the roots) of W. We show that E is contained in the isotropic cone of the bilinear form B associated to a geometric representation, and illustrate this property with numerous examples and pictures in rank 3 and 4. We also define a natural geometric action of W on E, and then we exhibit a countable subset of E, formed by limit points for the dihedral reflection subgroups of W. We explain that this subset is built from the intersection with Q of the lines passing through two positive roots, and finally we establish that it is dense in E.
Orientations, semiorders, arrangements, and parking functions
Published in Electronic Journal of Combinatorics, 19(4), 2012
• View Publication
• BIB
It is known that the Pak-Stanley labeling of the Shi hyperplane arrangement provides a bijection between the regions of the arrangement and parking functions. For any graph G, we define the G-semiorder arrangement and show that the Pak-Stanley labeling of its regions produces all G-parking functions.
Triangulations of the sphere, bitrades and abelian groups
Published
• View Publication
• BIB
Let $G$ be a triangulation of the sphere with vertex set $V$, such that the faces of the triangulation are properly coloured black and white. Motivated by applications in the theory of bitrades, Cavenagh and Wanless defined $A_W$ to be the abelian group generated by the set $V$, with relations $r+c+s=0$ for all white triangles with vertices $r$, $c$ and $s$. The group $A_B$ can be defined similarly, using black triangles.
The paper shows that $A_W$ and $A_B$ are isomorphic, thus establishing the truth of a well-known conjecture of Cavenagh and Wanless. Connections are made between the structure of $A_W$ and the theory of asymmetric Laplacians of finite directed graphs, and weaker results for orientable surfaces of higher genus are given. The relevance of the group $A_W$ to the understanding of the embeddings of a partial latin square in an abelian group is also explained.
Generating random braids
Published in Journal of Combinatorial Theory, Series A 120 (2013), pp. 111-128
• View Publication
• BIB
We present an algorithm to generate positive braids of a given length as words in Artin generators with a uniform probability. The complexity of this algorithm is polynomial in the number of strands and in the length of the generated braids.
As a byproduct, we describe a finite state automaton accepting the language of lexicographically minimal representatives of positive braids that has the minimal possible number of states, and we prove that its number of states is exponential in the number of strands.