Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On $H$-Topological Intersection Graphs
Published
• View Publication
• BIB
Biró et al. (1992) introduced $H$-graphs, intersection graphs of connected subgraphs of a subdivision of a graph $H$. They are related to many classes of geometric intersection graphs, e.g., interval graphs, circular-arc graphs, split graphs, and chordal graphs.
We negatively answer the 25-year-old question of Biró et al. which asks if $H$-graphs can be recognized in polynomial time, for a fixed graph $H$. We prove that it is NP-complete if $H$ contains the diamond graph as a minor. We provide a polynomial-time algorithm recognizing $T$-graphs, for each fixed tree $T$. When $T$ is a star $S_d$ of degree $d$, we have an $O(n^{3.5})$-time algorithm.
We give FPT- and XP-time algorithms solving the minimum dominating set problem on $S_d$-graphs and $H$-graphs parametrized by $d$ and the size of $H$, respectively. The algorithm for $H$-graphs adapts to an XP-time algorithm for the independent set and the independent dominating set problems on $H$-graphs.
If $H$ contains the double-triangle as a minor, we prove that $H$-graphs are GI-complete and that the clique problem is APX-hard. The clique problem can be solved in polynomial time if $H$ is a cactus graph. When a graph $G$ has a Helly $H$-representation, the clique problem can be solved in polynomial time.
We show that both the $k$-clique and the list $k$-coloring problems are solvable in FPT-time on $H$-graphs (parameterized by $k$ and the treewidth of $H$). In fact, these results apply to classes of graphs with treewidth bounded by a function of the clique number.
We observe that $H$-graphs have at most $n^{O(\|H\|)}$ minimal separators which allows us to apply the meta-algorithmic framework of Fomin et al. (2015) to show that for each fixed $t$, finding a maximum induced subgraph of treewidth $t$ can be done in polynomial time. When $H$ is a cactus, we improve the bound to $O(\|H\|n^2)$.
Lattice points in algebraic cross-polytopes and simplices
Published in Discrete Comput. Geom. 60 (2018) 145-169
• View Publication
• BIB
The number of lattice points $\left| tP \cap \mathbb{Z}^d \right|$, as a function of the real variable $t>1$ is studied, where $P \subset \mathbb{R}^d$ belongs to a special class of algebraic cross-polytopes and simplices. It is shown that the number of lattice points can be approximated by an explicitly given polynomial of $t$ depending only on $P$. The error term is related to a simultaneous Diophantine approximation problem for algebraic numbers, as in Schmidt's theorem. The main ingredients of the proof are a Poisson summation formula for general algebraic polytopes, and a representation of the Fourier transform of the characteristic function of an arbitrary simplex in the form of a complex line integral.
Areas of Triangles and other Polygons with Vertices from Various Sequences
Published
• View Publication
• BIB
Motivated by Elementary Problem B-1172 in the Fibonacci Quarterly (vol. 53, no. 3, pg. 273), formulas for the areas of triangles and other polygons having vertices with coordinates taken from various sequences of integers are obtained. The sequences discussed are Polygonal number sequences as well as Fibonacci, Lucas, Jacobsthal, Jacobsthal-Lucas, Pell, Pell-Lucas, and Generalized Fibonacci sequences. The polygons have vertices with the form $(p_n,p_{n+k}),\,\, (p_{n+2k},p_{n+3k}),\,\,\dots ,(p_{n+(2m-2)k},p_{n+(2m-1)k)}$.
A translation generalized quadrangle in characteristic $\ne 0$ is linear
Published
• View Publication
• BIB
It is a long-standing conjecture from the 1970s that every translation generalized quadrangle is linear, that is, has an endomorphism ring which is a division ring (or, in geometric terms, that has a projective representation). We show that any translation generalized quadrangle $Γ$ is ideally embedded in a translation quadrangle which is linear. This allows us to weakly represent any such $Γ$ in projective space, and moreover, to have a well-defined notion of "characteristic" for these objects. We then show that each translation quadrangle in positive characteristic indeed is linear.
Shifted symmetric functions and multirectangular coordinates of Young diagrams
Published in Journal of Algebra, 483, pp. 262-305, 2017
• View Publication
• BIB
In this paper, we study shifted Schur functions $S_μ^\star$, as well as a new family of shifted symmetric functions $\mathfrak{K}_μ$ linked to Kostka numbers. We prove that both are polynomials in multi-rectangular coordinates, with nonnegative coefficients when written in terms of falling factorials. We then propose a conjectural generalization to the Jack setting. This conjecture is a lifting of Knop and Sahi's positivity result for usual Jack polynomials and resembles recent conjectures of Lassalle. We prove our conjecture for one-part partitions.
Identities involving weighted Catalan, Schroder and Motzkin paths
Published
• View Publication
• BIB
In this paper, we investigate the weighted Catalan, Motzkin and Schröder numbers together with the corresponding weighted paths. The relation between these numbers is illustrated by three equations, which also lead to some known and new interesting identities. To show these three equations, we provide combinatorial proofs. One byproduct is to find a bijection between two sets of Catalan paths: one consisting of those with $k$ valleys, and the other consisting of $k$ $\mathbf{N}$ steps in even positions.
A badly expanding set on the $2$-torus
We give a counterexample to a conjecture stated in Linial and London 2006 regarding expansion on $\mathbb{T}^2$ under $\begin{bmatrix}1&1\\ 0&1\end{bmatrix}$ and $\begin{bmatrix}1&0\\ 1&1\end{bmatrix}$.
On enumeration of tree-rooted planar cubic maps
We consider planar cubic maps, i.e. connected cubic graphs imbedded into plane, with marked spanning tree and marked directed edge (not in this tree). The number of such objects with $2n$ vertices is $C_{2n}\cdot C_{n+1}$, where $C_k$ is $k$-th Catalan number.
Tight lower bounds for connected queen domination problems on the chessboard
1. We first show a lower bound of 2N/3-1 for the connected minimum queen domination (or cover) problem on the NXN chessboard - the upper bound is only 2 higher at most and is easy to show. 2. We then define the k-colored connected minimum queen domination, and extend the above proof to show a lower bound of (2 N - k - 2)/3, where the parameter k can be increased to get decreasing lower bounds LB(N, k) until one reaches the simple domination lower bound of floor N/2. 3. We also discuss extensions of the connected domination problem and additional directions.
Conical $3$-uniform measure: a family of new examples and characterizations
Published
• View Publication
• BIB
Uniform measures have played a fundamental role in geometric measure theory since they naturally appear as tangent objects. For instance, they were essential in the groundbreaking work of Preiss on the rectifiability of Radon measures. However, relatively little is understood about the structure of general uniform measures. Indeed, the question of whether there exist any non-flat uniform measures beside the one supported on the light cone has been open for 30 years, ever since Kowalski and Preiss classified $n$-uniform measures in $\mathbb{R}^{n+1}$ .
In this paper, we answer the question and construct an infinite family of 3-uniform measures in arbitrary codimension. We define a notion of distance symmetry for points and prove that every collection of $2$-spheres whose centers are distance symmetric gives rise to a $3$-uniform measure. We then develop a combinatorial method to systematically produce distance symmetric points. We also classify conical $3$-uniform measures in $\mathbb{R}^{5}$ by proving that they all arise from distance symmetric spheres.
Matroid basis graph: Counting Hamiltonian cycles
Published
• View Publication
• BIB
We present exponential and super factorial lower bounds on the number of Hamiltonian cycles passing through any edge of the basis graphs of a graphic, generalized Catalan and uniform matroids. All lower bounds were obtained by a common general strategy based on counting appropriated cycles of length four in the corresponding matroid basis graph.
Asymptotic laws for random knot diagrams
Published
• View Publication
• BIB
We study random knotting by considering knot and link diagrams as decorated, (rooted) topological maps on spheres and pulling them uniformly from among sets of a given number of vertices $n$, as first established in recent work with Cantarella and Mastin. The knot diagram model is an exciting new model which captures both the random geometry of space curve models of knotting as well as the ease of computing invariants from diagrams.
We prove that unknot diagrams are asymptotically exponentially rare, an analogue of Sumners and Whittington's landmark result for self-avoiding walks. Our proof uses the same key idea: We first show that knot diagrams obey a pattern theorem, which describes their fractal structure. We examine how quickly this behavior occurs in practice. As a consequence, almost all diagrams are asymmetric, simplifying sampling from this model. We conclude with experimental data on knotting in this model. This model of random knotting is similar to those studied by Diao et al., and Dunfield et al.
A new general family of deterministic hierarchical networks
It is known that many networks modeling real-life complex systems are small-word (large local clustering and small diameter) and scale-free (power law of the degree distribution), and very often they are also hierarchical. Although most of the models are based on stochastic methods, some deterministic constructions have been recently proposed, because this allows a better computation of their properties. Here a new deterministic family of hierarchical networks is presented, which generalizes most of the previous proposals, such as the so-called binomial tree. The obtained graphs can be seen as graphs on alphabets (where vertices are labeled with words of a given alphabet, and the edges are defined by a specific rule relating different words). This allows us the characterization of their main distance-related parameters, such as the radius and the diameter. Moreover, as a by product, an efficient shortest-path local algorithm is proposed.
Explicit expressions for the moments of the size of an (s,s+1)-core partition with distinct parts
Published in Adv. Appl. Math. 84, 1-7 (2017)
• View Publication
• BIB
For fixed s, the size of an (s, s+1)-core partition with distinct parts can be seen as a random variable X_s. Using computer-assisted methods, we derive formulas for the expectation, variance, and higher moments of X_s. Our results give good evidence that X_s is asymptotically normal.
Combinatorial properties of symmetric polynomials from integrable vertex models in finite lattice
Published in Journal of Mathematical Physics 58, 091703 (2017)
• View Publication
• BIB
We introduce and study several combinatorial properties of a class of symmetric polynomials from the point of view of integrable vertex models in finite lattice. We introduce the $L$-operator related with the $U_q(sl_2)$ $R$-matrix, and construct the wavefunctions and their duals. We prove the exact correspondence between the wavefunctions and symmetric polynomials which is a quantum group deformation of the Grothendieck polynomials. This is proved by combining the matrix product method and an analysis on the domain wall boundary partition functions. As applications of the correspondence between the wavefunctions and symmetric polynomials, we derive several properties of the symmetric polynomials such as the determinant pairing formulas and the branching formulas by analyzing the domain wall boundary partition functions and the matrix elements of the $B$-operators.
Asymptotic results on Klazar set partition avoidance
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (March 19, 2018) dmtcs:3112
• View Publication
• BIB
We establish asymptotic bounds for the number of partitions of $[n]$ avoiding a given partition in Klazar's sense, obtaining the correct answer to within an exponential for the block case. This technique also enables us to establish a general lower bound. Additionally, we consider a graph theoretic restatement of partition avoidance problems, and propose several conjectures.
Computing the Independence Polynomial: from the Tree Threshold down to the Roots
Published
• View Publication
• BIB
We study an algorithm for approximating the multivariate independence polynomial $Z(\mathbf{z})$, with negative and complex arguments, an object that has strong connections to combinatorics and to statistical physics. In particular, the independence polynomial with negative arguments, $Z(-\mathbf{p})$, determines the Shearer region, the maximal region of probabilities to which the Lovasz Local Lemma (LLL) can be extended (Shearer 1985). In statistical physics, complex zeros of the independence polynomial relate to existence of phase transitions.
Our main result is a deterministic algorithm to compute approximately the independence polynomial in any root-free complex polydisc centered at the origin. Our algorithm is essentially the same as Weitz's algorithm for positive parameters up to the tree uniqueness threshold, and the core of our analysis is a novel multivariate form of the correlation decay technique, which can handle non-uniform complex parameters. In particular, in the univariate real setting our work implies that Weitz's algorithm works in an interval between two critical points $(λ'_c(d), λ_c(d))$, and outside of this interval an approximation of $Z(\mathbf{z})$ is known to be NP-hard.
As an application, we give a sub-exponential time algorithm for testing approximate membership in the Shearer region. We also give a new rounding based deterministic algorithm for Shearer's lemma (an extension of the LLL), which, however, runs in sub-exponential time. On the hardness side, we prove that evaluating $Z(\mathbf{z})$ at an arbitrary point in Shearer's region, and testing membership in Shearer's region, are #P-hard problems. We also establish the best possible dependence of the exponent of the run time of Weitz's correlation decay technique in the negative regime on the distance to the boundary of the Shearer region.
The generalized 3-(edge) connectivity of total graphs
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$, introduced by Hager in 1985, is a natural generalization of the concept of connectivity $κ(G)$, which is just for $k=2$. Total graph is generalized line graph and a large graph which obtained by incidence relation between vertices and edges of original graph. T. Hamada and T. Nonaka et al., in \cite{Hamada} determined the connectivity of the total graph $T(G)$ for a graph $G$. In this paper we determine the generalized $k$-(edge)-connectivity of total graph $T(G)$ for $k=3$.
A new bound for Vizing's conjecture
For any graph $G$, we define the power $π(G)$ as the minimum of the largest number of neighbors in a $γ$-set of $G$, of any vertex, taken over all $γ$-sets of $G$. We show that $γ(G\square H)\geq \frac{π(G)}{2π(G) -1}γ(G)γ(H)$. Our methods allow us to prove the following statements for any graphs $G$ and $H$, (1) $γ(G\square H)\geq \frac{\lceil \frac{γ(G)}{2}\rceil}{2\lceil \frac{γ(G)}{2}\rceil-1}γ(G)γ(H)$ for odd $γ(G)$, (2) $γ(G\square H)\geq \frac{γ(G)}{2γ(G)-2}γ(G)γ(H)$, for even $γ(G)$, and (3) a short proof of Vizing's conjecture where $γ(G)=3$. Our argument relies on establishing efficient correspondences between dominating vertices and subsets of their neighborhoods and then showing a sufficient number of dominating vertices that horizontally dominate vertically undominated cells.
Mogami manifolds, nuclei, and 3D simplicial gravity
Published
• View Publication
• BIB
Mogami introduced in 1995 a large class of triangulated 3-dimensional pseudomanifolds, henceforth called "Mogami pseudomanifolds". He proved an exponential bound for the size of this class in terms of the number of tetrahedra. The question of whether all 3-balls are Mogami has remained open since, a positive answer would imply a much-desired exponential upper bound for the total number of 3-balls (and 3-spheres) with N tetrahedra.
Here we provide a negative answer: many 3-balls are not Mogami. On the way to this result, we characterize the Mogami property in terms of nuclei, in the sense of Collet-Eckmann-Younan: "The only three-dimensional Mogami nucleus is the tetrahedron".