Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Hamiltonian cycles in some family of cubic $3$-connected plane graphs
Published
• View Publication
• BIB
Barnette conjectured that all cubic $3$-connected plane graphs with maximum face size at most $6$ are hamiltonian. We provide a method of construction of a hamiltonian cycle (in dual terms) in an arbitrary cubic, $3$-connected plane graph possessing such a face $g$ that every face incident with $g$ has at most $5$ edges and every other face has at most $6$ edges.
Squareness for the Monopole-Dimer model
Published in Annals of Combinatorics, Volume 24, Issue 2 (2020), 237-255
• View Publication
• BIB
The monopole-dimer model introduced recently is an exactly-solvable signed generalisation of the dimer model. We show that the partition function of the monopole-dimer model on a graph invariant under a fixed-point free involution is a perfect square. We give a combinatorial interpretation of the square-root of the partition function for such graphs in terms of a monopole-dimer model on a new kind of graph with two types of edges which we call a dicot. The partition function of the latter can be written as a determinant, this time of a complex adjacency matrix. This formulation generalises T. T. Wu's assignment of imaginary orientation for the grid graph to planar dicots. As an application, we compute the partition function for a family of non-planar dicots with positive weights.
Ehrhart Theory of Spanning Lattice Polytopes
Published in Int. Math. Res. Not. IMRN 2018, no. 19, 5947-5973
• View Publication
• BIB
A lattice polytope is called spanning if its lattice points affinely span the ambient lattice. We show as a corollary to a general result in the Ehrhart theory of lattice polytopes that the $h^*$-vector of a spanning lattice polytope has no gaps, i. e., $h^*_i =0$ implies $h^*_{i+1}=0$. This generalizes a recent result by Blekherman, Smith, and Velasco, and implies a polyhedral consequence of the Eisenbud-Goto conjecture. We also discuss how this relates to unimodality questions of lattice polytopes and previously achieved decomposition results on lattice polytopes of given degree.
Sampling bipartite graphs with given vertex degrees and fixed edges and non-edges
We consider the problem of sampling a bipartite graph with given vertex degrees where a set $F$ of edges and non-edges which need to be contained is predefined. Our general result shows that the repeated swap of edges and non-edges in alternating cycles of at most size $2\ell-2$ ('$j$-swaps' with $j \leq 2 \ell-2$) in a current graph lead to an ergodic Metropolis Markov chain whenever $F$ does not contain a cycle of length $2 \ell$ with $\ell \geq 4.$ This leads to useful Markov chains whenever $\ell$ is not too large. If $F$ is a forest, $4$- and $6$-swaps are sufficient. Furthermore, we prove that $4$-swaps are sufficient when $F$ does not contain a matching of size $3.$ We extend the Curveball algorithm of Strona et al. \cite{Strona2014b} to our cases.
Polytopes of Stochastic Tensors
Published in Ann. Funct. Anal. 7, no. 3 (2016), 386-393
• View Publication
• BIB
Considering $n\times n\times n$ stochastic tensors $(a_{ijk})$ (i.e., nonnegative hypermatrices in which every sum over one index $i$, $j$, or $k$, is 1), we study the polytope ($Ω_{n}$) of all these tensors, the convex set ($L_n$) of all tensors in $Ω_{n}$ with some positive diagonals, and the polytope ($Δ_n$) generated by the permutation tensors. We show that $L_n$ is almost the same as $Ω_{n}$ except for some boundary points. We also present an upper bound for the number of vertices of $Ω_{n}$.
Drift Analysis and Evolutionary Algorithms Revisited
Published
• View Publication
• BIB
One of the easiest randomized greedy optimization algorithms is the following evolutionary algorithm which aims at maximizing a boolean function $f:\{0,1\}^n \to {\mathbb R}$. The algorithm starts with a random search point $ξ\in \{0,1\}^n$, and in each round it flips each bit of $ξ$ with probability $c/n$ independently at random, where $c>0$ is a fixed constant. The thus created offspring $ξ'$ replaces $ξ$ if and only if $f(ξ') \ge f(ξ)$. The analysis of the runtime of this simple algorithm on monotone and on linear functions turned out to be highly non-trivial. In this paper we review known results and provide new and self-contained proofs of partly stronger results.
An Erdős-Gallai type theorem for uniform hypergraphs
Published in European Journal of Combinatorics, Volume 69, 2018, Pages 159-162, ISSN 0195-6698
• View Publication
• BIB
A well-known theorem of Erdős and Gallai asserts that a graph with no path of length $k$ contains at most $\frac{1}{2}(k-1)n$ edges. Recently Győri, Katona and Lemons gave an extension of this result to hypergraphs by determining the maximum number of hyperedges in an $r$-uniform hypergraph containing no Berge path of length $k$ for all values of $r$ and $k$ except for $k=r+1$. We settle the remaining case by proving that an $r$-uniform hypergraph with more than $n$ hyperedges must contain a Berge path of length $r+1$.
Universality of local statistics for noncolliding random walks
Published
• View Publication
• BIB
We consider the $N$-particle noncolliding Bernoulli random walk --- a discrete time Markov process in $\mathbb{Z}^{N}$ obtained from a collection of $N$ independent simple random walks with steps $\in\{0,1\}$ by conditioning that they never collide. We study the asymptotic behavior of local statistics of this process started from an arbitrary initial configuration on short times $T\ll N$ as $N\to+\infty$. We show that if the particle density of the initial configuration is bounded away from $0$ and $1$ down to scales $\mathsf{D}\ll T$ in a neighborhood of size $\mathsf{Q}\gg T$ of some location $x$ (i.e., $x$ is in the "bulk"), and the initial configuration is balanced in a certain sense, then the space-time local statistics at $x$ are asymptotically governed by the extended discrete sine process (which can be identified with a translation invariant ergodic Gibbs measure on lozenge tilings of the plane). We also establish similar results for certain types of random initial data. Our proofs are based on a detailed analysis of the determinantal correlation kernel for the noncolliding Bernoulli random walk.
The noncolliding Bernoulli random walk is a discrete analogue of the $β=2$ Dyson Brownian Motion whose local statistics are universality governed by the continuous sine process. Our results parallel the ones in the continuous case. In addition, we naturally include situations with inhomogeneous local particle density on scale $T$, which nontrivially affects parameters of the limiting extended sine process, and in a particular case leads to a new behavior.
Dipaths of length at least double the minimum outdegree
A special case of a conjecture by Thomassé is that any oriented graph with minimum outdegree k contains a dipath of length 2k. For the sake of proving whether or not a counterexample exists, we present reductions and establish bounds on both connectivity and the number of vertices in a counterexample. We further conjecture that in any oriented graph with minimum outdegree k, every vertex belongs to a dipath of length 2k.
Semigroups --- A Computational Approach
Published in The 50th Anniversary of Groebner Bases, T. Hibi, ed. (Tokyo: Mathematical Society of Japan, 2018), 155-170
• View Publication
• BIB
The question whether there exists an integral solution to the system of linear equations with non-negative constraints, $A\x = \b, \, \x \ge 0$, where $A \in \Z^{m\times n}$ and ${\mathbf b} \in \Z^m$, finds its applications in many areas, such as operation research, number theory and statistics. In order to solve this problem, we have to understand the semigroup generated by the columns of the matrix $A$ and the structure of the "holes" which are the difference between the semigroup generated by the columns of the matrix $A$ and its saturation. In this paper, we discuss the implementation of an algorithm by Hemmecke, Takemura, and Yoshida that computes the set of holes of a semigroup, % generated by the columns of $A$ and we discuss applications to problems in combinatorics. Moreover, we compute the set of holes for the common diagonal effect model, and we show that the $n$th linear ordering polytope has the integer-decomposition property for $n\leq 7$. The software is available at
\url{http://ehrhart.math.fu-berlin.de/People/fkohl/HASE/}.
On symmetric 3-wise intersecting families
Published
• View Publication
• BIB
A family of sets is said to be symmetric if its automorphism group is transitive, and $3$-wise intersecting if any three sets in the family have nonempty intersection. Frankl conjectured in 1981 that if $\mathcal{A}$ is a symmetric $3$-wise intersecting family of subsets of $\{1,2,\dots,n\}$, then $|\mathcal{A}| = o(2^n)$. Here, we give a short proof of Frankl's conjecture using a 'sharp threshold' result of Friedgut and Kalai.
Constructions of Maximum Distance Separable Symbol-Pair Codes Using Cyclic and Constacyclic Codes
Published
• View Publication
• BIB
Symbol-pair code is a new coding framework which is proposed to correct errors in the symbol-pair read channel. In particular, maximum distance separable (MDS) symbol-pair codes are a kind of symbol-pair codes with the best possible error-correction capability. Employing cyclic and constacyclic codes, we construct three new classes of MDS symbol-pair codes with minimum pair-distance five or six. Moreover, we find a necessary and sufficient condition which ensures a class of cyclic codes to be MDS symbol-pair codes. This condition is related to certain property of a special kind of linear fractional transformations. A detailed analysis on these linear fractional transformations leads to an algorithm, which produces many MDS symbol-pair codes with minimum pair-distance seven.
Almost all non-archimedean Kakeya sets have measure zero
Published
• View Publication
• BIB
We study Kakeya sets over local non-archimedean fields with a probabilistic point of view: we define a probability measure on the set of Kakeya sets as above and prove that, according to this measure, almost all non-archimedean Kakeya sets are neglectable according to the Haar measure. We also discuss possible relations with the non-archimedean Kakeya conjecture.
On sets with few distinct distances
It is widely believed that point sets in the plane which determine few distinct distances must have some special structure. In particular, such sets are believed to be similar to a lattice. This note considers two different ways to quantify this idea.
Firstly, improving on a result of Hanson (see arXiv:1607.03442), it is proven that if $P= A \times A$ with $A \subset \mathbb R$ and $P$ determines $O(|A|^2)$ distinct distances, then $|A-A|=O\left(|A|^{2-\frac{2}{11}}\right)$. This result gives further evidence that cartesian products which determine few distinct distances have some additive structure.
Secondly, it is shown that if a set $P \subset \mathbb R^2$ of $N$ points determines $O(N/\sqrt {\log N})$ distinct distances, then there exists a reflection $\mathcal R$ and a set $P' \subset P$ with $|P'| =Ω( \log^{3/2} N)$ such that $\mathcal R(P') \subset P$. In other words, sets with few distinct distances have some degree of reflexive symmetry.
Topological recursion on the Bessel curve
Published
• View Publication
• BIB
The Witten-Kontsevich theorem states that a certain generating function for intersection numbers on the moduli space of stable curves is a tau-function for the KdV integrable hierarchy. This generating function can be recovered via the topological recursion applied to the Airy curve $x=\frac{1}{2}y^2$. In this paper, we consider the topological recursion applied to the irregular spectral curve $xy^2=\frac{1}{2}$, which we call the Bessel curve. We prove that the associated partition function is also a KdV tau-function, which satisfies Virasoro constraints, a cut-and-join type recursion, and a quantum curve equation. Together, the Airy and Bessel curves govern the local behaviour of all spectral curves with simple branch points.
A $q$-Clausen-Orr type formula and its applications
Published
• View Publication
• BIB
We show that certain terminating $_{6}φ_5$ series can be factorized into a product of two $_{3}φ_{2}$ series. As applications we prove a summation formula for a product of two $q$-Delannoy numbers along with some congruences for sums involving $q$-Delannoy numbers. This confirms three recent conjectures of the second author.
An update on a few permanent conjectures
Published
• View Publication
• BIB
We review and update on a few conjectures concerning matrix permanent that are easily stated, understood, and accessible to general math audience. They are: Soules permanent-on-top conjecture${}^\dagger$, Lieb permanent dominance conjecture, Bapat and Sunder conjecture${}^\dagger$ on Hadamard product and diagonal entries, Chollet conjecture on Hadamard product, Marcus conjecture on permanent of permanents, and several other conjectures. Some of these conjectures are recently settled; some are still open. We also raise a few new questions for future study. (${}^\dagger$conjectures have been recently settled negatively.)
Sequence mixed graphs
A mixed graph can be seen as a type of digraph containing some edges (two opposite arcs). Here we introduce the concept of sequence mixed graphs, which is a generalization of both sequence graphs and iterated line digraphs. These structures are proven to be useful in the problem of constructing dense graphs or digraphs, and this is related to the degree/diameter problem. Thus, our generalized approach gives rise to graphs that have also good ratio order/diameter. Moreover, we propose a general method for obtaining a sequence mixed digraph by identifying some vertices of a certain iterated line digraph. As a consequence, some results about distance-related parameters (mainly, the diameter and the average distance) of sequence mixed graphs are presented.
Local rewiring algorithms to increase clustering and grow a small world
Published
• View Publication
• BIB
Many real-world networks have high clustering among vertices: vertices that share neighbors are often also directly connected to each other. A network's clustering can be a useful indicator of its connectedness and community structure. Algorithms for generating networks with high clustering have been developed, but typically rely on adding or removing edges and nodes, sometimes from a completely empty network. Here, we introduce algorithms that create a highly clustered network by starting with an existing network and rearranging edges, without adding or removing them; these algorithms can preserve other network properties even as the clustering increases. They rely on local rewiring rules, in which a single edge changes one of its vertices in a way that is guaranteed to increase clustering. This greedy step can be applied iteratively to transform a random network into a form with much higher clustering. Additionally, the algorithms presented grow a network's clustering faster than they increase its path length, meaning that network enters a regime of comparatively high clustering and low path length: a small world. These algorithms may be a basis for how real-world networks rearrange themselves organically to achieve or maintain high clustering and small-world structure.
Critical Behaviour of Spanning Forests on Random Planar Graphs
Published in J. Phys. A: Math. Theor. 50 (2017) 074003
• View Publication
• BIB
As a follow-up of previous work of the authors, we analyse the statistical mechanics model of random spanning forests on random planar graphs. Special emphasis is given to the analysis of the critical behaviour. Exploiting an exact relation with a model of O(-2)-loops and dimers, previously solved by Kostov and Staudacher, we identify critical and multicritical loci, and find them consistent with recent results of Bousquet-Mélou and Courtiel. This is also consistent with the KPZ relation, and the Berker-Kadanoff phase in the anti-ferromagnetic regime of the Potts Model on periodic lattices, predicted by Saleur. To our knowledge, this is the first known example of KPZ appearing explicitly to work within a Berker-Kadanoff phase. We set up equations for the generating function, at the value t=-1 of the fugacity, which is of combinatorial interest, and we investigate the resulting numerical series, a favourite problem of Tony Guttmann's.