Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Asymptotic tensor rank of graph tensors: beyond matrix multiplication
Published in J. comput. complex. (2019) 28: 57
• View Publication
• BIB
We present an upper bound on the exponent of the asymptotic behaviour of the tensor rank of a family of tensors defined by the complete graph on $k$ vertices. For $k\geq4$, we show that the exponent per edge is at most 0.77, outperforming the best known upper bound on the exponent per edge for matrix multiplication ($k=3$), which is approximately 0.79. We raise the question whether for some $k$ the exponent per edge can be below $2/3$, i.e. can outperform matrix multiplication even if the matrix multiplication exponent equals 2. In order to obtain our results, we generalise to higher order tensors a result by Strassen on the asymptotic subrank of tight tensors and a result by Coppersmith and Winograd on the asymptotic rank of matrix multiplication. Our results have applications in entanglement theory and communication complexity.
Boundary Measurement Matrices for Directed Networks on Surfaces
Published in Adv. in Appl. Math. 93 (2018), 69--92
• View Publication
• BIB
Franco, Galloni, Penante, and Wen have proposed a boundary measurement map for a graph on any closed orientable surface with boundary. We consider this boundary measurement map which takes as input an edge weighted directed graph embedded on a surface and produces on element of a Grassmannian. Computing the boundary measurement requires a choice of fundamental domain. Here the boundary measurement map is shown to be independent of the choice of fundamental domain Also, a formula for the Plücker coordinates of the element of Grassmannian in the image of the boundary measurement map is given. The formula expresses the Plücker coordinates as a rational function which can be combinatorially described in terms of paths and cycles in the directed graph.
An infinite family of vertex-primitive 2-arc-transitive digraphs
Published
• View Publication
• BIB
We solve the long-standing existence problem of vertex-primitive 2-arc-transitive digraphs by constructing an infinite family of such digraphs.
Hankel-type determinants for some combinatorial sequences
Published in Int. J. Number Theory 14(2018), no.5, 1265-1277
• View Publication
• BIB
In this paper we confirm several conjectures of Z.-W. Sun on Hankel-type determinants for some combinatorial sequences including Franel numbers, Domb numbers and Apéry numbers. For any nonnegative integer $n$, define \begin{gather*}f_n:=\sum_{k=0}^n\binom nk^3,\ D_n:=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2(n-k)}{n-k}, b_n:=\sum_{k=0}^n\binom nk^2\binom{n+k}k,\ A_n:=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2. \end{gather*} For $n=0,1,2,\ldots$, we show that $6^{-n}|f_{i+j}|_{0\leq i,j\leq n}$ and $12^{-n}|D_{i+j}|_{0\le i,j\le n}$ are positive odd integers, and $10^{-n}|b_{i+j}|_{0\leq i,j\leq n}$ and $24^{-n}|A_{i+j}|_{0\leq i,j\leq n}$ are always integers.
Pre-adjunctions and the Ramsey property
Showing that the Ramsey property holds for a class of finite structures can be an extremely challenging task and a slew of sophisticated methods have been proposed in literature. In this paper we propose a new strategy to show that a class of structures has the Ramsey property. The strategy is based on a relatively simple result in category theory and consists of establishing a pre-adjunction between the category of structures which is known to have the Ramsey property, and the category of structures we are interested in. This strategy was implicitly used already in 1981 by H.J. Prömel and B. Voigt in their proof of the Ramsey property for the class of finite linearly ordered graphs. We demonstrate the applicability of this strategy by providing short proofs of three important well known results: we show the Ramsey property for the category of all finite linearly ordered posets with embeddings, for the category of finite convexly ordered ultrametric spaces with embeddings, and for the category of all finite linearly ordered metric spaces (rational metric spaces) with embeddings.
Long cycles in locally expanding graphs, with applications
Published
• View Publication
• BIB
We provide sufficient conditions for the existence of long cycles in locally expanding graphs, and present applications of our conditions and techniques to Ramsey theory, random graphs and positional games.
Slowly synchronizing automata with fixed alphabet size
Published
• View Publication
• BIB
It was conjectured by Černý in 1964 that a synchronizing DFA on $n$ states always has a shortest synchronizing word of length at most $(n-1)^2$, and he gave a sequence of DFAs for which this bound is reached.
In this paper, we investigate the role of the alphabet size. For each possible alphabet size, we count DFAs on $n \le 6$ states which synchronize in $(n-1)^2 - e$ steps, for all $e < 2\lceil n/2 \rceil$. Furthermore, we give constructions of automata with any number of states, and $3$, $4$, or $5$ symbols, which synchronize slowly, namely in $n^2 - 3n + O(1)$ steps.
In addition, our results prove Černý's conjecture for $n \le 6$. Our computation has led to $27$ DFAs on $3$, $4$, $5$ or $6$ states, which synchronize in $(n-1)^2$ steps, but do not belong to Černý's sequence. Of these $27$ DFA's, $19$ are new, and the remaining $8$ which were already known are exactly the \emph{minimal} ones: they will not synchronize any more after removing a symbol.
So the $19$ new DFAs are extensions of automata which were already known, including the Černý automaton on $3$ states. But for $n > 3$, we prove that the Černý automaton on $n$ states does not admit non-trivial extensions with the same smallest synchronizing word length $(n-1)^2$.
Log-convexity and the cycle index polynomials with relation to compound Poisson distributions
We extend the exponential formula by Bender and Canfield (1996), which relates log-concavity and the cycle index polynomials. The extension clarifies the log-convexity relation. The proof is by noticing the property of a compound Poisson distribution together with its moment generating function. We also give a combinatorial proof of extended "log-convex part" referring Bender and Canfield's approach, where the formula by Bruijn and Erdös (1953) is additionally exploited. The combinatorial approach yields richer structural results more than log-convexity. Furthermore, we consider normal and binomial convolutions of sequences which satisfy the exponential formula. The operations generate interesting examples which are not included in well known laws about log-concavity/convexity.
Entropy production in nonlinear recombination models
Published in Bernoulli 24(4B), 2018, 3246-3282
• View Publication
• BIB
We study the convergence to equilibrium of a class of nonlinear recombination models. In analogy with Boltzmann's H theorem from kinetic theory, and in contrast with previous analysis of these models, convergence is measured in terms of relative entropy. The problem is formulated within a general framework that we refer to as Reversible Quadratic Systems. Our main result is a tight quantitative estimate for the entropy production functional. Along the way we establish some new entropy inequalities generalizing Shearer's and related inequalities.
Nice Restrictions of Reflection Arrangements
In a recent paper, Hoge and the second author classified all nice and all inductively factored reflection arrangements. In this note we extend this classification by determining all nice and all inductively factored restrictions of reflection arrangements.
On the Wiener index, distance cospectrality and transmission regular graphs
Published in Discrete Applied Mathematics, 230 (2017), 1-10
• View Publication
• BIB
In this paper, we investigate various algebraic and graph theoretic properties of the distance matrix of a graph. Two graphs are $D$-cospectral if their distance matrices have the same spectrum. We construct infinite pairs of $D$-cospectral graphs with different diameter and different Wiener index. A graph is $k$-transmission-regular if its distance matrix has constant row sum equal to $k$. We establish tight upper and lower bounds for the row sum of a $k$-transmission-regular graph in terms of the number of vertices of the graph. Finally, we determine the Wiener index and its complexity for linear $k$-trees, and obtain a closed form for the Wiener index of block-clique graphs in terms of the Laplacian eigenvalues of the graph. The latter leads to a generalization of a result for trees which was proved independently by Mohar and Merris.
Graphs vertex-partitionable into strong cliques
A graph is said to be well-covered if all its maximal independent sets are of the same size. In 1999, Yamashita and Kameda introduced a subclass of well-covered graphs, called localizable graphs and defined as graphs having a partition of the vertex set into strong cliques, where a clique in a graph is strong if it intersects all maximal independent sets. Yamashita and Kameda observed that all well-covered trees are localizable, pointed out that the converse inclusion fails in general, and asked for a characterization of localizable graphs.
In this paper we obtain several structural and algorithmic results about localizable graphs. Our results include a proof of the fact that every very well-covered graph is localizable and characterizations of localizable graphs within the classes of line graphs, triangle-free graphs, $C_4$-free graphs, and cubic graphs, each leading to a polynomial time recognition algorithm. On the negative side, we prove NP-hardness of recognizing localizable graphs within the classes of weakly chordal graphs, complements of line graphs, and graphs of independence number three. Furthermore, using localizable graphs we disprove a conjecture due to Zaare-Nahandi about $k$-partite well-covered graphs having all maximal cliques of size $k$. Our results unify and generalize several results from the literature.
Nash Social Welfare, Matrix Permanent, and Stable Polynomials
We study the problem of allocating $m$ items to $n$ agents subject to maximizing the Nash social welfare (NSW) objective. We write a novel convex programming relaxation for this problem, and we show that a simple randomized rounding algorithm gives a $1/e$ approximation factor of the objective.
Our main technical contribution is an extension of Gurvits's lower bound on the coefficient of the square-free monomial of a degree $m$-homogeneous stable polynomial on $m$ variables to all homogeneous polynomials. We use this extension to analyze the expected welfare of the allocation returned by our randomized rounding algorithm.
Strongly regular graphs from orthogonal groups $O^+(6,2)$ and $O^-(6,2)$
In this paper we construct all strongly regular graphs, with at most 600 vertices, admitting a transitive action of the orthogonal group $O^+(6,2)$ or $O^-(6,2)$. Consequently, we prove the existence of strongly regular graphs with parameters (216,40,4,8) and (540,187,58,68). We also construct a strongly regular graph with parameters (540,224,88,96) that was to the best of our knowledge previously unknown. Further, we show that under certain conditions an orbit matrix $M$ of a strongly regular graph $Γ$ can be used to define a new strongly regular graph $\widetildeΓ$, where the vertices of the graph $\widetildeΓ$ correspond to the orbits of $Γ$ (the rows of $M$). We show that some of the obtained graphs are related to each other in a way that one can be constructed from an orbit matrix of the other.
Chains conditions in algebraic lattices
This work studies the relationship between the chains of an algebraic lattice and the order structure of the join-semilattice of its compact elements. The results are presented into four chapters, each corresponding to a paper written in collaboration with Maurice Pouzet.
Counting Finite Index Subrings of $\mathbb{Z}^n$
Published in Acta Arith. 197 (2021), no. 3, 221-246
• Search Publication
We count subrings of small index of $\mathbb{Z}^n$, where the addition and multiplication are defined componentwise. Let $f_n(k)$ denote the number of subrings of index $k$. For any $n$, we give a formula for this quantity for all integers $k$ that are not divisible by a 9th power of a prime, extending a result of Liu.
Matrices about the lattice paths
From the matrix point of view, we use the recursion to discuss four combinatorial numbers in terms of the integer lattice paths, this is different from Andrá's method (Andra). We give four tables and matrices, and their relations, and give their matrix decompositions. By their relations, we give the explicit formulas of the special combinatorial numbers.
Explicit formulas for enumeration of lattice paths: basketball and the kernel method
Published in in: Lattice Path Combinatorics and Applications, G. E. Andrews, C. Krattenthaler and A. Krinik (eds.), Developments in Mathematics, Springer-Verlag, Cham, 2019, pp. 78-11
• View Publication
• BIB
This article deals with the enumeration of directed lattice walks on the integers with any finite set of steps, starting at a given altitude $j$ and ending at a given altitude $k$, with additional constraints such as, for example, to never attain altitude $0$ in-between. We first discuss the case of walks on the integers with steps $-h, \dots, -1, +1, \dots, +h$. The case $h=1$ is equivalent to the classical Dyck paths, for which many ways of getting explicit formulas involving Catalan-like numbers are known. The case $h=2$ corresponds to "basketball" walks, which we treat in full detail. Then we move on to the more general case of walks with any finite set of steps, also allowing some weights/probabilities associated with each step. We show how a method of wide applicability, the so-called "kernel method", leads to explicit formulas for the number of walks of length $n$, for any $h$, in terms of nested sums of binomials. We finally relate some special cases to other combinatorial problems, or to problems arising in queuing theory.
An application of the sum-product phenomenon to sets having no solutions of several linear equations
Published
• View Publication
• BIB
We prove that for an arbitrary $κ\le \frac{1}{3}$ any subset of $\mathbf{F}_p$ avoiding $t$ linear equations with three variables has size less than $O(p/t^κ)$. We also find several applications to problems about so--called non--averaging sets, number of collinear triples and mixed energies.
The Complexity of the Numerical Semigroup Gap Counting Problem
In this paper, we prove that the numerical-semigroup-gap counting problem is #NP-complete as a main theorem. A numerical semigroup is an additive semigroup over the set of all nonnegative integers. A gap of a numerical semigroup is defined as a positive integer that does not belong to the numerical semigroup. The computation of gaps of numerical semigroups has been actively studied from the 19th century. However, little has been known on the computational complexity. In 2005, Ramirez-Alfonsin proposed a question whether or not the numerical-semigroup-gap counting problem is #P-complete. This work is an answer for his question. For proving the main theorem, we show the #NP-completenesses of other two variants of the numerical-semigroup-gap counting problem.