Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Bitangents of non-smooth tropical quartics
Published in Portugaliae Mathematica 75 (2018) 67-78
• View Publication
• BIB
We study bitangents of non-smooth tropical plane quartics. Our main result is that with appropriate multiplicities, every such curve has 7 equivalence classes of bitangent lines. Moreover, the multiplicity of bitangent lines varies continuously in families of tropical plane curves.
On the density of the odd values of the partition function, II: An infinite conjectural framework
Published in J. of Number Theory 188 (2018), 357--370
• View Publication
• BIB
We continue our study of a basic but seemingly intractable problem in integer partition theory, namely the conjecture that $p(n)$ is odd exactly $50\%$ of the time. Here, we greatly extend on our previous paper by providing a doubly-indexed, infinite framework of conjectural identities modulo 2, and show how to, in principle, prove each such identity. However, our conjecture remains open in full generality.
A striking consequence is that, under suitable existence conditions, if any $t$-multipartition function is odd with positive density and $t\not \equiv 0$ (mod 3), then $p(n)$ is also odd with positive density. These are all facts that appear virtually impossible to show unconditionally today.
Our arguments employ a combination of algebraic and analytic methods, including certain technical tools recently developed by Radu in his study of the parity of the Fourier coefficients of modular forms.
Metastability of hard-core dynamics on bipartite graphs
Published in Electronic Journal of Probability 2018, Vol. 23, paper no. 97, 1-65
• View Publication
• BIB
We study the metastable behaviour of a stochastic system of particles with hard-core interactions in a high-density regime. Particles sit on the vertices of a bipartite graph. New particles appear subject to a neighbourhood exclusion constraint, while existing particles disappear, all according to independent Poisson clocks. We consider the regime in which the appearance rates are much larger than the disappearance rates, and there is a slight imbalance between the appearance rates on the two parts of the graph. Starting from the configuration in which the weak part is covered with particles, the system takes a long time before it reaches the configuration in which the strong part is covered with particles. We obtain a sharp asymptotic estimate for the expected transition time, show that the transition time is asymptotically exponentially distributed, and identify the size and shape of the critical droplet representing the bottleneck for the crossover. For various types of bipartite graphs the computations are made explicit. Proofs rely on potential theory for reversible Markov chains, and on isoperimetric results. In a follow-up paper we will use our results to study the performance of random-access wireless networks.
Properties of the Fibonacci-sum graph
For each positive integer $n$, the Fibonacci-sum graph $G_n$ on vertices $1,2,\ldots,n$ is defined by two vertices forming an edge if and only if they sum to a Fibonacci number. It is known that each $G_n$ is bipartite, and all Hamiltonian paths in each $G_n$ have been classified. In this paper, it is shown that each $G_n$ has at most one non-trivial automorphism, which is given explicitly. Other properties of $G_n$ are also found, including the degree sequence, the treewidth, the nature of the bipartition, and that $G_n$ is outerplanar.
Improved approximation of layout problems on random graphs
Published
• View Publication
• BIB
Inspired by previous work of Diaz, Petit, Serna, and Trevisan (Approximating layout problems on random graphs Discrete Mathematics, 235, 2001, 245--253), we show that several well-known graph layout problems are approximable to within a factor arbitrarily close to 1 of the optimal with high probability for random graphs drawn from an Erdös-Renyi distribution with appropriate sparsity conditions. Moreover, we show that the same results hold for the analogous problems on directed acyclic graphs.
Hasse diagrams of posets with up to 7 elements, and the number of posets with 10 elements, without the use of computer programs
Let $P(n)$ be the set of all posets with $n$ elements. Let $P^{(j)}(n)$, $1\leq j\leq 2^n,$ be the number of all posets with $n$ elements possessing exactly $j$ antichains. We have determined the numbers $P^{(j)}(7),$ $1\leq j\leq 128$, and using a result of M.~Erné [Erné, M., On the cardinalities of finite topologies and the number of antichains in partially ordered sets, Discrete Mathematics 35 (1981), 119-133.], we compute $|P(10)|$ without the aid of any computer program. We include the Hasse diagrams of all the non-isomorphic posets of $P(7)$. We also present formulas for the number of connected posets of certain forms, and use them to compute $|P(n)|$ with $1\le n\le 8$ by a different method.
A Treatise on Sucker's Bets
In 1970, Statistics giant, Bradley Efron, amazed the world by coming up with a set of four dice, let's call them A,B,C,D, whose faces are marked with [0,0,4,4,4,4], [3,3,3,3,3,3],[2,2,2,2,6,6],[1,1,1,5,5,5] respectively, where die A beats die B, die B beats die C, die C beats die D, but, surprise surprise, die D beats die A! This was an amazing demonstration that "being more likely to win" is not a transitive relation. But that was only one example, and of course, instead of dice, we can use decks of cards, where they are called (by Martin Gardner, who popularized this way back in 1970) , "sucker's bets".
Can you find all such examples, with a specified number of decks, and sizes? If you have a computer algebra system (in our case Maple), you sure can!
Not only that, we can figure out how likely such sucker bets are, and derive, fully automatically, statistical information!
Conjectures for Ehrhart $h^*$-vectors of Hypersimplices and Dilated Simplices
We formulate conjectures giving combinatorial interpretations of the Ehrhart $h^*$-vector, for hypersimplices, for dilated simplices and for generic cross-sections of cubes, in terms of certain decorated ordered set partitions. All were formulated and checked computationally during our graduate study at Penn State.
Eigenvalue location in graphs of small clique-width
Finding a diagonal matrix congruent to $A - cI$ for constants $c$, where $A$ is the adjacency matrix of a graph $G$ allows us to quickly tell the number of eigenvalues in a given interval. If $G$ has clique-width $k$ and a corresponding $k$-expression is known, then diagonalization can be done in time $O(\text{poly}(k) n)$ where $n$ is the order of $G$.
Vertex-primitive $s$-arc-transitive digraphs of linear groups
Published
• View Publication
• BIB
We study $G$-vertex-primitive and $(G,s)$-arc-transitive digraphs for almost simple groups $G$ with socle $\mathrm{PSL}_n(q)$. It turns out that $s\leqslant2$ for such digraphs, which provides the first step in determining an upper bound on $s$ for all the vertex-primitive $s$-arc-transitive digraphs.
On Graph Isomorphism Problem
Let $G$ and $H$ be two simple graphs. A bijection $φ:V(G)\rightarrow V(H)$ is called an isomorphism between $G$ and $H$ if $(φv_i)(φv_j)\in E(H)$ $\Leftrightarrow$ $v_i v_j\in E(G)$, $\forall v_i,v_j \in V(G)$. In the case that $G = H$, we say $φ$ an automorphism of $G$ and denote the group consisting of all automorphisms of $G$ by $\mathrm{Aut}~G$. As well-known, the problem of determining whether or not two given graphs are isomorphic is called Graph Isomorphism Problem (GI). One of key steps in resolving GI is to work out the partition $Π^*_G$ of $V(G)$ composed of orbits of $\mathrm{Aut}~G$. By means of geometric features of $Π^*_G$ and combinatorial constructions such as the multipartite graph $[Π^*_{t_1},\cdots,Π^*_{t_s}]$, we can reduce the problem of determining $Π_G^*$ to that of working out a series of partitions of $V(G)$ each of which consists of orbits of a stabilizer that fixes a sequence of vertices of $G$, and thus the determination of the partition $Π^*_v$ is a critical transition.
On the other hand, we have for a given subspace $U \subseteq \mathbb{R}^n$ a permutation group $\mathrm{Aut}~U := \{ σ\in S_n : σ~ U = U \}$. As a matter of fact, $\mathrm{Aut}~G = \cap_{λ\in \mathrm{spec} \mathbf{A}(G) } \mathrm{Aut}~V_λ$, and moreover we can obtain a good approximation $Π[ \oplus V_λ ; v ]$ to $Π_v^*$ by analyzing a decomposition of $V_λ$ resulted from the division of $V_λ$ by subspaces $\{ \mathrm{proj}[ V_λ ]( \pmb{e}_v )^{\perp} : v \in V(G) \}$. In fact, there is a close relation among subspaces spanned by cells of $Π[ \oplus V_λ ; v ]$ of $G$, which enables us to determine $Π_v^*$ more efficiently. In virtue of that, we devise a deterministic algorithm solving GI in time $n^{ O( \log n ) }$.
Nonlinear Feedback Shift Registers and Zech Logarithms
Published
• View Publication
• BIB
We construct feedback functions of Nonlinear Feedback Shift Registers from those of Linear Feedback Shift Registers using the cross-join pairs method and the Zech logarithms in finite fields. We present a hypothetical algorithm to generate all de Bruijn sequences of a given order.
Weighted variants of the Andrásfai-Erdős-Sós Theorem
Published in Journal of Combinatorics 11 (2020), no.2, 305--328
• Search Publication
A well known result due to Andrásfai, Erdős, and Sós asserts that for $r\ge 2$ every $K_{r+1}$-free graph on $n$ vertices with $δ(G)>\frac{3r-4}{3r-1}n$ is $r$-partite. We study related questions in the context of weighted graphs, which are motivated by recent work on the Ramsey-Turán problem for cliques.
Spitzer's identity for discrete random walks
Published
• View Publication
• BIB
Spitzer's identity describes the position of a reflected random walk over time in terms of a bivariate transform. Among its many applications in probability theory are congestion levels in queues and random walkers in physics. We present a new derivation of Spitzer's identity under the assumption that the increments of the random walk have bounded jumps to the left. This mild assumption facilitates a proof of Spitzer's identity that only uses basic properties of analytic functions and contour integration. The main novelty, believed to be of broader interest, is a reversed approach that recognizes a factored polynomial expression as the outcome of Cauchy's formula.
1-skeletons of the spanning tree problems with additional constraints
Published
• View Publication
• BIB
We consider the polyhedral properties of two spanning tree problems with additional constraints. In the first problem, it is required to find a tree with a minimum sum of edge weights among all spanning trees with the number of leaves less or equal a given value. In the second problem, an additional constraint is the assumption that the degree of all vertices of the spanning tree does not exceed a given value. The decision versions of both problems are NP-complete.
We consider the polytopes of these problems and their 1-skeletons. We prove that in both cases it is a NP-complete problem to determine whether the vertices of 1-skeleton are adjacent. Although it is possible to obtain a superpolynomial lower bounds on the clique numbers of these graphs. These values characterize the time complexity in a broad class of algorithms based on linear comparisons. The results indicate a fundamental difference in combinatorial and geometric properties between the considered problems and the classical minimum spanning tree problem.
Inserting rim-hooks into reverse plane partitions
Published
• View Publication
• BIB
A new algorithm for inserting rim-hooks into reverse plane partitions is presented. The insertion is used to define a bijection between reverse plane partitions of a fixed shape and multi-sets of rim-hooks. In turn this yields a bijective proof of the fact that the generating function for reverse plane partitions of a fixed shape, which was first obtained by R. Stanley, factors into a product featuring the hook-lengths of this shape. Our bijection turns out to be equivalent to a map defined by I. Pak by different means, and can be related to the Hillman-Grassl correspondence and the Robinson-Schensted-Knuth correspondence.
Gale-Robinson quivers: from representations to combinatorial formulas
We investigate a family of representations of Gale-Robinson quivers that are geared towards providing concrete information about the corresponding cluster algebras. In this way, we provide a representation theoretic explanation for known combinatorial formulas for the Gale-Robinson sequence and also obtain similar formulas for several other cluster variables.
A strong collapse increasing the geometric simplicial Lusternik-Schnirelmann category
In [3], after defining notions of LS category in the simplicial context, the authors show that the geometric simplicial LS category is non-decreasing under strong collapses. However, they do not give examples where it increases strictly, but they conjecture that such an example should exist, and thus that the geometric simplicial LS category is not strong homotopy invariant. The purpose of this note is to provide with such an example. We construct a simplicial complex whose simplicial and geometric simplicial LS categories are different, and using this, we provide an example of a strong collapse that increases the geometric simplicial LS category, thus settling the geometric simplicial LS category not being strong homotopy invariant.
A Note on Lower Bounds for Induced Ramsey Numbers
Published
• View Publication
• BIB
We say that a graph $F$ strongly arrows a pair of graphs $(G,H)$ if any 2-colouring of its edges with red and blue leads to either a red $G$ or a blue $H$ appearing as induced subgraphs of $F$. The induced Ramsey number, $IR(G,H)$ is defined as the minimum number of vertices of a graph $F$ which strongly arrows a pair $(G,H)$. We will consider two aspects of induced Ramsey numbers. Firstly there will be shown that the lower bound of the induced Ramsey number for a connected graph $G$ with independence number $α$ and a graph $H$ with clique number $ω$ roughly $\frac{ω^2α}{2}$. This bounds is sharp. Moreover we discuss also the case when $G$ is not connected providing also a sharp lower bound which is linear in both parameters
The spread of fire on a random multigraph
Published in Adv. Appl. Probab. 51 (2019) 1-40
• View Publication
• BIB
We study a model for the destruction of a random network by fire. Suppose that we are given a multigraph of minimum degree at least 2 having real-valued edge-lengths. We pick a uniform point from along the length and set it alight; the edges of the multigraph burn at speed 1. If the fire reaches a vertex of degree 2, the fire gets directly passed on to the neighbouring edge; a vertex of degree at least 3, however, passes the fire either to all of its neighbours or none, each with probability $1/2$. If the fire goes out before the whole network is burnt, we again set fire to a uniform point. We are interested in the number of fires which must be set in order to burn the whole network, and the number of points which are burnt from two different directions. We analyse these quantities for a random multigraph having $n$ vertices of degree 3 and $α(n)$ vertices of degree 4, where $α(n)/n \to 0$ as $n \to \infty$, with i.i.d. standard exponential edge-lengths. Depending on whether $α(n) \gg \sqrt{n}$ or $α(n)=O(\sqrt{n})$, we prove that as $n \to \infty$ these quantities converge jointly in distribution when suitably rescaled to either a pair of constants or to (complicated) functionals of Brownian motion.
We use our analysis of this model to make progress towards a conjecture of Aronson, Frieze and Pittel concerning the number of vertices which remain unmatched when we use the Karp-Sipser algorithm to find a matching on the Erdős-Rényi random graph.