natural ↗ reference
4897 papers tagged with this keyword
Algebraic structures on graph associahedra
Published
• View Publication
• BIB
M. Carr and S. Devadoss introduced in [7] the notion of tubing on a finite simple graph $Γ$, in the context of configuration spaces on the Hilbert plane. To any finite simple graph $Γ$ they associated a finite partially ordered set, whose elements are the tubings of $Γ$ and whose geometric realization is a convex polytope ${\mathcal K}Γ$, the graph-associahedron. For the complete graphs they recovered permutahedra, for linear graphs they got Stasheff's associahedra, while for simple graph they obtained the standard simplexes.
The goal of the present work is to give an \emph{algebraic} description of graph associahedra. We introduce a substitution operation on tubings, which allows us to describe the set of faces of graph-associahedra as a free object, spanned by the set of all connected simple graphs, under operations given via connected subgraphs. The boundary maps of graph-associahedra defines natural derivations in this context.
Along the way, we introduce a topological interpretation of the graph tubings and our new operations. In the last section, we show that substitution of tubings may be understood in the context of M. Batanin and M. Markl's operadic categories.
Determining monotonic step-equal sequences of any limited length in the Collatz problem
This paper proposes a formula expression for the well-known Collatz conjecture (or 3x+1 problem), which can pinpoint all the growth points in the orbits of the Collatz map for any natural numbers. The Collatz map $Col: \mathcal{N}+1 \rightarrow \mathcal{N}+1$ on the positive integers is defined as $x_{n+1}=Col(x_n)=(3 x_n +1)/2^{m_n}$ where $x_{n+1}$ is always odd and $m_n$ is the step size required to eliminate any possible even values. The Collatz orbit for any positive integer, $x_1$, is expressed by a sequence, $<x_1$; $x_2\doteq Col(x_1)$; $\cdots$ $x_{n+1}\doteq Col(x_n)$; $\cdots>$ and $x_n$ is defined as a growth point if $Col(x_n)>x_n$ holds, and we show that every growth point is in a format of ``$4y+3$'' where $y$ is any natural number. Moreover, we derive that, for any given positive integer $n$, there always exists a natural number, $x_1$, that starts a monotonic increasing or decreasing Collatz sequence of length $n$ with the same step size. For any given positive integer $n$, a class of orbits that share the same orbit rhythm of length $n$ can also be determined.
A generalization of Wilf's conjecture for Generalized Numerical Semigroups
Published
• View Publication
• BIB
A numerical semigroup is a submonoid of $\mathbb N$ with finite complement in $\mathbb N$. A generalized numerical semigroup is a submonoid of $\mathbb{N}^{d}$ with finite complement in $\mathbb{N}^{d}$. In the context of numerical semigroups, Wilf's conjecture is a long standing open problem whose study has led to new mathematics and new ways of thinking about monoids. A natural extension of Wilf's conjecture, to the class of $\mathcal C$-semigroups, was proposed by García-García, Marín-Aragón, and Vigneron-Tenorio. In this paper, we propose a different generalization of Wilf's conjecture, to the setting of generalized numerical semigroups, and prove the conjecture for several large families including the irreducible, symmetric, and monomial case. We also discuss the relationship of our conjecture to the extension proposed by García-García, Marín-Aragón, and Vigneron-Tenorio.
On a Class of Sums with Unexpectedly High Cancellation, and its Applications
Following attempts at an analytic proof of the Pentagonal Number Theorem, we report on the discovery of a general principle leading to an unexpected cancellation of oscillating sums. After stating the motivation, and our theorem, we apply it to prove several results on the Prouhet-Tarry-Escott Problem, integer partitions, and the distribution of prime numbers. Regarding the Prouhet-Tarry-Escott problem, we show that \begin{align*} \sum_{|\ell|\leq x}(4x^2-4\ell^2)^{2r}-\sum_{|\ell|<x}(4x^2-(2\ell+1)^2)^{2r}=\text{polynomial w.r.t. } x \text{ with degree }2r-1. \end{align*} This can perhaps be proved using properties of Bernoulli polynomials, but the claim fell out of our method in a more natural and motivated way. Using this result, we solve an approximate version of the PTE Problem, and in doing so our work in the approximate case exceeds the bounds one can prove using a pigeonhole argument, which seems remarkable. Also, we prove that $$ \sum_{\ell^2 < n} (-1)^\ell p(n-\ell^2)\ \sim\ (-1)^n 2^{-3/4} n^{-1/4} \sqrt{p(n)}, $$ where $p(n)$ is the usual partition function. We get the following "Weak pentagonal number theorem", in which we can replace the partition function $p(n)$ with Chebyshev $Ψ$ function: $$ \sum_{0 < \ell < \sqrt{xT}/2} Ψ([e^{\sqrt{x - \frac{(2\ell)^2}{T}}},\ e^{\sqrt{x - \frac{(2\ell-1)^2}{T}}}])\ =Ψ(e^{\sqrt{x}})\left(\frac{1}{2} + O\left (e^{-0.196\sqrt{x}}\right)\right), $$ where $T=e^{0.786\sqrt{x}}$, where $Ψ([a,b]) := \sum_{n\in [a,b]} Λ(n)$ and $Ψ(x) = Ψ([1,x])$, where $Λ$ is the von Mangoldt function. Note that this last equation (sum over $\ell$) is stronger than one would get using a strong form of the Prime Number Theorem and also a naive use of the Riemann Hypothesis in each interval, since the widths of the intervals are smaller than $e^{\frac{1}{2} \sqrt{x}}$, making the RH estimate ``trivial".
Ends as tangles
Every end of an infinite graph $ G $ defines a tangle of infinite order in $ G $. These tangles indicate a highly cohesive substructure in the graph if and only if they are closed in some natural topology. We characterize, for every finite $ k $, the ends $ ω$ whose induced tangles of order $ k $ are closed. They are precisely the tangles $ τ$ for which there is a set of $ k $ vertices that decides $ τ$ by majority vote. Such a set exists if and only if the vertex degree plus the number of dominating vertices of $ ω$ is at least $ k $.
Curvatures, graph products and Ricci flatness
Published
• View Publication
• BIB
In this paper, we compare Ollivier Ricci curvature and Bakry-Émery curvature notions on combinatorial graphs and discuss connections to various types of Ricci flatness. We show that non-negativity of Ollivier Ricci curvature implies non-negativity of Bakry-Émery curvature under triangle-freeness and an additional in-degree condition. We also provide examples that both conditions of this result are necessary. We investigate relations to graph products and show that Ricci flatness is preserved under all natural products. While non-negativity of both curvatures are preserved under Cartesian products, we show that in the case of strong products, non-negativity of Ollivier Ricci curvature is only preserved for horizontal and vertical edges. We also prove that all distance-regular graphs of girth $4$ attain their maximal possible curvature values.
The Query Complexity of Mastermind with $\ell_p$ Distances
Consider a variant of the Mastermind game in which queries are $\ell_p$ distances, rather than the usual Hamming distance. That is, a codemaker chooses a hidden vector $\mathbf{y}\in\{-k,-k+1,\dots,k-1,k\}^n$ and answers to queries of the form $\Vert\mathbf{y}-\mathbf{x}\Vert_p$ where $\mathbf{x}\in\{-k,-k+1,\dots,k-1,k\}^n$. The goal is to minimize the number of queries made in order to correctly guess $\mathbf{y}$.
Motivated by this question, in this work, we develop a nonadaptive polynomial time algorithm that works for a natural class of separable distance measures, i.e.\ coordinate-wise sums of functions of the absolute value. This in particular includes distances such as the smooth max (LogSumExp) as well as many widely-studied $M$-estimator losses, such as $\ell_p$ norms, the $\ell_1$-$\ell_2$ loss, the Huber loss, and the Fair estimator loss. When we apply this result to $\ell_p$ queries, we obtain an upper bound of $O\left(\min\left\{n,\frac{n\log k}{\log n}\right\}\right)$ queries for any real $1\leq p<\infty$. We also show matching lower bounds up to constant factors for the $\ell_p$ problem, even for adaptive algorithms for the approximation version of the problem, in which the problem is to output $\mathbf{y}'$ such that $\Vert\mathbf{y}'-\mathbf{y}\Vert_p\leq R$ for any $R\leq k^{1-\varepsilon}n^{1/p}$ for constant $\varepsilon>0$. Thus, essentially any approximation of this problem is as hard as finding the hidden vector exactly, up to constant factors. Finally, we show that for the noisy version of the problem, i.e. the setting when the codemaker answers queries with any $q = (1\pm\varepsilon)\Vert\mathbf{y}-\mathbf{x}\Vert_p$, there is no query efficient algorithm.
A Time-Dependent TSP Formulation for the Design of an Active Debris Removal Mission using Simulated Annealing
This paper proposes a formulation of the Active Debris Removal (ADR) Mission Design problem as a modified Time-Dependent Traveling Salesman Problem (TDTSP). The TDTSP is a well-known combinatorial optimization problem, whose solution is the cheapest mono-cyclic tour connecting a number of non-stationary cities in a map. The problem is tackled with an optimization procedure based on Simulated Annealing, that efficiently exploits a natural encoding and a careful choice of mutation operators. The developed algorithm is used to simultaneously optimize the targets sequence and the rendezvous epochs of an impulsive ADR mission. Numerical results are presented for sets comprising up to 20 targets.
Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras
Published in J. Algebra, 552 (2020), 134-170
• View Publication
• BIB
We introduce the notion of a matching Rota-Baxter algebra motivated by the recent work on multiple pre-Lie algebras arising from the study of algebraic renormalization of regularity structures~[10,18]. This notion is also related to iterated integrals with multiple kernels and solutions of the associative polarized Yang-Baxter equation. Generalizing the natural connection of Rota-Baxter algebras with dendriform algebras to matching Rota-Baxter algebras , we obtain the notion of matching dendriform algebras. As in the classical case of one operation, matching Rota-Baxter algebras and matching dendriform algebras are related to matching pre-Lie algebras which coincide with the aforementioned multiple pre-Lie algebras. More general notions and results on matching tridendriform algebras and matching PostLie algebras are also obtained.
On $q$-poly-Bernoulli numbers arising from combinatorial interpretations
In this paper we present several natural $q$-analogues of the poly-Bernoulli numbers arising in combinatorial contexts. We also recall some relating analytical results and ask for combinatorial interpretations.
Planar algebra presentations of $\text{URep}_{\mathbb{C}}(\mathbb{C}^+)$ and $\text{URep}_{\mathbb{F}_p}(\mathbb{F}_p^+)$
We give presentations of the planar algebra of unipotent representations of the groups $\mathbb{C}$ and $\mathbb{F}_p$ under addition using jellyfish and light leaf style arguments. These are some of the most natural examples of non-semisimple planar algebras. For the characteristic $p$ family of examples, a new generator appears in arbitrarily large box spaces as $p$ increases. We point toward future directions in getting results on first and second fundamental theorems for rings of vector invariants, as well as generalization of the examples given.
Sylow branching coefficients for symmetric groups
Published
• View Publication
• BIB
Let $p\ge 5$ be a prime and let $n$ be a natural number. In this article we describe the irreducible constituents of the induced characters $φ\big\uparrow^{\mathfrak{S}_n}$ for arbitrary linear characters $φ$ of a Sylow $p$-subgroup of the symmetric group $\mathfrak{S}_n$, generalising earlier results of the authors. By doing so, we introduce Sylow branching coefficients for symmetric groups.
A new kind of Hermitian matrices for digraphs
Published
• View Publication
• BIB
In an earlier work, the author together with Guo [Hermitian adjacency matrix of digraphs and mixed graphs, J. Graph Theory 85 (2017) 217-248] introduced the Hermitian adjacency matrix of directed (and partially directed) graphs. However, it appears that a more natural Hermitian matrix exists, and it is the purpose of this note to bring this new Hermitian matrix to the attention of researchers in algebraic graph theory.
On the tails of FI-modules
We study the end-behavior of integer-valued FI-modules. Our first result describes the high degrees of an FI-module in terms of newly defined tail invariants. Our main result provides an equivalence of categories between FI-tails and finitely supported modules for a new category that we call FJ. Objects of FJ are natural numbers, and morphisms are infinite series with summands drawn from certain modules of Lie brackets.
Classification of Open and Closed Convex Codes on Five Neurons
Published
• View Publication
• BIB
Neural codes, represented as collections of binary strings, encode neural activity and show relationships among stimuli. Certain neurons, called place cells, have been shown experimentally to fire in convex regions in space. A natural question to ask is: Which neural codes can arise as intersection patterns of convex sets? While past research has established several criteria, complete conditions for convexity are not yet known for codes with more than four neurons. We classify all neural codes with five neurons as convex/non-convex codes. Furthermore, we investigate which of these codes can be represented by open versus closed convex sets. Interestingly, we find a code which is an open but not closed convex code and demonstrate a minimal example for this phenomenon.
Dynamics of balanced parentheses, lexicographic series and Dyck polynomials
The article deals with a lexicographic order in various sequences. Consider the axiomatic of lexicographic series, based on the properties of the natural numbers. Elements of the set are ordered first the code length; further in each sign range, sorting is performed according to the given order on the alphabet. The sequence of the Dyck words, Dyck series, is analyzed as an example of such lexicographical series. The basis of this series is the dynamics of the Dyck words. We solve the direct and inverse problem of identification of elements of the Dyck series. The polynomial equation on the Dyck triangle is investigated. We give a recursive equation for Dyck polynomials. A matrix of polynomial coefficients is constructed to solve some problems. In conclusion, the reader is offered a software service for identification of the Dyck words with index up to $10^{10}$.
Collective dynamics of phase-repulsive oscillators solves graph coloring problem
Published in Chaos 30, 033128 (2020)
• View Publication
• BIB
We show how to couple phase-oscillators on a graph so that collective dynamics "searches" for the coloring of that graph as it relaxes toward the dynamical equilibrium. This translates a combinatorial optimization problem (graph coloring) into a functional optimization problem (finding and evaluating the global minimum of dynamical non-equilibrium potential, done by the natural system's evolution). Using a sample of graphs, we show that our method can serve as a viable alternative to the traditional combinatorial algorithms. Moreover, we show that, with the same computational cost, our method efficiently solves the harder problem of improper coloring of weighed graphs.
Extremal graphs with local covering conditions
Published
• View Publication
• BIB
We systematically study a natural problem in extremal graph theory, to minimize the number of edges in a graph with a fixed number of vertices, subject to a certain local condition: each vertex must be in a copy of a fixed graph $H$. We completely solve this problem when $H$ is a clique, as well as more generally when $H$ is any regular graph with degree at least about half its number of vertices. We also characterize the extremal graphs when $H$ is an Erdős-Rényi random graph. The extremal structures turn out to have the similar form as the conjectured extremal structures for a well-studied but elusive problem of similar flavor with local constraints: to maximize the number of copies of a fixed clique in graphs in which all degrees have a fixed upper bound.
A generalization of balanced tableaux and marriage problems with unique solutions
Published in Ars Mathematica Contemporanea 21(2), #P2.03 (2021)
• View Publication
• BIB
We consider families of finite sets that we call shellable and that have been characterized by Chang and by Hirst and Hughes as being the families of sets that admit unique solutions to Hall's marriage problem. In this paper, we introduce a natural generalization of Edelman and Greene's balanced tableaux that involves families of sets that satisfy Hall's marriage Condition and certain words in $[n]^m$, then prove that shellable families can be characterized by a strong existence condition relating to this generalization. As a consequence of this characterization, we show that the average number of such generalized tableaux is given by a generalization of the hook-length formula.
The number of maximal independent sets in the Hamming cube
Published
• View Publication
• BIB
Let $Q_n$ be the $n$-dimensional Hamming cube and $N=2^n$. We prove that the number of maximal independent sets in $Q_n$ is asymptotically \[2n2^{N/4},\] as was conjectured by Ilinca and the first author in connection with a question of Duffus, Frankl and Rödl.
The value is a natural lower bound derived from a connection between maximal independent sets and induced matchings. The proof that it is also an upper bound draws on various tools, among them "stability" results for maximal independent set counts and old and new results on isoperimetric behavior in $Q_n$.