Showing 20 papers (Total: 83076 papers, 47999 authors in database)
RGB image-based data analysis via discrete Morse theory and persistent homology
Understanding and comparing images for the purposes of data analysis is currently a very computationally demanding task. A group at Australian National University (ANU) recently developed open-source code that can detect fundamental topological features of a grayscale image in a computationally feasible manner. This is made possible by the fact that computers store grayscale images as cubical cellular complexes. These complexes can be studied using the techniques of discrete Morse theory. We expand the functionality of the ANU code by introducing methods and software for analyzing images encoded in red, green, and blue (RGB), because this image encoding is very popular for publicly available data. Our methods allow the extraction of key topological information from RGB images via informative persistence diagrams by introducing novel methods for transforming RGB-to-grayscale. This paradigm allows us to perform data analysis directly on RGB images representing water scarcity variability as well as crime variability. We introduce software enabling a a user to predict future image properties, towards the eventual aim of more rapid image-based data behavior prediction.
Algebraic differential formulas for the shuffle, stuffle and duality relations of iterated integrals
Published
• View Publication
• BIB
In this paper we prove certain algebraic identities, which correspond to differentiations of the shuffle relation, the stuffle relation, and the relations which arise from Möbius transformations of iterated integrals. These formulas provide fundamental and useful tools in the study of iterated integrals on a punctured projective line.
Hyperplane Neural Codes and the Polar Complex
Published
• View Publication
• BIB
Hyperplane codes are a class of convex codes that arise as the output of a one layer feed-forward neural network. Here we establish several natural properties of stable hyperplane codes in terms of the {\it polar complex} of the code, a simplicial complex associated to any combinatorial code. We prove that the polar complex of a stable hyperplane code is shellable and show that most currently known properties of the hyperplane codes follow from the shellability of the appropriate polar complex.
Probability distributions of multi-species q-TAZRP and ASEP as double cosets of parabolic subgroups
Published in Annales Henri Poincaré, April 2019, 20(4), 1149-1173
• View Publication
• BIB
We write explicit contour integral formulas for probability distributions of the multi-species q-TAZRP and the multi-species ASEP starting with q-exchangeable initial conditions. The formulas are equal to the corresponding explicit contour integral formulas for the single-species q-TAZRP ([Korhonen-Lee 2014, Wang-Waugh 2016]) and ASEP [Tracy-Widom 2007], with a factor in front of the integral.
For the multi-species q-TAZRP, we use a decomposition theorem for elements of double cosets of parabolic subgroups in a Coxeter group. The set of distinguished double coset representatives with minimal length is viewed as a particle configuration. For the multi-species ASEP we use a more direct proof.
Lifting a prescribed group of automorphisms of graphs
Published
• View Publication
• BIB
In this paper we are interested in lifting a prescribed group of automorphisms of a finite graph via regular covering projections. Here we describe with an example the problems we address and refer to the introductory section for the correct statements of our results.
Let $P$ be the Petersen graph, say, and let $\wp:\tilde{P}\to P$ be a regular covering projection. With the current covering machinery, it is straightforward to find $\wp$ with the property that every subgroup of $\Aut(P)$ lifts via $\wp$. However, for constructing peculiar examples and in applications, this is usually not enough. Sometimes it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ along which $G$ lifts but no further automorphism of $P$ does. For instance, in this concrete example, it is interesting to find a covering of the Petersen graph lifting the alternating group $A_5$ but not the whole symmetric group $S_5$. (Recall that $\Aut(P)\cong S_5$.) Some other time it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ with the property that $\Aut(\tilde{P})$ is the lift of $G$. Typically, it is desirable to find $\wp$ satisfying both conditions. In a very broad sense, this might remind wallpaper patterns on surfaces: the group of symmetries of the dodecahedron is $S_5$, and there is a nice colouring of the dodecahedron (found also by Escher) whose group of symmetries is just $A_5$.
In this paper, we address this problem in full generality.
Approximately locating an invisible agent in a graph with relative distance queries
Published
• View Publication
• BIB
In a pursuit evasion game on a finite, simple, undirected, and connected graph $G$, a first player visits vertices $m_1,m_2,\ldots$ of $G$, where $m_{i+1}$ is in the closed neighborhood of $m_i$ for every $i$, and a second player probes arbitrary vertices $c_1,c_2,\ldots$ of $G$, and learns whether or not the distance between $c_{i+1}$ and $m_{i+1}$ is at most the distance between $c_i$ and $m_i$. Up to what distance $d$ can the second player determine the position of the first? For trees of bounded maximum degree and grids, we show that $d$ is bounded by a constant. We conjecture that $d=O(\log n)$ for every graph $G$ of order $n$, and show that $d=0$ if $m_{i+1}$ may differ from $m_i$ only if $i$ is a multiple of some sufficiently large integer.
Distinguishing density and the Distinct Spheres Condition
Published
• View Publication
• BIB
If a graph $G$ has distinguishing number 2, then there exists a partition of its vertex set into two parts, such that no nontrivial automorphism of $G$ fixes setwise the two parts. Such a partition is called a 2-distinguishing coloring of $G$, and the parts are called its color classes. If $G$ admits such a coloring, it is often possible to find another in which one of the color classes is sparse in a certain sense. In this case we say that $G$ has 2-distinguishing density zero. An extreme example of this would be an infinite graph admitting a 2-distinguishing coloring in which one of the color classes is finite.
If a graph $G$ contains a vertex $v$ such that, for all $n \in \mathbb N$, any two distinct vertices equidistant from $v$ have nonequal $n$-spheres, then we say that $G$ satisfies the Distinct Spheres Condition. In this paper we prove a general result: any countable connected graph that satisfies the Distinct Spheres Condition is 2-distinguishable with density zero. We present two proofs of this, one that uses a deterministic coloring, and another (that applies only to locally finite graphs) using a random coloring. From this result, we deduce that several important families of countably infinite and connected graphs are 2-distinguishable with density zero, including those that are locally finite and primitive. Furthermore, we prove that any connected graph with infinite motion and subquadratic growth is 2-distinguishable with density zero.
Enumeration and randomized constructions of hypertrees
Published
• View Publication
• BIB
Over thirty years ago, Kalai proved a beautiful $d$-dimensional analog of Cayley's formula for the number of $n$-vertex trees. He enumerated $d$-dimensional hypertrees weighted by the squared size of their $(d-1)$-dimensional homology group. This, however, does not answer the more basic problem of unweighted enumeration of $d$-hypertrees, which is our concern here. Our main result, Theorem 1.4, significantly improves the lower bound for the number of $d$-hypertrees. In addition, we study a random $1$-out model of $d$-complexes where every $(d-1)$-dimensional face selects a random $d$-face containing it, and show it has a negligible $d$-dimensional homology.
Fano Kaleidoscopes and their generalizations
Published
• View Publication
• BIB
In this work we introduce Fano Kaleidoscopes, Hesse Kaleidoscopes and their generalizations. These are a particular kind of colored designs for which we will discuss general theory, present some constructions and prove existence results. In particular, using difference methods we show the existence of both a Fano and a Hesse Kaleidoscope on $v$ points when $v$ is a prime or prime power congruent to 1$\pmod{6}$, $v\ne13$. In the Fano case this, together with known results on pairwise balanced designs, allows us to prove the existence of Kaleidoscopes of order $v$ for many other values of $v$; we discuss what the situation is, on the other hand, in the Hesse and general case.
On the Discrepancy Between Two Zagreb Indices
Published
• View Publication
• BIB
We examine the quantity \[S(G) = \sum_{uv\in E(G)} \min(\text{deg } u, \text{deg } v)\] over sets of graphs with a fixed number of edges. The main result shows the maximum possible value of $S(G)$ is achieved by three different classes of constructions, depending on the distance between the number of edges and the nearest triangular number. Furthermore we determine the maximum possible value when the set of graphs is restricted to be bipartite, a forest or to be planar given sufficiently many edges. The quantity $S(G)$ corresponds to the difference between two well studied indices, the irregularity of a graph and the sum of the squares of the degrees in a graph. These are known as the first and third Zagreb indices in the area of mathematical chemistry.
Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs. II
We present explicit descriptions of the decompositions of vertices of a hypercube graph with respect to its distinguished symmetric cycle.
Three Puzzles on Mathematics, Computation, and Games
Published
• View Publication
• BIB
In this lecture I will talk about three mathematical puzzles involving mathematics and computation that have preoccupied me over the years. The first puzzle is to understand the amazing success of the simplex algorithm for linear programming. The second puzzle is about errors made when votes are counted during elections. The third puzzle is: are quantum computers possible?
Quiddity sequences for $\mathrm{SL}_3$-frieze patterns
The notion of a $(k,n)$-frieze pattern was introduced by the author as a generalisation of the classical frieze patterns. In this article we describe connections between classes of $(3,n)$-frieze patterns and classes of $\mathrm{SL}_3$-frieze patterns. We introduce the idea of a superimposed triangulation and clarify how superimposed triangulations may be used to understand quiddity sequences for $\mathrm{SL}_3$-frieze patterns.
A Unified Enumeration of 1-dimension Garden Algebras and Valise Adinkras
Published
• View Publication
• BIB
In the study of supersymmetry in one dimension, various works enumerate sets of generators of garden algebras $GR(d,N)$ (and equivalently, valise Adinkras) for special cases $N = d = 4$ and $N = d = 8$, using group-theoretic methods and computer computation. We complement this work by enumerating the objects for arbitrary $N$ and $d$ via a formula in a streamlined manner.
Clique-coloring of $K_{3,3}$-minor free graphs
Published
• View Publication
• BIB
A clique-coloring of a given graph $G$ is a coloring of the vertices of $G$ such that no maximal clique of size at least two is monocolored. The clique-chromatic number of $G$ is the least number of colors for which $G$ admits a clique-coloring. It has been proved that every planar graph is $3$-clique colorable and every claw-free planar graph, different from an odd cycle, is $2$-clique colorable. In this paper, we generalize these results to $K_{3,3}$-minor free ($K_{3,3}$-subdivision free) graphs.
A tractable class of binary VCSPs via M-convex intersection
Published in ACM Transactions on Algorithms 15(3) Article no. 44 (2019)
• View Publication
• BIB
A binary VCSP is a general framework for the minimization problem of a function represented as the sum of unary and binary cost functions. An important line of VCSP research is to investigate what functions can be solved in polynomial time. Cooper and Živný classified the tractability of binary VCSP instances according to the concept of "triangle," and showed that the only interesting tractable case is the one induced by the joint winner property (JWP). Recently, Iwamasa, Murota, and Živný made a link between VCSP and discrete convex analysis, showing that a function satisfying the JWP can be transformed into a function represented as the sum of two quadratic M-convex functions, which can be minimized in polynomial time via an M-convex intersection algorithm if the value oracle of each M-convex function is given. In this paper, we give an algorithmic answer to a natural question: What binary finite-valued CSP instances can be represented as the sum of two quadratic M-convex functions and can be solved in polynomial time via an M-convex intersection algorithm? We solve this problem by devising a polynomial-time algorithm for obtaining a concrete form of the representation in the representable case. Our result presents a larger tractable class of binary finite-valued CSPs, which properly contains the JWP class.
On the divisibility of some truncated hypergeometric series
Published
• View Publication
• BIB
Let $p$ be an odd prime and $r\geq 1$. Suppose that $α$ is a $p$-adic integer with $α\equiv2a\pmod p$ for some $1\leq a<(p+r)/(2r+1)$. We confirm a conjecture of Sun and prove that $${}_{2r+1}F_{2r}\bigg[\begin{matrix}α&α&\ldots&α\\ &1&\ldots&1\end{matrix}\bigg|\,1\bigg]_{p-1}\equiv0\pmod{p^2},$$ where the truncated hypergeometric series $$ {}_{q+1}F_{q}\bigg[\begin{matrix}x_0&x_1&\ldots&x_{q}\\ &y_1&\ldots&y_q\end{matrix}\bigg|\,z\bigg]_{n}:=\sum_{k=0}^n\frac{(x_0)_k(x_1)_k\cdots(x_q)_k}{(y_1)_k\cdot (y_q)_k}\cdot\frac{z^k}{k!}. $$
Perfect graphs with polynomially computable kernels
Published
• View Publication
• BIB
In a directed graph, a kernel is a subset of vertices that is both stable and absorbing. Not all digraphs have a kernel, but a theorem due to Boros and Gurvich guarantees the existence of a kernel in every clique-acyclic orientation of a perfect graph. However, an open question is the complexity status of the computation of a kernel in such a digraph. Our main contribution is to prove new polynomiality results for subfamilies of perfect graphs, among which are claw-free perfect graphs and chordal graphs. Our results are based on the design of kernel computation methods with respect to two graph operations: clique-cutset decomposition and augmentation of flat edges. We also prove that deciding the existence of a kernel - and computing it if it exists - is polynomial in every orientation of a chordal or a circular-arc graph, even not clique-acyclic.
Magic Polygons and Their Properties
Magic squares are arrangements of natural numbers into square arrays, where the sum of each row, each column, and both diagonals is the same. In this paper, the concept of a magic square with 3 rows and 3 columns is generalized to define magic polygons. Furthermore, this paper will examine the existence of magic polygons, along with several other properties inherent to magic polygons.
Degree powers in graphs with a forbidden forest
Published
• View Publication
• BIB
Given a positive integer $p$ and a graph $G$ with degree sequence $d_1,\dots,d_n$, we define $e_p(G)=\sum_{i=1}^n d_i^p$. Caro and Yuster introduced a Turán-type problem for $e_p(G)$: Given a positive integer $p$ and a graph $H$, determine the function $ex_p(n,H)$, which is the maximum value of $e_p(G)$ taken over all graphs $G$ on $n$ vertices that do not contain $H$ as a subgraph. Clearly, $ex_1(n,H)=2ex(n,H)$, where $ex(n,H)$ denotes the classical Turán number. Caro and Yuster determined the function $ex_p(n, P_\ell)$ for sufficiently large $n$, where $p\geq 2$ and $P_\ell$ denotes the path on $\ell$ vertices. In this paper, we generalise this result and determine $ex_p(n,F)$ for sufficiently large $n$, where $p\geq 2$ and $F$ is a linear forest. We also determine $ex_p(n,S)$, where $S$ is a star forest; and $ex_p(n,B)$, where $B$ is a broom graph with diameter at most six.