Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Weakly closed graphs and F-purity of binomial edge ideals
Published
• View Publication
• BIB
Herzog-Hibi-Hreindóttir-Kahle-Rauh introduced the class of closed graph and they proved that the binomial edge ideal $J(G)$ of a graph $G$ has quadratic Gröbner bases if $G$ is closed. In this paper, we introduce the class of weakly closed graph as a generalization of the closed graph and prove that the quotient ring $S/J(G)$ is $F$-pure if $G$ is weakly closed. This fact is a generalization of Ohtani's theorem.
Unbiased complex Hadamard matrices and bases
Published in Cryptography and Communications 2(2): 199-209 (2010)
• View Publication
• BIB
We introduce mutually unbiased complex Hadamard (MUCH) matrices and show that the number of MUCH matrices of order 2n, n odd, is at most 2 and the bound is attained for n = 1,5,9. Furthermore, we prove that certain pairs of mutually unbiased complex Hadamard matrices of order m can be used to construct pairs of unbiased real Hadamard matrices of order 2m. As a consequence we generate a new pair of unbiased real Hadamard matrices of order 36.
The time of bootstrap percolation with dense initial sets for all thresholds
Published
• View Publication
• BIB
We study the percolation time of the $r$-neighbour bootstrap percolation model on the discrete torus $(\Z/n\Z)^d$. For $t$ at most a polylog function of $n$ and initial infection probabilities within certain ranges depending on $t$, we prove that the percolation time of a random subset of the torus is exactly equal to $t$ with high probability as $n$ tends to infinity. Our proof rests crucially on three new extremal theorems that together establish an almost complete understanding of the geometric behaviour of the $r$-neighbour bootstrap process in the dense setting. The special case $d-r=0$ of our result was proved recently by Bollobás, Holmgren, Smith and Uzzell.
Cubic Augmentation of Planar Graphs
Published
• View Publication
• BIB
In this paper we study the problem of augmenting a planar graph such that it becomes 3-regular and remains planar. We show that it is NP-hard to decide whether such an augmentation exists. On the other hand, we give an efficient algorithm for the variant of the problem where the input graph has a fixed planar (topological) embedding that has to be preserved by the augmentation. We further generalize this algorithm to test efficiently whether a 3-regular planar augmentation exists that additionally makes the input graph connected or biconnected. If the input graph should become even triconnected, we show that the existence of a 3-regular planar augmentation is again NP-hard to decide.
There are only two nonobtuse binary triangulations of the unit $n$-cube
Published
• View Publication
• BIB
Triangulations of the cube into a minimal number of simplices without additional vertices have been studied by several authors over the past decades. For $3\leq n\leq 7$ this so-called simplexity of the unit cube $I^n$ is now known to be $5,16,67,308,1493$, respectively. In this paper, we study triangulations of $I^n$ with simplices that only have nonobtuse dihedral angles. A trivial example is the standard triangulation into $n!$ simplices. In this paper we show that, surprisingly, for each $n\geq 3$ there is essentially only one other nonobtuse triangulation of $I^n$, and give its explicit construction. The number of nonobtuse simplices in this triangulation is equal to the smallest integer larger than $n!({\rm e}-2)$.
Two sufficient conditions for the existence of Hamilton cycles in graphs
Let $G$ be a graph on $n\geq 3$ vertices, claw the bipartite graph $K_{1,3}$, and $Z_i$ the graph obtained from a triangle by attaching a path of length $i$ to its one vertex. $G$ is called 1-heavy if at least one end vertex of each induced claw of $G$ has degree at least $n/2$, and claw-\emph{o}-heavy if each induced claw of it has a pair of end vertices with degree sum at least $n$. In this paper we prove two results: (1) Every 2-connected claw-$o$-heavy graph $G$ is Hamiltonian if every pair of vertices $u,v$ in a subgraph $H\cong Z_1$ contained in an induced subgraph $Z_2$ of $G$ with $d_{H}(u,v)=2$ satisfies one of the following conditions: ($a$) $|N(u)\cap N(v)|\geq 2$; ($b$) $\max(d(u),d(v))\geq n/2$. (2) Every 3-connected 1-heavy graph $G$ is Hamiltonian if every pair of vertices $u,v$ in an induced subgraph $H\cong Z_2$ of $G$ with $d_{H}(u,v)=2$ satisfies one of the following conditions: ($a$) $|N(u)\cap N(v)|\geq 2$; ($b$) $\max(d(u),d(v))\geq n/2$. Our results improve or extend previous theorems of Broersma et al., Chen et al., Fan, Goodman & Hedetniemi, Gould & Jacobson and Shi on the existence of Hamilton cycles in graphs.
A proof of the lonely runner conjecture
In this work we tried to prove the lonely runner conjecture also known as the view obstruction problem.
Some extremal properties of the Fibonacci word
Published
• View Publication
• BIB
We prove that the Fibonacci word $f$ satisfies among all characteristic Sturmian words, three interesting extremal properties. The first concerns the length and the second the minimal period of its palindromic prefixes. Each of these two properties characterizes $f$ up to a renaming of its letters. A third property concerns the number of occurrences of the letter $b$ in its palindromic prefixes. It characterizes uniquely $f$ among all characteristic Sturmian words having the prefix $abaa$.
How Many Potatoes are in a Mesh?
Published
• View Publication
• BIB
We consider the combinatorial question of how many convex polygons can be made by using the edges taken from a fixed triangulation of n vertices. For general triangulations, there can be exponentially many: we show a construction that has Omega(1.5028^n) convex polygons, and prove an O(1.62^n) upper bound in the worst case. If the triangulation is fat (every triangle has its angles lower-bounded by a constant delta>0), then there can be only polynomially many.
We also consider the problem of counting convex outerplanar polygons (i.e., they contain no vertices of the triangulation in their interiors) in the same triangulations. In this setting, we get the same exponential bounds in general triangulations, and lower polynomial bounds in fat triangulations. If the triangulation is furthermore compact (the ratio between the longest and shortest distance between any two vertices is bounded), the bounds drop further to Theta (n^2) for general convex outerplanar polygons, and Theta (n) for fat convex outerplanar polygons.
Universal geometric cluster algebras
Published
• View Publication
• BIB
We consider, for each exchange matrix B, a category of geometric cluster algebras over B and coefficient specializations between the cluster algebras. The category also depends on an underlying ring R, usually the integers, rationals, or reals. We broaden the definition of geometric cluster algebras slightly over the usual definition and adjust the definition of coefficient specializations accordingly. If the broader category admits a universal object, the universal object is called the cluster algebra over B with universal geometric coefficients, or the universal geometric cluster algebra over B. Constructing universal coefficients is equivalent to finding an R-basis for B (a "mutation-linear" analog of the usual linear-algebraic notion of a basis). Polyhedral geometry plays a key role, through the mutation fan F_B, which we suspect to be an important object beyond its role in constructing universal geometric coefficients. We make the connection between F_B and g-vectors. We construct universal geometric coefficients in rank 2 and in finite type and discuss the construction in affine type.
Ising Model Observables and Non-Backtracking Walks
Published in J. Math. Phys. 55, 083304 (2014)
• View Publication
• BIB
This paper presents an alternative proof of the connection between the partition function of the Ising model on a finite graph $G$ and the set of non-backtracking walks on $G$. The techniques used also give formulas for spin-spin correlation functions in terms of non-backtracking walks. The main tools used are Viennot's theory of heaps of pieces and turning numbers on surfaces.
Binary equality sets are generated by two words
Published in Journal of Algebra 259 (2003), 1-42
• View Publication
• BIB
We show that the equality language of two non-periodic binary morphisms is generated by at most two words. If its rank is two, then the generators start (and end) with different letters.
This in particular implies that any binary language has a test set of cardinality at most two.
Universal geometric cluster algebras from surfaces
Published
• View Publication
• BIB
A universal geometric cluster algebra over an exchange matrix B is a universal object in the category of geometric cluster algebras over B related by coefficient specializations. (Following an earlier paper on universal geometric cluster algebras, we broaden the definition of geometric cluster algebras relative to the definition originally given Fomin and Zelevinsky.) The universal objects are closely related to a fan F_B called the mutation fan for B. In this paper, we consider universal geometric cluster algebras and mutation fans for cluster algebras arising from marked surfaces. We identify two crucial properties of marked surfaces: The Curve Separation Property and the Null Tangle Property. The latter property implies the former. We prove the Curve Separation Property for all marked surfaces except once-punctured surfaces without boundary components, and as a result we obtain a construction of the rational part of F_B for these surfaces. We prove the Null Tangle Property for a smaller family of surfaces, and use it to construct universal geometric coefficients for these surfaces.
Edge separators for quasi-binary trees
One wishes to remove $k-1$ edges of a vertex-weighted tree $T$ such that the weights of the $k$ induced connected components are approximately the same. How well can one do it ? In this paper, we investigate such $k$-separator for {\em quasi-binary} trees. We show that, under certain conditions on the total weight of the tree, a particular $k$-separator can be constructed such that the smallest (respectively the largest) weighted component is lower (respectively upper) bounded. Examples showing optimality for the lower bound are also given.
Matroid base polytope decomposition II : sequence of hyperplane splits
Published
• View Publication
• BIB
This is a continuation of the early paper concerning matroid base polytope decomposition. Here, we will present sufficient conditions on $M$ so its base matroid polytope $P(M)$ has a {\em sequence} of hyperplane splits. The latter yields to decompositions of $P(M)$ with two or more pieces for infinitely many matroids $M$. We also present necessary conditions on the Euclidean representation of rank three matroids $M$ for the existences of decompositions of $P(M)$ into $2$ or $3$ pieces. Finally, we prove that $P(M_1 \oplus M_2)$ has a sequence of hyperplane splits if either $P(M_1)$ or $P(M_2)$ also has a sequence of hyperplane splits.
Exact Bounds for Some Hypergraph Saturation Problems
Published
• View Publication
• BIB
Let W_n(p,q) denote the minimum number of edges in an n x n bipartite graph G on vertex sets X,Y that satisfies the following condition; one can add the edges between X and Y that do not belong to G one after the other so that whenever a new edge is added, a new copy of K_{p,q} is created. The problem of bounding W_n(p,q), and its natural hypergraph generalization, was introduced by Balogh, Bollobás, Morris and Riordan. Their main result, specialized to graphs, used algebraic methods to determine W_n(1,q).
Our main results in this paper give exact bounds for W_n(p,q), its hypergraph analogue, as well as for a new variant of Bollobás's Two Families theorem. In particular, we completely determine W_n(p,q), showing that if 1 <= p <= q <= n then
W_n(p,q) = n^2 - (n-p+1)^2 + (q-p)^2.
Our proof applies a reduction to a multi-partite version of the Two Families theorem obtained by Alon. While the reduction is combinatorial, the main idea behind it is algebraic.
Coloring graphs with dense neighborhoods
Published
• View Publication
• BIB
It is shown that any graph with maximum degree $Δ$ in which the average degree of the induced subgraph on the set of all neighbors of any vertex exceeds $\frac{6k^2}{6k^2 + 1}Δ+ k + 6$ is either $(Δ- k)$-colorable or contains a clique on more than $Δ- 2k$ vertices. In the $k=1$ case we improve the bound on the average degree to $\frac23Δ+ 4$ and the bound on the clique number to $Δ-1$. As corollaries, we show that every graph satisfies $χ\leq \max\set{ω, Δ- 1, 4α}$ and every graph satisfies $χ\leq \max\set{ω, Δ- 1, \ceil{\frac{15 + \sqrt{48n + 73}}{4}}}$.
Basis problem for analytic multiple gaps
A k-gap is a finite k-sequence of pairwise disjoint monotone families of infinite subsets of N mixed in such a way that we cannot find a partition of N such that each family is trival on one piece of the partition. We prove that, relative to the comparison given by restriction to infinite subsets of N, for every positive integer k there is a finite basis for the class of all analytic k-gaps . We also build the fine structure theory of analytic k-gaps and give some applications.
The content of Chapter 1 of this manuscript have been published as:
A. Avilés, S. Todorcevic, Finite basis for analytic multiple gaps, Publ. Math. IHES. 121 (2015), 57-79.
The content of Chapter 2 (except some technical results from 2.5 and 2.6) and Section 3.1, largely revised and improved, has ben published as:
A. Avilés, S. Todorcevic, Types in the n-adic tree and minimal analytic gaps, Adv. Math. 292 (2016), 558-600.
The content of Sections 3.4, 4.1 and 4.3 have been published as:
A. Avilés, S. Todorcevic, Isolating subgaps of a multiple gap, Monatsh. Math. 186 (2018), 373--392.
The rest of contents may appear elsewhere.
The Maximum Traveling Salesman Problem with Submodular Rewards
Published
• View Publication
• BIB
In this paper, we look at the problem of finding the tour of maximum reward on an undirected graph where the reward is a submodular function, that has a curvature of $κ$, of the edges in the tour. This problem is known to be NP-hard. We analyze two simple algorithms for finding an approximate solution. Both algorithms require $O(|V|^3)$ oracle calls to the submodular function. The approximation factors are shown to be $\frac{1}{2+κ}$ and $\max\set{\frac{2}{3(2+κ)},2/3(1-κ)}$, respectively; so the second method has better bounds for low values of $κ$. We also look at how these algorithms perform for a directed graph and investigate a method to consider edge costs in addition to rewards. The problem has direct applications in monitoring an environment using autonomous mobile sensors where the sensing reward depends on the path taken. We provide simulation results to empirically evaluate the performance of the algorithms.
On the spectral moment of graphs with given clique number
Published
• View Publication
• BIB
Let $\mathscr{L}_{n,t}$ be the set of all $n$-vertex connected graphs with clique number $t$\,($2\leq t\leq n)$. For $n$-vertex connected graphs with given clique number, lexicographic ordering by spectral moments ($S$-order) is discussed in this paper. The first $\sum_{i=1}^{\lfloor\frac{n-t-1}{3}\rfloor}(n-t-3i)+1$ graphs with $3\le t\le n-4$, and the last few graphs, in the $S$-order, among $\mathscr{L}_{n,t}$ are characterized. In addition, all graphs in $\mathscr{L}_{n,n}\bigcup\mathscr{L}_{n,n-1}$ have an $S$-order; for the cases $t=n-2$ and $t=n-3$ the first three and the first seven graphs in the set $\mathscr{L}_{n,t}$ are characterized, respectively.