Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Strong connectivity and its applications
Directed graphs are widely used in modelling of nonsymmetric relations in various sciences and engineering disciplines. We discuss invariants of strongly connected directed graphs - minimal number of vertices or edges necessary to remove to make remaining graphs not strongly connected. By analogy with undirected graphs these invariants are called strong vertex/edge connectivities. We review some properties of these invariants. Computational results for some publicly available connectome graphs used in neuroscience are described.
An Explicit Formula for the Eigenvectors of Acyclic Matrices and Weighted Trees
Let $A$ be an acyclic symmetric matrix of order $n$. There is a weighted forest $F$ whose adjacency matrix is $A$. In this paper, using some results on matching polynomials, we provide an explicit formula for eigenvectors of $A$.
Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016)
Published
• View Publication
• BIB
This is the arXiv index for the electronic proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016), which was held in Athens, Greece, September 19-21 2016. It contains the peer-reviewed and revised accepted papers with an optional appendix.
On the Enumeration of Interval Graphs
Published
• View Publication
• BIB
We present upper and lower bounds for the number $i_n$ of interval graphs on $n$ vertices. Answering a question posed by Hanlon, we show that the ordinary generating function $I(x) = \sum_{n\ge 0} i_n\,x^n$ for the number $i_n$ of $n$-vertex interval graphs has radius of convergence zero. We also show that the exponential generating function $J(x) = \sum_{n\ge 0} i_n\,x^n/n!$ has radius of convergence at least $1/2$.
Partitioning the Boolean lattice into copies of a poset
Published
• View Publication
• BIB
Let $P$ be a poset of size $2^k$ that has a greatest and a least element. We prove that, for sufficiently large $n$, the Boolean lattice $2^{[n]}$ can be partitioned into copies of $P$. This resolves a conjecture of Lonc.
The Number of Fixed Points of AND-OR Networks with Chain Topology
Published
• View Publication
• BIB
AND-OR networks are Boolean networks where each coordinate function is either the AND or OR logical operator. We study the number of fixed points of these Boolean networks in the case that they have a wiring diagram with chain topology. We find closed formulas for subclasses of these networks and recursive formulas in the general case. Our results allow for an effective computation of the number of fixed points in the case that the topology of the Boolean network is an open chain (finite or infinite) or a closed chain.
On the complexity of finite subgraphs of the curve graph
Published in Osaka Journal of Mathematics 55 (2018), 795-808
• Search Publication
We say a graph has property $\mathcal{P}_{g,p}$ when it is an induced subgraph of the curve graph of a surface of genus $g$ with $p$ punctures. Two well-known graph invariants, the chromatic and clique numbers, can provide obstructions to $\mathcal{P}_{g,p}$. We introduce a new invariant of a graph, the 'nested complexity length', which provides a novel obstruction to $\mathcal{P}_{g,p}$. For the curve graph this invariant captures the topological complexity of the surface in graph-theoretic terms; indeed we show that its value is $6g-6+2p$, i.e. twice the size of a maximal multicurve on the surface. As a consequence we show that large half-graphs do not have $\mathcal{P}_{g,p}$, and we deduce quantitatively that almost all finite graphs which pass the chromatic and clique tests do not have $\mathcal{P}_{g,p}$. We also reinterpret our obstruction in terms of the first-order theory of the curve graph, and in terms of RAAG subgroups of the mapping class group (following Kim and Koberda). Finally, we show that large multipartite subgraphs cannot have $\mathcal{P}_{g,p}$. This allows us to compute the upper density of the curve graph, and to conclude that clique size, chromatic number, and nested complexity length are not sufficient to determine $\mathcal{P}_{g,p}$.
Performance of ternary double circulant, double twistulant, and self-dual codes
Published
• View Publication
• BIB
We study the performance of ternary isodual codes which are not self-dual and ternary self-dual codes, as measured by the decoding error probability in bounded distance decoding. We compare the performance of ternary double circulant and double twistulant codes which are not self-dual with ternary extremal self-dual codes. We also investigate the performance of ternary self-dual codes having large minimum weights.
A note on the size of N-free families
Published
• View Publication
• BIB
The $\mathcal{N}$ poset consists of four distinct sets $W,X,Y,Z$ such that $W\subset X$, $Y\subset X$, and $Y\subset Z$ where $W$ is not necessarily a subset of $Z$. A family $\mathcal{F}$ as a subposet of the $n$-dimensional Boolean lattice, $\mathcal{B}_n$, is $\mathcal{N}$-free if it does not contain $\mathcal{N}$ as a subposet. Let $\text{La}(n, \mathcal{N})$ be the size of a largest $\mathcal{N}$-free family in $\mathcal{B}_n$. Katona and Tarján proved that $\text{La}(n,\mathcal{N})\geq {n \choose k}+A(n,4,k+1)$, where $k=\lfloor n/2\rfloor$ and $A(n, 4, k+1)$ is the size of a single-error-correcting code with constant weight $k+1$. In this note, we prove for $n$ even and $k=n/2$, $\text{La}(n, \mathcal{N}) \geq {n\choose k}+A(n, 4, k)$, which improves the bound on $\text{La}(n, \mathcal{N})$ in the second order term for some values of $n$ and should be an improvement for an infinite family of values of $n$, depending on the behavior of the function $A(n,4,\cdot)$.
Wigner law for matrices with dependent entries - a perturbative approach
Published in J. Phys. A: Math. Theor. 50 (2017) 16LT02
• View Publication
• BIB
We show that Wigner semi-circle law holds for Hermitian matrices with dependent entries, provided the deviation of the cumulants from the normalised Gaussian case obeys a simple power law bound in the size of the matrix. To establish this result, we use replicas interpreted as a zero-dimensional quantum field theoretical model whose effective potential obey a renormalisation group equation.
Algebras sharing the same support $τ$-tilting poset with tree quiver algebras
Published
• View Publication
• BIB
Happel and Unger reconstructed hereditary algebras from their posets of tilting modules. Inspired by this result, we try removing the assumption to be hereditary. However, it would be unfortunately fail in general: e.g. every selfinjective algebra has the poset consisting of only one point. Therefore, we should consider a generalization of the Happel-Unger's result for posets of support $τ$-tilting modules, which contains those of tilting modules. In this paper, we spotlight finite dimensional algebras whose support $τ$-tilting posets coincide with those of tree quiver algebras and give a full characterization of such algebras.
A Note on Large H-Intersecting Families
Published
• View Publication
• BIB
A family $F$ of graphs on a fixed set of $n$ vertices is called triangle-intersecting if for any $G_1,G_2 \in F$, the intersection $G_1 \cap G_2$ contains a triangle. More generally, for a fixed graph $H$, a family $F$ is $H$-intersecting if the intersection of any two graphs in $F$ contains a sub-graph isomorphic to $H$.
In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families of graphs, J. Eur. Math. Soc. 14 (2012), pp. 841--885], Ellis, Filmus and Friedgut proved a 36-year old conjecture of Simonovits and Sós stating that the maximal size of a triangle-intersecting family is $(1/8)2^{n(n-1)/2}$. Furthermore, they proved a $p$-biased generalization, stating that for any $p \leq 1/2$, we have $μ_{p}(F)\le p^{3}$, where $μ_{p}(F)$ is the probability that the random graph $G(n,p)$ belongs to $F$.
In the same paper, Ellis et al. conjectured that the assertion of their biased theorem holds also for $1/2 < p \le 3/4$, and more generally, that for any non-$t$-colorable graph $H$ and any $H$-intersecting family $F$, we have $μ_{p}(F)\le p^{t(t+1)/2}$ for all $p \leq (2t-1)/(2t)$.
In this note we construct, for any fixed $H$ and any $p>1/2$, an $H$-intersecting family $F$ of graphs such that $μ_{p}(F)\ge 1-e^{-n^{2}/C}$, where $C$ depends only on $H$ and $p$, thus disproving both conjectures.
Alphabet-Almost-Simple 2-Neighbour Transitive Codes
Published
• View Publication
• BIB
Let $X$ be a subgroup of the full automorphism group of the Hamming graph $H(m,q)$, and $C$ a subset of the vertices of the Hamming graph. We say that $C$ is an \emph{$(X,2)$-neighbour transitive code} if $X$ is transitive on $C$, as well as $C_1$ and $C_2$, the sets of vertices which are distance $1$ and $2$ from the code. This paper begins the classification of $(X,2)$-neighbour transitive codes where the action of $X$ on the entries of the Hamming graph has a non-trivial kernel. There exists a subgroup of $X$ with a $2$-transitive action on the alphabet; this action is thus almost-simple or affine. If this $2$-transitive action is almost simple we say $C$ is \emph{alphabet-almost-simple}. The main result in this paper states that the only alphabet-almost-simple $(X,2)$-neighbour transitive code with minimum distance $δ\geq 3$ is the repetition code in $H(3,q)$, where $q\geq 5$.
Representing derivatives of Chebyshev polynomials by Chebyshev polynomials
Published
• View Publication
• BIB
A recursion formula for derivatives of Chebyshev polynomials is replaced by an explicit formula.
Schur partition theorems via perfect crystal
Motivated by spin modular representations of the symmetric groups, we propose two generalizations of the Schur regular partitions for an odd integer $p\geq 3$. One forms a subset of the set of $p$-strict partitions, and the other forms that of strict partitions. We prove that each set has a basic $A^{(2)}_{p-1}$-crystal structure. For $p=3$, it reproves Schur's 1926 partition theorem, a mod 6 analog of Rogers-Ramanujan partition theorem (RRPT). For $p=5$, it gives a computer-free proof of a conjecture by Andrews during his 3-parameter generalization of RRPT, which was first proved by Andrews-Bessenrodt-Olsson.
Computing DM-decomposition of a partitioned matrix with rank-1 blocks
Published
• View Publication
• BIB
In this paper, we develop a polynomial time algorithm to compute a Dulmage-Mendelsohn-type decomposition of a matrix partitioned into submatrices of rank at most $1$.
On the covering radius of lattice zonotopes and its relation to view-obstructions and the lonely runner conjecture
Published in Aequationes mathematicae, Volume 91, Issue 2, pp. 331-352 (2017)
• View Publication
• BIB
The goal of this paper is twofold; first, show the equivalence between certain problems in geometry, such as view-obstruction and billiard ball motions, with the estimation of covering radii of lattice zonotopes. Second, we will estimate upper bounds of said radii by virtue of the Flatness Theorem. These problems are similar in nature with the famous lonely runner conjecture.
The Berenstein-Kirillov group and cactus groups
Published
• View Publication
• BIB
Berenstein and Kirillov have studied the action of Bender-Knuth moves on semistandard tableaux. Losev has studied a cactus group action in Kazhdan-Lusztig theory; in type $A$ this action can also be identified in the work of Henriques and Kamnitzer. We establish the relationship between the two actions. We show that the Berenstein-Kirillov group is a quotient of the cactus group. We use this to derive previously unknown relations in the Berenstein-Kirillov group. We also determine precise implications between subsets of relations in the two groups, which yields a presentation for cactus groups in terms of Bender-Knuth generators.
Nesting statistics in the $O(n)$ loop model on random maps of arbitrary topologies
Published
• View Publication
• BIB
We pursue the analysis of nesting statistics in the $O(n)$ loop model on random maps, initiated for maps with the topology of disks and cylinders in math-ph/1605.02239, here for arbitrary topologies. For this purpose we rely on the topological recursion results of math-ph/0910.5896 and math-ph/1303.5808 for the enumeration of maps in the $O(n)$ model. We characterize the generating series of maps of genus $g$ with $k'$ marked points and $k$ boundaries and realizing a fixed nesting graph. These generating series are amenable to explicit computations in the loop model with bending energy on triangulations, and we characterize their behavior at criticality in the dense and in the dilute phase.
Stability of higher-dimensional interval decomposable persistence modules
The algebraic stability theorem for $\mathbb{R}$-persistence modules is a fundamental result in topological data analysis. We present a stability theorem for $n$-dimensional rectangle decomposable persistence modules up to a constant $(2n-1)$ that is a generalization of the algebraic stability theorem, and also has connections to the complexity of calculating the interleaving distance. The proof given reduces to a new proof of the algebraic stability theorem with $n=1$. We give an example to show that the bound cannot be improved for $n=2$. We apply the same technique to prove stability results for zigzag modules and Reeb graphs, reducing the previously known bounds to a constant that cannot be improved, settling these questions.