Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Hedetniemi's conjecture and adjoint functors in thin categories
Published
• View Publication
• BIB
We survey results on Hedetniemi's conjecture which are connected to adjoint functors in the "thin" category of graphs, and expose the obstacles to extending these results.
Homotopy type of circle graphs complexes motivated by extreme Khovanov homology
Published
• View Publication
• BIB
It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.
Three dimensional tropical correspondence formula
Published
• View Publication
• BIB
A tropical curve in $\mathbb R^{3}$ contributes to Gromov-Witten invariants in all genus.
Nevertheless, we present a simple formula for how a given tropical curve contributes to Gromov-Witten invariants when we encode these invariants in a generating function with exponents of $λ$ recording Euler characteristic. Our main modification from the known tropical correspondence formula for rational curves is as follows: a trivalent vertex, which before contributed a factor of $n$ to the count of zero-genus holomorphic curves, contributes a factor of $2\sin(nλ/2)$.
We explain how to calculate relative Gromov-Witten invariants using this tropical correspondence formula, and how to obtain the absolute Gromov-Witten and Donaldson-Thomas invariants of some $3$-dimensional toric manifolds including $\mathbb CP^{3}$. The tropical correspondence formula counting Donaldson-Thomas invariants replaces $n$ by $i^{-(1+n)}q^{n/2}+i^{1+n}q^{-n/2}$.
Threshold Colorings of Prisms and the Petersen Graph
Let $G$ be a graph, $r \geq t$ integers, and $N \subseteq E(G)$. An $(r,t)$-threshold-coloring of $G$ with respect to $N$ is a mapping $c: V(G) \rightarrow \{0,\ldots,r-1\}$ such that $|c(u)-c(v)| \leq t$ for every $uv \in N$ and $|c(u)-c(v)|>t$ for every $uv \in E(G) \setminus N$. A graph is total threshold colorable if there exist integers $r,t$ such that for every $N \subseteq E(G)$, $G$ admits an $(r,t)$-threshold-coloring with respect to $N$. We show that every prism is total threshold colorable, and that the Petersen graph is total threshold colorable. In contrast to this fact we show that Moebius ladders are not total threshold colorable, from which it follows that there is no characterization of being total threshold colorable in terms of a finite set of forbidden subgraphs.
The cross-correlation measure of families of finite binary sequences: limiting distributions and minimal values
Gyarmati, Mauduit and Sárközy introduced the cross-correlation measure $Φ_k(G)$ of order $k$ to measure the level of pseudorandom properties of families of finite binary sequences. In an earlier paper we estimated the cross-correlation measure of a random family of binary sequences. In this paper, we sharpen these earlier results by showing that for random families, the cross-correlation measure converges strongly, and so has limiting distribution. We also give sharp bounds to the minimum values of the cross-correlation measure, which settles a problem of Gyarmati, Mauduit and Sárközy nearly completely.
The Zero Locus of the $F$-triangle
We are interested in the zero locus of a Chapoton's $F$-triangle as a polynomial in two real variables $x$ and $y$. An expectation is that (1) the $F$-triangle of rank $l$ as a polynomial in $x$ for each fixed $y\in[0,1]$, has exactly $l$ distinct real roots in $[0,1]$, and (2) $i$-th root $x_i(y)$ ($1 \le i \le l$) as a function on $y \in [0,1]$ is monotone decreasing. In order to understand these phenomena, we slightly generalized the concept of $F$-triangles and study the problem on the space of such generalized triangles. We analyze the case of low rank in details and show that the above expectation is true. We formulate inductive conjectures and questions for further rank cases. This study gives a new insight on the zero loci of $f^+$- and $f$-polynomials.
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.