Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Abelian Girth and Girth
We show that the abelian girth of a graph is at least three times its girth. We prove an analogue of the Moore bound for the abelian girth of regular graphs, where the degree of the graph is fixed and the number of vertices is large. We conclude that one could try to improve the Moore bound for graphs of fixed degree and many vertices by trying to improve its analogue concerning the abelian girth.
Cayley graphs of diameter two with order greater than 0.684 of the Moore bound for any degree
Published in European Journal of Combinatorics 57 (2016) 109-120
• View Publication
• BIB
It is known that the number of vertices of a graph of diameter two cannot exceed $d^2+1$. In this contribution we give a new lower bound for orders of Cayley graphs of diameter two in the form $C(d,2)>0.684d^2$ valid for all degrees $d\geq 360756$. The result is a significant improvement of currently known results on the orders of Cayley graphs of diameter two.
Dimension of Marginals of Kronecker Product Models
A Kronecker product model is the set of visible marginal probability distributions of an exponential family whose sufficient statistics matrix factorizes as a Kronecker product of two matrices, one for the visible variables and one for the hidden variables. We estimate the dimension of these models by the maximum rank of the Jacobian in the limit of large parameters. The limit is described by the tropical morphism; a piecewise linear map with pieces corresponding to slicings of the visible matrix by the normal fan of the hidden matrix. We obtain combinatorial conditions under which the model has the expected dimension, equal to the minimum of the number of natural parameters and the dimension of the ambient probability simplex. Additionally, we prove that the binary restricted Boltzmann machine always has the expected dimension.
On $s$-extremal singly even self-dual $[24k+8,12k+4,4k+2]$ codes
Published in Finite Fields and Their Applications, 48 (2017), 306-317
• View Publication
• BIB
A relationship between $s$-extremal singly even self-dual $[24k+8,12k+4,4k+2]$ codes and extremal doubly even self-dual $[24k+8,12k+4,4k+4]$ codes with covering radius meeting the Delsarte bound, is established. As an example of the relationship, $s$-extremal singly even self-dual $[56,28,10]$ codes are constructed for the first time. In addition, we show that there is no extremal doubly even self-dual code of length $24k+8$ with covering radius meeting the Delsarte bound for $k \ge 137$. Similarly, we show that there is no extremal doubly even self-dual code of length $24k+16$ with covering radius meeting the Delsarte bound for $k \ge 148$.
Tiling with Small Tiles
We look at sets of tiles that can tile any region of size greater than 1 on the square grid. This is not the typical tiling question, but relates closely to it and therefore can help solve other tiling problems -- we give an example of this. We also present a result to a more classic tiling question with dominoes and L-shape tiles.
Solutions of Reeder's Puzzle
In this paper we consider the generalized Reeder's puzzle, introduced by Reeder in 2005 and generalized by Borovoi and Evenor in 2016. We give a detailed solution of the puzzle for the graphs of Dynkin diagrams and affine Dynkin diagrams. We find the number of equivalence classes in each case. We also discuss more general graphs, and prove the main theorem about graphs (simply-laced trees) that contain E_6 as a subgraph.
Cacti with maximum Kirchhoff index
The concept of resistance distance was first proposed by Klein and Randić. The Kirchhoff index $Kf(G)$ of a graph $G$ is the sum of resistance distance between all pairs of vertices in $G$. A connected graph $G$ is called a cactus if each block of $G$ is either an edge or a cycle. Let $Cat(n;t)$ be the set of connected cacti possessing $n$ vertices and $t$ cycles, where $0\leq t \leq \lfloor\frac{n-1}{2}\rfloor$. In this paper, the maximum kirchhoff index of cacti are characterized, as well as the corresponding extremal graph.
On the signed graphs with two distinct eigenvalues
We consider signed graphs, i.e, graphs with positive or negative signs on their edges. We construct some families of bipartite signed graphs with only two distinct eigenvalues. This leads to constructing infinite families of regular bipartite Ramanujan graphs.
A tight relation between series-parallel graphs and Bipartite Distance Hereditary graphs
Published
• View Publication
• BIB
Bandelt and Mulder's structural characterization of Bipartite Distance Hereditary graphs asserts that such graphs can be built inductively starting from a single vertex and by repeatedly adding either pending vertices or twins (i.e., vertices with the same neighborhood as an existing one). Dirac and Duffin's structural characterization of 2-connected series-parallel graphs asserts that such graphs can be built inductively starting from a single edge by adding either edges in series or in parallel. In this paper we prove that the two constructions are the same construction when bipartite graphs are viewed as the fundamental graphs of a graphic matroid. We then apply the result to re-prove known results concerning bipartite distance hereditary graphs and series-parallel graphs, to characterize self-dual outer-planar graphs and, finally, to provide a new class of polynomially-solvable instances for the integer multi commodity flow of maximum value.
The CLLC conjecture holds for cyclic outer permutations
Recently, Gross et al. posed the LLC conjecture for the locally log-concavity of the genus distribution of every graph, and provided an equivalent combinatorial version, the CLLC conjecture, on the log-concavity of the generating function counting cycles of some permutation compositions. In this paper, we confirm the CLLC conjecture for cyclic permutations, with the aid of Hultman numbers and by applying the Hermite--Biehler theorem on the generating function of Stirling numbers of the first kind. This leads to a further conjecture that every local genus polynomial is real-rooted.
Sequence-structure relations of biopolymers
Published
• View Publication
• BIB
Motivation: DNA data is transcribed into single-stranded RNA, which folds into specific molecular structures. In this paper we pose the question to what extent sequence- and structure-information correlate. We view this correlation as structural semantics of sequence data that allows for a different interpretation than conventional sequence alignment. Structural semantics could enable us to identify more general embedded "patterns" in DNA and RNA sequences. Results: We compute the partition function of sequences with respect to a fixed structure and connect this computation to the mutual information of a sequence-structure pair for RNA secondary structures. We present a Boltzmann sampler and obtain the a priori probability of specific sequence patterns. We present a detailed analysis for the three PDB-structures, 2JXV (hairpin), 2N3R (3-branch multi-loop) and 1EHZ (tRNA). We localize specific sequence patterns, contrast the energy spectrum of the Boltzmann sampled sequences versus those sequences that refold into the same structure and derive a criterion to identify native structures. We illustrate that there are multiple sequences in the partition function of a fixed structure, each having nearly the same mutual information, that are nevertheless poorly aligned. This indicates the possibility of the existence of relevant patterns embedded in the sequences that are not discoverable using alignments.
Between primitive and $2$-transitive: Synchronization and its friends
Published in Europ. Math. Soc. Surveys 4 (2017), 101-184
• View Publication
• BIB
An automaton is said to be synchronizing if there is a word in the transitions which sends all states of the automaton to a single state. Research on this topic has been driven by the Černý conjecture, one of the oldest and most famous problems in automata theory, according to which a synchronizing $n$-state automaton has a reset word of length at most $(n-1)^2$. The transitions of an automaton generate a transformation monoid on the set of states, and so an automaton can be regarded as a transformation monoid with a prescribed set of generators. In this setting, an automaton is synchronizing if the transitions generate a constant map. A permutation group $G$ on a set $Ω$ is said to synchronize a map $f$ if the monoid $\langle G,f\rangle$ generated by $G$ and $f$ is synchronizing in the above sense; we say $G$ is synchronizing if it synchronizes every non-permutation.
The classes of synchronizing groups and friends form an hierarchy of natural and elegant classes of groups lying strictly between the classes of primitive and $2$-homogeneous groups. These classes have been floating around for some years and it is now time to provide a unified reference on them. The study of all these classes has been prompted by the Černý conjecture, but it is of independent interest since it involves a rich mix of group theory, combinatorics, graph endomorphisms, semigroup theory, finite geometry, and representation theory, and has interesting computational aspects as well. So as to make the paper self-contained, we have provided background material on these topics. Our purpose here is to present results that show the connections between the various areas of mathematics mentioned above, we include a new result on the Černý conjecture, some challenges to finite geometers, some thoughts about infinite analogues, and a long list of open problems.
Lower bounds for incidences with hypersurfaces
Published
• View Publication
• BIB
We present a technique for deriving lower bounds for incidences with hypersurfaces in ${\mathbb R}^d$ with $d\ge 4$. These bounds apply to a large variety of hypersurfaces, such as hyperplanes, hyperspheres, paraboloids, and hypersurfaces of any degree.
Beyond being the first non-trivial lower bounds for various incidence problems, our bounds show that some of the known upper bounds for incidence problems in ${\mathbb R}^d$ are tight up to an extra $\varepsilon$ in the exponent. Specifically, for every $m$, $d\ge 4$, and $\varepsilon>0$ there exist $m$ points and $n$ hypersurfaces in ${\mathbb R}^d$ (where $n$ depends on $m$) with no $K_{2,\frac{d-1}{\varepsilon}}$ in the incidence graph and $Ω\left(m^{(2d-2)/(2d-1)}n^{d/(2d-1)-\varepsilon} \right)$ incidences. Moreover, we provide improved lower bounds for the case of no $K_{s,s}$ in the incidence graph, for large constants $s$.
Our analysis builds upon ideas from a recent work of Bourgain and Demeter on discrete Fourier restriction to the four- and five-dimensional spheres. Specifically, it is based on studying the additive energy of the integer points in a truncated paraboloid.
Spectral bound for separations in Eulerian digraphs
Published
• View Publication
• BIB
The spectra of digraphs, unlike those of graphs, is a relatively unexplored territory. In a digraph, a separation is a pair of sets of vertices X and Y such that there are no arcs from X and Y . For a subclass of eulerian digraphs, we give an bound on the size of a separation in terms of the eigenvalues of the Laplacian matrix.
On unavoidable induced subgraphs in large prime graphs
Published
• View Publication
• BIB
Chudnovsky, Kim, Oum, and Seymour recently established that any prime graph contains one of a short list of induced prime subgraphs [1]. In the present paper we reprove their theorem using many of the same ideas, but with the key model-theoretic ingredient of first determining the so-called amount of stability of the graph. This approach changes the applicable Ramsey theorem, improves the bounds and offers a different structural perspective on the graphs in question. Complementing this, we give an infinitary proof which implies the finite result.
The Log-Behavior of $\sqrt[n]{p(n)}$ and $\sqrt[n]{p(n)/n}$
Let $p(n)$ denote the partition function. Desalvo and Pak proved the log-concavity of $p(n)$ for $n>25$ and the inequality $\frac{p(n-1)}{p(n)}\left(1+\frac{1}{n}\right)>\frac{p(n)}{p(n+1)}$ for $n>1$. Let $r(n)=\sqrt[n]{p(n)/n}$ and $Δ$ be the difference operator respect to $n$. Desalvo and Pak pointed out that their approach to proving the log-concavity of $p(n)$ may be employed to prove a conjecture of Sun on the log-convexity of $\{r(n)\}_{n\geq 61}$, as long as one finds an appropriate estimate of $Δ^2 \log r(n-1)$. In this paper, we obtain a lower bound for $Δ^2\log r(n-1)$, leading to a proof of this conjecture. From the log-convexity of $\{r(n)\}_{n\geq61}$ and $\{\sqrt[n]{n}\}_{n\geq4}$, we are led to a proof of another conjecture of Sun on the log-convexity of $\{\sqrt[n]{p(n)}\}_{n\geq27}$. Furthermore, we show that $\lim\limits_{n \rightarrow +\infty}n^{\frac{5}{2}}Δ^2\log\sqrt[n]{p(n)}=3π/\sqrt{24}$. Finally, by finding an upper bound of $Δ^2 \log\sqrt[n-1]{p(n-1)}$, we prove an inequality on the ratio $\frac{\sqrt[n-1]{p(n-1)}}{\sqrt[n]{p(n)}}$ analogous to the above inequality on the ratio $\frac{p(n-1)}{p(n)}$.
LatticePolytopes: A package for computations with lattice polytopes in Macaulay2
We introduce the package LatticePolytopes for Macaulay2. The package provides methods for computations related to Cayley structures, local positivity and smoothness for lattice polytopes.
Cluster Algebras of Type $D_4$, Tropical Planes, and the Positive Tropical Grassmannian
Published
• View Publication
• BIB
We show that the number of combinatorial types of clusters of type $D_4$ modulo reflection-rotation is exactly equal to the number of combinatorial types of tropical planes in $\mathbb{TP}^5$. This follows from a result of Sturmfels and Speyer which classifies these tropical planes into seven combinatorial classes using a detailed study of the tropical Grassmannian $\operatorname{Gr}(3,6)$. Speyer and Williams show that the positive part $\operatorname{Gr}^+(3,6)$ of this tropical Grassmannian is combinatorially equivalent to a small coarsening of the cluster fan of type $D_4$. We provide a structural bijection between the rays of $\operatorname{Gr}^+(3,6)$ and the almost positive roots of type $D_4$ which makes this connection more precise. This bijection allows us to use the pseudotriangulations model of the cluster algebra of type $D_4$ to describe the equivalence of "positive" tropical planes in $\mathbb{TP}^5$, giving a combinatorial model which characterizes the combinatorial types of tropical planes using automorphisms of pseudotriangulations of the octogon.
A short proof that every finite graph has a tree-decomposition displaying its tangles
Published
• View Publication
• BIB
We give a short proof that every finite graph (or matroid) has a tree-decomposition that displays all maximal tangles.
This theorem for graphs is a central result of the graph minors project of Robertson and Seymour and the extension to matroids is due to Geelen, Gerards and Whittle.
Difference operators for partitions under the Littlewood decomposition
Published
• View Publication
• BIB
The concept of $t$-difference operator for functions of partitions is introduced to prove a generalization of Stanley's theorem on polynomiality of Plancherel averages of symmetric functions related to contents and hook lengths. Our extension uses a generalization of the notion of Plancherel measure, based on walks in the Young lattice with steps given by the addition of $t$-hooks. It is well-known that the hook lengths of multiples of $t$ can be characterized by the Littlewood decomposition. Our study gives some further information on the contents and hook lengths of other congruence classes modulo $t$.