Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Growth rates of groups associated with face 2-coloured triangulations and directed Eulerian digraphs on the sphere
Published
• View Publication
• BIB
Let $\mathcal{G}$ be a properly face 2-coloured (say black and white) \break piecewise-linear triangulation of the sphere with vertex set $V$. Consider the abelian group $\mathcal{A}_W$ generated by the set $V$, with relations $r+c+s=0$ for all white triangles with vertices $r$, $c$ and $s$. The group $\mathcal{A}_B$ can be defined similarly, using black triangles. These groups are related in the following manner $\mathcal{A}_W\cong\mathcal{A}_B\cong\mathbb{Z}\oplus\mathbb{Z}\oplus\mathcal{C}$ where $\mathcal{C}$ is a finite abelian group.
The finite torsion subgroup $\mathcal{C}$ is referred to as the canonical group of the triangulation. Let $m_t$ be the maximal order of $\mathcal{C}$ over all properly face two-coloured spherical triangulations with $t$ triangles of each colour. By relating properly face two-coloured spherical triangulations to directed Eulerian spherical embeddings of digraphs whose abelian sand-pile groups are isomorphic to $\mathcal{C}$ we provide improved upper and lower bounds for $\lim \sup_{t\rightarrow\infty}(m_t)^{1/t}$.
The number of paperfolding curves in a covering of the plane
Published in Hiroshima Mathematical Journal, vol. 47 (2017), pp.1-14
• View Publication
• BIB
These results complete our paper in Hiroshima Mathematical Journal, vol. 42, pp. 37-75. Let C be a covering of the plane by disjoint complete folding curves which satisfies the local isomorphism property. We show that C is locally isomorphic to an essentially unique covering generated by an $\infty$-folding curve. We prove that C necessarily consists of 1, 2, 3, 4 or 6 curves. We give examples for each case; the last one is realized if and only if C is generated by the alternating folding curve or one of its successive antiderivatives. We also extend the results of our previous paper to another class of paperfolding curves introduced by M. Dekking.
Multi-point functions of weighted cubic maps
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 3 (2016), 1-44
• View Publication
• BIB
We study the geodesic two- and three-point functions of random weighted cubic maps, which are obtained by assigning random edge lengths to random cubic planar maps. Explicit expressions are obtained by taking limits of recently established bivariate multi-point functions of general planar maps. We give an alternative interpretation of the two-point function in terms of an Eden model exploration process on a random planar triangulation. Finally, the scaling limits of the multi-point functions are studied, showing in particular that the two- and three-point functions of the Brownian map are recovered as the number of faces is taken to infinity.
Further Studies on the Sparing Number of Graphs
Published in Tech S Vidya e-Journal of Research Vol. 2, 2014, pp.28-38
• Search Publication
Let $\mathbb{N}_0$ denote the set of all non-negative integers and $\mathcal{P}(\mathbb{N}_0)$ be its power set. An integer additive set-indexer is an injective function $f:V(G)\to \mathcal{P}(\mathbb{N}_0)$ such that the induced function $f^+:E(G) \to \mathcal{P}(\mathbb{N}_0)$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective, where $f(u)+f(v)$ is the sum set of $f(u)$ and $f(v)$. If $f^+(uv)=k~\forall~uv\in E(G)$, then $f$ is said to be a $k$-uniform integer additive set-indexer. An integer additive set-indexer $f$ is said to be a weak integer additive set-indexer if $|f^+(uv)|=\max(|f(u)|,|f(v)|)~\forall ~ uv\in E(G)$. In this paper, we study the admissibility of weak integer additive set-indexer by certain graphs and graph operations.
Graph Saturation in Multipartite Graphs
Published
• View Publication
• BIB
Let $G$ be a fixed graph and let ${\mathcal F}$ be a family of graphs. A subgraph $J$ of $G$ is ${\mathcal F}$-saturated if no member of ${\mathcal F}$ is a subgraph of $J$, but for any edge $e$ in $E(G)-E(J)$, some element of ${\mathcal F}$ is a subgraph of $J+e$. We let $\text{ex}({\mathcal F},G)$ and $\text{sat}({\mathcal F},G)$ denote the maximum and minimum size of an ${\mathcal F}$-saturated subgraph of $G$, respectively. If no element of ${\mathcal F}$ is a subgraph of $G$, then $\text{sat}({\mathcal F},G) = \text{ex}({\mathcal F}, G) = |E(G)|$.
In this paper, for $k\ge 3$ and $n\ge 100$ we determine $\text{sat}(K_3,K_k^n)$, where $K_k^n$ is the complete balanced $k$-partite graph with partite sets of size $n$. We also give several families of constructions of $K_t$-saturated subgraphs of $K_k^n$ for $t\ge 4$. Our results and constructions provide an informative contrast to recent results on the edge-density version of $\text{ex}(K_t,K_k^n)$ from [A. Bondy, J. Shen, S. Thomassé, and C. Thomassen, Density conditions for triangles in multipartite graphs, Combinatorica 26 (2006), 121--131] and [F. Pfender, Complete subgraphs in multipartite graphs, Combinatorica 32 (2012), no. 4, 483--495].
Graphs with minimal well-covered dimension
There is a class of graphs with well-covered dimension equal to the simplicial clique number that contains all chordal graphs and infinitely many other graphs. These graphs generalize a result by Brown and Nowakowski on the well-covered dimension of chordal graphs. Furthermore, each member of the infinite family of Sierpinski gasket graphs of order at least $2$ has well-covered dimension $3,$ the simplicial clique number.
Forbidden structure characterization of circular-arc graphs and a certifying recognition algorithm
Published
• View Publication
• BIB
A circular-arc graph is the intersection graph of arcs of a circle. It is a well-studied graph model with numerous natural applications. A certifying algorithm is an algorithm that outputs a certificate, along with its answer (be it positive or negative), where the certificate can be used to easily justify the given answer. While the recognition of circular-arc graphs has been known to be polynomial since the 1980s, no polynomial-time certifying recognition algorithm is known to date, despite such algorithms being found for many subclasses of circular-arc graphs. This is largely due to the fact that a forbidden structure characterization of circular-arc graphs is not known, even though the problem has been intensely studied since the seminal work of Klee in the 1960s.
In this contribution, we settle this problem. We present the first forbidden structure characterization of circular-arc graphs. Our obstruction has the form of mutually avoiding walks in the graph. It naturally extends a similar obstruction that characterizes interval graphs. As a consequence, we give the first polynomial-time certifying algorithm for the recognition of circular-arc graphs.
On the Structure and the Number of Prime Implicants of 2-CNFs
Published
• View Publication
• BIB
Let $m(n, k)$ be the maximum number of prime implicants that any $k$-CNF on n variables can have. We show that $3^{n/3} \le m(n,2) \le (1+o(1))3^{n/3}$.
Variations on topological recurrence
Published
• View Publication
• BIB
Recurrence properties of systems and associated sets of integers that suffice for recurrence are classical objects in topological dynamics. We describe relations between recurrence in different sorts of systems, study ways to formulate finite versions of recurrence, and describe connections to combinatorial problems. In particular, we show that sets of Bohr recurrence (meaning sets of recurrence for rotations) suffice for recurrence in nilsystems. Additionally, we prove an extension of this property for multiple recurrence in affine systems.
Hook Weighted Increasing Trees, Cayley Trees and Abel-Hurwitz Identities
Recently Féray, Goulden and Lascoux gave a proof of a new hook summation formula for unordered increasing trees by means of a generalization of the Prüfer code for labelled trees and posed the problem of finding a bijection between weighted increasing trees and Cayley trees. We give such a bijection, providing an answer to the problem posed by Féray, Goulden and Lascoux as well as showing a combinatorial connection to the theory of tree volumes defined by Kelmans. In addition we give two simple proofs of the hook summation formula. As an application we describe how the hook summation formula gives a combinatorial proof of a generalization of Abel and Hurwitz' theorem, originally proven by Strehl.
Schur Superpolynomials: Combinatorial Definition and Pieri Rule
Published in SIGMA 11 (2015), 021, 23 pages
• View Publication
• BIB
Schur superpolynomials have been introduced recently as limiting cases of the Macdonald superpolynomials. It turns out that there are two natural super-extensions of the Schur polynomials: in the limit $q=t=0$ and $q=t\rightarrow\infty$, corresponding respectively to the Schur superpolynomials and their dual. However, a direct definition is missing. Here, we present a conjectural combinatorial definition for both of them, each being formulated in terms of a distinct extension of semi-standard tableaux. These two formulations are linked by another conjectural result, the Pieri rule for the Schur superpolynomials. Indeed, and this is an interesting novelty of the super case, the successive insertions of rows governed by this Pieri rule do not generate the tableaux underlying the Schur superpolynomials combinatorial construction, but rather those pertaining to their dual versions. As an aside, we present various extensions of the Schur bilinear identity.
Homomorphism reconfiguration via homotopy
Published
• View Publication
• BIB
We consider the following problem for a fixed graph H: given a graph G and two H-colorings of G, i.e. homomorphisms from G to H, can one be transformed (reconfigured) into the other by changing one color at a time, maintaining an H-coloring throughout. This is the same as finding a path in the Hom(G,H) complex. For H=K_k this is the problem of finding paths between k-colorings, which was shown to be in P for k<=3 and PSPACE-complete otherwise by Cereceda et al. 2011. We generalize the positive side of this dichotomy by providing an algorithm that solves the problem in polynomial time for any H with no C_4 subgraph. This gives a large class of constraints for which finding solutions to the Constraint Satisfaction Problem is NP-complete, but finding paths in the solution space is P.
The algorithm uses a characterization of possible reconfiguration sequences (paths in Hom(G,H)), whose main part is a purely topological condition described in algebraic terms of the fundamental groupoid of H seen as a topological space.
On the Levi Graph of Point-Line Configurations
Published in Involve 8 (2015) 893-900
• View Publication
• BIB
We prove that the well-covered dimension of the Levi graph of a point-line configuration (v_r, b_k) is equal to 0, whenever r > 2.
Interval Total Colorings of Complete Multipartite Graphs and Hypercubes
A total coloring of a graph $G$ is a coloring of its vertices and edges such that no adjacent vertices, edges, and no incident vertices and edges obtain the same color. An interval total $t$-coloring of a graph $G$ is a total coloring of $G$ with colors $1,\ldots,t$ such that all colors are used, and the edges incident to each vertex $v$ together with $v$ are colored by $d_{G}(v)+1$ consecutive colors, where $d_{G}(v)$ is the degree of a vertex $v$ in $G$. In this paper we prove that all complete multipartite graphs with the same number of vertices in each part are interval total colorable. Moreover, we also give some bounds for the minimum and the maximum span in interval total colorings of these graphs. Next, we investigate interval total colorings of hypercubes $Q_{n}$. In particular, we prove that $Q_{n}$ ($n\geq 3$) has an interval total $t$-coloring if and only if $n+1\leq t\leq \frac{(n+1)(n+2)}{2}$.
Refinements of Gál's theorem and applications
Published
• View Publication
• BIB
We give a simple proof of a well-known theorem of Gál and of the recent related results of Aistleitner, Berkes and Seip [1] regarding the size of GCD sums. In fact, our method obtains the asymptotically sharp constant in Gál's theorem, which is new. Our approach also gives a transparent explanation of the relationship between the maximal size of the Riemann zeta function on vertical lines and bounds on GCD sums; a point which was previously unclear. Furthermore we obtain sharp bounds on the spectral norm of GCD matrices which settles a question raised in [2]. We use bounds for the spectral norm to show that series formed out of dilates of periodic functions of bounded variation converge almost everywhere if the coefficients of the series are in $L^2 (\log\log 1/L)^γ$, with $γ> 2$. This was previously known with $γ>4$, and is known to fail for $γ<2$. We also develop a sharp Carleson-Hunt-type theorem for functions of bounded variations which settles another question raised in [1]. Finally we obtain almost sure bounds for partial sums of dilates of periodic functions of bounded variations improving [1]. This implies almost sure bounds for the discrepancy of $\{n_k x\}$ with $n_k$ an arbitrary growing sequences of integers.
Locally Determined Functions of Finite Simplicial Complexes that are Linear Combinations of the Numbers of Simplices in Each Dimension
The Euler characteristic, thought of as a function that assigns a numerical value to every finite simplicial complex, is locally determined in both a combinatorial sense and a geometric sense. In this note we show that not every function that assigns a numerical value to every finite simplicial complex via a linear combination of the numbers of simplices in each dimension is locally determined in either sense. In particular, the Charney-Davis quantity $λ(L)$ is not locally determined in either sense if it is defined on a set of simplicial complexes that includes all flag spheres of a given odd dimension.
Applications of the Strong Splitter Theorem: decomposition results
We use the Strong Splitter Theorem to decompose the excluded minor class of binary matroids with no $E_4$-minor. Using this theorem we can get the 3-decomposers and the extremal internally 4-connected matroids as well as any other important matroids in the class. The matroid $E_4$ is a self-dual 10-element binary 3-connected matroid that plays a useful role in structural results. It is a single-element coextension of $P_9$, which is a single-element extension of the 4-wheel. We show that the extremal matroids in this class are the binary rank-$r$ spikes $Z_r$, the rank 3 and 4 projective geometries $F_7$ and $PG(3,2)$, respectively, the 17-element internally 4-connected matroid $R_{17}$, and one 12-element rank-6 matroid. All the other 3-connected members have $P_9$ or $P_9^*$ as 3-decomposers. As immediate corollaries we get decomposition results for $EX[P_9^*]$ and $EX[P_9]$ as well as the internally 4-connected members of these classes.
Some more notions of homomorphism-homogeneity
Published
• View Publication
• BIB
We extend the notion of 'homomorphism-homogeneity' to a wider class of kinds of maps than previously studied, and we investigate the relations between the resulting notions of homomorphism-homogeneity, giving several examples. We also give further details on related work reported in [Deborah Lockett and John K Truss, Generic endomorphisms of homogeneous structures, in 'Groups and model theory', Contemporary Mathematics 576, ed Strungmann, Droste, Fuchs, Tent, American Mathematical Society, 2012, 217-237] about the endomorphisms of chains and generic endomorphisms of tree.
Maximality of Infinite Partition Regular Matrices
A finite or infinite matrix $A$ with rational entries (and only finitely many non-zero entries in each row) is called image partition regular if, whenever the natural numbers are finitely coloured, there is a vector $x$, with entries in the natural numbers, such that $Ax$ is monochromatic. Many of the classical results of Ramsey theory are naturally stated in terms of image partition regularity.
Our aim in this paper is to investigate maximality questions for image partition regular matrices. When is it possible to add rows on to $A$ and remain image partition regular? When can one add rows but `nothing new is produced'? What about adding rows and also new variables? We prove some results about extensions of the most interesting infinite systems, and make several conjectures.
Perhaps our most surprising positive result is a compatibility result for Milliken-Taylor systems, stating that (in many cases) one may adjoin one Milliken-Taylor system to a translate of another and remain image partition regular. This is in contrast to earlier results, which had suggested a strong inconsistency between different Milliken-Taylor systems. Our main tools for this are some algebraic properties of the $βN$, the Stone-Cech compactification of the natural numbers.
Even More Infinite Ball Packings from Lorentzian Root Systems
Published in Electronic Journal of Combinatorics 23, no. 3 (2016): P3.16
• View Publication
• BIB
Boyd (1974) proposed a class of infinite ball packings that are generated by inversions. Later, Maxwell (1983) interpreted Boyd's construction in terms of root systems in Lorentz space. In particular, he showed that the space-like weight vectors correspond to a ball packing if and only if the associated Coxeter graph is of "level $2$." In Maxwell's work, the simple roots form a basis of the representations space of the Coxeter group. In several recent studies, the more general based root system is considered, where the simple roots are only required to be positively independent. In this paper, we propose a geometric version of "level" for the root system to replace Maxwell's graph theoretical "level." Then we show that Maxwell's results naturally extend to the more general root systems with positively independent simple roots. In particular, the space-like extreme rays of the Tits cone correspond to a ball packing if and only if the root system is of level $2$. We also present a partial classification of level-$2$ root systems, namely the Coxeter $d$-polytopes of level-$2$ with $d+2$ facets.