Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Catalan percolation
Published in Probab. Theory Relat. Fields (2025)
• View Publication
• BIB
In Catalan percolation, all nearest-neighbor edges $\{i,i+1\}$ along $\mathbb Z$ are initially occupied, and all other edges are open independently with probability $p$. Open edges $\{i,j\}$ are occupied if some pair of edges $\{i,k\}$ and $\{k,j\}$, with $i<k<j$, become occupied. This model was introduced by Gravner and the third author, in the context of polluted graph bootstrap percolation.
We prove that the critical $p_{\mathrm c}$ is strictly between that of oriented site percolation on $\mathbb Z^2$ and the Catalan growth rate $1/4$. Our main result shows that an enhanced oriented percolation model, with non-decaying infinite-range dependency, has a strictly smaller critical parameter than the classical model. This is reminiscent of the work of Duminil-Copin, Hilário, Kozma and Sidoravicius on brochette percolation. Our proof differs, however, in that we do not use Aizenman--Grimmett enhancements or differential inequalities. Two key ingredients are the work of Hilário, Sá, Sanchis and Teixeira on stretched lattices, and the Russo--Seymour--Welsh result for oriented percolation by Duminil-Copin, Tassion and Teixeira.
Fibonacci and Lucas Sequences in Aperiodic Monotile Supertiles
This paper first discusses the size and orientation of hat supertiles. Fibonacci and Lucas sequences, as well as a third integer sequence linearly related to the Lucas sequence are involved. The result is then generalized to any aperiodic tile in the hat family.
Finding Product and Sum Patterns in non-commutative settings
Published
• View Publication
• BIB
Hindman conjectured that any finite partition of $\mathbb{N}$ has a monochromatic $\{x,y,x+y,xy\}$. Recently, Bowen proved the result for all 2-partition. In this paper, we extend Bowen's result to any semiring $(S,+,\cdot)$ such that $Ss$ is piecewise syndetic for all $s\in S$. As a method, we gave a combinatorial proof for a piecewise syndetic version of Bergerson and Glasscock's IP$_r^*$ Szemerédi Theorem, and discussed the case when the operation is not commutative.
Central Limit Theorem for tensor products of free variables
Published
• View Publication
• BIB
We establish a central limit theorem for tensor product random variables $c_k:=a_k \otimes a_k$, where $(a_k)_{k \in \mathbb{N}}$ is a free family of variables. We show that if the variables $a_k$ are centered, the limiting law is the semi-circle. Otherwise, the limiting law depends on the mean and variance of the variables $a_k$ and corresponds to a free interpolation between the semi-circle law and the classical convolution of two semi-circle laws.
Slice rank and analytic rank for trilinear forms
In this note, we present an elementary proof of the fact that the slice rank of a trilinear form over a finite field is bounded above by a linear expression in the analytic rank. The existing proofs by Adiprasito-Kazhdan-Ziegler and Cohen-Moshkovitz both rely on results of Derksen via geometric invariant theory. A novel feature of our proof is that the linear forms appearing in the slice rank decomposition are obtained from the trilinear form by fixing coordinates.
Roman Domination on Graphings
We study a variant of domination, called Roman domination, where we must assign to each vertex one of the labels 0, 1, or 2 and require that every vertex with label 0 has a neighbour with label 2. We study the problem of finding a low-cost Roman dominating function on Lebesgue-measurable graphings, that is, on infinite graphs whose vertices are the points of a probability space. We provide a framework to tackle optimisation problems in the measurable combinatorial setting. In particular, we fully answer the Roman domination problem on irrational cycle graphs, a specific type of graphing on the space $\mathbb{R}/\mathbb{Z}$ where an irrational number $α$ is given and two vertices are adjacent if and only if their distance is $α$.
Cayley graphs and G-graphs of Gyro-groups
In this paper the structure of the Cayley graphs and G-graphs of some gyro-groups are studied and some properties of them will be proved. Moreover we review some special gyro-groups including: gyro-commutative gyrogroups, dihedral gyro-groups and dihedralized gyro-groups. Then we try to establish some important properties of their associated G-graphs. Finally we will examine the symmetry of Cayley graphs and G-graphs of some gyro-groups.
Real Stability and Log Concavity are coNP-Hard
Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real stable or log concave are coNP-hard. On the other hand, while all homogeneous real-stable polynomials are Lorentzian and all Lorentzian polynomials are log concave on the positive orthant, the problem of deciding whether a polynomial of fixed degree is Lorentzian can be solved in polynomial time.
The directed landscape from Brownian motion
We define an almost sure bijection which constructs the directed landscape from a sequence of infinitely many independent Brownian motions. This is the analogue of the RSK correspondence in this setting. The Brownian motions arise as a marginal of the extended Busemann process for the directed landscape, and the inverse map gives an explicit and natural coupling where Brownian last passage percolation converges in probability to the directed landscape. We use this map to prove that the directed landscape on a strip can be reconstructed from the Airy line ensemble. Along the way, we describe two more new versions of RSK in the semi-discrete setting, build a general theory of sorting via Pitman operators, and construct extended Busemann processes for the directed landscape and Brownian last passage percolation.
Verlinde series for Hirzebruch surfaces
We give an explicit formula for Euler characteristics of line bundles on the Hilbert scheme of points on $\mathbb{P}^1\times\mathbb{P}^1$. Combined with structural results of Ellingsrud, Göttsche, and Lehn, this determines the Euler characteristic of any line bundle on the Hilbert scheme of points on any smooth, projective surface. We also give an enumerative description of the dimensions of spaces of global sections of ample line bundles on Hilbert schemes of points on Hirzebruch surfaces, extending the polytope-line bundle correspondence on the underlying toric surface.
Measuring the convexity of compact sumsets with the Schneider non-convexity index
Published
• View Publication
• BIB
In recent work, Franck Barthe and Mokshay Madiman introduced the concept of the Lyusternik region, denoted by $Λ_{n}(m)$, to better understand volumes of sumsets. They gave a characterization of $Λ_{n}(2)$ (the volumes of compact sets in $\mathbb{R}^n$ when at most $m=2$ sets are added together) and proved that Lebesgue measure satisfies a fractional superadditive property. We attempt to imitate the idea of the Lyusternik region by defining a region based on the Schneider non-convexity index function, which was originally defined by Rolf Schneider in 1975. We call this region the Schneider region, denoted by $S_{n}(m)$. In this paper, we will give an initial characterization of the region $S_{1}(2)$ and in doing so, we will prove that the Schneider non-convexity index of a sumset $c(A_1+A_2)$ has a best lower bound in terms of $c(A_1)$ and $c(A_2)$. We will pose some open questions about extending this lower bound to higher dimensions and large sums. We will also show that, analogous to Lebesgue measure, the Schneider non-convexity index has a fractional subadditive property. Regarding the Lyusternik region, we will show that when the number of sets being added is $m\geq3$, that the region $Λ_{n}(m)$ is not closed, proving a new qualitative property for the region.
Hyperplane Representations of Interventional Characteristic Imset Polytopes
Published
• View Publication
• BIB
Characteristic imsets are 0/1-vectors representing directed acyclic graphs whose edges represent direct cause-effect relations between jointly distributed random variables. A characteristic imset (CIM) polytope is the convex hull of a collection of characteristic imsets. CIM polytopes arise as feasible regions of a linear programming approach to the problem of causal disovery, which aims to infer a cause-effect structure from data. Linear optimization methods typically require a hyperplane representation of the feasible region, which has proven difficult to compute for CIM polytopes despite continued efforts. We solve this problem for CIM polytopes that are the convex hull of imsets associated to DAGs whose underlying graph of adjacencies is a tree. Our methods use the theory of toric fiber products as well as the novel notion of interventional CIM polytopes. Our solution is obtained as a corollary of a more general result for interventional CIM polytopes. The identified hyperplanes are applied to yield a linear optimization-based causal discovery algorithm for learning polytree causal networks from a combination of observational and interventional data.
Distributions of statistics on separable permutations
Published
• View Publication
• BIB
We derive functional equations for distributions of six classical statistics (ascents, descents, left-to-right maxima, right-to-left maxima, left-to-right minima, and right-to-left minima) on separable and irreducible separable permutations. The equations are used to find a third degree equation for joint distribution of ascents and descents on separable permutations that generalizes the respective known result for the descent distribution. Moreover, our general functional equations allow us to derive explicitly (joint) distribution of any subset of maxima and minima statistics on irreducible, reducible and all separable permutations. In particular, there are two equivalence classes of distributions of a pair of maxima or minima statistics. Finally, we present three unimodality conjectures about distributions of statistics on separable permutations.
Elliptic Sombor energy of a graph
Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,\ldots, v_n\}$. The elliptic Sombor matrix of $G$, denoted by $A_{ESO}(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $(d_i+d_j)\sqrt{d_i^2+d_j^2}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. Let the eigenvalues of the elliptic Sombor matrix $A_{ESO}(G)$ be $ρ_1\geq ρ_2\geq \ldots\geq ρ_n$ which are the roots of the elliptic Sombor characteristic polynomial $\prod_{i=1}^n (ρ-ρ_i)$. The elliptic Sombor energy ${E_{ESO}}$ of $G$ is the sum of absolute values of the eigenvalues of $A_{ESO}(G)$. In this paper, we compute the elliptic Sombor characteristic polynomial and the elliptic Sombor energy for some graph classes. We compute the elliptic Sombor energy of cubic graphs of order $10$ and as a consequence, we see that two $k$-regular graphs of the same order may have different elliptic Sombor energy.
Graph Search Trees and the Intermezzo Problem
The last in-tree recognition problem asks whether a given spanning tree can be derived by connecting each vertex with its rightmost left neighbor of some search ordering. In this study, we demonstrate that the last-in-tree recognition problem for Generic Search is $\mathsf{NP}$-complete. We utilize this finding to strengthen a complexity result from order theory. Given a partial order $π$ and a set of triples, the $\mathsf{NP}$-complete intermezzo problem asks for a linear extension of $π$ where each first element of a triple is not between the other two. We show that this problem remains $\mathsf{NP}$-complete even when the Hasse diagram of the partial order forms a tree of bounded height. In contrast, we give an $\mathsf{XP}$-algorithm for the problem when parameterized by the width of the partial order. Furthermore, we show that $\unicode{x2013}$ under the assumption of the Exponential Time Hypothesis $\unicode{x2013}$ the running time of this algorithm is asymptotically optimal.
Maximum spread of $K_{s,t}$-minor-free graphs
Published
• View Publication
• BIB
The spread of a graph $G$ is the difference between the largest and smallest eigenvalue of the adjacency matrix of $G$. In this paper, we consider the family of graphs which contain no $K_{s,t}$-minor. We show that for any $t\geq s \geq 2$ and sufficiently large $n$, there is an integer $ξ_{t}$ such that the extremal $n$-vertex $K_{s,t}$-minor-free graph attaining the maximum spread is the graph obtained by joining a graph $L$ on $(s-1)$ vertices to the disjoint union of $\lfloor \frac{2n+ξ_{t}}{3t}\rfloor$ copies of $K_t$ and $n-s+1 - t\lfloor \frac{2n+ξ_t}{3t}\rfloor$ isolated vertices. Furthermore, we give an explicit formula for $ξ_{t}$ and an explicit description for the graph $L$ for $t \geq \frac32(s-3) +\frac{4}{s-1}$.
Fixers and derangements of finite permutation groups
Published
• View Publication
• BIB
Let $G\leqslant\mathrm{Sym}(Ω)$ be a finite transitive permutation group with point stabiliser $H$. We say that a subgroup $K$ of $G$ is a fixer if every element of $K$ has fixed points, and we say that $K$ is large if $|K| \geqslant |H|$. There is a special interest in studying large fixers due to connections with Erdős-Ko-Rado type problems. In this paper, we classify up to conjugacy the large fixers of the almost simple primitive groups with socle $\mathrm{PSL}_2(q)$, and we use this result to verify a special case of a conjecture of Spiga on permutation characters. We also present some results on large fixers of almost simple primitive groups with socle an alternating or sporadic group.
Endhered patterns in matchings and RNA
Published in J. Comput. Biol., vol. 32, N1, P. 28-46 (2025)
• View Publication
• BIB
An endhered (end-adhered) pattern is a subset of arcs in matchings, such that the corresponding starting points are consecutive and the same holds for the ending points. Such patterns are in one-to-one correspondence with the permutations. We focus on the occurrence frequency of such patterns in matchings and native (real-world) RNA structures with pseudoknots. We present combinatorial results related to the distribution and asymptotic behavior of the pattern 21, which corresponds to two consecutive base pairs frequently encountered in RNA, and the pattern 12, representing the archetypal minimal pseudoknot. We show that in matchings these two patterns are equidistributed, which is quite different from what we can find in native RNAs. We also examine the distribution of endhered patterns of size 3, showing how the patterns change under the transformation called endhered twist. Finally, we compute the distributions of endhered patterns of size 2 and 3 in native secondary RNA structures with pseudoknots and discuss possible outcomes of our study.
Bivariate Generating Functions Enumerating Non-Bonding Dominoes on Rectangular Boards
The manuscript studies configurations of non-overlapping non-bonding dominoes on finite rectangular boards of unit squares characterized by row and column number. The non-bonding dominoes are defined here by the requirement that any domino on the board shares at most one point (one of its four corner points) with any other domino, but no edge. With the Transfer Matrix Method, rational generating functions are derived that solve the enumeration problem entirely, here evaluated for boards with up to six rows or columns.
Degeneration in discriminantal arrangements
Published
• View Publication
• BIB
Discriminantal arrangements are hyperplane arrangements, which are generalized braid ones. They are constructed from given hyperplane arrangements, but their combinatorics are not invariant under combinatorial equivalence. However, it is known that the combinatorics of the discriminantal arrangement are constant on a Zariski open set of the space of hyperplane arrangements. In the present paper, we introduce non-very generic varieties in the space of hyperplane arrangements to classify discriminantal arrangements and show that the Zariski open set is the complement of non-very generic varieties. We study their basic properties and construction and provide examples, including infinite families of non-very generic varieties. In particular, the construction we call degeneration is a powerful tool for constructing non-very generic varieties. As an application, we provide lists of non-very generic varieties for spaces of small line arrangements.