Search

We provide a semi-grammatical description of the set of normal proofs of positive formulae in minimal predicate logic, i.e. a grammar that generates a set of schemes, from each of which we can produce a finite number of normal proofs. This method is complete in the sense that each normal proof-term of the formula is produced by some scheme generated by the grammar. As a corollary, we get a similar description of the set of normal proofs of positive formulae for a large class of theories including simple type theory and System F.

We introduce the concept of quasi-inverse of quantum and classical channels, prove general properties of these inverses and determine them for a large class of channels acting in an arbitrary finite dimension. Therefore we extend the previous results of [1] to arbitrary dimensional channels and to the classical domain. We demonstrate how application of the proposed scheme can increase on the average the fidelity between a given random pure state and its image transformed by the quantum channel followed by its quasi-inversion., Comment: 39 pages, 10 figures

In quantum physics, the notion of contextuality has a variety of interpretations which are typically associated with the names of their inventors, say Bohr, Bell, Kochen and Specker, and recently Dzhafarov. In fact, Bohr was the first who pointed to contextuality of quantum measurements as a part of formulation of his principle of complementarity. (Instead of "contextuality", he considered dependence on "experimental conditions.") Unfortunately, the contextuality counterpart of the complementarity principle was overshadowed by the issue of incompatibility of observables. And the interest for contextuality of quantum measurements rose again only in connection with the Bell inequality. The original Bohr's contextuality, as contextuality of each quantum measurement, was practically forgotten. It was highlighted in the works of the author of this paper, with applications both to physics and cognition. In this note, the theory of open quantum systems is applied to formalization of Bohr's contextuality within the the scheme of indirect measurements. This scheme is widely used in quantum information theory and it leads to the theory of quantum instruments (Davis-Lewis-Ozawa). In this scheme, Bohr's viewpoint on contextuality of quantum measurements is represented in the formal mathematical framework.

In this problem, Alice and Bob, are provided $X_{1}^{n}$ and $X_{2}^{n}$ that are IID $px_{1}x_{2}$ . Alice and Bob can communicate to Charles over (noiseless) links of rate $R_{1}$ and $R_{2}$ , respectively. Their goal is to enable Charles generate samples $Y^{n}$ such that the triple $(X_{1}^{n},\ X_{2}^{n},\ Y^{n})$ has a PMF that is close, in total variation, to $\prod p_{X_{1}X_{2}\mathrm{Y}}$ . In addition, the three parties may posses shared common randomness at rate $C$ . We address the problem of characterizing the set of rate triples $(R_{1},\ R_{2},\ C)$ for which the above goal can be accomplished. We build on our recent findings and propose a new coding scheme based on coset codes. We analyze its information-theoretic performance and derive a new inner bound. We identify examples for which the derived inner bound is analytically proven to contain rate triples that are not achievable via any known unstructured code based coding techniques. Our findings build on a variant of soft-covering which generalizes its applicability to the algebraic structured code ensembles. This adds to the advancement of the use structured codes in network information theory.

This paper investigates reducing sub-packetization of capacity-achieving schemes for uncoded Storage Constrained Private Information Retrieval (SC-PIR) systems. In the SC-PIR system, a user aims to download one out of $K$ files from $N$ servers while revealing nothing about the identity of the requested file to any individual server, in which the $K$ files are stored at the $N$ servers in an uncoded form and each server can store up to $\mu K$ equivalent files, where $\mu $ is the normalized storage capacity of each server. We first prove that there exists a capacity-achieving SC-PIR scheme for a given storage design if and only if all the packets are stored exactly at $M\triangleq \mu N$ servers for $\mu $ such that $M=\mu N\in \{2,3,\ldots ,N\}$ . Then, the optimal sub-packetization for capacity-achieving linear SC-PIR schemes is characterized as the solution to an optimization problem, which is typically hard to solve since it involves non-continuous indicator functions. Moreover, a new notion of array called Storage Design Array (SDA) is introduced for the SC-PIR system. With any given SDA, an associated capacity-achieving SC-PIR scheme is constructed. Next, the SC-PIR schemes that have equal-size packets are investigated. Furthermore, the optimal equal-size sub-packetization among all capacity-achieving linear SC-PIR schemes characterized by Woolsey et al. is proved to be $\frac {N(M-1)}{\gcd (N,M)}$ , which is achieved by a construction of SDA. Finally, by allowing unequal size of packets, a greedy SDA construction is proposed, where the sub-packetization of the associated SC-PIR scheme is upper bounded by $\frac {N(M-1)}{\gcd (N,M)}$ . Among all capacity-achieving linear SC-PIR schemes, the sub-packetization is optimal when $\min \{M,N-M\}|N$ or $M=N$ , and within a multiplicative gap $\frac {\min \{M,N-M\}}{\gcd (N,M)}$ of the optimal one in general. In particular, for the special case $N=d\cdot M\pm 1$ where the positive integer $d\geq 2$ , we propose another SDA construction to obtain lower sub-packetization.

In paper by I.T. Habibullin and our joint paper the algorithm for classification of integrable equations with three independent variables was proposed. This method is based on the requirement of the existence of an infinite set of Darboux integrable reductions and on the notion of the characteristic Lie-Rinehart algebras. The method was applied for the classification of integrable cases of different subclasses of equations $u_{n,xy} = f(u_{n+1},u_n,u_{n-1}, u_{n,x},u_{n,y})$ of special forms. Under this approach the novel integrable chain was obtained. In present paper we construct Lax pair for the novel chain. To construct the Lax pair, we use the scheme suggested in papers by E.V. Ferapontov. We also study the periodic reduction of the chain.

It is well known that using the conventional non-Hermitian but ${\cal PT}-$symmetric Bose-Hubbard Hamiltonian with real spectrum one can realize the Bose-Einstein condensation (BEC) process in an exceptional-point limit of order $N$. Such an exactly solvable simulation of the BEC-type phase transition is, unfortunately, incomplete because the standard version of the model only offers an extreme form of the limit characterized by a minimal geometric multiplicity $K=1$. In our paper we describe a rescaled and partitioned direct-sum modification of the linear version of the Bose-Hubbard model which remains exactly solvable while admitting any value of $K\geq 1$. It offers a complete menu of benchmark models numbered by a specific combinatorial scheme. In this manner, an exhaustive classification of the general BEC patterns with any geometric multiplicity is obtained and realized in terms of an exactly solvable generalized Bose-Hubbard model., Comment: 26 pp., 3 figures

We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV formalism in finite dimensions from Lie algebra to group actions., Comment: v3: Final version accepted for publication in Communications in Contemporary Mathematics

Let R be a regular semi-local integral domain containing a field and K be its fraction field. Let mu: G --> T be an R-group schemes morphism between reductive R-group schemes, which is smooth as a scheme morphism. Suppose that T is an R-torus.Then the map T(R)/mu(G(R)) --> T(K)/mu(G(K)) is injective and certain purity theorem is true.These and other results are derived from an extended form of Grothendieck--Serre conjecture proven in the present paper for rings R as above., arXiv admin note: text overlap with arXiv:1707.01763, arXiv:1406.1129

We study the approximation of the nonlocal-interaction equation restricted to a compact manifold $\mathcal{M}$ embedded in $\mathbb{R}^d$, and more generally compact sets with positive reach (i.e. prox-regular sets). We show that the equation on $\mathcal{M}$ can be approximated by the classical nonlocal-interaction equation on $\mathbb{R}^d$ by adding an external potential which strongly attracts to $\mathcal{M}$. The proof relies on the Sandier--Serfaty approach to the $\Gamma$-convergence of gradient flows. As a by-product, we recover well-posedness for the nonlocal-interaction equation on $\mathcal{M}$. Uniqueness, on the other hand, is established using a stability argument. We also provide an another approximation to the interaction equation on $\mathcal{M}$, based on iterating approximately solving an interaction equation on $\mathbb{R}^d$ and projecting to $\mathcal{M}$. We show convergence of this scheme, together with an estimate on the rate of convergence. Finally, we conduct numerical experiments, for both the attractive-potential-based and the projection-based approaches, that highlight the effects of the geometry on the dynamics., Comment: 24 pages, 8 figures

The factorization method provides a necessary and sufficient condition for characterizing the shape and position of an unknown scatterer by using far-field patterns of infinitely many time-harmonic plane waves at a fixed frequency (which are also called the multistatic data response matrix). This paper is concerned with the factorization method with a single far-field pattern to recover an arbitrary convex polygonal scatterer/source. Its one-wave version relies on the absence of analytical continuation of the scattered/radiated wave-fields in corner domains. It can be regarded as a domain-defined sampling method and does not require forward solvers. In this paper we provide a rigorous mathematical justification of the one-wave factorization method and present some preliminary numerical examples. In particular, the proposed method can be interpreted as a model-driven and data-driven imaging scheme, and it shows how to incorporate a priori knowledge about the unknown target into the test scatterers for the purpose of detecting obstacles/sources with specific features.

Second-order topological semimetals (SOTSMs) is featured with the presence of hinge Fermi arc. How to generate SOTSMs in different systems has attracted much attention. We here propose a scheme to create exotic SOTSMs by periodic driving. It is found that novel Dirac SOTSMs with a widely tunable number of nodes and hinge Fermi arcs, the adjacent nodes with same chirality, and the coexisting nodal points and nodal loops can be generated at ease by the periodic driving. When the time-reversal symmetry is broken, our scheme also permits us to realize an exotic hybrid-order Weyl semimetals with the coexisting hinge and surface Fermi arcs. The multiplicity of the zero- and $\pi/T$-mode Weyl points endows our system more colorful 2D sliced topological phases, which can be any combination of normal insulator, Chern insulator, and SOTI, than the static case. Enriching the family of topological semimetals, our scheme supplies a convenient way to artificially synthesize and control exotic topological phases by periodic driving.

The direct linearisation framework is presented for the two-dimensional Toda equations associated with the infinite-dimensional Lie algebras $A_\infty$, $B_\infty$ and $C_\infty$, as well as the Kac--Moody algebras $A_{r}^{(1)}$, $A_{2r}^{(2)}$, $C_{r}^{(1)}$ and $D_{r+1}^{(2)}$ for arbitrary integers $r\in\mathbb{Z}^+$, from the aspect of a set of linear integral equations in a certain form. Such a scheme not only provides a unified perspective to understand the underlying integrability structure, but also induces the direct linearising type solution potentially leading to the universal solution space, for each class of the two-dimensional Toda system. As particular applications of this framework to the two-dimensional Toda lattices, we rediscover the Lax pairs and the adjoint Lax pairs and simultaneously construct the generalised Cauchy matrix solutions., Comment: 26 pages

Amsterdam : North-Holland Publ. Co. 1-40 (2021). doi:10.1016/j.nuclphysb.2021.115542, We calculate the unpolarized and polarized three–loop anomalous dimensions and splitting functions P$_{NS}^+$,P$_{NS}^-$ and P$_{NS}^s$ in QCD in the $\overline{MS}$ scheme by using the traditional method of space–like off shell massless operator matrix elements. This is a gauge–dependent framework. For the first time we also calculate the three–loop anomalous dimensions P$_{NS}^±$$^{,tr}$ for transversity directly. We compare our results to the literature., Published by North-Holland Publ. Co., Amsterdam

The Vlasov-Poisson-Boltzmann equation is a classical equation governing the dynamics of charged particles with the electric force being self-imposed. We consider the system in a convex domain with the Cercignani-Lampis boundary condition. We construct a uniqueness local-in-time solution based on an $L^\infty$-estimate and $W^{1,p}$-estimate. In particular, we develop a new iteration scheme along the characteristic with the Cercignani-Lampis boundary for the $L^\infty$-estimate, and an intrinsic decomposition of boundary integral for $W^{1,p}$-estimate., Comment: Chen, H., Kim, C. & Li, Q. Local Well-Posedness of Vlasov-Poisson-Boltzmann Equation with Generalized Diffuse Boundary Condition. J Stat Phys 179, 535-631 (2020). https://doi.org/10.1007/s10955-020-02545-9

In this paper, we present and analyze an energy-conserving and linearly implicit scheme for solving the nonlinear wave equations. Optimal error estimates in time and superconvergent error estimates in space are established without time-step dependent on the spatial mesh size. The key is to estimate directly the solution bounds in the $H^2$-norm for both the nonlinear wave equation and the corresponding fully discrete scheme, while the previous investigations rely on the temporal-spatial error splitting approach. Numerical examples are presented to confirm energy-conserving properties, unconditional convergence, and optimal error estimates, respectively, of the proposed fully discrete schemes., Comment: 21 pages, 4 figures

We extend the scheme of quantum teleportation by quantum walks introduced by Wang et al. (2017). First, we introduce the mathematical definition of the accomplishment of quantum teleportation by this extended scheme. Secondly, we show a useful necessary and sufficient condition that the quantum teleportation is accomplished rigorously. Our result classifies the parameters of the setting for the accomplishment of the quantum teleportation., Comment: 22 pages, 1 figure

In this paper we model low-lying states of atomic nuclei in the nucleon-pair approximation of the shell model, using three approaches to select collective nucleon pairs: the generalized seniority scheme, the conjugate gradient method, and the Hartree-Fock approach. We find the collective pairs obtained from the generalized seniority scheme provides a good description for nearly spherical nuclei, and those from the conjugate gradient method or the Hartree-Fock approach work well for transitional and deformed nuclei. Our NPA calculations using collective pairs with angular momenta 0, 2, and 4 (denoted by $SDG$ pairs) reproduce the nuclear shape evolution in the $N=26$ isotones, $^{46}$Ca, $^{48}$Ti, $^{50}$Cr, and $^{52}$Fe, and yield good agreement with full configuration-interaction calculations of low-lying states in medium-heavy transitional and deformed nuclei: $^{44-48}$Ti, $^{48}$Cr, $^{50}$Cr, $^{52}$Fe, $^{60-64}$Zn, $^{64,66}$Ge, $^{84}$Mo, and $^{108-112}$Xe. Finally, using the $SDGI$-pair approximation we describe low-lying states of $^{112,114}$Ba, cases difficult to reach by conventional configuration-interaction methods.

We show that there exists an adjacency labelling scheme for planar graphs where each vertex of an n-vertex planar graph G is assigned a (1+o(1)) text{log} {2}n-bit label and the labels of two vertices u and v are sufficient to determine if uv is an edge of G. This is optimal up to the lower order term and is the first such asymptotically optimal result. An alternative, but equivalent, interpretation of this result is that, for every positive integer n, there exists a graph U {n} with n{1+o(1)} vertices such that every n-vertex planar graph is an induced subgraph of U {n}. These results generalize to a number of other graph classes, including bounded genus graphs, apex-minor-free graphs, bounded-degree graphs from minor closed families, and k-planar graphs. © 2020 IEEE., info:eu-repo/semantics/published, 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020; Virtual, Durham; United States; 16 November 2020 through 19 November 2020

We study equivariant localization of intersection cohomology complexes on Schubert varieties in Kashiwara's flag manifold. Using moment graph theory, we establish a link to the representation theory of Kac-Moody algebras and give a new proof of the Kazhdan-Lusztig conjecture for blocks containing an antidominant element., Comment: Submitted version. Typos corrected, proof of the KL conjecture expanded

Time-periodic driving in the form of coherent radiation provides powerful tool for the manipulation of topological materials or synthetic quantum matter. In this paper we propose a scheme to realize non-Hermitian semimetals exhibiting exceptional rings in the spectra through Floquet engineering. A transition from a concentric pair of the rings to a dipolar pair is observed. The concentric pair carries only a quantized Berry phase while the dipolar pair possesses opposite Chern numbers in addition, signaling a topological Lifshitz transition of the Fermi surface. The transport properties of the system are addressed, and we find that this transition process is accompanied by the emergency of a nontrivial Hall conductivity. Furthermore, we explore the quantum simulation of non-Hermitian semimetals with a quantum spin system and the characterization of the topology via the long-time dynamics., Comment: 10 pages, 8 figures

We propose an image encryption scheme based on quasi-resonant Rossby/drift wave triads (related to elliptic surfaces) and Mordell elliptic curves (MECs). By defining a total order on quasi-resonant triads, at a first stage we construct quasi-resonant triads using auxiliary parameters of elliptic surfaces in order to generate pseudo-random numbers. At a second stage, we employ an MEC to construct a dynamic substitution box (S-box) for the plain image. The generated pseudo-random numbers and S-box are used to provide diffusion and confusion, respectively, in the tested image. We test the proposed scheme against well-known attacks by encrypting all gray images taken from the USC-SIPI image database. Our experimental results indicate the high security of the newly developed scheme. Finally, via extensive comparisons we show that the new scheme outperforms other popular schemes., Comment: Accepted and published version (Entropy 2020, 22, 454)

The fractionalization of microscopic degrees of freedom is a remarkable manifestation of strong interactions in quantum many-body systems. Analytical studies of this phenomenon are primarily based on two distinct frameworks: field theories of partons and emergent gauge fields, or coupled arrays of one-dimensional quantum wires. We unify these approaches for two-dimensional spin systems. Via exact manipulations, we demonstrate how parton gauge theories arise in microscopic wire arrays and explicitly relate spin operators to emergent quasiparticles and gauge-field monopoles. This correspondence allows us to compute physical correlation functions within both formulations and leads to a straightforward algorithm for constructing parent Hamiltonians for a wide range of exotic phases. We exemplify this technique for several chiral and non-chiral quantum spin liquids., Comment: 32 pages, 11 figures

We discuss the gluing construction of class $\mathcal{S}$ chiral algebras in derived setting. The gluing construction in non-derived setting was introduced by Arakawa to construct a family of vertex algebras of which the associated varieties give genus zero Moore-Tachikawa symplectic varieties. Motivated by the higher genus case, we introduce a dg vertex algebra version $\mathsf{MT}_{\mathrm{ch}}$ of the category of Moore-Tachikawa symplectic varieties, where a morphism is given by a dg vertex algebra equipped with action of the universal affine vertex algebra, and composition of morphisms is given by the BRST reduction. We also show that the procedure taking the associated scheme of gives a functor from $\mathsf{MT}_{\mathrm{ch}}$ to the category $\mathsf{MT}$ of derived Moore-Tachikawa varieties, which would imply compatibility of gluing constructions in both categories., Comment: 61 pages

In this article we introduce a number of explicit schemes, which are amenable to Khasminski’s technique and are particularly suitable for highly nonlinear stochastic differential equations (SDEs). We show that without additional restrictions to those which guarantee the exact solutions possess their boundedness in expectation with respect to certain Lyapunov-type functions, the numerical solutions converge strongly to the exact solutions in finite-time. Moreover, based on the convergence theorem of nonnegative semimartingales, positive results about the ability of the explicit numerical scheme proposed to reproduce the well-known LaSalle-type theorem of SDEs are proved here, from which we deduce the asymptotic stability of numerical solutions. Some examples are discussed to demonstrate the validity of the new numerical schemes and computer simulations are performed to support the theoretical results.

We study the concurrence of arbitrary-dimensional multipartite quantum states. Analytical lower bounds of concurrence for tripartite quantum states are derived by projecting high-dimensional states to $2\otimes 2\otimes 2$ substates. The results are then generalized to arbitrary multipartite quantum systems. Furthermore, the scheme enables us obtain lower bounds of concurrence for arbitrary four-partite quantum states by projecting high-dimensional states to arbitrary given lower dimensional substates. By detailed examples we show that our results improve the existing lower bounds of concurrence., Comment: 13pages, 2figures

It is commonly stated that because terms in the beta function of a theory at the level of $\ell \ge 3$ loops and higher are scheme-dependent, it is possible to define scheme transformations that can be used to remove these terms, at least in the vicinity of zero coupling. We prove that this is not, in general, possible in the situation where a beta function is not identically zero but has a vanishing one-loop term., Comment: 6 pages, latex

An arbitrary operator corresponding to a physical observable cannot be measured in a single measurement on currently available quantum hardware. To obtain the expectation value of the observable, one needs to partition its operator to measurable fragments. However, the observable and its fragments generally do not share any eigenstates, and thus the number of measurements needed to obtain the expectation value of the observable can grow rapidly even when the wavefunction prepared is close to an eigenstate of the observable. We provide a unified Lie algebraic framework for developing efficient measurement schemes for quantum observables, it is based on two elements: 1) embedding the observable operator in a Lie algebra and 2) transforming Lie algebra elements into those of a Cartan sub-algebra (CSA) using unitary operators. The CSA plays the central role because all its elements are mutually commutative and thus can be measured simultaneously. We illustrate the framework on measuring expectation values of Hamiltonians appearing in the Variational Quantum Eigensolver approach to quantum chemistry. The CSA approach puts many recently proposed methods for the measurement optimization within a single framework, and allows one not only to reduce the number of measurable fragments but also the total number of measurements.

We analyse the convergence of nonlinear Riemannian analogues of linear subdivision processes operating on data in the sphere. We show how for curve subdivision rules we can derive bounds guaranteeing convergence if the density of input data is below that threshold. Previous results only yield thresholds that are several magnitudes smaller and are thus useless for a priori checking of convergence. It is the first time that such a result has been shown for a geometry with positive curvature and for subdivision rules not enjoying any special properties like being interpolatory or having non-negative mask.

We study an implicit finite-volume scheme for nonlinear, non-local aggregation-diffusion equations which exhibit a gradient-flow structure, recently introduced in [R. Bailo, J. A. Carrillo and J. Hu, Fully discrete positivity-preserving and energy-dissipating schemes for aggregation-diffusion equations with a gradient flow structure, arXiv:1811.11502 ]. Crucially, this scheme keeps the dissipation property of an associated fully discrete energy, and does so unconditionally with respect to the time step. Our main contribution in this work is to show the convergence of the method under suitable assumptions on the diffusion functions and potentials involved.

The nucleon pair shell model (NPSM) is casted into the so-called M-scheme for the cases with isospin symmetry and without isospin symmetry. The odd system and even system are treated on the same foot. The uncoupled commutators for nucleon-pairs, which are suitable for M-scheme, are given. Explicit formula of matrix elements in M-scheme for overlap, one-body operators, two-body operators are obtained. It is found that the $cpu$ time used in calculating the matrix elements in M-scheme is much shorter than that in the J-scheme of NPSM., Comment: 38 pages, 2 figures

We propose a deep neural network architecture and a training algorithm for computing approximate Lyapunov functions of systems of nonlinear ordinary differential equations. Under the assumption that the system admits a compositional Lyapunov function, we prove that the number of neurons needed for an approximation of a Lyapunov function with fixed accuracy grows only polynomially in the state dimension, i.e., the proposed approach is able to overcome the curse of dimensionality. We show that nonlinear systems satisfying a small-gain condition admit compositional Lyapunov functions. Numerical examples in up to ten space dimensions illustrate the performance of the training scheme., Comment: arXiv admin note: substantial text overlap with arXiv:2001.08423

Quantum computation has been growing rapidly in both theory and experiments. In particular, quantum computing devices with a large number of qubits have been developed by IBM, Google, IonQ, and others. The current quantum computing devices are noisy intermediate-scale quantum $($NISQ$)$ devices, and so approaches to validate quantum processing on these quantum devices are needed. One of the most common ways of validation for an n-qubit quantum system is quantum tomography, which tries to reconstruct a quantum system's density matrix by a complete set of observables. However, the inherent noise in the quantum systems and the intrinsic limitations poses a critical challenge to precisely know the actual measurement operators which make quantum tomography impractical in experiments. Here, we propose an alternative approach to quantum tomography, based on the maximal information entropy, that can predict the values of unknown observables based on the available mean measurement data. This can then be used to reconstruct the density matrix with high fidelity even though the results for some observables are missing. Of additional contexts, a practical approach to the inference of the quantum mechanical state using only partial information is also needed., Comment: 27 pages, 6 figures, submitted to PRX Quantum

We present a method to efficiently compute Wasserstein gradient flows. Our approach is based on a generalization of the back-and-forth method (BFM) introduced in Jacobs and Léger [Numer. Math.146(2020) 513–544.]. to solve optimal transport problems. We evolve the gradient flow by solving the dual problem to the JKO scheme. In general, the dual problem is much better behaved than the primal problem. This allows us to efficiently run large scale gradient flows simulations for a large class of internal energies including singular and non-convex energies.

As an important coding scheme in modern distributed storage systems, locally repairable codes (LRCs) have attracted a lot of attentions from perspectives of both practical applications and theoretical research. As a major topic in the research of LRCs, bounds and constructions of the corresponding optimal codes are of particular concerns. In this work, codes with $(r,\delta)$-locality which have optimal minimal distance w.r.t. the bound given by Prakash et al. \cite{Prakash2012Optimal} are considered. Through parity check matrix approach, constructions of both optimal $(r,\delta)$-LRCs with all symbol locality ($(r,\delta)_a$-LRCs) and optimal $(r,\delta)$-LRCs with information locality ($(r,\delta)_i$-LRCs) are provided. As a generalization of a work of Xing and Yuan \cite{XY19}, these constructions are built on a connection between sparse hypergraphs and optimal $(r,\delta)$-LRCs. With the help of constructions of large sparse hypergraphs, the length of codes constructed can be super-linear in the alphabet size. This improves upon previous constructions when the minimal distance of the code is at least $3\delta+1$. As two applications, optimal H-LRCs with super-linear length and GSD codes with unbounded length are also constructed., Comment: 21 pages

In this paper, we introduce a novel class of embedded exponential-type low-regularity integrators (ELRIs) for solving the KdV equation and establish their optimal convergence results under rough initial data. The schemes are explicit and efficient to implement. By rigorous error analysis, we first show that the ELRI scheme provides the first order accuracy in $H^\gamma$ for initial data in $H^{\gamma+1}$ for $\gamma>\frac12$. Moreover, by adding two more correction terms to the first order scheme, we show a second order ELRI that provides the second order accuracy in $H^\gamma$ for initial data in $H^{\gamma+3}$ for $\gamma\ge0$. The proposed ELRIs further reduce the regularity requirement of existing methods so far for optimal convergence. The theoretical results are confirmed by numerical experiments, and comparisons with existing methods illustrate the efficiency of the new methods., Comment: 29 pages, 7 figures

In this paper, we consider a nonlinear and nonlocal parabolic model for multi-species ionic fluids and introduce a semi-implicit finite volume scheme, which is second order accurate in space, first order in time and satisfies the following properties: positivity preserving, mass conservation and energy dissipation. Besides, our scheme involves a fast algorithm on the convolution terms with singular but integrable kernels, which otherwise impedes the accuracy and efficiency of the whole scheme. Error estimates on the fast convolution algorithm are shown next. Numerous numerical tests are provided to demonstrate the properties, such as unconditional stability, order of convergence, energy dissipation and the complexity of the fast convolution algorithm. Furthermore, extensive numerical experiments are carried out to explore the modeling effects in specific examples, such as, the steric repulsion, the concentration of ions at the boundary and the blowup phenomenon of the Keller-Segel equations., Comment: 27 pages, 17 figures

It was recently demonstrated that the N=0,1,2,4 super-Schwarzian derivatives can be constructed by applying the method of nonlinear realizations to the finite-dimensional (super)conformal groups SL(2,R), OSp(1|2), SU(1,1|1), and SU(1,1|2), respectively. In this work, a similar scheme is realised for OSp(3|2). It is shown that the N=3 case exhibits a surprisingly richer structure of invariants, the N=3 super-Schwarzian being a particular member. We suggest that the extra invariants may prove useful in building an N=3 supersymmetric extension of the Sachdev-Ye-Kitaev model., Comment: V2: 10 pages, a typo fixed in the abstract and main text; the version to appear in PLB. arXiv admin note: text overlap with arXiv:2007.04015

We exploit the critical locus structure on the Quot scheme $\mathrm{Quot}_{\mathbb A^3}(\mathscr O^{\oplus r},n)$, in particular the associated symmetric obstruction theory, in order to define rank $r$ K-theoretic Donaldson-Thomas invariants of the Calabi-Yau $3$-fold $\mathbb A^3$. We compute the associated partition function as a plethystic exponential, proving a conjecture proposed in string theory by Awata-Kanno and Benini-Bonelli-Poggi-Tanzini. A crucial step in the proof is the fact that the invariants do not depend on the equivariant parameters of the framing torus $(\mathbb C^\ast)^r$. Reducing from K-theoretic to cohomological invariants, we compute the corresponding DT invariants, proving a conjecture of Szabo. Reducing further to enumerative DT invariants, we solve the higher rank DT theory of a pair $(X,F)$, where $F$ is an equivariant exceptional vector bundle on a projective toric $3$-fold $X$. Finally, we give a mathematical definition of the chiral elliptic genus studied in physics by Benini-Bonelli-Poggi-Tanzini. This allows us to define elliptic DT invariants of $\mathbb A^3$ in arbitrary rank, and to study their first properties., Comment: v2. Replaced appendix with Theorem 6.5. Minor changes and corrections following referee's comments. 50 pages. Accepted for publication in Forum Math. Sigma

In this paper, stability and error estimates for time discretizations of linear and semilinear parabolic equations by the two-step backward differentiation formula (BDF2) method with variable step-sizes are derived. An affirmative answer is provided to the question: whether the upper bound of step-size ratios for the $l^{\infty }(0,T;H)$ -stability of the BDF2 method for linear and semilinear parabolic equations is identical with the upper bound for the zero-stability. The $l^{\infty }(0,T;V)$ -stability of the variable step-size BDF2 method is also established under more relaxed condition on the ratios of consecutive step-sizes. Based on these stability results, error estimates in several different norms are derived. To utilize the BDF method, the trapezoidal method and the backward Euler scheme are employed to compute the starting value. For the latter choice, order reduction phenomenon of the constant step-size BDF2 method is observed theoretically and numerically in several norms. Numerical results also illustrate the effectiveness of the proposed method for linear and semilinear parabolic equations.

Grothendieck-Witt spectra represent higher Grothendieck-Witt groups and higher Hermitian K-theory in particular. A description of the Grothendieck-Witt spectrum of a finite dimensional projective bundle $\mathbb{P}(\mathcal{E})$ over a base scheme $X$ is given in terms of the Grothendieck-Witt spectra of the base, using the dg category of strictly perfect complexes, provided that $X$ is a scheme over $\text{Spec }\mathbb{Z}[1/2]$ and satisfies the resolution property, e.g. if $X$ has an ample family of line bundles., Comment: 20 pages

We present a fast spectral Galerkin scheme for the discretization of boundary integral equations arising from two-dimensional Helmholtz transmission problems in multi-layered periodic structures or gratings. Employing suitably parametrized Fourier basis and excluding cut-off frequencies (also known as Rayleigh-Wood frequencies), we rigorously establish the well-posedness of both continuous and discrete problems, and prove super-algebraic error convergence rates for the proposed scheme. Through several numerical examples, we confirm our findings and show performances competitive to those attainedviaNyström methods.

We present the recent result [8] concerning the existence of quasi-periodic in time traveling waves for the 2d pure gravity water waves system in infinite depth. We provide the first existence result of quasi-periodic water waves solutions bifurcating from a completely resonant elliptic fixed point. The proof is based on a Nash-Moser scheme, Birkhoff normal form methods and pseudo-differential calculus techniques. We deal with the combined problems of small divisors and the fully-nonlinear nature of the equations., Comment: arXiv admin note: substantial text overlap with arXiv:2005.08280

In \cite{christlieb2019kernel}, the authors developed a class of high-order numerical schemes for the Hamilton-Jacobi (H-J) equations, which are unconditionally stable, yet take the form of an explicit scheme. This paper extends such schemes, so that they are more effective at capturing sharp gradients, especially on nonuniform meshes. In particular, we modify the weighted essentially non-oscillatory (WENO) methodology in the previously developed schemes by incorporating an exponential basis and adapting the previously developed nonlinear filters used to control oscillations. The main advantages of the proposed schemes are their effectiveness and simplicity, since they can be easily implemented on higher-dimensional nonuniform meshes. We perform numerical experiments on a collection of examples, including H-J equations with linear, nonlinear, convex and non-convex Hamiltonians. To demonstrate the flexibility of the proposed schemes, we also include test problems defined on non-trivial geometry.

We study the isotropic Quot schemes $IQ_e (V)$ parameterizing degree $e$ isotropic subsheaves of maximal rank of an orthogonal bundle $V$ over a curve. The scheme $IQ_e (V)$ contains a compactification of the space $IQ^o_e (V)$ of degree $e$ maximal isotropic subbundles, but behaves quite differently from the classical Quot scheme, and the Lagrangian Quot scheme in [6]. We observe that for certain topological types of $V$, the scheme $IQ_e (V)$ is empty for all $e$. In the remaining cases, for infinitely many $e$ there are irreducible components of $IQ_e (V)$ consisting entirely of nonsaturated subsheaves, and so $IQ_e (V)$ is strictly larger than the closure of $IQ^o_e (V)$. As our main result, we prove that for any orthogonal bundle $V$ and for $e \ll 0$, the closure $\overline{IQ^o_e (V)}$ of $IQ^o_e (V)$ is either empty or consists of one or two irreducible connected components, depending on $\deg(V)$ and $e$. In so doing, we also characterize the nonsaturated part of $\overline{IQ^o_e (V)}$ when $V$ has even rank., Comment: 31 pp

The goal of the present paper is to prove that if a weak limit of a consistent approximation scheme of compressible complete Euler system in the full space $ \mathbb{R}^d,\; d=2,3 $ is a weak solution of the system then eventually the approximate solutions converge strongly in suitable norms locally under a minimal assumption on the initial data of the approximate solutions. The class of consistent approximate solutions is quite general including the vanishing viscosity and heat conductivity limit. In particular, they may not satisfy the minimal principle for entropy., Comment: Few errors have been rectified

In this paper, we apply projective integration methods to hyperbolic moment models of the Boltzmann equation and the BGK equation, and investigate the numerical properties of the resulting scheme. Projective integration is an explicit, asymptotic-preserving scheme that is tailored to problems with large spectral gaps between slow and (one or many) fast eigenvalue clusters of the model. The spectral analysis of a linearized moment model clearly shows spectral gaps and reveals the multi-scale nature of the model for which projective integration is a matching choice. The combination of the non-intrusive projective integration method with moment models allows for accurate, but efficient simulations with significant speedup, as demonstrated using several 1D and 2D test cases with different collision terms, collision frequencies and relaxation times., Comment: 38 pages, 12 figures

We revisit the cellular dynamical mean-field theory (CDMFT) for the single band Hubbard model on the square lattice at half filling, reaching real-space cluster sizes of up to 9 x 9 sites. Using benchmarks against direct lattice diagrammatic Monte Carlo at high temperature, we show that the self-energy obtained from a cluster center focused extrapolation converges faster with the cluster size than the periodization schemes previously introduced in the literature. The same benchmark also shows that the cluster spin susceptibility can be extrapolated to the exact result at large cluster size, even though its spatial extension is larger than the cluster size., Comment: 11 pages, 13 figures

We develop a general scheme for an analysis of macroscopic qudit systems: a) introduce a set of collective observables, which characterizes the macroscopic properties of qudits in an optimal way; b) construct projected $\tilde{Q}$-functions for $N$ qudit systems, containing full macroscopic information; c) propose a collective tomographic protocol both for a general and symmetric $N$-qudit states. The example of $N$-qutrit is analyzed in details and compared to $N$-qubit case

We aim to reconstruct a monoid scheme X from the category of quasi-coherent sheaves over it. This is much in the vein of Gabriel's original reconstruction theorem. Under some finiteness condition on a monoid schemes X , we show that the localisations of the topos Qc ( X ) of quasi-coherent sheaves on X are in a one-to-one correspondence with open subsets of X, while the elements of X correspond to the topos points of Qc ( X ) . This allows us to reconstruct X from Qc ( X ) .