arXiv research

We interpret Coxeter's truncated braid groups in terms of Platonic solids.

We give a definition of an integer-valued function $\sum_i α_i x ^*_i$ derived from arrow diagrams for the ambient isotopy classes of oriented spherical curves. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the arrow diagrams with at most $l$ arrows, called relators of Type~($\check{…

Formalizes the Fundamental Theorem of Asset Pricing in Lean 4.

The family of admissible positions in a transaction costs model is a random closed set, which is convex in case of proportional transaction costs. However, the convexity fails, e.g. in case of fixed transaction costs or when only a finite number of transfers are possible. The paper presents an approach to measure risks…

We study the Yamabe invariants of cylindrical manifolds and compact orbifolds with a finite number of singularities, by means of conformal geometry and the Atiyah-Patodi-Singer $L^2$-index theory. For an $n$-orbifold $M$ with singularities $Σ_Γ = \{(\check{p}_1, Γ_1), ..., (\check{p}_s, Γ_s)\}$ (where each group $Γ_j<O…

In this paper, we define, from a finite set E of functions, a family of holomorphic webs ${\cal W}(n;E)$ of codimension one in any dimension $n$. We prove that it is sufficient to check a finite number of conditions for these webs to be all ordinary and to have all maximal rank. Moreover, these conditions may be prac…

We prove the following result announced in Todorov and Valov: Any homogeneous, metric $ANR$-continuum is a $V^n_G$-continuum provided $\dim_GX=n\geq 1$ and $\check{H}^n(X;G)\neq 0$, where $G$ is a principal ideal domain. This implies that any homogeneous $n$-dimensional metric $ANR$-continuum with $\check{H}^n(X;G)\neq…

Statistical model checking for PCTL on MDPs using reinforcement learning.

Paper verifies RNNs using automata learning and model checking.

Reliability is a critical consideration to DL-based systems. But the statistical nature of DL makes it quite vulnerable to invalid inputs, i.e., those cases that are not considered in the training phase of a DL model. This paper proposes to perform data sanity check to identify invalid inputs, so as to enhance the reli…

A finite quiver $Q$ without loops or 2-cycles defines a 3CY triangulated category $D(Q)$ and a finite heart $A(Q)$. We show that if $Q$ satisfies some (strong) conditions then the space of stability conditions $Stab(A(Q))$ supported on this heart admits a natural family of semisimple Frobenius manifold structures, cons…

Given an affine isometry of $\R^3$ with hyperbolic linear part, its Margulis invariant measures signed Lorentzian displacement along an invariant spacelike line. In order for a group generated by hyperbolic isometries to act properly on $\R^3$, the sign of the Margulis invariant must be constant over the group. We show…

Proves SYZ mirror symmetry for del Pezzo and rational elliptic surfaces.

We provide an effective algorithm for determining whether an element of the outer automorphism group of a free group is fully irreducible. Our method produces a finite list which can be checked for periodic proper free factors.

We describe the infinitesimal moduli space of pairs $(Y, V)$ where $Y$ is a manifold with $G_2$ holonomy, and $V$ is a vector bundle on $Y$ with an instanton connection. These structures arise in connection to the moduli space of heterotic string compactifications on compact and non-compact seven dimensional spaces, e.…

We give an infinite dimensional description of the differential K-theory of a manifold $M$. The generators are triples $[H, A, ω]$ where $H$ is a ${\bf Z}_2$-graded Hilbert bundle on $M$, $A$ is a superconnection on $H$ and $ω$ is a differential form on $M$. The relations involve eta forms. We show that the ensuing gro…

New algorithm verifies Anosov condition for surface groups efficiently.

Heterotic string compactifications on integrable $G_2$ structure manifolds $Y$ with instanton bundles $(V,A), (TY,\tildeθ)$ yield supersymmetric three-dimensional vacua that are of interest in physics. In this paper, we define a covariant exterior derivative $\cal D$ and show that it is equivalent to a heterotic $G_2$ …

We study the $(2+2)$-Einstein warped product manifolds, where the scalar curvature of the Base is a multiple of the warping function, and we called this condition (inside a warped product manifold) $f$-curvature-Base ($R_{f_B}$).The aim of this paper is to check if there are Base-manifolds with non-flat metrics that sa…

In this paper, we investigate the properties of the full colored HOMFLYPT invariants in the full skein of the annulus $\mathcal{C}$. We show that the full colored HOMFLYPT invariant has a nice structure when $q\rightarrow 1$. The composite invariant is a combination of the full colored HOMFLYPT invariants. In order to …

Paper presents an algorithm to check spacetime equivalence.

Homotopy equivalence shown between complex and thickened versions of manifolds.

Constructing brane quantization for $A_n$-resolutions using SYZ mirror symmetry.

We propose a novel approach for analysis of the composition of an equity mutual fund based on the time series decomposition of the price movements of the individual stocks of the fund. The proposed scheme can be applied to check whether the style proclaimed for a mutual fund actually matches with the fund composition. …

This paper enhances privacy in statistical model checking of cyber-physical systems.

This paper deforms complex tori and their mirrors using gerbes.

Research aims to make fact-checking models more transparent.

Quantum computing techniques improve graph analysis and community detection.

Proves solution uniqueness for biomembrane shape prediction.

Test for linearizing 2-input systems with 2D feedback.

Time-aware fact-checking improves veracity predictions for time-sensitive claims.

DC-Check helps guide ML development by considering data-centric aspects.

A method to improve sequential learning by keeping past data errors in check.

We construct and analyze a family of low-density parity check (LDPC) quantum codes with a linear encoding rate, polynomial scaling distance and efficient decoding schemes. The code family is based on tessellations of closed, four-dimensional, hyperbolic manifolds, as first suggested by Guth and Lubotzky. The main contr…

New diagnostic method detects misspecified models in inverse PDE problems.

We show that an equivariantly embedded Hermitian symmetric space in a projective space, which contains neither a projective space nor a hyperquadric as a component, is characterized by their fundamental forms as a local submanifold of the projective space. Using some invariant-theoretic properties of the fundamental fo…

Let $(M,g)$ be a complete $(n+1)$-dimensional Riemannian manifold with $2\leq n\leq 6$. Our main theorem generalizes the solution of S.-T. Yau's conjecture on the abundance of minimal surfaces and builds on a result of M. Gromov. Suppose that $(M,g)$ has bounded geometry, or more generally is thick at infinity. Then th…

A five dimensional Sasaki-Einstein (SE) manifold provides a AdS/CFT pair for four dimensional $\mathcal{N}=1$ SCFT, and those pairs are very useful in studying field theory and AdS/CFT correspondence. The space of known SE manifolds is increased significantly in the last decade, and we initiated the study of various fi…

Proposes flexible spatial models for better understanding spatial heterogeneity.

In this work, a deep learning-based method for log-likelihood ratio (LLR) lossy compression and quantization is proposed, with emphasis on a single-input single-output uncorrelated fading communication setting. A deep autoencoder network is trained to compress, quantize and reconstruct the bit log-likelihood ratios cor…

Social networks are getting closer to our real physical world. People share the exact location and time of their check-ins and are influenced by their friends. Modeling the spatio-temporal behavior of users in social networks is of great importance for predicting the future behavior of users, controlling the users' mov…

By the SYZ construction, a mirror pair $(X,\check{X})$ of a complex torus $X$ and a mirror partner $\check{X}$ of the complex torus $X$ is described as the special Lagrangian torus fibrations $X \rightarrow B$ and $\check{X} \rightarrow B$ on the same base space $B$. Then, by the SYZ transform, we can construct a simpl…

Study Mabuchi rays on toric Kähler manifolds to understand quantization.

We show that the flatness of a nonlinear discrete-time system can be checked by computing a unique sequence of involutive distributions. The well-known test for static feedback linearizability is included as a special case. Since the computation of the sequence of distributions requires only the solution of algebraic e…

We specify a result of Yokoi \cite{yo} by proving that if $G$ is an abelian group and $X$ is a homogeneous metric $ANR$ compactum with $\dim_GX=n$ and $\check{H}^n(X;G)\neq 0$, then $X$ is an $(n,G)$-bubble. This implies that any such space $X$ has the following properties: $\check{H}^{n-1}(A;G)\neq 0$ for every closed…

SMC analysis reveals key transient effects in macroeconomic ABM.

Paper checks SSC for matrix factorizations using Gurobi.

We study the connectedness of the planar self-affine sets $T(A,{\mathcal{D}})$ generated by an integer expanding matrix $A$ with $|\det(A)|=3$ and a non-collinear digit set ${\mathcal D}=\{0, v, kAv\}$ where $k\in {\mathbb Z}\setminus\{0\}$ and $v\in {\mathbb Z}^2$ such that $\{v, Av\}$ is linearly independent. By chec…