Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Hypergraph Models of Biological Networks to Identify Genes Critical to Pathogenic Viral Response
Published
• View Publication
• BIB
Background: Representing biological networks as graphs is a powerful approach to reveal underlying patterns, signatures, and critical components from high-throughput biomolecular data. However, graphs do not natively capture the multi-way relationships present among genes and proteins in biological systems. Hypergraphs are generalizations of graphs that naturally model multi-way relationships and have shown promise in modeling systems such as protein complexes and metabolic reactions. In this paper we seek to understand how hypergraphs can more faithfully identify, and potentially predict, important genes based on complex relationships inferred from genomic expression data sets.
Results: We compiled a novel data set of transcriptional host response to pathogenic viral infections and formulated relationships between genes as a hypergraph where hyperedges represent significantly perturbed genes, and vertices represent individual biological samples with specific experimental conditions. We find that hypergraph betweenness centrality is a superior method for identification of genes important to viral response when compared with graph centrality.
Conclusions: Our results demonstrate the utility of using hypergraphs to represent complex biological systems and highlight central important responses in common to a variety of highly pathogenic viruses.
Directed Graphs from Exact Covering Systems
Published in Journal of Integer Sequences 25 (2022), 22.2.4
• Search Publication
Given an exact covering system $S = \{a_i$ (mod $d_i$) $: 1 \leq i \leq r\}$, we introduce the corresponding exact covering system digraph (ECSD) $G_S = G(d_1n+a_1, \ldots, d_rn+a_r)$. The vertices of $G_S$ are the integers and the edges are $(n, d_in+a_i)$ for each $n \in \mathbb{Z}$ and for each congruence in the covering system. We study the structure of these directed graphs, which have finitely many components, one cycle per component, as well as indegree 1 and outdegree $r$ at each vertex. We also explore the link between ECSDs that have a single component and non-standard digital representations of integers.
$K$-theoretic Catalan functions
Published
• View Publication
• BIB
We prove that the $K$-$k$-Schur functions are part of a family of inhomogenous symmetric functions whose top homogeneous components are Catalan functions, the Euler characteristics of certain vector bundles on the flag variety. Lam-Schilling-Shimozono identified the $K$-$k$-Schur functions as Schubert representatives for $K$-homology of the affine Grassmannian for SL$_{k+1}$. Our perspective reveals that the $K$-$k$-Schur functions satisfy a shift invariance property, and we deduce positivity of their branching coefficients from a positivity result of Baldwin and Kumar. We further show that a slight adjustment of our formulation for $K$-$k$-Schur functions produces a second shift-invariant basis which conjecturally has both positive branching and a rectangle factorization property. Building on work of Ikeda-Iwao-Maeno, we conjecture that this second basis gives the images of the Lenart-Maeno quantum Grothendieck polynomials under a $K$-theoretic analog of the Peterson isomorphism.
The distance spectrum of the complements of graphs of diameter greater than three
Published
• View Publication
• BIB
Suppose that $G$ is a connected simple graph with the vertex set $V( G ) = \{ v_1,v_2,\cdots ,v_n \} $. Let $d( v_i,v_j ) $ be the distance between $v_i$ and $v_j$. Then the distance matrix of $G$ is $D( G ) =( d_{ij} )_{n\times n}$, where $d_{ij}=d( v_i,v_j ) $. Since $D( G )$ is a non-negative real symmetric matrix, its eigenvalues can be arranged $λ_1(G)\ge λ_2(G)\ge \cdots \ge λ_n(G)$, where eigenvalues $λ_1(G)$ and $λ_n(G)$ are called the distance spectral radius and the least distance eigenvalue of $G$, respectively. The {\it diameter} of graph $G$ is the farthest distance between all pairs of vertices. In this paper, we determine the unique graph whose distance spectral radius attains maximum and minimum among all complements of graphs of diameter greater than three, respectively. Furthermore, we also characterize the unique graph whose least distance eigenvalue attains maximum and minimum among all complements of graphs of diameter greater than three, respectively.
On the directions determined by Cartesian products and the clique number of generalized Paley graphs
Published in Integers 21 (2021), Paper No. A51, 31 pp
• Search Publication
It is known that the number of directions formed by a Cartesian product $A \times B \subset AG(2,p)$ is at least $|A||B| - \min\{|A|,|B|\} + 2$, provided $p$ is prime and $|A||B|<p$. This implies the best known upper bound on the clique number of the Paley graph over $\mathbb{F}_p$. In this paper, we extend this result to $AG(2,q)$, where $q$ is a prime power. We also give improved upper bounds on the clique number of generalized Paley graphs over $\mathbb{F}_q$. In particular, for a cubic Paley graph, we improve the trivial upper bound $\sqrt{q}$ to $0.769\sqrt{q}+1$. In general, as an application of our key result on the number of directions, for any positive function $h$ such that $h(x)=o(x)$ as $x \to \infty$, we improve the trivial upper bound $\sqrt{q}$ to $\sqrt{q}-h(p)$ for almost all non-squares $q$.
Elastic elements in 3-connected matroids
Published
• View Publication
• BIB
It follows by Bixby's Lemma that if $e$ is an element of a $3$-connected matroid $M$, then either ${\rm co}(M\delete e)$, the cosimplification of $M\delete e$, or ${\rm si}(M/e)$, the simplification of $M/e$, is $3$-connected. A natural question to ask is whether $M$ has an element $e$ such that both ${\rm co}(M\delete e)$ and ${\rm si}(M/e)$ are $3$-connected. Calling such an element "elastic", in this paper we show that if $|E(M)|\ge 4$, then $M$ has at least four elastic elements provided $M$ has no $4$-element fans and, up to duality, $M$ has no $3$-separating set $S$ that is the disjoint union of a rank-$2$ subset and a corank-$2$ subset of $E(M)$ such that $M|S$ is isomorphic to a member or a single-element deletion of a member of a certain family of matroids.
Substitution discrete plane tilings with $2n$-fold rotational symmetry for odd n
Published
• View Publication
• BIB
We study substitution tilings that are also discrete plane tilings, that is, satisfy a relaxed version of cut-and-projection. We prove that the Sub Rosa substitution tilings with a 2n-fold rotational symmetry for odd n greater than 5 defined by Kari and Rissanen are not discrete planes, and therefore not cut-and-project tilings either. We then define new Planar Rosa substitution tilings with a 2n-fold rotational symmetry for any odd n, and show that these satisfy the discrete plane condition. The tilings we consider are edge-to-edge rhombus tilings. We give an explicit construction for the 10-fold case, and provide a construction method for the general case of any odd n.
Toward a Combinatorial Theory of SET and Related Card Games
We define a natural equivalence relation on collections of cards from the card game SET, and enumerate some of the equivalence classes, vastly generalizing the standard game. On this basis, we describe several alternative games for the SET deck, including the game of STUN, in which the goal is to find three cards with exactly two values in each attribute.
The Limit Shape of the Leaky Abelian Sandpile Model
Published
• View Publication
• BIB
The leaky abelian sandpile model (Leaky-ASM) is a growth model in which $n$ grains of sand start at the origin in $\mathbb{Z}^2$ and diffuse along the vertices according to a toppling rule. A site can topple if its amount of sand is above a threshold. In each topple a site sends some sand to each neighbor and leaks a portion $1-1/d$ of its sand. We compute the limit shape as a function of $d$ in the symmetric case where each topple sends an equal amount of sand to each neighbor. The limit shape converges to a circle as $d\to 1$ and a diamond as $d\to\infty$. We compute the limit shape by comparing the odometer function at a site to the probability that a killed random walk dies at that site. When $d\to 1$ the Leaky-ASM converges to the abelian sandpile model (ASM) with a modified initial configuration. We also prove the limit shape is a circle when simultaneously with $n\to\infty$ we have that $d=d_n$ converges to $1$ slower than any power of $n$. To gain information about the ASM faster convergence is necessary.
Fraisse classes with simply characterized big Ramsey degrees
We formulate a property strengthening the Disjoint Amalgamation Property and prove that every Fraisse structure in a finite relational language with relation symbols of arity at most two having this property has finite big Ramsey degrees which have a simple characterization. It follows that any such Fraisse structure admits a big Ramsey structure. Furthermore, we prove indivisibility for every Fraisse structure in an arbitrary finite relational language satisfying this property. This work offers a streamlined and unifying approach to Ramsey theory on some seemingly disparate classes of Fraisse structures. Novelties include a new formulation of coding trees in terms of 1-types over initial segments of the Fraisse structure, and a direct characterization of the degrees without appeal to the standard method of "envelopes".
Sums, products and dilates on sparse graphs
Published
• View Publication
• BIB
Let $A \subset \mathbb R$ and $G \subset A \times A$. We prove that, for any $λ\in \mathbb R \setminus \{-1,0,1\}$, \[ \max \{|A+_G A|, |A+_G λA|, |A\cdot_G A|\} \gg |G|^{6/11}. \]
Vertex-transitive graphs with local action the symmetric group on ordered pairs
Published
• View Publication
• BIB
We consider a finite, connected and simple graph $Γ$ that admits a vertex-transitive group of automorphisms $G$. Under the assumption that, for all $x \in V(Γ)$, the local action $G_x^{Γ(x)}$ is the action of $\mathrm{Sym}(n)$ on ordered pairs, we show that the group $G_x^{[3]}$, the pointwise stabiliser of a ball of radius three around $x$, is trivial.
Minimal and Disjoint Negation Sets in Signed Graphs
A signed graph is a graph with a function that assigns a label of positive or negative to each edge. The sign of a circle is the product of the signs of its edges; a graph is balanced if all of its circles are positive. A set of edges whose negation yields a balanced graph is a negation set. Results: tests to determine whether a negation set is minimal, minimum, or the unique minimum; any two disjoint negation sets must be bipartite; two classes of graphs are shown to have bipartite negation sets (in general, existence is an unsolved problem); I give an algorithm which finds a maximum family of disjoint negation sets that includes a given negation set.
Balanced incomplete block designs and exact satisfiability
The paper explores the correspondence between balanced incomplete block designs (BIBD) and certain linear CNF formulas by identifying the points of a block design with the clauses of the Boolean formula and blocks with Boolean variables. Parallel classes in BIBDs correspond to XSAT solutions in the corresponding formula. This correspondence allows for transfers of results from one field to the other. As a new result we deduce from known satisfiability theorems that the problem of finding a parallel class in a partially balanced incomplete block design is NP-complete.
Iterated differences sets, diophantine approximations and applications
Published in Journal of Combinatorial Theory, Series A, Volume 184 (2021). Paper No. 105520
• View Publication
• BIB
Let $v$ be an odd real polynomial (i.e. a polynomial of the form $\sum_{j=1}^\ell a_jx^{2j-1}$). We utilize sets of iterated differences to establish new results about sets of the form $\mathcal R(v,ε)=\{n\in\mathbb{N}\,|\,\|v(n)\|{<ε\}}$ where $\|\cdot\|$ denotes the distance to the closest integer. We then apply the new diophantine results to obtain applications to ergodic theory and combinatorics. In particular, we obtain a new characterization of weakly mixing systems as well as a new variant of Furstenberg-Sárközy theorem.
Well-Totally-Dominated Graphs
A subset of vertices in a graph is called a total dominating set if every vertex of the graph is adjacent to at least one vertex of this set. A total dominating set is called minimal if it does not properly contain another total dominating set. In this paper, we study graphs whose all minimal total dominating sets have the same size, referred to as well-totally-dominated (WTD) graphs. We first show that WTD graphs with bounded total domination number can be recognized in polynomial time. Then we focus on WTD graphs with total domination number two. In this case, we characterize triangle-free WTD graphs and WTD graphs with packing number two, and we show that there are only finitely many planar WTD graphs with minimum degree at least three. Lastly, we show that if the minimum degree is at least three then the girth of a WTD graph is at most 12. We conclude with several open questions.
Automated Counting of Restricted Motzkin Paths
Published
• View Publication
• BIB
Motzkin paths are simple yet important combinatorial objects. In this paper, we consider families of Motzkin paths with restrictions on peak heights, valley heights, upward-run lengths, downward-run lengths, and flat-run lengths. This paper presents two fully automated methods for enumerating the paths of such families. The first method uses numeric dynamic programming. While this method often times works, it can be slow and may not work for larger problems. The second method uses symbolic dynamic programming to solve such problems. These methods are implemented in the maple packages accompanying this article.
Graphs with at most two nonzero distinct absolute eigenvalues
In his survey "Beyond graph energy: Norms of graphs and matrices" (2016), Nikiforov proposed two problems concerning characterizing the graphs that attain equality in a lower bound and in a upper bound for the energy of a graph, respectively. We show that these graphs have at most two nonzero distinct absolute eigenvalues and investigate the proposed problems organizing our study according to the type of spectrum they can have. In most cases all graphs are characterized. Infinite families of graphs are given otherwise. We also show that all graphs satifying the properties required in the problems are integral, except for complete bipartite graphs $K_{p,q}$ and disconnected graphs with a connected component $K_{p,q}$, where $pq$ is not a perfect square.
Counting Hypergraphs with Large Girth
Published
• View Publication
• BIB
Morris and Saxton used the method of containers to bound the number of $n$-vertex graphs with $m$ edges containing no $\ell$-cycles, and hence graphs of girth more than $\ell$. We consider a generalization to $r$-uniform hypergraphs. The {\em girth} of a hypergraph $H$ is the minimum $\ell$ such that for some $F \subseteq H$, there exists a bijection $φ: E(C_\ell) \to E(F)$ with $e\subseteq φ(e)$ for all $e\in E(C_\ell)$. Letting $N_m^r(n,\ell)$ denote the number of $n$-vertex $r$-uniform hypergraphs with $m$ edges and girth larger than $\ell$ and defining $λ= \lceil (r - 2)/(\ell - 2)\rfloor$, we show \[ N_m^r(n,\ell) \leq N_m^2(n,\ell)^{r - 1 + λ}\] which is tight when $\ell - 2 $ divides $r - 2$ up to a $1 + o(1)$ term in the exponent. This result is used to address the extremal problem for subgraphs of girth more than $\ell$ in random $r$-uniform hypergraphs.
A Sylvester-Gallai theorem for cubic curves
Published
• View Publication
• BIB
We prove a variant of the Sylvester-Gallai theorem for cubics (algebraic curves of degree three): If a finite set of sufficiently many points in $\mathbb{R}^2$ is not contained in a cubic, then there is a cubic that contains exactly nine of the points. This resolves the first unknown case of a conjecture of Wiseman and Wilson from 1988, who proved a variant of Sylvester-Gallai for conics and conjectured that similar statements hold for curves of any degree.