We gratefully acknowledge support from
the Simons Foundation and member institutions.

Mathematics

New submissions

[ total of 249 entries: 1-249 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Thu, 25 Nov 21

[1]  arXiv:2111.12117 [pdf, ps, other]
Title: Adjoining colimits
Comments: 52 pages. KEYWORDS: diagram, "pursuing stacks", "Theorem A", sketch, localisateur fondamental, localization, rectification, dense functor, cocompletion
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)

This paper develops a theory of colimit sketches "with constructions" in higher category theory, formalising the input to the ubiquitous procedure of adjoining specified "constructible" colimits to a category such that specified "relation" colimits are enforced (or preserved). From a more technical standpoint, sketches are a way to describe dense functors using techniques from the homotopy theory of diagrams.
We establish basic properties of diagrams in an infinity-category C as a model for presheaves on C and Bousfield localisations thereof, discuss extensions of functors and adjunctions, and equivalences of sets of diagrams. We introduce categories of presheaves which are "constructible in one step" by a set of diagrams and explore, via well-known examples, when constructible cocompletion is idempotent, i.e. when any iterated construction can be completed in one step.

[2]  arXiv:2111.12121 [pdf, ps, other]
Title: Galleries for root subsystems
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Representation Theory (math.RT)

We consider projection and lifting of labelled galleries to and from roots subsystems. Our constructions allow us to construct some topological embeddings of Bott-Samelson varieties skew equivariant with respect to the compact torus and order-preserving on the sets of points fixed by it.

[3]  arXiv:2111.12129 [pdf, ps, other]
Title: Existence of Fractional Nonlocal Neutral Stochastic Differential Equation of Order 1 < q < 2 with Non-instantaneous Impulses and State-Dependent Delay
Comments: 18pages
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)

This article addresses a new class of fractional nonlocal neutral stochastic differential system of order 1<q<2 including non-instantaneous impulses(NIIs) and state-dependent delay(SDD) with the Poisson jumps and the Wiener process in Hilbert spaces. We examine the existence of a mild solution without assuming the compactness of the resolvent operators. The Monch fixed point theorem is used along with the Hausdorff measure of noncompactness. An example is constructed to verify the theoretical developments.

[4]  arXiv:2111.12133 [pdf, ps, other]
Title: On extracting variable Herbrand disjunctions
Authors: Andrei Sipos
Subjects: Logic (math.LO)

Some quantitative results obtained by proof mining take the form of Herbrand disjunctions that may depend on additional parameters. We attempt to elucidate this fact through an extension to first-order arithmetic of the proof of Herbrand's theorem due to Gerhardy and Kohlenbach which uses the functional interpretation.

[5]  arXiv:2111.12134 [pdf, ps, other]
Title: The unrestricted virtual braid groups $UVB_n$
Authors: Stavroula Makri
Comments: 14 pages
Subjects: Geometric Topology (math.GT)

Let $UVB_n$ and $UVP_n$ be the unrestricted virtual braid group and the unrestricted virtual pure braid group on n strands respectively. We study the groups $UVB_n$ and $UVP_n$, and our main results are as follows: for $n\geq 5$, we give a complete description, up to conjugation, to all possible homomorphisms from $UVB_n$ to the symmetric group $S_n$. For $n\geq 3$, we characterise all possible images of $UVB_n$, under a group homomorphism, to any finite group $G$. For $n\geq 5$, we prove that $UVP_n$ is a characteristic subgroup of $UVB_n$.
In addition, we determine the automorphism group of $UVP_n$ and we prove that $\mathbb{Z}_2\times\mathbb{Z}_2$ is a subgroup of the outer automorphism group of $UVB_n$. Lastly, we show that $UVB_n$ and $UVP_n$ are residually finite and Hopfian but not co-Hopfian. We also remark that some of these results hold accordingly for the welded braid group $WB_n$ and we discuss about its automorphism group.

[6]  arXiv:2111.12162 [pdf, ps, other]
Title: A differential topological invariant on spin manifolds from supersymmetric path integrals
Subjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); K-Theory and Homology (math.KT)

We show that the N=1/2 supersymmetric path integral on a closed even dimensional Riemannian spin manifold, realized via Chen forms and recent results from noncommutative geometry, induces a differential topological invariant (which does not depend on the Riemannian metric).

[7]  arXiv:2111.12164 [pdf, ps, other]
Title: Anisothermal Chemical Reactions: Onsager-Machlup and Macroscopic Fluctuation Theory
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Dynamical Systems (math.DS)

We study a micro and macroscopic model for chemical reactions with feedback between reactions and temperature of the solute. The first result concerns the quasipotential as the large-deviation rate of the microscopic invariant measure. The second result is an application of modern Onsager-Machlup theory to the pathwise large deviations, in case the system is in detailed balance. The third result is an application of macroscopic fluctuation theory to the reaction flux large deviations, in case the system is in complex balance.

[8]  arXiv:2111.12166 [pdf, other]
Title: Towards Empirical Sandwich Bounds on the Rate-Distortion Function
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG); Machine Learning (stat.ML)

Rate-distortion (R-D) function, a key quantity in information theory, characterizes the fundamental limit of how much a data source can be compressed subject to a fidelity criterion, by any compression algorithm. As researchers push for ever-improving compression performance, establishing the R-D function of a given data source is not only of scientific interest, but also sheds light on the possible room for improving compression algorithms. Previous work on this problem relied on distributional assumptions on the data source (Gibson, 2017) or only applied to discrete data. By contrast, this paper makes the first attempt at an algorithm for sandwiching the R-D function of a general (not necessarily discrete) source requiring only i.i.d. data samples. We estimate R-D sandwich bounds on Gaussian and high-dimension banana-shaped sources, as well as GAN-generated images. Our R-D upper bound on natural images indicates room for improving the performance of state-of-the-art image compression methods by 1 dB in PSNR at various bitrates.

[9]  arXiv:2111.12168 [pdf, ps, other]
Title: Some results on Berge's conjecture and Begin-End conjecture
Subjects: Combinatorics (math.CO)

Let $D$ be a digraph. A subset $S$ of $V(D)$ is a stable set if every pair of vertices in $S$ is non-adjacent in $D$. A collection of disjoint paths $\mathcal{P}$ of $D$ is a path partition of $V(D)$, if every vertex in $V(D)$ is on a path of $\mathcal{P}$. We say that a stable set $S$ and a path partition $\mathcal{P}$ are orthogonal if each path of $P$ contains exactly one vertex of $S$. A digraph $D$ satisfies the $\alpha$-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that $S$ and $\mathcal{P}$ are orthogonal. A digraph $D$ is $\alpha$-diperfect if every induced subdigraph of $D$ satisfies the $\alpha$-property. In 1982, Claude Berge proposed a characterization of $\alpha$-diperfect digraphs in terms of forbidden anti-directed odd cycles. In 2018, Sambinelli, Silva and Lee proposed a similar conjecture. A digraph $D$ satisfies the Begin-End-property or BE-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that (i) $S$ and $\mathcal{P}$ are orthogonal and (ii) for each path $P \in \mathcal{P}$, either the start or the end of $P$ lies in $S$. A digraph $D$ is BE-diperfect if every induced subdigraph of $D$ satisfies the BE-property. Sambinelli, Silva and Lee proposed a characterization of BE-diperfect digraphs in terms of forbidden blocking odd cycles. In this paper, we show some structural results for $\alpha$-diperfect and BE-diperfect digraphs. In particular, we show that in every minimal counterexample $D$ to both conjectures, the size of a maximum stable set is smaller than $\vert V(D)\vert /2$. As an application we use these results to prove both conjectures for arc-locally in-semicomplete and arc-locally out-semicomplete digraphs.

[10]  arXiv:2111.12169 [pdf, ps, other]
Title: Hanson-Wright Inequality for Random Tensors under Einstein Product
Authors: Shih Yu Chang
Comments: arXiv admin note: text overlap with arXiv:2012.15428
Subjects: Probability (math.PR)

The Hanson-Wright inequality is an upper bound for tails of real quadratic forms in independent subgaussian random variables. In this work, we extend the Hanson-Wright inequality for the maximum eigenvalue of the quadratic sum of random Hermitian tensors under Einstein product. We first prove Weyl inequality for tensors under Einstein product and apply this fact to separate the quadratic form of random Hermitian tensors into diagonal sum and coupling (non-diagonal) sum parts. For the diagonal part, we can apply Bernstein inequality to bound the tail probability of the maximum eigenvalue of the sum of independent random Hermitian tensors directly. For coupling sum part, we have to apply decoupling method first, i.e., decoupling inequality to bound expressions with dependent random Hermitian tensors with independent random Hermitian tensors, before applying Bernstein inequality again to bound the tail probability of the maximum eigenvalue of the coupling sum of independent random Hermitian tensors. Finally, the Hanson-Wright inequality for the maximum eigenvalue of the quadratic sum of random Hermitian tensors under Einstein product can be obtained by the combination of the bound from the diagonal sum part and the bound from the coupling (non-diagonal) sum part.

[11]  arXiv:2111.12171 [pdf, other]
Title: Domains which are integrable close to the boundary and close to the circular ones are ellipses
Authors: Illya Koval
Comments: 46 pages, 3 figures
Subjects: Dynamical Systems (math.DS)

The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of an ellipse of small eccentricity which preserves integrability near the boundary, is itself an ellipse. We generalize the result of another paper, where integrability was proven only for specific values, proving its main conjecture. In particular, we show that (local) integrability near the boundary implies global integrability. One of the crucial ideas in the proof consists in analyzing Taylor expansion of the corresponding action-angle coordinates with respect to the eccentricity parameter, as well as using irrationality to prove the main non-degeneracy condition.

[12]  arXiv:2111.12181 [pdf, other]
Title: Channel Characterization of Diffusion-based Molecular Communication with Multiple Fully-absorbing Receivers
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

In this paper an analytical model is introduced to describe the impulse response of the diffusive channel between a pointwise transmitter and a given fully-absorbing (FA) receiver in a molecular communication (MC) system. The presence of neighbouring FA nanomachines in the environment is taken into account by describing them as sources of negative molecules. The channel impulse responses of all the receivers are linked in a system of integral equations. The solution of the system with two receivers is obtained analytically. For a higher number of receivers the system of integral equations is solved numerically. It is also shown that the channel impulse response shape is distorted by the presence of the interferers. For instance, there is a time shift of the peak in the number of absorbed molecules compared to the case without interference, as predicted by the proposed model. The analytical derivations are validated by means of particle based simulations.

[13]  arXiv:2111.12190 [pdf, ps, other]
Title: Categorical diagonalization and $p$-cells
Comments: Paper by Elias and Jensen, with appendix by Gibson. 38 pages plus 8 page appendix. Many figures, color viewing important for the computational chapters. Supplemental computations currently found at this https URL
Subjects: Representation Theory (math.RT)

In the Iwahori-Hecke algebra, the full twist acts on cell modules by a scalar, and the half twist acts by a scalar and an involution. A categorification of this statement, describing the action of the half and full twist Rouquier complexes on the Hecke category, was conjectured by Elias-Hogancamp, and proven in type $A$. In this paper we make analogous conjectures for the $p$-canonical basis, and the Hecke category in characteristic $p$. We prove the categorified conjecture in type $C_2$, where the situation is already interesting. The decategorified conjecture is confirmed by computer in rank at most 6; information is found in the appendix, written by Joel Gibson.

[14]  arXiv:2111.12195 [pdf, ps, other]
Title: On superrings of polynomials and algebraically closed multifields
Comments: 20 pages, to appear in Journal of Applied Logics
Subjects: Logic (math.LO); Commutative Algebra (math.AC)

The concept of multialgebraic structure -- an "algebraic like" structure but endowed with multiple valued operations -- has been studied since the 1930's; in particular, the concept of hyperrings was introduced by Krasner in the 1950's. Some general algebraic study has been made on multialgebras: see for instance \cite{golzio2018brief} and \cite{pelea2006multialgebras}. More recently the notion of multiring have obtained more attention: a multiring is a lax hyperring, satisfying an weak distributive law, but hyperfields and multifields coincide. Multirings has been studied for applications in abstract quadratic forms theory (\cite{marshall2006real}, \cite{worytkiewiczwitt2020witt}) and tropical geometry (\cite{jun2015algebraic}); a more detailed account of variants of concept of polynomials over hyperrings is even more recent (\cite{jun2015algebraic}, \cite{ameri2019superring}). In the present work we start a model-theoretic oriented analysis of multialgebras introducing the class of algebraically closed and providing variant proof of quantifier elimination flavor, based on new results on superring of polynomials (\cite{ameri2019superring}).

[15]  arXiv:2111.12199 [pdf, ps, other]
Title: Jacobi identity in polyhedral products
Comments: 8 pages
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO)

We show that a relation among minimal non-faces of a fillable complex $K$ yields an identity of iterated (higher) Whitehead products in a polyhedral product over $K$. In particular, for the $(n-1)$-skeleton of a simplicial $n$-sphere, we always have such an identity, and for the $(n-1)$-skeleton of a $(n+1)$-simplex, the identity is the Jacobi identity of Whitehead products ($n=1$) and Hardie's identity of higher Whitehead products ($n\ge 2$).

[16]  arXiv:2111.12211 [pdf, ps, other]
Title: Right Eigenvalues and Right Subeigenvalues of Dual Quaternion Matrices
Authors: Liqun Qi, Ziyan Luo
Comments: arXiv admin note: text overlap with arXiv:2110.09282, arXiv:2110.02050
Subjects: Rings and Algebras (math.RA)

In this paper, we study the spectral theory of dual quaternion matrices. We introduce right eigenvalues and right subeigenvalues for square dual quaternion matrices. We show that the right eigenvalues and right subeigenvalues of a dual quaternion Hermitian matrix are dual numbers. An $n \times n$ dual quaternion matrix has exactly $n$ right eigenvalues and right subeigenvalues. It is positive semidefinite, or positive definite, respectively, if and only if all of its right eigenvalues and right subeigenvalues are nonnegative, or positive, dual numbers, respectively. We present a unitary decomposition of a dual quaternion Hermitian matrix.

[17]  arXiv:2111.12212 [pdf, other]
Title: Long-Term CSI-based Design for RIS-Aided Multiuser MISO Systems Exploiting Deep Reinforcement Learning
Comments: Under revision in IEEE journal. Keywords: Reconfigurable intelligent surface (RIS), intelligent reflecting surface (IRS)
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

In this paper, we study the transmission design for reconfigurable intelligent surface (RIS)-aided multiuser communication networks. Different from most of the existing contributions, we consider long-term CSI-based transmission design, where both the beamforming vectors at the base station (BS) and the phase shifts at the RIS are designed based on long-term CSI, which can significantly reduce the channel estimation overhead. Due to the lack of explicit ergodic data rate expression, we propose a novel deep deterministic policy gradient (DDPG) based algorithm to solve the optimization problem, which was trained by using the channel vectors generated in an offline manner. Simulation results demonstrate that the achievable net throughput is higher than that achieved by the conventional instantaneous-CSI based scheme when taking the channel estimation overhead into account.

[18]  arXiv:2111.12222 [pdf, ps, other]
Title: Inclusion of higher-order terms in the border-collision normal form: persistence of chaos and applications to power converters
Subjects: Dynamical Systems (math.DS)

The dynamics near a border-collision bifurcation are approximated to leading order by a continuous, piecewise-linear map. The purpose of this paper is to consider the higher-order terms that are neglected when forming this approximation. For two-dimensional maps we establish conditions under which a chaotic attractor created in a border-collision bifurcation persists for an open interval of parameters beyond the bifurcation. We apply the results to a prototypical power converter model to prove the model exhibits robust chaos.

[19]  arXiv:2111.12224 [pdf, other]
Title: Asymptotics for Markov chain mixture detection
Comments: To be published in Econometrics and Statistics
Subjects: Statistics Theory (math.ST)

Sufficient conditions are provided under which the log-likelihood ratio test statistic fails to have a limiting chi-squared distribution under the null hypothesis when testing between one and two components under a general two-component mixture model, but rather tends to infinity in probability. These conditions are verified when the component densities describe continuous-time, discrete-statespace Markov chains and the results are illustrated via a parametric bootstrap simulation on an analysis of the migrations over time of a set of corporate bonds ratings. The precise limiting distribution is derived in a simple case with two states, one of which is absorbing which leads to a right-censored exponential scale mixture model. In that case, when centred by a function growing logarithmically in the sample size, the statistic has a limiting distribution of Gumbel extreme-value type rather than chi-squared.

[20]  arXiv:2111.12226 [pdf, ps, other]
Title: Zero Attractors of Partition Polynomials
Subjects: Combinatorics (math.CO)

A partition polynomial is a refinement of the partition number p(n) whose coefficients count some special partition statistic. Just as partition numbers have useful asymptotics so do partition polynomials. In fact, their asymptotics determine the limiting behavior of their zeros which form a network of curves inside the unit disk. An important new feature in their study requires a detailed analysis of. the \root dilogarithm" given as the real part of the square root of the usual dilogarithm.

[21]  arXiv:2111.12235 [pdf, ps, other]
Title: Global well-posedness for 2D fractional inhomogeneous Navier-Stokes equations with rough density
Comments: 43 pages
Subjects: Analysis of PDEs (math.AP)

The paper concerns with the global well-posedness issue of the 2D incompressible inhomogeneous Navier-Stokes (INS) equations with fractional dissipation and rough density. We first establish the $L^q_t(L^p)$-maximal regularity estimate for the generalized Stokes system with fractional dissipation, and then we employ it to obtain the global existence of solution for the 2D fractional INS equations with large velocity field, provided that the $L^2\cap L^\infty$-norm of density minus constant 1 is small enough. Moreover, by additionally assuming that the density minus 1 is sufficiently small in the norm of some multiplier spaces, we prove the uniqueness of the constructed solution by using the Lagrangian coordinates approach. We also consider the density patch problem for the 2D fractional INS equations, and show the global persistence of $C^{1,\gamma}$-regularity of the density patch boundary when the piecewise jump of density is small enough.

[22]  arXiv:2111.12240 [pdf, ps, other]
Title: Upper Bounds for Positive Semidefinite Propagation Time
Comments: 14 pages, 7 figures
Subjects: Combinatorics (math.CO)

The tight upper bound $\operatorname{pt}_+(G) \leq \left\lceil \frac{\left\vert \operatorname{V}(G) \right\vert - \operatorname{Z}_+(G)}{2} \right\rceil$ is established for the positive semidefinite propagation time of a graph in terms of its positive semidefinite zero forcing number. To prove this bound, two methods of transforming one positive semidefinite zero forcing set into another and algorithms implementing these methods are presented. Consequences of the bound, including a tight Nordhaus-Gaddum sum upper bound on positive semidefinite propagation time, are established.

[23]  arXiv:2111.12246 [pdf, ps, other]
Title: Fine properties of branch point singularities: stationary two-valued graphs and stable minimal hypersurfaces near points of density $< 3$
Comments: 61 pages
Subjects: Analysis of PDEs (math.AP)

We study (higher order) asymptotic behaviour near branch points of stationary $n$-dimensional two-valued $C^{1, \mu}$ graphs in an open subset of ${\mathbb R}^{n+m}$. Specifically, if $M$ is the graph of a two-valued $C^{1, \mu}$ function $u$ on an open subset $\Omega \subset {\mathbb R}^{n}$ taking values in the space of un-ordered pairs of points in ${\mathbb R}^{m}$, and if the integral varifold $V = (M, \theta),$
where the multiplicity function $\theta \, : \, M \rightarrow \{1, 2\}$ is such that $\theta =2$ on the set where the two values of $u$ agree and $\theta =1$ otherwise, is stationary in $\Omega \times {\mathbb R}^{m}$ with respect to the mass functional, we show that at ${\mathcal H}^{n-2}$-a.e.\ point $Z$ along its branch locus $u$ decays asymptotically, modulo its single valued average, to a unique non-zero two-valued cylindrical harmonic tangent function $\varphi^{(Z)}$ which is homogeneous of some degree $\geq 3/2$. As a corollary, we obtain that the branch locus of $u$ is countably $(n-2)$-rectifiable, and near points $Z$ where the degree of homogeneity of $\varphi^{(Z)}$ is equal to $3/2$, the branch locus is an embedded real analytic submanifold of dimension $n-2$. These results, combined with the recent works \cite{M} and \cite{MW}, imply a stratification theorem for the (relatively open) set of density $< 3$ points of a stationary codimension 1 integral $n$-varifold with stable regular part and no triple junction singularities.

[24]  arXiv:2111.12252 [pdf, other]
Title: An Efficient Semismooth Newton Method for Adaptive Sparse Signal Recovery Problems
Subjects: Optimization and Control (math.OC)

We know that compressive sensing can establish stable sparse recovery results from highly undersampled data under a restricted isometry property condition. In reality, however, numerous problems are coherent, and vast majority conventional methods might work not so well. Recently, it was shown that using the difference between $\ell_1$- and $\ell_2$-norm as a regularization always has superior performance. In this paper, we propose an adaptive $\ell_p$-$\ell_{1-2}$ model where the $\ell_p$-norm with $p\geq 1$ measures the data fidelity and the $\ell_{1-2}$-term measures the sparsity. This proposed model has the ability to deal with different types of noises and extract the sparse property even under high coherent condition. We use a proximal majorization-minimization technique to handle the nonconvex regularization term and then employ a semismooth Newton method to solve the corresponding convex relaxation subproblem. We prove that the sequence generated by the semismooth Newton method admits fast local convergence rate to the subproblem under some technical assumptions. Finally, we do some numerical experiments to demonstrate the superiority of the proposed model and the progressiveness of the proposed algorithm.

[25]  arXiv:2111.12254 [pdf]
Title: Emergence of dynamic properties in network hyper-motifs
Subjects: Dynamical Systems (math.DS)

Networks are fundamental for our understanding of complex systems. Interactions between individual nodes in networks generate network motifs - small recurrent patterns that can be considered the network's building-block components, providing certain dynamical properties. However, it remains unclear how network motifs are arranged within networks and what properties emerge from interactions between network motifs. Here we develop a framework to explore the mesoscale-level behavior of complex networks. Considering network motifs as hyper-nodes, we define the rules for their interaction at the network's next level of organization. We infer the favorable arrangements of interactions between network motifs into hyper-motifs from real evolved and designed networks data including biological, neuronal, social, linguistic and electronic networks. We mathematically explore the emergent properties of these higher-order circuits and their relations to the properties of the individual minimal circuit components they combine. This framework provides a basis for exploring the mesoscale structure and behavior of complex systems where it can be used to reveal intermediate patterns in complex networks and to identify specific nodes and links in the network that are the key drivers of the network's emergent properties.

[26]  arXiv:2111.12255 [pdf, other]
Title: A Family of Independent Variable Eddington Factor Methods with Efficient Linear Solvers
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

We present a family of discretizations for the Variable Eddington Factor (VEF) equations that have high-order accuracy on curved meshes and efficient preconditioned iterative solvers. The VEF discretizations are combined with a high-order Discontinuous Galerkin transport discretization to form an effective high-order, linear transport method. The VEF discretizations are derived by extending the unified analysis of Discontinuous Galerkin methods for elliptic problems to the VEF equations. This framework is used to define analogs of the interior penalty, second method of Bassi and Rebay, minimal dissipation local Discontinuous Galerkin, and continuous finite element methods. The analysis of subspace correction preconditioners, which use a continuous operator to iteratively precondition the discontinuous discretization, is extended to the case of the non-symmetric VEF system. Numerical results demonstrate that the VEF discretizations have arbitrary-order accuracy on curved meshes, preserve the thick diffusion limit, and are effective on a proxy problem from thermal radiative transfer in both outer transport iterations and inner preconditioned linear solver iterations. In addition, a parallel weak scaling study of the interior penalty VEF discretization demonstrates the scalability of the method out to 1152 processors.

[27]  arXiv:2111.12259 [pdf, ps, other]
Title: A note on Dirichlet spectrum
Comments: 22 pages
Subjects: Number Theory (math.NT)

We prove a result related to Dirichlet spectrum for simultaneous approximation to two real numbers in Euclidean norm and badly or very well approximability.

[28]  arXiv:2111.12261 [pdf, other]
Title: Metric dimension and edge metric dimension of unicyclic graphs
Subjects: Combinatorics (math.CO)

The metric (resp. edge metric) dimension of a simple connected graph $G$, denoted by dim$(G)$ (resp. edim$(G)$), is the cardinality of a smallest vertex subset $S\subseteq V(G)$ for which every two distinct vertices (resp. edges) in $G$ have distinct distances to a vertex of $S$. It is an interesting topic to discuss the relation between dim$(G)$ and edim$(G)$ for some class of graphs $G$. In this paper, we settle two open problems on this topic for a widely studied class of graphs, called unicyclic graphs. Specifically, we introduce four classes of subgraphs to characterize the structure of a unicyclic graph whose metric (resp . edge metric) dimension is equal to the lower bound on this invariant for unicyclic graphs. Based on this, we determine the exact values of dim$(G)$ and edim$(G)$ for all unicyclic graphs $G$.

[29]  arXiv:2111.12278 [pdf, ps, other]
Title: An efficient estimation of nested expectations without conditional sampling
Subjects: Numerical Analysis (math.NA)

Estimating nested expectations is an important task in computational mathematics and statistics. In this paper we propose a new Monte Carlo method using post-stratification to estimate nested expectations efficiently without taking samples of the inner random variable from the conditional distribution given the outer random variable. This property provides the advantage over many existing methods that it enables us to estimate nested expectations only with a dataset on the pair of the inner and outer variables drawn from the joint distribution. We show an upper bound on the mean squared error of the proposed method under some assumptions. Numerical experiments are conducted to compare our proposed method with several existing methods (nested Monte Carlo method, multilevel Monte Carlo method, and regression-based method), and we see that our proposed method is superior to the compared methods in terms of efficiency and applicability.

[30]  arXiv:2111.12282 [pdf, ps, other]
Title: Self-orthogonality matrix and Reed-Muller code
Subjects: Information Theory (cs.IT)

Kim et al. (2021) gave a method to embed a given binary $[n,k]$ code $\mathcal{C}$ $(k = 3, 4)$ into a self-orthogonal code of the shortest length which has the same dimension $k$ and minimum distance $d' \ge d(\mathcal{C})$. We extends this result for $k=5$ and $6$ by proposing a new method related to a special matrix, called the self-orthogonality matrix $SO_k$, obtained by shortnening a Reed-Muller code $\mathcal{R}(2,k)$. Furthermore, we disprove partially the conjecture (Kim et al. (2021)) by showing that if $31 \le n \le 256$ and $n\equiv 14,22,29 \pmod{31}$, then there exist optimal $[n,5]$ codes which are self-orthogonal. We also construct optimal self-orthogonal $[n,6]$ codes when $41 \le n \le 256$ satisfies $n \ne 46, 54, 61$ and $n \not\equiv 7, 14, 22, 29, 38, 45, 53, 60 \pmod{63}$.

[31]  arXiv:2111.12288 [pdf, ps, other]
Title: Stable determination of an elastic medium scatterer by a single far-field measurement and beyond
Subjects: Analysis of PDEs (math.AP)

We are concerned with the time-harmonic elastic scattering due to an inhomogeneous elastic material inclusion located inside a uniformly homogeneous isotropic medium. We establish a sharp stability estimate of logarithmic type in determining the support of the elastic scatterer, independent of its material content, by a single far-field measurement when the support is a convex polyhedral domain in $\mathbb{R}^n$, $n=2,3$. Our argument in establishing the stability result is localized around a corner of the medium scatterer. This enables us to further establish a byproduct result by proving that if a generic medium scatterer, not necessary to be a polyhedral shape, possesses a corner, then there exists a positive lower bound of the scattered far-field patterns. The latter result indicates that if an elastic material object possesses a corner on its support, then it scatters every incident wave stably and invisibility phenomenon does not occur.

[32]  arXiv:2111.12298 [pdf, other]
Title: Efficient Dual ADMMs for Sparse Compressive Sensing MRI Reconstruction
Subjects: Optimization and Control (math.OC)

Magnetic Resonance Imaging (MRI) is a kind of medical imaging technology used for diagnostic imaging of diseases, but its image quality may be suffered by the long acquisition time. The compressive sensing (CS) based strategy may decrease the reconstruction time greatly, but it needs efficient reconstruction algorithms to produce high-quality and reliable images. This paper focuses on the algorithmic improvement for the sparse reconstruction of CS-MRI, especially considering a non-smooth convex minimization problem which is composed of the sum of a total variation regularization term and a $\ell_1$-norm term of the wavelet transformation. The partly motivation of targeting the dual problem is that the dual variables are involved in relatively low-dimensional subspace. Instead of solving the primal model as usual, we turn our attention to its associated dual model composed of three variable blocks and two separable non-smooth function blocks. However, the directly extended alternating direction method of multipliers (ADMM) must be avoided because it may be divergent, although it usually performs well numerically. In order to solve the problem, we employ a symmetric Gauss-Seidel (sGS) technique based ADMM. Compared with the directly extended ADMM, this method only needs one additional iteration, but its convergence can be guaranteed theoretically. Besides, we also propose a generalized variant of ADMM because this method has been illustrated to be efficient for solving semidefinite programming in the past few years. Finally, we do extensive experiments on MRI reconstruction using some simulated and real MRI images under different sampling patterns and ratios. The numerical results demonstrate that the proposed algorithms significantly achieve high reconstruction accuracies with fast computational speed.

[33]  arXiv:2111.12303 [pdf, other]
Title: The Long-Moody construction and twisted Alexander invariants
Authors: Akihiro Takano
Comments: 13 pages, 8 figures
Subjects: Geometric Topology (math.GT); Group Theory (math.GR)

In 1994, Long and Moody introduced a method to construct a new representation of the braid group from the representation of the braid group or the semidirect product of the braid group and the free group. In this paper, we show that its matrix presentation is written using the Fox derivation, and also a relation with twisted Alexander invariants.

[34]  arXiv:2111.12312 [pdf, ps, other]
Title: Lossy Compression of General Random Variables
Subjects: Probability (math.PR); Information Theory (cs.IT)

This paper is concerned with the lossy compression of general random variables, specifically with rate-distortion theory and quantization of random variables taking values in general measurable spaces such as, e.g., manifolds and fractal sets. Manifold structures are prevalent in data science, e.g., in compressed sensing, machine learning, image processing, and handwritten digit recognition. Fractal sets find application in image compression and in the modeling of Ethernet traffic. Our main contributions are bounds on the rate-distortion function and the quantization error. These bounds are very general and essentially only require the existence of reference measures satisfying certain regularity conditions in terms of small ball probabilities. To illustrate the wide applicability of our results, we particularize them to random variables taking values in i) manifolds, namely, hyperspheres and Grassmannians, and ii) self-similar sets characterized by iterated function systems satisfying the weak separation property.

[35]  arXiv:2111.12316 [pdf, ps, other]
Title: A comment on stabilizing reinforcement learning
Subjects: Dynamical Systems (math.DS); Machine Learning (cs.LG); Systems and Control (eess.SY)

This is a short comment on the paper "Asymptotically Stable Adaptive-Optimal Control Algorithm With Saturating Actuators and Relaxed Persistence of Excitation" by Vamvoudakis et al. The question of stability of reinforcement learning (RL) agents remains hard and the said work suggested an on-policy approach with a suitable stability property using a technique from adaptive control - a robustifying term to be added to the action. However, there is an issue with this approach to stabilizing RL, which we will explain in this note. Furthermore, Vamvoudakis et al. seems to have made a fallacious assumption on the Hamiltonian under a generic policy. To provide a positive result, we will not only indicate this mistake, but show critic neural network weight convergence under a stochastic, continuous-time environment, provided certain conditions on the behavior policy hold.

[36]  arXiv:2111.12327 [pdf, ps, other]
Title: The Group Action Method and Radial Projection
Comments: 11 pages
Subjects: Classical Analysis and ODEs (math.CA)

The group action methods have been playing an important role in recent studies about the configuration problems inside a compact set $E$ in Euclidean spaces with given Hausdorff dimension. In this paper, we further explore the group action methods to study the radial projection problems for Salem sets.

[37]  arXiv:2111.12338 [pdf, ps, other]
Title: On Sobolev spaces of bounded subanalytic manifolds
Subjects: Analysis of PDEs (math.AP); Algebraic Geometry (math.AG)

We focus on the Sobolev spaces of bounded subanalytic submanifolds of $\mathbb{R}^n$.
We prove that if $M$ is such a manifold then the space $\mathscr{C}_0^\infty(M)$ is dense in $W^{1,p}(M,\partial M)$ (the kernel of the trace operator) for all $p<p_M$, where $p_M$ is the codimension in $M$ of the singular locus of $\overline{M}\setminus M$. In the case where $M$ is normal, i.e. when $B(x_0,\varepsilon)\cap M$ is connected for every $x_0\in\overline{M}$ and $\varepsilon>0$ small, we show that $\mathscr{C}^\infty(\overline{M})$ is dense in $W^{1,p}(M)$ for all such $p$. This yields some duality results between $W^{1,p}(\Omega,\partial \Omega)$ and $W^{-1,p'}(\Omega)$ in the case where $1< p<p_\Omega$ and $\Omega$ is a bounded subanalytic open subset of $\mathbb{R}^n$, and consequently that $W^{1,p}(\Omega,\partial \Omega)$ is reflexive for such $p$. We then prove a version of Sobolev's Embedding Theorem for subanalytic bounded manifolds, show Gagliardo-Nirenberg's inequality (for all $p\in [1,\infty)$), and derive some versions of Poincar\'e-Friedrichs' inequality. We finish with a generalization of Morrey's Embedding Theorem.

[38]  arXiv:2111.12343 [pdf, ps, other]
Title: Constructions of cospectral graphs with different zero forcing numbers
Subjects: Combinatorics (math.CO)

Several researchers have recently explored various graph parameters that can or cannot be characterized by the spectrum of a matrix associated with a graph. In this paper we show that several NP-hard zero forcing numbers are not characterized by the spectra of several types of associated matrices with a graph. In particular, we consider standard zero forcing, positive semidefinite zero forcing, and skew zero forcing, and provide constructions of infinite families of pairs of cospectral graphs which have different values for these numbers. We explore several methods for obtaining these cospectral graphs including using graph products, graph joins, and graph switching. Among these, we provide a construction involving regular adjacency cospectral graphs; the regularity of this construction also implies cospectrality with respect to several other matrices including the Laplacian, signless Laplacian, and normalized Laplacian. We also provide a construction where pairs of cospectral graphs can have an arbitrarily large difference between their zero forcing numbers.

[39]  arXiv:2111.12347 [pdf, ps, other]
Title: Minimization to the Zhang's energy on $BV(Ω)$ and sharp affine Poincaré-Sobolev inequalities
Comments: Comments are welcome!
Subjects: Functional Analysis (math.FA)

We prove the existence of minimizers for some constrained variational problems on $BV(\Omega)$, under subcritical and critical restrictions, involving the affine energy introduced by Zhang in \cite{Z}. Related functionals have non-coercive geometry and properties like semicontinuity and affine compactness are deeper in the weak* topology. As a by-product of the theory, extremal functions are shown to exist for various affine Poincar\'e-Sobolev type inequalities.

[40]  arXiv:2111.12349 [pdf, ps, other]
Title: On conic-line arrangements with nodes, tacnodes, and ordinary triple points
Comments: 24 pages, 2 figures, comments are welcome/
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)

In the present paper, we study conic-line arrangements having nodes, tacnodes, and ordinary triple points as singularities. We provide combinatorial constraints on such arrangements and we give the complete classification of free arrangements in this class.

[41]  arXiv:2111.12352 [pdf, ps, other]
Title: The relative index theorem for general first-order elliptic operators
Authors: Lashi Bandara
Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG); Functional Analysis (math.FA)

The relative index theorem is proved for general first-order elliptic operators that are complete and coercive at infinity over measured manifolds. This extends the original result by Gromov-Lawson for generalised Dirac operators as well as the result of B\"ar-Ballmann for Dirac-type operators. The theorem is seen through the point of view of boundary value problems, using the graphical decomposition of elliptically regular boundary conditions for general first-order elliptic operators due to B\"ar-Bandara. Splitting, decomposition and the Phi-relative index theorem are proved on route to the relative index theorem.

[42]  arXiv:2111.12354 [pdf, ps, other]
Title: Dynamical noise sensitivity for the voter model
Comments: 7 pages
Subjects: Probability (math.PR)

We study noise sensitivity of the consensus opinion of the voter model on finite graphs, with respect to noise affecting the initial opinions and noise affecting the dynamics.
We prove that the final opinion is stable with respect to small perturbations of the initial configuration, and is sensitive to perturbations of the dynamics governing the evolution of the process.
Our proofs rely on the duality relationship between the voter model and coalescing random walks, and on a precise description of this evolution when we have coupled dynamics.

[43]  arXiv:2111.12362 [pdf, ps, other]
Title: Solution group representations as quantum symmetries of graphs
Subjects: Quantum Algebra (math.QA); Combinatorics (math.CO)

In 2019, Aterias et al. constructed pairs of quantum isomorphic, non-isomorphic graphs from linear constraint systems. This article deals with quantum automorphisms and quantum isomorphisms of colored versions of those graphs. We show that the quantum automorphism group of such a colored graph is the dual of the homogeneous solution group of the underlying linear constraint system. Given a vertex- and edge-colored graph with certain properties, we construct an uncolored graph that has the same quantum automorphism group as the colored graph we started with. Using those results, we obtain the first known example of a graph that has quantum symmetry and finite quantum automorphism group. Furthermore, we construct a pair of quantum isomorphic, non-isomorphic graphs that both have no quantum symmetry.

[44]  arXiv:2111.12368 [pdf, ps, other]
Title: The influence of viscous coefficients on the lifespan of 3-D anisotropic Navier-Stokes system
Subjects: Analysis of PDEs (math.AP)

The anisotropic Navier-Stokes system arises in geophysical fluid dynamics, which is derived by changing $-\nu\D$ in the classical Navier-Stokes system to $-(\nu_1\partial^2_1+\nu_2\partial^2_2+\nu_3\partial^2_3)$. Here $\nu_1,\,\nu_2\,,\nu_3$ are the viscous coefficients, which can be different from each other. This reflects that the fluid can behave differently in each direction.
The purpose of this paper is to derive some lower bound estimates on the lifespan to such anisotropic Navier-Stokes system. We not only investigate the case when $\nu_1,\,\nu_2\,,\nu_3$ are all positive, but also the more sophisticated cases when one or two of them vanish. We find that in these lower bound estimates, the weights of $\nu_1,\,\nu_2\,,\nu_3$ are not equal. A detailed study of this problem can also help us to have a better understanding of the nonlinear structure in the classical Navier-Stokes system.

[45]  arXiv:2111.12370 [pdf, other]
Title: Uniform Convergence Rates for Lipschitz Learning on Graphs
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Analysis of PDEs (math.AP)

Lipschitz learning is a graph-based semi-supervised learning method where one extends labels from a labeled to an unlabeled data set by solving the infinity Laplace equation on a weighted graph. In this work we prove uniform convergence rates for solutions of the graph infinity Laplace equation as the number of vertices grows to infinity. Their continuum limits are absolutely minimizing Lipschitz extensions with respect to the geodesic metric of the domain where the graph vertices are sampled from. We work under very general assumptions on the graph weights, the set of labeled vertices, and the continuum domain. Our main contribution is that we obtain quantitative convergence rates even for very sparsely connected graphs, as they typically appear in applications like semi-supervised learning. In particular, our framework allows for graph bandwidths down to the connectivity radius. For proving this we first show a quantitative convergence statement for graph distance functions to geodesic distance functions in the continuum. Using the "comparison with distance functions" principle, we can pass these convergence statements to infinity harmonic functions and absolutely minimizing Lipschitz extensions.

[46]  arXiv:2111.12373 [pdf, other]
Title: Solving cubic matrix equations arising in conservative dynamics
Comments: 11 pages, 1 figure
Subjects: Numerical Analysis (math.NA)

In this paper we consider the spatial semi-discretization of conservative PDEs. Such finite dimensional approximations of infinite dimensional dynamical systems can be described as flows in suitable matrix spaces, which in turn leads to the need to solve polynomial matrix equations, a classical and important topic both in theoretical and in applied mathematics. Solving numerically these equations is challenging due to the presence of several conservation laws which our finite models incorporate and which must be retained while integrating the equations of motion. In the last thirty years, the theory of geometric integration has provided a variety of techniques to tackle this problem. These numerical methods require to solve both direct and inverse problems in matrix spaces. We present two algorithms to solve a cubic matrix equation arising in the geometric integration of isospectral flows. This type of ODEs includes finite models of ideal hydrodynamics, plasma dynamics, and spin particles, which we use as test problems for our algorithms.

[47]  arXiv:2111.12377 [pdf, other]
Title: Sliding motion on tangential sets of Filippov systems
Subjects: Dynamical Systems (math.DS)

We consider piecewise smooth vector fields $Z=(Z_+, Z_-)$ defined in $\mathbb{R}^n$ where both vector fields are tangent to the switching manifold $\Sigma$ along a manifold $M$. Our main purpose is to study the existence of an invariant vector field defined on $M$, that we call tangential sliding vector field. We provide necessary and sufficient conditions under $Z$ to characterize the existence of this vector field. Considering a regularization process, we proved that this tangential sliding vector field is topological equivalent to an invariant dynamics under the slow manifold. The results are applied to study a Filippov model for intermittent treatment of HIV.

[48]  arXiv:2111.12380 [pdf, other]
Title: Classification of graphs by Laplacian eigenvalue distribution and independence number
Subjects: Combinatorics (math.CO)

Let $m_GI$ denote the number of Laplacian eigenvalues of a graph $G$ in an interval $I$ and let $\alpha(G)$ denote the independence number of $G$. In this paper, we determine the classes of graphs that satisfy the condition $m_G[0,n-\alpha(G)]=\alpha(G)$ when $\alpha(G)= 2$ and $\alpha(G)= n-2$, where $n$ is the order of $G$. When $\alpha(G)=2$, $G \cong K_1 \nabla K_{n-m} \nabla K_{m-1}$ for some $m \geq 2$. When $\alpha(G)=n-2$, there are two types of graphs $B(p,q,r)$ and $B'(p,q,r)$ of order $n=p+q+r+2$, which we call the binary star graphs. Also, we show that the binary star graphs with $p=r$ are determined by their Laplacian spectra.

[49]  arXiv:2111.12382 [pdf, ps, other]
Title: Compressed Sensing Channel Estimation for OTFS Modulation in Non-Integer Delay-Doppler Domain
Comments: This is the author's self-archive preprint of a paper accepted in IEEE GLOBECOM 2021
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

This paper introduces a Compressed Sensing (CS) estimation scheme for Orthogonal Time Frequency Space (OTFS) channels with sparse multipath. The OTFS waveform represents signals in a two dimensional Delay-Doppler (DD) orthonormal basis. The proposed model does not require the assumption that the delays are integer multiples of the sampling period. The analysis shows that non-integer delay and Doppler shifts in the channel cannot be accurately modelled by integer approximations. An Orthogonal Matching Pursuit with Binary-division Refinement (OMPBR) estimation algorithm is proposed. The proposed estimator finds the best channel approximation over a continuous DD dictionary without integer approximations. This results in a significant reduction of the estimation normalized mean squared error with reasonable computational complexity.

[50]  arXiv:2111.12383 [pdf, ps, other]
Title: Besov-Orlicz path regularity of non-Gaussian processes
Comments: 26 pages, 3 figures
Subjects: Probability (math.PR)

In the article, Besov-Orlicz regularity of sample paths of stochastic processes that are represented by multiple integrals of order $n\in\mathbb{N}$ is treated. We give sufficient conditions for the considered processes to have paths in the exponential Besov-Orlicz space $$B_{\varPhi_{2/n},\infty}^\alpha(0,T)\qquad \mbox{with}\qquad \varPhi_{2/n}(x)=\mathrm{e}^{x^{2/n}}-1.$$ These results provide an extension of what is known for scalar Gaussian stochastic processes to stochastic processes in an arbitrary finite Wiener chaos. As an application, the Besov-Orlicz path regularity of fractionally filtered Hermite processes is studied. But while the main focus is on the non-Gaussian case, some new path properties are obtained even for fractional Brownian motions.

[51]  arXiv:2111.12387 [pdf, other]
Title: Acyclic reorientation lattices and their lattice quotients
Authors: Vincent Pilaud
Comments: 41 pages, 18 figures
Subjects: Combinatorics (math.CO)

We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if $D$ is filled, and distributive if and only if $D$ is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of $D$ that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non-crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.

[52]  arXiv:2111.12393 [pdf, other]
Title: On the convergence of Broyden's method and some accelerated schemes for singular problems
Authors: Florian Mannel
Comments: 32 pages, 8 tables, 1 figure
Subjects: Numerical Analysis (math.NA)

We consider Broyden's method and some accelerated schemes for nonlinear equations having a strongly regular singularity of first order with a one-dimensional nullspace. Our two main results are as follows. First, we show that the use of a preceding Newton--like step ensures convergence for starting points in a starlike domain with density 1. This extends the domain of convergence of these methods significantly. Second, we establish that the matrix updates of Broyden's method converge q-linearly with the same asymptotic factor as the iterates. This contributes to the long--standing question whether the Broyden matrices converge by showing that this is indeed the case for the setting at hand. Furthermore, we prove that the Broyden directions violate uniform linear independence, which implies that existing results for convergence of the Broyden matrices cannot be applied. Numerical experiments of high precision confirm the enlarged domain of convergence, the q-linear convergence of the matrix updates, and the lack of uniform linear independence. In addition, they suggest that these results can be extended to singularities of higher order and that Broyden's method can converge r-linearly without converging q-linearly. The underlying code is freely available.

[53]  arXiv:2111.12403 [pdf, other]
Title: Combinatorics of the Quantum Symmetric Simple Exclusion Process, associahedra and free cumulants
Authors: Philippe Biane
Subjects: Combinatorics (math.CO); Probability (math.PR)

The Quantum Symmetric Simple Exclusion Process (QSSEP) is a model of quantum particles hopping on a finite interval and satisfying the exclusion principle. Recently Bernard and Jin have studied the fluctuations of the invariant measure for this process, when the number of sites goes to infinity. These fluctuations are encoded into polynomials, for which they have given equations and proved that these equations determine the polynomials completely. In this paper, I give an explicit combinatorial formula for these polynomials, in terms of Schr\"oder trees. I also show that, quite surprisingly, these polynomials can be interpreted as free cumulants of a family of commuting random variables.

[54]  arXiv:2111.12404 [pdf, other]
Title: The integral Mittag-Leffler, Whittaker and Wright functions
Comments: 42 pages, 6 figures
Subjects: Classical Analysis and ODEs (math.CA)

Integral Mittag-Leffler, Whittaker and Wright functions with integrands similar to those which already exist in mathematical literature are introduced for the first time. For particular values of parameters, they can be presented in a closed form. In most reported cases, these new integral functions are expressed as generalized hypergeometric functions, but also as in terms of elementary and special functions. Behaviour of some of new integral functions is presented in graphical form. By using MATHEMATICA program to infinite sums which define the Mittag-Leffler, Whittaker and Wright functions, and also to the corresponding integral functions, these functions and many new Laplace transforms of them are also reported in Appendices for integral and fractional values of parameters.

[55]  arXiv:2111.12407 [pdf, ps, other]
Title: Another look at the continuity of moduli of noncompact convexity
Subjects: Functional Analysis (math.FA)

In this article we introduce the new modulus $\triangle'_{X,\phi}(\varepsilon)$, for which we prove that in the general case is different from the classical modulus of noncompact convexity. The main result of the paper is showing the continuity of the modulus of noncompact convexity for arbitrary minimalizable (strictly minimalizable) measure of noncompactness on arbitrary metric space.

[56]  arXiv:2111.12408 [pdf, other]
Title: Markov Chain Generative Adversarial Neural Networks for Solving Bayesian Inverse Problems in Physics Applications
Subjects: Numerical Analysis (math.NA)

In the context of solving inverse problems for physics applications within a Bayesian framework, we present a new approach, Markov Chain Generative Adversarial Neural Networks (MCGANs), to alleviate the computational costs associated with solving the Bayesian inference problem. GANs pose a very suitable framework to aid in the solution of Bayesian inference problems, as they are designed to generate samples from complicated high-dimensional distributions. By training a GAN to sample from a low-dimensional latent space and then embedding it in a Markov Chain Monte Carlo method, we can highly efficiently sample from the posterior, by replacing both the high-dimensional prior and the expensive forward map. We prove that the proposed methodology converges to the true posterior in the Wasserstein-1 distance and that sampling from the latent space is equivalent to sampling in the high-dimensional space in a weak sense. The method is showcased on three test cases where we perform both state and parameter estimation simultaneously. The approach is shown to be up to two orders of magnitude more accurate than alternative approaches while also being up to an order of magnitude computationally faster, in several test cases, including the important engineering setting of detecting leaks in pipelines.

[57]  arXiv:2111.12409 [pdf, ps, other]
Title: A generalised Roth's theorem
Comments: 18 pages. Comments and remarks are welcome
Subjects: Number Theory (math.NT)

We prove a generalisation of Roth's theorem for proper adelic curves, assuming that the logarithmic absolute values of the approximants satisfy a condition similar to the equicontinuity with respect to the places. This work extends Corvaja's results [Cor97] for fields admitting a product formula, and Voita's ones [Voj21] for arithmetic function fields.

[58]  arXiv:2111.12412 [pdf, ps, other]
Title: Shallow Minors, Graph Products and Beyond Planar Graphs
Subjects: Combinatorics (math.CO)

The planar graph product structure theorem of Dujmovi\'{c}, Joret, Micek, Morin, Ueckerdt, and Wood [J. ACM 2020] states that every planar graph is a subgraph of the strong product of a graph with bounded treewidth and a path. This result has been the key tool to resolve important open problems regarding queue layouts, nonrepetitive colourings, centered colourings, and adjacency labelling schemes. In this paper, we extend this line of research by utilizing shallow minors to prove analogous product structure theorems for several beyond planar graph classes. The key observation that drives our work is that many beyond planar graphs can be described as a shallow minor of the strong product of a planar graph with a small complete graph. In particular, we show that power of planar graphs, $k$-planar, $(k,p)$-cluster planar, $k$-semi-fan-planar graphs and $k$-fan-bundle planar graphs can be described in this manner. Using a combination of old and new results, we deduce that these classes have bounded queue-number, bounded nonrepetitive chromatic number, polynomial $p$-centred chromatic numbers, linear strong colouring numbers, and cubic weak colouring numbers. In addition, we show that $k$-gap planar graphs have super-linear local treewidth and, as a consequence, cannot be described as a subgraph of the strong product of a graph with bounded treewidth and a path.

[59]  arXiv:2111.12415 [pdf, ps, other]
Title: On the Ricci curvature of Kahler-Ricci Flow
Authors: Cheuk Yan Fung
Comments: 17pages
Subjects: Differential Geometry (math.DG)

In this paper, we consider $n$-dimensional compact K$\ddot{a}$hler manifold with semi-ample canonical line bundle under the long time solution of K$\ddot{a}$hler Ricci Flow. In particular, if the Kodaira dimension is one, Ricci curvature converge to negative of generalized K$\ddot{a}$hler Einstein metric $\omega_B$ locally away from singular set in $C^0_{loc}(\omega(t))$ topology.

[60]  arXiv:2111.12416 [pdf, other]
Title: Slow passage through a Hopf-like bifurcation in piecewise linear systems: application to elliptic bursting
Subjects: Dynamical Systems (math.DS)

The phenomenon of slow passage through a Hopf bifurcation is ubiquitous in multiple-timescale dynamical systems, where a slowly-varying quantity replacing a static parameter induces the solutions of the resulting slow-fast system to feel the effect of a Hopf bifurcation with a delay. This phenomenon is well understood in the context of smooth slow-fast dynamical systems. In the present work, we study for the first time this phenomenon in piecewise linear (PWL) slow-fast systems. This special class of systems is indeed known to reproduce all features of their smooth counterpart while being more amenable to quantitative analysis and offering some level of simplification, in particular through the existence of canonical (linear) slow manifolds. We provide conditions for a PWL slow-fast system to exhibit a slow passage through a Hopf-like bifurcation, in link with the number of linearity zones considered in the system and possible connections between canonical attracting and repelling slow manifolds. In doing so, we fully describe the so-called way-in/way-out function. Finally, we investigate this slow passage effect in the Doi-Kumagai model, a neuronal PWL model exhibiting elliptic bursting oscillations.

[61]  arXiv:2111.12422 [pdf, ps, other]
Title: Deformed graphical zonotopes
Comments: 12 pages, no figure
Subjects: Combinatorics (math.CO)

We study deformations of graphical zonotopes. Deformations of the classical permutahedron (which is the graphical zonotope of the complete graph) have been intensively studied in recent years under the name of generalized permutahedra. We provide an irredundant description of the deformation cone of the graphical zonotope associated to a graph $G$, consisting of independent equations defining its linear span (in terms of non-cliques of $G$) and of the inequalities defining its facets (in terms of common neighbors of neighbors in $G$). In particular, we deduce that the faces of the standard simplex corresponding to induced cliques in $G$ form a linear basis of the deformation cone, and that the deformation cone is simplicial if and only if $G$ is triangle-free.

[62]  arXiv:2111.12425 [pdf, other]
Title: On T-divisors and intersections in $\overline{M}_{1,3}$
Comments: 28 pages, 8 figures
Subjects: Algebraic Geometry (math.AG)

The moduli space of stable surfaces with $K_X^2 = 1$ and $\chi(X) = 3$ has at least two irreducible components that contain surfaces with T-singularities. We show that the two known components intersect transversally in a divisor. Moreover, we exhibit other new boundary divisors and study how they intersect one another.

[63]  arXiv:2111.12426 [pdf, other]
Title: Skew Howe duality and limit shapes of Young diagrams
Comments: 55 pages, 12 figures, 2 tables
Subjects: Representation Theory (math.RT); Combinatorics (math.CO); Probability (math.PR)

We consider the skew Howe duality for the action of certain dual pairs of Lie groups $(G_1, G_2)$ on the exterior algebra $\bigwedge(\mathbb{C}^{n} \otimes \mathbb{C}^{k})$ as a probability measure on Young diagrams by the decomposition into the sum of irreducible representations. We prove a combinatorial version of this skew Howe for the pairs $(\mathrm{GL}_{n}, \mathrm{GL}_{k})$, $(\mathrm{SO}_{2n+1}, \mathrm{Pin}_{2k})$, $(\mathrm{Sp}_{2n}, \mathrm{Sp}_{2k})$, and $(\mathrm{Or}_{2n}, \mathrm{SO}_{k})$ using crystal bases, which allows us to interpret the skew Howe duality as a natural consequence of lattice paths on lozenge tilings of certain partial hexagonal domains. The $G_1$-representation multiplicity is given as a determinant formula using the Lindstr\"om-Gessel-Viennot lemma and as a product formula using Dodgson condensation. These admit natural $q$-analogs that we show equals the $q$-dimension of a $G_2$-representation (up to an overall factor of $q$), giving a refined version of the combinatorial skew Howe duality. Using these product formulas (at $q =1$), we take the infinite rank limit and prove the diagrams converge uniformly to the limit shape.

[64]  arXiv:2111.12428 [pdf, ps, other]
Title: On cospectrality of gain graphs
Comments: 27 pages, 5 figures, 1 table
Subjects: Combinatorics (math.CO)

We define $G$-cospectrality of two $G$-gain graphs $(\Gamma,\psi)$ and $(\Gamma',\psi')$, proving that it is a switching isomorphism invariant. When $G$ is a finite group, we prove that $G$-cospectrality is equivalent to cospectrality with respect to all unitary representations of $G$. Moreover, we show that two connected gain graphs are switching equivalent if and only if the gains of their closed walks centered at an arbitrary vertex $v$ can be simultaneously conjugated. In particular, the number of switching equivalence classes on an underlying graph $\Gamma$ with $n$ vertices and $m$ edges, is equal to the number of simultaneous conjugacy classes of the group $G^{m-n+1}$. We provide examples of $G$-cospectral non-switching isomorphic graphs and we prove that any gain graph on a cycle is determined by its $G$-spectrum. Moreover, we show that when $G$ is a finite cyclic group, the cospectrality with respect to a faithful irreducible representation implies the cospectrality with respect to any other faithful irreducible representation, and that the same assertion is false in general.

[65]  arXiv:2111.12431 [pdf, other]
Title: A Large-Scale Multi-Rider Matching Problem with Reneging Passengers
Comments: 48 pages, 25 figures. Part of the work has been included in a conference paper submitted to the 24th International Congress on Modelling and Simulation (MODSIM2021)
Subjects: Optimization and Control (math.OC); Probability (math.PR)

This paper studies a large-scale ride-matching problem in a transport center with a large number of passengers who are different in terms of destinations and travel preferences. Passengers with similar itineraries can match each other and share the same vehicle for their potentially different destinations; and reneging passengers, who become impatient and leave the service system after waiting long time for shared rides, are considered in our model. We aim to maximize the long-run average revenue of the ride service vendor, which is defined as the difference between the long-run average reward earned by providing ride services and the long-run average penalty incurred by reneging passengers. The problem is complicated by its scale, the heterogeneity of passengers, and the reneging behavior. To this end, we formate the ride-matching problem as a specific Markov decision process and propose a scalable ride-matching policy, referred to as Bivariate Index (BI) policy. We demonstrate that the ride-matching problem reduces to a conventional restless multi-armed bandit problem in a special case, for which the BI policy reduces to the well-known Whittle index policy that prioritizes passengers with the highest Whittle indices. For the general case, following the Whittle relaxation technique, BI prioritizes passengers according to their bivariate indices that are curves in a real-valued coordinate and are assigned to each passengers. We prove that the ranking of the bivariate indices can be derived by the ranking of corresponding Whittle indices in a surrogate system. Through extensive numerical simulations for systems with real-world travel demands, it is demonstrated that BI significantly outperforms baseline policies.

[66]  arXiv:2111.12432 [pdf, ps, other]
Title: Existence of the stationary Navier-Stokes flow in $\mathbb{R}^2$ around a radial flow
Comments: 20 pages
Subjects: Analysis of PDEs (math.AP)

We consider the stationary Navier-Stokes equations on the whole plane $\mathbb{R}^2$. We show that for a given small and smooth external force around a radial flow, there exists a classical solution decaying like $|x|^{-1}$. In our result, it is not necessary to impose any symmetric conditions on external forces.

[67]  arXiv:2111.12439 [pdf, ps, other]
Title: Large deviations for a binary collision model: energy evaporation
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)

We analyze the large deviations for a discrete energy Kac-like walk. In particular, we exhibit a path, with probability exponentially small in the number of particles, that looses energy.

[68]  arXiv:2111.12443 [pdf, ps, other]
Title: A topology optimisation of acoustic devices based on the frequency response estimation with the Padé approximation
Subjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE)

We propose a topology optimisation of acoustic devices that work in a certain bandwidth. To achieve this, we define the objective function as the frequency-averaged sound intensity at given observation points, which is represented by a frequency integral over a given frequency band. It is, however, prohibitively expensive to evaluate such an integral naively by a quadrature. We thus estimate the frequency response by the Pad\'{e} approximation and integrate the approximated function to obtain the objective function. The corresponding topological derivative is derived with the help of the adjoint variable method and chain rule. It is shown that the objective and its sensitivity can be evaluated semi-analytically. We present efficient numerical procedures to compute them and incorporate them into a topology optimisation based on the level-set method. We confirm the validity and effectiveness of the present method through some numerical examples.

[69]  arXiv:2111.12444 [pdf, other]
Title: Edge Artificial Intelligence for 6G: Vision, Enabling Technologies, and Applications
Comments: This work is a JSAC invited survey & tutorial paper. Copyright may be transferred without notice, after which this version may no longer be accessible
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP)

The thriving of artificial intelligence (AI) applications is driving the further evolution of wireless networks. It has been envisioned that 6G will be transformative and will revolutionize the evolution of wireless from "connected things" to "connected intelligence". However, state-of-the-art deep learning and big data analytics based AI systems require tremendous computation and communication resources, causing significant latency, energy consumption, network congestion, and privacy leakage in both of the training and inference processes. By embedding model training and inference capabilities into the network edge, edge AI stands out as a disruptive technology for 6G to seamlessly integrate sensing, communication, computation, and intelligence, thereby improving the efficiency, effectiveness, privacy, and security of 6G networks. In this paper, we shall provide our vision for scalable and trustworthy edge AI systems with integrated design of wireless communication strategies and decentralized machine learning models. New design principles of wireless networks, service-driven resource allocation optimization methods, as well as a holistic end-to-end system architecture to support edge AI will be described. Standardization, software and hardware platforms, and application scenarios are also discussed to facilitate the industrialization and commercialization of edge AI systems.

[70]  arXiv:2111.12461 [pdf, other]
Title: Stability and Dynamics of Complex Order Fractional Difference Equations
Comments: 21 pages, 17 figures
Subjects: Dynamical Systems (math.DS)

We extend the definition of $n$-dimensional difference equations to complex order $\alpha\in \mathbb{C} $. We investigate the stability of linear systems defined by an $n$-dimensional matrix $A$ and derive conditions for the stability of equilibrium points for linear systems. For the one-dimensional case where $A =\lambda \in \mathbb {C}$, we find that the stability region, if any is enclosed by a boundary curve and we obtain a parametric equation for the same. Furthermore, we find that there is no stable region if this parametric curve is self-intersecting. Even for $ \lambda \in \mathbb{R} $, the solutions can be complex and dynamics in one-dimension is richer than the case for $ \alpha\in \mathbb{R} $. These results can be extended to $n$-dimensions. For nonlinear systems, we observe that the stability of the linearized system determines the stability of the equilibrium point.

[71]  arXiv:2111.12466 [pdf, ps, other]
Title: Un peu d'effectivité pour les variétés modulaires de Hilbert-Blumenthal
Authors: Levent Alpöge
Comments: 39 pages, title's in French (because I like Szpiro's modest phrase) but the paper's in English
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)

We prove a "height-free" effective isogeny estimate for abelian varieties of $\mathrm{GL}_2$-type.
More precisely, let $g\in \mathbb{Z}^+$, $K$ a number field, $S$ a finite set of places of $K$, and $A,B/K$ $g$-dimensional abelian varieties with good reduction outside $S$ which are $K$-isogenous and of $\mathrm{GL}_2$-type over $\overline{\mathbb{Q}}$. We show that there is a $K$-isogeny $A\to B$ of degree effectively bounded in terms of $g$, $K$, and $S$ only.
We deduce among other things an effective upper bound on the number of $S$-integral $K$-points on a Hilbert modular variety.

[72]  arXiv:2111.12468 [pdf, ps, other]
Title: Horofunction compactifications of symmetric cones under Finsler distances
Authors: Bas Lemmens
Comments: 22 pages
Subjects: Metric Geometry (math.MG); Differential Geometry (math.DG); Geometric Topology (math.GT)

In this paper we establish a correspondence between the horofunction compactification of a symmetric cone $A_+^\circ$ under certain Finsler distances and the horofunction compactification of the normed space in the tangent bundle. More precisely, we consider the Thompson distance on $A^\circ_+$ and the Hilbert distance on the projective cone $PA_+^\circ$. We show that the exponential map extends as a homeomorphism between the horofunction compactification of the normed space in the tangent bundle and the horofunction compactification of $A_+^\circ$ under the Thompson distance. We prove an analogues result for the Hilbert distance on $PA_+^\circ$. These results yield a complete geometric description of the horofunction compactifications of these spaces in terms of the facial structure of the closed unit ball of the dual norm of the norm in the tangent space.

[73]  arXiv:2111.12470 [pdf, other]
Title: Combinatorial Optimization Problems with Balanced Regret
Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

For decision making under uncertainty, min-max regret has been established as a popular methodology to find robust solutions. In this approach, we compare the performance of our solution against the best possible performance had we known the true scenario in advance. We introduce a generalization of this setting which allows us to compare against solutions that are also affected by uncertainty, which we call balanced regret. Using budgeted uncertainty sets, this allows for a wider range of possible alternatives the decision maker may choose from. We analyze this approach for general combinatorial problems, providing an iterative solution method and insights into solution properties. We then consider a type of selection problem in more detail and show that, while the classic regret setting with budgeted uncertainty sets can be solved in polynomial time, the balanced regret problem becomes NP-hard. In computational experiments using random and real-world data, we show that balanced regret solutions provide a useful trade-off for the performance in classic performance measures.

[74]  arXiv:2111.12479 [pdf, other]
Title: Construction and evaluation of PH curves in exponential-polynomial spaces
Subjects: Numerical Analysis (math.NA)

In the past few decades polynomial curves with Pythagorean Hodograph (for short PH curves) have received considerable attention due to their usefulness in various CAD/CAM areas, manufacturing, numerical control machining and robotics. This work deals with classes of PH curves built-upon exponential-polynomial spaces (for short EPH curves). In particular, for the two most frequently encountered exponential-polynomial spaces, we first provide necessary and sufficient conditions to be satisfied by the control polygon of the B\'{e}zier-like curve in order to fulfill the PH property. Then, for such EPH curves, fundamental characteristics like parametric speed or cumulative and total arc length are discussed to show the interesting analogies with their well-known polynomial counterparts. Differences and advantages with respect to ordinary PH curves become commendable when discussing the solutions to application problems like the interpolation of first-order Hermite data. Finally, a new evaluation algorithm for EPH curves is proposed and shown to compare favorably with the celebrated de Casteljau-like algorithm and two recently proposed methods: Wo\'zny and Chudy's algorithm and the dynamic evaluation procedure by Yang and Hong.

[75]  arXiv:2111.12489 [pdf, ps, other]
Title: Repeated-root Constacyclic Codes with Optimal Locality
Subjects: Information Theory (cs.IT)

A code is called a locally repairable code (LRC) if any code symbol is a function of a small fraction of other code symbols. When a locally repairable code is employed in a distributed storage systems, an erased symbol can be recovered by accessing only a small number of other symbols, and hence alleviating the network resources required during the repair process. In this paper we consider repeated-root constacyclic codes, which is a generalization of cyclic codes, that are optimal with respect to a Singleton-like bound on minimum distance. An LRC with the structure of a constacyclic code can be encoded efficiently using any encoding algorithm for constacyclic codes in general. In this paper we obtain optimal LRCs among these repeated-root constacyclic codes. Several infinite classes of optimal LRCs over a fixed alphabet are found. Under a further assumption that the ambient space of the repeated-root constacyclic codes is a chain ring, we show that there is no other optimal LRC.

[76]  arXiv:2111.12491 [pdf, other]
Title: Efficient semidefinite bounds for multi-label discrete graphical models
Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI)

By concisely representing a joint function of many variables as the combination of small functions, discrete graphical models (GMs) provide a powerful framework to analyze stochastic and deterministic systems of interacting variables. One of the main queries on such models is to identify the extremum of this joint function. This is known as the Weighted Constraint Satisfaction Problem (WCSP) on deterministic Cost Function Networks and as Maximum a Posteriori (MAP) inference on stochastic Markov Random Fields. Algorithms for approximate WCSP inference typically rely on local consistency algorithms or belief propagation. These methods are intimately related to linear programming (LP) relaxations and often coupled with reparametrizations defined by the dual solution of the associated LP. Since the seminal work of Goemans and Williamson, it is well understood that convex SDP relaxations can provide superior guarantees to LP. But the inherent computational cost of interior point methods has limited their application. The situation has improved with the introduction of non-convex Burer-Monteiro style methods which are well suited to handle the SDP relaxation of combinatorial problems with binary variables (such as MAXCUT, MaxSAT or MAP/Ising). We compute low rank SDP upper and lower bounds for discrete pairwise graphical models with arbitrary number of values and arbitrary binary cost functions by extending a Burer-Monteiro style method based on row-by-row updates. We consider a traditional dualized constraint approach and a dedicated Block Coordinate Descent approach which avoids introducing large penalty coefficients to the formulation. On increasingly hard and dense WCSP/CFN instances, we observe that the BCD approach can outperform the dualized approach and provide tighter bounds than local consistencies/convergent message passing approaches.

[77]  arXiv:2111.12494 [pdf, other]
Title: Time-Energy-Constrained Closed-Loop FBL Communication for Dependable MEC
Comments: Accepted for publication at CSCN 2021
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

The deployment of multi-access edge computing (MEC) is paving the way towards pervasive intelligence in future 6G networks. This new paradigm also proposes emerging requirements of dependable communications, which goes beyond the ultra-reliable low latency communication (URLLC), focusing on the performance of a closed loop instead of that of an unidirectional link. This work studies the simple but efficient one-shot transmission scheme, investigating the closed-loop-reliability-optimal policy of blocklength allocation under stringent time and energy constraints.

[78]  arXiv:2111.12497 [pdf, ps, other]
Title: Performance of Reconfigurable Intelligent Surfaces in the Presence of Generalized Gaussian Noise
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

In this letter, we investigate the performance of reconfigurable intelligent surface (RIS)-assisted communications, under the assumption of generalized Gaussian noise (GGN), over Rayleigh fading channels. Specifically, we consider an RIS, equipped with $N$ reflecting elements, and derive a novel closed-form expression for the symbol error rate (SER) of arbitrary modulation schemes. The usefulness of the derived new expression is that it can be used to capture the SER performance in the presence of special additive noise distributions such as Gamma, Laplacian, and Gaussian noise. These special cases are also considered and their associated asymptotic SER expressions are derived, and then employed to quantify the achievable diversity order of the system. The theoretical framework is corroborated by numerical results, which reveal that the shaping parameter of the GGN ($\alpha$) has a negligible effect on the diversity order of RIS-assisted systems, particularly for large $\alpha$ values. Accordingly, the maximum achievable diversity order is determined by $N$.

[79]  arXiv:2111.12501 [pdf, ps, other]
Title: Conformal Submersion with Horizontal Distribution
Subjects: Differential Geometry (math.DG)

In this article, conformal submersion with horizontal distribution of Riemannian manifolds is defined which is a generalization of the affine submersion with horizontal distribution. Then, a necessary condition is obtained for the existence of a conformal submersion with horizontal distribution. For the dual connections $\nabla$ and $\overline{\nabla}$ on manifold $\mathbf{M}$ and $\nabla^*$ and $\overline{\nabla}^*$ on manifold $\mathbf{B}$, we show that $\pi: (\mathbf{M},\nabla) \longrightarrow (\mathbf{B}, \nabla^{*}) $ is a conformal submersion with horizontal distribution if and only if $\pi: (\mathbf{M},\overline{\nabla}) \longrightarrow (\mathbf{B}, \overline{\nabla^{*}}) $ is a conformal submersion with horizontal distribution. Also, we obtained a necessary and sufficient condition for $\pi \circ \sigma$ to become a geodesic of $\mathbf{B}$ if $\sigma$ is a geodesic of $\mathbf{M}$ for $ \pi: (\mathbf{M},\nabla,g_{m}) \rightarrow (\mathbf{B},\nabla^{*},g_{b})$ a conformal submersion with horizontal distribution.

[80]  arXiv:2111.12508 [pdf, ps, other]
Title: Reflection on the enrichment of double categories
Authors: Flavien Breuvart
Comments: This version an extended but early draft : with hardly any references, explanations and discussions, lacking some definitions and examples, and, above all, without formal proofs. To be frank, some proofs have only be roughly checked on papers, and there may well be mistakes. A more definitive version should follow
Subjects: Category Theory (math.CT)

Enrichment and internal categories are two different way to generalize the notion of category. As such, enriching double categories (which are categories internal to Cat) is not a clear concepts. One can look at the internal categories of the category of C-enriched categories or the internal C-category in Cat. This concepts, unfortunately, are not powerful enough, even thin (posetal) double categories can't be seen this way. However, an orthogonal investigation, that of the enrichment by a double category, will help relaxing the internal C-category to a incorporate the internal categories of the category of C-enriched categories, as well as thin double categories or framed bicategories.

[81]  arXiv:2111.12511 [pdf, other]
Title: Deep learning-based reduced order models for the real-time simulation of the nonlinear dynamics of microstructures
Comments: arXiv admin note: text overlap with arXiv:2001.04001
Subjects: Numerical Analysis (math.NA)

We propose a non-intrusive Deep Learning-based Reduced Order Model (DL-ROM) capable of capturing the complex dynamics of mechanical systems showing inertia and geometric nonlinearities. In the first phase, a limited number of high fidelity snapshots are used to generate a POD-Galerkin ROM which is subsequently exploited to generate the data, covering the whole parameter range, used in the training phase of the DL-ROM. A convolutional autoencoder is employed to map the system response onto a low-dimensional representation and, in parallel, to model the reduced nonlinear trial manifold. The system dynamics on the manifold is described by means of a deep feedforward neural network that is trained together with the autoencoder. The strategy is benchmarked against high fidelity solutions on a clamped-clamped beam and on a real micromirror with softening response and multiplicity of solutions. By comparing the different computational costs, we discuss the impressive gain in performance and show that the DL-ROM truly represents a real-time tool which can be profitably and efficiently employed in complex system-level simulation procedures for design and optimisation purposes.

[82]  arXiv:2111.12517 [pdf, other]
Title: Explicit formulas concerning eigenvectors of weakly non-unitary matrices
Authors: Guillaume Dubach
Comments: 12 pages, 1 figure
Subjects: Probability (math.PR); Mathematical Physics (math-ph)

We investigate eigenvector statistics of the Truncated Unitary ensemble $\mathrm{TUE}(N,M)$ in the weakly non-unitary case $M=1$, that is when only one row and column are removed. We provide an explicit description of generalized overlaps as deterministic functions of the eigenvalues, as well as a method to derive an exact formula for the expectation of diagonal overlaps (or squared eigenvalue condition numbers), conditionally on one eigenvalue. This complements recent results obtained in the opposite regime when $M \geq N$, suggesting possible extensions to $\mathrm{TUE}(N,M)$ for all values of $M$.

[83]  arXiv:2111.12519 [pdf, ps, other]
Title: A Majorized-Generalized Alternating Direction Method of Multipliers for Convex Composite Programming
Subjects: Optimization and Control (math.OC)

The linearly constrained convex composite programming problems whose objective function contains two blocks with each block being the form of nonsmooth+smooth arises frequently in multiple fields of applications. If both of the smooth terms are quadratic, this problem can be solved efficiently by using the symmetric Gaussian-Seidel (sGS) technique based proximal alternating direction method of multipliers (ADMM). However, in the non-quadratic case, the sGS technique can not be used any more, which leads to the separable structure of nonsmooth+smooth had to be ignored. In this paper, we present a generalized ADMM and particularly use a majorization technique to make the corresponding subproblems more amenable to efficient computations. Under some appropriate conditions, we prove its global convergence for the relaxation factor in $(0,2)$. We apply the algorithm to solve a kind of simulated convex composite optimization problems and a type of sparse inverse covariance matrix estimation problems which illustrates that the effectiveness of the algorithm are obvious.

[84]  arXiv:2111.12521 [pdf, other]
Title: Probabilistic Behavioral Distance and Tuning - Reducing and aggregating complex systems
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Adaptation and Self-Organizing Systems (nlin.AO)

Given a complex system with a given interface to the rest of the world, what does it mean for a the system to behave close to a simpler specification describing the behavior at the interface? We give several definitions for useful notions of distances between a complex system and a specification by combining a behavioral and probabilistic perspective. These distances can be used to tune a complex system to a specification. We show that our approach can successfully tune non-linear networked systems to behave like much smaller networks, allowing us to aggregate large sub-networks into one or two effective nodes. Finally, we discuss similarities and differences between our approach and $H_\infty$ model reduction.

[85]  arXiv:2111.12533 [pdf, other]
Title: Tight bounds on the expected number of holes in random point sets
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Probability (math.PR)

For integers $d \geq 2$ and $k \geq d+1$, a $k$-hole in a set $S$ of points in general position in $\mathbb{R}^d$ is a $k$-tuple of points from $S$ in convex position such that the interior of their convex hull does not contain any point from $S$. For a convex body $K \subseteq \mathbb{R}^d$ of unit $d$-dimensional volume, we study the expected number $EH^K_{d,k}(n)$ of $k$-holes in a set of $n$ points drawn uniformly and independently at random from $K$.
We prove an asymptotically tight lower bound on $EH^K_{d,k}(n)$ by showing that, for all fixed integers $d \geq 2$ and $k\geq d+1$, the number $EH_{d,k}^K(n)$ is at least $\Omega(n^d)$. For some small holes, we even determine the leading constant $\lim_{n \to \infty}n^{-d}EH^K_{d,k}(n)$ exactly. We improve the currently best known lower bound on $\lim_{n \to \infty}n^{-d}EH^K_{d,d+1}(n)$ by Reitzner and Temesvari (2019). In the plane, we show that the constant $\lim_{n \to \infty}n^{-2}EH^K_{2,k}(n)$ is independent of $K$ for every fixed $k \geq 3$ and we compute it exactly for $k=4$, improving earlier estimates by Fabila-Monroy, Huemer, and Mitsche (2015) and by the authors (2020).

[86]  arXiv:2111.12534 [pdf, ps, other]
Title: Flexibility in generating sets of finite groups
Authors: Scott Harper
Comments: 5 pages; to appear in Archiv der Mathematik
Subjects: Group Theory (math.GR)

Let G be a finite group. It has recently been proved that every nontrivial element of G is contained in a generating set of minimal size if and only if all proper quotients of G require fewer generators than G. It is natural to ask which finite groups, in addition, have the property that any two elements of G that do not generate a cyclic group can be extended to a generating set of minimal size. This note answers the question. The only such finite groups are very specific affine groups: elementary abelian groups extended by a cyclic group acting as scalars.

[87]  arXiv:2111.12537 [pdf, ps, other]
Title: Processing of optical signals by "surgical" methods for the Gelfand-Levitan-Marchenko equation
Subjects: Numerical Analysis (math.NA)

We propose a new method for solving the Gelfand-Levitan-Marchenko equation (GLME) based on the block version of the Toeplitz Inner-Bordering (TIB) with an arbitrary point to start the calculation. This makes it possible to find solutions of the GLME at an arbitrary point with a cutoff of the matrix coefficient, which allows to avoid the occurrence of numerical instability and to perform calculations for soliton solutions spaced apart in the time domain. Using an example of two solitons, we demonstrate our method and its range of applicability. An example of eight solitons shows how the method can be applied to a more complex signal configuration.

[88]  arXiv:2111.12546 [pdf, other]
Title: Heteroclinic traveling waves of 1D parabolic systems with degenerate stable states
Comments: arXiv admin note: text overlap with arXiv:2106.09441
Subjects: Analysis of PDEs (math.AP)

We study the existence of traveling waves for the parabolic system \begin{equation} \partial_t w - \partial_{x}^2 w = -\nabla_{\mathbf{u}} W(w) \mbox{ in } [0,+\infty) \times \mathbb{R}^2 \end{equation} where $W$ is a potential bounded below and possessing two minima at \textit{different levels}. We say that $\mathfrak{w}$ is a traveling wave solution of the previous equation if there exist $c^\star>0$ and $\mathfrak{u} \in \mathcal{C}^2(\mathbb{R},\mathbb{R}^k)$ such that $\mathfrak{w}(t,x)=\mathfrak{u}(x-ct)$. For a class of potentials $W$, heteroclinic traveling waves of the previous equation where shown to exist by Alikakos and Katzourakis \cite{alikakos-katzourakis}. More precisely, assuming the existence of two local minimizers of $W$ at \textit{different} levels which, in addition, satisfy some non-degeneracy assumptions, the authors in \cite{alikakos-katzourakis} show the existence of a speed $c^\star>0$ and profile $\mathfrak{u} \in \mathcal{C}^2(\mathbb{R},\mathbb{R}^k)$ such that $\mathfrak{u}$ connects the two local minimizers at infinity. In this paper, we show that the non-degeneracy assumption on the local minima can be dropped and replaced by another one which allows for potentials possessing degenerate minima. As we do in \cite{oliver-bonafoux-tw}, our main result is in fact proven for curves which take values in a general Hilbert space and the main result is deduced as a particular case, in the spirit of the earlier works by Monteil and Santambrogio \cite{monteil-santambrogio} and Smyrnelis \cite{smyrnelis} devoted to the existence of stationary heteroclinics.

[89]  arXiv:2111.12551 [pdf, ps, other]
Title: The life, work and legacy of P. L. Chebyshev
Authors: N. H. Bingham
Subjects: History and Overview (math.HO); Probability (math.PR)

We survey briefly the life and work of P. L. Chebyshev, and his ongoing influence. We discuss his contributions to probability, number theory and mechanics, his pupils and mathematical descendants, and his role as the founding father of Russian mathematics in general and of the Russian school of probability in particular.

[90]  arXiv:2111.12562 [pdf, ps, other]
Title: Kurt Gödel's reception of Charles Hartshorne's ontological proof
Journal-ref: E. Ramharter (ed.), The Vienna Circle and Religion. Vienna Circle Institute Yearbook. Springer. (2021)
Subjects: History and Overview (math.HO); Logic (math.LO)

In 1962 Charles Hartshorne published a modal logic proof formalizing Anselm of Canterbury's ontological argument for the necessary existence of God. This article presents Kurt G\"odel's notes on this proof which have now been discovered in his Nachlass among other theological material, and discusses possible influences on the development of G\"odel's own ontological proof. To complete the picture, strong connections between Anselm of Canterbury's and G\"odel's conceptions of God and his positive properties are pointed out.

[91]  arXiv:2111.12571 [pdf, ps, other]
Title: Fluctuations in Salem--Zygmund almost sure central limit theorem
Comments: 42 pages
Subjects: Probability (math.PR)

Let us consider i.i.d. random variables $\{a_k,b_k\}_{k \geq 1}$ defined on a common probability space $(\Omega, \mathcal F, \mathbb P)$, following a symmetric Rademacher distribution and the associated random trigonometric polynomials $S_n(\theta)= \frac{1}{\sqrt{n}} \sum_{k=1}^n a_k \cos(k\theta)+b_k \sin(k\theta)$. A seminal result by Salem and Zygmund ensures that $\mathbb{P}-$almost surely, $\forall t\in\mathbb{R}$ \[ \lim_{n \to +\infty} \frac{1}{2\pi}\int_0^{2\pi} e^{i t S_n(\theta)}d\theta=e^{-t^2/2}. \] This result was then further generalized in various directions regarding the coefficients distribution, their dependency structure or else the dimension and the nature of the ambient manifold. To the best of our knowledge, the natural question of the fluctuations in the above limit has not been tackled so far and is precisely the object of this article. Namely, for general i.i.d. symmetric random coefficients having a finite sixth-moment and for a large class of continuous test functions $\phi$ we prove that \[ \sqrt{n}\left(\frac{1}{2\pi}\int_0^{2\pi} \phi(S_n(\theta))d\theta-\int_{\mathbb{R}}\phi(t)\frac{e^{-\frac{t^2}{2}}dt}{\sqrt{2\pi}}\right)\xrightarrow[n\to\infty]{\text{Law}}~\mathcal{N}\left(0,\sigma_{\phi}^2+\frac{c_2(\phi)^2}{2}\left(\mathbb{E}(a_1^4)-3\right)\right). \] Here, the constant $\sigma_{\phi}^2$ is explicit and corresponds to the limit variance in the case of Gaussian coefficients and $c_2(\phi)$ is the coefficient of order $2$ in the decomposition of $\phi$ in the Hermite polynomial basis. Surprisingly, it thus turns out that the fluctuations are not universal since they both involve the kurtosis of the coefficients and the second coefficient of $\phi$ in the Hermite basis.

[92]  arXiv:2111.12584 [pdf, other]
Title: Coagulation dynamics under random field: turbulence effects on rain
Authors: Andrea Papini
Comments: 25 pages, 13 figures
Subjects: Probability (math.PR)

Turbulence in growth of rain droplets and rain formation is studied under an approximating particle system representing aggregation at the level of individuals, depending on their volume and distance in space, of the Smoluchowski Coagulation equation. A random field is introduced to model the air flow interaction with the particles and it is proved that the empirical density of the individual converges to solutions of limiting equation under different setting for the random field of interaction. A brief numerical study for the continuous density is proposed using the particles approach, to analyze how noise can arise in such system and the effectiveness on rain formation.

[93]  arXiv:2111.12586 [pdf, ps, other]
Title: $H^\infty$-calculus for the surface Stokes operator and applications
Comments: 25 pages
Subjects: Analysis of PDEs (math.AP)

We consider a smooth, compact and embedded hypersurface $\Sigma$ without boundary and show that the corresponding (shifted) surface Stokes operator $\omega+A_{S,\Sigma}$ admits a bounded $H^\infty$-calculus with angle smaller than $\pi/2$, provided $\omega>0$. As an application, we consider critical spaces for the Navier-Stokes equations on the surface $\Sigma$. In case $\Sigma$ is two-dimensional, we show that any solution with a divergence-free initial value in $L_2(\Sigma,\mathsf{T}\Sigma)$ exists globally and converges exponentially fast to an equilibrium, that is, to a Killing field.

[94]  arXiv:2111.12587 [pdf, ps, other]
Title: Positive Tropical Flags and the Positive Tropical Dressian
Comments: 9 pages, This is an extended abstract for FPSAC 2022
Subjects: Combinatorics (math.CO)

We study the totally non-negative part of the complete flag variety and of its tropicalization. We start by showing that Lusztig's notion of non-negative complete flag variety coincides with the flags in the complete flag variety which have non-negative Pl\"ucker coordinates. This mirrors the characterization of the totally non-negative Grassmannian as those points in the Grassmannian with all non-negative Pl\"ucker coordinates. We then study the tropical complete flag variety and complete flag Dressian, which are two tropical versions of the complete flag variety, capturing realizable and abstract flags of tropical linear spaces, respectively. The complete flag Dressian properly contains the tropical complete flag variety. However, we show that the totally non-negative parts of these spaces coincide.

[95]  arXiv:2111.12601 [pdf, ps, other]
Title: Pedersen--Takesaki operator equation in Hilbert $C^*$-modules
Comments: 16 pages
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)

We extend a work of Pedersen and Takesaki by giving some equivalent conditions for the existence of a positive solution of the so-called Pedersen--Takesaki operator equation $XHX=K$ in the setting of Hilbert $C^*$-modules. It is known that the Douglas lemma does not hold in the setting of Hilbert $C^*$-modules in its general form. In fact, if $\mathscr{E}$ is a Hilbert $C^*$-module and $A, B \in \mathcal{L}(\mathscr E)$, then the operator inequality $B B^*\le \lambda AA^*$ with $\lambda>0$ does not ensure that the operator equation $AX=B$ has a solution, in general. We show that under a mild orthogonally complemented condition on the range of operators, $AX=B$ has a solution if and only if $BB^*\leq \lambda AA^*$ and $\mathscr R(A) \supseteq \mathscr R(BB^*)$. Furthermore, we prove that if $\mathcal{L}(\mathscr E)$ is a $W^*$-algebra, $A,B\in \mathcal{L}(\mathscr E)$, and $\overline{\mathscr R(A^*)}=\mathscr E$, then $BB^*\leq\lambda AA^*$ for some $\lambda>0$ if and only if $\mathscr R (B)\subseteq \mathscr R(A)$. Several examples are given to support the new findings.

[96]  arXiv:2111.12603 [pdf, ps, other]
Title: Strong Invariance Principles for Ergodic Markov Processes
Subjects: Statistics Theory (math.ST); Probability (math.PR); Computation (stat.CO)

Strong invariance principles describe the error term of a Brownian approximation of the partial sums of a stochastic process. While these strong approximation results have many applications, the results for continuous-time settings have been limited. In this paper, we obtain strong invariance principles for a broad class of ergodic Markov processes. The main results rely on ergodicity requirements and an application of Nummelin splitting for continuous-time processes. Strong invariance principles provide a unified framework for analysing commonly used estimators of the asymptotic variance in settings with a dependence structure. We demonstrate how this can be used to analyse the batch means method for simulation output of Piecewise Deterministic Monte Carlo samplers. We also derive a fluctuation result for additive functionals of ergodic diffusions using our strong approximation results.

[97]  arXiv:2111.12605 [pdf, ps, other]
Title: Power-norms based on Hilbert $C^*$-modules
Comments: 20 pages
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)

Suppose that $\mathscr{E}$ and $\mathscr{F}$ are Hilbert $C^*$-modules. We present a power-norm $\left(\left\|\cdot\right\|^{\mathscr{E}}_n:n\in\mathbb{N}\right)$ based on $\mathscr{E}$ and obtain some of its fundamental properties. We introduce a new definition of the absolutely $(2,2)$-summing operators from $\mathscr{E}$ to $\mathscr{F}$, and denote the set of such operators by $\tilde{\Pi}_2(\mathscr{E},\mathscr{F})$ with the convention $\tilde{\Pi}_2(\mathscr{E})=\tilde{\Pi}_2(\mathscr{E},\mathscr{E})$. It is known that the class of all Hilbert--Schmidt operators on a Hilbert space $\mathscr{H}$ is the same as the space $\tilde{\Pi}_2(\mathscr{H})$. We show that the class of Hilbert--Schmidt operators introduced by Frank and Larson coincides with the space $\tilde{\Pi}_2(\mathscr{E})$ for a finitely or countably generated Hilbert $C^*$-module $\mathscr{E}$ over a unital and commutative $C^*$-algebra. These results motivate us to investigate the properties of the space $\tilde{\Pi}_2(\mathscr{E},\mathscr{F})$.

[98]  arXiv:2111.12607 [pdf, ps, other]
Title: Heat kernel bounds and Ricci curvature for Lipschitz manifolds
Comments: 28 pages. Comments welcome
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Probability (math.PR)

Given any $d$-dimensional Lipschitz Riemannian manifold $(M,g)$ with heat kernel $\mathsf{p}$, we establish uniform upper bounds on $\mathsf{p}$ which can always be decoupled in space and time. More precisely, we prove the existence of a constant $C>0$ and a bounded Lipschitz function $R\colon M \to (0,\infty)$ such that for every $x\in M$ and every $t>0$, \begin{align*} \sup_{y\in M} \mathsf{p}(t,x,y) \leq C\min\{t, R^2(x)\}^{-d/2}. \end{align*} This allows us to identify suitable weighted Lebesgue spaces w.r.t. the given volume measure as subsets of the Kato class induced by $(M,g)$. In the case $\partial M \neq \emptyset$, we also provide an analogous inclusion for Lebesgue spaces w.r.t. the surface measure on $\partial M$.
We use these insights to give sufficient conditions for a possibly noncomplete Lipschitz Riemannian manifold to be tamed, i.e. to admit a measure-valued lower bound on the Ricci curvature, formulated in a synthetic sense.

[99]  arXiv:2111.12610 [pdf, other]
Title: Hausdorff dimension of limsup sets of isotropic rectangles in Heisenberg groups
Authors: Markus Myllyoja
Comments: 25 pages, 3 figures
Subjects: Classical Analysis and ODEs (math.CA)

A formula for the Hausdorff dimension of typical limsup sets generated by randomly distributed isotropic rectangles in Heisenberg groups is derived in terms of directed singular value functions.

[100]  arXiv:2111.12611 [pdf, other]
Title: Maximum relative distance between symmetric rank-two and rank-one tensors
Subjects: Algebraic Geometry (math.AG); Optimization and Control (math.OC)

It is shown that the relative distance in Frobenius norm of a real symmetric order-$d$ tensor of rank two to its best rank-one approximation is upper bounded by $\sqrt{1-(1-1/d)^{d-1}}$. This is achieved by determining the minimal possible ratio between spectral and Frobenius norm for symmetric tensors of border rank two, which equals $\left(1-{1}/{d}\right)^{(d-1)/{2}}$. These bounds are also verified for nonsymmetric tensors of order $d=3$.

[101]  arXiv:2111.12612 [pdf, other]
Title: Multiplier bootstrap for Bures-Wasserstein barycenters
Comments: 36 pages, 2 figures
Subjects: Statistics Theory (math.ST); Applications (stat.AP)

Bures-Wasserstein barycenter is a popular and promising tool in analysis of complex data like graphs, images etc. In many applications the input data are random with an unknown distribution, and uncertainty quantification becomes a crucial issue. This paper offers an approach based on multiplier bootstrap to quantify the error of approximating the true Bures--Wasserstein barycenter $Q_*$ by its empirical counterpart $Q_n$. The main results state the bootstrap validity under general assumptions on the data generating distribution $P$ and specifies the approximation rates for the case of sub-exponential $P$. The performance of the method is illustrated on synthetic data generated from the weighted stochastic block model.

[102]  arXiv:2111.12620 [pdf, other]
Title: Convergence of the harmonic balance method for smooth Hilbert space valued differential-algebraic equations
Subjects: Numerical Analysis (math.NA)

We analyze the convergence of the harmonic balance method for computing isolated periodic solutions of a large class of continuously differentiable Hilbert space valued differential-algebraic equations (DAEs). We establish asymptotic convergence estimates for (i) the approximate periodic solution in terms of the number of approximated harmonics and (ii) the inexact Newton method used to compute the approximate Fourier coefficients. The convergence estimates are deter-mined by the rate of convergence of the Fourier series of the exact solution and the structure of the DAE. Both the case that the period is known and unknown are analyzed, where in the latter case we require enforcing an appropriately defined phase condition. The theoretical results are illustrated with several numerical experiments from circuit modeling and structural dynamics.

[103]  arXiv:2111.12625 [pdf, other]
Title: Quantum Entanglement and the Growth of Laplacian Eigenfunctions
Subjects: Spectral Theory (math.SP)

We study the growth of Laplacian eigenfunctions $ -\Delta \phi_k = \lambda_k \phi_k$ on compact manifolds $(M,g)$. H\"ormander proved sharp polynomial bounds on $\| \phi_k\|_{L^{\infty}}$ which are attained on the sphere. On a `generic' manifold, the behavior seems to be different: both numerics and Berry's random wave model suggest $\| \phi_k\|_{L^{\infty}} \lesssim \sqrt{\log{\lambda_k}}$ as the typical behavior. We propose a mechanism, centered around an $L^1-$analogue of the spectral projector, for explaining the slow growth in the generic case: for $\phi_{n+1}(x_0)$ to be large, it is necessary that either (1) several of the first $n$ eigenfunctions were large in $x_0$ or (2) that $\phi_{n+1}$ is strongly correlated with a suitable linear combination of the first $n$ eigenfunctions on most of the manifold or (3) both. An interesting byproduct is quantum entanglement for Laplacian eigenfunctions: the existence of two distinct points $x,y \in M$ such that the sequences $(\phi_k(x))_{k=1}^{\infty}$ and $(\phi_k(y))_{k=1}^{\infty}$ do not behave like independent random variables. The existence of such points is not to be expected for generic manifolds but common for the classical manifolds and subtly intertwined with eigenfunction concentration.

[104]  arXiv:2111.12630 [pdf, ps, other]
Title: Computation of extension spaces for the path algebra of type $\tilde A(n-1,1)$ using planar curves
Subjects: Representation Theory (math.RT)

$Q$ is a quiver of type $\tilde A(n-1,1)$ if its graph is of affine type $\tilde A_{n-1}$ and if its arrows have a certain orientation. We develop a bijection between the set of indecomposable $kQ$-modules whose dimension vectors are positive real roots of the root system associated to $Q$ and a certain set of planar curves. We prove that the number of self-intersections of the curve which corresponds to the module $M$ is equal to the dimension of $\text{Ext}^1_{kQ}(M,M)$. We also prove that, for many pairs of modules $(M,N)$, the number of intersections between the corresponding two curves is equal to the dimension of $\text{Ext}^1_C (M,N)$, where $C$ is the cluster category of $kQ$-mod.

[105]  arXiv:2111.12632 [pdf, ps, other]
Title: Convex characters, algorithms and matchings
Comments: 23 pages, supplementary material can be found at this https URL
Subjects: Combinatorics (math.CO); Populations and Evolution (q-bio.PE)

Phylogenetic trees are used to model evolution: leaves are labelled to represent contemporary species ("taxa") and interior vertices represent extinct ancestors. Informally, convex characters are measurements on the contemporary species in which the subset of species (both contemporary and extinct) that share a given state, form a connected subtree. In \cite{KelkS17} it was shown how to efficiently count, list and sample certain restricted subfamilies of convex characters, and algorithmic applications were given. We continue this work in a number of directions. First, we show how combining the enumeration of convex characters with existing parameterised algorithms can be used to speed up exponential-time algorithms for the \emph{maximum agreement forest problem} in phylogenetics. Second, we re-visit the quantity $g_2(T)$, defined as the number of convex characters on $T$ in which each state appears on at least 2 taxa. We use this to give an algorithm with running time $O( \phi^{n} \cdot \text{poly}(n) )$, where $\phi \approx 1.6181$ is the golden ratio and $n$ is the number of taxa in the input trees, for computation of \emph{maximum parsimony distance on two state characters}. By further restricting the characters counted by $g_2(T)$ we open an interesting bridge to the literature on enumeration of matchings. By crossing this bridge we improve the running time of the aforementioned parsimony distance algorithm to $O( 1.5895^{n} \cdot \text{poly}(n) )$, and obtain a number of new results in themselves relevant to enumeration of matchings on at-most binary trees.

[106]  arXiv:2111.12633 [pdf, other]
Title: Untangling the role of temporal and spatial variations in persistance of populations
Subjects: Dynamical Systems (math.DS); Probability (math.PR); Populations and Evolution (q-bio.PE)

We consider a population distributed between two habitats, in each of which it experiences a growth rate that switches periodically between two values, $1- \varepsilon > 0$ or $ - (1 + \varepsilon) < 0$. We study the specific case where the growth rate is positive in one habitat and negative in the other one for the first half of the period, and conversely for the second half of the period, that we refer as the $(\pm 1)$ model. In the absence of migration, the population goes to $0$ exponentially fast in each environment. In this paper, we show that, when the period is sufficiently large, a small dispersal between the two patches is able to produce a very high positive exponential growth rate for the whole population, a phenomena called inflation. We prove in particular that the threshold of the dispersal rate at which the inflation appears is exponentially small with the period. We show that inflation is robust to random perturbation, by considering a model where the values of the growth rate in each patch are switched at random times: we prove, using theory of Piecewise Deterministic Markov Processes (PDMP) that inflation occurs for low switching rate and small dispersal. Finally, we provide some extensions to more complicated models, especially epidemiological and density dependent models.

[107]  arXiv:2111.12642 [pdf, other]
Title: A global quadratic speed-up for computing the principal eigenvalue of Perron-like operators
Authors: Dong Li, Jianan Li
Comments: 18 pages
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

We consider a new algorithm in light of the min-max Collatz-Wielandt formalism to compute the principal eigenvalue and the eigenvector (eigen-function) for a class of positive Perron-Frobenius-like operators. Such operators are natural generalizations of the usual nonnegative primitive matrices. These have nontrivial applications in PDE problems such as computing the principal eigenvalue of Dirichlet Laplacian operators on general domains. We rigorously prove that for general initial data the corresponding numerical iterates converge globally to the unique principal eigenvalue with quadratic convergence. We show that the quadratic convergence is sharp with compatible upper and lower bounds. We demonstrate the effectiveness of the scheme via several illustrative numerical examples.

[108]  arXiv:2111.12649 [pdf, ps, other]
Title: Global Output Feedback Stabilization of Semilinear Reaction-Diffusion PDEs
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

This paper addresses the topic of global output feedback stabilization of semilinear reaction-diffusion PDEs. The semilinearity is assumed to be confined into a sector condition. We consider two different types of actuation configurations, namely: bounded control operator and right Robin boundary control. The measurement is selected as a left Dirichlet trace. The control strategy is finite dimensional and is designed based on a linear version of the plant. We derive a set of sufficient conditions ensuring the global exponential stabilization of the semilinear reaction-diffusion PDE. These conditions are shown to be feasible provided the order of the controller is large enough and the size of the sector condition in which the semilinearity is confined into is small enough.

[109]  arXiv:2111.12652 [pdf, ps, other]
Title: Index Theorems for One-dimensional Chirally Symmetric Quantum Walks with Asymptotically Periodic Parameters
Subjects: Mathematical Physics (math-ph)

We focus on index theory for chirally symmetric discrete-time quantum walks on the one-dimensional integer lattice. Such a discrete-time quantum walk model can be characterised as a pair of a unitary self-adjoint operator $\varGamma$ and a unitary time-evolution operator $U,$ satisfying the chiral symmetry condition $U^* = \varGamma U \varGamma.$ The significance of this index theory lies in the fact that the index we assign to the pair $(\varGamma,U)$ gives a lower bound for the number of symmetry protected edge-states associated with the time-evolution $U.$ The symmetry protection of edge-states is one of the important features of the bulk-edge correspondence. The purpose of the present paper is to revisit the well-known bulk-edge correspondence for the split-step quantum walk on the one-dimensional integer lattice. The existing mathematics literature makes use of a fundamental assumption, known as the $2$-phase condition, but we completely replace it by the so-called asymptotically periodic assumption in this article. This generalisation heavily relies on analysis of some topological invariants associated with Toeplitz operators.

[110]  arXiv:2111.12653 [pdf, ps, other]
Title: Quadratic differentials with prescribed singularities
Comments: Improved version of the part on quadratic differentials of arXiv:1705.03240. In French
Subjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG)

The local invariants of a meromorphic quadratic differential on a compact Riemann surface are the orders of zeros and poles, and the residues at the poles of even orders. The main result of this paper is that with few exceptions, every pattern of local invariants can be obtained by a quadratic differential on some Riemann surface. The exceptions are completely classified and only occur in genera zero and one. Moreover, in the case of a nonconnected stratum, we show that, with three exceptions in genus one, every invariants can be realized in each connected component of the stratum. These results are obtained using the flat metric induced by the differentials. We give an application by bounding the number of disjoint cylinders on a primitive quadratic differential.

[111]  arXiv:2111.12660 [pdf, ps, other]
Title: Algebraic integers with conjugates in a prescribed distribution
Authors: Alexander Smith
Comments: 28 pages, comments welcome!
Subjects: Number Theory (math.NT)

Given a compact subset $\Sigma$ of the real numbers obeying some technical conditions, we consider the set of algebraic integers whose conjugates all lie in $\Sigma$. The distribution of conjugates of such an integer defines a probability measure on $\Sigma$; our main result gives a necessary and sufficient condition for a given probability measure on $\Sigma$ to be the limit of some sequence of distributions of conjugates. As one consequence, we show there are infinitely many totally positive algebraic integers $\alpha$ with $tr(\alpha) < 1.8984\cdot deg(\alpha)$. We also show how this work can be applied to find simple abelian varieties over finite fields with extreme point counts.

[112]  arXiv:2111.12662 [pdf, other]
Title: Sums of two squares are strongly biased towards quadratic residues
Authors: Ofir Gorodetsky
Comments: 19 pages, 1 figure, 2 tables. Comments are welcome
Subjects: Number Theory (math.NT)

Chebyshev famously observed empirically that more often than not, there are more primes of the form $3 \bmod 4$ up to $x$ than of the form $1 \bmod 4$. This was confirmed theoretically much later by Rubinstein and Sarnak in a logarithmic density sense. Our understanding of this is conditional on the generalized Riemann Hypothesis as well as Linear Independence of the zeros of L-functions.
We investigate similar questions for sums of two squares in arithmetic progressions. We find a significantly stronger bias than in primes, which happens for almost all integers in a \emph{natural density} sense. Because the bias is more pronounced, we do not need to assume Linear Independence of zeros, only a Chowla-type Conjecture on non-vanishing of L-functions at $1/2$. To illustrate, we have under GRH that the number of sums of two squares up to $x$ that are $1 \bmod 3$ is greater than those that are $2 \bmod 3$ for all but $o(x)$ integers

[113]  arXiv:2111.12666 [pdf, other]
Title: The Complexity of Shake Slice Knots
Subjects: Geometric Topology (math.GT)

We define a notion of complexity for shake-slice knots which is analogous to the definition of complexity for h-cobordisms studied by Morgan-Szab\'o. We prove that for each framing $n \ne 0$ and complexity $c \ge 1$, there is an $n$-shake-slice knot with complexity at least $c$. Our construction makes use of dualizable patterns, and we include a crash course in their constructions and properties. We bound complexity by studing the behavior of the classical knot signature and the Levine-Tristram signature of a knot under the operation of twisting algebraically-one strands.

[114]  arXiv:2111.12667 [pdf, other]
Title: On the impossibility of four-dimensional complex-hyperbolic Einstein Dehn filling
Comments: 14 pages, no figures
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV); Geometric Topology (math.GT)

We show that the complex-hyperbolic Einstein Dehn filling compactification cannot possibly be performed in dimension four.

[115]  arXiv:2111.12670 [pdf, ps, other]
Title: A representation theorem for end spaces of infinite graphs
Comments: 23 pages
Subjects: Combinatorics (math.CO)

End spaces of infinite graphs sit at the interface between graph theory, group theory and topology. They arise as the boundary of an infinite graph in a standard sense generalising the theory of the Freudenthal boundary developed by Freudenthal and Hopf in the 1940's for infinite groups.
A long-standing quest in infinite graph theory with a rich body of literature seeks to describe the possible end structures of graphs by a set of low-complexity representatives. In this paper we present a solution to this fifty-year-old problem by showing that every end space is homeomorphic to the end space of some (uniform graph on a) special order tree.

[116]  arXiv:2111.12674 [pdf, ps, other]
Title: Fourier inversion theorems for integral transforms involving Bessel functions
Authors: Alexey Gorshkov
Subjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP); Functional Analysis (math.FA)

Usually such area of mathematics as differential equations acts as a consumer of results given by functional analysis. This article will give an example of the reverse interaction of these two fields of knowledge. Namely, the derivation and study of integral transforms will be carried out using partial differential equations. We will study generalised Weber-Orr transforms - its invertibility theorems in $f\in L_1\cap L_2$, spectral decomposition, Plancherel-Parseval identity. These transforms possess nontrivial kernel, so spectral decomposition must involve not only continuous spectrum, but also eigen functions which correspond to zero eigen value. We give a new approach to the study of classical and generalized Weber-Orr transforms with a complete derivation of the inversion formulas.

[117]  arXiv:2111.12675 [pdf, other]
Title: The Surprising Benefits of Hysteresis in Unlimited Sampling: Theory, Algorithms and Experiments
Comments: 24 pages
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

The Unlimited Sensing Framework (USF) was recently introduced to overcome the sensor saturation bottleneck in conventional digital acquisition systems. At its core, the USF allows for high-dynamic-range (HDR) signal reconstruction by converting a continuous-time signal into folded, low-dynamic-range (LDR), modulo samples. HDR reconstruction is then carried out by algorithmic unfolding of the folded samples. In hardware, however, implementing an ideal modulo folding requires careful calibration, analog design and high precision. At the interface of theory and practice, this paper explores a computational sampling strategy that relaxes strict hardware requirements by compensating them via a novel, mathematically guaranteed recovery method. Our starting point is a generalized model for USF. The generalization relies on two new parameters modeling hysteresis and folding transients} in addition to the modulo threshold. Hysteresis accounts for the mismatch between the reset threshold and the amplitude displacement at the folding time and we refer to a continuous transition period in the implementation of a reset as folding transient. Both these effects are motivated by our hardware experiments and also occur in previous, domain-specific applications. We show that the effect of hysteresis is beneficial for the USF and we leverage it to derive the first recovery guarantees in the context of our generalized USF model. Additionally, we show how the proposed recovery can be directly generalized for the case of lower sampling rates. Our theoretical work is corroborated by hardware experiments that are based on a hysteresis enabled, modulo ADC testbed comprising off-the-shelf electronic components. Thus, by capitalizing on a collaboration between hardware and algorithms, our paper enables an end-to-end pipeline for HDR sampling allowing more flexible hardware implementations.

[118]  arXiv:2111.12692 [pdf, ps, other]
Title: Weighted Lorentz spaces: sharp mixed $A_p-A_{\infty}$ estimate for maximal functions
Comments: 16 pages
Subjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)

We prove the sharp mixed $A_{p}-A_{\infty}$ weighted estimate for the Hardy-Littlewood maximal function in the context of weighted Lorentz spaces, namely \[ \|M\|_{L^{p,q}(w)} \lesssim_{p,q,n} [w]^{\frac1p}_{A_p}[\sigma]^{\frac1{\min(p,q)}}_{A_{\infty}}, \] where $\sigma=w^{\frac{1}{1-p}}$. Our method is rearrangement free and can also be used to bound similar operators, even in the two-weight setting. We use this to also obtain new quantitative bounds for the strong maximal operator and for $M$ in a dual setting.

Cross-lists for Thu, 25 Nov 21

[119]  arXiv:2111.12096 (cross-list from cond-mat.str-el) [pdf, other]
Title: Spin chains, defects, and quantum wires for the quantum-double edge
Comments: 34 pages, 5 figures
Subjects: Strongly Correlated Electrons (cond-mat.str-el); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA)

Non-Abelian defects that bind Majorana or parafermion zero modes are prominent in several topological quantum computation schemes. Underpinning their established understanding is the quantum Ising spin chain, which can be recast as a fermionic model or viewed as a standalone effective theory for the surface-code edge -- both of which harbor non-Abelian defects. We generalize these notions by deriving an effective Ising-like spin chain describing the edge of quantum-double topological order. Relating Majorana and parafermion modes to anyonic strings, we introduce quantum-double generalizations of non-Abelian defects. We develop a way to embed finite-group valued qunits into those valued in continuous groups. Using this embedding, we provide a continuum description of the spin chain and recast its non-interacting part as a quantum wire via addition of a Wess-Zumino-Novikov-Witten term and non-Abelian bosonization.

[120]  arXiv:2111.12097 (cross-list from cond-mat.str-el) [pdf, other]
Title: Topological characterization of Lieb-Schultz-Mattis constraints and applications to symmetry-enriched quantum criticality
Comments: 23 pages of main text + appendices + ancillary files
Subjects: Strongly Correlated Electrons (cond-mat.str-el); Quantum Gases (cond-mat.quant-gas); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

Lieb-Schultz-Mattis (LSM) theorems provide powerful constraints on the emergibility problem, i.e. whether a quantum phase or phase transition can emerge in a many-body system with local interactions. We derive the topological partition functions that characterize the LSM constraints in spin systems with $G_s\times G_{int}$ symmetry, where $G_s$ is an arbitrary space group in one or two spatial dimensions, and $G_{int}$ is any internal symmetry whose projective representations are classified by $\mathbb{Z}_2^k$ with $k$ an integer. We then apply these results to study the emergibility of a class of exotic quantum critical states, including the well-known deconfined quantum critical point (DQCP), $U(1)$ Dirac spin liquid (DSL), and the recently proposed non-Lagrangian Stiefel liquid. These states can emerge as a consequence of the competition between a magnetic state and a non-magnetic state. We identify all possible realizations of these states on systems with $SO(3)\times \mathbb{Z}_2^T$ internal symmetry and either $p6m$ or $p4m$ lattice symmetry. Many interesting examples are discovered, including a DQCP adjacent to a ferromagnet, stable DSLs on square and honeycomb lattices, and a class of quantum critical spin-quadrupolar liquids of which the most relevant spinful fluctuations carry spin-$2$. In particular, there is a realization of spin-quadrupolar DSL that is beyond the usual parton construction. We further use our formalism to analyze the stability of these states under symmetry-breaking perturbations, such as spin-orbit coupling. As a concrete example, we find that a DSL can be stable in a recently proposed candidate material, NaYbO$_2$.

[121]  arXiv:2111.12177 (cross-list from quant-ph) [pdf, other]
Title: Efficient Product Formulas for Commutators and Applications to Quantum Simulation
Comments: 18 pages, 11 figures
Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)

We construct product formulas for exponentials of commutators and explore their applications. First, we directly construct a third-order product formula with six exponentials by solving polynomial equations obtained using the operator differential method. We then derive higher-order product formulas recursively from the third-order formula. We improve over previous recursive constructions, reducing the number of gates required to achieve the same accuracy. In addition, we demonstrate that the constituent linear terms in the commutator can be included at no extra cost. As an application, we show how to use the product formulas in a digital protocol for counterdiabatic driving, which increases the fidelity for quantum state preparation. We also discuss applications to quantum simulation of one-dimensional fermion chains with nearest- and next-nearest-neighbor hopping terms, and two-dimensional fractional quantum Hall phases.

[122]  arXiv:2111.12239 (cross-list from cs.DM) [pdf, ps, other]
Title: Harmonic Centrality of Some Graph Families
Comments: 10 pages, 5 figures
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

One of the more recent measures of centrality in social network analysis is the normalized harmonic centrality. A variant of the closeness centrality, harmonic centrality sums the inverse of the geodesic distances of each node to other nodes where it is 0 if there is no path from one node to another. It is then normalized by dividing it by m-1, where m is the number of nodes of the graph. In this paper, we present notions regarding the harmonic centrality of some important classes of graphs.

[123]  arXiv:2111.12248 (cross-list from q-fin.RM) [pdf, other]
Title: Non-asymptotic estimation of risk measures using stochastic gradient Langevin dynamics
Subjects: Risk Management (q-fin.RM); Optimization and Control (math.OC); Mathematical Finance (q-fin.MF)

In this paper we will study the approximation of arbitrary law invariant risk measures. As a starting point, we approximate the average value at risk using stochastic gradient Langevin dynamics, which can be seen as a variant of the stochastic gradient descent algorithm. Further, the Kusuoka's spectral representation allows us to bootstrap the estimation of the average value at risk to extend the algorithm to general law invariant risk measures. We will present both theoretical, non-asymptotic convergence rates of the approximation algorithm and numerical simulations.

[124]  arXiv:2111.12267 (cross-list from stat.OT) [pdf, other]
Title: The Practical Scope of the Central Limit Theorem
Comments: 47 pages, 17 figures
Subjects: Other Statistics (stat.OT); Statistics Theory (math.ST); Applications (stat.AP); Methodology (stat.ME)

The \textit{Central Limit Theorem (CLT)} is at the heart of a great deal of applied problem-solving in statistics and data science, but the theorem is silent on an important implementation issue: \textit{how much data do you need for the CLT to give accurate answers to practical questions?} Here we examine several approaches to addressing this issue -- along the way reviewing the history of this problem over the last 290 years -- and we illustrate the calculations with case-studies from finite-population sampling and gambling. A variety of surprises emerge.

[125]  arXiv:2111.12313 (cross-list from cs.DM) [pdf, ps, other]
Title: Explicit solution of divide-and-conquer dividing by a half recurrences with polynomial independent term
Comments: 50 pages
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO); Populations and Evolution (q-bio.PE)

Divide-and-conquer dividing by a half recurrences, of the form $x_n =a\cdot x_{\left\lceil{n}/{2}\right\rceil}+a\cdot x_{\left\lfloor{n}/{2}\right\rfloor}+p(n)$, $n\geq 2$, appear in many areas of applied mathematics, from the analysis of algorithms to the optimization of phylogenetic balance indices. The Master Theorems that solve these equations do not provide the solution's explicit expression, only its big-$\Theta$ order of growth. In this paper we give an explicit expression (in terms of the binary decomposition of $n$) for the solution $x_n$ of a recurrence of this form, with given initial condition $x_1$, when the independent term $p(n)$ is a polynomial in $\lceil{n}/{2}\rceil$ and $\lfloor{n}/{2}\rfloor$.

[126]  arXiv:2111.12322 (cross-list from eess.SY) [pdf]
Title: Stochastic optimal scheduling of demand response-enabled microgrids with renewable generations: An analytical-heuristic approach
Comments: Accepted by Journal of Cleaner Production
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

In the context of transition towards cleaner and sustainable energy production, microgrids have become an effective way for tackling environmental pollution and energy crisis issues. With the increasing penetration of renewables, how to coordinate demand response and renewable generations is a critical and challenging issue in the field of microgrid scheduling. To this end, a bi-level scheduling model is put forward for isolated microgrids with consideration of multi-stakeholders in this paper, where the lower- and upper-level models respectively aim to the minimization of user cost and microgrid operational cost under real-time electricity pricing environments. In order to solve this model, this research combines Jaya algorithm and interior point method (IPM) to develop a hybrid analysis-heuristic solution method called Jaya-IPM, where the lower- and upper- levels are respectively addressed by the IPM and the Jaya, and the scheduling scheme is obtained via iterations between the two levels. After that, the real-time prices updated by the upper-level model and the electricity plans determined by the lower-level model will be alternately iterated between the upper- and lower- levels through the real-time pricing mechanism to obtain an optimal scheduling plan. The test results show that the proposed method can coordinate the uncertainty of renewable generations with demand response strategies, thereby achieving a balance between the interests of microgrid and users; and that by leveraging demand response, the flexibility of the load side can be fully exploited to achieve peak load shaving while maintaining the balance of supply and demand. In addition, the Jaya-IPM algorithm is proven to be superior to the traditional hybrid intelligent algorithm (HIA) and the CPLEX solver in terms of optimization results and calculation efficiency.

[127]  arXiv:2111.12367 (cross-list from quant-ph) [pdf, other]
Title: Tighter monogamy relations for the Tsallis-q and Rényi-$α$ entanglement in multiqubit systems
Comments: 19pages, 3figures
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)

Monogamy relations characterize the distributions of quantum entanglement in multipartite systems. In this work, we present some tighter monogamy relations in terms of the power of the Tsallis-q and R\'{e}nyi-$\alpha$ entanglement in multipartite systems. We show that these new monogamy relations of multipartite entanglement with tighter lower bounds than the existing ones. Furthermore, three examples are given to illustrate the tightness.

[128]  arXiv:2111.12424 (cross-list from nlin.SI) [pdf, ps, other]
Title: Soliton solutions for nonlocal Hirota equation with non-zero boundary conditions using Riemann-Hilbert method and PINN algorithm
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)

In this paper, we systematically investigate the nonlocal Hirota equation with nonzero boundary conditions via Riemann-Hilbert method and multi-layer physics-informed neural networks algorithm. Starting from the Lax pair of nonzero nonlocal Hirota equation, we first give out the Jost function and scattering matrix and their symmetry and asymptotic behavior. Then, the Riemann-Hilbert problem with nonzero boundary conditions are constructed and the precise formulae of $N$-soliton solution is written by determinants. Whereafter, the multi-layer physics-informed neural networks algorithm is applied to research the data-driven soliton solutions of the nonzero nonlocal Hirota equation by using the training data obtained from the Riemann-Hilbert method. Most strikingly, the integrable nonlocal equation is firstly solved via multi-layer physics-informed neural networks algorithm. As we all know, the nonlocal equations contain the $\mathcal{PT}$ symmetry $\mathcal{P}:x\rightarrow -x,$ or $\mathcal{T}:t\rightarrow -t,$ which are different different with local ones. Adding the nonlocal term into the NN, we can successfully solve the integrable nonlocal Hirota equation by multi-layer physics-informed neural networks algorithm. The numerical results indicate the algorithm can well recover the data-driven soliton solutions of the integrable nonlocal equation. Noteworthily, the inverse problems of the integrable nonlocal equation are discussed for the first time through applying the physics-informed neural networks algorithm to discover the parameters of the equation in terms of its soliton solution.

[129]  arXiv:2111.12436 (cross-list from cs.DS) [pdf, ps, other]
Title: Matroid Partition Property and the Secretary Problem
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

A matroid $\mathcal{M}$ on a set $E$ of elements has the $\alpha$-partition property, for some $\alpha>0$, if it is possible to (randomly) construct a partition matroid $\mathcal{P}$ on (a subset of) elements of $\mathcal{M}$ such that every independent set of $\mathcal{P}$ is independent in $\mathcal{M}$ and for any weight function $w:E\to\mathbb{R}_{\geq 0}$, the expected value of the optimum of the matroid secretary problem on $\mathcal{P}$ is at least an $\alpha$-fraction of the optimum on $\mathcal{M}$. We show that the complete binary matroid, ${\cal B}_d$ on $\mathbb{F}_2^d$ does not satisfy the $\alpha$-partition property for any constant $\alpha>0$ (independent of $d$).
Furthermore, we refute a recent conjecture of B\'erczi, Schwarcz, and Yamaguchi by showing the same matroid is $2^d/d$-colorable but cannot be reduced to an $\alpha 2^d/d$-colorable partition matroid for any $\alpha$ that is sublinear in $d$.

[130]  arXiv:2111.12446 (cross-list from hep-th) [pdf, other]
Title: Classical solutions of $λ$-deformed coset models
Comments: 36+9 pages, 8 figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)

We obtain classical solutions of $\l$-deformed $\s$-models based on $SL(2,\mathbb{R})/U(1)$ and $SU(2)/U(1)$ coset manifolds. Using two different sets of coordinates, we derive two distinct classes of solutions. The first class is expressed in terms of hyperbolic and trigonometric functions, whereas the second one in terms of elliptic functions. We analyze their properties along with the boundary conditions and discuss string systems that they describe. It turns out that there is an apparent similarity between the solutions of the second class and the motion of a pendulum.

[131]  arXiv:2111.12451 (cross-list from physics.flu-dyn) [pdf, other]
Title: Geometrically reduced modelling of pulsatile flow in perivascular networks
Subjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)

Flow of cerebrospinal fluid in perivascular spaces is a key mechanism underlying brain transport and clearance. In this paper, we present a mathematical and numerical formalism for reduced models of pulsatile viscous fluid flow in networks of generalized annular cylinders. We apply this framework to study cerebrospinal fluid flow in perivascular spaces induced by pressure differences, cardiac pulse wave-induced vascular wall motion and vasomotion. The reduced models provide approximations of the cross-section average pressure and cross-section flux, both defined over the topologically one-dimensional centerlines of the network geometry. Comparing the full and reduced model predictions, we find that the reduced models capture pulsatile flow characteristics and provide accurate pressure and flux predictions across the range of idealized and image-based scenarios investigated at a fraction of the computational cost of the corresponding full models. The framework presented thus provides a robust and effective computational approach for large scale in-silico studies of pulsatile perivascular fluid flow and transport.

[132]  arXiv:2111.12506 (cross-list from cs.LG) [pdf, ps, other]
Title: A Unified Approach to Variational Autoencoders and Stochastic Normalizing Flows via Markov Chains
Subjects: Machine Learning (cs.LG); Probability (math.PR)

Normalizing flows, diffusion normalizing flows and variational autoencoders are powerful generative models. In this paper, we provide a unified framework to handle these approaches via Markov chains. Indeed, we consider stochastic normalizing flows as pair of Markov chains fulfilling some properties and show that many state-of-the-art models for data generation fit into this framework. The Markov chains point of view enables us to couple both deterministic layers as invertible neural networks and stochastic layers as Metropolis-Hasting layers, Langevin layers and variational autoencoders in a mathematically sound way. Besides layers with densities as Langevin layers, diffusion layers or variational autoencoders, also layers having no densities as deterministic layers or Metropolis-Hasting layers can be handled. Hence our framework establishes a useful mathematical tool to combine the various approaches.

[133]  arXiv:2111.12550 (cross-list from cs.HC) [pdf, other]
Title: A Worker-Task Specialization Model for Crowdsourcing: Efficient Inference and Fundamental Limits
Subjects: Human-Computer Interaction (cs.HC); Information Theory (cs.IT); Machine Learning (cs.LG); Machine Learning (stat.ML)

Crowdsourcing system has emerged as an effective platform to label data with relatively low cost by using non-expert workers. However, inferring correct labels from multiple noisy answers on data has been a challenging problem, since the quality of answers varies widely across tasks and workers. Many previous works have assumed a simple model where the order of workers in terms of their reliabilities is fixed across tasks, and focused on estimating the worker reliabilities to aggregate answers with different weights. We propose a highly general $d$-type worker-task specialization model in which the reliability of each worker can change depending on the type of a given task, where the number $d$ of types can scale in the number of tasks. In this model, we characterize the optimal sample complexity to correctly infer labels with any given recovery accuracy, and propose an inference algorithm achieving the order-wise optimal bound. We conduct experiments both on synthetic and real-world datasets, and show that our algorithm outperforms the existing algorithms developed based on strict model assumptions.

[134]  arXiv:2111.12569 (cross-list from cond-mat.dis-nn) [pdf, ps, other]
Title: Rigorous approaches for spin glass and Gaussian spin glass with P-wise interactions
Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Mathematical Physics (math-ph)

Purpose of this paper is to face up to P-spin glass and Gaussian P-spin model, i.e. spin glasses with polynomial interactions of degree P > 2. We consider the replica symmetry and first step of replica simmetry breaking assumptions and we solve the models via transport equation and Guerra's interpolating technique, showing that we reach the same results. \\ Thus, using rigorous approaches, we recover the same expression for quenched statistical pressure and self-consistency equation in both assumption found with other techniques, including the well-known \textit{replica trick} technique. \\ At the end, we show that for $P=2$ the Gaussian P-spin glass model is intrinsecally RS.

[135]  arXiv:2111.12602 (cross-list from cs.CV) [pdf, other]
Title: Hierarchical Graph-Convolutional Variational AutoEncoding for Generative Modelling of Human Motion
Comments: Under Review at CVPR
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Probability (math.PR)

Models of human motion commonly focus either on trajectory prediction or action classification but rarely both. The marked heterogeneity and intricate compositionality of human motion render each task vulnerable to the data degradation and distributional shift common to real-world scenarios. A sufficiently expressive generative model of action could in theory enable data conditioning and distributional resilience within a unified framework applicable to both tasks. Here we propose a novel architecture based on hierarchical variational autoencoders and deep graph convolutional neural networks for generating a holistic model of action over multiple time-scales. We show this Hierarchical Graph-convolutional Variational Autoencoder (HG-VAE) to be capable of generating coherent actions, detecting out-of-distribution data, and imputing missing data by gradient ascent on the model's posterior. Trained and evaluated on H3.6M and the largest collection of open source human motion data, AMASS, we show HG-VAE can facilitate downstream discriminative learning better than baseline models.

[136]  arXiv:2111.12640 (cross-list from q-fin.MF) [pdf, other]
Title: Completing correlation matrices
Comments: 16 pages, 8 figures
Subjects: Mathematical Finance (q-fin.MF); Probability (math.PR)

We describe a way to complete a correlation matrix that is not fully specified. Such matrices often arise in financial applications when the number of stochastic variables becomes large or when several smaller models are combined in a larger model. We argue that the proper completion to consider is the matrix that maximizes the entropy of the distribution described by the matrix. We then give a way to construct this matrix starting from the graph associated with the incomplete matrix. If this graph is chordal our construction will result in a proper correlation matrix. We give a detailed description of the construction for a cross-currency model with six stochastic variables and describe extensions to larger models involving more currencies.

[137]  arXiv:2111.12648 (cross-list from hep-th) [pdf, other]
Title: Critical Field Theories with OSp$(1|2M)$ Symmetry
Authors: Igor R. Klebanov
Comments: 10 pages
Subjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

In the paper [L. Fei et al., JHEP {\bf 09} (2105) 076] a cubic field theory of a scalar field $\sigma$ and two anticommuting scalar fields, $\theta$ and $\bar \theta$, was formulated. In $6-\epsilon$ dimensions it has a weakly coupled fixed point with imaginary cubic couplings where the symmetry is enhanced to the supergroup OSp$(1|2)$. This theory may be viewed as a "UV completion" in $2<d<6$ of the non-linear sigma model with hyperbolic target space H$^{0|2}$ described by a pair of intrinsic anticommuting coordinates. It also describes the $q\rightarrow 0$ limit of the critical $q$-state Potts model, which is equivalent to the statistical mechanics of spanning forests on a graph. In this letter we generalize these results to a class of OSp$(1|2M)$ symmetric field theories whose upper critical dimensions are $d_c(M) = 2 \frac{2M+1}{2M-1}$. They contain $2M$ anticommuting scalar fields, $\theta^i, \bar \theta^i$, and one commuting one, with interaction $g\left (\sigma^2+ 2\theta^i \bar \theta^i \right )^{(2M+1)/2}$. In $d_c(M)-\epsilon$ dimensions, we find a weakly coupled IR fixed point at an imaginary value of $g$. We propose that these critical theories are the UV completions of the sigma models with fermionic hyperbolic target spaces H$^{0|2M}$. Of particular interest is the quintic field theory with OSp$(1|4)$ symmetry, whose upper critical dimension is $10/3$. Using this theory, we make a prediction for the critical behavior of the OSp$(1|4)$ lattice system in three dimensions.

[138]  arXiv:2111.12650 (cross-list from gr-qc) [pdf, other]
Title: Gravitational singularities, scattering maps for bouncing, and structure-preserving algorithms
Comments: 15 pages
Subjects: General Relativity and Quantum Cosmology (gr-qc); Analysis of PDEs (math.AP)

This note emphasizes the role of multi-scale wave structures and junction conditions in many fields of physics, from the dynamics of fluids with non-convex equations of state to the study of gravitational singularities and bouncing cosmologies in general relativity. Concerning the definition and construction of bouncing spacetimes, we review the recent proposal in collaboration with B. Le Floch and G. Veneziano based on the notion of singularity scattering maps. We also present recent numerical investigations of small-scale phenomena arising in compressible fluid flows on FRLW or Kasner geometries for which we developed structure-preserving algorithms.

[139]  arXiv:2111.12676 (cross-list from stat.CO) [pdf, other]
Title: Super-polynomial accuracy of one dimensional randomized nets using the median-of-means
Subjects: Computation (stat.CO); Numerical Analysis (math.NA); Statistics Theory (math.ST)

Let $f$ be analytic on $[0,1]$ with $|f^{(k)}(1/2)|\leq A\alpha^kk!$ for some constant $A$ and $\alpha<2$. We show that the median estimate of $\mu=\int_0^1f(x)\,\mathrm{d}x$ under random linear scrambling with $n=2^m$ points converges at the rate $O(n^{-c\log(n)})$ for any $c< 3\log(2)/\pi^2\approx 0.21$. We also get a super-polynomial convergence rate for the sample median of $2k-1$ random linearly scrambled estimates, when $k=\Omega(m)$. When $f$ has a $p$'th derivative that satisfies a $\lambda$-H\"older condition then the median-of-means has error $O( n^{-(p+\lambda)+\epsilon})$ for any $\epsilon>0$, if $k\to\infty$ as $m\to\infty$.

[140]  arXiv:2111.12691 (cross-list from hep-th) [pdf, ps, other]
Title: On the variational principle in the unfolded dynamics
Comments: 15 pages, no figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

The interplay between off-shell and on-shell unfolded systems is analysed. The formulation of invariant constraints that put an off-shell system on shell is developed by adding new variables and derivation in the target space, that extends the original $Q$-derivation of the unfolded system to a bicomplex. The analogue of the Euler-Lagrange equations in the unfolded dynamics is suggested. The general class of invariant on-shell equation constraints is defined in cohomological terms. The necessary and sufficient condition for the on-shell equation constraints being Euler-Lagrange for some Lagrangian system is proven. The proposed construction is illustrated by the scalar field example.

Replacements for Thu, 25 Nov 21

[141]  arXiv:1607.03943 (replaced) [pdf, ps, other]
Title: Generalized hybrid iterative methods for large-scale Bayesian inverse problems
Subjects: Numerical Analysis (math.NA)
[142]  arXiv:1612.05924 (replaced) [src]
Title: Asymmetric Hat Game with three players and three colors
Authors: Theo van Uem
Comments: it is now part of arXiv:1612.00276 (Ebert's asymmetric Hat Game)
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Information Theory (cs.IT)
[143]  arXiv:1704.04244 (replaced) [src]
Title: General three person two color Hat Game
Authors: Theo van Uem
Comments: it is now part of arXiv:1612.00276 (Ebert's asymmetric Hat Game)
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Information Theory (cs.IT)
[144]  arXiv:1805.03748 (replaced) [pdf, other]
Title: $C^{1,α}$-Regularity of Quasilinear equations on the Heisenberg Group
Comments: long version, corrections made
Subjects: Analysis of PDEs (math.AP)
[145]  arXiv:1809.08512 (replaced) [pdf, ps, other]
Title: Rational points on certain homogeneous varieties
Authors: Pengyu Yang
Comments: 11 pages. Added an example
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Dynamical Systems (math.DS)
[146]  arXiv:1902.06587 (replaced) [pdf, other]
Title: Morse-Bott cohomology from homological perturbation theory
Authors: Zhengyi Zhou
Comments: 95pp. Simplified some of the proofs, fixed a mistake of the defining data for Gysin exact sequences, fixed a sign mistake in the Gysin exact sequences. Comments welcome!
Subjects: Symplectic Geometry (math.SG); Algebraic Topology (math.AT)
[147]  arXiv:1905.11968 (replaced) [pdf, ps, other]
Title: Chasing Convex Bodies Optimally
Authors: Mark Sellke
Subjects: Data Structures and Algorithms (cs.DS); Metric Geometry (math.MG)
[148]  arXiv:1906.07476 (replaced) [pdf, ps, other]
Title: Notes on a conjecture of Braverman-Kazhdan
Subjects: Representation Theory (math.RT)
[149]  arXiv:1906.07680 (replaced) [pdf, other]
Title: Recognizing topological polynomials by lifting trees
Comments: 57 pages, 32 figures; accepted to Duke Mathematical Journal
Subjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
[150]  arXiv:1907.09876 (replaced) [pdf, other]
Title: Multi-point distribution of TASEP
Authors: Zhipeng Liu
Comments: 63 pages, minor changes
Subjects: Probability (math.PR); Mathematical Physics (math-ph)
[151]  arXiv:1907.12125 (replaced) [pdf, other]
Title: The Prescription Approach to Decentralized Stochastic Control with Word-of-Mouth Communication
Subjects: Optimization and Control (math.OC)
[152]  arXiv:1910.02534 (replaced) [pdf, other]
Title: The CEO problem with inter-block memory
Journal-ref: IEEE Transactions on Information Theory, v. 67, No. 12, pp. 7752--7768, Dec. 2021
Subjects: Information Theory (cs.IT); Systems and Control (eess.SY)
[153]  arXiv:1910.12466 (replaced) [pdf, ps, other]
Title: The maximal discrete extension of the Hermitian modular group
Subjects: Number Theory (math.NT)
[154]  arXiv:1912.08012 (replaced) [pdf, ps, other]
Title: Unit boundary length quantum disk: a study of two different perspectives and their equivalence
Authors: Baptiste Cerclé
Comments: Minor corrections; presentation has been improved and more detailed
Subjects: Probability (math.PR); Mathematical Physics (math-ph)
[155]  arXiv:2001.04194 (replaced) [pdf, other]
Title: Cascaded Coded Distributed Computing Schemes Based on Placement Delivery Arrays
Subjects: Information Theory (cs.IT)
[156]  arXiv:2003.04175 (replaced) [pdf, other]
Title: Phase Transition Analysis for Covariance Based Massive Random Access with Massive MIMO
Comments: Accepted in IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[157]  arXiv:2004.07353 (replaced) [pdf, ps, other]
Title: The nucleus of an adjunction and the Street monad on monads
Comments: 90 pages, 37 figures; rewrote parts of the Introduction, added an Appendix
Subjects: Category Theory (math.CT)
[158]  arXiv:2004.07385 (replaced) [pdf, other]
Title: Uniqueness in Haken's Theorem
Comments: This version improves exposition and corrects typos, following referee's comments
Subjects: Geometric Topology (math.GT)
[159]  arXiv:2005.01537 (replaced) [pdf, ps, other]
Title: Simultaneous supersingular reductions of CM elliptic curves
Comments: 46 pages. Revised according to the referee's comments
Subjects: Number Theory (math.NT); Dynamical Systems (math.DS)
[160]  arXiv:2005.02915 (replaced) [pdf, ps, other]
Title: An almost sure invariance principle for some classes of non-stationary mixing sequences
Authors: Yeor Hafouta
Comments: The results are now obtained for alpha mixing sequences, and not only for phi mixing sequences
Subjects: Probability (math.PR)
[161]  arXiv:2007.01177 (replaced) [pdf, other]
Title: Observer-invariant time derivatives on moving surfaces
Comments: 27 pages, 4 figures
Subjects: Mathematical Physics (math-ph); Differential Geometry (math.DG)
[162]  arXiv:2008.02026 (replaced) [pdf, other]
Title: Matsushima-Lichnerowicz type theorems of Lie algebra of automorphisms of generalized Kähler manifolds of symplectic type
Authors: Ryushi Goto
Comments: further explanations added, the structure theorem is improved by using H^1 instead of H^odd
Journal-ref: Mathematische Annalen 2021
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
[163]  arXiv:2008.05543 (replaced) [pdf, ps, other]
Title: Interior and up to the boundary regularity for the fractional $g$-Laplacian: the convex case
Subjects: Analysis of PDEs (math.AP)
[164]  arXiv:2008.08494 (replaced) [pdf, ps, other]
Title: Oblivious points on translation surfaces
Comments: This version has been revised for publication
Subjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
[165]  arXiv:2009.02826 (replaced) [src]
Title: Explicit Stillman bounds for all degrees
Comments: A critical mistake was made at the end of section 4. We misinterpret the proof of Ananyan and Hochster's paper, the final bound grows even faster than a power tower thus would be meaningless to state.
Subjects: Commutative Algebra (math.AC)
[166]  arXiv:2009.09525 (replaced) [pdf, other]
Title: Deep Autoencoders: From Understanding to Generalization Guarantees
Journal-ref: R. Cosentino, R. Balestriero, R. Baraniuk, B. Aazhang, 2nd Annual Conference on Mathematical and Scientific Machine Learning (2021)
Subjects: Machine Learning (cs.LG); Group Theory (math.GR); Machine Learning (stat.ML)
[167]  arXiv:2010.05884 (replaced) [pdf, ps, other]
Title: Completions of affine spaces into Mori fiber spaces with non-rational fibers
Comments: 24 pages
Subjects: Algebraic Geometry (math.AG)
[168]  arXiv:2010.15764 (replaced) [pdf, other]
Title: Domain adaptation under structural causal models
Comments: 80 pages, 22 figures, accepted in JMLR
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
[169]  arXiv:2011.07014 (replaced) [pdf, ps, other]
Title: On the asymptotic behaviour of semigroups for flows in infinite networks
Comments: Correction of typos, rewritten introduction, some further simplifications of arguments, strengthened main result -- final version
Subjects: Functional Analysis (math.FA)
[170]  arXiv:2011.09468 (replaced) [pdf, other]
Title: Gradient Starvation: A Learning Proclivity in Neural Networks
Comments: Proceeding of NeurIPS 2021
Subjects: Machine Learning (cs.LG); Dynamical Systems (math.DS); Machine Learning (stat.ML)
[171]  arXiv:2011.12873 (replaced) [pdf, other]
Title: Hybrid Confidence Intervals for Informative Uniform Asymptotic Inference After Model Selection
Authors: Adam McCloskey
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[172]  arXiv:2012.00968 (replaced) [pdf, other]
Title: Reconfigurable Intelligent Surfaces in Action for Non-Terrestrial Networks
Comments: 7 pages, 6 figures
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP)
[173]  arXiv:2101.00487 (replaced) [pdf, ps, other]
Title: Local systems with quasi-unipotent monodromy at infinity are dense
Comments: 10 pages
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
[174]  arXiv:2101.01938 (replaced) [pdf, ps, other]
Title: Introduction of frame in tensor product of n-Hilbert spaces
Comments: 18 pages. arXiv admin note: text overlap with arXiv:2101.01657
Subjects: Functional Analysis (math.FA)
[175]  arXiv:2101.11141 (replaced) [pdf, other]
Title: Inverse optimal control for angle stabilization in converters-based generation
Comments: 8 pages, 5 figures
Subjects: Optimization and Control (math.OC)
[176]  arXiv:2101.11921 (replaced) [src]
Title: Some properties for certain generalized tracial approximated ${\rm C^*}$-algebras
Comments: There were some errors and we have major revised
Subjects: Operator Algebras (math.OA)
[177]  arXiv:2102.03118 (replaced) [pdf, ps, other]
Title: On relative ranks of the semigroup of orientation-preserving transformations on infinite chain with restricted range
Subjects: Rings and Algebras (math.RA)
[178]  arXiv:2102.09159 (replaced) [pdf, other]
Title: Robust and Differentially Private Mean Estimation
Comments: 58 pages, 2 figures, both exponential time and efficient algorithms no longer require a known bound on the true mean
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Information Theory (cs.IT); Machine Learning (stat.ML)
[179]  arXiv:2103.00310 (replaced) [pdf, ps, other]
Title: Alternative proof of upper bound of spanning trees in a graph
Authors: K. V. Chelpanov
Comments: 6 pages
Subjects: Combinatorics (math.CO)
[180]  arXiv:2103.00782 (replaced) [pdf, other]
Title: Sparse Activity Detection in Multi-Cell Massive MIMO Exploiting Channel Large-Scale Fading
Comments: This is the final version published in IEEE Transactions on Signal Processing
Subjects: Information Theory (cs.IT)
[181]  arXiv:2103.02457 (replaced) [pdf, other]
Title: Continuous scaled phase-type distributions
Subjects: Probability (math.PR); Statistics Theory (math.ST)
[182]  arXiv:2103.14151 (replaced) [pdf, ps, other]
Title: A Slope invariant and the A-polynomial of knots
Subjects: Geometric Topology (math.GT)
[183]  arXiv:2103.15790 (replaced) [pdf, ps, other]
Title: Star-shaped Risk Measures
Subjects: Theoretical Economics (econ.TH); Functional Analysis (math.FA); Risk Management (q-fin.RM)
[184]  arXiv:2103.16682 (replaced) [pdf, other]
Title: High contrast elliptic operators in honeycomb structures
Comments: 63 pages, 13 figures
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Spectral Theory (math.SP); Optics (physics.optics)
[185]  arXiv:2104.01143 (replaced) [pdf, ps, other]
Title: Existence et unicité d'une courbe à courbure positive maximisant le minimum du rayon de courbure
Authors: Jérôme Bastien
Comments: 33 pages, 17 figures, in French. arXiv admin note: substantial text overlap with arXiv:1906.10010
Subjects: Metric Geometry (math.MG)
[186]  arXiv:2104.09401 (replaced) [pdf, ps, other]
Title: Efficient multivariate inference in general factorial diagnostic studies
Subjects: Statistics Theory (math.ST)
[187]  arXiv:2104.10666 (replaced) [pdf, other]
Title: Principal Components along Quiver Representations
Comments: 31 pages; v2: more examples, results added to section 5
Subjects: Representation Theory (math.RT)
[188]  arXiv:2104.13842 (replaced) [pdf, other]
Title: Symmetry breaking in two-dimensional square grids: persistence and failure of the dimensional crossover
Comments: 56 pages, 19 figures
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[189]  arXiv:2105.00548 (replaced) [pdf, ps, other]
Title: Quenched limit theorems for expanding on average cocycles
Comments: 48 pages, comments are welcome !
Subjects: Dynamical Systems (math.DS); Probability (math.PR)
[190]  arXiv:2105.03339 (replaced) [pdf, other]
Title: Existence of physical measures in some Excitation-Inhibition Networks
Subjects: Dynamical Systems (math.DS)
[191]  arXiv:2105.05364 (replaced) [pdf, ps, other]
Title: A Hermite Method with a Discontinuity Sensor for Hamilton-Jacobi Equations
Subjects: Numerical Analysis (math.NA)
[192]  arXiv:2105.05458 (replaced) [pdf, other]
Title: Distributionally Robust Graph Learning from Smooth Signals under Moment Uncertainty
Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Optimization and Control (math.OC)
[193]  arXiv:2105.08033 (replaced) [pdf, ps, other]
Title: Generic Gelfand-Tsetlin Representations of $U_q^{\text{tw}}(\mathfrak{so}_3)$ and $U_q^{\text{tw}}(\mathfrak{so}_4)$
Authors: Jordan Disch
Subjects: Representation Theory (math.RT); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
[194]  arXiv:2105.09429 (replaced) [pdf, other]
Title: Point process simulation of generalised inverse Gaussian processes and estimation of the Jaeger integral
Subjects: Methodology (stat.ME); Signal Processing (eess.SP); Probability (math.PR)
[195]  arXiv:2105.12619 (replaced) [pdf, ps, other]
Title: Global weak solutions to fully cross-diffusive systems with nonlinear diffusion and saturated taxis sensitivity
Authors: Mario Fuest
Comments: 42 pages, expanded the introduction
Subjects: Analysis of PDEs (math.AP)
[196]  arXiv:2106.03969 (replaced) [pdf, other]
Title: Chow-Liu++: Optimal Prediction-Centric Learning of Tree Ising Models
Comments: 49 pages, 3 figures, to appear in FOCS'21
Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Statistics Theory (math.ST)
[197]  arXiv:2106.04116 (replaced) [pdf, ps, other]
Title: Discrete-to-Continuous Extensions: piecewise multilinear extension, min-max theory and spectral theory
Subjects: Combinatorics (math.CO); Functional Analysis (math.FA); Metric Geometry (math.MG); Optimization and Control (math.OC); Spectral Theory (math.SP)
[198]  arXiv:2106.05412 (replaced) [pdf, ps, other]
Title: Pseudo-Laplacian on a cuspidal end with a flat unitary line bundle: Dirichlet boundary conditions
Authors: Mathieu Dutour
Comments: Minor changes made: - Typo corrected in the statement of theorem 3.76 and 3.77 (a term 1/2*log(a) had been forgotten) - Proposition 3.52 was added to remove a term which was previously dealt with in (what is now) Proposition 3.62 - Rearrangements in section 2.4 - Some material was removed from the appendices
Subjects: Differential Geometry (math.DG); Spectral Theory (math.SP)
[199]  arXiv:2106.09441 (replaced) [pdf, other]
Title: Heteroclinic traveling waves of 2D parabolic Allen-Cahn systems
Comments: added some references, figures and performed corrections
Subjects: Analysis of PDEs (math.AP)
[200]  arXiv:2106.10933 (replaced) [pdf, ps, other]
Title: Semi-uniform Input-to-state Stability of Infinite-dimensional Systems
Authors: Masashi Wakaiki
Comments: 27 pages
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[201]  arXiv:2107.00006 (replaced) [pdf, ps, other]
Title: A proof of the continuous martingale convergence theorem
Authors: Joe Ghafari
Comments: 6 pages
Subjects: Probability (math.PR)
[202]  arXiv:2107.03594 (replaced) [pdf, ps, other]
Title: Derived equivalences for a class of PI algebras
Comments: 8 pages
Subjects: Rings and Algebras (math.RA)
[203]  arXiv:2107.05480 (replaced) [pdf, other]
Title: Radial solutions for Hénon type fully nonlinear equations in annuli and exterior domains
Comments: 14 pages
Subjects: Analysis of PDEs (math.AP)
[204]  arXiv:2107.06797 (replaced) [pdf, ps, other]
Title: Special Vinberg Cones and the Entropy of BPS Extremal Black Holes
Comments: 36 pages; v2 : Sec. 4 revised, results unchanged
Journal-ref: JHEP 11 (2021) 100
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Differential Geometry (math.DG)
[205]  arXiv:2107.07935 (replaced) [pdf, ps, other]
Title: A note on the parallel sum
Authors: Frank Hansen
Comments: This is the final version to be published open access in Linear Algebra and its Applications
Subjects: Functional Analysis (math.FA)
[206]  arXiv:2107.10294 (replaced) [pdf, other]
Title: User-Centric Perspective in Random Access Cell-Free Aided by Spatial Separability
Comments: 14 pages, 8 figures
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[207]  arXiv:2107.14669 (replaced) [pdf, ps, other]
Title: Representing preorders with injective monotones
Subjects: Information Theory (cs.IT)
[208]  arXiv:2108.01584 (replaced) [pdf, other]
Title: Numerical Solution of Stiff ODEs with Physics-Informed RPNNs
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
[209]  arXiv:2108.02040 (replaced) [pdf, other]
Title: Convergence of gradient descent for learning linear neural networks
Comments: Minor changes
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
[210]  arXiv:2108.04670 (replaced) [pdf, ps, other]
Title: Polynomial growth, comparison, and the small boundary property
Authors: Petr Naryshkin
Comments: changes from the first version: fixed mistakes in the proofs; added Lemma 3.1
Subjects: Dynamical Systems (math.DS); Operator Algebras (math.OA)
[211]  arXiv:2108.10375 (replaced) [pdf, ps, other]
Title: On the inverse Poletsky inequality for one class of mappings
Comments: in Ukrainian
Subjects: Complex Variables (math.CV)
[212]  arXiv:2108.11634 (replaced) [pdf, ps, other]
Title: Higher order fluctuations of extremal eigenvalues of sparse random matrices
Authors: Jaehun Lee
Comments: Revised. Some of the main estimates (Theorem 2.6 and Proposition 3.1) were fixed
Subjects: Probability (math.PR)
[213]  arXiv:2108.13033 (replaced) [pdf, ps, other]
Title: Resource Allocation for Active IRS-Assisted Multiuser Communication Systems
Comments: 3 figures, submitted to Asilomar 2021
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[214]  arXiv:2108.13634 (replaced) [pdf, other]
Title: Sea urchin sperm exploit extremum seeking control to find the egg
Subjects: Optimization and Control (math.OC); Biological Physics (physics.bio-ph)
[215]  arXiv:2109.07917 (replaced) [pdf, ps, other]
Title: Modularity and effective Mordell I
Authors: Levent Alpöge
Comments: ~20 page main body, ~5 page (superfluous) appendix. Comments (and especially complaints) always welcome! Enjoy. [v2: added a citation and fixed some typos.]
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[216]  arXiv:2109.11575 (replaced) [pdf, ps, other]
Title: A stronger version of classical Borsuk-Ulam theorem
Authors: Jun Wang, Xuezhi Zhao
Subjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)
[217]  arXiv:2110.05759 (replaced) [pdf, ps, other]
Title: On regular projections of definable families
Comments: typos corrected
Subjects: Logic (math.LO); Algebraic Geometry (math.AG)
[218]  arXiv:2110.05950 (replaced) [pdf, other]
Title: An epidemic model in inhomogeneous environment
Comments: simulations and comparison with the homogeneous setting added
Subjects: Probability (math.PR)
[219]  arXiv:2110.06237 (replaced) [pdf, other]
Title: Integrating three-loop modular graph functions and transcendentality of string amplitudes
Comments: v1: 116 pages; v2: minor revisions, prepared for submission to JHEP
Subjects: High Energy Physics - Theory (hep-th); Number Theory (math.NT)
[220]  arXiv:2110.06798 (replaced) [pdf, ps, other]
Title: Quantitative Stability of Regularized Optimal Transport and Convergence of Sinkhorn's Algorithm
Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Probability (math.PR)
[221]  arXiv:2110.07176 (replaced) [pdf, ps, other]
Title: Rigidity of maximum cliques in pseudo-Paley graphs from unions of cyclotomic classes
Comments: 35 pages
Subjects: Combinatorics (math.CO); Number Theory (math.NT)
[222]  arXiv:2110.12375 (replaced) [pdf, ps, other]
Title: Semi-equivelar toroidal maps and their covers
Subjects: Combinatorics (math.CO)
[223]  arXiv:2110.13081 (replaced) [pdf, ps, other]
Title: A Note on Consistency of the Bayes Estimator of the Density
Authors: A.G. Nogales
Comments: arXiv admin note: text overlap with arXiv:2008.00683
Subjects: Statistics Theory (math.ST)
[224]  arXiv:2111.00652 (replaced) [pdf, other]
Title: Eguchi--Hanson metrics arising from Kahler--Einstein edge metrics
Comments: v2: 38 pages, 2 figures; improved presentation, some typos fixed
Subjects: Differential Geometry (math.DG)
[225]  arXiv:2111.04869 (replaced) [pdf, ps, other]
Title: Lin-Lu-Yau curvature and diameter of amply regular graphs
Comments: We are very grateful to Shuliang Bai for pointing out that amply regular graphs of parameter $(n,d,\alpha,\beta)$ with $\beta=1$ can have girth $3$ and negative Lin-Lu-Yau curvature. We would like to thank the anonymous referees for suggestions that helped to greatly improved the quality of this paper
Subjects: Combinatorics (math.CO); Differential Geometry (math.DG)
[226]  arXiv:2111.04882 (replaced) [pdf, ps, other]
Title: On the Assignment Graphs of Oriented Graphs
Subjects: Combinatorics (math.CO)
[227]  arXiv:2111.05225 (replaced) [pdf, ps, other]
Title: Helly systems and certificates in optimization
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)
[228]  arXiv:2111.06095 (replaced) [pdf, ps, other]
Title: Dynamical signature: complex manifolds, gauge fields and non-flat tangent space
Authors: S. Bondarenko
Comments: 16 pages
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[229]  arXiv:2111.06658 (replaced) [pdf, ps, other]
Title: Integrability, conservation laws and solitons of a many-body dynamical system associated with the half-wave maps equation
Comments: 31 pages, 4 figures, v2. Typo in Ref. [10] is corrected and a comment is added in Acknowledgements
Journal-ref: Physica D 430 (2022) 133080
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)
[230]  arXiv:2111.07289 (replaced) [pdf, other]
Title: Bipartite graphs and best proximity pairs
Comments: 17 pages
Subjects: Combinatorics (math.CO); General Topology (math.GN)
[231]  arXiv:2111.08358 (replaced) [pdf, ps, other]
Title: Pentagram Rigidity for Centrally Symmetric Octagons
Comments: This is about the same as the previous version. I split Ch7 into two chapters, now Ch 7-8. I removed some typos and tightened up the exposition a bit
Subjects: Symplectic Geometry (math.SG)
[232]  arXiv:2111.09310 (replaced) [pdf, other]
Title: On an estimate of the rate of convergence for regenerative processes in queuing theory and related problems
Comments: 19 pages, in Russian, 5 figures
Subjects: Probability (math.PR)
[233]  arXiv:2111.09444 (replaced) [pdf, ps, other]
Title: Hypercontractivity on High Dimensional Expanders: a Local-to-Global Approach for Higher Moments
Comments: New title to distinguish from independent work of Gur, Lifshitz, and Liu
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[234]  arXiv:2111.09588 (replaced) [pdf, other]
Title: Four-crowns as retracts
Authors: Frank a Campo
Comments: 15 pages, 3 figures
Subjects: Combinatorics (math.CO)
[235]  arXiv:2111.09810 (replaced) [pdf, ps, other]
Title: (Co)module algebras and their generalizations
Authors: Alexey Gordienko
Subjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG); Category Theory (math.CT); K-Theory and Homology (math.KT); Quantum Algebra (math.QA)
[236]  arXiv:2111.09984 (replaced) [pdf, other]
Title: Fixed points and Langlands parameter spaces for real groups
Authors: R. Virk
Comments: References added
Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
[237]  arXiv:2111.10880 (replaced) [pdf, other]
Title: Bohr radius for Banach spaces on simply connected domains
Comments: We revise the proof of Theorem 1.2. This paper contains 23 pages, 12 figures, 6 tables
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
[238]  arXiv:2111.10883 (replaced) [pdf, ps, other]
Title: Bohr operator on opertor valued polyanalytic functions on simply connected domains
Comments: We revise the proofs of Theorem 3.1, Theorem 3.2, and Theorem 3.3 in this article. 11 pages
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
[239]  arXiv:2111.11001 (replaced) [pdf]
Title: Easy construction of representations of multivariate functions with low-dimensional terms via Gaussian process regression kernel design
Comments: 8 pages, 1 figure, 2 tables
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph); Data Analysis, Statistics and Probability (physics.data-an)
[240]  arXiv:2111.11025 (replaced) [pdf, other]
Title: On immersed boundary kernel functions: a constrained quadratic minimization perspective
Subjects: Numerical Analysis (math.NA)
[241]  arXiv:2111.11087 (replaced) [pdf, ps, other]
Title: Bayesian Inversion of Log-normal Eikonal Equations
Comments: fixed bbl errors on page 3, immediately before and after eq. (2.4)
Subjects: Numerical Analysis (math.NA)
[242]  arXiv:2111.11148 (replaced) [pdf, ps, other]
Title: A Novel Randomized XR-Based Preconditioned CholeskyQR Algorithm
Comments: 23 pages, 11 figures, 6 tables
Subjects: Numerical Analysis (math.NA)
[243]  arXiv:2111.11160 (replaced) [pdf, ps, other]
Title: Symplectic Keys -- Type C Willis' direct way
Comments: Reference correction. arXiv admin note: substantial text overlap with arXiv:2104.15000
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Representation Theory (math.RT)
[244]  arXiv:2111.11227 (replaced) [pdf, ps, other]
Title: On a discriminator for the polynomial $f(x)=x^3+x$
Comments: Correct a print mistake in Theorem 1.1
Subjects: Number Theory (math.NT)
[245]  arXiv:2111.11239 (replaced) [pdf, ps, other]
Title: Multiple cover formulas for K3 geometries, wallcrossing, and Quot schemes
Authors: Georg Oberdieck
Comments: 29 pages, comments welcome. v2: Fixed a sign issue
Subjects: Algebraic Geometry (math.AG)
[246]  arXiv:2111.11338 (replaced) [pdf, other]
Title: Aspects of Holographic Entanglement Entropy for $T\bar{T}$-deformed CFTs
Comments: 15 pages, 1 figure; minor corrections, references added
Subjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)
[247]  arXiv:2111.11713 (replaced) [pdf, ps, other]
Title: Operator valued analogues of multidimensional Bohr's inequality
Comments: We revise the proof of Lemma 3.1
Subjects: Functional Analysis (math.FA); Complex Variables (math.CV)
[248]  arXiv:2111.11864 (replaced) [pdf, ps, other]
Title: Some Generalized Multi-sum Chu-Vandermonde Identities
Authors: M.J. Kronenburg
Subjects: Combinatorics (math.CO)
[249]  arXiv:2111.12000 (replaced) [pdf, other]
Title: Virtual element method for elliptic bulk-surface PDEs in three space dimensions
Comments: 24 pages, 4 figures, 1 table. This replacement adds a "Data availability" statement to the manuscript and fixes a capital letter in the bibliography. arXiv admin note: substantial text overlap with arXiv:2002.11748
Subjects: Numerical Analysis (math.NA)
[ total of 249 entries: 1-249 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2111, contact, help  (Access key information)