Planar binary trees, noncrossing partitions and the operator-valued S-transform

Kurusch Ebrahimi-Fard,Timothe Ringeard

2024-10-20

Abstract:We revisit the twisted multiplicativity property of Voiculescu's S-transform in the operator-valued setting, using a specific bijection between planar binary trees and noncrossing partitions.

Combinatorics,Probability

What problem does this paper attempt to address?

A post-group theoretic perspective on the operator-valued S-transform in free probability

Kurusch Ebrahimi-Fard,Timothé Ringeard

2024-02-26

Abstract:We investigate the algebraic structure underlying Voiculescu's S-transform in the setting of operator-valued free probability. We show that its twisted factorisation property gives rise to post-groups, crossed morphisms, as well as pre- and post-Lie algebras.

Operator Algebras,Group Theory
A Short Proof for the Twisted Multiplicativity Property of the Operator-Valued S-transform

Roland Speicher

DOI: https://doi.org/10.1007/s11785-022-01259-y

2022-07-13

Complex Analysis and Operator Theory

Abstract:We provide a short proof for the twisted multiplicativity property of the operator-valued S -transform.

mathematics, applied
Multivariate transforms of total positivity

Sujit Sakharam Damase,Apoorva Khare

2024-11-06

Abstract:In [J. d'Analyse Math. 2023], Belton-Guillot-Khare-Putinar classified the post-composition operators that preserve TP/TN kernels of each specified order. We explain how to extend this from preservers to transforms, and from one to several variables. Namely, given arbitrary nonempty totally ordered sets $X,Y$, we characterize the transforms that send each tuple of kernels on $X \times Y$ that are TP/TN of orders $k_1, \dots, k_p$, to a TP/TN kernel of order $l$, for arbitrary positive integers (or infinite) $k_j$ and $l$. An interesting feature is that to preserve TP (or TN) of order $2$, the preservers are products of individual power (or Heaviside) functions in each variable; but for all higher orders, the preservers are powers in a single variable. The proofs use generalized Vandermonde kernels, (strictly totally positive) Polya frequency functions, and a kernel studied recently but tracing back to works of Schoenberg [Ann. of Math. 1955] and Karlin [Trans. Amer. Math. Soc. 1964].

Functional Analysis,Classical Analysis and ODEs
From quantum electrodynamics to posets of planar binary trees

Frédéric Chapoton,Alessandra Frabetti

DOI: https://doi.org/10.48550/arXiv.0811.4712

2008-11-28

Abstract:This paper is a brief mathematical excursion which starts from quantum electrodynamics and leads to the Moebius function of the Tamari lattice of planar binary trees, within the framework of groups of tree-expanded series. First we recall Brouder's expansion of the photon and the electron Green's functions on planar binary trees, before and after the renormalization. Then we recall the structure of Connes and Kreimer's Hopf algebra of renormalization in the context of planar binary trees, and of their dual group of tree-expanded series. Finally we show that the Moebius function of the Tamari posets of planar binary trees gives rise to a particular series in this group.

Quantum Algebra,Mathematical Physics
Two involutions on binary trees and generalizations

Yang Li,Zhicong Lin,Tongyuan Zhao

2023-09-12

Abstract:This paper investigates two involutions on binary trees. One is the mirror symmetry of binary trees which combined with the classical bijection $\varphi$ between binary trees and plane trees answers an open problem posed by Bai and Chen. This involution can be generalized to weakly increasing trees, which admits to merge two recent equidistributions found by Bai--Chen and Chen--Fu, respectively. The other one is constructed to answer a bijective problem on di-sk trees asked by Fu--Lin--Wang and can be generalized naturally to rooted labeled trees. This second involution combined with $\varphi$ leads to a new statistic on plane trees whose distribution gives the Catalan's triangle. Moreover, a quadruple equidistribution on plane trees involving this new statistic is proved via a recursive bijection.

Combinatorics
Carry Value Transformation (CVT) - Exclusive OR (XOR) Tree and Its Significant Properties

Jayanta Kumar Das,Pabitra Pal Choudhury,Sudhakar Sahoo

DOI: https://doi.org/10.48550/arXiv.1506.01544

IF: 0.961

2015-06-04

Discrete Mathematics

Abstract:CVT and XOR are two binary operations together used to calculate the sum of two non-negative integers on using a recursive mechanism. In this present study the convergence behaviors of this recursive mechanism has been captured through a tree like structure named as CVT-XOR Tree. We have analyzed how to identify the parent nodes, leaf nodes and internal nodes in the CVT-XOR Tree. We also provide the parent information, depth information and the number of children of a node in different CVT-XOR Trees on defining three different matrices. Lastly, one observation is made towards very old Mathematical problem of Goldbach Conjecture.
Hyper-positive definite functions II: A complete study of branching-Toeplitz operators

Yanqi Qiu,Zipeng Wang

DOI: https://doi.org/10.48550/arXiv.2001.06179

2020-01-17

Abstract:We introduce and give a more or less complete study of a family of branching-Toeplitz operators on the Hilbert space $\ell^2(T_q)$ indexed by a rooted homogeneous tree $T_q$ of degree $q\ge 2$. The finite dimensional analogues of such operators form a very natural family of structured sparse matrices called branching-Toeplitz matrices and will also be investigated. The branching-Toeplitz operators/matrices in this paper should be viewed as natural generalizations of the standard Toeplitz operators/matrices. We will apply our results to construct a family of determinantal point processes on homogeneous trees which are branching-type strong stationary stochastic processes.

Functional Analysis,Probability
Quotients of graph operators by symmetry representations

Ram Band,Gregory Berkolaiko,Christopher H. Joyner,Wen Liu

2023-11-29

Abstract:A finite dimensional operator that commutes with some symmetry group admits quotient operators, which are determined by the choice of associated representation. Taking the quotient isolates the part of the spectrum supporting the chosen representation and reduces the complexity of the spectral problem. Yet, such a quotient operator is not uniquely defined. Here we present a computationally simple way of choosing a special basis for the space of intertwiners, allowing us to construct a quotient that reflects the structure of the original operator. This quotient construction generalizes previous definitions for discrete graphs, which either dealt with restricted group actions or only with the trivial representation. We also extend the method to quantum graphs, which simplifies previous constructions within this context, answers an open question regarding self-adjointness and offers alternative viewpoints in terms of a scattering approach. Applications to isospectrality are discussed, together with numerous examples and comparisons with previous results.

Mathematical Physics,Representation Theory,Spectral Theory
Quasisymmetric divided differences

Philippe Nadeau,Hunter Spink,Vasu Tewari

2024-10-20

Abstract:We develop a quasisymmetric analogue of the combinatorial theory of Schubert polynomials and the associated divided difference operators. Our counterparts are "forest polynomials", and a new family of linear operators, whose theory of compositions is governed by forests and the "Thompson monoid". Our approach extends naturally to $m$-colored quasisymmetric functions. We then give several applications of our theory to fundamental quasisymmetric functions, the study of quasisymmetric coinvariant rings and their associated harmonics, and positivity results for various expansions. In particular we resolve a conjecture of Aval-Bergeron-Li regarding quasisymmetric harmonics.

Combinatorics
Inversion and Cubic Vectors for Permutrees

Daniel Tamayo Jiménez

2023-08-12

Abstract:We introduce two generalizations of bracket vectors from binary trees to permutrees. These new vectors help describe algebraic and geometric properties of the rotation lattice of permutrees defined by Pilaud and Pons. The first generalization serves the role of an inversion vector for permutrees allowing us to define an explicit meet operation and provide a new constructive proof of the lattice property for permutree rotation lattices. The second generalization, which we call cubic vectors, allows for the construction of a cubic realization of these lattices which is proven to form a cubical embedding of the corresponding permutreehedra. These results specialize to those known about permutahedra and associahedra.

Combinatorics
Composition Operators on the Little Lipschitz space of a rooted tree

Flavia Colonna,Rubén A. Martínez-Avendaño

2024-10-10

Abstract:In this work, we study the composition operators on the little Lipschitz space ${\mathcal L}_0$ of a rooted tree $T$ defined as the subspace of the Lipschitz space ${\mathcal L}$, introduced in Colonna and Easley [4], that consists of the complex-valued functions $f$ on $T$ such that $$ \lim_{|v|\to\infty}|f(v)-f(v^-)|=0, $$ where $v^-$ is the vertex adjacent to the vertex $v$ in the path from the root to $v$ and $|v|$ denotes the number of edges from the root to $v$. Specifically, we give several sufficient conditions on a Lipschitz self-map $\varphi$ on $T$ for which the composition operator $C_\varphi$ maps ${\mathcal L}_0$ into itself, and estimate its operator norm. In addition we study the spectrum of $C_\varphi$ and the hypercyclicity of a constant multiple of $C_\varphi$.

Functional Analysis
CMSO-transducing tree-like graph decompositions

Rutger Campbell,Bruno Guillon,Mamadou Moustapha Kanté,Eun Jung Kim,Noleen Köhler

2024-12-06

Abstract:We show that given a graph G we can CMSO-transduce its modular decomposition, its split decomposition and its bi-join decomposition. This improves results by Courcelle [Logical Methods in Computer Science, 2006] who gave such transductions using order-invariant MSO, a strictly more expressive logic than CMSO. Our methods more generally yield C2MSO-transductions of the canonical decomposition of weakly-partitive set systems and weakly-bipartitive systems of bipartitions.

Logic in Computer Science,Computational Complexity,Discrete Mathematics,Formal Languages and Automata Theory
Coplanarity of rooted spanning-tree vectors

Matteo Polettini,Pedro E. Harunari,Sara Dal Cengio,Vivien Lecomte

2024-07-23

Abstract:Employing a recent technology of tree surgery we prove a ``deletion-constriction'' formula for products of rooted spanning trees on weighted directed graphs that generalizes deletion-contraction on undirected graphs. The formula implies that, letting $\tau_x^\varnothing$, $\tau_x^+$, and $\tau_x^-$ be the rooted spanning tree polynomials obtained respectively by removing an edge in both directions or by forcing the tree to pass through either direction of that edge, the vectors $(\tau_x^\varnothing, \tau_x^+, \tau_x^-)$ are coplanar for all roots $x$. We deploy the result to give an alternative derivation of a recently found mutual linearity of stationary currents of Markov chains. We generalize deletion-constriction and current linearity among two edges, and conjecture that similar results may hold for arbitrary subsets of edges.

Combinatorics,Statistical Mechanics,Mathematical Physics
A theorem of Strichartz for multipliers on homogeneous trees

Sumit Kumar Rano,Rudra P. Sarkar

2024-02-16

Abstract:A theorem of Strichartz states that if a uniformly bounded bi-infinite sequence of functions on the Euclidean spaces, satisfies the condition that the Laplacian acting on a function in this sequence yields the next one, then each function in this sequence is an eigenfunction of the Laplacian. We consider a generalization of this result for homogeneous trees, where we replace bounded functions by tempered distributions and the Laplacian by multiplier operators acting on the tempered distributions. After establishing the result in this general context, we narrow our focus to specific cases, which includes important examples of multiplier operators such as heat and Schrödinger operator, ball and sphere averages of function.

Classical Analysis and ODEs,Functional Analysis
Partitons of vertices and facets in trees and stacked simplicial complexes

Gunnar Fløystad

2024-01-16

Abstract:For stacked simplicial complexes, (special subclasses of such are: trees, triangulations of polygons, stacked polytopes), we give an explicit bijection between partitions of facets (for trees: edges), and partitions of vertices into independent sets. More generally we give bijections between facet partitions whose parts have minimal distance $\geq s$ and vertex partitions whose parts have minimal distance $\geq s+1$. A consequence is results on partitions of natural numbers, where the parts have minimal bounds on spacing.

Combinatorics
Perfect matchings and spanning trees: squarishness, bijections and independence

Seok Hyun Byun,Mihai Ciucu

2024-04-16

Abstract:A number which is either the square of an integer or two times the square of an integer is called squarish. There are two main results in the literature on graphs whose number of perfect matchings is squarish: one due to Jockusch (for planar graphs invariant under rotation by 90 degrees) and the other due to the second author (concerning planar graphs with two perpendicular symmetry axes). We present in this paper a new such class, consisting of certain planar graphs that are only required to have one symmetry axis. Our proof relies on a natural bijection between the set of perfect matchings of two closely related (but not isomorphic!) families of graphs, which is interesting in its own right. The rephrasing of this bijection in terms of spanning trees turns out to be the most natural way to present this result.

Combinatorics
An explicit formulation for two dimensional vector partition functions

Zhiqiang Xu

DOI: https://doi.org/10.48550/arXiv.math/0511196

2005-11-08

Abstract:Based on discrete truncated powers, the beautiful Popoviciu's formulation for restricted integer partition function is generalized. An explicit formulation for two dimensional multivariate truncated power functions is presented. Therefore, a simplified explicit formulation for two dimensional vector partition functions is given. Moreover, the generalized Frobenius problem is also discussed.

Combinatorics
Multivariate polynomial splines on generalized oranges

Maritza Sirvent,Tatyana Sorokina,Nelly Villamizar,Beihui Yuan

2023-06-09

Abstract:We consider spaces of multivariate splines defined on a particular type of simplicial partitions that we call (generalized) oranges. Such partitions are composed of a finite number of maximal faces with exactly one shared medial face. We reduce the problem of finding the dimension of splines on oranges to computing dimensions of splines on simpler, lower-dimensional partitions that we call projected oranges. We use both algebraic and Bernstein-Bézier tools.

Combinatorics
Positive Transversality Via Transfer Operators and Holomorphic Motions with Applications to Monotonicity for Interval Maps

Genadi Levin,Weixiao Shen,Sebastian van Strien

DOI: https://doi.org/10.1088/1361-6544/ab853e

2020-01-01

Nonlinearity

Abstract:In this paper we will develop a general approach which shows that generalized 'critical relations' of families of locally defined holomorphic maps on the complex plane unfold transversally. The main idea is to define a transfer operator, which is a local analogue of the Thurston pullback operator, using holomorphic motions. Assuming a so-called lifting property is satisfied, we obtain information about the spectrum of this transfer operator and thus about transversality. An important new feature of our method is that it is not global: the maps we consider are only required to be defined and holomorphic on a neighbourhood of some finite set. We will illustrate this method by obtaining transversality for a wide class of one-parameter families of interval and circle maps, for example for maps with flat critical points, but also for maps with complex analytic extensions such as certain polynomial-like maps. As in Tsujii's approach (Tsujii M 1994 A note on Milnor and Thurston's monotonicity theoremGeometry and Analysis in Dynamical Systemvol 14 (Singapore: World Scientific) pp 60-2; Tsujii M 2000 Ergod. Theor. Dyn. Syst.20925-933), for real maps we obtain positive transversality (where > 0 holds instead of just not equal 0), and thus monotonicity of entropy for these families, and also (as an easy application) for the real quadratic family. This method additionally gives results for unimodal families of the form x -> vertical bar x vertical bar(l) vertical bar c for l > 1 not necessarily an even integer and c real.

Planar binary trees, noncrossing partitions and the operator-valued S-transform

A post-group theoretic perspective on the operator-valued S-transform in free probability

A Short Proof for the Twisted Multiplicativity Property of the Operator-Valued S-transform

Multivariate transforms of total positivity

From quantum electrodynamics to posets of planar binary trees

Two involutions on binary trees and generalizations

Carry Value Transformation (CVT) - Exclusive OR (XOR) Tree and Its Significant Properties

Hyper-positive definite functions II: A complete study of branching-Toeplitz operators

Quotients of graph operators by symmetry representations

Quasisymmetric divided differences

Inversion and Cubic Vectors for Permutrees

Composition Operators on the Little Lipschitz space of a rooted tree

CMSO-transducing tree-like graph decompositions

Coplanarity of rooted spanning-tree vectors

A theorem of Strichartz for multipliers on homogeneous trees

Partitons of vertices and facets in trees and stacked simplicial complexes

Perfect matchings and spanning trees: squarishness, bijections and independence

An explicit formulation for two dimensional vector partition functions

Multivariate polynomial splines on generalized oranges

Positive Transversality Via Transfer Operators and Holomorphic Motions with Applications to Monotonicity for Interval Maps