Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Real Zeros of SONC Polynomials
Published
• View Publication
• BIB
We provide a complete and explicit characterization of the real zeros of sums of nonnegative circuit (SONC) polynomials, a recent certificate for nonnegative polynomials independent of sums of squares. As a consequence, we derive an exact determination of the number $B''_{n+1,2d}$ for all $n$ and $d$. $B''_{n+1,2d}$ is defined to be the supremum of the number of zeros of all homogeneous $n+1$-variate polynomials of degree $2d$ in the SONC cone. The analogously defined numbers $B_{n+1,2d}$ and $B'_{n+1,2d}$ for the nonnegativity cone and the cone of sums of squares were first introduced and studied by Choi, Lam, and Reznick. In strong contrast to our case, the determination of both $B_{n+1,2d}$ and $B'_{n+1,2d}$ for general $n$ and $d$ is still an open question.
Moreover, we initiate the study of the exposed faces of the SONC cone. In particular, we explicitly consider small dimensions and analyze dimension bounds on the exposed faces. When comparing the exposed faces of the SONC cone with those of the nonnegativity cone we observe dimensional differences between them.
$g$-vectors of manifolds with boundary
Published
• View Publication
• BIB
We extend several $g$-type theorems for connected, orientable homology manifolds without boundary to manifolds with boundary. As applications of these results we obtain Kühnel-type bounds on the Betti numbers as well as on certain weighted sums of Betti numbers of manifolds with boundary. Our main tool is the completion $\hatΔ$ of a manifold with boundary $Δ$; it is obtained from $Δ$ by coning off the boundary of $Δ$ with a single new vertex. We show that despite the fact that $\hatΔ$ has a singular vertex, its Stanley--Reisner ring shares a few properties with the Stanley--Reisner rings of homology spheres. We close with a discussion of a connection between three lower bound theorems for manifolds, PL-handle decompositions, and surgery.
On $d$-Fibonacci digraphs
The $d$-Fibonacci digraphs $F(d,k)$, introduced here, have the number of vertices following generalized Fibonacci-like sequences. They can be defined both as digraphs on alphabets and as iterated line digraphs. Here we study some of their nice properties. For instance, $F(2,k)$ has diameter $d+k-2$ and is semi-pancyclic, that is, it has a cycle of every length between 1 and $\ell$, with $\ell\in\{2k-2,2k-1\}$. Moreover, it turns out that several other numbers of $F(d,k)$ (of closed $l$-walks, classes of vertices, etc.) also follow the same linear recurrences as the numbers of vertices of the $d$-Fibonacci digraphs.
Some regular signed graphs with only two distinct eigenvalues
Published
• View Publication
• BIB
We consider signed graphs, i.e, graphs with positive or negative signs on their edges. We determine the admissible parameters for the $\{5,6,\ldots,10\}$-regular signed graphs which have only two distinct eigenvalues. For each obtained parameter we provide some examples of signed graphs having two distinct eigenvalues. It turns out to construction of infinitely many signed graphs of each mentioned valency with only two distinct eigenvalues. We prove that for any $k\geq 5$ there are infinitely many connected signed $k$-regular graphs having maximum eigenvalue $\sqrt{k}$. Moreover for each $m\geq 4$ we construct a signed $8$-regular graph with spectrum $[4^m,-2^{2m}]$. These yield infinite family of $k$-regular Ramanujan graphs, for each $k$.
Concerning Some Properties of Signed Graphs Associated With Specific Graphs
Two signed graphs are called switching isomorphic if one of them is isomorphic to a switching equivalent of the other. To determine the number of switching non-isomorphic signed graphs on a specific graph, we will establish a method based on the action of its automorphism group. As an application and computational results, we classify all the switching non-isomorphic signed graphs arising from the complete graph K5 and the generalized Petersen graph GP(7; 2). Moreover, some results on the automorphism groups of the target signed graphs are obtained.
Some non-sign-symmetric signed graphs with symmetric spectrum
We construct infinitely many signed graphs having symmetric spectrum, by using the NEPS and rooted product of signed graphs. We also present a method for constructing large cospectral signed graphs. Although the obtained family contains only a minority of signed graphs, it strengthen the belief that the signed graphs with symmetric spectrum are deeper than bipartite graphs, i.e the unsigned graphs with symmetric spectrum.
Topological bounds for graph representations over any field
Published
• View Publication
• BIB
Haviv ({\em European Journal of Combinatorics}, 2019) has recently proved that some topological lower bounds on the chromatic number of graphs are also lower bounds on their orthogonality dimension over $\mathbb{R}$. We show that this holds actually for all known topological lower bounds and all fields. We also improve the topological bound he obtained for the minrank parameter over $\mathbb{R}$ -- an important graph invariant from coding theory -- and show that this bound is actually valid for all fields as well. The notion of independent representation over a matroid is introduced and used in a general theorem having these results as corollaries. Related complexity results are also discussed.
The Generalized Matcher Game
Published
• View Publication
• BIB
Recently the matcher game was introduced. In this game, two players create a maximal matching by one player repeatedly choosing a vertex and the other player choosing a $K_2$ containing that vertex. One player tries to minimize the result and the other to maximize the result.In this paper we propose a generalization of this game where $K_2$ is replaced by a general graph $F$. We focus here on the case of $F=P_3$. We provide some general results and lower bounds for the game, investigate the graphs where the game ends with all vertices taken, and calculate the value for some specific families of graphs.
Asymptotics for Shamir's Problem
Published
• View Publication
• BIB
For fixed $r\geq 3$ and $n$ divisible by $r$, let ${\mathcal H}={\mathcal H}^r_{n,M}$ be the random $M$-edge $r$-graph on $V=\{1,\ldots ,n\}$; that is, ${\mathcal H}$ is chosen uniformly from the $M$-subsets of ${\mathcal K}:={V \choose r}$ ($:= \{\mbox{$r$-subsets of $V$}\}$). Shamir's Problem (circa 1980) asks, roughly, for what $M=M(n)$ is ${\mathcal H}$ likely to contain a perfect matching (that is, $n/r$ disjoint $r$-sets)?
In 2008 Johansson, Vu and the author showed that this is true for $M>C_rn\log n$. The present paper has two purposes. First, it establishes the asymptotically correct version of the 2008 result:
Theorem 1. For fixed $ε>0$ and $M> (1+ε)(n/r)\log n$, $P({\mathcal H} ~\mbox{contains a perfect matching})\rightarrow 1 $ as $n\rightarrow\infty$.
Second, it begins a proof of the definitive ``hitting time" statement:
Theorem 2. If $A_1, \ldots ~$ is a uniform permutation of ${\mathcal K}$, ${\mathcal H}_t=\{A_1,\ldots ,A_t\}$, and $T=\min\{t:A_1\cup \cdots\cup A_t=V\},$ then $P({\mathcal H}_T ~\mbox{contains a perfect matching})\rightarrow 1 $ as $n\rightarrow\infty$.
It is shown here that Theorem 2 follows from a conditional version of Theorem 1 that will be proved elsewhere. The key ideas in that proof are similar to those for Theorem 1, but the argument is a longer story, and it has seemed best to give the present separate proof of Theorem 1, in which those ideas may appear more clearly.
A Primal Decomposition Algorithm for the Two-dimensional Bin Packing Problem
The Two-dimensional Bin Packing Problem calls for packing a set of rectangular items into a minimal set of larger rectangular bins. Items must be packed with their edges parallel to the borders of the bins, cannot be rotated and cannot overlap among them. The problem is of interest because it models many real-world applications, including production, warehouse management and transportation. It is, unfortunately, very difficult, and instances with just 40 items are unsolved to proven optimality, despite many attempts, since the 1990s. In this paper, we solve the problem with a combinatorial Benders decomposition that is based on a simple model in which the two-dimensional items and bins are just represented by their areas, and infeasible packings are imposed by means of exponentially-many no-good cuts. The basic decomposition scheme is quite naive, but we enrich it with a number of preprocessing techniques, valid inequalities, lower bounding methods, and enhanced algorithms to produce the strongest possible cuts. The resulting algorithm behaved very well on the benchmark sets of instances, improving on average upon previous algorithms from the literature and solving for the first time a number of open instances.
Ulrich elements in normal simplicial affine semigroups
Published in Pacific J. Math. 309 (2020) 353-380
• View Publication
• BIB
Let $H\subseteq \mathbb{N}^d$ be a normal affine semigroup, $R=K[H]$ its semigroup ring over the field $K$ and $ω_R$ its canonical module. The Ulrich elements for $H$ are those $h$ in $H$ such that for the multiplication map by $\mathbf{x}^h$ from $R$ into $ω_R$, the cokernel is an Ulrich module. We say that the ring $R$ is almost Gorenstein if Ulrich elements exist in $H$. For the class of slim semigroups that we introduce, we provide an algebraic criterion for testing the Ulrich propery. When $d=2$, all normal affine semigroups are slim. Here we have a simpler combinatorial description of the Ulrich property. We improve this result for testing the elements in $H$ which are closest to zero. In particular, we give a simple arithmetic criterion for when is $(1,1)$ an Ulrich element in $H$.
Recurrence relations in (s,t)-uniform simplicial complexes
We introduce $(s,t)$-uniform simplicial complexes. We show that the lengths of spheres in minimal filling diagrams associated to loops in such complexes are the terms of certain recurrence relations. We study the limit of the ratio of the area of such spheres over their length as the radii of spheres grow. Besides we compute the average Gaussian curvature for vertices inside these spheres.
Decomposition of random walk measures on the one-dimensional torus
Published
• View Publication
• BIB
The main result of this paper is a decomposition theorem for a measure on the one-dimensional torus. Given a sufficiently large subset $S$ of the positive integers, an arbitrary measure on the torus is decomposed as the sum of two measures. The first one $μ_1$ has the property that the random walk with initial distribution $μ_1$ evolved by the action of $S$ equidistributes very fast. The second measure $μ_2$ in the decomposition is concentrated on very small neighborhoods of a small number of points.
Efficient Rational Creative Telescoping
Published
• View Publication
• BIB
We present a new algorithm to compute minimal telescopers for rational functions in two discrete variables. As with recent reduction-based approaches, our algorithm has the important feature that the computation of a telescoper is independent of its certificate. In addition, our algorithm uses a compact representation of the certificate, which allows it to be easily manipulated and analyzed without knowing the precise expanded form. This representation hides potential expression swell until the final (and optional) expansion, which can be accomplished in time polynomial in the size of the expanded certificate. A complexity analysis, along with a Maple implementation, indicates that our algorithm has better theoretical and practical performance than the reduction-based approach in the rational case.
Slow Recurrences
Published
• View Publication
• BIB
For positive integers $α$ and $β$, we define an $(α,β)$-walk to be any sequence of positive integers satisfying $w_{k+2}=αw_{k+1}+βw_k$. We say that an $(α,β)$-walk is $n$-slow if $w_s=n$ with $s$ as large as possible. Slow $(1,1)$-walks have been investigated by several authors. In this paper we consider $(α,β)$-walks for arbitrary positive $α,β$. We derive a characterization theorem for these walks, and with this we prove several results concerning the total number of $n$-slow walks for a given $n$. In addition to this, we study the slowest $n$-slow walk for a given $n$ amongst all possible $α,β$.
Counting Labeled Threshold Graphs with Eulerian Numbers
A threshold graph is any graph which can be constructed from the empty graph by repeatedly adding a new vertex that is either adjacent to every vertex or to no vertices. The Eulerian number $\genfrac{\langle}{\rangle}{0pt}{}{n}{k}$ counts the number of permutations of size $n$ with exactly $k$ ascents. Implicitly Beissinger and Peled proved that the number of labeled threshold graphs on $n\ge 2$ vertices is
\[\sum_{k=1}^{n-1}(n-k)\genfrac{\langle}{\rangle}{0pt}{}{n-1}{k-1}2^k.\]
Their proof used generating functions. We give a direct combinatorial proof of this result.
Topological inductive constructions for tight surface graphs
Published
• View Publication
• BIB
We investigate properties of sparse and tight surface graphs. In particular we derive topological inductive constructions for $(2, 2)$-tight surface graphs in the case of the sphere, the plane, the twice punctured sphere and the torus. In the case of the torus we identify all 116 irreducible base graphs and provide a geometric application involving contact graphs of configurations of circular arcs.
Uniformly positive correlations in the dimer model and phase transition in lattice permutations on $\mathbb{Z}^d$, $d > 2$, via reflection positivity
Our first main result is that correlations between monomers in the dimer model in $\mathbb{Z}^d$ do not decay to zero when $d > 2$. This is the first rigorous result about correlations in the dimer model in dimensions greater than two and shows that the model behaves drastically differently than in two dimensions, in which case it is integrable and correlations are known to decay to zero polynomially. Such a result is implied by our more general, second main result, which states the occurrence of a phase transition in the model of lattice permutations, which is related to the quantum Bose gas. More precisely, we consider a self-avoiding walk interacting with lattice permutations and we prove that, in the regime of fully-packed loops, such a walk is `long' and the distance between its end-points grows linearly with the diameter of the box. These results follow from the derivation of a version of the infrared bound from a new general probabilistic settings, with coloured loops and walks interacting at sites and walks entering into the system from some `virtual' vertices.
Probabilistic Zero Forcing on Random Graphs
Published
• View Publication
• BIB
Zero forcing is a deterministic iterative graph coloring process in which vertices are colored either blue or white, and in every round, any blue vertices that have a single white neighbor force these white vertices to become blue. Here we study probabilistic zero forcing, where blue vertices have a non-zero probability of forcing each white neighbor to become blue.
We explore the propagation time for probabilistic zero forcing on the Erdős-Réyni random graph $\Gnp$ when we start with a single vertex colored blue. We show that when $p=\log^{-o(1)}n$, then with high probability it takes $(1+o(1))\log_2\log_2n$ rounds for all the vertices in $\Gnp$ to become blue, and when $\log n/n\ll p\leq \log^{-O(1)}n$, then with high probability it takes $Θ(\log(1/p))$ rounds.
The Laplacian eigenvalue 2 of bicyclic graphs
If $G$ is a graph, its Laplacian is the difference between diagonal matrix of its vertex degrees and its adjacency matrix. A one-edge connection of two graphs $G_{1}$ and $G_{2}$ is a graph $G=G_{1}\odot G_{2}$ with $V(G)=V(G_{1})\cup V(G_{2})$ and $E(G)= E(G_{1})\cup E(G_{2})\cup \{e=uv\}$ where $u\in V(G_1)$ and $v\in V(G_2)$. In this paper, we consider the eigenvector of unicycle graphs. We study the relationship between the Laplacian eigenvalue $2$ of unicyclic graphs $G_1$ and $G_2$; and bicyclic graphs $G=G_{1}\odot G_{2}$. We also characterize the broken sun graphs and the one edge connection of two broken sun graphs by their Laplacian eigenvalue $2$.