Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Arrow pattern avoidance in permutations: structure and enumeration
Arrow patterns were introduced by Berman and Tenner as a generalization of vincular patterns. They observed that arrow patterns have the potential to bridge the divide between a permutation's cycle notation and its one-line notation; in support of this, they used arrow avoidance to enumerate shallow and cyclic shallow permutations. More recently, $321$-avoiding cyclic permutations were recharacterized entirely in terms of arrow avoidance. Motivated by these results, we initiate a systematic study of arrow avoidance. In this paper, we prove structural results about arrow patterns, including defining arrow-Wilf equivalence, and enumerate several arrow avoidance classes. Finally, we consider the avoidance of pairs of arrow patterns, focusing on cases that prohibit fixed points in the underlying permutation.
p^(k)-Fibonacci Numbers of the p-Bratteli Diagram for Every Odd Prime p and Integer k>=0
We study paths in the p-Bratteli diagram associated with hook partitions, where p is an odd prime. By comparing blocks along a path, we define inversions and descents. We prove that the sign balance derived from inversions vanishes at every vertex of the diagram. Using descents, we introduce the p^(k)-Fibonacci numbers and derive recurrence relations for them. For k=0, we recover the OEIS sequence A391520, while for k>=1 we obtain new families of Fibonacci-type sequences.
Learning Read-Once Determinants and the Principal Minor Assignment Problem
Published
• View Publication
• BIB
A symbolic determinant under rank-one restriction computes a polynomial of the form $\det(A_0+A_1y_1+\ldots+A_ny_n)$, where $A_0,A_1,\ldots,A_n$ are square matrices over a field $\mathbb{F}$ and $rank(A_i)=1$ for each $i\in[n]$. This class of polynomials has been studied extensively, since the work of Edmonds (1967), in the context of linear matroids, matching, matrix completion and polynomial identity testing. We study the following learning problem for this class: Given black-box access to an $n$-variate polynomial $f=\det(A_0+A_1y_1+ \ldots+A_ny_n)$, where $A_0,A_1,\ldots,A_n$ are unknown square matrices over $\mathbb{F}$ and rank$(A_i)=1$ for each $i\in[n]$, find a square matrix $B_0$ and rank-one square matrices $B_1,\ldots,B_n$ over $\mathbb{F}$ such that $f=\det(B_0+B_1y_1+\ldots+B_ny_n)$. In this work, we give a randomized poly(n) time algorithm to solve this problem. As the above-mentioned class is known to be equivalent to the class of read-once determinants (RODs), we will refer to the problem as learning RODs. The algorithm for learning RODs is obtained by connecting with a well-known open problem in linear algebra, namely the Principal Minor Assignment Problem (PMAP), which asks to find (if possible) a matrix having prescribed principal minors. PMAP has also been studied in machine learning to learn the kernel matrix of a determinantal point process. Here, we study a natural black-box version of PMAP: Given black-box access to an $n$-variate polynomial $f = \det(A + Y)$, where $A \in \mathbb{F}^{n \times n}$ is unknown and $Y = diag(y_1,\ldots,y_n)$, find a $B\in\mathbb{F}^{n\times n}$ such that $f=det(B+Y)$. We show that black-box PMAP can be solved in randomized poly(n) time, and further, it is randomized polynomial-time equivalent to learning RODs. We resolve black-box PMAP by investigating a property of dense matrices that we call the rank-one extension property.
Plane geometry of $q$-rationals and Springborn Operations
We study the geometry of $q$-rational numbers, introduced by Morier-Genoud and Ovsienko, for positive real $q$. In particular, we construct and analyse the deformed Farey triangulation and the deformed modular surface. We interpret every $q$-rational geometrically as a circle, similar to the famous Ford circles. Further, we define and study new operations on $q$-rationals, the Springborn operations, which can be seen as a quadratic version of the Farey addition. Geometrically, the Springborn operations correspond to taking the homothety centers of a pair of two circles.
All-to-all Routing on Kautz Graphs: Regular Routing Beats Shortest Paths
We study packet routing in the Kautz digraph K(d,D), where every ordered pair of distinct vertices is connected by a unique shortest directed path. The regular routing introduced in earlier work schedules all ordered pairs in tau(d,D) = (D-1)d^(D-2) + D d^(D-1) steps. We show that, for every fixed outdegree d at least 2 and all sufficiently large diameters D, no shortest-path routing scheme can match this makespan. More precisely, we prove that K(d,D) contains an edge whose shortest-path congestion strictly exceeds tau(d,D) when D is sufficiently large. Our construction uses edge-words drawn from a subset of ternary unbordered square-free words, together with a trimming inequality that propagates large congestion at distance D down to shorter distances. Computations for d=2 and small D show that for all D at least 4 there is an edge in K(2,D) with congestion greater than tau(2,D).
The Gaussian Wave for Graphs of Finite Cone Type
We show that for any infinite tree of finite cone type satisfying a mild expansion condition, the only typical process on its vertices with covariance induced by the Green's function is the Gaussian wave. This generalizes a result of Backhausz and Szegedy, who proved this for the infinite regular tree of degree $d\geq 3$. We do this by giving a reduction to a statement concerning the distribution of the inner product of our process with columns of the Green's function, which in turn are straightforward to calculate.
As a consequence, for random bipartite biregular graphs, the distribution of local neighborhoods of eigenvectors must approximate the Gaussian wave. Moreover, for generic configuration models including random lifts, the local distribution of a uniformly chosen eigenvector from any arbitrarily small spectral window likewise converges to the Gaussian wave.
Abelian-normal decimal expansions
Many research works have concerned normality-preserving selection rules and operations on the sequence of digits of a given normal number that maintain or violate normality. This leads us to introduce rearrangement operations on finite subwords appearing within the digit expansions of normal numbers, and this is inspired by the concept of an abelian complexity function in the field of combinatorics on words. We introduce the concept of an abelian-normal number, with respect to a given base and a given weighting/counting function on subwords, by analogy with normal numbers and with the use of the equivalence classes associated with abelian complexity functions. We then construct a non-normal analogue $D_{10}$ of Champernowne's constant $C_{10}$ and prove that $D_{10}$ is abelian-normal with respect to a given weighting function. We conclude with two open problems concerning our Champernowne-like constant $D_{10}$.
Restricted set addition in finite abelian groups
Let $A$ be a nonempty subset of finite abelian group $G$ of order $n$. For an integer $h \geq 2$, the restricted $h$-fold sumset $h^\wedge A$ is the set of all sums of $h$ distinct elements of $A$. It is known that if $G$ is a group of order $n$ and $A$ is a subset of $G$ such that $|A|$ is close to $\frac{n}{2}$, then $h^{\wedge}A = G$ under some conditions on $h$ and $n$. The constant $\frac{1}{2}$ is optimal for groups of even order but not for groups of odd order. For an integer $h \geq 4$, let $α_h$ be the unique positive root of the polynomial $3^{h - 2} x^{h - 1} + x - 1$. In this paper, we show that for any $α> α_h$, there exists a positive integer $M_h(α)$, which is determined precisely, such that for all $n > M_h(α)$ with $n$ odd, if $A$ is a subset of a finite abelian group $G$ of order $n$ and if $|A| \geq αn$, then $h^{\wedge} A = G$. Moreover, $α_h > α_{h + 1}$ for $h \geq 4$ and $α_h$ approaches $\frac{1}{3}$ as $h$ increases, and the constant $\frac{1}{3}$ is optimal. This result generalizes a result of Tang and Wei for $4^{\wedge}A$ in the cyclic group $\mathbb{Z}_n$ to arbitrary finite abelian groups.
Combinatorial Characterizations of Virtually Torsion-Free and Virtually Free Groups
We establish combinatorial characterizations of virtually torsion-free and virtually free groups using the canonical graph decomposition theory in \cite{DJKK22}. Our main results show that a finitely presented, residually finite group $Γ$ is virtually torsion-free if and only if there exists a locality parameter $r>0$ such that its $r$-local cover admits a canonical tree-decomposition with finite quotient and finite adhesion, every finite subgroup of $Γ$ fixes a vertex of this decomposition, and the finite subgroups in each bag have uniformly bounded order. Moreover, a finitely generated group $Γ$ is virtually free if and only if for some $r>0$ its $r$-global decomposition has a finite model graph with finite bags and the tree-decomposition of the $r$-local cover is $Γ$-equivariantly isomorphic to the Bass--Serre tree arising from a splitting of $Γ$ as a finite graph of finite groups.
Metric embeddings of cubes into dense subsets of cubes
Fix $k \in \mathbb{N}$ and $0 < δ< 1$. We study how large $N$ must be so that every $δ$-dense subset $\mathcal{D} \subset \{0,1\}^N$ (meaning $|\mathcal{D}| \geq δ2^N$) contains the image of a metric embedding $f: \{0,1\}^k \to \mathcal{D}$. We study three variants. For a $(1+\varepsilon)$-bi-Lipschitz map $f$ with fixed $\varepsilon > 0$, we show $N = O(\varepsilon^{-2} \log(1/δ) k^3)$. For an isometric map with arbitrary rescaling (undistorted), we show $N = \log(1/δ) e^{Ω(k)}$ and conjecture $N = \log(1/δ) e^{O(k)}$. For an isometric map with bounded rescaling we show $N = \exp[\log(1/δ) e^{Θ(k)}]$.
As a geometric application, we obtain a nonpositive Alexandrov curvature counterpart to the work of Bartal-Linial-Mendel-Naor on the nonlinear Dvoretzky problem. It is known that any subset of $\{0,1\}^N$ embedding with bi-Lipschitz distortion $< α$ into a metric space of nonnegative Alexandrov curvature must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-2}))}$. Work of Gromov and Kondo shows that this approach does not extend to CAT(0) targets. We prove that for every $N \gtrsim α^6 \geq 1$, any $\mathcal{D} \subset \{0,1\}^N$ embedding with distortion $< α$ into a CAT(0) space must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-4}))}$, via a completely different approach. Similar results hold for targets of nontrivial Enflo type.
Finally, we prove the density analogue of a coloring theorem of Rodl-Sales: we give bounds for $(1+\varepsilon)$-bi-Lipschitz embeddings of the path $\{1,\ldots,k\}$ into dense subsets of $\{1,\ldots,N\}$ (improving a bound of Dumitrescu), and prove similar bounds for binary tree metrics.
Hypercube drawings with no long plane paths
We study the existence of plane substructures in drawings of the $d$-dimensional hypercube graph $Q_d$. We construct drawings of $Q_d$ which contain no plane subgraph with more than $2d-2$ edges, no plane path with more than $2d-3$ edges, and no plane matching of size more than $2d-4$. On the other hand, we prove that every rectilinear drawing of $Q_d$ with vertices in convex position contains a plane path of length $d$ (if $d$ is odd) or $d-1$ (if $d$ is even). We also prove that if a graph $G$ is a plane subgraph of every drawing of $Q_d$ for a sufficiently large $d$, then $G$ is necessarily a forest of caterpillars. Lastly, we give a short proof of a generalization of a result by Alpert et al. [Cong. Numerantium, 2009] on the maximum rectilinear crossing number of $Q_d$.
The $p$-Dissection of a Product of Quintuple Products
Let $p \equiv 1 \pmod{4}$ be prime, let $m$ and $n$ be integers such that $p=m^2+n^2$, and let $b$ be a positive integer. Let $Q(z,q) = (z,q/z,q;q)_{\infty}(qz^2,q/z^2;q^2)_{\infty}$ denote the product appearing in the quintuple product identity. We derive explicit formulae for the $p$-dissection of $Q(q^{bm},q^p)Q(q^{bn},q^p)$, and determine sign patterns in length-$p$ arithmetic progressions of the Taylor series coefficients of the associated quotient $Q(q^{bm},q^{p})Q(q^{bn},q^p)/(q^p;q^p)_{\infty}^2$. Some combinatorial applications of the $p$-dissection formulae are also given.
Graphs whose Eulerian trails have unique labels
Consider an undirected graph whose edges are labeled invertibly in a group. When does every Eulerian trail from one fixed vertex to another have the same label? We give a precise structural answer to this question. Essentially, we show that each ``$3$-connected part'' is labeled over a group which is isomorphic to $\mathbb{Z}_2^k$ for some $k$. We also show that the algorithmic problem admits a polynomial-time reduction to the word problem for the group.
Chiral Polyhedra from AGL(1,q)
We present a construction of chiral and regular polyhedra from subgroups of the general affine group AGL(1,q) for odd prime powers q. In particular, we show that the full group AGL(1,q) occurs as the automorphism group of a chiral polyhedron of type {q-1, q-1} when q=1 mod 4, or types {q-1,(q-1)/2} or {(q-1)/2, q-1} when q=3 mod 4, and we compute the genus in each case. We also establish that subgroups of AGL(1,q) cannot serve as full automorphism groups of regular polytopes of rank 3 or higher, nor of chiral polytopes of rank 4 or higher, demonstrating that our construction captures all polytopes that can arise from this class of affine groups.
SIP classes and four-parameter partition identities
The four-parameter weight of partitions played an important role in the theory of integer partitions, for its connection with various statistics, including the alternating sum and the BG-rank. In 2022, Andrews introduced the SIP classes, by which he reviewed a number of classic partition identities and provided new combinatorial insights. In this work, we extend the SIP classes and provide a unified method to study the four-parameter weight of partitions. By treating partitions with position parity as examples, we provide four-parameter partition identities related to these partition sets. And as corollary, we also present the generating functions that keep track of the BG-rank and the joint distribution of the number of odd parts and the alternating sum, respectively.
An Upper Bound for the Double Domination Number in Maximal Outerplanar Graphs
In a graph $G$, a vertex dominates itself and its neighbors. A subset $S$ of vertices of $G$ is a double dominating set of $G$ if every vertex is dominated by at least two vertices in $S$. The double domination number $γ_{\times 2}(G)$ of $G$ is the minimum cardinality of a double dominating set of $G$. In this paper, we prove that, for a maximal outerplanar graph $G$, the double domination number $γ_{\times 2}(G)$ is at most $(n+k)/2$, where $k$ is the number of pairs of consecutive vertices on the outer cycle but at distance at least 3. Although this bound was previously proposed by Abd Aziz, Rad and Kamarulhaili (A note on the double domination number in maximal outerplanar and planar graphs, RAIRO Operations Research, 56 (2022) 3367--3371), their proof was found to be incomplete. In this paper we establish the validity of this result by providing a complete proof.
Subspace variations of the weighted skew Bollobás theorem
Let $V$ be a finite-dimensional real vector space. A collection $\mathcal{P} = \{(A_i,B_i)\}_{i=1}^m$ of pairs of subspaces of $V$ is called a skew Bollobás system if $\dim(A_i\cap B_i)=0$ for each $i\in [m]$ and $\dim(A_i\cap B_j)>0$ for all $1\leq i<j \leq m$. Assume that $V = V^{(1)}\oplus \cdots \oplus V^{(r)}$ and $\mathcal{P}= \{(A_i,B_i)\}_{i=1}^m$ is a skew Bollobás system of subspaces of $V$ satisfying $ A_i = \bigoplus_{k=1}^r (A_i \cap V^{(k)})$ and $ B_i = \bigoplus_{k=1}^r (B_i \cap V^{(k)})$ for each $i\in [m]$. Denote $a_{i,k} = \dim(A_i \cap V^{(k)})$ and $b_{i,k} = \dim(B_i \cap V^{(k)})$. Suppose that $a_{1,k} \le \cdots \le a_{m,k}$ and $b_{1,k} \ge \cdots \ge b_{m,k}$ for each $k\in [r]$. Using the exterior algebraic method developed by Lovász and Scott--Wilmer, we prove that $$ \sum_{i=1}^{m} \frac{1}{\prod_{k=1}^{r} \binom{a_{i,k}+b_{i,k}}{a_{i,k}}} \le 1 . $$ This generalizes the results of Alon (JCTA, 1985) and Scott--Wilmer (JLMS, 2021) to multipart weighted setting. Secondly, we solve a conjecture of Hegedüs (AJC, 2015) concerning projective subspaces, showing that any skew Bollobás system of projective subspaces in an $n$-dimensional projective space contains at most $2^{n+1} - 2$ pairs. Thirdly, we prove that if $\mathcal{P}= \{(A_i,B_i)\}_{i=1}^m$ is a skew Bollobás system of subspaces of $V$ with $a_i=\dim (A_i)$ and $b_i=\dim (B_i)$, then $$ \sum_{i=1}^m \frac{1}{(a_i+ b_i+1)\binom{a_i+b_i}{a_i}} \le 1. $$ This gives an extension to the subspace setting of the results of Hegedüs--Frankl (EUJC, 2024) and Yue (DM, 2026). Finally, we extend the above inequality to systems of $d$-tuples of subspaces, giving a unified bound that implies the corresponding results for $d$-tuples of subsets.
Autocatalytic Cores in Reaction Networks with Explicit Catalysis
Autocatalytic cores are minimal units in reaction networks (RNs) responsible for the emergence of autocatalysis. In the absence of explicit catalysis, i.e., when an entity appears both as reactant and product in the same reaction, they are known to be encoded by square submatrices of the stoichiometric matrix whose columns can be reordered as an irreducible child-selection (CS) matrix with negative diagonal and nonnegative off-diagonal (Metzler matrix). In the bipartite Koenig graph representing the RN, these CS matrices can be identified by fluffles, i.e., strong blocks with an identical number of entity and reaction vertices that have out- and in-degree 1, respectively. Here, we adapt the concepts derived for autocatalytic cores to RNs with explicitly catalyzed reactions, which emerge as digons, i.e., elementary circuits in the Koenig graph of length 2. In this setting, we confirm that an inspection of the stoichiometric matrix alone is inconclusive concerning the presence and number of autocatalytic cores, requiring a more delicate algebraic analysis. Nevertheless, this generalization preserves both the graph and the matrix representation as fluffles and irreducible Metzler CS matrices, respectively, although the diagonal is no longer necessarily strictly negative. We introduce the notion of hard autocatalytic cores, i.e. those that do not yield other autocatalytic cores upon inclusion of all reverse reactions. Finally, we consider the case of unit stoichiometries and show that each autocatalytic core can be constructed as the superposition of at most 2 elementary circuits. In particular, autocatalytic cores involving explicitly catalyzed reactions always contain a spanning subgraph consisting of a single elementary circuit together with a simple entity-to-reaction chord. Moreover, we identify the essentially unique example for which at least two circuits are required.
Packing arithmetic progressions
Let $\mathcal{F}=\{A_1,A_2,\ldots,A_k\}$ be a collection of finite arithmetic progressions, where each $A_d$ is an initial segment of the set $D_d=\{d,2d,3d,\ldots\}$ of consecutive multiples of a positive integer $d$. Let $m(\mathcal{F})$ denote the minimum length of an interval containing pairwise disjoint \emph{shifted} copies of all members of the family $\mathcal{F}$.
We study this parameter in the following two cases: for a fixed positive integer $n$, (1) each progression in $\mathcal{F}$ has the form $A_d=D_d\cap\{1,2,\ldots,n\}$, and (2) all progressions $A_d$ of $\mathcal{F}$ have the same size $n$, that is, $A_d=D_d\cap \{1,2,\ldots, nd\}$. We in particular derive the following asymptotic estimates. In case (1), when $k=n$, we get $m(\mathcal{F})=Θ(n^{3/2}/\ln n)$. In case (2), when $k=n$, we get $m(\mathcal{F})=Θ(n^3/\ln n)$, while if $k>k_0(n)$, then $m(\mathcal{F}) < 3kn$. In both cases we additionally determine $m(\mathcal{F})$ asymptotically or settle its order of magnitude for all $k<n$.
Reeb spaces of smooth functions associated to globally similar graphs of smooth functions
Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each infinity, and topological properties and combinatorial ones of its composition with the canonical projection. Here, we consider smooth functions with congruent or globally similar graphs instead.
Here, the Reeb space of a smooth function on a manifold with no boundary is fundamental and important. This is the naturally topologized quotient space of the manifold, consisting of all connected components (contours) of the function and is a graph under a certain nice situation. Related studies also related to the present study were started due to interest of the author in theory of Reeb spaces of non-proper functions. For proper functions, in 2020s related studies have developed mainly due to Gelbukh and Saeki.