Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Explicit Formulae of Cauchy Polynomials with a $q$ Parameter in Terms of $r$-Whitney Numbers
The Cauchy polynomials with a $q$ parameter were recently defined, and several arithmetical properties were studied. In this paper, we establish explicit formulae for computing the Cauchy polynomials with a $q$ parameter in terms of $r$-Whitney numbers of the first kind. We also obtain several properties and combinatorial identities.
A magic rectangle set on Abelian groups
Published in Discrete Applied Mathematics 288 (2021) 201-210
• View Publication
• BIB
A $Γ$-magic rectangle set $MRS_Γ(a, b; c)$ of order $abc$ is a collection of $c$ arrays $(a\times b)$ whose entries are elements of group $Γ$, each appearing once, with all row sums in every rectangle equal to a constant $ω\in Γ$ and all column sums in every rectangle equal to a constant $δ\in Γ$.
In this paper we prove that for $\{a,b\}\neq\{2^α,2k+1\}$ where $α$ and $k$ are some natural numbers, a $Γ$-magic rectangle set MRS$_Γ(a, b;c)$ exists if and only if $a$ and $b$ are both even or and $|Γ|$ is odd or $Γ$ has more than one involution. Moreover we obtain sufficient and necessary conditions for existence a $Γ$-magic rectangle MRS$_Γ(a, b)$=MRS$_Γ(a, b;1)$.
An improved method for recursively computing upper bounds for two-colour Ramsey numbers
The two-colour Ramsey number $R(m,n)$ is the least natural number $p$ such that any graph of order $p$ must contain either a clique of size $m$ or an independent set of size $n$. We exhibit a method for computing upper bounds for $R(m,n)$ recursively, using known upper bounds of $R(\cdot,\cdot)$ with lower values for at least one of the arguments. We also give an example of how this method could be used to improve several of the best known bounds that are available in the literature (which however soon will be obsolete due to a forthcoming work).
Hypergraph Removal Lemmas via Robust Sharp Threshold Theorems
The classical sharp threshold theorem of Friedgut and Kalai (1996) asserts that any symmetric monotone function $f:\{0,1\}^{n}\to\{0,1\}$ exhibits a sharp threshold phenomenon. This means that the expectation of $f$ with respect to the biased measure $μ_{p}$ increases rapidly from 0 to 1 as $p$ increases.
In this paper we present `robust' versions of the theorem, which assert that it holds also if the function is `almost' monotone, and admits a much weaker notion of symmetry. Unlike the original proof of the theorem which relies on hypercontractivity, our proof relies on a `regularity' lemma (of the class of Szemerédi's regularity lemma and its generalizations) and on the `invariance principle' of Mossel, O'Donnell, and Oleszkiewicz which allows (under certain conditions) replacing functions on the cube $\{0,1\}^{n}$ with functions on Gaussian random variables.
The hypergraph removal lemma of Gowers (2007) and independently of Nagle, Rödl, Schacht, and Skokan (2006) says that if a $k$-uniform hypergraph on $n$ vertices contains few copies of a fixed hypergraph $H$, then it can be made $H$-free by removing few of its edges. While this settles the `hypergraph removal problem' in the case where $k$ and $H$ are fixed, the result is meaningless when $k$ is large (e.g. $k>\log\log\log n$).
Using our robust version of the Friedgut-Kalai Theorem, we obtain a hypergraph removal lemma that holds for $k$ up to linear in $n$ for a large class of hypergraphs. These contain all the hypergraphs such that both their number of edges and the sizes of the intersections of pairs of their edges are upper bounded by some constant.
Fixed points of competitive threshold-linear networks
Published
• View Publication
• BIB
Threshold-linear networks (TLNs) are models of neural networks that consist of simple, perceptron-like neurons and exhibit nonlinear dynamics that are determined by the network's connectivity. The fixed points of a TLN, including both stable and unstable equilibria, play a critical role in shaping its emergent dynamics. In this work, we provide two novel characterizations for the set of fixed points of a competitive TLN: the first is in terms of a simple sign condition, while the second relies on the concept of domination. We apply these results to a special family of TLNs, called combinatorial threshold-linear networks (CTLNs), whose connectivity matrices are defined from directed graphs. This leads us to prove a series of graph rules that enable one to determine fixed points of a CTLN by analyzing the underlying graph. Additionally, we study larger networks composed of smaller "building block" subnetworks, and prove several theorems relating the fixed points of the full network to those of its components. Our results provide the foundation for a kind of "graphical calculus" to infer features of the dynamics from a network's connectivity.
On the maximum number of minimum dominating sets in forests
Published
• View Publication
• BIB
Fricke, Hedetniemi, Hedetniemi, and Hutson asked whether every tree with domination number $γ$ has at most $2^γ$ minimum dominating sets. Bien gave a counterexample, which allows to construct forests with domination number $γ$ and $2.0598^γ$ minimum dominating sets. We show that every forest with domination number $γ$ has at most $2.4606^γ$ minimum dominating sets, and that every tree with independence number $α$ has at most $2^{α-1}+1$ maximum independent sets.
Binomial Inequalities for Chromatic, Flow, and Tension Polynomials
Published in Discrete & Computational Geometry 66, no. 2 (2021), 464-474
• View Publication
• BIB
A famous and wide-open problem, going back to at least the early 1970's, concerns the classification of chromatic polynomials of graphs. Toward this classification problem, one may ask for necessary inequalities among the coefficients of a chromatic polynomial, and we contribute such inequalities when a chromatic polynomial $χ_G(n) = χ^*_0 \binom {n+d} d + χ^*_1 \binom {n+d-1} d + \dots + χ^*_d \binom n d$ is written in terms of a binomial-coefficient basis. For example, we show that $χ^*_{ j } \le χ^*_{ d-j }$, for $0 \le j \le \frac{ d }{ 2 }$. Similar results hold for flow and tension polynomials enumerating either modular or integral nowhere-zero flows/tensions of a graph. Our theorems follow from connections among chromatic, flow, tension, and order polynomials, as well as Ehrhart polynomials of lattice polytopes that admit unimodular triangulations. Our results use Ehrhart inequalities due to Athanasiadis and Stapledon and are related to recent work by Hersh--Swartz and Breuer--Dall, where inequalities similar to some of ours were derived using algebraic-combinatorial methods.
Different classes of binary necklaces and a combinatorial method for their enumerations
In this paper we investigate enumeration of some classes of $n$-character strings and binary necklaces. Recall that binary necklaces are necklaces in two colors with length $n$. We prove three results (Theorems 1, 1' and 2) concerning the numbers of three classes of $j$-character strings (closely related to some classes of binary necklaces or Lyndon words). Using these results, we deduce Moreau's necklace-counting function for binary aperiodic necklaces of length $k$ \cite{mo} (Theorem 3), and we prove the binary case of MacMahon's formula from 1892 \cite{ma} (also called Witt's formula) for the number of necklaces (Theorem 4). Notice that we give proofs of Theorems 3 and 4 without use of Burnside's lemma and Pólya enumeration theorem. Namely, the methods used in our proofs of auxiliary and main results presented in Sections 3 and 4 are combinatorial in spirit and they are based on counting method and some facts from elementary number theory.
Counting Phylogenetic Networks with Few Reticulation Vertices: Tree-Child and Normal Networks
In recent decades, phylogenetic networks have become a standard tool in modeling evolutionary processes. Nevertheless, basic combinatorial questions about them are still largely open. For instance, even the asymptotic counting problem for the class of phylogenetic networks and subclasses is unsolved. In this paper, we propose a method based on generating functions to count networks with few reticulation vertices for two subclasses which are important in applications: tree-child networks and normal networks. In particular, our method can be used to completely solve the asymptotic counting problem for these network classes when the number of reticulation vertices remains fixed and the network size tends to infinity.
On the classification of linear complementary dual codes
Published in Discrete Mathematics 342 (2019) 270-278
• View Publication
• BIB
We give a complete classification of binary linear complementary dual codes of lengths up to $13$ and ternary linear complementary dual codes of lengths up to $10$.
A Variant on the Feline Josephus Problem
In the Feline Josephus problem, soldiers stand in a circle, each having $\ell$ `lives'. Going around the circle, a life is taken from every $k$th soldier; soldiers with 0 lives remaining are removed from the circle. Finding the last surviving soldier proves to be an interesting and difficult problem, even in the case when $\ell=1$. In our variant of the Feline Josephus problem, we instead remove a life from $k$ consecutive soldiers, and skip 1 soldier. In certain cases, we find closed formulas for the surviving soldier and hint at a way of finding such solutions in other cases.
Irregular triangulations of complete graphs on 12s vertices in orientable surfaces
We present a family of index 1 abelian current graphs whose derived embeddings can be modified into triangulations of $K_{12s}$ for $s \geq 4$. Our construction is significantly simpler than previous methods for finding genus embeddings of $K_{12s}$, which utilized either large index or nonabelian groups.
Strong geodetic cores and Cartesian product graphs
Published
• View Publication
• BIB
The strong geodetic problem on a graph $G$ is to determine a smallest set of vertices such that by fixing one shortest path between each pair of its vertices, all vertices of $G$ are covered. To do this as efficiently as possible, strong geodetic cores and related numbers are introduced. Sharp upper and lower bounds on the strong geodetic core number are proved. Using the strong geodetic core number an earlier upper bound on the strong geodetic number of Cartesian products is improved. It is also proved that ${\rm sg}(G \,\square\, K_2) \geq {\rm sg}(G)$ holds for different families of graphs, a result conjectured to be true in general. Counterexamples are constructed demonstrating that the conjecture does not hold in general.
On the Diameter of Tree Associahedra
Published
• View Publication
• BIB
We consider a natural notion of search trees on graphs, which we show is ubiquitous in various areas of discrete mathematics and computer science. Search trees on graphs can be modified by local operations called rotations, which generalize rotations in binary search trees. The rotation graph of search trees on a graph $G$ is the skeleton of a polytope called the graph associahedron of $G$.
We consider the case where the graph $G$ is a tree. We construct a family of trees $G$ on $n$ vertices and pairs of search trees on $G$ such that the minimum number of rotations required to transform one search tree into the other is $Ω(n\log n)$. This implies that the worst-case diameter of tree associahedra is $Θ(n\log n)$, which answers a question from Thibault Manneville and Vincent Pilaud. The proof relies on a notion of projection of a search tree which may be of independent interest.
Space of isospectral periodic tridiagonal matrices
Published in Algebr. Geom. Topol. 20 (2020) 2957-2994
• View Publication
• BIB
A periodic tridiagonal matrix is a tridiagonal matrix with additional two entries at the corners. We study the space $X_{n,λ}$ of Hermitian periodic tridiagonal $n\times n$-matrices with a fixed simple spectrum $λ$. Using the discretized Shrödinger operator we describe all spectra $λ$ for which $X_{n,λ}$ is a topological manifold. The space $X_{n,λ}$ carries a natural effective action of a compact $(n-1)$-torus. We describe the topology of its orbit space and, in particular, show that whenever the isospectral space is a manifold, its orbit space is homeomorphic to $S^4\times T^{n-3}$. There is a classical dynamical system: the flow of the periodic Toda lattice, acting on $X_{n,λ}$. Except for the degenerate locus $X_{n,λ}^0$, the Toda lattice exhibits Liouville--Arnold behavior, so that the space $X_{n,λ}\setminus X_{n,λ}^0$ is fibered into tori. The degenerate locus of the Toda system is described in terms of combinatorial geometry: its structure is encoded in the special cell subdivision of a torus, which is obtained from the regular tiling of the euclidean space by permutohedra. We apply methods of commutative algebra and toric topology to describe the cohomology and equivariant cohomology modules of $X_{n,λ}$.
Delaunay Triangulations of Points on Circles
Delaunay triangulations of a point set in the Euclidean plane are ubiquitous in a number of computational sciences, including computational geometry.
Delaunay triangulations are not well defined as soon as 4 or more points are concyclic but since it is not a generic situation, this difficulty is usually handled by using a (symbolic or explicit) perturbation. As an alternative, we propose to define a canonical triangulation for a set of concyclic points by using a max-min angle characterization of Delaunay triangulations. This point of view leads to a well defined and unique triangulation as long as there are no symmetric quadruples of points. This unique triangulation can be computed in quasi-linear time by a very simple algorithm.
Supercongruences for the $(p-1)$th Apéry number
Published
• View Publication
• BIB
In this paper, we prove two conjectural supercongruences on the $(p-1)$th Apéry number, which were recently proposed by Z.-H. Sun.
Arctic curves for paths with arbitrary starting points: a tangent method approach
Published in J. Phys. A: Math. Theor. 51 355201 (2018)
• View Publication
• BIB
We use the tangent method to investigate the arctic curve in a model of non-intersecting lattice paths with arbitrary fixed starting points aligned along some boundary and whose distribution is characterized by some arbitrary piecewise differentiable function. We find that the arctic curve has a simple explicit parametric representation depending of this function, providing us with a simple transform that maps the arbitrary boundary condition to the arctic curve location. We discuss generic starting point distributions as well as particular freezing ones which create additional frozen domains adjacent to the boundary, hence new portions for the arctic curve. A number of examples are presented, corresponding to both generic and freezing distributions.
Neural codes, decidability, and a new local obstruction to convexity
Published in SIAM J. Appl. Algebra Geom. 3 (1), 44-66 (2019)
• View Publication
• BIB
Given an intersection pattern of arbitrary sets in Euclidean space, is there an arrangement of convex open sets in Euclidean space that exhibits the same intersections? This question is combinatorial and topological in nature, but is motivated by neuroscience. Specifically, we are interested in a type of neuron called a place cell, which fires precisely when an organism is in a certain region, usually convex, called a place field. The earlier question, therefore, can be rephrased as follows: Which neural codes, that is, patterns of neural activity, can arise from a collection of convex open sets? To address this question, Giusti and Itskov proved that convex neural codes have no "local obstructions," which are defined via the topology of a code's simplicial complex. Codes without local obstructions are called locally good, because the obstruction precludes the code from encoding the intersections of open sets that form a good cover. In other words, every good-cover code is locally good. Here we prove the converse: Every locally good code is a good-cover code. We also prove that the good-cover decision problem is undecidable. Finally, we reveal a stronger type of local obstruction that prevents a code from being convex, and prove that the corresponding decision problem is NP-hard. Our proofs use combinatorial and topological methods.
Asymptotics in percolation on high-girth expanders
We consider supercritical bond percolation on a family of high-girth $d$-regular expanders. Alon, Benjamini and Stacey (2004) established that its critical probability for the appearance of a linear-sized ("giant'') component is $p_c=1/(d-1)$. Our main result recovers the sharp asymptotics of the size and degree distribution of the vertices in the giant and its 2-core at any $p>p_c$. It was further shown in [ABS04] that the second largest component, at any $0<p<1$, has size at most $n^ω$ for some $ω<1$. We show that, unlike the situation in the classical Erdős-Rényi random graph, the second largest component in bond percolation on a regular expander, even with an arbitrarily large girth, can have size $n^{ω'}$ for $ω'$ arbitrarily close to $1$. Moreover, as a by-product of that construction, we answer negatively a question of Benjamini (2013) on the relation between the diameter of a component in percolation on expanders and the existence of a giant component. Finally, we establish other typical features of the giant component, e.g., the existence of a linear path.