SearcharxivSearch

arXiv subjects

Chenxi Wu

Publications and source records attributed to Chenxi Wu.

At least 19 recordsLinked to original sources

Tropicalizing polynomial strata

Let ${\rm Poly}_D(\vec\mu^*)$ be the ramification stratum in the parameter space of degree $D \geq 2$ complex polynomials consisting of polynomials with ramification profile $\vec\mu^*$. In this paper, we introduce a space $\mathcal{T}_D(\vec\mu^*)$ of framed decorated polynomial trees and identify it with the dynamical tropicalization of ${\rm Poly}_D(\vec\mu^*)$. A non-trivial point is that the tropicalization of ${\rm Poly}_D(\vec\mu^*)$ is not available a priori, as the stratum does not come with a previously known proper toroidal compactification. We resolve this issue by identifying ${\rm Poly}_D(\vec\mu^*)$ with a rigidified framed Hurwitz space. Using the twisted admissible cover compactification, together with additional rigidifying data, we construct a proper toroidal compactification and hence an associated Berkovich skeleton. We prove that $\mathcal{T}_D(\vec\mu^*)$ is isomorphic to this skeleton. We further show that the projectivized tree space $\mathbb P\mathcal{T}_D(\vec\mu^*)$ compactifies ${\rm Poly}_D(\vec\mu^*)$. Finally, we compare this compactification with the DeMarco--McMullen compactification of polynomial moduli by projectivized space of polynomial trees.

math.AG

On determinants of resistance matrices

We prove a new combinatorial identity for the determinant of the resistance matrix of a finite graph, which involves counts of spanning trees and forests. This generalizes a result of Graham and Pollak on distances matrices of trees. We make use of Bapat's expression of the resistance matrix determinant as a linear algebraic quantity.

math.CO

Topology and Euler characteristics of tropical varieties

We study Euler characteristics of tropical subvarieties of tropical abelian varieties. We prove that every H-regular subvariety, locally modeled on tropicalizations of sufficiently well-behaved very affine varieties, has nonnegative signed Euler characteristic. This gives a tropical analogue of a theorem of Green-Lazarsfeld for subvarieties of complex abelian varieties. The main input is a local vanishing theorem for H-regular tropical fans, which also yields a Lefschetz-type theorem for affine H-regular tropical varieties. We further show that the signed Euler characteristic inequality fails for general tropical subvarieties of tropical abelian varieties, and we construct a 3-dimensional tropical fan whose link is not homotopy equivalent to a bouquet of 2-spheres.

math.AG

Every Weak Perron Number is an End-Periodic Stretch Factor

Given any weak Perron number $λ$, we construct an end-periodic homeomorphism $f:Σ\rightarrow Σ$ with Handel-Miller stretch factor equal to $λ$ where $Σ$ is a connected infinite-type surface with finitely many ends all accumulated by genus.

math.GT

Ruelle's zeta function for non-Archimedean rational maps

We studied the transfer operators defined over $\mathbb{C}_p$-valued analytic functions for subhyperbolic rational maps on $\mathbb{Q}_p$, and showed that the corresponding Ruelle's zeta functions are meromorphic on $\mathbb{C}_p$. We also used $\mathbb{R}$-valued transfer operators to study the shape of the corresponding Julia sets, and proved a Levin-Sodin-Yuditski type identity for general rational maps on $\mathbb{C}_p$. In all the results above, $\mathbb{Q}_p$ can be replaced with any non-Archimedean local field with characteristic $0$, and $\mathbb{C}_p$ the metric completion of its algebraic closure.

math.DS

Thuston's Teapots and Graph Directed Systems

Thurston's Master Teapot is a geometric object that encodes the entropies of critically periodic unimodal maps. We establish the connection between this object and the "Mandelbrot set" of graph directed iterated function systems previously studied by Solomyak.

math.DS

Concatenations in subshifts defined by linear orders and poles of the Artin-Mazur zeta function

For certain pairs of unimodal maps on the interval with periodic critical orbits, it is known that one can combine them to create another map whose entropy is close to one while the poles of Artin-Mazur $ζ$ function outside the unit circles can be made close to the other. We provided a formulation and proof of this result in symbolic dynamics setting, which allow us to generalize this fact to certain families of maps on finite trees.

math.DS

Functional dimension of feedforward ReLU neural networks

It is well-known that the parameterized family of functions representable by fully-connected feedforward neural networks with ReLU activation function is precisely the class of piecewise linear functions with finitely many pieces. It is less well-known that for every fixed architecture of ReLU neural network, the parameter space admits positive-dimensional spaces of symmetries, and hence the local functional dimension near any given parameter is lower than the parametric dimension. In this work we carefully define the notion of functional dimension, show that it is inhomogeneous across the parameter space of ReLU neural network functions, and continue an investigation - initiated in [14] and [5] - into when the functional dimension achieves its theoretical maximum. We also study the quotient space and fibers of the realization map from parameter space to function space, supplying examples of fibers that are disconnected, fibers upon which functional dimension is non-constant, and fibers upon which the symmetry group acts non-transitively.

math.MG

Principal minors of tree distance matrices

We prove that the principal minors of the distance matrix of a tree satisfy a combinatorial expression involving counts of rooted spanning forests of the underlying tree. This generalizes a result of Graham and Pollak, and refines a result of Graham and Lovász on the coefficients of the characteristic polynomial of the distance matrix. We also give such an expression for the case of trees with edge lengths. We use arguments motivated by potential theory on graphs. Our formulas can be expressed in terms of evaluations of Symanzik polynomials.

math.CO

Activation degree thresholds and expressiveness of polynomial neural networks

We study the expressive power of deep polynomial neural networks through the geometry of their neurovariety. We introduce the notion of the activation degree threshold of a network architecture to express when the dimension of the neurovariety achieves its theoretical maximum. We prove the existence of the activation degree threshold for all polynomial neural networks without width-one bottlenecks and demonstrate a universal upper bound that is quadratic in the width of largest size. In doing so, we prove the high activation degree conjecture of Kileel, Trager, and Bruna. Certain structured architectures have exceptional activation degree thresholds, making them especially expressive in the sense of their neurovariety dimension. In this direction, we prove that polynomial neural networks with equi-width architectures are maximally expressive by showing their activation degree threshold is one.

cs.LG

Atypical generic directions in Teichmüller space

Motivated by geometrically capturing generic directions in Teichmüller space -- that is, tracking rays for random walks of the mapping class group -- we use work of Chaika--Masur--Wolf and Durham--Zalloum to construct the first examples of a sublinearly-Morse Teichmüller geodesic rays with minimal non-uniquely ergodic vertical foliations.

math.GT

Zeta function and entropy for non-archimedean subhyperbolic dynamics

Let $K$ be a complete non-archimedean field of characteristic $0$ equipped with a discrete valuation. We establish the rationality of the Artin-Mazur zeta function on the Julia set for any subhyperbolic rational map defined over $K$ with a compact Julia set. Furthermore, we conclude that the topological entropy on the Julia set of such a map is given by the logarithm of a weak Perron number. Conversely, we construct a (sub)hyperbolic rational map defined over $K$ with compact Julia set whose topological entropy on the Julia set equals the logarithm of a given weak Perron number. This extends Thurston's work on the entropy for postcritically finite interval self-maps %of the unit interval to the non-archimedean setting.

math.DS

Relative train tracks and generalized endperiodic graph maps

Motivated by the work of Cantwell-Conlon-Fenley on endperiodic homeomorphisms of infinite type surfaces, we define and study endperiodic and generalized endperiodic maps of an infinite graph with finitely many ends. Adapting the work of Bestvina-Handel to the infinite type setting, we define endperiodic relative train track maps. We prove that any generalized endperiodic map is homotopic to a generalized endperiodic relative train track map, via a combinatorially bounded homotopy equivalence. We show that the (largest) Perron-Frobenius eigenvalue of a relative train track representation of a generalized endperiodic map $f$ is a canonical quantity associated to $f$ as it admits a canonical group theoretic interpretation. Moreover, the (largest) Perron-Frobenius eigenvalue and the topological entropy of a relative train track map is the smallest among its proper homotopy equivalence class.

math.GT

FMEnets: Flow, Material, and Energy networks for non-ideal plug flow reactor design

We propose FMEnets, a physics-informed machine learning framework for the design and analysis of non-ideal plug flow reactors. FMEnets integrates the fundamental governing equations (Navier-Stokes for fluid flow, material balance for reactive species transport, and energy balance for temperature distribution) into a unified multi-scale network model. The framework is composed of three interconnected sub-networks with independent optimizers that enable both forward and inverse problem-solving. In the forward mode, FMEnets predicts velocity, pressure, species concentrations, and temperature profiles using only inlet and outlet information. In the inverse mode, FMEnets utilizes sparse multi-residence-time measurements to simultaneously infer unknown kinetic parameters and states. FMEnets can be implemented either as FME-PINNs, which employ conventional multilayer perceptrons, or as FME-KANs, based on Kolmogorov-Arnold Networks. Comprehensive ablation studies highlight the critical role of the FMEnets architecture in achieving accurate predictions. Specifically, FME-KANs are more robust to noise than FME-PINNs, although both representations are comparable in accuracy and speed in noise-free conditions. The proposed framework is applied to three different sets of reaction scenarios and is compared with finite element simulations. FMEnets effectively captures the complex interactions, achieving relative errors less than 2.5% for the unknown kinetic parameters. The new network framework not only provides a computationally efficient alternative for reactor design and optimization, but also opens new avenues for integrating empirical correlations, limited and noisy experimental data, and fundamental physical equations to guide reactor design.

cs.LG

A lower bound on end-periodic stretch factors

Given an end-periodic homeomorphism $f: S \to S$ we give a lower bound on the Handel--Miller stretch factor of $f$ in terms of the core characteristic of $f$, which is a measure of topological complexity for an end-periodic homeomorphism. We also show that the growth rate of this bound is sharp.

math.GT

Towards spiking analog hardware implementation of a trajectory interpolation mechanism for smooth closed-loop control of a spiking robot arm

Neuromorphic engineering aims to incorporate the computational principles found in animal brains, into modern technological systems. Following this approach, in this work we propose a closed-loop neuromorphic control system for an event-based robotic arm. The proposed system consists of a shifted Winner-Take-All spiking network for interpolating a reference trajectory and a spiking comparator network responsible for controlling the flow continuity of the trajectory, which is fed back to the actual position of the robot. The comparator model is based on a differential position comparison neural network, which governs the execution of the next trajectory points to close the control loop between both components of the system. To evaluate the system, we implemented and deployed the model on a mixed-signal analog-digital neuromorphic platform, the DYNAP-SE2, to facilitate integration and communication with the ED-Scorbot robotic arm platform. Experimental results on one joint of the robot validate the use of this architecture and pave the way for future neuro-inspired control of the entire robot.

cs.NE

Basmajian's identity over non-Archimedean local fields

Let $Σ$ be a connected compact oriented surface with boundary and negative Euler characteristic. Let $k$ be a non-Archimedean local field. In this paper, we prove Basmajian's identity for projective Anosov representations $ρ\colon π_1Σ\to {\rm PSL}(d,k), d\ge 2$. Our series identity exhibits a drastic difference from all the Basmajian-type identities over the Archimedean fields $\mathbb{R}$ and $\mathbb{C}$. In particular, the series is a signed finite sum. When $d=2$, we give a geometric proof of the identity using Berkovich hyperbolic geometry.

math.GT

Master Teapots and Entropy Algorithms for the Mandelbrot Set

We construct an analogue of W. Thurston's "Master teapot" for each principal vein in the Mandelbrot set, and generalize geometric properties known for the corresponding object for real maps. In particular, we show that eigenvalues outside the unit circle move continuously, while we show "persistence" for roots inside the unit circle. As an application, this shows that the outside part of the corresponding "Thurston set" is path connected. In order to do this, we define a version of kneading theory for principal veins, and we prove the equivalence of several algorithms that compute the core entropy.

math.DS