Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Tangles: a structural approach to artificial intelligence in the empirical sciences (Part I)
Traditional clustering identifies groups of objects that share certain qualities. Tangles do the converse: they identify groups of qualities that often occur together. They can thereby discover, relate, and structure types: of behaviour, political views, texts, or viruses.
If desired, tangles can also be used as a new method for traditional clustering. They offer a precise, quantitative paradigm suited particularly to fuzzy clusters, since they do not require any assignment of objects to the clusters which these collectively form.
This is the first of four parts of a book with the above title. The book explores applications outside mathematics of the notion and theory of tangles generalised from the graph tangles know from graph minor theory.
On the nature of four models of symmetric walks avoiding a quadrant
Published in Annals of Combinatorics. Vol. 25, (2021), no. 3, p. 617-644
• View Publication
• BIB
We study the nature of the generating series of some models of walks with small steps in the three quarter plane. More precisely, we restrict ourselves to the situation where the group is infinite, the kernel has genus one, and the step set is diagonally symmetric (i.e., with no steps in anti-diagonal directions). In that situation, after a transformation of the plane, we derive a quadrant-like functional equation. Among the four models of walks, we obtain, using difference Galois theory, that three of them have a differentially transcendental generating series, and one has a differentially algebraic generating series.
Statistical Mechanics of Confined Polymer Networks
Published
• View Publication
• BIB
We show how the theory of the critical behaviour of $d$-dimensional polymer networks of arbitrary topology can be generalized to the case of networks confined by hyperplanes. This in particular encompasses the case of a single polymer chain in a bridge configuration. We further define multi-bridge networks, where several vertices are in local bridge configurations. We consider all cases of ordinary, mixed and special surface transitions, and polymer chains made of self-avoiding walks, or of mutually-avoiding walks, or at the tricritical $Θ$-point. In the $Θ$-point case, generalising the good-solvent case, we relate the critical exponent for simple bridges, $γ_b^Θ$, to that of terminally-attached arches, $γ_{11}^Θ,$ and to the correlation length exponent $ν^Θ.$ We find $γ_b^Θ = γ_{11}^Θ+ν^Θ.$ In the case of the special transition, we find $γ_b^Θ({\rm sp}) = \frac{1}{2}[γ_{11}^Θ({\rm sp})+γ_{11}^Θ]+ν^Θ.$ For general networks, the explicit expression of configurational exponents then naturally involve bulk and surface exponents for multiple random paths. In two-dimensions, we describe their Euclidean exponents from a unified perspective, using Schramm-Loewner Evolution (SLE) in Liouville quantum gravity (LQG), and the so-called KPZ relation between Euclidean and LQG scaling dimensions. This is done in the case of ordinary, mixed and special surface transitions, and of the $Θ$-point. We provide compelling numerical evidence for some of these results both in two- and three-dimensions.
Beck-type identities for Euler pairs of order $r$
Published
• View Publication
• BIB
Partition identities are often statements asserting that the set $\mathcal P_X$ of partitions of $n$ subject to condition $X$ is equinumerous to the set $\mathcal P_Y$ of partitions of $n$ subject to condition $Y$. A Beck-type identity is a companion identity to $|\mathcal P_X|=|\mathcal P_Y|$ asserting that the difference $b(n)$ between the number of parts in all partitions in $\mathcal P_X$ and the number of parts in all partitions in $\mathcal P_Y$ equals a $c|\mathcal P_{X'}|$ and also $c|\mathcal P_{Y'}|$, where $c$ is some constant related to the original identity, and $X'$, respectively $Y'$, is a condition on partitions that is a very slight relaxation of condition $X$, respectively $Y$. A second Beck-type identity involves the difference $b'(n)$ between the total number of different parts in all partitions in $\mathcal P_X$ and the total number of different parts in all partitions in $\mathcal P_Y$. We extend these results to Beck-type identities accompanying all identities given by Euler pairs of order $r$ (for any $r\geq 2$). As a consequence, we obtain many families of new Beck-type identities. We give analytic and bijective proofs of our results.
Standard Monomials of 1-Skeleton Ideals of Graphs and Their Signless Laplace Matrices
Published
• View Publication
• BIB
Let $G$ be a (multi) graph on the vertex set $V=\{0,1,\ldots ,n\}$ with root $0$. The $G$-parking function ideal $\mathcal{M}_G$ is a monomial ideal in the polynomial ring $R=\mathbb{K}[x_1,\ldots ,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G}\right)=\det\left(\widetilde{L}_G\right)$, where $\widetilde{L}_G$ is the truncated Laplace matrix of $G$ and $\det\left(\widetilde L_G\right)$ is the determinant of $\widetilde L_G$. In other words, standard monomials of the Artinian quotient $\frac{R}{\mathcal{M}_G}$ correspond bijectively with the spanning trees of $G$. For $0\leq k\leq n-1$, the $k$-skeleton ideal $\mathcal{M}_G^{(k)}$ of $G$ is the monomial subideal $\mathcal{M}_G^{(k)}=\left\langle m_A:\emptyset\neq A\subseteq[n]\text{ and }|A|\leq k+1\right\rangle$ of the $G$-parking function ideal $\mathcal{M}_G=\left\langle m_A : \emptyset \neq A\subseteq[n]\right\rangle\subseteq R$. For a simple graph $G$, Dochtermann conjectured that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G^{(1)}}\right)\geq\det\left(\widetilde{Q}_G\right)$, where $\widetilde Q_G$ is the truncated signless Laplace matrix of $G$. We show that Dochtermann conjecture holds for any (simple or multi) graph $G$ on $V$.
An improved Moore bound and some new optimal families of mixed Abelian Cayley graphs
We consider the case in which mixed graphs (with both directed and undirected edges) are Cayley graphs of Abelian groups. In this case, some Moore bounds were derived for the maximum number of vertices that such graphs can attain. We first show these bounds can be improved if we know more details about the order of some elements of the generating set. Based on these improvements, we present some new families of mixed graphs. For every fixed value of the degree, these families have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are shown to be optimal.
Time Dependent Biased Random Walks
Published in ACM Trans. Algorithms, 18(2), 2022
• View Publication
• BIB
We study the biased random walk where at each step of a random walk a "controller" can, with a certain small probability, move the walk to an arbitrary neighbour. This model was introduced by Azar et al. [STOC'1992]; we extend their work to the time dependent setting and consider cover times of this walk. We obtain new bounds on the cover and hitting times. Azar et al. conjectured that the controller can increase the stationary probability of a vertex from $p$ to $p^{1-ε}$; while this conjecture is not true in full generality, we propose a best-possible amended version of this conjecture and confirm it for a broad class of graphs.
We also consider the problem of computing an optimal strategy for the controller to minimise the cover time and show that for directed graphs determining the cover time is PSPACE-complete.
Spread of Influence in Graphs
Consider a graph $G$ and an initial configuration where each node is black or white. Assume that in each round all nodes simultaneously update their color based on a predefined rule. One can think of graph $G$ as a social network, where each black/white node represents an individual who holds a positive/negative opinion regarding a particular topic. In the $r$-threshold (resp. $α$-threshold) model, a node becomes black if at least $r$ of its neighbors (resp. $α$ fraction of its neighbors) are black, and white otherwise. The $r$-monotone (resp. $α$-monotone) model is the same as the $r$-threshold (resp. $α$-threshold) model, except that a black node remains black forever.
What is the number of rounds that the process needs to stabilize? How many nodes must be black initially so that black color takes over or survives? Our main goal in the present paper is to address these two questions
A combinatorial conjecture from PAC-Bayesian machine learning
We present a proof of a combinatorial conjecture from the second author's Ph.D. thesis. The proof relies on binomial and multinomial sums identities. We also discuss the relevance of the conjecture in the context of PAC-Bayesian machine learning.
On minimal presentations of shifted affine semigroups with few generators
Published in Involve 14 (2021) 617-630
• View Publication
• BIB
An affine semigroup is a finitely generated subsemigroup of $(\mathbb Z_{\ge 0}^d, +)$, and a numerical semigroup is an affine semigroup with $d = 1$. A growing body of recent work examines shifted families of numerical semigroups, that is, families of numerical semigroups of the form $M_n = \langle n + r_1, \ldots, n + r_k \rangle$ for fixed $r_1, \ldots, r_k$, with one semigroup for each value of the shift parameter $n$. It has been shown that within any shifted family of numerical semigroups, the size of any minimal presentation is bounded (in fact, this size is eventually periodic in $n$). In this paper, we consider shifted families of affine semigroups, and demonstrate that some, but not all, shifted families of 4-generated affine semigroups have arbitrarily large minimal presentations.
On a simplicial monoid whose underlying simplicial set is not a quasi-category
It is well known that the underlying simplicial set of any simplicial group is a Kan complex. Roughly speaking, Kan complex is an infinite-dimensional analogue of groupoid, and the relation between groupoids and categories resembles that between groups and monoids. Thus one may ask if the underlying simplicial set of each simplicial monoid is a quasi-category. In this short note, we construct a simplicial monoid whose underlying simplicial set is not a quasi-category.
Zone Theorem for Arrangements in three dimensions
Published in Information Processing Letters Volume 172, December 2021, 106161
• View Publication
• BIB
In this note, a simple description of zone theorem in three dimensions is given.Arrangements in three dimensions are useful for constructing higher-order Voronoi diagrams in plane. An elementary and very intuitive treatment of this result is also given.
Combinatoire des sous-groupes de congruence du groupe modulaire
Published
• View Publication
• BIB
In this paper, we study the combinatorics of congruence subgroups of the modular group by generalizing results obtained in the non-modular case. For this, we define a notion of irreducible solutions from which we can build all the solutions. In particular, we give a particular solution, irreducible for any $N$, and the list of irreducible solutions for $N \leq 6$.
On numerical semigroups with at most 12 left elements
Published
• View Publication
• BIB
For a numerical semigroup S $\subseteq$ N with embedding dimension e, conductor c and left part L = S $\cap$ [0, c -- 1], set W (S) = e|L| -- c. In 1978 Wilf asked, in equivalent terms, whether W (S) $\ge$ 0 always holds, a question known since as Wilf's conjecture. Using a closely related lower bound W 0 (S) $\le$ W (S), we show that if |L| $\le$ 12 then W 0 (S) $\ge$ 0, thereby settling Wilf's conjecture in this case. This is best possible, since cases are known where |L| = 13 and W 0 (S) = --1. Wilf's conjecture remains open for |L| $\ge$ 13.
Erdős-Hajnal properties for powers of sparse graphs
We prove that for every nowhere dense class of graphs $\mathcal{C}$, positive integer $d$, and $\varepsilon>0$, the following holds: in every $n$-vertex graph $G$ from $\mathcal{C}$ one can find two disjoint vertex subsets $A,B\subseteq V(G)$ such that $|A|\geq (1/2-\varepsilon)\cdot n$ and $|B|=Ω(n^{1-\varepsilon})$ and either $\operatorname{dist}(a,b)\leq d$ for all $a\in A$ and $b\in B$, or $\operatorname{dist}(a,b)>d$ for all $a\in A$ and $b\in B$. We also show some stronger variants of this statement, including a generalization to the setting of First-Order interpretations of nowhere dense graph classes.
The Schur degree of additive sets
Published
• View Publication
• BIB
Let (G, +) be an abelian group. A subset of G is sumfree if it contains no elements x, y, z such that x +y = z. We extend this concept by introducing the Schur degree of a subset of G, where Schur degree 1 corresponds to sumfree. The classical inequality S(n) $\le$ R n (3) -- 2, between the Schur number S(n) and the Ramsey number R n (3) = R(3,. .. , 3), is shown to remain valid in a wider context, involving the Schur degree of certain subsets of G. Recursive upper bounds are known for R n (3) but not for S(n) so far. We formulate a conjecture which, if true, would fill this gap. Indeed, our study of the Schur degree leads us to conjecture S(n) $\le$ n(S(n -- 1) + 1) for all n $\ge$ 2. If true, it would yield substantially better upper bounds on the Schur numbers, e.g. S(6) $\le$ 966 conjecturally, whereas all is known so far is 536 $\le$ S(6) $\le$ 1836.
Order polynomial product formulas and poset dynamics
Published in In "Open Problems in Algebraic Combinatorics," Vol. 110 of Proceedings of Symposia in Pure Matehmatics, AMS, 2024
• View Publication
• BIB
We survey all known examples of finite posets whose order polynomials have product formulas, and we propose the heuristic that these are the same posets with good dynamical behavior. Here the dynamics in question are the actions of promotion on the linear extensions of the poset and rowmotion on the P-partitions of the poset.
On graphs having one size of maximal open packings
A set $P$ of vertices in a graph $G$ is an open packing if no two distinct vertices in $P$ have a common neighbor. Among all maximal open packings in $G$, the smallest cardinality is denoted $ρ^{\rm o}_L(G)$ and the largest cardinality is $ρ^{\rm o}(G)$. There exist graphs for which these two invariants are arbitrarily far apart. In this paper we begin the investigation of the class of graphs that have one size of maximal open packings. By presenting a method of constructing such graphs we show that every graph is the induced subgraph of a graph in this class. The main result of the paper is a structural characterization of those $G$ that do not have a cycle of order less than $15$ and for which $ρ^{\rm o}_L(G)=ρ^{\rm o}(G)$.
Counting odd cycle free orientations of graphs
In this short note we determine the maximum number, over all $n$-vertex graphs $G$, of orientations of $G$ containing no strongly connected cycle $C_{2k+1}$. This answers a part of a recent question of Araujo, Botler and Mota.
The Weisfeiler-Leman dimension of chordal bipartite graphs without bipartite claw
Published in Graphs and Combinatorics, Vol. 37, No. 3 (2021), 1089-1102
• View Publication
• BIB
A graph $X$ is said to be chordal bipartite if it is bipartite and contains no induced cycle of length at least $6$. It is proved that if $X$ does not contain bipartite claw as an induced subgraph, then the Weisfeiler-Leman dimension of $X$ is at most $3$. The proof is based on the theory of coherent configurations.