arXiv research

Expanding on a Heisenberg group case for a mathematical proposition.

This is a corrected version of our paper published in Osaka Journal of Mathematics 51(2014), 673-693. We correct Theorem~1.1, Proposition~3.3 and their proofs.

This paper develops a mathematical framework for the analysis of continuous-time trading strategies which, in contrast to the classical setting of continuous-time mathematical finance, does not rely on stochastic integrals or other probabilistic notions. Our purely analytic framework allows for the derivation of a path…

Benchmark for math reasoning models from human proofs.

This paper poses some basic questions about instances (hard to find) of a special problem in 3-manifold topology. "Important though the general concepts and propositions may be with the modern industrious passion for axiomatizing and generalizing has presented us...nevertheless I am convinced that the special problems …

The Basel II internal ratings-based (IRB) approach to capital adequacy for credit risk plays an important role in protecting the Australian banking sector against insolvency. We outline the mathematical foundations of regulatory capital for credit risk, and extend the model specification of the IRB approach to a more g…

This note is a response to [7] in which it is claimed that [13, Proposition 11] is false. We demonstrate here that this assertion in [7] is false, and is based on a misreading of the notion of set membership in [13, Proposition 11]. We maintain that [13, Proposition 11] is true. ([7] = arXiv:1809.00593, [13] = arXiv:15…

There is an error in the proof of Proposition 3.7. Proposition 3.7 is needed for the proof of the main theorem.

This note corrects conditions in Proposition 3.4 and Theorem 5.2(ii) and comments on imprecisions in Propositions 4.2 and 4.4 in Fissler and Ziegel (2016).

Proposes a link between randomness and compression in deep learning.

Courant algebroids are a natural generalization of quadratic Lie algebras, appearing in various contexts in mathematical physics. A connection on a Courant algebroid gives an analogue of a covariant derivative compatible with a given fiber-wise metric. Imposing further conditions resembling standard Levi-Civita connect…

Paper withdrawn because of a gap in the proof of Proposition 3 of Thomas Schick: "Integrality of L2-Betti numbers", Math. Ann. 317, 727-750 (arXiv.org/abs/math.gt/0001101). Most results of the withdrawn paper were based on this proposition.

New heat dispersion laws established for smooth compact manifolds.

This study addresses an issue of co-adaptation between a feature extractor and a classifier in a neural network. A naive joint optimization of a feature extractor and a classifier often brings situations in which an excessively complex feature distribution adapted to a very specific classifier degrades the test perform…

In this paper we give the stable classification of ordered, pointed, oriented multi-component curves on surfaces with minimal crossing number less than or equal to 2 such that any equivalent curve has no simply closed curves in its components. To do this, we use the theory of words and phrases which was introduced by V…

The thesis examines stochastic calculus in option pricing with logistic models and numerical methods.

This is the first of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks, using the exponential decay estimate given in [FOOO7]. This article completes the construction of a Kuranishi structure of a…

The inequality involving Stekloff eigenvalues is tighter than previously thought.

The paper extends orthogonal decomposition results to hermitian Higgs bundles.

We study geometric structures of $\mathcal{W}_4$-type in the sense of A. Gray on a Riemannian manifold. If the structure group $\mathrm{G} \subset \SO(n)$ preserves a spinor or a non-degenerate differential form, its intrinsic torsion $Γ$ is a closed 1-form (Proposition \ref{dGamma} and Theorem \ref{Fixspinor}). Using …

Paper shows statistical learning can't always lead to true knowledge.

The Riemannian barycentre is one of the most widely used statistical descriptors for probability distributions on Riemannian manifolds. At present, existing algorithms are able to compute the Riemannian barycentre of a probability distribution, only if i.i.d. samples of this distribution are readily available. However,…

This paper has been withdrawn by the author, due to an error in Proposition 2.2.

HKT improves sequence processing with multi-scale attention and kernel analysis.

This paper has been withdrawn by the author due to an error in the proof of Proposition 4.8.

In this paper, we will study the existence problem of minmax minimal torus. We use classical conformal invariant geometric variational methods. We prove a theorem about the existence of minmax minimal torus in Theorem 5.1. Firstly we prove a strong uniformization result(Proposition 3.1) using method of [1]. Then we use…

This is the last in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as…

We show a few propositions in favour of relations between the phase space of 3D gravity, moduli of quasi-Fuchsian groups, global solutions of cosh-Gordon equations and minimal surfaces in hyperbolic spaces.

A new scheme reduces global search cost by a square root factor.

Process mining sheds new light on the relationship between process models and real-life processes. Process discovery can be used to learn process models from event logs. Conformance checking is concerned with quantifying the quality of a business process model in relation to event data that was logged during the execut…

We describe an error in the proof of a key proposition, which was necessary for the proof of the main result. Alternate proofs of the main result are given by Ozsvath-Stipsicz-Szabo and Dai-Hom-Stoffregen-Truong.

Paper withdrawn due to errors (superseded by math.AG/0604303). Proposition 11.4 is false, Section 12 is false, and the main statement is true only for bundles $B$ with $c_1(B)$ SU(2)-invariant.

We use the notion of generalized signatures at a singularity of a smooth curve of symmetric bilinear forms to determine a formula for the computation of the Maslov index in the case of a real-analytic path having possibly non transversal intersections. We discuss some applications of the theory, with special emphasis o…

Formula for renormalized area of hypersurfaces in hyperbolic spaces.

Although it is known that the dimension of the Vassiliev invariants of degree three of long virtual knots is seven, the complete list of seven distinct Gauss diagram formulas have been unknown explicitly, where only one known formula was revised without proof. In this paper, we give seven Gauss diagram formulas to pres…

In this paper, we prove that a Gorenstein toric Fano variety $(X, -K_{X})$ is asymptotically Chow semistable then it is Ding polystable with respect to toric test configurations (Theorem 1.3). This extends the known result obtained by others (Theorem 1.2) to the case where $X$ admits Gorenstein singularity. We also sho…

In this note, we give the correct statements of [2,Proposition 3.3 and Theorem 3.4] and a formula of the Chern curvature in terms of the curvature tensor $R^V$ of the affine connection $\nabla^V$ and the Chern tensor $P$.

This paper poses some basic questions about instances (hard to find) of a special problem in 3-manifold topology. "Important though the general concepts and propositions may be with the modern industrious passion for axiomatizing and generalizing has presented us ... nevertheless I am convinced that the special problem…

Paper proposes a sparse synthetic control method to select important predictors.

This is a corrected version of my paper "Application of integral geometry to minimal surfaces" appeared in International J. Math. vol. 4 Nr. 1 (1993), 89-111. The correction concerns Proposition 3.5. We discuss this correction in Appendix to the original version of my published paper by reproducing our correspondence w…

Study improves dividend discount model using VAR process.

The Hodge-de Rham Theorem is introduced and discussed. This result has implications for the general study of several partial differential equations. Some propositions which have applications to the proof of this theorem are used to study some related results concerning a class of partial differential equation in a nove…

The main results of the paper are Proposition 3 and 4 which provide an effective way to construct minimal hypersurfaces in a Euclidean space. We demonstrate our technique by several new examples. This note is English translation of an earlier draft version written (in Russian) in September 1999. The final version of th…

Szabó recently introduced a combinatorially-defined spectral sequence in Khovanov homology. After reviewing its construction and explaining our methodology for computing it, we present results of computations of the spectral sequence. Based on these computations, we make a number of conjectures concerning the structure…

Neuro# learns heuristics to speed up #SAT solvers.

The problem-solving in automated theorem proving (ATP) can be interpreted as a search problem where the prover constructs a proof tree step by step. In this paper, we propose a deep reinforcement learning algorithm for proof search in intuitionistic propositional logic. The most significant challenge in the application…

Algorithm of construction of all knots, links with given number of crosses on diagram of knot, link is offered. This algorithm is based on simple proposition, that there is a representation of knot (link) as closure of braid with n threads and length of this braid does not exceed n(4n-5)+2.

It is notoriously difficult to control the behavior of reinforcement learning agents. Agents often learn to exploit the environment or reward signal and need to be retrained multiple times. The multi-objective reinforcement learning (MORL) framework separates a reward function into several objectives. An ideal MORL age…