Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On the enumeration of permutations avoiding chains of patterns
In 2019, Bóna and Smith introduced the notion of strong pattern avoidance, saying that a permutation $π$ strongly avoids a pattern $σ$ if $π$ and $π^2$ both avoid $σ$. Recently, Archer and Geary generalized the idea of strong pattern avoidance to chain avoidance, in which a permutation $π$ avoids a chain of patterns $(τ^{(1)}:τ^{(2)}:\cdots:τ^{(k)})$ if the $i$-th power of the permutation avoids the pattern $τ^{(i)}$ for $1\leq i\leq k$. In this paper, we give explicit formulae for the number of sets of permutations avoiding certain chains of patterns. Our results give affirmative answers to two conjectures proposed by Archer and Geary.
Matroid-reachability-based decomposition into arborescences
The problem of matroid-reachability-based packing of arborescences was solved by Király. Here we solve the corresponding decomposition problem that turns out to be more complicated. The result is obtained from the solution of the more general problem of matroid-reachability-based $(\ell,\ell')$-limited packing of arborescences where we are given a lower bound $\ell$ and an upper bound $\ell'$ on the total number of arborescences in the packing. The problem is considered for branchings and in directed hypergraphs as well.
Difference ascent sequences and related combinatorial structures
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev, and are in bijection with unlabeled $(2+2)$-free posets, Fishburn matrices, permutations avoiding a bivincular pattern of length $3$, and Stoimenow matchings. Analogous results for weak ascent sequences have been obtained by Bényi, Claesson and Dukes. Recently, Dukes and Sagan introduced a more general class of sequences which are called $d$-ascent sequences. They showed that some maps from the weak case can be extended to bijections for general $d$ while the extensions of others continue to be injective but not surjective. The main objective of this paper is to restore these injections to bijections. To be specific, we introduce a class of permutations which we call difference $d$ permutations and a class of factorial posets which we call difference $d$ posets, both of which are shown to be in bijection with $d$-ascent sequences. Moreover, we also give a direct bijection between a class of matrices with a certain column restriction and Fishburn matrices. Our results give answers to several questions posed by Dukes and Sagan.
The number of random 2-SAT solutions is asymptotically log-normal
We prove that throughout the satisfiable phase, the logarithm of the number of satisfying assignments of a random 2-SAT formula satisfies a central limit theorem. This implies that the log of the number of satisfying assignments exhibits fluctuations of order $\sqrt n$, with $n$ the number of variables. The formula for the variance can be evaluated effectively. By contrast, for numerous other random constraint satisfaction problems the typical fluctuations of the logarithm of the number of solutions are {\em bounded} throughout all or most of the satisfiable regime.
On de Bruijn Rings and Families of Almost Perfect Maps
Published
• View Publication
• BIB
De Bruijn tori, or perfect maps, are two-dimensional periodic arrays of letters from a finite alphabet, where each possible pattern of shape (m,n) appears exactly once in a single period. While the existence of certain de Bruijn tori, such as square tori with odd m=n element {3,5,7} and even alphabet sizes, remains unresolved, sub-perfect maps are often sufficient in applications like positional coding. These maps capture a large number of patterns, with each appearing at most once. While previous methods for generating such sub-perfect maps cover only a fraction of the possible patterns, we present a construction method for generating almost perfect maps for arbitrary pattern shapes and arbitrary non-prime alphabet sizes, including the above mentioned square tori with odd m=n element {3,5,7} as long that the alphabet size is non-prime. This is achieved through the introduction of de Bruijn rings, a minimal-height sub-perfect map and a formalization of the concept of families of almost perfect maps. The generated sub-perfect maps are easily decodable which makes them perfectly suitable for positional coding applications.
Locally semicomplete weakly distance-regular digraphs
Published
• View Publication
• BIB
A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood (resp. in-neighbourhood) of any vertex induces a semicomplete digraph. In this paper, we characterize all locally semicomplete weakly distance-regular digraphs under the assumption of commutativity.
The union-closed set conjecture is true
We prove that the conjecture made by Peter Frankl in the late 1970s is true. In other words for every finite union-closed family which contains a non?empty set, there is an element that belongs to at least half of its m
The spectral genus of an isolated hypersurface singularity and a conjecture relating to the Milnor number
Published
• View Publication
• BIB
In this paper, we introduce the notion of spectral genus $\widetilde{p}_{g}$ of a germ of an isolated hypersurface singularity $(\mathbb{C}^{n+1}, 0) \to (\mathbb{C}, 0)$, defined as a sum of small exponents of monodromy eigenvalues. The number of these is equal to the geometric genus $p_{g}$, and hence $\widetilde{p}_g$ can be considered as a secondary invariant to it. We then explore a secondary version of the Durfee conjecture on $p_{g}$, and we predict an inequality between $\widetilde{p}_{g}$ and the Milnor number $μ$, to the effect that $$\widetilde{p}_g\leq\frac{μ-1}{(n+2)!}.$$ We provide evidence by confirming our conjecture in several cases, including homogeneous singularities and singularities with large Newton polyhedra, and quasi-homogeneous or irreducible curve singularities. We also show that a weaker inequality follows from Durfee's conjecture, and hence holds for quasi-homogeneous singularities and curve singularities.
Our conjecture is shown to relate closely to the asymptotic behavior of the holomorphic analytic torsion of the sheaf of holomorphic functions on a degeneration of projective varieties, potentially indicating deeper geometric and analytic connections.
Big line or big convex polygon
Published
• View Publication
• BIB
Let $ES_{\ell}(n)$ be the minimum $N$ such that every $N$-element point set in the plane contains either $\ell$ collinear members or $n$ points in convex position. We prove that there is a constant $C>0$ such that, for each $\ell, n \ge 3$,
$$ (3\ell - 1) \cdot 2^{n-5} < ES_{\ell}(n) < \ell^2 \cdot 2^{n+ C\sqrt{n\log n}}.$$ A similar extension of the well-known Erd\H os--Szekeres cups-caps theorem is also proved.
Even and odd compositions with restricted parts
Published
• View Publication
• BIB
A result of Legendre asserts that the difference between the numbers of (length) even and odd partitions of $n$ into distinct parts is $0$, $1$, or $-1$; this also follows from Euler's pentagonal number theorem. We establish an analogous result for compositions and obtain some generalizations that are related to various entries in the On-Line Encyclopedia of Integer Sequences.
Tropical Vector Bundles
Published
• View Publication
• BIB
The goal of this paper is to introduce a construction of a vector bundle on a tropical variety. When the base is a tropical toric variety these tropicalize toric vector bundles, and are described by the data of a valuated matroid and some flats in the lattice of flats of the underlying matroid. The fibers are tropical linear spaces. We define global sections for tropical toric vector bundles, stability, and Jordan-Hölder and Harder-Narasimhan filtrations. Many of these require additional modularity assumptions on the defining matroid.
Galoisian structure of large steps walks in the quadrant
Published
• View Publication
• BIB
The enumeration of walks in the quarter plane confined in the first quadrant has attracted a lot of attention over the past fifteenth years. The generating functions associated to small steps models satisfy a functional equation in two catalytic variables. For such models, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be central in the classification of small steps models. In particular, its action on the catalytic variables yields a set of change of variables compatible with the structure of the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer. However, the orbit had till now no underlying group.
In this article, we endow the orbit with the action of a Galois group, which extends the group of the walk to models with large steps. Within this Galoisian framework, we generalized the notions of invariants and decoupling. This enable us to develop a general strategy to prove the algebraicity of models with small backward steps. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of Bostan, Bousquet-Mélou and Melczer, and allowing us to find new algebraic models with large steps.
All $S_p$ notions of quantum expansion are equivalent
In a recent work Li, Qiao, Wigderson, Wigderson and Zhang introduced notions of quantum expansion based on $S_p$ norms and posed as an open question if they were all equivalent. We give an affirmative answer to this question.
Tropical vector bundles and matroids
We introduce a notion of tropical vector bundle on a tropical toric variety which is a tropical analogue of a torus equivariant vector bundle on a toric variety. Alternatively it can be called a toric matroid bundle. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological tropical toric vector bundles over the permutahedral toric variety and the corresponding equivariant $K$-classes and Chern classes recover the tautological classes of matroids constructed in the recent work of Berger-Eur-Spink-Tseng. In analogy with toric vector bundles, we define sheaf of sections and Euler characteristic as well as positivity notions such as global generation, ampleness and nefness for tropical toric vector bundles. Moreover, we prove a vanishing of higher cohomologies result. Finally, we study the splitting of our tropical toric vector bundles and, in particular, an analogue of Grothendieck's theorem on splitting of vector bundles on projective line.
Non-detectable patterns hidden within sequences of bits
Published
• View Publication
• BIB
In this paper we construct families of bit sequences using combinatorial methods. Each sequence is derived by con- verting a collection of numbers encoding certain combinatorial nu- merics from objects exhibiting symmetry in various dimensions. Using the algorithms first described in [1] we show that the NIST testing suite described in publication 800-22 does not detect these symmetries hidden within these sequences.
Measures associated with certain ellipsephic harmonic series and the Allouche-Hu-Morin limit theorem
Published in Acta Mathematica Hungarica 175, 519-531 (2025)
• View Publication
• BIB
We consider the harmonic series $S(k)=\sum^{(k)} m^{-1}$ over the integers having $k$ occurrences of a given block of $b$-ary digits, of length $p$, and relate them to certain measures on the interval $[0,1)$. We show that these measures converge weakly to $b^p$ times the Lebesgue measure, a fact which allows a new proof of the theorem of Allouche, Hu, and Morin which says $\lim S(k)=b^p\log(b)$. A quantitative error estimate will be given. Combinatorial aspects involve generating series which fall under the scope of the Goulden-Jackson cluster generating function formalism and the work of Guibas-Odlyzko on string overlaps.
Monochromatic non-commuting products
We show that a finite coloring of an amenable group contains `many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables. This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem. Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.
Novel Tour Construction Heuristic for Pick-Up and Delivery Routing Problems
Published
• View Publication
• BIB
In logistic applications that require the pickup and delivery of items, route optimization problems can be modeled as precedence constrained traveling salesperson problems. The combinatorial nature of this problem restricts the application of exact algorithms to small instances, and heuristics are largely preferred for tractability. However, due to precedence constraints that restrict the order in which locations can be visited, heuristics outside of the nearest neighbor algorithm have been neglected in literature. While the convex hull cheapest insertion heuristic is known to produce good solutions in the absence of precedence constraints, i.e., when locations can be visited in any order, it has not been adapted for pick-up and delivery considerations. This paper presents an adapted convex hull cheapest insertion heuristic that accounts for precedence constraints and compares its solutions with the nearest neighbor heuristic using the TSPLIB benchmark data set. The proposed algorithm is particularly suited to cases where pickups are located in the periphery and deliveries are centrally located, outperforming the Nearest Neighbor algorithm in every examined instance.
Homeostasis in Input-Output Networks: Structure, Classification and Applications
Published
• View Publication
• BIB
Homeostasis is concerned with regulatory mechanisms, present in biological systems, where some specific variable is kept close to a set value as some external disturbance affects the system. Mathematically, the notion of homeostasis can be formalized in terms of an input-output function that maps the parameter representing the external disturbance to the output variable that must be kept within a fairly narrow range. This observation inspired the introduction of the notion of infinitesimal homeostasis, namely, the derivative of the input-output function is zero at an isolated point. This point of view allows for the application of methods from singularity theory to characterize infinitesimal homeostasis points (i.e. critical points of the input-output function). In this paper we review the infinitesimal approach to the study of homeostasis in input-output networks. An input-output network is a network with two distinguished nodes `input' and `output', and the dynamics of the network determines the corresponding input-output function of the system. This class of dynamical systems provides an appropriate framework to study homeostasis and several important biological systems can be formulated in this context. Moreover, this approach, coupled to graph-theoretic ideas from combinatorial matrix theory, provides a systematic way for classifying different types of homeostasis (homeostatic mechanisms) in input-output networks, in terms of the network topology. In turn, this leads to new mathematical concepts, such as, homeostasis subnetworks, homeostasis patterns, homeostasis mode interaction. We illustrate the usefulness of this theory with several biological examples: biochemical networks, chemical reaction networks (CRN), gene regulatory networks (GRN), Intracellular metal ion regulation and so on.
An FPT Algorithm for the Exact Matching Problem and NP-hardness of Related Problems
Published
• View Publication
• BIB
The exact matching problem is a constrained variant of the maximum matching problem: given a graph with each edge having a weight $0$ or $1$ and an integer $k$, the goal is to find a perfect matching of weight exactly $k$. Mulmuley, Vazirani, and Vazirani (1987) proposed a randomized polynomial-time algorithm for this problem, and it is still open whether it can be derandomized. Very recently, El Maalouly, Steiner, and Wulf (2023) showed that for bipartite graphs there exists a deterministic FPT algorithm parameterized by the (bipartite) independence number. In this paper, by extending a part of their work, we propose a deterministic FPT algorithm in general parameterized by the minimum size of an odd cycle transversal in addition to the (bipartite) independence number. We also consider a relaxed problem called the correct parity matching problem, and show that a slight generalization of an equivalent problem is NP-hard.