Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The Trace Method for Cotangent Sums
Published in J. Comb. Th. A 177 (2021) Paper No. 105324, 32
• View Publication
• BIB
This paper presents a combinatorial study of sums of integer powers of the cotangent which is a popular theme in classical calculus. Our main tool the realization of cotangent values as eigenvalues of a simple self-adjoint matrix with integer matrix. We use the trace method to draw conclusions about integer values of the sums and expand generating functions to obtain explicit evaluations. It is remarkable that throughout the calculations the combinatorics are governed by the higher tangent and arctangent numbers exclusively. Finally we indicate a new approximation of the values of the Riemann zeta function at even integer arguments.
On the complexity of finding large odd induced subgraphs and odd colorings
Published
• View Publication
• BIB
We study the complexity of the problems of finding, given a graph $G$, a largest induced subgraph of $G$ with all degrees odd (called an odd subgraph), and the smallest number of odd subgraphs that partition $V(G)$. We call these parameters ${\sf mos}(G)$ and $χ_{\sf odd}(G)$, respectively. We prove that deciding whether $χ_{\sf odd}(G) \leq q$ is polynomial-time solvable if $q \leq 2$, and NP-complete otherwise. We provide algorithms in time $2^{O({\sf rw})} \cdot n^{O(1)}$ and $2^{O(q \cdot {\sf rw})} \cdot n^{O(1)}$ to compute ${\sf mos}(G)$ and to decide whether $χ_{\sf odd}(G) \leq q$ on $n$-vertex graphs of rank-width at most ${\sf rw}$, respectively, and we prove that the dependency on rank-width is asymptotically optimal under the ETH. Finally, we give some tight bounds for these parameters on restricted graph classes or in relation to other parameters.
Symmetrizable integer matrices having all their eigenvalues in the interval [-2,2]
Published
• View Publication
• BIB
The adjacency matrices of graphs form a special subset of the set of all integer symmetric matrices. The description of which graphs have all their eigenvalues in the interval [-2,2] (i.e., those having spectral radius at most 2) has been known for several decades. In 2007 we extended this classification to arbitrary integer symmetric matrices.
In this paper we turn our attention to symmetrizable matrices. We classify the connected nonsymmetric but symmetrizable matrices which have entries in $\Z$ that are maximal with respect to having all their eigenvalues in [-2,2]. This includes a spectral characterisation of the affine and finite Dynkin diagrams that are not simply laced (much as the graph result gives a spectral characterisation of the simply laced ones).
Three-term arithmetic progressions in subsets of $\mathbb{F}_q^{\infty}$ of large Fourier dimension
Published
• View Publication
• BIB
We show that subsets of $\mathbb{F}_q^{\infty}$ of large Fourier dimension must contain three-term arithmetic progressions. This contrasts with a construction of Shmerkin of a subset of $\mathbb{R}$ of Fourier dimension $1$ with no three-term arithmetic progressions.
Multiplicity at any torus-fixed point in a Richardson variety in the Symplectic Grassmannian
We give a combinatorial description of the multiplicity at any torus fixed point on a Richardson variety in the Symplectic Grassmannian.
Dual-cyclic polytopes of convex planar polygons with fixed vertex angles
If we fix the angles at the vertices of a convex planar $n$-gon, the lengths of its edges must satisfy two linear constraints in order for it to close up. If we also require unit perimeter, our vectors of $n$ edge lengths form a convex polytope of dimension $n-3$, each facet of which consists of those $n$-gons in which the length of a particular edge has fallen to zero. Bavard and Ghys require unit area instead, which gives them a hyperbolic polytope. Those two polytopes are combinatorially equivalent, so either is fine for our purposes.
Such a fixed-angles polytope is combinatorially richer when the angles are well balanced. We say that fixed external angles are "majority dominant" when every consecutive string of more than half of them sums to more than $π$. When $n$ is odd, we show that the fixed-angles polytope for any majority-dominant angles is dual to the cyclic polytope $C_{n-3}(n)$. To extend that result to even $n$, we require that the angles also have "dipole tie-breaking": None of the $n$ strings of length $n/2$ sums to precisely $π$, and the $n/2$ that sum to more than $π$ overlap as much as possible, all containing a particular angle.
Fixing the vertex angles is uncommon, however; people more often fix the edge lengths. That is harder, in part because fixed-lengths $n$-gons may not be convex, but mostly because fixing the lengths constrains the angles nonlinearly -- so the resulting moduli spaces, called "polygon spaces", are curved. Using Schwarz-Christoffel maps, Kapovich and Millson show that the subset of that polygon space in which the $n$-gons are convex and traversed counterclockwise is homeomorphic to the fixed-angles polytope above, for those same fixed values. Each such subset is thus a topological polytope; and it is dual cyclic whenever the fixed lengths are majority dominant and, for even $n$, have dipole tie-breaking.
The positive tropical Grassmannian, the hypersimplex, and the m=2 amplituhedron
The study of the moment map from the Grassmannian to the hypersimplex, and the relation between torus orbits and matroid polytopes, dates back to the foundational 1987 work of Gelfand-Goresky-MacPherson-Serganova. On the other hand, the amplituhedron is a very new object, defined by Arkani-Hamed-Trnka in connection with scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills theory. In this paper we discover a striking duality between the moment map $μ:Gr^{\geq0}_{k+1,n}\toΔ_{k+1,n}$ from the positive Grassmannian $Gr^{\geq0}_{k+1,n}$ to the hypersimplex, and the amplituhedron map $\tilde{Z}:Gr^{\geq0}_{k,n}\to\mathcal{A}_{n,k,2}(Z)$ from $Gr^{\geq0}_{k,n}$ to the $m=2$ amplituhedron. We consider the positroid dissections of both objects, which informally, are subdivisions of $Δ_{k+1,n}$ (respectively, $\mathcal{A}_{n,k,2}(Z)$) into a disjoint union of images of positroid cells of the positive Grassmannian. At first glance, $Δ_{k+1,n}$ and $\mathcal{A}_{n,k,2}(Z)$ seem very different - the former is an $(n-1)$-dimensional polytope, while the latter is a $2k$-dimensional non-polytopal subset of $Gr_{k,k+2}$. Nevertheless, we conjecture that positroid dissections of $Δ_{k+1,n}$ are in bijection with positroid dissections of $\mathcal{A}_{n,k,2}(Z)$ via a map we call T-duality. We prove this conjecture for the (infinite) class of BCFW dissections and give additional experimental evidence. Moreover, we prove that the positive tropical Grassmannian is the secondary fan for the regular positroid subdivisions of the hypersimplex, and propose that it also controls the T-dual positroid subdivisions of the amplituhedron. Along the way, we prove that a matroid polytope is a positroid polytope if and only if all two-dimensional faces are positroid polytopes. Towards the goal of generalizing T-duality for higher $m$, we also define the momentum amplituhedron for any even $m$.
Polytopes associated with lattices of subsets and maximising expectation of random variables
The present paper originated from a problem in Financial Mathematics concerned with calculating the value of a European call option based on multiple assets each following the binomial model. The model led to an interesting family of polytopes $P(b)$ associated with the power-set $\mathcal{L} = \wp\{1,\dots,m\}$ and parameterized by $b \in \mathbb{R}^m$, each of which is a collection of probability density function on $\mathcal{L}$. For each non-empty $P(b)$ there results a family of probability measures on $\mathcal{L}^n$ and, given a function $F \colon \mathcal{L}^n \to \mathbb{R}$, our goal is to find among these probability measures one which maximises (resp. minimises) the expectation of $F$. In this paper we identify a family of such functions $F$, all of whose expectations are maximised (resp. minimised under some conditions) by the same {\em product} probability measure defined by a distinguished vertex of $P(b)$ called the supervertex (resp. the subvertex). The pay-offs of European call options belong to this family of functions.
Graphs with multi-$4$-cycles and the Barnette's conjecture
Let ${\cal H}$ denote the family of all graphs with multi-$4$-cycles and suppose that $G \in {\cal H}$. Then, $G$ is a bipartite graph with a vertex bipartition $\{V_α, V_β\}$. We prove that for every vertex $v \in V_β$ and for every $2$-colouring $V_α \rightarrow \{1, 2\}$ there exists a $2$-colouring $V_β \rightarrow \{1, 2\}$ such that every cycle in $G$ is not monochromatic and $b(v) = 1$ ($b(v) = 2$).
Let now $G$ be a simple even plane triangulation with a vertex $3$-partition $\{V_{1}, V_{2}, V_{3}\}$. Denote by $B_{i}$, $i = 1, 2, 3$, the set of all vertices in $V_i$ of degree at least $6$ in $G$. Suppose that $G[B_{1}\cup B_{3}]$ ($G[B_{2}\cup B_{3}]$) is a subgraph of $G$ induced by the set $B_{1}\cup B_{3}$ ($B_{2}\cup B_{3}$, respectively). Let $G^{*}$ be the dual graph of $G$ with the following $3$-face-colouring: a face $f$ of $G^{*}$ is coloured with $i$ if and only if the vertex $v = f^{*} \in V_{i}$. We prove that if $H = G[B_{1}\cup B_{3}] \cup G[B_{2}\cup B_{3}] \in {\cal H}$, then, for any edge chosen on a face coloured $3$ and of size at least $6$ in $G^{*}$, there exists a Hamilton cycle of $G^{*}$ which avoids this edge. Moreover, if every component of $H$ is $2$-connected, then there exists a Hamilton cycle of $G^{*}$ such that for every face coloured $3$ it avoids every second edge of this face or it avoids at most two edges of this face.
A generalization of the Kővári-Sós-Turán theorem
We present a new proof of the Kővári-Sós-Turán theorem that $ex(n, K_{s,t}) = O(n^{2-1/t})$ for $s, t \geq 2$. The new proof is elementary, avoiding the use of convexity. For any $d$-uniform hypergraph $H$, let $ex_d(n,H)$ be the maximum possible number of edges in an $H$-free $d$-uniform hypergraph on $n$ vertices. Let $K_{H, t}$ be the $(d+1)$-uniform hypergraph obtained from $H$ by adding $t$ new vertices $v_1, \dots, v_t$ and replacing every edge $e$ in $E(H)$ with $t$ edges $e \cup \left\{v_1\right\},\dots, e \cup \left\{v_t\right\}$ in $E(K_{H, t})$. If $H$ is the $1$-uniform hypergraph on $s$ vertices with $s$ edges, then $K_{H, t} = K_{s, t}$.
We prove that $ex_{d+1}(n,K_{H,t}) = O(ex_d(n, H)^{1/t} n^{d+1-d/t} + t n^d)$ for any $d$-uniform hypergraph $H$ with at least two edges such that $ex_d(n, H) = o(n^d)$. Thus $ex_{d+1}(n,K_{H,t}) = O(n^{d+1-1/t})$ for any $d$-uniform hypergraph $H$ with at least two edges such that $ex_d(n, H) = O(n^{d-1})$, which implies the Kővári-Sós-Turán theorem in the $d = 1$ case. This also implies that $ex_{d+1}(n, K_{H,t}) = O(n^{d+1-1/t})$ when $H$ is a $d$-uniform hypergraph with at least two edges in which all edges are pairwise disjoint, which generalizes an upper bound proved by Mubayi and Verstraëte (JCTA, 2004). We also obtain analogous bounds for 0-1 matrix Turán problems.
Singular loci of reflection arrangements and the containment problem
Published
• View Publication
• BIB
This paper provides insights into the role of symmetry in studying polynomial functions vanishing to high order on an algebraic variety. The varieties we study are singular loci of hyperplane arrangements in projective space, with emphasis on arrangements arising from complex reflection groups. We provide minimal sets of equations for the radical ideals defining these singular loci and study containments between the ordinary and symbolic powers of these ideals.
Lowest Degree Decomposition of Complex Networks
Published
• View Publication
• BIB
The heterogeneous structure implies that a very few nodes may play the critical role in maintaining structural and functional properties of a large-scale network. Identifying these vital nodes is one of the most important tasks in network science, which allow us to better conduct successful social advertisements, immunize a network against epidemics, discover drug target candidates and essential proteins, and prevent cascading breakdowns in power grids, financial markets and ecological systems. Inspired by the nested nature of real networks, we propose a decomposition method where at each step the nodes with the lowest degree are pruned. We have strictly proved that this so-called lowest degree decomposition (LDD) is a subdivision of the famous k-core decomposition. Extensive numerical analyses on epidemic spreading, synchronization and nonlinear mutualistic dynamics show that the LDD can more accurately find out the most influential spreaders, the most efficient controllers and the most vulnerable species than k-core decomposition and other well-known indices. The present method only makes use of local topological information, and thus has high potential to become a powerful tool for network analysis.
Notes on Tree- and Path-chromatic Number
Published
• View Publication
• BIB
Tree-chromatic number is a chromatic version of treewidth, where the cost of a bag in a tree-decomposition is measured by its chromatic number rather than its size. Path-chromatic number is defined analogously. These parameters were introduced by Seymour (JCTB 2016). In this paper, we survey all the known results on tree- and path-chromatic number and then present some new results and conjectures. In particular, we propose a version of Hadwiger's Conjecture for tree-chromatic number. As evidence that our conjecture may be more tractable than Hadwiger's Conjecture, we give a short proof that every $K_5$-minor-free graph has tree-chromatic number at most $4$, which avoids the Four Colour Theorem. We also present some hardness results and conjectures for computing tree- and path-chromatic number.
An update on reconfiguring $10$-colorings of planar graphs
The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertex set the set of all possible proper $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex. A result of Bousquet and Perarnau (2016) regarding graphs of bounded degeneracy implies that if $G$ is a planar graph with $n$ vertices, then $R_{12}(G)$ has diameter at most $6n$. We improve on the number of colors, showing that $R_{10}(G)$ has diameter at most $8n$ for every planar graph $G$ with $n$ vertices.
Critical graphs upon multiple edge subdivision
A subset $D$ of $V$ is \emph{dominating} in $G$ if every vertex of $V-D$ has at least one neighbour in $D;$ let $γ(G)$ be the minimum cardinality among all dominating sets in $G.$ A graph $G$ is $γ$-$q$-{\it critical} if the smallest subset of edges whose subdivision necessarily increases $γ(G)$ has cardinality $q.$ In this paper we consider mainly $γ$-$q$-critical trees and give some general properties of $gamma$-$q$-critical graphs. In particular, we show that if $T$ is a $γ$-$q$-critical tree, then $1 \leq q \leq n(T)-1$ and we characterize extremal trees when $q=n(T)-1.$ Since a subdivision number {of a tree $T$} ${\rm sd}(T)$ is always $1,2$ or $3,$ we also characterize $γ$-2-critical trees $T$ with ${\rm sd}(T)=2$ and $γ$-3-critical trees $T$ with ${\rm sd}(T)=3.$
Genetic Algorithms for Redundancy in Interaction Testing
Published
• View Publication
• BIB
It is imperative for testing to determine if the components within large-scale software systems operate functionally. Interaction testing involves designing a suite of tests, which guarantees to detect a fault if one exists among a small number of components interacting together. The cost of this testing is typically modeled by the number of tests, and thus much effort has been taken in reducing this number. Here, we incorporate redundancy into the model, which allows for testing in non-deterministic environments. Existing algorithms for constructing these test suites usually involve one "fast" algorithm for generating most of the tests, and another "slower" algorithm to "complete" the test suite. We employ a genetic algorithm that generalizes these approaches that also incorporates redundancy by increasing the number of algorithms chosen, which we call "stages." By increasing the number of stages, we show that not only can the number of tests be reduced compared to existing techniques, but the computational time in generating them is also greatly reduced.
Geometric Systems of Unbiased Representatives
Published
• View Publication
• BIB
Let $P$ be a set of points in $\mathbb{R}^d$, $B$ a bicoloring of $P$ and $\Oo$ a family of geometric objects (that is, intervals, boxes, balls, etc). An object from $\Oo$ is called balanced with respect to $B$ if it contains the same number of points from each color of $B$. For a collection $\B$ of bicolorings of $P$, a geometric system of unbiased representatives (G-SUR) is a subset $\Oo'\subseteq\Oo$ such that for any bicoloring $B$ of $\B$ there is an object in $\Oo'$ that is balanced with respect to $B$.
We study the problem of finding G-SURs. We obtain general bounds on the size of G-SURs consisting of intervals, size-restricted intervals, axis-parallel boxes and Euclidean balls. We show that the G-SUR problem is NP-hard even in the simple case of points on a line and interval ranges. Furthermore, we study a related problem on determining the size of the largest and smallest balanced intervals for points on the real line with a random distribution and coloring.
Our results are a natural extension to a geometric context of the work initiated by Balachandran et al. on arbitrary systems of unbiased representatives.
Embedding and the rotational dimension of a graph containing a clique
Published
• View Publication
• BIB
The rotational dimension is a minor monotone graph invariant related to the dimension of an Euclidean space containing a spectral embedding corresponding to the first nonzero eigenvalue of the graph Laplacian, which is introduced by Göring, Helmberg and Wappler. In this paper, we study rotational dimensions of graphs which contain large complete graphs. The complete graph is characterized by its rotational dimension. It will be a obtained that a chordal graph may be made large while keeping the rotational dimension constant.
Extensions of the Art Gallery Theorem
Published
• View Publication
• BIB
Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set $S$ of vertices of an $n$-vertex graph $G$ such that $G - N[S]$, the graph obtained by deleting the closed neighborhood of $S$, contains no vertices. In the proof of the Art Gallery Theorem, Chvátal showed that the minimum size, called the domination number of $G$ and denoted by $γ(G)$, is at most $n/3$ if $G$ is a mop. Here we consider a modification by allowing $G - N[S]$ to have a maximum degree of at most $k$. Let $ι_k(G)$ denote the size of a smallest set $S$ for which this is achieved. If $n \le 2k+3$, then trivially $ι_k(G) \leq 1$. Let $G$ be a mop on $n \ge \max\{5,2k+3\}$ vertices, $n_2$ of which are of degree $2$. Upper bounds on $ι_k(G)$ have been obtained for $k = 0$ and $k = 1$, namely $ι_{0}(G) \le \min\{\frac{n}{4},\frac{n+n_2}{5},\frac{n-n_2}{3}\}$ and $ι_1(G) \le \min\{\frac{n}{5},\frac{n+n_2}{6},\frac{n-n_2}{3}\}$. We prove that $ι_{k}(G) \le \min\{\frac{n}{k+4},\frac{n+n_2}{k+5},\frac{n-n_2}{k+2}\}$ for any $k \ge 0$. For the original setting of the Art Gallery Theorem, the argument presented yields that if an art gallery has exactly $n$ corners and at least one of every $k + 2$ consecutive corners must be visible to at least one guard, then the number of guards needed is at most $n/(k+4)$. We also prove that $γ(G) \le \frac{n - n_2}{2}$ unless $n = 2n_2$, $n_2$ is odd, and $γ(G) = \frac{n - n_2 + 1}{2}$. Together with the inequality $γ(G) \le \frac{n+n_2}{4}$, obtained by Campos and Wakabayashi and independently by Tokunaga, this improves Chvátal's bound. The bounds are sharp.
Drawing Graphs as Spanners
Published
• View Publication
• BIB
We study the problem of embedding graphs in the plane as good geometric spanners. That is, for a graph $G$, the goal is to construct a straight-line drawing $Γ$ of $G$ in the plane such that, for any two vertices $u$ and $v$ of $G$, the ratio between the minimum length of any path from $u$ to $v$ and the Euclidean distance between $u$ and $v$ is small. The maximum such ratio, over all pairs of vertices of $G$, is the spanning ratio of $Γ$.
First, we show that deciding whether a graph admits a straight-line drawing with spanning ratio $1$, a proper straight-line drawing with spanning ratio $1$, and a planar straight-line drawing with spanning ratio $1$ are NP-complete, $\exists \mathbb R$-complete, and linear-time solvable problems, respectively, where a drawing is proper if no two vertices overlap and no edge overlaps a vertex.
Second, we show that moving from spanning ratio $1$ to spanning ratio $1+ε$ allows us to draw every graph. Namely, we prove that, for every $ε>0$, every (planar) graph admits a proper (resp. planar) straight-line drawing with spanning ratio smaller than $1+ε$.
Third, our drawings with spanning ratio smaller than $1+ε$ have large edge-length ratio, that is, the ratio between the length of the longest edge and the length of the shortest edge is exponential. We show that this is sometimes unavoidable. More generally, we identify having bounded toughness as the criterion that distinguishes graphs that admit straight-line drawings with constant spanning ratio and polynomial edge-length ratio from graphs that require exponential edge-length ratio in any straight-line drawing with constant spanning ratio.