Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Convergence of Pascal-Like Triangles in Parry-Bertrand Numeration Systems
Published
• View Publication
• BIB
We pursue the investigation of generalizations of the Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a finite word appears as a subsequence of another finite word. The finite words occurring in this paper belong to the language of a Parry numeration system satisfying the Bertrand property, i.e., we can add or remove trailing zeroes to valid representations. It is a folklore fact that the Sierpiński gasket is the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from the classical Pascal triangle modulo $2$. In a similar way, we describe and study the subset of $[0, 1] \times [0, 1]$ associated with the latter generalization of the Pascal triangle modulo a prime number.
Side Disks of a Spherical Great Polygon
Published in Forum Geometricorum (2018), 18: 195-201
• Search Publication
Take a circle and mark $n\in\mathbb{N}$ points on it designated as vertices. For any arc segment between two consecutive vertices which does not pass through any other vertex, there is a disk centered at its midpoint and has its end points on the boundary. We analyze intersection behaviour of these disks and show that the number of disjoint pairs among them is between $\frac{(n-2)(n-3)}{2}$ and $\frac{n(n-3)}{2}$ and their intersection graph is a subgraph of a triangulation of a convex $n$-gon.
Characterizing subclasses of cover-incomparability graphs by forbidden subposets
Published
• View Publication
• BIB
In this paper we continue investigations of cover-incomparability graphs of finite partially ordered sets (see \cite{Bres,Bres2,Bres3,Bres4} and \cite{Max,MaxDH}). We consider in some detail the distinction between cover-preserving subsets and isometric subsets of a partially ordered set. This is critical to understanding why forbidden subposet characterizations of certain classes of cover-incomparability graphs in \cite{Bres} and \cite{Bres3} are not valid as presented. Here we provide examples, investigate the root of the difficulties, and formulate and prove valid revisions of these characterizations.
On the determinants and permanents of matrices with restricted entries over prime fields
Published in Pacific J. Math. 300 (2019) 405-417
• View Publication
• BIB
Let $A$ be a set in a prime field $\mathbb{F}_p$. In this paper, we prove that $d\times d$ matrices with entries in $A$ determine almost $|A|^{3+\frac{1}{45}}$ distinct determinants and almost $|A|^{2-\frac{1}{6}}$ distinct permanents when $|A|$ is small enough.
Oddities of quantum colorings
Published in Baltic Journal on Modern Computing, 4(4), 846--859, 2016
• Search Publication
We study quantum analogs of graph colorings and chromatic number. Initially defined via an interactive protocol, quantum colorings can also be viewed as a natural operator relaxation of graph coloring. Since there is no known algorithm for producing nontrivial quantum colorings, the existing examples rely on ad hoc constructions. Almost all of the known constructions of quantum $d$-colorings start from $d$-dimensional orthogonal representations. We show the limitations of this method by exhibiting, for the first time, a graph with a 3-dimensional orthogonal representation which cannot be quantum 3-colored, and a graph that can be quantum 3-colored but has no 3-dimensional orthogonal representation. Together these examples show that the quantum chromatic number and orthogonal rank are not directly comparable as graph parameters. The former graph also provides an example of several interesting, and previously unknown, properties of quantum colorings. The most striking of these is that adding a new vertex adjacent to all other vertices does not necessarily increase the quantum chromatic number of a graph. This is in stark contrast to the chromatic number and many of its variants. This graph also provides the smallest known example (14 vertices) exhibiting a separation between chromatic number and its quantum analog.
The Structure of the Three-Dimensional Special Linear Group over a Local Field
For K a local field, it is shown that SL3(K) acts on a simply connected two dimensional simplicial complex in which a single face serves as a fundamental domain. From this it follows that SL3(K) is the generalized amalgamated product of three subgroups. Specifically if K is the field of fractions of the discrete valuation ring O, then SL3(K) is the amalgamation of three subgroups isomorphic to SL3(O) along pairwise intersections. This generalizes a theorem of Ihara, which gives the structure of SL2(K) as the amalgamated product of two groups in analogous fashion.
Restricted sum formula for finite and symmetric multiple zeta values
Published in Pacific J. Math. 303 (2019) 325-335
• View Publication
• BIB
The sum formula for finite and symmetric multiple zeta values, established by Wakabayashi and the authors, implies that if the weight and depth are fixed and the specified component is required to be more than one, then the values sum up to a rational multiple of the analogue of the Riemann zeta value. We prove that the result remains true if we further demand that the component should be more than two or that another component should also be more than one.
Spectral Radius of $\{0, 1\}$-Tensor with Prescribed Number of Ones
Published
• View Publication
• BIB
For any $r$-order $\{0, 1\}$-tensor $A$ with $e$ ones, we prove that the spectral radius of $A$ is at most $e^{\frac{r-1}{r}}$ with the equality holds if and only if $e={k^r}$ for some integer $k$ and all ones forms a principal sub-tensor ${\bf 1}_{k\times \cdots \times k}$. We also prove a stability result for general tensor $A$ with $e$ ones where $e=k^r+l$ with relatively small $l$. Using the stability result, we completely characterized the tensors achieving the maximum spectral radius among all $r$-order $\{0, 1\}$-tensor $A$ with $k^r+l$ ones, for $-r-1\leq l \leq r$, and $k$ sufficiently large.
What did Ryser Conjecture?
Two prominent conjectures by Herbert J. Ryser have been falsely attributed to a somewhat obscure conference proceedings that he wrote in German. Here we provide a translation of that paper and try to correct the historical record at least as far as what was conjectured in it. The two conjectures relate to transversals in Latin squares of odd order and to the relationship between the covering number and the matching number of multipartite hypergraphs.
The set of vertices with positive curvature in a planar graph with nonnegative curvature
Published
• View Publication
• BIB
In this paper, we give the sharp upper bound for the number of vertices with positive curvature in a planar graph with nonnegative combinatorial curvature. Based on this, we show that the automorphism group of a planar---possibly infinite---graph with nonnegative combinatorial curvature and positive total curvature is a finite group, and give an upper bound estimate for the order of the group.
Ascents in Non-Negative Lattice Paths
Published in 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol 110
• View Publication
• BIB
Non-negative Łukasiewicz paths are special two-dimensional lattice paths never passing below their starting altitude which have only one single special type of down step. They are well-known and -studied combinatorial objects, in particular due to their bijective relation to trees with given node degrees.
We study the asymptotic behavior of the number of ascents (i.e., the number of maximal sequences of consecutive up steps) of given length for classical subfamilies of general non-negative Łukasiewicz paths: those with arbitrary ending altitude, those ending on their starting altitude, and a variation thereof. Our results include precise asymptotic expansions for the expected number of such ascents as well as for the corresponding variance.
Deconvolving RNA Base Pairing Signals
Published
• View Publication
• BIB
A growing number of RNA sequences are now known to have distributions of multiple stable sequences. Recent algorithms use the list of nucleotides in a sequence and auxiliary experimental data to predict such distributions. Although the algorithms are largely successful in identifying a distribution's constituent structures, it remains challenging to recover their relative weightings. In this paper, we quantify this issue using a total variation distance. Then, we prove under a Nussinov-Jacobson model that a large proportion of RNA structure pairs cannot be jointly reconstructed with low total variation distance. Finally, we characterize the uncertainty in predicting conformational ratios by analyzing the amount of information in the auxiliary data.
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.