Showing 20 papers (Total: 82661 papers, 47773 authors in database)
On the Existence of $t$-Identifying Codes in Undirected De Bruijn Graphs
This paper proves the existence of $t$-identifying codes on the class of undirected de Bruijn graphs with string length $n$ and alphabet size $d$, referred to as $\mathcal{B}(d,n)$. It is shown that $\mathcal{B}(d,n)$ is $t$-identifiable whenever $d \geq 3$ and $n \geq 2t$, and $t \geq 1$. We also show that $\mathcal{B}(d,n)$ is $t$-identifiable if either $d \geq 3$, $n \geq 3$, and $t=2$, or if $d = 2$, $n \geq 3$, and $t=1$. The remaining cases remain open. Additionally, we show that the eccentricity of the undirected non-binary de Bruijn graph is $n$.
Equivariant K-theory of Grassmannians II: The Knutson-Vakil conjecture
Published in Compositio Math. 153 (2017) 667-677
• View Publication
• BIB
In 2005, A. Knutson--R. Vakil conjectured a puzzle rule for equivariant K-theory of Grassmannians. We resolve this conjecture. After giving a correction, we establish a modified rule by combinatorially connecting it to the authors' recently proved tableau rule for the same Schubert calculus problem.
The Waldschmidt constant for squarefree monomial ideals
Published
• View Publication
• BIB
Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constructed from the primary decomposition of $I$. Moreover, expressing $\widehatα(I)$ as the solution to a linear program enables us to prove a Chudnovsky-like lower bound on $\widehatα(I)$, thus verifying a conjecture of Cooper-Embree-Hà-Hoefel for monomial ideals in the squarefree case. As an application, we compute the Waldschmidt constant and the resurgence for some families of squarefree monomial ideals. For example, we determine both constants for unions of general linear subspaces of $\mathbb{P}^n$ with few components compared to $n$, and we find the Waldschmidt constant for the Stanley-Reisner ideal of a uniform matroid.
A combinatorial approach to X-tolerant compaction circuits
Published in IEEE Transactions on Information Theory, 56 (2010) 3196-3206
• View Publication
• BIB
Test response compaction for integrated circuits (ICs) with scan-based design-for-testability (DFT) support in the presence of unknown logic values (Xs) is investigated from a combinatorial viewpoint. The theoretical foundations of X-codes, employed in an X-tolerant compaction technique called X-compact, are examined. Through the formulation of a combinatorial model of X-compact, novel design techniques are developed for X-codes to detect a specified maximum number of errors in the presence of a specified maximum number of unknown logic values, while requiring only small fan-out. The special class of X-codes that results leads to an avoidance problem for configurations in combinatorial designs. General design methods and nonconstructive existence theorems to estimate the compaction ratio of an optimal X-compactor are also derived.
Asymptotic triangulations and Coxeter transformations of the annulus
Published
• View Publication
• BIB
Asymptotic triangulations can be viewed as limits of triangulations under the action of the mapping class group. In the case of the annulus, such triangulations have been introduced by Baur and Dupont. We construct an alternative method of obtaining these asymptotic triangulations using Coxeter transformations. This provides us with an algebraic and combinatorial framework for studying these limits via the associated quivers.
Structural Theory of 2-d Adinkras
Published
• View Publication
• BIB
Adinkras are combinatorial objects developed to study 1-dimensional supersymmetry representations. Recently, 2-d Adinkras have been developed to study 2-dimensional supersymmetry. In this paper, we classify all 2-d Adinkras, confirming a conjecture of T. Hübsch. Along the way, we obtain other structural results, including a simple characterization of Hübsch's even-split doubly even code.
Local geometry of the k-curve graph
Published
• View Publication
• BIB
Let $S$ be an orientable surface with negative Euler characteristic. For $k \in \mathbb{N}$, let $\mathcal{C}_{k}(S)$ denote the $\textit{k-curve graph}$, whose vertices are isotopy classes of essential simple closed curves on $S$, and whose edges correspond to pairs of curves that can be realized to intersect at most $k$ times. The theme of this paper is that the geometry of Teichmüller space and of the mapping class group captures local combinatorial properties of $\mathcal{C}_{k}(S)$. Using techniques for measuring distance in Teichmüller space, we obtain upper bounds on the following three quantities for large $k$: the clique number of $\mathcal{C}_{k}(S)$ (exponential in $k$, which improves on all previously known bounds and which is essentially sharp); the maximum size of the intersection, whenever it is finite, of a pair of links in $\mathcal{C}_{k}$ (quasi-polynomial in $k$); and the diameter in $\mathcal{C}_{0}(S)$ of a large clique in $\mathcal{C}_{k}(S)$ (uniformly bounded). As an application, we obtain quasi-polynomial upper bounds, depending only on the topology of $S$, on the number of short simple closed geodesics on any square-tiled surface homeomorphic to $S$.
Graph realizations constrained by skeleton graphs
Published in The Electronic Journal of Combinatorics, 24 (2) (2017), #P2.47
• Search Publication
In 2008 Amanatidis, Green and Mihail introduced the Joint Degree Matrix (JDM) model to capture the fundamental difference in assortativity of networks in nature studied by the physical and life sciences and social networks studied in the social sciences. In 2014 Czabarka proposed a direct generalization of the JDM model, the Partition Adjacency Matrix (PAM) model. In the PAM model the vertices have specified degrees, and the vertex set itself is partitioned into classes. For each pair of vertex classes the number of edges between the classes in a graph realization is prescribed. In this paper we apply the new {\em skeleton graph} model to describe the same information as the PAM model. Our model is more convenient for handling problems with low number of partition classes or with special topological restrictions among the classes. We investigate two particular cases in detail: (i) when there are only two vertex classes and (ii) when the skeleton graph contains at most one cycle.
The numbers of edges of the order polytope and the chain poyltope of a finite partially ordered set
Published
• View Publication
• BIB
Let $P$ be an arbitrary finite partially ordered set. It will be proved that the number of edges of the order polytope ${\mathcal O}(P)$ is equal to that of the chain polytope ${\mathcal C}(P)$. Furthermore, it will be shown that the degree sequence of the finite simple graph which is the $1$-skeleton of ${\mathcal O}(P)$ is equal to that of ${\mathcal C}(P)$ if and only if ${\mathcal O}(P)$ and ${\mathcal C}(P)$ are unimodularly equivalent.
Multi-Switch: a Tool for Finding Potential Edge-Disjoint $1$-factors
Published
• View Publication
• BIB
Let $n$ be even, let $π= (d_1, \ldots, d_n)$ be a graphic degree sequence, and let $π- k = (d_1 - k, \ldots, d_n - k)$ also be graphic. Kundu proved that $π$ has a realization $G$ containing a $k$-factor, or $k$-regular graph. Another way to state the conclusion of Kundu's theorem is that $π$ \emph{potentially} contains a $k$-factor.
Busch, Ferrara, Hartke, Jacobsen, Kaul, and West conjectured that more was true: $π$ potentially contains $k$ edge-disjoint $1$-factors. Along these lines, they proved $π$ would potentially contain edge-disjoint copies of a $(k-2)$-factor and two $1$-factors.
We follow the methods of Busch et al.\ but introduce a new tool which we call a multi-switch. Using this new idea, we prove that $π$ potentially has edge-disjoint copies of a $(k-4)$-factor and four $1$-factors. We also prove that $π$ potentially has ($\lfloor k/2 \rfloor + 2$) edge-disjoint $1$-factors, but in this case cannot prove the existence of a large regular graph.
Super-simple (v, 4, 2) directed designs and a lower bound for the minimum size of their defining set
Published
• View Publication
• BIB
In this paper, we show that for all v\pmod 1 (mod 3), there exists a super- simple (v, 4, 2) directed design. Also, we show that for these parameters there exists a super-simple (v, 4, 2) directed design whose each defining set has at least a half of the blocks.
Bounds on equiangular lines and on related spherical codes
Published
• View Publication
• BIB
An $L$-spherical code is a set of Euclidean unit vectors whose pairwise inner products belong to the set $L$. We show, for a fixed $α,β>0$, that the size of any $[-1,-β]\cup\{α\}$-spherical code is at most linear in the dimension.
In particular, this bound applies to sets of lines such that every two are at a fixed angle to each another.
A family of sequences of binomial type
Published in Probability and Mathematical Statistics, (2013) 33.2, 401-408
• Search Publication
For delta operator $aD-bD^{p+1}$ we find the corresponding polynomial sequence of binomial type and relations with Fuss numbers. In the case $D-\frac{1}{2}D^2$ we show that the corresponding Bessel-Carlitz polynomials are moments of the convolution semigroup of inverse Gaussian distributions. We also find probability distributions $ν_{t}$, $t>0$, for which $\left\{y_{n}(t)\right\}$, the Bessel polynomials at $t$, is the moment sequence.
Ranks of matrices with few distinct entries
Published
• View Publication
• BIB
An $L$-matrix is a matrix whose off-diagonal entries belong to a set $L$, and whose diagonal is zero. Let $N(r,L)$ be the maximum size of a square $L$-matrix of rank at most $r$. Many applications of linear algebra in extremal combinatorics involve a bound on $N(r,L)$. We review some of these applications, and prove several new results on $N(r,L)$. In particular, we classify the sets $L$ for which $N(r,L)$ is linear, and show that if $N(r,L)$ is superlinear and $L\subset \mathbb{Z}$, then $N(r,L)$ is at least quadratic.
As a by-product of the work, we asymptotically determine the maximum multiplicity of an eigenvalue $λ$ in an adjacency matrix of a digraph of a given size.
What makes a neural code convex?
Published
• View Publication
• BIB
Neural codes allow the brain to represent, process, and store information about the world. Combinatorial codes, comprised of binary patterns of neural activity, encode information via the collective behavior of populations of neurons. A code is called convex if its codewords correspond to regions defined by an arrangement of convex open sets in Euclidean space. Convex codes have been observed experimentally in many brain areas, including sensory cortices and the hippocampus, where neurons exhibit convex receptive fields. What makes a neural code convex? That is, how can we tell from the intrinsic structure of a code if there exists a corresponding arrangement of convex open sets? In this work, we provide a complete characterization of local obstructions to convexity. This motivates us to define max intersection-complete codes, a family guaranteed to have no local obstructions. We then show how our characterization enables one to use free resolutions of Stanley-Reisner ideals in order to detect violations of convexity. Taken together, these results provide a significant advance in understanding the intrinsic combinatorial properties of convex codes.
Interval edge-colorings of composition of graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with consecutive integers $c_{1},\ldots,c_{t}$ is called an \emph{interval $t$-coloring} if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. The set of all interval colorable graphs is denoted by $\mathfrak{N}$. In 2004, Giaro and Kubale showed that if $G,H\in \mathfrak{N}$, then the Cartesian product of these graphs belongs to $\mathfrak{N}$. In the same year they formulated a similar problem for the composition of graphs as an open problem. Later, in 2009, the first author showed that if $G,H\in \mathfrak{N}$ and $H$ is a regular graph, then $G[H]\in \mathfrak{N}$. In this paper, we prove that if $G\in \mathfrak{N}$ and $H$ has an interval coloring of a special type, then $G[H]\in \mathfrak{N}$. Moreover, we show that all regular graphs, complete bipartite graphs and trees have such a special interval coloring. In particular, this implies that if $G\in \mathfrak{N}$ and $T$ is a tree, then $G[T]\in \mathfrak{N}$.
Some halting problems for abelian sandpiles are undecidable in dimension three
Published
• View Publication
• BIB
The abelian sandpile model is a simple combinatorial model for critical behaviour which has the "abelian property" that the order in which we make moves does not change the final outcome of the game. This might seem to restrict the model's computational ability, but we show that, given three dimensions to work with, the sandpile is able to simulate a Turing machine. We use that to prove the undecidability of three halting problems.
Stochastic safety radius on Neighbor-Joining method and Balanced Minimal Evolution on small trees
A distance-based method to reconstruct a phylogenetic tree with $n$ leaves takes a distance matrix, $n \times n$ symmetric matrix with $0$s in the diagonal, as its input and reconstructs a tree with $n$ leaves using tools in combinatorics. A safety radius is a radius from a tree metric (a distance matrix realizing a true tree) within which the input distance matrices must all lie in order to satisfy a precise combinatorial condition under which the distance-based method is guaranteed to return a correct tree. A stochastic safety radius is a safety radius under which the distance-based method is guaranteed to return a correct tree within a certain probability. In this paper we investigated stochastic safety radii for the neighbor-joining (NJ) method and balanced minimal evolution (BME) method for $n = 5$.
Lower Bounds on the Distance Domination Number of a Graph
Published
• View Publication
• BIB
For an integer $k \ge 1$, a (distance) $k$-dominating set of a connected graph $G$ is a set $S$ of vertices of $G$ such that every vertex of $V(G) \setminus S$ is at distance at most~$k$ from some vertex of $S$. The $k$-domination number, $γ_k(G)$, of $G$ is the minimum cardinality of a $k$-dominating set of $G$. In this paper, we establish lower bounds on the $k$-domination number of a graph in terms of its diameter, radius and girth. We prove that for connected graphs $G$ and $H$, $γ_k(G \times H) \ge γ_k(G) + γ_k(H) -1$, where $G \times H$ denotes the direct product of $G$ and $H$.
Compact Brownian surfaces I. Brownian disks
Published
• View Publication
• BIB
We show that, under certain natural assumptions, large random plane bipartite maps with a boundary converge after rescaling to a one-parameter family ($\mathrm{BD}_L$, $0 < L < \infty$) of random metric spaces homeomorphic to the closed unit disk of $\mathbb{R}^2$, the space $\mathrm{BD}_L$ being called the Brownian disk of perimeter $L$ and unit area. These results can be seen as an extension of the convergence of uniform plane quadrangulations to the Brownian map, which intuitively corresponds to the limit case where $L = 0$. Similar results are obtained for maps following a Boltzmann distribution, in which the perimeter is fixed but the area is random.