-
More regular formal moduli spaces and arithmetic transfer conjectures: the ramified quadratic case
Authors:
Yu Luo,
Michael Rapoport,
Wei Zhang
Abstract:
For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and construct correspondences between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in this contex…
▽ More
For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and construct correspondences between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in this context. We prove the conjectures in the lowest dimensional cases.
△ Less
Submitted 2 July, 2025;
originally announced July 2025.
-
Iteration Steps of 3x+1 Problem
Authors:
Youchun Luo
Abstract:
On the 3x+1 problem, given a positive integer $N$, let $D\left( N \right) $, $O\left( N \right) $, $E\left( N \right) $ be the total iteration steps, the odd iteration steps and the even iteration steps when $N$ iterates to 1(except 1) respectively. Trivially, we have $D\left( N \right) =O\left( N \right) +E\left( N \right) $. In this paper, we propose a so-called weak residue conjecture(i.e.,…
▽ More
On the 3x+1 problem, given a positive integer $N$, let $D\left( N \right) $, $O\left( N \right) $, $E\left( N \right) $ be the total iteration steps, the odd iteration steps and the even iteration steps when $N$ iterates to 1(except 1) respectively. Trivially, we have $D\left( N \right) =O\left( N \right) +E\left( N \right) $. In this paper, we propose a so-called weak residue conjecture(i.e., $\frac{2^{E\left( N \right)}}{3^{O\left( N \right)}\cdot N}\le 2$). We prove that if 3x+1 conjecture is true and the weak residue conjecture is true, there exist non-trivial relationships among $D\left( N \right) $, $O\left( N \right) $, $E\left( N \right) $, i.e., $O\left( N \right) =\left[ \log _62\cdot D\left( N \right) -\log _6N \right] $(it implies that we can calculate $O\left( N \right) $, $E\left( N \right) $ directly by $D\left( N \right) $ only, of course given $N$), and 5 more similar equations are derived simultaneously.
△ Less
Submitted 28 June, 2025;
originally announced June 2025.
-
Train Unit Scheduling Optimization Considering Unit Ordering
Authors:
Yunjian Luo,
Zhiyuan Lin,
Ronghui Liu
Abstract:
The train unit scheduling problem (TUSP) is an important part of the scheduling process for passenger railway operators. Currently, scholars in various countries have proposed a variety of optimization models based on specific local railway situations and scheduling needs. This research investigates the train unit scheduling problem in the UK. We propose an Enhanced Train Unit Scheduling Problem w…
▽ More
The train unit scheduling problem (TUSP) is an important part of the scheduling process for passenger railway operators. Currently, scholars in various countries have proposed a variety of optimization models based on specific local railway situations and scheduling needs. This research investigates the train unit scheduling problem in the UK. We propose an Enhanced Train Unit Scheduling Problem with Unit Ordering based on existing integer multicommodity flow models. We innovatively introduce unit ordering variables representing the order in which train units are coupled for serving the same trip as well as train direction parameters so that our model can provide unit order information and avoid unit blockage in stations. We present experimental results based on three different sizes of artificial data, as well as real-world data based on the Trans Pennine Express' Anglo-Scottish route. The experimental results showed that our model is able to provide the ordering information corresponding to each train unit and prevents the blockage in the station.
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
Critical scattering for the nonlinear Schrödinger equation on waveguide manifolds
Authors:
Yongming Luo
Abstract:
We study the small data scattering problem in critical spaces for the nonlinear Schrödinger equation (NLS) on waveguide manifolds. Our work is primarily inspired by the recent paper of Kwak and Kwon \cite{KwakKwon} that established the local well-posedness of the periodic NLS with possibly non-algebraic nonlinearity. While we adopt a framework similar to \cite{KwakKwon} for our problem, two main o…
▽ More
We study the small data scattering problem in critical spaces for the nonlinear Schrödinger equation (NLS) on waveguide manifolds. Our work is primarily inspired by the recent paper of Kwak and Kwon \cite{KwakKwon} that established the local well-posedness of the periodic NLS with possibly non-algebraic nonlinearity. While we adopt a framework similar to \cite{KwakKwon} for our problem, two main obstacles prevent its direct adaptation to the waveguide setting. First, the classical Strichartz estimates for NLS in critical product spaces, introduced by Hani and Pausader, possess limited endpoints and are thus inapplicable to high-dimensional waveguides. Second, the crucial fractional arguments used in \cite{KwakKwon} rely on a well-known fractional derivative formula due to Strichartz, which admits only a Hilbert space-valued extension and is therefore incompatible with our model setting.
To overcome these difficulties, we develop an anisotropic generalization of the framework in \cite{KwakKwon} using the anisotropic Strichartz estimates established by Tzvetkov and Visciglia, which allow for nearly unlimited endpoints. We also resolve several new challenges arising from the vector-valued and anisotropic nature of the model by employing novel interpolation techniques within Besov spaces. As a further novelty, we provide a new proof of the main result based on classical fixed point arguments, differing from the approximation methods used in \cite{KwakKwon}. Consequently, we settle the small data scattering problem in critical spaces for the NLS with arbitrary mass-supercritical nonlinearity on waveguide manifolds.
△ Less
Submitted 31 May, 2025;
originally announced June 2025.
-
Local projection stabilization methods for $\boldsymbol{H}({\rm curl})$ and $\boldsymbol{H}({\rm div})$ advection problems
Authors:
Yangfan Luo,
Jindong Wang,
Shuonan Wu
Abstract:
We devise local projection stabilization (LPS) methods for advection problems in the $\boldsymbol{H}$(curl) and $\boldsymbol{H}$(div) spaces, employing conforming finite element spaces of arbitrary order within a unified framework. The key ingredient is a local inf-sup condition, enabled by enriching the approximation space with appropriate $\boldsymbol{H}$(d) bubble functions (with d = curl or di…
▽ More
We devise local projection stabilization (LPS) methods for advection problems in the $\boldsymbol{H}$(curl) and $\boldsymbol{H}$(div) spaces, employing conforming finite element spaces of arbitrary order within a unified framework. The key ingredient is a local inf-sup condition, enabled by enriching the approximation space with appropriate $\boldsymbol{H}$(d) bubble functions (with d = curl or div). This enrichment allows for the construction of modified interpolation operators, which are crucial for establishing optimal a priori error estimates in the energy norm. Numerical examples are presented to verify both the theoretical results and the stabilization properties of the proposed method.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Some algebraic properties of ASM varieties
Authors:
Ilani Axelrod-Freed,
Hanson Hao,
Matthew Kendall,
Patricia Klein,
Yuyuan Luo
Abstract:
Fulton's matrix Schubert varieties are affine varieties that arise in the study of Schubert calculus in the complete flag variety. Weigandt showed that arbitrary intersections of matrix Schubert varieties, now called ASM varieties, are indexed by alternating sign matrices (ASMs), objects with a long history in enumerative combinatorics. It is very difficult to assess Cohen-Macaulayness of ASM vari…
▽ More
Fulton's matrix Schubert varieties are affine varieties that arise in the study of Schubert calculus in the complete flag variety. Weigandt showed that arbitrary intersections of matrix Schubert varieties, now called ASM varieties, are indexed by alternating sign matrices (ASMs), objects with a long history in enumerative combinatorics. It is very difficult to assess Cohen-Macaulayness of ASM varieties or to compute their codimension, though these properties are well understood for matrix Schubert varieties due to work of Fulton. In this paper we study these properties of ASM varieties with a focus on the relationship between a pair of ASMs and their direct sum. We also consider ASM pattern avoidance from an algebro-geometric perspective.
△ Less
Submitted 16 May, 2025; v1 submitted 15 May, 2025;
originally announced May 2025.
-
A generalized discontinuous Hamilton Monte Carlo for transdimensional sampling
Authors:
Lei Li,
Xiangxian Luo,
Yinchen Luo
Abstract:
In this paper, we propose a discontinuous Hamilton Monte Carlo (DHMC) to sample from dimensional varying distributions, and particularly the grand canonical ensemble. The DHMC was proposed in [Biometrika, 107(2)] for discontinuous potential where the variable has a fixed dimension. When the dimension changes, there is no clear explanation of the volume-preserving property, and the conservation of…
▽ More
In this paper, we propose a discontinuous Hamilton Monte Carlo (DHMC) to sample from dimensional varying distributions, and particularly the grand canonical ensemble. The DHMC was proposed in [Biometrika, 107(2)] for discontinuous potential where the variable has a fixed dimension. When the dimension changes, there is no clear explanation of the volume-preserving property, and the conservation of energy is also not necessary. We use a random sampling for the extra dimensions, which corresponds to a measure transform. We show that when the energy is corrected suitably for the trans-dimensional Hamiltonian dynamics, the detailed balance condition is then satisfied. For the grand canonical ensemble, such a procedure can be explained very naturally to be the extra free energy change brought by the newly added particles, which justifies the rationality of our approach. To sample the grand canonical ensemble for interacting particle systems, the DHMC is then combined with the random batch method to yield an efficient sampling method. In experiments, we show that the proposed DHMC combined with the random batch method generates samples with much less correlation when compared with the traditional Metropolis-Hastings method.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
Kudla-Rapoport conjecture for unramified maximal parahoric level
Authors:
Yu Luo
Abstract:
We prove the Kudla-Rapoport conjecture for unramified unitary groups with maximal parahoric level structure. Our approach differs from the local proof given in Li-W.Zhang. We reduce the conjecture to a global intersection problem using local-global compatibility. Then we apply an inductive procedure based on the modularity of generating series of global special divisors. This strategy follows the…
▽ More
We prove the Kudla-Rapoport conjecture for unramified unitary groups with maximal parahoric level structure. Our approach differs from the local proof given in Li-W.Zhang. We reduce the conjecture to a global intersection problem using local-global compatibility. Then we apply an inductive procedure based on the modularity of generating series of global special divisors. This strategy follows the framework developed in the proof of the arithmetic fundamental lemma from W.Zhang and Mihatsch-W.Zhang and arithmetic transfer identities from Z.Zhang and Luo-Mihatsch-Z.Zhang.
△ Less
Submitted 25 April, 2025;
originally announced April 2025.
-
On unitary Shimura varieties at ramified primes
Authors:
Yu Luo,
Andreas Mihatsch,
Zhiyu Zhang
Abstract:
We consider unitary Shimura varieties at places where the totally real field ramifies over $\mbQ$. Our first result constructs comparison isomorphisms between absolute and relative local models in this context which relies on a reformulation of the Eisenstein condition of Rapoport--Zink and Rapoport--Smithling--Zhang. Our second result lifts this comparison to categories of $p$-divisible groups an…
▽ More
We consider unitary Shimura varieties at places where the totally real field ramifies over $\mbQ$. Our first result constructs comparison isomorphisms between absolute and relative local models in this context which relies on a reformulation of the Eisenstein condition of Rapoport--Zink and Rapoport--Smithling--Zhang. Our second result lifts this comparison to categories of $p$-divisible groups and, as a corollary, to various kinds of Rapoport--Zink spaces. This unifies multiple previously known results in this direction. Our third result and main application is to the arithmetic transfer conjecture of the third author. Using our statements about Rapoport--Zink spaces, we extend his previous proof from the unramified case to that of all $p$-adic local fields (for odd $p$). In general, our results have similar applications to other problems around the arithmetic of Shimura varieties as well, removing several ramification assumptions in the literature.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Teichmüller spaces, polynomial loci, and degeneration in spaces of algebraic correspondences
Authors:
Yusheng Luo,
Mahan Mj,
Sabyasachi Mukherjee
Abstract:
We develop an analog of the notion of a character variety in the context of algebraic correspondences. It turns out that matings of certain Fuchsian groups and polynomials are contained in this ambient character variety. This gives rise to two different analogs of the Bers slice by fixing either the polynomial or the Fuchsian group. The Bers-like slices are homeomorphic copies of Teichmüller space…
▽ More
We develop an analog of the notion of a character variety in the context of algebraic correspondences. It turns out that matings of certain Fuchsian groups and polynomials are contained in this ambient character variety. This gives rise to two different analogs of the Bers slice by fixing either the polynomial or the Fuchsian group. The Bers-like slices are homeomorphic copies of Teichmüller spaces or combinatorial copies of polynomial connectedness loci. We show that these slices are bounded in the character variety, thus proving the analog of a theorem of Bers. To produce compactifications of the Bers-like slices, we initiate a study of degeneration of algebraic correspondences on trees of Riemann spheres, revealing a new degeneration phenomenon in conformal dynamics. There is no available analog of Sullivan's 'no invariant line field' theorem in our context. Nevertheless, for the four times punctured sphere, we show that the compactifications of Teichmüller spaces are naturally homeomorphic.
△ Less
Submitted 17 April, 2025;
originally announced April 2025.
-
A PINN-enriched finite element method for linear elliptic problems
Authors:
Xiao Chen,
Yixin Luo,
Jingrun Chen
Abstract:
In this paper, we propose a hybrid method that combines finite element method (FEM) and physics-informed neural network (PINN) for solving linear elliptic problems. This method contains three steps: (1) train a PINN and obtain an approximate solution $u_θ$; (2) enrich the finite element space with $u_θ$; (3) obtain the final solution by FEM in the enriched space. In the second step, the enriched s…
▽ More
In this paper, we propose a hybrid method that combines finite element method (FEM) and physics-informed neural network (PINN) for solving linear elliptic problems. This method contains three steps: (1) train a PINN and obtain an approximate solution $u_θ$; (2) enrich the finite element space with $u_θ$; (3) obtain the final solution by FEM in the enriched space. In the second step, the enriched space is constructed by addition $v + u_θ$ or multiplication $v \cdot u_θ$, where $v$ belongs to the standard finite element space. We conduct the convergence analysis for the proposed method. Compared to the standard FEM, the same convergence order is obtained and higher accuracy can be achieved when solution derivatives are well approximated in PINN. Numerical examples from one dimension to three dimensions verify these theoretical results. For some examples, the accuracy of the proposed method can be reduced by a couple of orders of magnitude compared to the standard FEM.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Shortest Circuits in Homology Classes of Graphs
Authors:
Ye Luo
Abstract:
Recently, the study of circuits and cycles within the homology classes of graphs has attracted considerable research interest. However, the detection and counting of shorter circuits in homology classes, especially the shortest ones, remain underexplored. This paper aims to fill this gap by solving the problem of detecting and counting the shortest cycles in homology classes, leveraging the concep…
▽ More
Recently, the study of circuits and cycles within the homology classes of graphs has attracted considerable research interest. However, the detection and counting of shorter circuits in homology classes, especially the shortest ones, remain underexplored. This paper aims to fill this gap by solving the problem of detecting and counting the shortest cycles in homology classes, leveraging the concept of direction-consistent circuits and extending classical results on Eulerian circuits such as Hierholzer's algorithm and the BEST theorem. As an application, we propose the one-carrier transportation routing problem and relate it to a circuit detection problem in graph homology.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
3-path-connectivity of bubble-sort star graphs
Authors:
Yi-Lu Luo,
Yun-Ping Deng,
Yuan Sun
Abstract:
Let $G$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. Let $T$ be a subset of $ V(G)$ with cardinality $|T|\geq2$. A path connecting all vertices of $T$ is called a $T$-path of $G$. Two $T$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=T$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote by $π_G(T)$ the maximum number of internally disjoint $T$- pa…
▽ More
Let $G$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. Let $T$ be a subset of $ V(G)$ with cardinality $|T|\geq2$. A path connecting all vertices of $T$ is called a $T$-path of $G$. Two $T$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=T$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote by $π_G(T)$ the maximum number of internally disjoint $T$- paths in G. Then for an integer $\ell$ with $\ell\geq2$, the $\ell$-path-connectivity $π_\ell(G)$ of $G$ is formulated as $\min\{π_G(T)\,|\,T\subseteq V(G)$ and $|T|=\ell\}$. In this paper, we study the $3$-path-connectivity of $n$-dimensional bubble-sort star graph $BS_n$. By deeply analyzing the structure of $BS_n$, we show that $π_3(BS_n)=\lfloor\frac{3n}2\rfloor-3$, for any $n\geq3$.
△ Less
Submitted 18 June, 2025; v1 submitted 7 March, 2025;
originally announced March 2025.
-
A path description for $\varepsilon$-characters of representations of type $A$ restricted quantum loop algebras at roots of unity
Authors:
Xiao-Juan An,
Jian-Rong Li,
Yan-Feng Luo,
Wen-Ting Zhang
Abstract:
Fix $\varepsilon^{2\ell}=1$ with $\ell \geq 2$. In this paper, we show that all finite-dimensional simple modules of any restricted quantum loop algebra $U_{\varepsilon}^{\rm res}({L\mathfrak{sl}_{n+1}})$ in a certain category can be transformed into snake modules. We obtain an effective and concrete path description for $\varepsilon$-characters of any simple module with highest $l$-weight of degr…
▽ More
Fix $\varepsilon^{2\ell}=1$ with $\ell \geq 2$. In this paper, we show that all finite-dimensional simple modules of any restricted quantum loop algebra $U_{\varepsilon}^{\rm res}({L\mathfrak{sl}_{n+1}})$ in a certain category can be transformed into snake modules. We obtain an effective and concrete path description for $\varepsilon$-characters of any simple module with highest $l$-weight of degree two and any Kirillov-Reshetikhin module of $U_{\varepsilon}^{\rm res}({L\mathfrak{sl}_{n+1}})$. As an application of our path description, we obtain a necessary and sufficient condition for the tensor product of two fundamental representations of $U_{\varepsilon}^{\rm res}({L\mathfrak{sl}_{n+1}})$ to be irreducible. Additionally, we obtain a necessary condition for the tensor product of two or more fundamental representations of $U_{\varepsilon}^{\rm res}({L\mathfrak{sl}_{n+1}})$ to be irreducible.
△ Less
Submitted 19 June, 2025; v1 submitted 7 March, 2025;
originally announced March 2025.
-
Heavy-traffic Optimality of Skip-the-Longest-Queues in Heterogeneous Service Systems
Authors:
Yishun Luo,
Martin Zubeldia
Abstract:
We consider a discrete-time parallel service system consisting of $n$ heterogeneous single server queues with infinite capacity. Jobs arrive to the system as an i.i.d. process with rate proportional to $n$, and must be immediately dispatched in the time slot that they arrive. The dispatcher is assumed to be able to exchange messages with the servers to obtain their queue lengths and make dispatchi…
▽ More
We consider a discrete-time parallel service system consisting of $n$ heterogeneous single server queues with infinite capacity. Jobs arrive to the system as an i.i.d. process with rate proportional to $n$, and must be immediately dispatched in the time slot that they arrive. The dispatcher is assumed to be able to exchange messages with the servers to obtain their queue lengths and make dispatching decisions, introducing an undesirable communication overhead. In this setting, we propose a ultra-low communication overhead load balancing policy dubbed $k$-Skip-the-$d$-Longest-Queues ($k$-SLQ-$d$), where queue lengths are only observed every $k(n-d)$ time slots and, between observations, incoming jobs are sent to a queue that is not one of the $d$ longest ones at the time that the queues were last observed. For this policy, we establish conditions on $d$ for it to be throughput optimal and we show that, under that condition, it is asymptotically delay-optimal in heavy-traffic for arbitrarily low communication overheads (i.e., for arbitrarily large $k$).
△ Less
Submitted 28 May, 2025; v1 submitted 4 March, 2025;
originally announced March 2025.
-
An approximate solution of a case of perturbed Fokker-Planck equation
Authors:
Yan Luo,
Kaicheng Sheng
Abstract:
This paper focuses on finding an approximate solution of a kind of Fokker-Planck equation with time-dependent perturbations. A formulation of the approximate solution of the equation is constructed, and then the existence of the formulation is proved. The related Hamiltonian dynamical system explains the estimations. Our work provides a more comprehensive understanding of the behaviour of systems…
▽ More
This paper focuses on finding an approximate solution of a kind of Fokker-Planck equation with time-dependent perturbations. A formulation of the approximate solution of the equation is constructed, and then the existence of the formulation is proved. The related Hamiltonian dynamical system explains the estimations. Our work provides a more comprehensive understanding of the behaviour of systems described by this Fokker-Planck equation and the corresponding stochastic differential equation.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
Jordan property for automorphism groups of compact varieties
Authors:
Yujie Luo,
Sheng Meng,
De-Qi Zhang
Abstract:
In this note, we report some recent progress on the Jordan property for (birational) automorphism groups of projective varieties and compact complex varieties.
In this note, we report some recent progress on the Jordan property for (birational) automorphism groups of projective varieties and compact complex varieties.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Are all models wrong? Fundamental limits in distribution-free empirical model falsification
Authors:
Manuel M. Müller,
Yuetian Luo,
Rina Foygel Barber
Abstract:
In statistics and machine learning, when we train a fitted model on available data, we typically want to ensure that we are searching within a model class that contains at least one accurate model -- that is, we would like to ensure an upper bound on the model class risk (the lowest possible risk that can be attained by any model in the class). However, it is also of interest to establish lower bo…
▽ More
In statistics and machine learning, when we train a fitted model on available data, we typically want to ensure that we are searching within a model class that contains at least one accurate model -- that is, we would like to ensure an upper bound on the model class risk (the lowest possible risk that can be attained by any model in the class). However, it is also of interest to establish lower bounds on the model class risk, for instance so that we can determine whether our fitted model is at least approximately optimal within the class, or, so that we can decide whether the model class is unsuitable for the particular task at hand. Particularly in the setting of interpolation learning where machine learning models are trained to reach zero error on the training data, we might ask if, at the very least, a positive lower bound on the model class risk is possible -- or are we unable to detect that "all models are wrong"? In this work, we answer these questions in a distribution-free setting by establishing a model-agnostic, fundamental hardness result for the problem of constructing a lower bound on the best test error achievable over a model class, and examine its implications on specific model classes such as tree-based methods and linear regression.
△ Less
Submitted 5 June, 2025; v1 submitted 10 February, 2025;
originally announced February 2025.
-
The basic locus of ramified unitary Rapoport-Zink space at maximal vertex level
Authors:
Qiao He,
Yu Luo,
Yousheng Shi
Abstract:
We construct the Bruhat-Tits stratification of the ramified unitary Rapoport-Zink space, with the level being the stabilizer of a vertex lattice. We develop the local model theory for Bruhat-Tits strata, proving their normality and Cohen-Macaulayness, and provide precise dimension formulas. Additionally, we establish an explicit isomorphism between Bruhat-Tits strata and Deligne-Lusztig varieties,…
▽ More
We construct the Bruhat-Tits stratification of the ramified unitary Rapoport-Zink space, with the level being the stabilizer of a vertex lattice. We develop the local model theory for Bruhat-Tits strata, proving their normality and Cohen-Macaulayness, and provide precise dimension formulas. Additionally, we establish an explicit isomorphism between Bruhat-Tits strata and Deligne-Lusztig varieties, revealing new phenomena beyond the previously studied Coxeter-type cases.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
On a trace formula of counting Eulerian cycles
Authors:
Ye Luo
Abstract:
We make connections of a counting problem of Eulerian cycles for undirected graphs to homological spectral graph theory, and formulate explicitly a trace formula that identifies the number of Eulerian circuits on an Eulerian graph with the trace sum of certain twisted vertex and edge adjacency matrices of the graph. Moreover, we show that reduction of computation can be achieved by taking into acc…
▽ More
We make connections of a counting problem of Eulerian cycles for undirected graphs to homological spectral graph theory, and formulate explicitly a trace formula that identifies the number of Eulerian circuits on an Eulerian graph with the trace sum of certain twisted vertex and edge adjacency matrices of the graph. Moreover, we show that reduction of computation can be achieved by taking into account symmetries related to twisted adjacency matrices induced by spectral antisymmetry and graph automorphisms.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
Codimension 1 transfer maps of K theoretic indexes
Authors:
Yuetong Luo
Abstract:
Let $M$ be a closed spin manifold and $N$ be a codimension 1 submanifold of it. Given certain homotopy conditions, Zeidler shows that the Rosenberg index of $N$ is an obstruction to the existence of positive scalar curvature on $M$. He further gives a transfer map between the K groups of the group $C^*$ algebras of the foundemental group. The transfer map maps the Rosenberg index of $M$ to the one…
▽ More
Let $M$ be a closed spin manifold and $N$ be a codimension 1 submanifold of it. Given certain homotopy conditions, Zeidler shows that the Rosenberg index of $N$ is an obstruction to the existence of positive scalar curvature on $M$. He further gives a transfer map between the K groups of the group $C^*$ algebras of the foundemental group. The transfer map maps the Rosenberg index of $M$ to the one of $N$. In this note, we present an alternative formulation of the transfer map using maps between $C^*$ algebras, and give an analogus result for the codimension 1 transfer of higher K theoretic signatures.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Maximal green sequences for $\mathcal{Q}^N$ quivers
Authors:
Jingmin Guo,
Bing Duan,
Yanfeng Luo
Abstract:
We introduce $\mathcal{Q}^N$ quivers and construct maximal green sequences for these quivers. We prove that any finite connected full subquiver of the quivers defined by Hernandez and Leclerc, arising in monoidal categorifications of cluster algebras, is a special case of $\mathcal{Q}^N$ quivers. Moreover, we prove that the trees of oriented cycles introduced by Garver and Musiker are special case…
▽ More
We introduce $\mathcal{Q}^N$ quivers and construct maximal green sequences for these quivers. We prove that any finite connected full subquiver of the quivers defined by Hernandez and Leclerc, arising in monoidal categorifications of cluster algebras, is a special case of $\mathcal{Q}^N$ quivers. Moreover, we prove that the trees of oriented cycles introduced by Garver and Musiker are special cases of $\mathcal{Q}^N$ quivers. This result resolves an open problem proposed by Garver and Musiker, providing a construction of maximal green sequences for quivers that are trees of oriented cycles. Furthermore, we prove that quivers that are mutation equivalent to an orientation of a type AD Dynkin diagram can also be recognized as special cases of $\mathcal{Q}^N$ quivers.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
Knudsen boundary layer equations with incoming boundary condition: full range of cutoff collision kernels and Mach numbers of the far field
Authors:
Ning Jiang,
Yi-Long Luo,
Yulong Wu,
Tong Yang
Abstract:
This paper establishes tahe existence and uniqueness of the nonlinear Knudsen layer equation with incoming boundary conditions. It is well-known that the solvability conditions of the problem vary with the Mach number of the far Maxwellian $\mathcal{M}^\infty$. We consider full ranges of cutoff collision kernels (i.e., $- 3 < γ\leq 1$) and all the Mach numbers of the far field in the…
▽ More
This paper establishes tahe existence and uniqueness of the nonlinear Knudsen layer equation with incoming boundary conditions. It is well-known that the solvability conditions of the problem vary with the Mach number of the far Maxwellian $\mathcal{M}^\infty$. We consider full ranges of cutoff collision kernels (i.e., $- 3 < γ\leq 1$) and all the Mach numbers of the far field in the $L^\infty_{x,v}$ framework. Additionally, the solution exhibits exponential decay $\exp \{- c x^\frac{2}{3 - γ} - c |v|^2 \}$ for some $c > 0$. To address the general angular cutoff collision kernel, we introduce a $(x,v)$-mixed weight $σ$. The proof is essentially bsed on adding an artificial damping term.
△ Less
Submitted 2 January, 2025;
originally announced January 2025.
-
Gap theorems for complete submanifolds in the hyperbolic space
Authors:
Jianling Liu,
Yong Luo
Abstract:
Based on the seminal Simons' formula, Shen \cite{Shen} and Lin-Xia \cite{LX} obtained gap theorems for compact minimal submanifolds in the unit sphere in the late 1980's. Then due to the effect of Xu \cite{Xu}, Ni \cite{Ni}, Yun \cite{Yun} and Xu-Gu \cite{XuG}, we achieved a comprehensive understanding of gap phenomena of complete submanifolds with parallel mean curvature vector field in the spher…
▽ More
Based on the seminal Simons' formula, Shen \cite{Shen} and Lin-Xia \cite{LX} obtained gap theorems for compact minimal submanifolds in the unit sphere in the late 1980's. Then due to the effect of Xu \cite{Xu}, Ni \cite{Ni}, Yun \cite{Yun} and Xu-Gu \cite{XuG}, we achieved a comprehensive understanding of gap phenomena of complete submanifolds with parallel mean curvature vector field in the sphere or in the Euclidean space. But such kind of results in case of the hyperbolic space were obtained by Wang-Xia \cite{XiaW}, Lin-Wang \cite{LW} and Xu-Xu \cite{XX} until relatively recently and are not quite complete so far.
In this paper first we continue to study gap theorems for complete submanifolds with parallel mean curvature vector field in the hyperbolic space, which generalize or extend several results in the literature. Second we prove a gap theorem for complete hypersurfaces with constant scalar curvature $n(1-n)$ in the hyperbolic space, which extends related results due to Bai-Luo \cite{BL2} in cases of the Euclidean space and the unit sphere. Such kind of results in case of the hyperbolic space are more complicated, due to some extra bad terms in the Simons' formula, and one of main ingredients of our proofs is an estimate for the first eigenvalue of complete submanifolds in the hyperbolic space obtained by Lin \cite{Lin}.
△ Less
Submitted 3 January, 2025;
originally announced January 2025.
-
Stability analysis of the nonlinear pendulums under stochastic perturbations
Authors:
Yan Luo,
Kaicheng Sheng
Abstract:
We consider a nonlinear pendulum whose suspension point undergoes stochastic vibrations in its plane of motion. Stochastic vibrations are constructed by stochastic differential equations with random periodic solutions. Averaging over these stochastic vibrations can be simplified with ergodicity. We give a complete description of the bifurcations of phase portraits of the averaged Hamiltonian syste…
▽ More
We consider a nonlinear pendulum whose suspension point undergoes stochastic vibrations in its plane of motion. Stochastic vibrations are constructed by stochastic differential equations with random periodic solutions. Averaging over these stochastic vibrations can be simplified with ergodicity. We give a complete description of the bifurcations of phase portraits of the averaged Hamiltonian system. The bifurcation curves of the stochastic perturbed Hamiltonian system are shown numerically. Estimations between the averaged system and the exact system are calculated. The correspondence of the averaged system to the exact system is explained through the Poincaré return map. Studying the averaged Hamiltonian system provided important information for the exact stochastic perturbed Hamiltonian system.
△ Less
Submitted 21 December, 2024;
originally announced December 2024.
-
Type II Singularities of Lagrangian Mean Curvature Flow with Zero Maslov Class
Authors:
Xiang Li,
Yong Luo,
Jun Sun
Abstract:
In this paper, we will prove some rigidity theorems for blow up limits to Type II singularities of Lagrangian mean curvature flow with zero Maslov class or almost calibrated Lagrangian mean curvature flows, especially for Lagrangian translating solitons in any dimension. These theorems generalized previous corresponding results from two dimensional case to arbitrarily dimensional case.
In this paper, we will prove some rigidity theorems for blow up limits to Type II singularities of Lagrangian mean curvature flow with zero Maslov class or almost calibrated Lagrangian mean curvature flows, especially for Lagrangian translating solitons in any dimension. These theorems generalized previous corresponding results from two dimensional case to arbitrarily dimensional case.
△ Less
Submitted 23 April, 2025; v1 submitted 20 December, 2024;
originally announced December 2024.
-
Universal inequalities for eigenvalues of the Dirichlet Laplacian on conformally flat Riemannian manifolds
Authors:
Yong Luo,
Xianjing Zheng
Abstract:
In this paper we study eigenvalues of the Dirichlet Laplacian on conformally flat Riemannian manifolds. In particular we establish some universal inequality for eigenvalues of the Dirichlet Laplacian on the hyperbolic space $\mathbb{H}^n(-1)$.
In this paper we study eigenvalues of the Dirichlet Laplacian on conformally flat Riemannian manifolds. In particular we establish some universal inequality for eigenvalues of the Dirichlet Laplacian on the hyperbolic space $\mathbb{H}^n(-1)$.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
Inequalities for eigenvalues of Laplacian and biharmonic operators on submanifolds
Authors:
Yong Luo,
Xianjing Zheng
Abstract:
In this paper we study eigenvalues of Laplacian and biharmonic operators on compact domains in complete manifolds. We establish several new inequalities for eigenvalues of Laplacian and biharmonic operators respectively by using Sobolev type inequalities.
In this paper we study eigenvalues of Laplacian and biharmonic operators on compact domains in complete manifolds. We establish several new inequalities for eigenvalues of Laplacian and biharmonic operators respectively by using Sobolev type inequalities.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
Existence, uniqueness and smoothing estimates for spatially homogeneous Landau-Coulomb equation in $H^{-\f12}$ space with polynomial tail
Authors:
Ling-Bing He,
Jie Ji,
Yue Luo
Abstract:
We demonstrate that the spatially homogeneous Landau-Coulomb equation exhibits global existence and uniqueness around the space $H^{-\f12}_3\cap L^1_{7}\cap L\log L$. Additionally, we furnish several quantitative assessments regarding the smoothing estimates in weighted Sobolev spaces. As a result, we confirm that the solution exhibits a \( C^\infty \) but not \( H^\infty \) smoothing effect in th…
▽ More
We demonstrate that the spatially homogeneous Landau-Coulomb equation exhibits global existence and uniqueness around the space $H^{-\f12}_3\cap L^1_{7}\cap L\log L$. Additionally, we furnish several quantitative assessments regarding the smoothing estimates in weighted Sobolev spaces. As a result, we confirm that the solution exhibits a \( C^\infty \) but not \( H^\infty \) smoothing effect in the velocity variable for any positive time, when the initial data possesses a polynomial tail.
△ Less
Submitted 30 January, 2025; v1 submitted 10 December, 2024;
originally announced December 2024.
-
Uniformization of gasket Julia sets
Authors:
Yusheng Luo,
Dimitrios Ntalampekos
Abstract:
The object of the paper is to characterize gasket Julia sets of rational maps that can be uniformized by round gaskets. We restrict to rational maps without critical points on the Julia set. Under these conditions, we prove that a Julia set can be quasiconformally uniformized by a round gasket if and only if it is a fat gasket, i.e., boundaries of Fatou components intersect tangentially. We also p…
▽ More
The object of the paper is to characterize gasket Julia sets of rational maps that can be uniformized by round gaskets. We restrict to rational maps without critical points on the Julia set. Under these conditions, we prove that a Julia set can be quasiconformally uniformized by a round gasket if and only if it is a fat gasket, i.e., boundaries of Fatou components intersect tangentially. We also prove that a Julia set can be uniformized by a round gasket with a David homeomorphism if and only if every Fatou component is a quasidisk; equivalently, there are no parabolic cycles of multiplicity 2. Our theorem applies to show that gasket Julia sets and limit sets of Kleinian groups can be locally quasiconformally homeomorphic, although globally this is conjectured to be false.
△ Less
Submitted 26 November, 2024;
originally announced November 2024.
-
The Schur-Weyl duality and Invariants for classical Lie superalgebras
Authors:
Yang Luo,
Yongjie Wang
Abstract:
In this article, we provide a comprehensive characterization of invariants of classical Lie superalgebras from the super-analog of the Schur-Weyl duality in a unified way. We establish $\mathfrak{g}$-invariants of the tensor algebra $T(\mathfrak{g})$, the supersymmetric algebra $S(\mathfrak{g})$, and the universal enveloping algebra $\mathrm{U}(\mathfrak{g})$ of a classical Lie superalgebra…
▽ More
In this article, we provide a comprehensive characterization of invariants of classical Lie superalgebras from the super-analog of the Schur-Weyl duality in a unified way. We establish $\mathfrak{g}$-invariants of the tensor algebra $T(\mathfrak{g})$, the supersymmetric algebra $S(\mathfrak{g})$, and the universal enveloping algebra $\mathrm{U}(\mathfrak{g})$ of a classical Lie superalgebra $\mathfrak{g}$ corresponding to every element in centralizer algebras and their relationship under supersymmetrization. As a byproduct, we prove that the restriction on $T(\mathfrak{g})^{\mathfrak{g}}$ of the projection from $T(\mathfrak{g})$ to $\mathrm{U}(\mathfrak{g})$ is surjective, which enables us to determine the generators of the center $\mathcal{Z}(\mathfrak{g})$ except for $\mathfrak{g}=\mathfrak{osp}_{2m|2n}$. Additionally, we present an alternative algebraic proof of the triviality of $\mathcal{Z}(\mathfrak{p}_n)$. The key ingredient involves a technique lemma related to the symmetric group and Brauer diagrams.
△ Less
Submitted 25 November, 2024;
originally announced November 2024.
-
Piecewise quasiconformal dynamical systems of the unit circle
Authors:
Yusheng Luo,
Dimitrios Ntalampekos
Abstract:
We study piecewise quasiconformal covering maps of the unit circle. We provide sufficient conditions so that a conjugacy between two such dynamical systems has a quasiconformal or David extension to the unit disk. Our main result generalizes the main result of arXiv:2010.11256, which deals with piecewise analytic maps. As applications, we provide a classification of piecewise quasiconformal maps o…
▽ More
We study piecewise quasiconformal covering maps of the unit circle. We provide sufficient conditions so that a conjugacy between two such dynamical systems has a quasiconformal or David extension to the unit disk. Our main result generalizes the main result of arXiv:2010.11256, which deals with piecewise analytic maps. As applications, we provide a classification of piecewise quasiconformal maps of the circle up to quasisymmetric conjugacy, we prove a general conformal mating theorem for Blaschke products, and we study the quasiconformal geometry of parabolic basins.
△ Less
Submitted 21 November, 2024;
originally announced November 2024.
-
Classification and Nondegeneracy of Cubic Nonlinear Schrödinger System in $\mathbb{R}$
Authors:
Yujin Guo,
Yong Luo,
Juncheng Wei
Abstract:
We study the following one-dimensional cubic nonlinear Schrödinger system: \[ u_i''+2\Big(\sum_{k=1}^Nu_k^2\Big)u_i=-μ_iu_i \ \,\ \mbox{in}\, \ \mathbb{R} , \ \ i=1, 2, \cdots, N, \] where $μ_1\leqμ_2\leq\cdots\leqμ_N<0$ and $N\ge 2$. In this paper, we mainly focus on the case $N=3$ and prove the following results: (i). The solutions of the system can be completely classified; (ii). Depending on t…
▽ More
We study the following one-dimensional cubic nonlinear Schrödinger system: \[ u_i''+2\Big(\sum_{k=1}^Nu_k^2\Big)u_i=-μ_iu_i \ \,\ \mbox{in}\, \ \mathbb{R} , \ \ i=1, 2, \cdots, N, \] where $μ_1\leqμ_2\leq\cdots\leqμ_N<0$ and $N\ge 2$. In this paper, we mainly focus on the case $N=3$ and prove the following results: (i). The solutions of the system can be completely classified; (ii). Depending on the explicit values of $μ_1\leqμ_2\leqμ_3<0$, there exist two different classes of normalized solutions $u=(u_1, u_2, u_3)$ satisfying $\int _{R}u_i^2dx=1$ for all $i=1, 2, 3$, which are completely different from the case $N=2$; (iii). The linearized operator at any nontrivial solution of the system is non-degenerate. The conjectures on the explicit classification and nondegeneracy of solutions for the system are also given for the case $N>3$. These address the questions of [R. Frank, D. Gontier and M. Lewin, CMP, 2021], where the complete classification and uniqueness results for the system were already proved for the case $N=2$.
△ Less
Submitted 16 November, 2024;
originally announced November 2024.
-
Two-loop Loewner potentials
Authors:
Yan Luo,
Sid Maibach
Abstract:
We study a generalization of the Schramm-Loewner evolution loop measure to pairs of non-intersecting Jordan curves on the Riemann sphere. We also introduce four equivalent definitions for a two-loop Loewner potential: respectively expressing it in terms of normalized Brownian loop measure, zeta-regularized determinants of the Laplacian, an integral formula generalizing universal Liouville action,…
▽ More
We study a generalization of the Schramm-Loewner evolution loop measure to pairs of non-intersecting Jordan curves on the Riemann sphere. We also introduce four equivalent definitions for a two-loop Loewner potential: respectively expressing it in terms of normalized Brownian loop measure, zeta-regularized determinants of the Laplacian, an integral formula generalizing universal Liouville action, and Loewner-Kufarev energy of a foliation. Moreover, we prove that the potential is finite if and only if both loops are Weil-Petersson quasicircles, that it is an Onsager-Machlup functional for the two-loop SLE, and a variational formula involving Schwarzian derivatives.
Addressing the question of minimization of the two-loop Loewner potential, we find that any such minimizers must be pairs of circles. However, the potential is not bounded, diverging to negative infinity as the circles move away from each other and to positive infinity as the circles merge, thus preventing a definition of two-loop Loewner energy for the prospective large deviations theory for the two-loop SLE.
To remedy the divergence, we study a way of generalizing the two-loop Loewner potential by taking into account how conformal field theory (CFT) partition functions depend on the modulus of the annulus between the loops. This generalization is motivated by the correspondence between SLE and CFT, and it also emerges from the geometry of the real determinant line bundle as introduced by Kontsevich and Suhov.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
Adaptive Robust Confidence Intervals
Authors:
Yuetian Luo,
Chao Gao
Abstract:
This paper studies the construction of adaptive confidence intervals under Huber's contamination model when the contamination proportion is unknown. For the robust confidence interval of a Gaussian mean, we show that the optimal length of an adaptive interval must be exponentially wider than that of a non-adaptive one. An optimal construction is achieved through simultaneous uncertainty quantifica…
▽ More
This paper studies the construction of adaptive confidence intervals under Huber's contamination model when the contamination proportion is unknown. For the robust confidence interval of a Gaussian mean, we show that the optimal length of an adaptive interval must be exponentially wider than that of a non-adaptive one. An optimal construction is achieved through simultaneous uncertainty quantification of quantiles at all levels. The results are further extended beyond the Gaussian location model by addressing a general family of robust hypothesis testing. In contrast to adaptive robust estimation, our findings reveal that the optimal length of an adaptive robust confidence interval critically depends on the distribution's shape.
△ Less
Submitted 3 June, 2025; v1 submitted 29 October, 2024;
originally announced October 2024.
-
Type number for orders of level (N_1,N_2)
Authors:
Yifan Luo,
Haigang Zhou
Abstract:
Let $N_1=p_1^{2u_1+1}...p_w^{2u_w+1}$, where the $p_i$ are distinct primes, $u_1,...,u_w$ are nonnegative integers and $w$ is an odd integer, and $N_2$ be a positive integer such that $\gcd(N_1,N_2)=1$. In this paper, we give an explicit formula for the type number, i.e. the number of isomorphism classes, of orders of level $(N_1, N_2)$. The method of proof involves the Siegel-Weil formula for ter…
▽ More
Let $N_1=p_1^{2u_1+1}...p_w^{2u_w+1}$, where the $p_i$ are distinct primes, $u_1,...,u_w$ are nonnegative integers and $w$ is an odd integer, and $N_2$ be a positive integer such that $\gcd(N_1,N_2)=1$. In this paper, we give an explicit formula for the type number, i.e. the number of isomorphism classes, of orders of level $(N_1, N_2)$. The method of proof involves the Siegel-Weil formula for ternary quadratic forms.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
On the lattice of the weak factorization systems on a finite lattice
Authors:
Yongle Luo,
Baptiste Rognerud
Abstract:
We consider the lattice of all the weak factorization systems on a given finite lattice. We prove that it is semidistributive, trim and congruence uniform. We deduce a graph theoretical approach to the problem of enumerating transfer systems. As an application we find a lower bound for the number of transfer systems on a boolean lattice.
We consider the lattice of all the weak factorization systems on a given finite lattice. We prove that it is semidistributive, trim and congruence uniform. We deduce a graph theoretical approach to the problem of enumerating transfer systems. As an application we find a lower bound for the number of transfer systems on a boolean lattice.
△ Less
Submitted 8 October, 2024;
originally announced October 2024.
-
Regular models of ramified unitary Shimura varieties at maximal parahoric level
Authors:
Qiao He,
Yu Luo,
Yousheng Shi
Abstract:
We use the idea of splitting models to define and study a semi-stable model for unitary Shimura varieties of signature $(n-1,1)$ with maximal parahoric level structure at ramified primes. In this case, the ``naive'' splitting model defined by Pappas and Rapoport fails to be flat in a crucial way. We prove that the genuine splitting model in this case is flat with semi-stable reduction.
We use the idea of splitting models to define and study a semi-stable model for unitary Shimura varieties of signature $(n-1,1)$ with maximal parahoric level structure at ramified primes. In this case, the ``naive'' splitting model defined by Pappas and Rapoport fails to be flat in a crucial way. We prove that the genuine splitting model in this case is flat with semi-stable reduction.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
Solitons, scattering and blow-up for the nonlinear Schrödinger equation with combined power-type nonlinearities on $\mathbb{R}^d\times\mathbb{T}$
Authors:
Luigi Forcella,
Yongming Luo,
Zehua Zhao
Abstract:
We investigate the long time dynamics of the nonlinear Schrödinger equation (NLS) with combined powers on the waveguide manifold $\mathbb{R}^d\times\mathbb{T}$. Different from the previously studied NLS-models with single power on the waveguide manifolds, where the non-scale-invariance is mainly due to the mixed nature of the underlying domain, the non-scale-invariance of the present model is both…
▽ More
We investigate the long time dynamics of the nonlinear Schrödinger equation (NLS) with combined powers on the waveguide manifold $\mathbb{R}^d\times\mathbb{T}$. Different from the previously studied NLS-models with single power on the waveguide manifolds, where the non-scale-invariance is mainly due to the mixed nature of the underlying domain, the non-scale-invariance of the present model is both geometrical and structural. By considering different combinations of the nonlinearities, we establish both qualitative and quantitative properties of the soliton, scattering and blow-up solutions. As one of the main novelties of the paper compared to the previous results for the NLS with single power, we particularly construct two different rescaled families of variational problems, which leads to an NLS with single power in different limiting profiles respectively, to establish the periodic dependence results.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
Stability analysis of spatial perturbed elliptic restricted 3-body problem with double-averaging
Authors:
Yan Luo,
Kaicheng Sheng
Abstract:
This paper investigates the secular motion of a massless asteroid within the framework of the double-averaged elliptic restricted three-body problem. By employing Poincaré variables, we analyze the stability properties of asteroid orbits in the presence of planetary perturbations. Our study reveals that periodic orbits identified in the planar configuration maintain stability in the spatial pertur…
▽ More
This paper investigates the secular motion of a massless asteroid within the framework of the double-averaged elliptic restricted three-body problem. By employing Poincaré variables, we analyze the stability properties of asteroid orbits in the presence of planetary perturbations. Our study reveals that periodic orbits identified in the planar configuration maintain stability in the spatial perturbed problem across a wide range of parameter values. These findings, supported by numerical simulations, contribute to a deeper understanding of asteroid dynamics and have implications for studying exoplanetary systems with highly eccentric host stars.
△ Less
Submitted 8 September, 2024;
originally announced September 2024.
-
Half grid diagrams and Thompson links
Authors:
Yangxiao Luo,
Shunyu Wan
Abstract:
We define half grid diagrams and prove every link is half grid presentable by constructing a canonical half grid pair (which gives rise to a grid diagram of some special type) associated with an element in the oriented Thompson group. We show that this half grid construction is equivalent to Jones' construction of oriented Thompson links. Using this equivalence, we relate the (oriented) Thompson i…
▽ More
We define half grid diagrams and prove every link is half grid presentable by constructing a canonical half grid pair (which gives rise to a grid diagram of some special type) associated with an element in the oriented Thompson group. We show that this half grid construction is equivalent to Jones' construction of oriented Thompson links. Using this equivalence, we relate the (oriented) Thompson index to several classical topological link invariants, and give both the lower and upper bounds of the maximal Thurston-Bennequin number of a knot in terms of the oriented Thompson index. Moreover, we give a one-to-one correspondence between half grid diagrams and elements in symmetric groups and give a new description of link group using two elements in a symmetric group.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Disk patterns, quasi-duality and the uniform bounded diameter conjecture
Authors:
Yusheng Luo,
Yongquan Zhang
Abstract:
We show that the diameter of the image of the skinning map on the deformation space of an acylindrical reflection group is bounded by a constant depending only on the topological complexity of the components of its boundary, answering a conjecture of Minsky in the reflection group setting. This result can be interpreted as a uniform rigidity theorem for disk patterns. Our method also establishes a…
▽ More
We show that the diameter of the image of the skinning map on the deformation space of an acylindrical reflection group is bounded by a constant depending only on the topological complexity of the components of its boundary, answering a conjecture of Minsky in the reflection group setting. This result can be interpreted as a uniform rigidity theorem for disk patterns. Our method also establishes a connection between the diameter of the skinning image and certain discrete extremal width on the Coxeter graph of the reflection group.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
A general dynamical theory of Schwarz reflections, B-involutions, and algebraic correspondences
Authors:
Yusheng Luo,
Mikhail Lyubich,
Sabyasachi Mukherjee
Abstract:
In this paper, we study matings of (anti-)polynomials and Fuchsian, reflection groups as Schwarz reflections, B-involutions or as (anti-)holomorphic correspondences, as well as their parameter spaces. We prove the existence of matings of generic (anti-)polynomials, such as periodically repelling, or geometrically finite (anti-)polynomials, with circle maps arising from the corresponding groups. Th…
▽ More
In this paper, we study matings of (anti-)polynomials and Fuchsian, reflection groups as Schwarz reflections, B-involutions or as (anti-)holomorphic correspondences, as well as their parameter spaces. We prove the existence of matings of generic (anti-)polynomials, such as periodically repelling, or geometrically finite (anti-)polynomials, with circle maps arising from the corresponding groups. These matings emerge naturally as degenerate (anti-)polynomial-like maps, and we show that the corresponding parameter space slices for such matings bear strong resemblance with parameter spaces of polynomial maps. Furthermore, we provide algebraic descriptions for these matings, and construct algebraic correspondences that combine generic (anti-)polynomials and genus zero orbifolds in a common dynamical plane, providing a new concrete evidence to Fatou's vision of a unified theory of groups and maps.
△ Less
Submitted 31 July, 2024;
originally announced August 2024.
-
Differentiable Voxelization and Mesh Morphing
Authors:
Yihao Luo,
Yikai Wang,
Zhengrui Xiang,
Yuliang Xiu,
Guang Yang,
ChoonHwai Yap
Abstract:
In this paper, we propose the differentiable voxelization of 3D meshes via the winding number and solid angles. The proposed approach achieves fast, flexible, and accurate voxelization of 3D meshes, admitting the computation of gradients with respect to the input mesh and GPU acceleration. We further demonstrate the application of the proposed voxelization in mesh morphing, where the voxelized mes…
▽ More
In this paper, we propose the differentiable voxelization of 3D meshes via the winding number and solid angles. The proposed approach achieves fast, flexible, and accurate voxelization of 3D meshes, admitting the computation of gradients with respect to the input mesh and GPU acceleration. We further demonstrate the application of the proposed voxelization in mesh morphing, where the voxelized mesh is deformed by a neural network. The proposed method is evaluated on the ShapeNet dataset and achieves state-of-the-art performance in terms of both accuracy and efficiency.
△ Less
Submitted 30 July, 2024; v1 submitted 15 July, 2024;
originally announced July 2024.
-
Counting Permutations in $S_{2n}$ and $S_{2n+1}$
Authors:
Yuewen Luo
Abstract:
Let $α(n)$ denote the number of perfect square permutations in the symmetric group $S_n$. The conjecture $α(2n+1) = (2n+1) α(2n)$, provided by Stanley[4], was proved by Blum[1] using a generating function. This paper presents a combinatorial proof for this conjecture. At the same time, we demonstrate that all permutations with an even number of even cycles in both $S_{2n}$ and $S_{2n+1}$ can be ca…
▽ More
Let $α(n)$ denote the number of perfect square permutations in the symmetric group $S_n$. The conjecture $α(2n+1) = (2n+1) α(2n)$, provided by Stanley[4], was proved by Blum[1] using a generating function. This paper presents a combinatorial proof for this conjecture. At the same time, we demonstrate that all permutations with an even number of even cycles in both $S_{2n}$ and $S_{2n+1}$ can be categorized into three distinct types that correspond to each other.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Anisotropic Finsler $N$-Laplacian Liouville equation in convex cones
Authors:
Wei Dai,
Changfeng Gui,
YunPeng Luo
Abstract:
We consider the anisotropic Finsler $N$-Laplacian Liouville equation \[-Δ^{H}_{N}u=e^u \qquad {\rm{in}}\,\, \mathcal{C},\] where $N\geq2$, $\mathcal{C}\subseteq\mathbb{R}^{N}$ is an open convex cone including $\mathbb{R}^{N}$, the half space $\mathbb{R}^{N}_{+}$ and $\frac{1}{2^{m}}$-space $\mathbb{R}^{N}_{2^{-m}}:=\{x\in\mathbb{R}^{N}\mid x_{1},\cdots,x_{m}>0\}$ ($m=1,\cdots,N$), and the anisotro…
▽ More
We consider the anisotropic Finsler $N$-Laplacian Liouville equation \[-Δ^{H}_{N}u=e^u \qquad {\rm{in}}\,\, \mathcal{C},\] where $N\geq2$, $\mathcal{C}\subseteq\mathbb{R}^{N}$ is an open convex cone including $\mathbb{R}^{N}$, the half space $\mathbb{R}^{N}_{+}$ and $\frac{1}{2^{m}}$-space $\mathbb{R}^{N}_{2^{-m}}:=\{x\in\mathbb{R}^{N}\mid x_{1},\cdots,x_{m}>0\}$ ($m=1,\cdots,N$), and the anisotropic Finsler $N$-Laplacian $Δ^{H}_{N}$ is induced by a positively homogeneous function $H(x)$ of degree $1$. All solutions to the Finsler $N$-Laplacian Liouville equation with finite mass are completely classified. In particular, if $H(ξ)=|ξ|$, then the Finsler $N$-Laplacian $Δ^{H}_{N}$ reduces to the regular $N$-Laplacian $Δ_N$. Our result is a counterpart in the limiting case $p=N$ of the classification results in \cite{CFR} for the critical anisotropic $p$-Laplacian equations with $1<p<N$ in convex cones, and also extends the classification results in \cite{CK,CL,CW,CL2,E} for Liouville equation in the whole space $\mathbb{R}^{N}$ to general convex cones. In our proof, besides exploiting the anisotropic isoperimetric inequality inside convex cones, we have also proved and applied the radial Poincaré type inequality (Lemma \ref{A1}), which are key ingredients in the proof and of their own importance and interests.
△ Less
Submitted 20 January, 2025; v1 submitted 6 July, 2024;
originally announced July 2024.
-
Knudsen boundary layer equations for full ranges of cutoff collision kernels: Maxwell reflection boundary with all accommodation coefficients in [0,1]
Authors:
Ning Jiang,
Yi-Long Luo,
Yulong Wu
Abstract:
In this paper, we prove the existence and uniqueness of the Knudsen layer equation imposed on Maxwell reflection boundary condition with full ranges of cutoff collision kernels and accommodation coefficients (i.e., $- 3 < γ\leq 1$ and $0 \leq α_* \leq 1$, respectively) in the $L^\infty_{x,v}$ framework. Moreover, the solution enjoys the exponential decay…
▽ More
In this paper, we prove the existence and uniqueness of the Knudsen layer equation imposed on Maxwell reflection boundary condition with full ranges of cutoff collision kernels and accommodation coefficients (i.e., $- 3 < γ\leq 1$ and $0 \leq α_* \leq 1$, respectively) in the $L^\infty_{x,v}$ framework. Moreover, the solution enjoys the exponential decay $\exp \{- c x^\frac{2}{3 - γ} - c |v|^2 \}$ for some $c > 0$. In order to study the general angular cutoff collision kernel $-3 < γ\leq 1$, we should introduce a $(x,v)$-mixed weight $σ$. The biggest difficulty in this paper is the nondissipative boundary condition, hence, the boundary temperature and velocity $(T_w, u_w)$ on $\{ x = 0 \}$ and $(T, \mathfrak{u})$ on $\{ x = + \infty \}$ do not guarantee the nonnegativity of the $L^2$ boundary energy. We also do not assume that $(T_w, u_w)$ and $(T, \mathfrak{u})$ are very closed to each other. We first derive the Nondissipative boundary lemma to pull the boundary energy to the interior weighted $L^2$ norms with higher power of $x$-polynomial weights. Then a so-called spatial-velocity indices iteration approach is developed to shift the higher power $x$-polynomial weights to $|v|$-polynomial weights. Finally, we construct an interleaved iteration process such that the boundary energy is successfully dominated.
△ Less
Submitted 2 January, 2025; v1 submitted 3 July, 2024;
originally announced July 2024.
-
Is Algorithmic Stability Testable? A Unified Framework under Computational Constraints
Authors:
Yuetian Luo,
Rina Foygel Barber
Abstract:
Algorithmic stability is a central notion in learning theory that quantifies the sensitivity of an algorithm to small changes in the training data. If a learning algorithm satisfies certain stability properties, this leads to many important downstream implications, such as generalization, robustness, and reliable predictive inference. Verifying that stability holds for a particular algorithm is th…
▽ More
Algorithmic stability is a central notion in learning theory that quantifies the sensitivity of an algorithm to small changes in the training data. If a learning algorithm satisfies certain stability properties, this leads to many important downstream implications, such as generalization, robustness, and reliable predictive inference. Verifying that stability holds for a particular algorithm is therefore an important and practical question. However, recent results establish that testing the stability of a black-box algorithm is impossible, given limited data from an unknown distribution, in settings where the data lies in an uncountably infinite space (such as real-valued data). In this work, we extend this question to examine a far broader range of settings, where the data may lie in any space -- for example, categorical data. We develop a unified framework for quantifying the hardness of testing algorithmic stability, which establishes that across all settings, if the available data is limited then exhaustive search is essentially the only universally valid mechanism for certifying algorithmic stability. Since in practice, any test of stability would naturally be subject to computational constraints, exhaustive search is impossible and so this implies fundamental limits on our ability to test the stability property for a black-box algorithm.
△ Less
Submitted 30 March, 2025; v1 submitted 23 May, 2024;
originally announced May 2024.
-
On the Boston's Unramified Fontaine-Mazur Conjecture
Authors:
Yufan Luo
Abstract:
This paper studies the Unramified Fontaine-Mazur Conjecture for $ p $-adic Galois representations and its generalizations. We prove some basic cases of the conjecture and provide some useful criterions for verifying it. In addition, we propose several different strategies to attack the conjecture and reduce it to some special cases. We also prove many new results of the conjecture in the two-dimen…
▽ More
This paper studies the Unramified Fontaine-Mazur Conjecture for $ p $-adic Galois representations and its generalizations. We prove some basic cases of the conjecture and provide some useful criterions for verifying it. In addition, we propose several different strategies to attack the conjecture and reduce it to some special cases. We also prove many new results of the conjecture in the two-dimensional case. Furthermore, we also study the unramified Galois deformation rings. Assuming the Unramified Fontaine-Mazur conjecture, we prove that the generic fiber of the unramified deformation ring is a finite direct product of fields. In particular, the unramified deformation ring has only finitely many $\overline{\mathbb{Q}}_{p}$-valued points. We also give some counterexamples to the so-called dimension conjecture for Galois deformation rings assuming the conjecture.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
On the moduli description of ramified unitary local models of signature $(n-1,1)$
Authors:
Yu Luo
Abstract:
We provide a moduli description of the ramified unitary local model of signature $(n-1,1)$ with arbitrary parahoric level structure, assuming the residue field has characteristic not equal to $2$, thereby confirming a conjecture of Smithling. Our approach involves writing down explicit equations for the special fiber and proving that they define a normal, Cohen-Macaulay scheme, which is also of in…
▽ More
We provide a moduli description of the ramified unitary local model of signature $(n-1,1)$ with arbitrary parahoric level structure, assuming the residue field has characteristic not equal to $2$, thereby confirming a conjecture of Smithling. Our approach involves writing down explicit equations for the special fiber and proving that they define a normal, Cohen-Macaulay scheme, which is also of independent interest. As applications, we obtain moduli descriptions for: (1) ramified unitary Pappas-Zhu local models with arbitrary parahoric level; (2) the irreducible components of their special fiber in the maximal parahoric case; (3) integral models of ramified unitary Shimura varieties with arbitrary (quasi-)parahoric level.
△ Less
Submitted 12 May, 2025; v1 submitted 16 April, 2024;
originally announced April 2024.
