Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Convexity in (colored) affine semigroups
Published
• View Publication
• BIB
In this paper, we explore affine semigroup versions of the convex geometry theorems of Helly, Tverberg, and Caratheodory. Additionally, we develop a new theory of colored affine semigroups, where the semigroup generators each receive a color and the elements of the semigroup take into account the colors used (the classical theory of affine semigroups coincides with the case in which all generators have the same color). We prove an analog of Tverberg's theorem and colorful Helly's theorem for semigroups, as well as a version of colorful Caratheodory's theorem for cones. We also demonstrate that colored numerical semigroups are particularly rich by introducing a colored version of the Frobenius number.
Ramsey numbers for multiple copies of sparse graphs
Published
• View Publication
• BIB
For a graph $H$ and an integer $n$, we let $nH$ denote the disjoint union of
$n$ copies of $H$. In 1975, Burr, Erdős, and Spencer initiated the study
of Ramsey numbers for $nH$, one of few instances for which Ramsey numbers are
now known precisely. They showed that there is a constant $c = c(H)$ such that
$r(nH) = (2|H| - α(H))n + c$, provided $n$ is sufficiently large.
Subsequently, Burr gave an implicit way of computing $c$ and noted that this
long term behaviour occurs when $n$ is triply exponential in $|H|$. Very
recently, Bucić and Sudakov revived the problem and established an
essentially tight bound on $n$ by showing $r(nH)$ follows this behaviour
already when the number of copies is just a single exponential. We provide
significantly stronger bounds on $n$ in case $H$ is a sparse graph, most
notably of bounded maximum degree. These are relatable to the current state of
the art bounds on $r(H)$ and (in a way) tight. Our methods rely on a beautiful
classic proof of Graham, Rödl, and Ruciński, with the emphasis on
developing an efficient absorbing method for bounded degree graphs.
The critical Karp--Sipser core of random graphs
Published
• View Publication
• BIB
We study the Karp--Sipser core of a random graph made of a configuration model with vertices of degree $1,2$ and $3$. This core is obtained by recursively removing the leaves as well as their unique neighbors in the graph. We settle a conjecture of Bauer & Golinelli and prove that at criticality, the Karp--Sipser core has size $ \approx \mathrm{Cst} \cdot \vartheta^{-2} \cdot n^{3/5}$ where $\vartheta$ is the hitting time of the curve $t \mapsto \frac{1}{t^{2}}$ by a linear Brownian motion started at $0$. Our proof relies on a detailed multi-scale analysis of the Markov chain associated to Karp-Sipser leaf-removal algorithm close to its extinction time.
One-element commutation classes
Published
• View Publication
• BIB
For any permutation w, we characterize the reduced words of w that are their own commutation class. When w is the long element n(n-1)...321 and n \ge 4, there are exactly four such words.
On the degree distribution of Haros graphs
Published
• View Publication
• BIB
Haros graphs is a graph-theoretical representation of real numbers in the unit interval. The degree distribution of the Haros graphs provides information regarding the topological structure and the associated real number. This article provides a comprehensive demonstration of a conjecture concerning the analytical formulation of the degree distribution. Specifically, a theorem outlines the relationship between Haros graphs, the corresponding continued fraction of its associated real number, and the subsequent symbolic paths in the Farey binary Tree. Moreover, an expression continuous and piece-wise linear in subintervals defined by Farey fractions can be derived from an additional conclusion for the degree distribution of Haros graphs.
On finding hamiltonian cycles in Barnette graphs
Published in Fundamenta Informaticae, Volume 188, Issue 1 (December 15, 2022) fi:10437
• View Publication
• BIB
In this paper, we deal with hamiltonicity in planar cubic graphs G having a facial 2-factor Q via (quasi) spanning trees of faces in G/Q and study the algorithmic complexity of finding such (quasi) spanning trees of faces. Moreover, we show that if Barnette's Conjecture is false, then hamiltonicity in 3-connected planar cubic bipartite graphs is an NP-complete problem.
Mutually orthogonal binary frequency squares of mixed type
Published in Fields Inst. Commun. 86, (2024), 1-23
• View Publication
• BIB
A \emph{frequency square} is a matrix in which each row and column is a permutation of the same multiset of symbols. Two frequency squares $F_1$ and $F_2$ with symbol multisets $M_1$ and $M_2$ are \emph{orthogonal} if the multiset of pairs obtained by superimposing $F_1$ and $F_2$ is $M_1\times M_2$. A set of MOFS is a set of frequency squares in which each pair is orthogonal. We first generalise the classical bound on the cardinality of a set of MOFS to cover the case of \emph{mixed type}, meaning that the symbol multisets are allowed to vary between the squares in the set.
A frequency square is \emph{binary} if it only uses the symbols 0 and 1. We say that a set $\mathcal{F}$ of MOFS is \emph{type-maximal} if it cannot be extended to a larger set of MOFS by adding a square whose symbol multiset matches that of at least one square already in $\mathcal{F}$. Building on pioneering work by Stinson, several recent papers have found conditions that are sufficient to show that a set of binary MOFS is type-maximal. We generalise these papers in several directions, finding new conditions that imply type-maximality. Our results cover sets of binary frequency squares of mixed type. Also, where previous papers used parity arguments, we show the merit of arguments that use moduli greater than 2.
Ergodicity of a generalized probabilistic cellular automaton with parity-based neighbourhoods
We study a one-dimensional generalized probabilistic cellular automaton $E_{p, q}$ with universe $\mathbb Z$, alphabet $\mathcal A = \{0, 1\}$, parameters $p$ and $q$ such that $0 < p+q \leq 1$ and two neighbourhoods $\mathcal N_0 = \{0, 1\}$ and $\mathcal N = \{1, 2\}$. The state $E_{p, q} η(x)$ of any $x \in \mathbb Z$ under the application of $E_{p, q}$ is a random variable whose probability distribution depends on the states $η(x + y)$ for $y \in \mathcal N_i$ where $i$ has the same parity as $x$. We establish ergodicity of this GPCA for various ranges of values of $p$ and $q$ via its connection with a suitable percolation game on a two-dimensional lattice. For these same ranges of values of $p$ and $q$, we show that the above-mentioned game has probability $0$ of resulting in a draw.
A note on regular sets in Cayley graphs
Published
• View Publication
• BIB
A subset $R$ of the vertex set of a graph $Γ$ is said to be $(κ,τ)$-regular if $R$ induces a $κ$-regular subgraph and every vertex outside $R$ is adjacent to exactly $τ$ vertices in $R$. In particular, if $R$ is a $(κ,τ)$-regular set of some Cayley graph on a finite group $G$, then $R$ is called a $(κ,τ)$-regular set of $G$. Let $H$ be a non-trivial normal subgroup of $G$, and $κ$ and $τ$ a pair of integers satisfying $0\leqκ\leq|H|-1$, $1\leqτ\leq|H|$ and $\gcd(2,|H|-1)\midκ$. It is proved that (i) if $τ$ is even, then $H$ is a $(κ,τ)$-regular set of $G$; (ii) if $τ$ is odd, then $H$ is a $(κ,τ)$-regular set of $G$ if and only if it is a $(0,1)$-regular set of $G$.
On Refinements of Wilf-Equivalence for Involutions
Published
• View Publication
• BIB
Let $\mathcal{S}_n(π)$ (resp. $\mathcal{I}_n(π)$ and $\mathcal{AI}_n(π)$) denote the set of permutations (resp. involutions and alternating involutions) of length $n$ which avoid the permutation pattern $π$. For $k,m\geq 1$, Backelin-West-Xin proved that $|\mathcal{S}_n(12\cdots kτ)|= |\mathcal{S}_n(k\cdots 21τ)|$ by establishing a bijection between these two sets, where $τ= τ_1τ_2\cdots τ_m$ is an arbitrary permutation of $k+1,k+2,\ldots,k+m$. The result has been extended to involutions by Bousquet-Mélou and Steingrímsson and to alternating permutations by the first author. In this paper, we shall establish a peak set preserving bijection between $\mathcal{I}_n(123τ)$ and $\mathcal{I}_n(321τ)$ via transversals, matchings, oscillating tableaux and pairs of noncrossing Dyck paths as intermediate structures. Our result is a refinement of the result of Bousquet-Mélou and Steingrímsson for the case when $k=3$. As an application, we show bijectively that $|\mathcal{AI}_n(123τ)| = |\mathcal{AI}_n(321τ)|$, confirming a recent conjecture of Barnabei-Bonetti-Castronuovo-Silimbani. Furthmore, some conjectured equalities posed by Barnabei-Bonetti-Castronuovo-Silimbani concerning pattern avoiding alternating involutions are also proved.
Strong domination number of a modified graph
Let $G=(V,E)$ be a simple graph. A set $D\subseteq V$ is a strong dominating set of $G$, if for every vertex $x\in V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. In this paper, we study the effects on $γ_{st}(G)$ when $G$ is modified by operations on vertex and edge of $G$.
Asymptotic enumeration of graphical regular representations
Published
• View Publication
• BIB
We estimate the number of graphical regular representations (GRRs) of a given group with large enough order. As a consequence, we show that almost all finite Cayley graphs have full automorphism groups 'as small as possible'. This confirms a conjecture of Babai-Godsil-Imrich-Lovasz on the proportion of GRRs, as well as a conjecture of Xu on the proportion of normal Cayley graphs, among Cayley graphs of a given finite group.
(Random) Trees of Intermediate Uniform Growth
Published
• View Publication
• BIB
For every sufficiently well-behaved function $g:\mathbb{R}_{\ge 0}\rightarrow\mathbb{R}_{\ge 0}$ that grows at least linearly and at most exponentially we construct a tree $T$ of uniform volume growth $g$, that is, $$C_1\cdot g(r/4)\le |B_{T}(v,r)| \le C_2\cdot g(4r),\quad\text{for all $r\ge 0$ and $v\in V(T)$},$$ where $B_{T}(v,r)$ denotes the ball of radius $r$ centered at a vertex $v$. In particular, this yields examples of trees of uniform intermediate (i.e. super-polynomial and sub-exponential) volume growth.
We use this construction to provide first examples of unimodular random rooted trees of uniform intermediate growth, answering a question by Itai Benjamini. We find a peculiar change in structural properties for these trees at growth $r^{\log\log r}$.
Möbius function of the subgroup lattice of a finite group and Euler Characteristic
Published
• View Publication
• BIB
The Möbius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the Möbius function defined on an order ideal related to the lattice of the subgroups of an irreducible subgroup $G$ of the general linear group $\mathrm{GL}(n,q)$ acting on the $n$-dimensional vector space $V=\mathbb{F}_q^n$, where $\mathbb{F}_q$ is the finite field with $q$ elements. We find a relation between this function and the Euler characteristic of two simplicial complexes $Δ_1$ and $Δ_2$, the former raising from the lattice of the subspaces of $V$, the latter from the subgroup lattice of $G$.
A combinatorial proof of the $λ_g$ conjecture in genus 2
Published in Involve 17 (2024) 465-479
• View Publication
• BIB
We give a simple combinatorial proof of the $λ_g$ conjectue in genus 2. We use a description of the class $λ_2$ as a linear combination of boundary strata, and show the conjecture follows inductively from applications of the projection formula, string equation, and dilaton equation.
A Refinement of Pohst's Inequality
Published
• View Publication
• BIB
We generalize an inequality conjectured by Pohst in 1977 and recently proved by the author and independently by Battistoni and Molteni. This new inequality improves a bound for the regulator in terms of the discriminant for totally real number fields by taking into account the signs of conjugates of the fundamental unit. We give a new interpretation to the problem and exploit the combinatorial method used by Pohst.
A Generalization of the Ishida Complex with applications
We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine when such a quotient is Cohen--Macaulay. In particular, this gives a Cohen--Macaulayness criterion for lattice ideals. We also prove a result relating the local cohomology with radical monomial ideal support of an affine semigroup ring to the local cohomology with maximal ideal support of the quotient of the affine semigroup ring by the radical monomial ideal. This requires a combinatorial assumption on the semigroup, which holds for (not necessarily normal) semigroups whose cone is the cone over a simplex.
On Tomaszewski's Cube Vertices Problem
The following assertion was equivalent to a conjecture proposed by B. Tomaszewski : Let $C$ be an $n$-dimensional unit cube and let $H$ be a plank of thickness $1$, both are centered at the origin, then no matter how to turn the cube around, $C\cap H$ contains at least half of the cube's $2^n$ vertices. A lower bound for the number of the vertices of $C$ in $C\cap H$ was obtained.
The Chvátal-Sankoff problem: Understanding random string comparison through stochastic processes
Given two equally long, uniformly random binary strings, the expected length of their longest common subsequence (LCS) is asymptotically proportional to the strings' length. Finding the proportionality coefficient $γ$, i.e. the limit of the normalised LCS length for two random binary strings of length $n \to \infty$, is a very natural problem, first posed by Chvátal and Sankoff in 1975, and as yet unresolved. This problem has relevance to diverse fields ranging from combinatorics and algorithm analysis to coding theory and computational biology. Using methods of statistical mechanics, as well as some existing results on the combinatorial structure of LCS, we link constant $γ$ to the parameters of a certain stochastic particle process, which we use to obtain a new estimate for $γ$.
Rewriting History in Integrable Stochastic Particle Systems
Published
• View Publication
• BIB
Many integrable stochastic particle systems in one space dimension (such as TASEP - Totally Asymmetric Simple Exclusion Process - and its $q$-deformation, the $q$-TASEP) remain integrable if we equip each particle with its own speed parameter. In this work, we present intertwining relations between Markov transition operators of particle systems which differ by a permutation of the speed parameters. These relations generalize our previous works (arXiv:1907.09155, arXiv:1912.06067), but here we employ a novel approach based on the Yang-Baxter equation for the higher spin stochastic six vertex model. Our intertwiners are Markov transition operators, which leads to interesting probabilistic consequences.
First, we obtain a new Lax-type differential equation for the Markov transition semigroups of homogeneous, continuous-time versions of our particle systems. Our Lax equation encodes the time evolution of multipoint observables of the $q$-TASEP and TASEP in a unified way, which may be of interest for the asymptotic analysis of multipoint observables of these systems.
Second, we show that our intertwining relations lead to couplings between probability measures on trajectories of particle systems which differ by a permutation of the speed parameters. The conditional distribution for such a coupling is realized as a "rewriting history" random walk which randomly resamples the trajectory of a particle in a chamber determined by the trajectories of the neighboring particles. As a byproduct, we construct a new coupling for standard Poisson processes on the positive real half-line with different rates.