Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Bent Partitions, Vectorial Dual-Bent Functions and Partial Difference Sets
Published
• View Publication
• BIB
It is known that partial spreads is a class of bent partitions. In \cite{AM2022Be,MP2021Be}, two classes of bent partitions whose forms are similar to partial spreads were presented. In \cite{AKM2022Ge}, more bent partitions $Γ_{1}, Γ_{2}, Γ_{1}^{\bullet}, Γ_{2}^{\bullet}, Θ_{1}, Θ_{2}$ were presented from (pre)semifields, including the bent partitions given in \cite{AM2022Be,MP2021Be}. In this paper, we investigate the relations between bent partitions and vectorial dual-bent functions. For any prime $p$, we show that one can generate certain bent partitions (called bent partitions satisfying Condition $\mathcal{C}$) from certain vectorial dual-bent functions (called vectorial dual-bent functions satisfying Condition A). In particular, when $p$ is an odd prime, we show that bent partitions satisfying Condition $\mathcal{C}$ one-to-one correspond to vectorial dual-bent functions satisfying Condition A. We give an alternative proof that $Γ_{1}, Γ_{2}, Γ_{1}^{\bullet}, Γ_{2}^{\bullet}, Θ_{1}, Θ_{2}$ are bent partitions. We present a secondary construction of vectorial dual-bent functions, which can be used to generate more bent partitions. We show that any ternary weakly regular bent function $f: V_{n}^{(3)}\rightarrow \mathbb{F}_{3}$ ($n$ even) of $2$-form can generate a bent partition. When such $f$ is weakly regular but not regular, the generated bent partition by $f$ is not coming from a normal bent partition, which answers an open problem proposed in \cite{AM2022Be}. We give a sufficient condition on constructing partial difference sets from bent partitions, and when $p$ is an odd prime, we provide a characterization of bent partitions satisfying Condition $\mathcal{C}$ in terms of partial difference sets.
Nested perfect toroidal arrays
Published
• View Publication
• BIB
We introduce two-dimensional toroidal arrays that are a variant of the de Bruijn tori. We call them nested perfect toroidal arrays. Instead of asking that every array of a given size has exactly one occurrence, we partition the positions in congruence classes and we ask exactly one occurrence in each congruence class. We also ask that this property applies recursively to each of the subarrays. We give a method to construct nested perfect toroidal arrays based on Pascal triangle matrix modulo 2. For the two-symbol alphabet, and for $n$ being a power of $2$, our method yields $2^{n^2+n-1}$ different nested perfect toroidal arrays allocating all the different $n\times n$ arrays in each congruence class
that arises from taking the line number modulo $n$ and the column number modulo $n$.
The Uncover Process for Random Labeled Trees
Published
• View Publication
• BIB
We consider the process of uncovering the vertices of a random labeled tree according to their labels. First, a labeled tree with $n$ vertices is generated uniformly at random. Thereafter, the vertices are uncovered one by one, in order of their labels. With each new vertex, all edges to previously uncovered vertices are uncovered as well. In this way, one obtains a growing sequence of forests. Three particular aspects of this process are studied in this work: first the number of edges, which we prove to converge to a stochastic process akin to a Brownian bridge after appropriate rescaling. Second, the connected component of a fixed vertex, for which different phases are identified and limiting distributions determined in each phase. Lastly, the largest connected component, for which we also observe a phase transition.
Hopf monoids in perturbative algebraic quantum field theory
We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliubov-Shirkov, Steinmann, Ruelle, and Epstein-Glaser-Stora. In this paper, we give a fully explicit account in terms of modern theory developed by Aguiar-Mahajan. We describe the central construction of causal perturbation theory as a homomorphism from the Hopf monoid of set compositions, decorated with local observables, into the Wick algebra of microcausal polynomial observables. The operator-valued distributions called (generalized) time-ordered products and (generalized) retarded products are obtained as images of fundamental elements of this Hopf monoid under the curried homomorphism. The perturbative S-matrix scheme corresponds to the so-called universal series, and the property of causal factorization is naturally expressed in terms of the action of the Hopf monoid on itself by Hopf powers, called the Tits product. Given a system of fully renormalized time-ordered products, the perturbative construction of the corresponding interacting products is via an up biderivation of the Hopf monoid, which recovers Bogoliubov's formula.
Improved NP-Hardness of Approximation for Orthogonality Dimension and Minrank
Published
• View Publication
• BIB
The orthogonality dimension of a graph $G$ over $\mathbb{R}$ is the smallest integer $k$ for which one can assign a nonzero $k$-dimensional real vector to each vertex of $G$, such that every two adjacent vertices receive orthogonal vectors. We prove that for every sufficiently large integer $k$, it is $\mathsf{NP}$-hard to decide whether the orthogonality dimension of a given graph over $\mathbb{R}$ is at most $k$ or at least $2^{(1-o(1)) \cdot k/2}$. We further prove such hardness results for the orthogonality dimension over finite fields as well as for the closely related minrank parameter, which is motivated by the index coding problem in information theory. This in particular implies that it is $\mathsf{NP}$-hard to approximate these graph quantities to within any constant factor. Previously, the hardness of approximation was known to hold either assuming certain variants of the Unique Games Conjecture or for approximation factors smaller than $3/2$. The proofs involve the concept of line digraphs and bounds on their orthogonality dimension and on the minrank of their complement.
Odd and even Fibonacci lattices arising from a Garside monoid
Published
• View Publication
• BIB
We study two families of lattices whose number of elements are given by the numbers in even (respectively odd) positions in the Fibonacci sequence. The even Fibonacci lattice arises as the lattice of simple elements of a Garside monoid partially ordered by left-divisibility, and the odd Fibonacci lattice is an order ideal in the even one. We give a combinatorial proof of the lattice property, relying on a description of words for the Garside element in terms of Schröder trees, and on a recursive description of the even Fibonacci lattice. This yields an explicit formula to calculate meets and joins in the lattice. As a byproduct we also obtain that the number of words for the Garside element is given by a little Schröder number.
On a determinant formula for some real regular representations
We interpret a formula established by Lapid-Mínguez on real regular representations of ${\rm GL}_n$ over a local non-archimedean field as a matrix determinant. We use the Lewis Carroll determinant identity to prove new relations between real regular representations. Through quantum affine Schur-Weyl duality, these relations generalize Mukhin-Young's Extended $T$-systems, for representations of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_k)$, which are themselves generalizations of the celebrated $T$-system relations.
Intersection theory of polymatroids
Published
• View Publication
• BIB
Polymatroids are combinatorial abstractions of subspace arrangements in the same way that matroids are combinatorial abstractions of hyperplane arrangements. By introducing augmented Chow rings of polymatroids, modeled after augmented wonderful varieties of subspace arrangements, we generalize several algebro-geometric techniques developed in recent years to study matroids. We show that intersection numbers in the augmented Chow ring of a polymatroid are determined by a matching property known as the Hall--Rado condition, which is new even in the case of matroids.
A geometric realization of Catalan functions
We construct a smooth projective variety $\mathscr X_Ψ$ that compactifies an equivariant vector subbundle of the cotangent bundle of the flag variety for $\mathrm{GL}(n)$, determined by a root ideal $Ψ$. A natural family of line bundles on $\mathscr X_Ψ$ yields the Catalan functions -- symmetric functions introduced by Chen--Haiman and studied further by Blasiak--Morse--Pun--Summers. By analyzing the geometry of $\mathscr X_Ψ$, we prove the vanishing conjecture of Chen--Haiman, confirm the tame case of the vanishing conjecture of Blasiak--Morse--Pun, and establish the monotonicity conjectures of Shimozono--Weyman.
Permutation Statistics in Conjugacy Classes of the Symmetric Group
We introduce the notion of a weighted inversion statistic on the symmetric group, and examine its distribution on each conjugacy class. Our work generalizes the study of several common permutation statistics, including the number of inversions, the number of descents, the major index, and the number of excedances. As a consequence, we obtain explicit formulas for the first moments of several statistics by conjugacy class. We also show that when the cycle lengths are sufficiently large, the higher moments of arbitrary permutation statistics are independent of the conjugacy class. Fulman (J. Comb. Theory Ser. A., 1998) previously established this result for major index and descents. We obtain these results, in part, by generalizing the techniques of Fulman (ibid.), and introducing the notion of permutation constraints. For permutation statistics that can be realized via symmetric constraints, we show that each moment is a polynomial in the degree of the symmetric group.
The algebra of extended peaks
Published in Séminaire Lotharingien de Combinatoire 89B (2023), Proceedings of the 35th Conference on Formal Power Series 2023, Article #46
• Search Publication
Building up on our previous works regarding $q$-deformed $P$-partitions, we introduce a new family of subalgebras for the ring of quasisymmetric functions. Each of these subalgebras admits as a basis a $q$-analogue to Gessel's fundamental quasisymmetric functions where $q$ is equal to a complex root of unity. Interestingly, the basis elements are indexed by sets corresponding to an intermediary statistic between peak and descent sets of permutations that we call extended peak.
A Note On Acyclic Token Sliding Reconfiguration Graphs of Independent Sets
Published in Ars Combinatoria 159:133-154, 2024
• View Publication
• BIB
We continue the study of token sliding reconfiguration graphs of independent sets initiated by the authors in an earlier paper (arXiv:2203.16861). Two of the topics in that paper were to study which graphs $G$ are token sliding graphs and which properties of a graph are inherited by a token sliding graph. In this paper we continue this study specializing on the case of when $G$ and/or its token sliding graph $\mathsf{TS}_k(G)$ is a tree or forest, where $k$ is the size of the independent sets considered. We consider two problems. The first is to find necessary and sufficient conditions on $G$ for $\mathsf{TS}_k(G)$ to be a forest. The second is to find necessary and sufficient conditions for a tree or forest to be a token sliding graph. For the first problem we give a forbidden subgraph characterization for the cases of $k=2,3$. For the second problem we show that for every $k$-ary tree $T$ there is a graph $G$ for which $\mathsf{TS}_{k+1}(G)$ is isomorphic to $T$. A number of other results are given along with a join operation that aids in the construction of $\mathsf{TS}_k(G)$-graphs.
From discrete to continuous: Monochromatic 3-term arithmetic progressions
Published
• View Publication
• BIB
We prove a known 2-coloring of the integers $[N] := \{1,2,3,\ldots,N\}$ minimizes the number of monochromatic arithmetic 3-progressions under certain restrictions. A monochromatic arithmetic progression is a set of equally-spaced integers that are all the same color. Previous work by Parrilo, Robertson and Saracino conjectured an optimal coloring for large $N$ that involves 12 colored blocks. Here, we prove that the conjecture is optimal among anti-symmetric colorings with 12 or fewer colored blocks. We leverage a connection to the coloring of the continuous interval $[0,1]$ used by Parrilo, Robertson, and Saracino as well as by Butler, Costello and Graham. Our proof identifies classes of colorings with permutations, then counts the permutations using mixed integer linear programming.
Self-reciprocal polynomials connecting unsigned and signed relative derangements
Published in Journal of Difference Equations and Applications, 2023
• View Publication
• BIB
In this paper, we introduce polynomials (in $t$) of signed relative derangements that track the number of signed elements. The polynomials are clearly seen to be in a sense symmetric. Note that relative derangements are those without any signed elements, i.e., the evaluations of the polynomials at $t=0$. Also, the numbers of all signed relative derangements are given by the evaluations at $t=1$. Then the coefficients of the polynomials connect unsigned and signed relative derangements and show how putting elements with signs affects the formation of derangements. We first prove a recursion satisfied by these polynomials which results in a recursion satisfied by the coefficients. A combinatorial proof of the latter is provided next. We also show that the sequences of the coefficients are unimodal. Moreover, other results are obtained. For instance, a kind of dual of a relation between signed derangements and signed relative derangements previously proved by Chen and Zhang is presented.
Combinatorial reciprocity for non-intersecting paths
Published in Enumerative Combinatorics and Applications, 3(2), 2023
• View Publication
• BIB
We prove a combinatorial reciprocity theorem for the enumeration of non-intersecting paths in a linearly growing sequence of acyclic planar networks. We explain two applications of this theorem: reciprocity for fans of bounded Dyck paths, and reciprocity for Schur function evaluations with repeated values.
Cops and robbers pebbling in graphs
Here we merge the two fields of Cops and Robbers and Graph Pebbling to introduce the new topic of Cops and Robbers Pebbling. Both paradigms can be described by moving tokens (the cops) along the edges of a graph to capture a special token (the robber). In Cops and Robbers, all tokens move freely, whereas, in Graph Pebbling, some of the chasing tokens disappear with movement while the robber is stationary. In Cops and Robbers Pebbling, some of the chasing tokens (cops) disappear with movement, while the robber moves freely. We define the cop pebbling number of a graph to be the minimum number of cops necessary to capture the robber in this context, and present upper and lower bounds and exact values, some involving various domination parameters, for an array of graph classes, including paths, cycles, trees, chordal graphs, high girth graphs, and cop-win graphs, as well as graph products. Furthermore we show that the analogous inequality for Graham's Pebbling Conjecture fails for cop pebbling and posit a conjecture along the lines of Meyniel's Cops and Robbers Conjecture that may hold for cop pebbling. We also offer several new problems.
Selection of Centrality Measures Using Self-Consistency and Bridge Axioms
Published in Journal of Complex Networks, Volume 11, Issue 5, October 2023, cnad035,
• View Publication
• BIB
We consider several families of network centrality measures induced by graph kernels, which include some well-known measures and many new ones. The Self-consistency and Bridge axioms, which appeared earlier in the literature, are closely related to certain kernels and one of the families. We obtain a necessary and sufficient condition for Self-consistency, a sufficient condition for the Bridge axiom, indicate specific measures that satisfy these axioms, and show that under some additional conditions they are incompatible. PageRank centrality applied to undirected networks violates most conditions under study and has a property that according to some authors is ``hard to imagine'' for a centrality measure. We explain this phenomenon. Adopting the Self-consistency or Bridge axiom leads to a drastic reduction in survey time in the culling method designed to select the most appropriate centrality measures.
On the chromatic number of random regular hypergraphs
Published
• View Publication
• BIB
We estimate the likely values of the chromatic and independence numbers of the random $r$-uniform $d$-regular hypergraph on $n$ vertices for fixed $r$, large fixed $d$, and $n \rightarrow \infty$.
Graphs with girth $2\ell+1$ and without longer odd holes are $3$-colorable
Published
• View Publication
• BIB
For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Plummer and Zha conjectured that every 3-connected and internally 4-connected graph in $\mathcal{G}_2$ is 3-colorable. Wu, Xu, and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is 3-colorable. Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is 3-colorable. In this paper, we prove that every graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ is 3-colorable.
Circular bidiagonal pairs
Published
• View Publication
• BIB
A square matrix is said to be circular bidiagonal whenever (i) each nonzero entry is on the diagonal, or the subdiagonal, or in the top-right corner; (ii) each subdiagonal entry is nonzero, and the entry in the top-right corner is nonzero. Let $\mathbb F$ denote a field, and let $V$ denote a nonzero finite-dimensional vector space over $\mathbb F$. We consider an ordered pair of $\mathbb F$-linear maps $A: V \to V$ and $A^*: V \to V$ that satisfy the following two conditions: (i) there exists a basis for $V$ with respect to which the matrix representing $A$ is circular bidiagonal and the matrix representing $A^*$ is diagonal; (ii) there exists a basis for $V$ with respect to which the matrix representing $A^*$ is circular bidiagonal and the matrix representing $A$ is diagonal. We call such a pair a circular bidiagonal pair on $V$. We classify the circular bidiagonal pairs up to affine equivalence. There are two infinite families of solutions, which we describe in detail.