Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Density theorems for intersection graphs of t-monotone curves
Published
• View Publication
• BIB
A curve γin the plane is t-monotone if its interior has at most t-1 vertical tangent points. A family of t-monotone curves F is \emph{simple} if any two members intersect at most once. It is shown that if F is a simple family of n t-monotone curves with at least εn^2 intersecting pairs (disjoint pairs), then there exists two subfamilies F_1,F_2 \subset F of size δn each, such that every curve in F_1 intersects (is disjoint to) every curve in F_2, where δdepends only on ε. We apply these results to find pairwise disjoint edges in simple topological graphs.
Ramanujan's {_1ψ_1} summation
Published in Notices of the AMS, 60, Number 1 (2013), 18-22
• Search Publication
This paper gives a short but reasonably comprehensive review of Ramanujan's {_1ψ_1} summation and its generalisations. It covers the history of Ramanujan's summation, simple applications to sums of squares and orthogonal polynomials, non-commutative generalisations, and generalisations to affine root systems.
Moduli Spaces of Arrangements of 10 Projective Lines with Quadruple Points
Published
• View Publication
• BIB
We classify moduli spaces of arrangements of 10 lines with quadruple points. We show that moduli spaces of arrangements of 10 lines with quadruple points may consist of more than 2 disconnected components, namely 3 or 4 distinct points. We also present defining equations to those arrangements whose moduli spaces are still reducible after taking quotients of complex conjugations.
Combinatorial degree bound for toric ideals of hypergraphs
Published
• View Publication
• BIB
Associated to any hypergraph is a toric ideal encoding the algebraic relations among its edges. We study these ideals and the combinatorics of their minimal generators, and derive general degree bounds for both uniform and non-uniform hypergraphs in terms of balanced hypergraph bicolorings, separators, and splitting sets. In turn, this provides complexity bounds for algebraic statistical models associated to hypergraphs. As two main applications, we recover a well-known complexity result for Markov bases of arbitrary 3-way tables, and we show that the defining ideal of the tangential variety is generated by quadratics and cubics in cumulant coordinates.
Laurent phenomenon algebras
Published
• View Publication
• BIB
We generalize Fomin and Zelevinsky's cluster algebras by allowing exchange polynomials to be arbitrary irreducible polynomials, rather than binomials.
Linear Laurent phenomenon algebras
Published
• View Publication
• BIB
In [LP] we introduced Laurent phenomenon algebras, a generalization of cluster algebras. Here we give an explicit description of Laurent phenomenon algebras with a linear initial seed arising from a graph. In particular, any graph associahedron is shown to be the dual cluster complex for some Laurent phenomenon algebra.
A Construction of Quantum LDPC Codes from Cayley Graphs
Published in IEEE Trans. Inform. Theory. 59(9). 6087-6098. 2013
• View Publication
• BIB
We study a construction of Quantum LDPC codes proposed by MacKay, Mitchison and Shokrollahi. It is based on the Cayley graph of Fn together with a set of generators regarded as the columns of the parity-check matrix of a classical code. We give a general lower bound on the minimum distance of the Quantum code in $\mathcal{O}(dn^2)$ where d is the minimum distance of the classical code. When the classical code is the $[n, 1, n]$ repetition code, we are able to compute the exact parameters of the associated Quantum code which are $[[2^n, 2^{\frac{n+1}{2}}, 2^{\frac{n-1}{2}}]]$.
Robust exponential binary pattern storage in Little-Hopfield networks
The Little-Hopfield network is an auto-associative computational model of neural memory storage and retrieval. This model is known to robustly store collections of randomly generated binary patterns as stable-states of the network dynamics. However, the number of binary memories so storable scales linearly in the number of neurons, and it has been a long-standing open problem whether robust exponential storage of binary patterns was possible in such a network memory model. In this note, we design simple families of Little-Hopfield networks that provably solve this problem affirmatively. As a byproduct, we produce a set of novel (nonlinear) binary codes with an efficient, highly parallelizable denoising mechanism.
Lectures on Self-Avoiding Walks
These lecture notes provide a rapid introduction to a number of rigorous results on self-avoiding walks, with emphasis on the critical behaviour. Following an introductory overview of the central problems, an account is given of the Hammersley--Welsh bound on the number of self-avoiding walks and its consequences for the growth rates of bridges and self-avoiding polygons. A detailed proof that the connective constant on the hexagonal lattice equals $\sqrt{2+\sqrt{2}}$ is then provided. The lace expansion for self-avoiding walks is described, and its use in understanding the critical behaviour in dimensions $d>4$ is discussed. Functional integral representations of the self-avoiding walk model are discussed and developed, and their use in a renormalisation group analysis in dimension 4 is sketched. Problems and solutions from tutorials are included.
Sumsets in primes containing almost all even positive integers
Let $A$ be a subset of primes up to $x$. If we assume $A$ is well-distributed (in the Siegel-Walfisz sense) in any arithmetic progressions to moduli $q\leqslant(\log x)^c$ for any $c>0$, then the sumset $A+A$ has density 1/2 in the natural numbers as $x$ tends to infinity, which also yields almost all even positive integers could be represented as the sums of two primes in $A$ as $x$ tends to infinity. This result, improving the previous results in such special case, could be compared with the classical estimation for the exceptional set of binary Goldbach problem.
GL-equivariant modules over polynomial rings in infinitely many variables
Published in Trans. Amer. Math. Soc. 368 (2016), 1097-1158
• View Publication
• BIB
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly.
Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellenberg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable.
Flows on Simplicial Complexes
Published in Discrete Mathematics & Theoretical Computer Science Proc. AR (2012), 817-826 (Proceedings of FPSAC'12)
• View Publication
• BIB
Given a graph $G$, the number of nowhere-zero $\ZZ_q$-flows $φ_G(q)$ is known to be a polynomial in $q$. We extend the definition of nowhere-zero $\ZZ_q$-flows to simplicial complexes $Δ$ of dimension greater than one, and prove the polynomiality of the corresponding function $φ_Δ(q)$ for certain $q$ and certain subclasses of simplicial complexes.
Bounding the fractional chromatic number of $K_Δ$-free graphs
Published
• View Publication
• BIB
King, Lu, and Peng recently proved that for $Δ\geq 4$, any $K_Δ$-free graph with maximum degree $Δ$ has fractional chromatic number at most $Δ-\tfrac{2}{67}$ unless it is isomorphic to $C_5\boxtimes K_2$ or $C_8^2$. Using a different approach we give improved bounds for $Δ\geq 6$ and pose several related conjectures. Our proof relies on a weighted local generalization of the fractional relaxation of Reed's $ω$, $Δ$, $χ$ conjecture.
Monochromatic triangles in three-coloured graphs
Published
• View Publication
• BIB
In 1959, Goodman determined the minimum number of monochromatic triangles in a complete graph whose edge set is two-coloured. Goodman also raised the question of proving analogous results for complete graphs whose edge sets are coloured with more than two colours. In this paper, we determine the minimum number of monochromatic triangles and the colourings which achieve this minimum in a sufficiently large three-coloured complete graph.
Independent sets in edge-clique graphs
We show that the edge-clique graphs of cocktail party graphs have unbounded rankwidth. This, and other observations lead us to conjecture that the edge-clique cover problem is NP-complete for cographs. We show that the independent set problem on edge-clique graphs of cographs and of distance-hereditary graphs can be solved in O(n^4) time. We show that the independent set problem on edge-clique graphs of graphs without odd wheels remains NP-complete.
On an Extremal Hypergraph Problem Related to Combinatorial Batch Codes
Published
• View Publication
• BIB
Let $n, r, k$ be positive integers such that $3\leq k < n$ and $2\leq r \leq k-1$. Let $m(n, r, k)$ denote the maximum number of edges an $r$-uniform hypergraph on $n$ vertices can have under the condition that any collection of $i$ edges, span at least $i$ vertices for all $1 \leq i \leq k$. We are interested in the asymptotic nature of $m(n, r, k)$ for fixed $r$ and $k$ as $n \rightarrow \infty$. This problem is related to the forbidden hypergraph problem introduced by Brown, Erdős, and Sós and very recently discussed in the context of combinatorial batch codes. In this short paper we obtain the following results. {enumerate}[(i)] Using a result due to Erdős we are able to show $m(n, k, r) = o(n^r)$ for $7\leq k$, and $3 \leq r \leq k-1-\lceil\log k \rceil$. This result is best possible with respect to the upper bound on $r$ as we subsequently show through explicit construction that for $6 \leq k$, and $k-\lceil \log k \rceil \leq r \leq k-1, m(n, r, k) = Θ(n^r)$.
This explicit construction improves on the non-constructive general lower bound obtained by Brown, Erdős, and Sós for the considered parameter values. For 2-uniform CBCs we obtain the following results. {enumerate} We provide exact value of $m(n, 2, 5)$ for $n \geq 5$. Using a result of Lazebnik,et al. regarding maximum size of graphs with large girth, we improve the existing lower bound on $m(n, 2, k)$ ($Ω(n^{\frac{k+1}{k-1}})$) for all $k \geq 8$ and infinitely many values of $n$. We show $m(n, 2, k) = O(n^{1+\frac{1}{\lfloor\frac{k}{4}\rfloor}})$ by using a result due to Bondy and Simonovits, and also show $m(n, 2, k) = Θ(n^{3/2})$ for $k = 6, 7, 8$ by using a result of Kövari, Sós, and Turán.
Semisymmetric graphs of order $2p^3$
A simple undirected graph is said to be {\em semisymmetric} if it is regular and edge-transitive but not vertex-transitive. Every semisymmetric graph is a bipartite graph with two parts of equal size. It was proved in [{\em J. Combin. Theory Ser. B} {\bf 3}(1967), 215-232] that there exist no semisymmetric graphs of order $2p$ and $2p^2$, where $p$ is a prime. The classification of semisymmetric graphs of order $2pq$ was given in [{\em Comm. in Algebra} {\bf 28}(2000), 2685-2715], for any distinct primes $p$ and $q$. Our long term goal is to determine all the semisymmetric graphs of order $2p^3$, for any prime $p$. All these graphs $\G$ are divided into two subclasses: (I) $\Aut(\G)$ acts unfaithfully on at least one bipart; and (II) $\Aut(\G)$ acts faithfully on both biparts. This paper gives a group theoretical characterization for Subclass (I) and based on this characterization, we shall give a complete classification for this subclass in our further research.
On the existence and number of $(k+1)$-kings in $k$-quasi-transitive digraphs
Published
• View Publication
• BIB
Let $D=(V(D), A(D))$ be a digraph and $k \ge 2$ an integer. We say that $D$ is $k$-quasi-transitive if for every directed path $(v_0, v_1,..., v_k)$ in $D$, then $(v_0, v_k) \in A(D)$ or $(v_k, v_0) \in A(D)$. Clearly, a 2-quasi-transitive digraph is a quasi-transitive digraph in the usual sense.
Bang-Jensen and Gutin proved that a quasi-transitive digraph $D$ has a 3-king if and only if $D$ has a unique initial strong component and, if $D$ has a 3-king and the unique initial strong component of $D$ has at least three vertices, then $D$ has at least three 3-kings. In this paper we prove the following generalization: A $k$-quasi-transitive digraph $D$ has a $(k+1)$-king if and only if $D$ has a unique initial strong component, and if $D$ has a $(k+1)$-king then, either all the vertices of the unique initial strong components are $(k+1)$-kings or the number of $(k+1)$-kings in $D$ is at least $(k+2)$.
Toric algebra of hypergraphs
The edges of any hypergraph parametrize a monomial algebra called the edge subring of the hypergraph. We study presentation ideals of these edge subrings, and describe their generators in terms of balanced walks on hypergraphs. Our results generalize those for the defining ideals of edge subrings of graphs, which are well-known in the commutative algebra community, and popular in the algebraic statistics community. One of the motivations for studying toric ideals of hypergraphs comes from algebraic statistics, where generators of the toric ideal give a basis for random walks on fibers of the statistical model specified by the hypergraph. Further, understanding the structure of the generators gives insight into the model geometry.
On the fractional metric dimension of corona product graphs and lexicographic product graphs
A vertex $x$ in a graph $G$ resolves two vertices $u$, $v$ of $G$ if the distance between $u$ and $x$ is not equal to the distance between $v$ and $x$. A function $g$ from the vertex set of $G$ to $[0,1]$ is a resolving function of $G$ if $g(R_G\{u,v\})\geq 1$ for any two distinct vertices $u$ and $v$, where $R_G\{u,v\}$ is the set of vertices resolving $u$ and $v$. The real number $\sum_{v\in V(G)}g(v)$ is the weight of $g$. The minimum weight of all resolving functions for $G$ is called the fractional metric dimension of $G$, denoted by $\dim_f(G)$. In this paper we reduce the problem of computing the fractional metric dimension of corona product graphs and lexicographic product graphs, to the problem of computing some parameters of the factor graphs.