Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Topological inductive constructions for tight surface graphs
Published
• View Publication
• BIB
We investigate properties of sparse and tight surface graphs. In particular we derive topological inductive constructions for $(2, 2)$-tight surface graphs in the case of the sphere, the plane, the twice punctured sphere and the torus. In the case of the torus we identify all 116 irreducible base graphs and provide a geometric application involving contact graphs of configurations of circular arcs.
Uniformly positive correlations in the dimer model and phase transition in lattice permutations on $\mathbb{Z}^d$, $d > 2$, via reflection positivity
Our first main result is that correlations between monomers in the dimer model in $\mathbb{Z}^d$ do not decay to zero when $d > 2$. This is the first rigorous result about correlations in the dimer model in dimensions greater than two and shows that the model behaves drastically differently than in two dimensions, in which case it is integrable and correlations are known to decay to zero polynomially. Such a result is implied by our more general, second main result, which states the occurrence of a phase transition in the model of lattice permutations, which is related to the quantum Bose gas. More precisely, we consider a self-avoiding walk interacting with lattice permutations and we prove that, in the regime of fully-packed loops, such a walk is `long' and the distance between its end-points grows linearly with the diameter of the box. These results follow from the derivation of a version of the infrared bound from a new general probabilistic settings, with coloured loops and walks interacting at sites and walks entering into the system from some `virtual' vertices.
Probabilistic Zero Forcing on Random Graphs
Published
• View Publication
• BIB
Zero forcing is a deterministic iterative graph coloring process in which vertices are colored either blue or white, and in every round, any blue vertices that have a single white neighbor force these white vertices to become blue. Here we study probabilistic zero forcing, where blue vertices have a non-zero probability of forcing each white neighbor to become blue.
We explore the propagation time for probabilistic zero forcing on the Erdős-Réyni random graph $\Gnp$ when we start with a single vertex colored blue. We show that when $p=\log^{-o(1)}n$, then with high probability it takes $(1+o(1))\log_2\log_2n$ rounds for all the vertices in $\Gnp$ to become blue, and when $\log n/n\ll p\leq \log^{-O(1)}n$, then with high probability it takes $Θ(\log(1/p))$ rounds.
The Laplacian eigenvalue 2 of bicyclic graphs
If $G$ is a graph, its Laplacian is the difference between diagonal matrix of its vertex degrees and its adjacency matrix. A one-edge connection of two graphs $G_{1}$ and $G_{2}$ is a graph $G=G_{1}\odot G_{2}$ with $V(G)=V(G_{1})\cup V(G_{2})$ and $E(G)= E(G_{1})\cup E(G_{2})\cup \{e=uv\}$ where $u\in V(G_1)$ and $v\in V(G_2)$. In this paper, we consider the eigenvector of unicycle graphs. We study the relationship between the Laplacian eigenvalue $2$ of unicyclic graphs $G_1$ and $G_2$; and bicyclic graphs $G=G_{1}\odot G_{2}$. We also characterize the broken sun graphs and the one edge connection of two broken sun graphs by their Laplacian eigenvalue $2$.
Typical ranks in symmetric matrix completion
Published
• View Publication
• BIB
We study the problem of low-rank matrix completion for symmetric matrices. The minimum rank of a completion of a generic partially specified symmetric matrix depends only on the location of the specified entries, and not their values, if complex entries are allowed. When the entries are required to be real, this is no longer the case and the possible minimum ranks are called typical ranks. We give a combinatorial description of the patterns of specified entires of $n\times n$ symmetric matrices that have $n$ as a typical rank. Moreover, we describe exactly when such a generic partial matrix is minimally completable to rank $n$. We also characterize the typical ranks for patterns of entries with low maximal typical rank.
The steady-state degree and mixed volume of a chemical reaction network
Published
• View Publication
• BIB
The steady-state degree of a chemical reaction network is the number of complex steady-states, which is a measure of the algebraic complexity of solving the steady-state system. In general, the steady-state degree may be difficult to compute. Here, we give an upper bound to the steady-state degree of a reaction network by utilizing the underlying polyhedral geometry associated with the corresponding polynomial system. We focus on three case studies of infinite families of networks, each generated by joining smaller networks to create larger ones. For each family, we give a formula for the steady-state degree and the mixed volume of the corresponding polynomial system.
Towards classifying toric degenerations of cubic surfaces
We investigate the class of degenerations of smooth cubic surfaces which are obtained from degenerating their Cox rings to toric algebras. More precisely, we work in the spirit of Sturmfels and Xu who use the theory of Khovanskii bases to determine toric degenerations of Del Pezzo surfaces of degree 4 and who leave the question of classifying these degenerations in the degree 3 case as an open problem. In order to carry out this classification we describe an approach which is closely related to tropical geometry and present partial results in this direction.
Independent sets in hypergraphs with a forbidden link
Published
• View Publication
• BIB
We give a probabilistic construction of a $3$-uniform hypergraph on $N$ vertices with independence number $O(\log N / \log \log N)$ in which there are at most two edges among any four vertices. This bound is tight and solves a longstanding open problem of Erdős and Hajnal in Ramsey theory. We further extend this result to prove tight bounds on various other hypergraph Ramsey numbers.
The m=2 amplituhedron
The (tree) amplituhedron $\mathcal{A}_{n, k, m}$ is introduced by Arkani-Hamed and Trnka in 2013 in the study of $\mathcal{N}=4$ supersymmetric Yang-Mills theory. It is defined in terms of the totally nonnegative Grassmannians. In this paper, we show that the amplituhedron $\mathcal{A}_{n, k, m}$ for $m=2$ admits a triangulation. Our collection of cells is constructed via BCFW-type recursion. We also provide a diagrammatic interpretation of our construction.
New Results on Higher-Order Changhee Numbers and Polynomials
We derive new matrix representation for higher-order changhee numbers and polynomials. This helps us to obtain simple and short proofs of many previous results on higher-order changhee numbers and polynomials. Moreover, we obtain recurrence relations, explicit formulas and some new results for these numbers and polynomials. Furthermore, we investigate the relations between these numbers and polynomials and Stirling numbers, Norlund and Bernoulli numbers of higher-order. Some numerical results using Mathcad program are introduced.
Subspace Packings -- Constructions and Bounds
Published
• View Publication
• BIB
The Grassmannian $\mathcal{G}_q(n,k)$ is the set of all $k$-dimensional subspaces of the vector space $\mathbb{F}_q^n$. Kötter and Kschischang showed that codes in Grassmannian space can be used for error-correction in random network coding. On the other hand, these codes are $q$-analogs of codes in the Johnson scheme, i.e., constant dimension codes. These codes of the Grassmannian $\mathcal{G}_q(n,k)$ also form a family of $q$-analogs of block designs and they are called subspace designs. In this paper, we examine one of the last families of $q$-analogs of block designs which was not considered before. This family, called subspace packings, is the $q$-analog of packings, and was considered recently for network coding solution for a family of multicast networks called the generalized combination networks. A subspace packing $t$-$(n,k,λ)_q$ is a set $\mathcal{S}$ of $k$-subspaces from $\mathcal{G}_q(n,k)$ such that each $t$-subspace of $\mathcal{G}_q(n,t)$ is contained in at most $λ$ elements of $\mathcal{S}$. The goal of this work is to consider the largest size of such subspace packings. We derive a sequence of lower and upper bounds on the maximum size of such packings, analyse these bounds, and identify the important problems for further research in this area.
Collective dynamics of phase-repulsive oscillators solves graph coloring problem
Published in Chaos 30, 033128 (2020)
• View Publication
• BIB
We show how to couple phase-oscillators on a graph so that collective dynamics "searches" for the coloring of that graph as it relaxes toward the dynamical equilibrium. This translates a combinatorial optimization problem (graph coloring) into a functional optimization problem (finding and evaluating the global minimum of dynamical non-equilibrium potential, done by the natural system's evolution). Using a sample of graphs, we show that our method can serve as a viable alternative to the traditional combinatorial algorithms. Moreover, we show that, with the same computational cost, our method efficiently solves the harder problem of improper coloring of weighed graphs.
Convex decompositions of point sets in the plane
Let $P$ be a set of $n$ points in general position on the plane. A set of closed convex polygons with vertices in $P$, and with pairwise disjoint interiors is called a convex decomposition of $P$ if their union is the convex hull of $P$, and no point of $P$ lies in the interior of the polygons. We show that there is a convex decomposition of $P$ with at most $\frac{4}{3}|I(P)|+\frac{1}{3}|B(P)|+1\le \frac{4}{3}|P|-2$ elements, where $B(P)\subseteq P$ is the set of points at the vertices of the convex hull of $P$, and $I(P)=P-B(P)$.
Characterising circular-arc contact $B_0$-VPG graphs
Published in Discrete Applied Mathematics 283 (2020), 435-443
• View Publication
• BIB
A contact $B_0$-VPG graph is a graph for which there exists a collection of nontrivial pairwise interiorly disjoint horizontal and vertical segments in one-to-one correspondence with its vertex set such that two vertices are adjacent if and only if the corresponding segments touch. It was shown by Deniz et al. that Recognition is $\mathsf{NP}$-complete for contact $B_0$-VPG graphs. In this paper we present a minimal forbidden induced subgraph characterisation of contact $B_0$-VPG graphs within the class of circular-arc graphs and provide a polynomial-time algorithm for recognising these graphs.
Lozenge Tilings Of the Equilateral Triangle
We consider incomplete tilings of the equilateral triangle of edge length n that is subdivided into n^2 regular equilateral smaller unit triangles. Pairs of the unit triangles that share a side may be converted into lozenges, leaving some subset of the unit triangles untouched. We count numerically these coverings by lozenges and unit triangles for edge lengths n <= 6: the total and the detailed refinement as a function of the number of lozenges.
New lower bounds on the size-Ramsey number of a path
Published
• View Publication
• BIB
We prove that for all graphs with at most $(3.75-o(1))n$ edges there exists a 2-coloring of the edges such that every monochromatic path has order less than $n$. This was previously known to be true for graphs with at most $2.5n-7.5$ edges. We also improve on the best-known lower bounds in the $r$-color case.
Degeneracy locus formulas for amenable Weyl group elements
Published in Nagoya Math. J. 261 (2026) e13
• View Publication
• BIB
We define a class of amenable Weyl group elements in the Lie types B, C, and D, which we propose as the analogues of vexillary permutations in these Lie types. Our amenable signed permutations index flagged theta and eta polynomials, which generalize the double theta and eta polynomials of Wilson and the author. In geometry, we obtain corresponding formulas for the cohomology classes of symplectic and orthogonal degeneracy loci.
Scalar $q$-subresultants and Dickson matrices
Published in J. Algebra 547 (2020) 116-128
• View Publication
• BIB
Following the ideas of Ore and Li we study $q$-analogues of scalar subresultants and show how these results can be applied to determine the rank of an $\mathbb{F}_q$-linear transformation $f$ of $\mathbb{F}_{q^n}$. As an application we show how certain minors of the Dickson matrix $D(f)$, associated with $f$, determine the rank of $D(f)$ and hence the rank of $f$.
LDPC Codes Achieve List Decoding Capacity
Published
• View Publication
• BIB
We show that Gallager's ensemble of Low-Density Parity Check (LDPC) codes achieves list-decoding capacity with high probability. These are the first graph-based codes shown to have this property. This result opens up a potential avenue towards truly linear-time list-decodable codes that achieve list-decoding capacity.
Our result on list decoding follows from a much more general result: any $\textit{local}$ property satisfied with high probability by a random linear code is also satisfied with high probability by a random LDPC code from Gallager's distribution. Local properties are properties characterized by the exclusion of small sets of codewords, and include list-decodability, list-recoverability and average-radius list-decodability.
In order to prove our results on LDPC codes, we establish sharp thresholds for when local properties are satisfied by a random linear code. More precisely, we show that for any local property $\mathcal{P}$, there is some $R^*$ so that random linear codes of rate slightly less than $R^*$ satisfy $\mathcal{P}$ with high probability, while random linear codes of rate slightly more than $R^*$, with high probability, do not. We also give a characterization of the threshold rate $R^*$.
Good sequencings for small Mendelsohn triple systems
A Mendelsohn triple system of order $v$ (or MTS$(v)$) is a decomposition of the complete graph into directed 3-cyles. We denote the directed 3-cycle with edges $(x,y)$, $(y,z)$ and $(z,x)$ by $(x,y,z)$, $(y,z,x)$ or $(z,x,y)$. An $\ell$-good sequencing of a MTS$(v)$ is a permutation of the points of the design, say $[x_1 \; \cdots \; x_v]$, such that, for every triple $(x,y,z)$ in the design, it is not the case that $x = x_i$, $y = x_j$ and $z = x_k$ with $i < j < k$ and $k-i+1 \leq \ell$; or with $j < k < i$ and $i-j+1 \leq \ell$; or with $k < i < j$ and $j-k+1 \leq \ell$.