Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Shape Optimization Problems for Metric Graphs
Published in ESAIM: COCV 20 (2014) 1-22
• View Publication
• BIB
We consider the shape optimization problem $$\min\big\{{\mathcal E}(Γ)\ :\ Γ\in{\mathcal A},\ {\mathcal H}^1(Γ)=l\ \big\},$$ where ${\mathcal H}^1$ is the one-dimensional Hausdorff measure and ${\mathcal A}$ is an admissible class of one-dimensional sets connecting some prescribed set of points ${\mathcal D}=\{D_1,\dots,D_k\}\subset{\mathbb R}^d$. The cost functional ${\mathcal E}(Γ)$ is the Dirichlet energy of $Γ$ defined through the Sobolev functions on $Γ$ vanishing on the points $D_i$. We analyze the existence of a solution in both the families of connected sets and of metric graphs. At the end, several explicit examples are discussed.
On the Asymptotic Statistics of the Number of Occurrences of Multiple Permutation Patterns
Published
• View Publication
• BIB
We study statistical properties of the random variables $X_σ(π)$, the number of occurrences of the pattern $σ$ in the permutation $π$. We present two contrasting approaches to this problem: traditional probability theory and the ``less traditional'' computational approach. Through the perspective of the first one, we prove that for any pair of patterns $σ$ and $τ$, the random variables $X_σ$ and $X_τ$ are jointly asymptotically normal (when the permutation is chosen from $S_{n}$). From the other perspective, we develop algorithms that can show asymptotic normality and joint asymptotic normality (up to a point) and derive explicit formulas for quite a few moments and mixed moments empirically, yet rigorously. The computational approach can also be extended to the case where permutations are drawn from a set of pattern avoiders to produce many empirical moments and mixed moments. This data suggests that some random variables are not asymptotically normal in this setting.
Non-jumping Numbers for 5-Uniform Hypergraphs
Published in Appl. Math. Comput. 317(2018), 234--251
• View Publication
• BIB
Let $\ell$ and $r$ be integers. A real number $α\in [0,1)$ is a jump for $r$ if for any $\varepsilon > 0$ and any integer $m,\ m \geq r$, any $r$-uniform graph with $n > n_0(\varepsilon,m)$ vertices and at least α+ \varepsilon)\binom{n}{r}$ edges contains a subgraph with $m$ vertices and at least $(α+c)\binom{m}{r}$ edges, where $c=c(α)$ does not depend on $\varepsilon$ and $m$. It follows from a theorem of Erdős, Stone and Simonovits that every $α\in [0,1)$ is a jump for $r=2$. Erdős asked whether the same is true for $r \geq 3$. However, Frankl and Rödl gave a negative answer by showing that $1-\frac{1}{\ell^{r-1}}$ is not a jump for $r$ if $r \geq 3$ and $\ell >2r$. Peng gave more sequences of non-jumping numbers for $r=4$ and $r\geq 3$. However, there are also a lot of unknowns on determining whether a number is a jump for $r \geq 3$. Following a similar approach as that of Frankl and Rödl, we give several sequences of non-jumping numbers for $r=5$, and extend one of the results to every $r \geq 5$, which generalize the above results.
Parameters Tied to Treewidth
Published
• View Publication
• BIB
Treewidth is a graph parameter of fundamental importance to algorithmic and structural graph theory. This paper surveys several graph parameters tied to treewidth, including separation number, tangle number, well-linked number and Cartesian tree product number. We review many results in the literature showing these parameters are tied to treewidth. In a number of cases we also improve known bounds, provide simpler proofs and show that the inequalities presented are tight.
2-connected equimatchable graphs on surfaces
Published
• View Publication
• BIB
A graph $G$ is equimatchable if any matching in $G$ is a subset of a maximum-size matching. It is known that any $2$-connected equimatchable graph is either bipartite or factor-critical. We prove that for any vertex $v$ of a $2$-connected factor-critical equimatchable graph $G$ and a minimal matching $M$ that isolates $v$ the graph $G\setminus(M\cup\{ v\})$ is either $K_{2n}$ or $K_{n,n}$ for some $n$. We use this result to improve the upper bounds on the maximum size of $2$-connected equimatchable factor-critical graphs embeddable in the orientable surface of genus $g$ to $4\sqrt g+17$ if $g\le 2$ and to $12\sqrt g+5$ if $g\ge 3$. Moreover, for any nonnegative integer $g$ we construct a $2$-connected equimatchable factor-critical graph with genus $g$ and more than $4\sqrt{2g}$ vertices, which establishes that the maximum size of such graphs is $Θ(\sqrt g)$. Similar bounds are obtained also for nonorientable surfaces. Finally, for any nonnegative integers $g$, $h$ and $k$ we provide a construction of arbitrarily large $2$-connected equimatchable bipartite graphs with orientable genus $g$, respectively nonorientable genus $h$, and a genus embedding with face-width $k$.
Toric ideals of series and parallel connections of matroids
Published in Journal of Algebra and Its Applications, 15 (2016), no. 6, 1650106, 11 pages
• View Publication
• BIB
In 1980, White conjectured that the toric ideal associated to a matroid is generated by binomials corresponding to a symmetric exchange. In this paper, we prove that classes of matroids for which the toric ideal is generated by quadrics and that has quadratic Gröbner bases, are closed under series and parallel extensions, series and parallel connections, and 2-sums.
Computing the Tutte Polynomial of Lattice Path Matroids Using Determinantal Circuits
Published
• View Publication
• BIB
We give a quantum-inspired $O(n^4)$ algorithm computing the Tutte polynomial of a lattice path matroid, where $n$ is the size of the ground set of the matroid. Furthermore, this can be improved to $O(n^2)$ arithmetic operations if we evaluate the Tutte polynomial on a given input, fixing the values of the variables. The best existing algorithm, found in 2004, was $O(n^5)$, and the problem has only been known to be polynomial time since 2003. Conceptually, our algorithm embeds the computation in a determinant using a recently demonstrated equivalence of categories useful for counting problems such as those that appear in simulating quantum systems.
New Identities from a Combinatorial Approach to Generalized Fibonacci and Generalized Lucas Numbers
We present here some new identities for generalizations of Fibonacci and Lucas numbers by combinatorially interpreting these numbers in terms of numbers of certain tilings of a $1 \times m$ board. As a consequence, some new interesting identities involving the ordinaries Fibonacci and Lucas numbers are derived.
Chen ranks and resonance
Published in Adv. Math. 285 (2015), 1-27
• View Publication
• BIB
The Chen groups of a group $G$ are the lower central series quotients of the maximal metabelian quotient of $G$. Under certain conditions, we relate the ranks of the Chen groups to the first resonance variety of $G$, a jump locus for the cohomology of $G$. In the case where $G$ is the fundamental group of the complement of a complex hyperplane arrangement, our results positively resolve Suciu's Chen ranks conjecture. We obtain explicit formulas for the Chen ranks of a number of groups of broad interest, including pure Artin groups associated to Coxeter groups, and the group of basis-conjugating automorphisms of a finitely generated free group.
On Motzkin-Straus Type of Results and Frankl-Füredi Conjecture for Hypergraphs
A remarkable connection between the order of a maximum clique and the Graph-Lagrangian of a graph was established by Motzkin and Straus in 1965. This connection and its extension were useful in both combinatorics and optimization. Since then, Graph-Lagrangian has been a useful tool in extremal combinatorics. In this paper, we give a parametrized Graph-Lagrangian for non-uniform hypergraphs and provide several Motzkin-Straus type results for nonuniform hypergraphs which generalize results from [1] and [2]. Another part of the paper concerns a long-standing conjecture of Frankl-Füredi on Graph-Lagrangians of hypergraphs. We show the connection between the Graph-Lagrangian of $\{1, r_1, r_2, \cdots, r_l\}$-hypergraphs and $\{ r_1, r_2, \cdots, r_l\}$-hypergraphs. Some of our results provide solutions to the maximum value of a class of polynomial functions over the standard simplex of the Euclidean space.
Deformations of box complexes
Box complex is a $\mathbb{Z}_2$-space associated to a graph, and it is known that a certain $\mathbb{Z}_2$-homotopy invariant of it, called the $\mathbb{Z}_2$-index, gives an effective lower bound for the chromatic number. On the other hand, we show that any $\mathbb{Z}_2$-homotopy invariant of the box complex is not equivalent to the chromatic number. Namely, we construct a graph homomorphism $f:X \rightarrow Y$ such that it gives rise to a $\mathbb{Z}_2$-homotopy equivalence between their box complexes, but $X$ and $Y$ have different chromatic numbers. To see this, we show that some deformations of graphs do not change the $\mathbb{Z}_2$-simple homotopy types of box complexes.
Characterize graphs with rainbow connection number $m-2$ and $m-3$
A path in an edge-colored graph, where adjacent edges may be colored the same, is a rainbow path if no two edges of it are colored the same. A nontrivial connected graph $G$ is rainbow connected if there is a rainbow path connecting any two vertices, and the rainbow connection number of $G$, denoted by $rc(G)$, is the minimum number of colors that are needed in order to make $G$ rainbow connected. Chartrand et al. obtained that $G$ is a tree if and only if $rc(G)=m$, and it is easy to see that $G$ is not a tree if and only if $rc(G)\leq m-2$, where $m$ is the number of edge of $G$. So there is an interesting problem: Characterize the graphs $G$ with $rc(G)=m-2$. In this paper, we settle down this problem. Furthermore, we also characterize the graphs $G$ with $rc(G)=m-3$.
Graphs with $4$-rainbow index $3$ and $n-1$
Let $G$ be a nontrivial connected graph with an edge-coloring $c:E(G)\rightarrow \{1,2,\ldots,q\},$ $q\in \mathbb{N}$, where adjacent edges may be colored the same. A tree $T$ in $G$ is called a $rainbow~tree$ if no two edges of $T$ receive the same color. For a vertex set $S\subseteq V(G)$, a tree that connects $S$ in $G$ is called an {\it $S$-tree}. The minimum number of colors that are needed in an edge-coloring of $G$ such that there is a rainbow $S$-tree for every $k$-set $S$ of $V(G)$ is called the {\it $k$-rainbow index} of $G$, denoted by $rx_k(G)$. Notice that an lower bound and an upper bound of the $k$-rainbow index of a graph with order $n$ is $k-1$ and $n-1$, respectively. Chartrand et al. got that the $k$-rainbow index of a tree with order $n$ is $n-1$ and the $k$-rainbow index of a unicyclic graph with order $n$ is $n-1$ or $n-2$. Li and Sun raised the open problem of characterizing the graphs of order $n$ with $rx_k(G)=n-1$ for $k\geq 3$. In early papers we characterized the graphs of order $n$ with 3-rainbow index 2 and $n-1$. In this paper, we focus on $k=4$, and characterize the graphs of order $n$ with 4-rainbow index 3 and $n-1$, respectively.
Forests and Trees among Gallai Graphs
Published
• View Publication
• BIB
The Gallai graph $Γ(G)$ of a graph $G$ has the edges of $G$ as its vertices and two distinct vertices $e$ and $f$ of $Γ(G)$ are adjacent in $Γ(G)$ if the edges $e$ and $f$ of $G$ are adjacent in $G$ but do not span a triangle in $G$. Clearly, $Γ(G)$ is a subgraph of the line graph of $G$. While line graphs can be recognized efficiently the complexity of recognizing Gallai graphs is unknown. In the present paper we characterize those graphs whose Gallai graphs are forests or trees, respectively.
Longest Paths in Circular Arc Graphs
Published
• View Publication
• BIB
As observed by Rautenbach and Sereni (arXiv:1302.5503) there is a gap in the proof of the theorem of Balister et al. (Longest paths in circular arc graphs, Combin. Probab. Comput., 13, No. 3, 311-317 (2004)), which states that the intersection of all longest paths in a connected circular arc graph is nonempty. In this paper we close this gap.
On homogeneous planar functions
Published
• View Publication
• BIB
Let $p$ be an odd prime and $\F_q$ be the finite field with $q=p^n$ elements. A planar function $f:\F_q\rightarrow\F_q$ is called homogenous if $f(λx)=λ^df(x)$ for all $λ\in\F_p$ and $x\in\F_q$, where $d$ is some fixed positive integer. We characterize $x^2$ as the unique homogenous planar function over $\F_{p^2}$ up to equivalence.
The purity of set-systems related to Grassmann necklaces
Published
• View Publication
• BIB
Studying the problem of quasicommuting quantum minors, Leclerc and Zelevinsky introduced in 1998 the notion of weakly separated sets in $[n]:=\{1,\ldots, n\}$. Moreover, they raised several conjectures on the purity for this symmetric relation, in particular, on the Boolean cube $2^{[n]}$. In 0909.1423[math.CO] we proved these purity conjectures for the Boolean cube $2^{[n]}$, the discrete Grassmanian ${[n]\choose r}$, and some other set-systems. Oh, Postnikov, and Speyer in arxiv:1109.4434 proved the purity for weakly separated collections inside a positroid which contain a Grassmann necklace $\mathcal N$ defining the positroid. We denote such set-systems as $\mathcal{I}nt(\mathcal N )$. In this paper we give an alternative (and shorter) proof of the purity of $\mathcal{I}nt(\mathcal N )$ and present a stronger result. More precisely, we introduce a set-system $\mathcal{O}ut(\mathcal N )$ complementary to $\mathcal{I}nt(\mathcal N )$, in a sense, and establish its purity. Moreover, we prove (Theorem~3) that these two set-systems are weakly separated from each other. As a consequence of Theorem~3, we obtain the purity of set-systems related to pairs of weakly separated necklaces (Proposition 4 and Corollaries 1 and 2). Finally, we raise a conjecture on the purity of both the interior and exterior of a generalized necklace.
A determinant representation for generalized ballot and Fuss-Catalan numbers
In this note we introduce a determinant and then give its evaluating formula. The determinant turns out to be a generalization of the well-known ballot and Fuss-Catalan numbers, which is believed to be new. The evaluating formula is proved by showing that the determinant coincides with the number of lattice paths with (1,0), (0,1)-steps in the plane that stay below a boundary line of rational slope.
On The Center Sets and Center Numbers of Some Graph Classes
For a set $S$ of vertices and the vertex $v$ in a connected graph $G$, $\displaystyle\max_{x \in S}d(x,v)$ is called the $S$-eccentricity of $v$ in $G$. The set of vertices with minimum $S$-eccentricity is called the $S$-center of $G$. Any set $A$ of vertices of $G$ such that $A$ is an $S$-center for some set $S$ of vertices of $G$ is called a center set. We identify the center sets of certain classes of graphs namely, Block graphs, $K_{m,n}$, $K_n-e$, wheel graphs, odd cycles and symmetric even graphs and enumerate them for many of these graph classes. We also introduce the concept of center number which is defined as the number of distinct center sets of a graph and determine the center number of some graph classes.
A Simple Sweep Line Algorithm for Counting Triangulations and Pseudo-triangulations
Let $P\subset\mathbb{R}^{2}$ be a set of $n$ points. In this paper we show two new algorithms, one to compute the number of triangulations of $P$, and one to compute the number of pseudo-triangulations of $P$. We show that our algorithms run in time $O^{*}(t(P))$ and $O^{*}(pt(P))$ respectively, where $t(P)$ and $pt(P)$ are the largest number of triangulation paths (T-paths) and pseudo-triangulations paths (PT-paths), respectively, that the algorithms encounter during their execution. Moreover, we show that $t(P) = O^{*}(9^{n})$, which is the first non-trivial bound on $t(P)$ to be known.
While there already are algorithms that count triangulations in $O^{*}\left(2^n\right)$, and $O^{*}\left(3.1414^{n}\right)$, there are sets of points where the number of T-paths is $O(2^{n})$. In such cases the algorithm herein presented could potentially be faster. Furthermore, it is not clear whether the already-known algorithms can be modified to count pseudo-triangulations so that their running times remain $O^{*}(c^n)$, for some small constant $c\in\mathbb{R}$. Therefore, for counting pseudo-triangulations (and possibly other similar structures) our approach seems better.