Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Harmonic functions on the lattice: Absolute monotonicity and propagation of smallness
Published in Duke Math. J. 164, no. 13 (2015), 2577-2595
• View Publication
• BIB
In this work we establish a connection between two classical notions, unrelated so far: Harmonic functions on the one hand and absolutely monotonic functions on the other hand. We use this to prove convexity type and propagation of smallness results for harmonic functions on the lattice.
A Simple Proof of the Cayley Formula using Random Graphs
We present a nice result on the probability of a cycle occurring in a randomly generated graph. We then provide some extensions and applications, including the proof of the famous Cayley formula, which states that the number of labeled trees on $n$ vertices is $n^{n-2}.$
Trees and co-trees with constant maximum degree in planar 3-connected graphs
Published
• View Publication
• BIB
This paper considers the conjecture by Grünbaum that every planar 3-connected graph has a spanning tree $T$ such that both $T$ and its co-tree have maximum degree at most 3. Here, the co-tree of $T$ is the spanning tree of the dual obtained by taking the duals of the non-tree edges. While Grünbaum's conjecture remains open, we show that every planar 3-connected graph has a spanning tree $T$ such that both $T$ and its co-tree have maximum degree at most 5. It can be found in linear time.
On transversals of quasialgebraic families of sets
Published in Journal of Combinatorial Theory, Series A Volume 125, July 2014, Pages 194-213
• View Publication
• BIB
The main results of this paper are generalizations some classical theorems about transversals for families of finite sets to some cases of families of infinite sets.
An extension of Motzkin-Straus Theorem to non-uniform hypergraphs and its applications
Published
• View Publication
• BIB
In 1965, Motzkin and Straus established a remarkable connection between the order of a maximum clique and the Lagrangian of a graph and provided a new proof of Turán's theorem using the connection. The connection of Lagrangians and Turán densities can be also used to prove the fundamental theorem of Erdös-Stone-Simonovits on Turán densities of graphs. Very recently, the study of Turán densities of non-uniform hypergraphs have been motivated by extremal poset problems. In this paper, we attempt to explore the applications of Lagrangian method in determining Turán densities of non-uniform hypergraphs. We first give a definition of the Lagrangian of a non-uniform hypergraph, then give an extension of Motzkin-Straus theorem to non-uniform hypergraphs whose edges contain 1 or 2 vertices. Applying it, we give an extension of Erdös-Stone-Simonovits theorem to non-uniform hypergraphs whose edges contain 1 or 2 vertices.
The Identifying Code problem on $P_4$-tidy graphs
In this paper we first analyze the behaviour of the identifying code number under union and join operations in graphs. This study forced us to analyze three new parameters related to identifying codes, dominating sets and total dominating sets of the complementary graph. We obtain closed formulas for these parameters on spider and quasi-spider graphs. These results easily derive in a linear dynamic programming-based algorithm for the Identifying Code problem for $P_4$-tidy graphs.
Crossing numbers and combinatorial characterization of monotone drawings of $K_n$
Published in Discrete and Computational Geometry 53 (2015), Issue 1, 107-143
• View Publication
• BIB
In 1958, Hill conjectured that the minimum number of crossings in a drawing of $K_n$ is exactly $Z(n) = \frac{1}{4} \lfloor\frac{n}{2}\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor\frac{n-2}{2}\right\rfloor\left\lfloor\frac{n-3}{2}\right\rfloor$. Generalizing the result by Ábrego et al. for 2-page book drawings, we prove this conjecture for plane drawings in which edges are represented by $x$-monotone curves. In fact, our proof shows that the conjecture remains true for $x$-monotone drawings of $K_n$ in which adjacent edges may cross an even number of times, and instead of the crossing number we count the pairs of edges which cross an odd number of times. We further discuss a generalization of this result to shellable drawings, a notion introduced by Ábrego et al. We also give a combinatorial characterization of several classes of $x$-monotone drawings of complete graphs using a small set of forbidden configurations. For a similar local characterization of shellable drawings, we generalize Carathéodory's theorem to simple drawings of complete graphs.
Characterizing 2-crossing-critical graphs
Published
• View Publication
• BIB
It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connected, simple 2-crossing-critical graphs. In this work, we: (i) determine all the 3-connected 2-crossing-critical graphs that contain a subdivision of the Möbius Ladder $V_{10}$; (ii) show how to obtain all the not 3-connected 2-crossing-critical graphs from the 3-connected ones; (iii) show that there are only finitely many 3-connected 2-crossing-critical graphs not containing a subdivision of $V_{10}$; and (iv) determine all the 3-connected 2-crossing-critical graphs that do not contain a subdivision of $V_{8}$.
Positivity of rational functions and their diagonals
Published in J. Approximation Theory 195 (2015), 57--69
• View Publication
• BIB
The problem to decide whether a given rational function in several variables is positive, in the sense that all its Taylor coefficients are positive, goes back to Szegő as well as Askey and Gasper, who inspired more recent work. It is well known that the diagonal coefficients of rational functions are $D$-finite. This note is motivated by the observation that, for several of the rational functions whose positivity has received special attention, the diagonal terms in fact have arithmetic significance and arise from differential equations that have modular parametrization. In each of these cases, this allows us to conclude that the diagonal is positive.
Further inspired by a result of Gillis, Reznick and Zeilberger, we investigate the relation between positivity of a rational function and the positivity of its diagonal.
Algebraic matroids with graph symmetry
This paper studies the properties of two kinds of matroids: (a) algebraic matroids and (b) finite and infinite matroids whose ground set have some canonical symmetry, for example row and column symmetry and transposition symmetry.
For (a) algebraic matroids, we expose cryptomorphisms making them accessible to techniques from commutative algebra. This allows us to introduce for each circuit in an algebraic matroid an invariant called circuit polynomial, generalizing the minimal poly- nomial in classical Galois theory, and studying the matroid structure with multivariate methods.
For (b) matroids with symmetries we introduce combinatorial invariants capturing structural properties of the rank function and its limit behavior, and obtain proofs which are purely combinatorial and do not assume algebraicity of the matroid; these imply and generalize known results in some specific cases where the matroid is also algebraic. These results are motivated by, and readily applicable to framework rigidity, low-rank matrix completion and determinantal varieties, which lie in the intersection of (a) and (b) where additional results can be derived. We study the corresponding matroids and their associated invariants, and for selected cases, we characterize the matroidal structure and the circuit polynomials completely.
Some best approximation formulas and inequalities for Wallis ratio
Published in Applied Mathematics and Computation 253 (2015), 363--368
• View Publication
• BIB
In the paper, the authors establish some best approximation formulas and inequalities for Wallis ratio. These formulas and inequalities improve an approximation formula and a double inequality for Wallis ratio recently presented in ``S. Guo, J.-G. Xu, and F. Qi, \textit{Some exact constants for the approximation of the quantity in the Wallis' formula}, J. Inequal. Appl. 2013, \textbf{2013}:67, 7 pages; Available online at \url{http://dx.doi.org/10.1186/1029-242X-2013-67}''.
Thoughts on Barnette's Conjecture
We prove a new sufficient condition for a cubic 3-connected planar graph to be Hamiltonian. This condition is most easily described as a property of the dual graph. Let $G$ be a planar triangulation. Then the dual $G^*$ is a cubic 3-connected planar graph, and $G^*$ is bipartite if and only if $G$ is Eulerian. We prove that if the vertices of $G$ are (improperly) coloured blue and red, such that the blue vertices cover the faces of $G$, there is no blue cycle, and every red cycle contains a vertex of degree at most 4, then $G^*$ is Hamiltonian.
This result implies the following special case of Barnette's Conjecture: if $G$ is an Eulerian planar triangulation, whose vertices are properly coloured blue, red and green, such that every red-green cycle contains a vertex of degree 4, then $G^*$ is Hamiltonian. Our final result highlights the limitations of using a proper colouring of $G$ as a starting point for proving Barnette's Conjecture. We also explain related results on Barnette's Conjecture that were obtained by Kelmans and for which detailed self-contained proofs have not been published.
Tables of parameters of symmetric configurations $v_{k}$
Tables of the currently known parameters of symmetric configurations are given. Formulas for parameters of the known infinite families of symmetric configurations are presented as well. The results of the recent paper [18] are used. This work can be viewed as an appendix to [18], in the sense that the tables given here cover a much larger set of parameters.
Möbius Polynomials
Published in Mathematics Magazine 85 (2012), no. 5, 376-383
• View Publication
• BIB
We introduce the Möbius polynomial $ M_n(x) = \sum_{d|n} μ\left( \frac nd \right) x^d $, which gives the number of aperiodic bracelets of length $n$ with $x$ possible types of gems, and therefore satisfies $M_n(x) \equiv 0$ (mod $n$) for all $x \in \mathbb Z$. We derive some key properties, analyze graphs in the complex plane, and then apply Möbius polynomials combinatorially to juggling patterns, irreducible polynomials over finite fields, and Euler's totient theorem.
Cyclotomy of Weil Sums of Binomials
Published
• View Publication
• BIB
The Weil sum $W_{K,d}(a)=\sum_{x \in K} ψ(x^d + a x)$ where $K$ is a finite field, $ψ$ is an additive character of $K$, $d$ is coprime to $|K^\times|$, and $a \in K^\times$ arises often in number-theoretic calculations, and in applications to finite geometry, cryptography, digital sequence design, and coding theory. Researchers are especially interested in the case where $W_{K,d}(a)$ assumes three distinct values as $a$ runs through $K^\times$. A Galois-theoretic approach, combined with $p$-divisibility results on Gauss sums, is used here to prove a variety of new results that constrain which fields $K$ and exponents $d$ support three-valued Weil sums, and restrict the values that such Weil sums may assume.
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$.