Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Oriented Matroids and Combinatorial Neural Codes
Published
• View Publication
• BIB
A combinatorial neural code $\mathscr C\subseteq 2^{[n]}$ is convex if it arises as the intersection pattern of convex open subsets of $\mathbb R^d$. We relate the emerging theory of convex neural codes to the established theory of oriented matroids, both categorically and with respect to geometry and computational complexity. On the categorical side, we show that the map taking an acyclic oriented matroid to the code of positive parts of its topes is a faithful functor. We adapt the oriented matroid ideal introduced by Novik, Postnikov, and Sturmfels into a functor from the category of oriented matroids to the category of rings; then, we show that the resulting ring maps naturally to the neural ring of the matroid's neural code.
For geometry and computational complexity, we show that a code has a realization with convex polytopes if and only if it lies below the code of a representable oriented matroid in the partial order of codes introduced by Jeffs. We show that previously published examples of non-convex codes do not lie below any oriented matroids, and we construct examples of non-convex codes lying below non-representable oriented matroids. By way of this construction, we can apply Mnëv-Sturmfels universality to show that deciding whether a combinatorial code is convex is NP-hard.
Graphs on surfaces with positive Forman curvature or corner curvature
On one hand, we study the class of graphs on surfaces, satisfying tessellation properties, with positive Forman curvature on each edge. Via medial graphs, we provide a new proof for the finiteness of the class, and give a complete classification. On the other hand, we classify the class of graphs on surfaces with positive corner curvature.
Erdős-Ko-Rado theorem and bilinear forms graphs for matrices over residue class rings
Published
• View Publication
• BIB
Let $h=\prod_{i=1}^{t}p_i^{s_i}$ be its decomposition into a product of powers of distinct primes, and $\mathbb{Z}_{h}$ be the residue class ring modulo $h$. Let $1\leq r\leq m\leq n$ and $\mathbb{Z}_{h}^{m\times n}$ be the set of all $m\times n$ matrices over $\mathbb{Z}_{h}$. The generalized bilinear forms graph over $\mathbb{Z}_{h}$, denoted by $\hbox{Bil}_r(\mathbb{Z}_{h}^{m\times n})$, has the vertex set $\mathbb{Z}_{h}^{m\times n}$, and two distinct vertices $A$ and $B$ are adjacent if the inner rank of $A-B$ is less than or equal to $r$. In this paper, we determine the clique number and geometric structures of maximum cliques of $\hbox{Bil}_r(\mathbb{Z}_{h}^{m\times n})$. As a result, the Erdős-Ko-Rado theorem for $\mathbb{Z}_h^{m\times n}$ is obtained.
Optimal embedding and spectral gap of a finite graph
Published
• View Publication
• BIB
We introduce a new optimization problem regarding embeddings of a graph into a Euclidean space and discuss its relation to the two, mutually dual, optimizations problems introduced by Goering-Helmberg-Wappler. We prove that the Laplace eigenvalue maximization problem of Goering et al is also dual to our embedding optimization problem. We solve the optimization problems for generalized polygons and graphs isomorphic to the one-skeltons of regular and semi-regular polyhedra.
Acyclic matchings in graphs of bounded maximum degree
Published
• View Publication
• BIB
A matching $M$ in a graph $G$ is acyclic if the subgraph of $G$ induced by the set of vertices that are incident to an edge in $M$ is a forest. We prove that every graph with $n$ vertices, maximum degree at most $Δ$, and no isolated vertex, has an acyclic matching of size at least $(1-o(1))\frac{6n}{Δ^2},$ and we explain how to find such an acyclic matching in polynomial time.
On two congruences involving Franel numbers
Published
• View Publication
• BIB
Via symbolic summation method, we establish the following series for $π^2$: \begin{align*} \sum_{k=1}^\infty \frac{H_k-2H_{2k}}{(-3)^k k} = \frac{π^2}{18}, \end{align*} where $H_k=\sum_{j=1}^k 1/j$. We also derive a $p$-adic congruence related to this series. As an application, we prove two congruences involving Franel numbers, one of which was originally conjectured by Sun.
A Calderón type inverse problem for tree graphs
Published
• View Publication
• BIB
We study the inverse problem of recovering a tree graph together with the weights on its edges (equivalently a metric tree) from the knowledge of the Dirichlet-to-Neumann matrix associated with the Laplacian. We prove an explicit formula which relates this matrix to the pairwise weighted distances of the leaves of the tree and, thus, allows to recover the weighted tree. This result can be viewed as a counterpart of the Calderón problem in the analysis of PDEs. In contrast to earlier results on inverse problems for metric graphs, we only assume knowledge of the Dirichlet-to-Neumann matrix for a fixed energy, not of a whole matrix-valued function.
The random 2-SAT partition function
Published
• View Publication
• BIB
We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random $2$-SAT formula converges in probability to an expression predicted by the cavity method from statistical physics. The proof is based on showing that the Belief Propagation algorithm renders the correct marginal probability that a variable is set to `true' under a uniformly random satisfying assignment.
Algebraic Manipulation Detection Codes via Highly Nonlinear Functions
Published
• View Publication
• BIB
In this paper, we study the relationship between algebraic manipulation detection (AMD) codes and highly nonlinear functions. As applications, on one hand, a generic construction for systematic AMD codes is introduced based on highly nonlinear functions. Systematic AMD codes with new parameters can be generated from known highly nonlinear functions. Especially, several infinite classes of optimal systematic AMD codes, some with asymptotically optimal tag size, can be constructed. On the other hand, systematic AMD codes are used to construct highly nonlinear functions. The known construction by Cramer et al. [10] for systematic AMD codes turns out to be based on a special kind of functions with high nonlinearity.
On additive bases in infinite abelian semigroups
Published in Journal of Combinatorial Algebra 7, 1-2 (2023) 1-44
• View Publication
• BIB
Building on previous work by Lambert, Plagne and the third author, we study various aspects of the behavior of additive bases in infinite abelian groups and semigroups. We show that, for every infinite abelian group $T$, the number of essential subsets of any additive basis is finite, and also that the number of essential subsets of cardinality $k$ contained in an additive basis of order at most $h$ can be bounded in terms of $h$ and $k$ alone. These results extend the reach of two theorems, one due to Deschamps and Farhi and the other to Hegarty, bearing upon $\mathbf{N}$. Also, using invariant means, we address a classical problem, initiated by Erdős and Graham and then generalized by Nash and Nathanson both in the case of $\mathbf{N}$, of estimating the maximal order $X_T(h,k)$ that a basis of cocardinality $k$ contained in an additive basis of order at most $h$ can have. Among other results, we prove that $X_T(h,k)=O(h^{2k+1})$ for every integer $k \ge 1$. This result is new even in the case where $k=1$. Besides the maximal order $X_T(h,k)$, the typical order $S_T(h,k)$ is also studied. Our methods actually apply to a wider class of infinite abelian semigroups, thus unifying in a single axiomatic frame the theory of additive bases in $\mathbf{N}$ and in abelian groups.
Rational polytopes with Ehrhart coefficients of arbitrary period
Published
• View Publication
• BIB
A seminal result of E. Ehrhart states that the number of integer lattice points in the dilation of a rational polytope by a positive integer $k$ is a quasi-polynomial function of $k$ --- that is, a "polynomial" in which the coefficients are themselves periodic functions of $k$. Using a result of F. Liu on the Ehrhart polynomials of cyclic polytopes, we construct not-necessarily-convex rational polytopes of arbitrary dimension in which the periods of the coefficient functions appearing in the Ehrhart quasi-polynomial take on arbitrary values.
Edge-Isoperimetric Inequalities and Ball-Noise Stability: Linear Programming and Probabilistic Approaches
Published in Journal of Combinatorial Theory, Series A, 2022
• View Publication
• BIB
Let $Q_{n}^{r}$ be the graph with vertex set $\{-1,1\}^{n}$ in which two vertices are joined if their Hamming distance is at most $r$. The edge-isoperimetric problem for $Q_{n}^{r}$ is that: For every $(n,r,M)$ such that $1\le r\le n$ and $1\le M\le2^{n}$, determine the minimum edge-boundary size of a subset of vertices of $Q_{n}^{r}$ with a given size $M$. In this paper, we apply two different approaches to prove bounds for this problem. The first approach is a linear programming approach and the second is a probabilistic approach. Our bound derived by the first approach generalizes the tight bound for $M=2^{n-1}$ derived by Kahn, Kalai, and Linial in 1989. Moreover, our bound is also tight for $M=2^{n-2}$ and $r\le\frac{n}{2}-1$. Our bounds derived by the second approach are expressed in terms of the \emph{noise stability}, and they are shown to be asymptotically tight as $n\to\infty$ when $r=2\lfloor\frac{βn}{2}\rfloor+1$ and $M=\lfloor\alpha2^{n}\rfloor$ for fixed $α,β\in(0,1)$, and is tight up to a factor $2$ when $r=2\lfloor\frac{βn}{2}\rfloor$ and $M=\lfloor\alpha2^{n}\rfloor$. In fact, the edge-isoperimetric problem is equivalent to a ball-noise stability problem which is a variant of the traditional (i.i.d.-) noise stability problem. Our results can be interpreted as bounds for the ball-noise stability problem.
Bounds on the spectrum of nonsingular triangular $(0,1)$-matrices
Published
• View Publication
• BIB
Let $K_n$ be the set of all nonsingular $n\times n$ lower triangular $(0,1)$-matrices. Hong and Loewy (2004) introduced the numbers $$ c_n={\rm min}\{λ\mid λ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb{Z}_+. $$ A related family of numbers was considered by Ilmonen, Haukkanen, and Merikoski (2008): $$ C_n={\rm max}\{λ\mid λ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb{Z}_+. $$ These numbers can be used to bound the singular values of matrices belonging to $K_n$ and they appear, e.g., in eigenvalue bounds for power GCD matrices, lattice-theoretic meet and join matrices, and related number-theoretic matrices. In this paper, it is shown that for $n$ odd, one has the lower bound $$ c_n\geq \frac{1}{\sqrt{\frac{1}{25}\varphi^{-4n}+\frac{2}{25}\varphi^{-2n}-\frac{2}{5\sqrt{5}}n\varphi^{-2n}-\frac{23}{25}+n+\frac{2}{25}\varphi^{2n}+\frac{2}{5\sqrt{5}}n\varphi^{2n}+\frac{1}{25}\varphi^{4n}}}, $$ and for $n$ even, one has $$ c_n\geq \frac{1}{\sqrt{\frac{1}{25}\varphi^{-4n}+\frac{4}{25}\varphi^{-2n}-\frac{2}{5\sqrt{5}}n\varphi^{-2n}-\frac{2}{5}+n+\frac{4}{25}\varphi^{2n}+\frac{2}{5\sqrt{5}}n\varphi^{2n}+\frac{1}{25}\varphi^{4n}}}, $$ where $\varphi$ denotes the golden ratio. These lower bounds improve the estimates derived previously by Mattila (2015) and Altinişik et al. (2016). The sharpness of these lower bounds is assessed numerically and it is conjectured that $c_n\sim 5\varphi^{-2n}$ as $n\to\infty$. In addition, a new closed form expression is derived for the numbers $C_n$, viz. $$ C_n=\frac14 \csc^2\bigg(\fracπ{4n+2}\bigg)=\frac{4n^2}{π^2}+\frac{4n}{π^2}+\bigg(\frac{1}{12}+\frac{1}{π^2}\bigg)+\mathcal{O}\bigg(\frac{1}{n^2}\bigg),\quad n\in\mathbb{Z}_+. $$
A semi-small decomposition of the Chow ring of a matroid
Published
• View Publication
• BIB
We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering the main result of [AHK18]. We also show that a similar semi-small orthogonal decomposition holds for the augmented Chow ring of M.
Cut vertex and unicyclic graphs with the maximum number of connected induced subgraphs
Published
• View Publication
• BIB
Cut vertices are often used as a measure of nodes' importance within a network. They are those nodes whose failure disconnects a graph. Let N(G) be the number of connected induced subgraphs of a graph $G$. In this work, we investigate the maximum of N(G) where $G$ is a unicyclic graph with $n$ nodes of which $c$ are cut vertices. For all valid $n,c$, we give a full description of those maximal (that maximise N(.)) unicyclic graphs. It is found that there are generally two maximal unicyclic graphs. For infinitely many values of $n,c$, however, there is a unique maximal unicyclic graph with $n$ nodes and $c$ cut vertices. In particular, the well-known negative correlation between the number of connected induced subgraphs of trees and the Wiener index (sum of distances) fails for unicyclic graphs with $n$ nodes and $c$ cut vertices: for instance, the maximal unicyclic graph with $n=3,4\mod 5$ nodes and $c=n-5>3$ cut vertices is different from the unique graph that was shown by Tan et al.~[{\em The Wiener index of unicyclic graphs given number of pendant vertices or cut vertices}. J. Appl. Math. Comput., 55:1--24, 2017] to minimise the Wiener index. Our main characterisation of maximal unicyclic graphs with respect to the number of connected induced subgraphs also applies to unicyclic graphs with $n$ nodes, $c$ cut vertices and girth at most $g>3$, since it is shown that the girth of every maximal graph with $n$ nodes and $c$ cut vertices cannot exceed $4$.
Mertens' prime product formula, dissected
Published in Integers 21A (2021), Ron Graham Memorial Volume, #A17, 15 pp
• View Publication
• BIB
In 1874, Mertens famously proved an asymptotic formula for the product $p/(p-1)$ over all primes $p$ up to $x$. On the other hand, one may expand Mertens' prime product into series over numbers $n$ with only small prime factors. It is natural to restrict such series to numbers $n$ with a fixed number $k$ of prime factors. In this article, we obtain formulae for these series for each $k$, which together dissect Mertens' original estimate. The proof is by elementary methods of a combinatorial flavor.
The linear unicyclic hypergraph with the second or third largest spectral radius
Published in Acta Mathematica Sinica English Series, 36(2020), 1140-1150
• View Publication
• BIB
The spectral radius of a uniform hypergraph is defined to be that of the adjacency tensor the hypergraph. It is known that the unique unicyclic hypergraph with the largest spectral radius is a nonlinear hypergraph, and the unique linear unicyclic hypergraph with the largest spectral radius is a power hypergraph. In this paper we determine the the unique linear unicyclic hypergraph with the second or third largest spectral radius, where the former hypergraph is a power hypergraph and the latter hypergraph is a non-power hypergraph.
Weighted Dyck paths for nonstationary queues
Published
• View Publication
• BIB
We consider a model for a queue in which only a fixed number $N$ of customers can join. Each customer joins the queue independently at an exponentially distributed time. Assuming further that the service times are independent and follow an exponential distribution, this system can be described as a two-dimensional Markov process on a finite triangular region $\mathfrak S$ of the square lattice. We interpret the resulting random walk on $\mathfrak S$ as a Dyck path that is weighted according to some state-dependent transition probabilities that are constant along one axis, but are rather general otherwise. We untangle the resulting intricate combinatorial structure by introducing appropriate generating functions that exploit the recursive structure of the model. This allows us to derive a fully explicit expression for the probability density function of the number of customers served in any busy period (equivalently, of the length of any excursion of the Dyck path above the diagonal) as a weighted sum with alternating sign over a certain subclass of Dyck paths, whose study is of independent interest.
Bi-objective Optimization of Biclustering with Binary Data
Published
• View Publication
• BIB
Clustering consists of partitioning data objects into subsets called clusters according to some similarity criteria. This paper addresses a generalization called quasi-clustering that allows overlapping of clusters, and which we link to biclustering. Biclustering simultaneously groups the objects and features so that a specific group of objects has a special group of features. In recent years, biclustering has received a lot of attention in several practical applications. In this paper we consider a bi-objective optimization of biclustering problem with binary data. First we present an integer programing formulations for the bi-objective optimization biclustering. Next we propose a constructive heuristic based on the set intersection operation and its efficient implementation for solving a series of mono-objective problems used inside the Epsilon-constraint method (obtained by keeping only one objective function and the other objective function is integrated into constraints). Finally, our experimental results show that using CPLEX solver as an exact algorithm for finding an optimal solution drastically increases the computational cost for large instances, while our proposed heuristic provides very good results and significantly reduces the computational expense.
A Simulated Annealing Algorithm for the Directed Steiner Tree Problem
In \cite{siebert2019linear} the authors present a set of integer programs (IPs) for the Steiner tree problem, which can be used for both, the directed and the undirected setting of the problem. Each IP finds an optimal Steiner tree with a specific structure. A solution with the lowest cost, corresponds to an optimal solution to the entire problem. The authors show that the linear programming relaxation of each IP is integral and, also, that each IP is polynomial in the size of the instance, consequently, they can be solved in polynomial time. The main issue is that the number of IPs to solve grows exponentially with the number of terminal nodes, which makes this approach impractical for large instances. In this paper, we propose a local search procedure to solve the directed Steiner tree problem using the approach presented in \cite{siebert2019linear}. In order to do this, we present a dynamic programming algorithm to solve each IP efficiently. Then we provide a characterization of the neighborhood of each tree structure. Finally, we use the proposed algorithm and the neighborhood characterization to solve the problem using a simulated annealing framework. Computational experiments show that the quality of the solutions delivered by our approach is better than the ones presented in the literature for the directed Steiner tree problem.