title: Multilevel and multifidelity uncertainty quantification for cardiovascular hemodynamics

abstract: Standard approaches for uncertainty quantification in cardiovascular modeling pose challenges due to the large number of uncertain inputs and the significant computational cost of realistic three-dimensional simulations. We propose an efficient uncertainty quantification framework utilizing a multilevel multifidelity Monte Carlo estimator to improve the accuracy of hemodynamic quantities of interest while maintaining reasonable computational cost. This is achieved by leveraging three cardiovascular model fidelities, each with varying spatial resolution to rigorously quantify the variability in hemodynamic outputs. We employ two low-fidelity models to construct several different estimators. Our goal is to investigate and compare the efficiency of estimators built from combinations of these low-fidelity and high-fidelity models. We demonstrate this framework on healthy and diseased models of aortic and coronary anatomy, including uncertainties in material property and boundary condition parameters. We seek to demonstrate that for this application it is possible to accelerate the convergence of the estimators by utilizing a MLMF paradigm. Therefore, we compare our approach to Monte Carlo and multilevel Monte Carlo estimators based only on three-dimensional simulations. We demonstrate significant reduction in total computational cost with the MLMF estimators. We also examine the differing properties of the MLMF estimators in healthy versus diseased models, as well as global versus local quantities of interest. As expected, global quantities and healthy models show larger reductions than local quantities and diseased model, as the latter rely more heavily on the highest fidelity model evaluations. In all cases, our workflow coupling Dakota's MLMF estimators with the SimVascular cardiovascular modeling framework makes uncertainty quantification feasible for constrained computational budgets.


title: Pair correlation for Dedekind zeta functions of abelian extensions

abstract: Here we study problems related to the proportions of zeros, especially simple and distinct zeros on the critical line, of Dedekind zeta functions. We obtain new bounds on a counting function that measures the discrepancy of the zeta functions from having all zeros simple. In particular, for quadratic number fields, we deduce that more than 45% of the zeros are distinct. This extends work based on Montgomery's pair correlation approach for the Riemann zeta function. Our optimization problems can be interpreted as interpolants between the pair correlation bound for the Riemann zeta function and the Cohn-Elkies sphere packing bound in dimension 1. We compute the bounds through optimization over Schwartz functions using semidefinite programming and also show how semidefinite programming can be used to optimize over functions with bounded support.


title: Meta Reasoning over Knowledge Graphs

abstract: The ability to reason over learned knowledge is an innate ability for humans and humans can easily master new reasoning rules with only a few demonstrations. While most existing studies on knowledge graph (KG) reasoning assume enough training examples, we study the challenging and practical problem of few-shot knowledge graph reasoning under the paradigm of meta-learning. We propose a new meta learning framework that effectively utilizes the task-specific meta information such as local graph neighbors and reasoning paths in KGs. Specifically, we design a meta-encoder that encodes the meta information into task-specific initialization parameters for different tasks. This allows our reasoning module to have diverse starting points when learning to reason over different relations, which is expected to better fit the target task. On two few-shot knowledge base completion benchmarks, we show that the augmented task-specific meta-encoder yields much better initial point than MAML and outperforms several few-shot learning baselines.


title: On the ultraviolet finiteness of parity-preserving $U(1) \times U(1)$ massive QED$_3$

abstract: The parity-preserving $U_A(1)\times U_a(1)$ massive QED$_3$ is ultraviolet finiteness -- exhibits vanishing $\beta$-functions, associated to the gauge coupling constants (electric and pseudochiral charges) and the Chern-Simons mass parameter, and all the anomalous dimensions of the fields -- as well as is parity and gauge anomaly free at all orders in perturbation theory. The proof is independent of any regularization scheme and it is based on the quantum action principle in combination with general theorems of perturbative quantum field theory by adopting the Becchi-Rouet-Stora (BRS) algebraic renormalization method in the framework of Bogoliubov-Parasiuk-Hepp-Zimmermann (BPHZ) subtraction scheme.

categories: hep-th cond-mat.other cond-mat.supr-con math-ph math.MP quant-ph


title: Invariant Measures for Nonlinear Conservation Laws Driven by Stochastic Forcing

abstract: Some recent developments in the analysis of long-time behaviors of stochastic solutions of nonlinear conservation laws driven by stochastic forcing are surveyed. The existence and uniqueness of invariant measures are established for anisotropic degenerate parabolic-hyperbolic conservation laws of second-order driven by white noises. Some further developments, problems, and challenges in this direction are also discussed.


title: Some open problems in the context of skew PBW extensions and semi-graded rings

abstract: In this paper we discuss some open problems of non-commutative algebra and non-commutative algebraic geometry from the approach of skew $PBW$ extensions and semi-graded rings. More exactly, we will analyze the isomorphism arising in the investigation of the Gelfand-Kirillov conjecture about the commutation between the center and the total ring of fractions of an Ore domain. The Serre's conjecture will be discussed for a particular class of skew $PBW$ extensions. The questions about the noetherianity and the Zariski cancellation property of Artin-Schelter regular algebras will be reformulated for semi-graded rings. Advances for the solution of some of the problems are included.


title: Effect of Dimensionality on the Optical Absorption Properties of CsPbI$_3$ Perovskite Nanocrystals

abstract: The band-gaps of CsPbI$_3$ perovskite nanocrystals are measured by absorption spectroscopy at cryogenic temperatures. Anomalous band-gap shifts are observed in CsPbI$_3$ nanocubes and nanoplatelets, which are modeled accurately by band-gap renormalization due to lattice vibrational modes. We find that decreasing dimensionality of the CsPbI$_3$ lattice in nanoplatelets greatly reduces electron-phonon coupling, and dominant out-of-plane quantum confinement results in a homogeneously broadened absorption lineshape down to cryogenic temperatures. An absorption tail forms at low-temperatures in CsPbI$_3$ nanocubes, which we attribute to shallow defect states positioned near the valence band-edge.


title: Computation of point modules of finitely semi-graded rings

abstract: In this paper we compute the set of point modules of finitely semi-graded rings. In particular, from the parametrization of the point modules for the quantum affine n-space, the set of point modules for some important examples of non $\mathbb{N}$-graded quantum algebras is computed.


title: Quantum Systems at The Brink: Helium-type systems

abstract: In the present paper we study two challenging problems for helium-type systems. Existence of eigenvalues at thresholds and the asymptotic behavior of the corresponding eigenfunctions. Since the usual methods for addressing these problems need a safety distance to the essential spectrum, they cannot be applied in critical cases, when an eigenvalue enters the continuum. We develop a method to address both problems and derive sharp upper and lower bounds for the asymptotic behavior of the ground state of critical helium-type systems at the threshold of the essential spectrum. This is the first proof of the precise asymptotic behavior of the ground state for this benchmark problem in quantum chemistry. Moreover, our bounds describe precisely how the asymptotic decay of the ground state changes, when the system becomes critical. In addition, we show the existence of a ground state of this quantum critical system with a finite nuclear mass. Previously this had been known only in the Born-Oppenheimer approximation of infinite nuclear mass.


title: The Next Generation of IceCube Realtime Neutrino Alerts

abstract: In 2016, IceCube initiated a system of public real-time alerts that are typically issued within one minute, following the detection of a neutrino candidate event that is likely to be of astrophysical origin. The goal of these alerts is to enable multi-messenger observations that may identify the neutrino source. Through January 31, 2019, a total of 20 public alerts have been issued, with many of them receiving follow-up observations across multiple wavelength bands. One alert in particular, IceCube-170922A, was found to be associated with a flaring gamma-ray blazar, TXS 0506+056. This was the first >3 sigma association of a high-energy neutrino with an electromagnetic counterpart. In 2019, the IceCube collaboration is introducing a new set of neutrino candidate selections that expand the alert program. These new selections provide two alert channels. A "Gold" channel will issue alerts for neutrino candidates at least 50% likely to be of astrophysical origin and is expected to deliver $\sim$10 alerts per year. Additionally a more frequent "Bronze" channel will provide $\sim$20 alerts per year for neutrino candidates that are between 30% and 50% likely to be of astrophysical origin. We present the neutrino event selections used to generate these alerts, the expected alert rates, and a description of the alert message.


title: Joint Precoding and Power Control in Small-Cell Networks With Proportional-Rate MISO-BC Backhaul

abstract: In the small-cell networks with multiple-input-single-output broadcasting (MISO-BC) backhauls, the joint dirty-paper coding and power control are investigated for the \mbox{MISO-BC} backhauls and access links in order to minimize the system transmit power. Considering the proportional rates of MISO-BC backhauls and flow-conservation constraints, the formulated optimization problem is \mbox{non-convex}. Moreover, the formulated problem couples the precoding vectors with the power-control variables. In order to handle the \mbox{non-convex} optimization problem and decouple the backhaul and access links, the structure of the formulated problem is investigated such that the optimal precoding vectors and optimal power-control variables are independently obtained. Moreover, the optimal precoding vectors are obtained in closed-form expressions. Simulation results are used to show the performance improvement over the benchmark scheme.


title: Sign of viscous magnetoresistance in electron fluids

abstract: In sufficiently clean metals, it is possible for electrons to collectively flow as a viscous fluid at finite temperature. These viscous effects have been predicted to give a notable magnetoresistance, but whether the magnetoresistance is positive or negative has been debated. We argue that regardless of the strength of inhomogeneity, bulk magnetoresistance is always positive in the hydrodynamic regime. We also compute transport in weakly inhomogeneous metals across the ballistic-to-hydrodynamic crossover, where we also find positive magnetoresistance. The non-monotonic temperature dependence of resistivity in this regime (a bulk Gurzhi effect) rapidly disappears upon turning on any finite magnetic field, suggesting that magnetotransport is a simple test for viscous effects in bulk transport, including at the onset of the hydrodynamic regime.


title: Cross-Layer Scheduling and Beamforming in Smart Grid Powered Small-Cell Networks

abstract: In the small-cell networks (SCNs) with multiple small-cell base stations (ScBSs), the joint design of beamforming vectors, user scheduling and ScBS sleeping is investigated with the constraints on proportional rate. A long-term grid-energy expenditure minimization problem is formulated for the considered SCNs, which are powered by the smart grid and natural renewable energy. Since the scheduled user indicators are coupled with the beamforming vectors, the formulated problem is challenging to handle. In order to decouple the beamforming vectors from the scheduled user indicators, the Lyapunov optimization technique is used. As a result, a practical two-scale algorithm is proposed to allocate the user scheduling indicators and ScBS sleeping variables at the coarse-grained granularity (frame) as well as obtain the beamforming vectors at the fine-grained granularity (slot). Numerical results are used to verify the performance of the proposed two-scale algorithm.


title: Thermal evolution of neo-neutron stars. I: envelopes, Eddington luminosity phase and implications for GW170817

abstract: A neo-neutron star is a hot neutron star that has just become transparent to neutrinos. In a core collapse supernova or accretion induced collapse of a white dwarf the neo-neutron star phase directly follows the proto-neutron star phase, about 30 to 60 seconds after the initial collapse. It will also be present in a binary neutron star merger in the case the "born-again" hot massive compact star does not immediately collapse into a black hole. Eddington or even super-Eddington luminosities are present for some time. A neo-neutron star produced in a core collapse supernova is not directly observable but the one produced by a binary merger, likely associated with an off-axis short gamma-ray burst, may be observable for some time as well as when produced in the accretion induced collapse of a white dwarf. We present a first step in the study of this neo-neutron star phase in a spherically symmetric configuration, thus neglecting fast rotation, and also neglecting the effect of strong magnetic fields. We put particular emphasis on determining how long the star can sustain a near-Eddington luminosity and also show the importance of positrons and contraction energy during neo-neutron star phase. We finally discuss the observational prospects for neutron star mergers triggered by LIGO and for accretion-induced collapse transients.


title: Orbital transmutation and the electronic spectrum of FeSe in the nematic phase

abstract: We consider the electronic spectrum near $M=(\pi,\pi)$ in the nematic phase of FeSe ($T<T_{{\rm nem}}$) and make a detailed comparison with recent ARPES and STM experiments. Our main focus is the unexpected temperature dependence of the excitations at the $M$ point. These have been identified as having $xz$ and $yz$ orbital character well below $T_{{\rm nem}}$, but remain split at $T>T_{{\rm nem}}$, in apparent contradiction to the fact that in the tetragonal phase the $xz$ and $yz$ orbitals are degenerate. Here we present two scenarios which can describe the data. In both scenarios, hybridization terms present in the tetragonal phase leads to an orbital transmutation, a change in the dominant orbital character of some of the bands, between $T > T_{\rm nem}$ and $T \ll T_{\rm nem}$. The first scenario relies on the spin-orbit coupling at the $M$ point. We show that a finite spin-orbit coupling gives rise to orbital transmutation, in which one of the modes, identified as $xz$ ($yz)$ at $T \ll T_{{\rm nem}}$, becomes predominantly $xy$ at $T > T_{{\rm nem}}$ and hence does not merge with the predominantly $yz$ ($xz$) mode. The second scenario, complementary to the first, takes into consideration the fact that both ARPES and STM are surface probes. In the bulk, a direct hybridization between the $xz$ and $yz$ orbitals is not allowed at the $M$ point, however, it is permitted on the surface. In the presence of a direct $xz/yz$ hybridization, the orbital character of the $xz/yz$ modes changes from pure $xz$ and pure $yz$ at $T \ll T_{{\rm nem}}$ to $xz \pm yz$ at $T > T_{{\rm nem}}$, i.e., the two modes again have mono-orbital character at low $T$, but do not merge at $T_{{\rm nem}}$. We discuss how these scenarios can be distinguished in polarized ARPES experiments.


title: Existence and asymptotics of nonlinear Helmholtz eigenfunctions

abstract: We prove the existence and asymptotic expansion of a large class of solutions to nonlinear Helmholtz equations of the form \begin{equation*} (\Delta - \lambda^2) u = N[u], \end{equation*} where $\Delta = -\sum_j \partial^2_j$ is the Laplacian on $\mathbb{R}^n$ with sign convention that it is positive as an operator, $\lambda$ is a positive real number, and $N[u]$ is a nonlinear operator that is a sum of monomials of degree $\geq p$ in $u$, $\overline{u}$ and their derivatives of order up to two, for some $p \geq 2$. Nonlinear Helmholtz eigenfunctions with $N[u]= \pm |u|^{p-1} u$ were first considered by Guti\'errez. Such equations are of interest in part because, for certain nonlinearities $N[u]$, they furnish standing waves for nonlinear evolution equations, that is, solutions that are time-harmonic. We show that, under the condition $(p-1)(n-1)/2 > 2$ and $k > (n-1)/2$, for every $f \in H^{k+2}(\mathbb{S}^{n-1})$ of sufficiently small norm, there is a nonlinear Helmholtz function taking the form \begin{equation*} u(r, \omega) = r^{-(n-1)/2} \Big( e^{-i\lambda r} f(\omega) + e^{+i\lambda r} g(\omega) + O(r^{-\epsilon}) \Big), \text{ as } r \to \infty, \quad \epsilon > 0, \end{equation*} for some $g \in H^{k}(\mathbb{S}^{n-1})$. Moreover, we prove the result in the general setting of asymptotically conic manifolds.


title: Determining wavenumbers for the incompressible Hall-magneto-hydrodynamics

abstract: Using Littlewood-Paley theory, one formulates the determining wavenumbers for the Hall-MHD system, defined for each individual solution $(u,b)$. It is shown that the long time behaviour of strong solutions is almost finite dimensional as the wavenumbers are bounded in certain average senses.


title: Ground State Wave Function Overlap in Superconductors and Superfluids

abstract: In order to elucidate the quantum ground state structure of non-relativistic condensates, we explicitly construct the ground state wave function for multiple species of bosons, describing either superconductivity or superfluidity. Since each field $\Psi_j$ carries a phase $\theta_j$ and the Lagrangian is invariant under rotations $\theta_j \to \theta_j + \alpha_j$ for independent $\alpha_j$, one can investigate the corresponding wave function overlap between a pair of ground states $\langle G|G'\rangle$ differing by these phases. We operate in the infinite volume limit and use a particular prescription to define these states by utilizing the position space kernel and regulating the UV modes. We show that this overlap vanishes for most pairs of rotations, including $\theta_j \to \theta_j + m_j \epsilon$, where $m_j$ is the mass of each species, while it is unchanged under the transformation $\theta_j \to \theta_j + q_j \epsilon$, where $q_j$ is the charge of each species. We explain that this is consistent with the distinction between a superfluid, in which there is a non-trivial conserved number, and the superconductor, in which the electric field and conserved charge is screened, while it is compatible with a non-zero order parameter in both cases. Moreover, we find that this bulk ground state wave function overlap directly reflects the Goldstone boson structure of the effective theory and provides a useful diagnostic of its physical phase.


title: The Kelvin-Helmholtz instability and smoothed particle hydrodynamics

abstract: There has been interest in recent years to assess the ability of astrophysical hydrodynamics codes to correctly model the Kelvin-Helmholtz instability. Smoothed particle hydrodynamics (SPH), in particular, has received significant attention, though there has yet to be a clear demonstration that SPH yields converged solutions that are in agreement with other methods. We have performed SPH simulations of the Kelvin-Helmholtz instability using the test problem put forward by Lecoanet et al (2016). We demonstrate that the SPH solutions converge to the reference solution in both the linear and non-linear regimes. Quantitative convergence in the strongly non-linear regime is achieved by using a physical Navier-Stokes viscosity and thermal conductivity. We conclude that standard SPH with an artificial viscosity can correctly capture the Kelvin-Helmholtz instability.

categories: astro-ph.IM astro-ph.CO astro-ph.GA astro-ph.SR


title: Finite extensions of $\mathcal{H}-$ and $\mathcal{AH}-$accessible groups

abstract: We prove that the group property of being $\mathcal{H}-$ and $\mathcal{AH}-$accessible is preserved under finite extensions.


title: HyperKG: Hyperbolic Knowledge Graph Embeddings for Knowledge Base Completion

abstract: Learning embeddings of entities and relations existing in knowledge bases allows the discovery of hidden patterns in data. In this work, we examine the geometrical space's contribution to the task of knowledge base completion. We focus on the family of translational models, whose performance has been lagging, and propose a model, dubbed HyperKG, which exploits the hyperbolic space in order to better reflect the topological properties of knowledge bases. We investigate the type of regularities that our model can capture and we show that it is a prominent candidate for effectively representing a subset of Datalog rules. We empirically show, using a variety of link prediction datasets, that hyperbolic space allows to narrow down significantly the performance gap between translational and bilinear models.


title: Inferring the Presence of Tides in Detached White Dwarf Binaries

abstract: Tidal interactions can play an important role as compact white dwarf (WD) binaries are driven together by gravitational waves (GWs). This will modify the strain evolution measured by future space-based GW detectors and impact the potential outcome of the mergers. Surveys now and in the near future will generate an unprecedented population of detached WD binaries to constrain tidal interactions. Motivated by this, I summarize the deviations between a binary evolving under the influence of only GW emission and a binary that is also experiencing some degree of tidal locking. I present analytic relations for the first and second derivative of the orbital period and braking index. Measurements of these quantities will allow the inference of tidal interactions, even when the masses of the component WDs are not well constrained. Finally, I discuss tidal heating and how it can provide complimentary information.


title: Incorporating action and reaction into a particle interpretation for quantum mechanics -- Dirac case

abstract: A weakness which has previously seemed unavoidable in particle interpretations of quantum mechanics (such as in the de Broglie-Bohm model) is addressed here and a resolution proposed. The weakness in question is the lack of action and reaction occurring between the model's field (or "pilot wave") and the particle. Although the field acts on the particle, the particle does not act back on the field. It is shown here that this rather artificial feature is, in fact, not necessary and can be fully eliminated while remaining consistent with the usual quantum predictions. Mathematically this amounts to demonstrating that there exists a suitable Lagrangian density function which generates equations coinciding with quantum mechanics yet incorporates the desired action and reaction. As a by-product, an appealing explanation emerges to another long-standing question, namely why the mathematical formalism of quantum mechanics seems only to be describing fields when measurements generally detect localised particles. A further bonus is that the hitherto unrelated concept of a gauge transformation is found to arise naturally as an essential part of the formalism. In particular, the phase S of the gauge transformation is seen to be the action function describing the hidden motion of the particle.


title: Actions of Small Groups on Two-Dimensional Artin-Schelter Regular Algebras

abstract: In commutative invariant theory, a classical result due to Auslander says that if $R = \Bbbk[x_1, \dots, x_n]$ and $G$ is a finite subgroup of $\text{Aut}_{\text{gr}}(R) \cong \text{GL}(n,\Bbbk)$ which contains no reflections, then there is a natural graded isomorphism $R \hspace{1pt} \# \hspace{1pt} G \cong \text{End}_{R^G}(R)$. In this paper, we show that a version of Auslander's Theorem holds if we replace $R$ by an Artin-Schelter regular algebra $A$ of global dimension 2, and $G$ by a finite subgroup of $\text{Aut}_{\text{gr}}(A)$ which contains no quasi-reflections. This extends work of Chan-Kirkman-Walton-Zhang. As part of the proof, we classify all such pairs $(A,G)$, up to conjugation of $G$ by an element of $\text{Aut}_{\text{gr}}(A)$. In all but one case, we also write down explicit presentations for the invariant rings $A^G$, and show that they are isomorphic to factors of AS regular algebras.


title: Aspect and Opinion Terms Extraction Using Double Embeddings and Attention Mechanism for Indonesian Hotel Reviews

abstract: Aspect and opinion terms extraction from review texts is one of the key tasks in aspect-based sentiment analysis. In order to extract aspect and opinion terms for Indonesian hotel reviews, we adapt double embeddings feature and attention mechanism that outperform the best system at SemEval 2015 and 2016. We conduct experiments using 4000 reviews to find the best configuration and show the influences of double embeddings and attention mechanism toward model performance. Using 1000 reviews for evaluation, we achieved F1-measure of 0.914 and 0.90 for aspect and opinion terms extraction in token and entity (term) level respectively.


title: Compact Finite Difference Scheme with Hermite Interpolation for Pricing American Put Options Based on Regime Switching Model

abstract: We consider a system of coupled free boundary problems for pricing American put options with regime-switching. To solve this system, we first employ the logarithmic transformation to map the free boundary for each regime to multi-fixed intervals and then eliminate the first-order derivative in the transformed model by taking derivatives to obtain a system of partial differential equations which we call the asset-delta-gamma-speed equations. As such, the fourth-order compact finite difference scheme can be used for solving this system. The influence of other asset, delta, gamma, and speed options in the present regime is estimated based on Hermite interpolations. Finally, the numerical method is tested with several examples. Our results show that the scheme provides an accurate solution that is fast in computation as compared with other existing numerical methods.


title: On community structure in complex networks: challenges and opportunities

abstract: Community structure is one of the most relevant features encountered in numerous real-world applications of networked systems. Despite the tremendous effort of scientists working on this subject over the past few decades to characterize, model, and analyze communities, more investigations are needed to better understand the impact of community structure and its dynamics on networked systems. Here, we first focus on generative models of communities in complex networks and their role in developing strong foundation for community detection algorithms. We discuss modularity and the use of modularity maximization as the basis for community detection. Then, we overview the Stochastic Block Model, its different variants, and inference of community structures from such models. Next, we focus on time evolving networks, where existing nodes and links can disappear and/or new nodes and links may be introduced. The extraction of communities under such circumstances poses an interesting and non-trivial problem that has gained considerable interest over the last decade. We briefly discuss considerable advances made in this field recently. Finally, we focus on immunization strategies essential for targeting the influential spreaders of epidemics in modular networks. Their main goal is to select and immunize a small proportion of individuals from the whole network to control the diffusion process. Various strategies have emerged over the years suggesting different ways to immunize nodes in networks with overlapping and non-overlapping community structure. We first discuss stochastic strategies that require little or no information about the network topology at the expense of their performance. Then, we introduce deterministic strategies that have proven to be very efficient in controlling the epidemic outbreaks, but require complete knowledge of the network.


title: Planar graphs without normally adjacent short cycles

abstract: Let $\mathscr{G}$ be the class of plane graphs without triangles normally adjacent to $8^{-}$-cycles, without $4$-cycles normally adjacent to $6^{-}$-cycles, and without normally adjacent $5$-cycles. In this paper, it is shown that every graph in $\mathscr{G}$ is $3$-choosable. Instead of proving this result, we directly prove a stronger result in the form of ``weakly'' DP-$3$-coloring. The main theorem improves the results in [J. Combin. Theory Ser. B 129 (2018) 38--54; European J. Combin. 82 (2019) 102995]. Consequently, every planar graph without $4$-, $6$-, $8$-cycles is $3$-choosable, and every planar graph without $4$-, $5$-, $7$-, $8$-cycles is $3$-choosable. In the third section, using almost the same technique, we prove that the vertex set of every graph in $\mathscr{G}$ can be partitioned into an independent set and a set that induces a forest, which strengthens the result in [Discrete Appl. Math. 284 (2020) 626--630]. In the final section, tightness is discussed.


title: Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

abstract: In this paper, we propose a framework for the control of mobile robots subject to temporal logic specifications using barrier functions. Complex task specifications can be conveniently encoded using linear temporal logic. In particular, we consider a fragment of linear temporal logic which encompasses a large class of motion planning specifications for a robotic system. Control barrier functions have recently emerged as a convenient tool to guarantee reachability and safety for a system. In addition, they can be encoded as affine constraints in a quadratic program. In this paper, a fully automatic framework which translates a user defined specification in temporal logic to a sequence of barrier function based quadratic programs is presented. In addition, with the aim of alleviating infeasibility scenarios, we propose methods for composition of barrier functions as well as a prioritization based control method to guarantee feasibility of the controller. We prove that the resulting system trajectory synthesized by the proposed controller satisfies the given specification. Robotic simulation and experimental results are provided in addition to the theoretical framework.


title: Least Squares Approximation for a Distributed System

abstract: In this work, we develop a distributed least squares approximation (DLSA) method that is able to solve a large family of regression problems (e.g., linear regression, logistic regression, and Cox's model) on a distributed system. By approximating the local objective function using a local quadratic form, we are able to obtain a combined estimator by taking a weighted average of local estimators. The resulting estimator is proved to be statistically as efficient as the global estimator. Moreover, it requires only one round of communication. We further conduct a shrinkage estimation based on the DLSA estimation using an adaptive Lasso approach. The solution can be easily obtained by using the LARS algorithm on the master node. It is theoretically shown that the resulting estimator possesses the oracle property and is selection consistent by using a newly designed distributed Bayesian information criterion (DBIC). The finite sample performance and computational efficiency are further illustrated by an extensive numerical study and an airline dataset. The airline dataset is 52 GB in size. The entire methodology has been implemented in Python for a {\it de-facto} standard Spark system. The proposed DLSA algorithm on the Spark system takes 26 minutes to obtain a logistic regression estimator, which is more efficient and memory friendly than conventional methods.


title: Random walk on a lattice in the presence of obstacles: The short-time transient regime, anomalous diffusion and crowding

abstract: The diffusion of a particle in a crowded environment typically proceeds through three regimes: for very short times the particle diffuses freely until it collides with an obstacle for the first time, while for very long times diffusion the motion is Fickian with a diffusion coefficient $D$ that depends on the concentration and type of obstacles present in the system. For intermediate times, the mean-square displacement of the particle often increases approximately as $~t^\alpha$, with $\alpha<1$, typical of what is generally called anomalous diffusion. However, it is not clear how one can identify or choose a time or displacement interval that would give a reliable estimate of $\alpha$. In this paper, we use two exact numerical approaches to obtain diffusion data for a simple Lattice Monte Carlo model in both time limits. This allows us to propose an objective definition of the transient regime and a unique value for $\alpha$. Furthermore, our methodology directly gives us the length scale over which the transient regime switches to the steady-state regime. We test our proposed approach using several types of obstacle systems, and we introduce the novel concept of excess diffusion lengths. Finally, we show that the values of the parameters describing the anomalous transient regime depend on the Monte Carlo moves used to describe the dynamics of the particle, and we propose a new algorithm that correctly models the short time diffusion of a particle on a lattice.

categories: physics.bio-ph cond-mat.soft physics.comp-ph physics.data-an


title: Spatial Distributions of Sunspot Oscillation Modes at Different Temperatures

abstract: Three- and five-minute oscillations of sunspots have different spatial distributions in the solar atmospheric layers. The spatial distributions are crucial to reveal the physical origin of sunspot oscillations and to investigate their propagation. In this study, six sunspots observed by Solar Dynamics Observatory/Atmospheric Imaging Assembly were used to obtain the spatial distributions of three- and five-minute oscillations. The fast Fourier transform method is applied to represent the power spectra of oscillation modes. We find that, from the temperature minimum to the lower corona, the powers of the five-minute oscillation exhibit a circle-shape distribution around its umbra, and the shapes gradually expand with temperature increase. However, the circle-shape is disappeared and the powers of the oscillations appear to be very disordered in the higher corona. This indicates that the five-minute oscillation can be suppressed in the high-temperature region. For the three-minute oscillations, from the temperature minimum to the high corona, their powers mostly distribute within an umbra, and part of them locate at the coronal fan loop structures. Moreover, those relative higher powers are mostly concentrated in the position of coronal loop footpoints.


title: Serverless Supercomputing: High Performance Function as a Service for Science

abstract: Growing data volumes and velocities are driving exciting new methods across the sciences in which data analytics and machine learning are increasingly intertwined with research. These new methods require new approaches for scientific computing in which computation is mobile, so that, for example, it can occur near data, be triggered by events (e.g., arrival of new data), or be offloaded to specialized accelerators. They also require new design approaches in which monolithic applications can be decomposed into smaller components, that may in turn be executed separately and on the most efficient resources. To address these needs we propose funcX---a high-performance function-as-a-service (FaaS) platform that enables intuitive, flexible, efficient, scalable, and performant remote function execution on existing infrastructure including clouds, clusters, and supercomputers. It allows users to register and then execute Python functions without regard for the physical resource location, scheduler architecture, or virtualization technology on which the function is executed---an approach we refer to as "serverless supercomputing." We motivate the need for funcX in science, describe our prototype implementation, and demonstrate, via experiments on two supercomputers, that funcX can process millions of functions across more than 65000 concurrent workers. We also outline five scientific scenarios in which funcX has been deployed and highlight the benefits of funcX in these scenarios.


title: NuSTAR and XMM-Newton observations of SXP 59 during its 2017 giant outburst

abstract: The Be X-ray pulsar (BeXRP) SXP 59 underwent a giant outburst in 2017 with a peak X-ray luminosity of $1.1\times10^{38}$ erg~s$^{-1}$. We report on the X-ray behaviour of SXP 59 with the XMM--Newton and NuSTAR observations collected at the outburst peak, decay, and the low luminosity states. The pulse profiles are energy dependent, the pulse fraction increases with the photon energy and saturates at $\sim$ 65% above 10 keV. It is difficult to constrain the change in the geometry of emitting region with the limited data. Nevertheless, because the pulse shape generally has a double-peaked profile at high luminosity and a single peak profile at low luminosity, we prefer the scenario that the source transited from the super-critical state to the sub-critical regime. This result would further imply that the neutron star (NS) in SXP 59 has a typical magnetic field. We confirm that the soft excess revealed below 2 keV is dominated by a cool thermal component. On the other hand, the NuSTAR spectra can be described as a combination of the non-thermal component from the accretion column, a hot blackbody emission, and an iron emission line. The temperature of the hot thermal component decreases with time, while its size remains constant ($R \sim 0.6$ km). The existence of the hot blackbody at high luminosity cannot be explained with the present accretion theories for BeXRPs. It means that either more sophisticated spectral models are required to describe the X-ray spectra of luminous BeXRPs, or there is non-dipole magnetic field close to the NS surface.


title: Constrained Multi-Objective Optimization for Automated Machine Learning

abstract: Automated machine learning has gained a lot of attention recently. Building and selecting the right machine learning models is often a multi-objective optimization problem. General purpose machine learning software that simultaneously supports multiple objectives and constraints is scant, though the potential benefits are great. In this work, we present a framework called Autotune that effectively handles multiple objectives and constraints that arise in machine learning problems. Autotune is built on a suite of derivative-free optimization methods, and utilizes multi-level parallelism in a distributed computing environment for automatically training, scoring, and selecting good models. Incorporation of multiple objectives and constraints in the model exploration and selection process provides the flexibility needed to satisfy trade-offs necessary in practical machine learning applications. Experimental results from standard multi-objective optimization benchmark problems show that Autotune is very efficient in capturing Pareto fronts. These benchmark results also show how adding constraints can guide the search to more promising regions of the solution space, ultimately producing more desirable Pareto fronts. Results from two real-world case studies demonstrate the effectiveness of the constrained multi-objective optimization capability offered by Autotune.


title: An efficient and convergent finite element scheme for Cahn--Hilliard equations with dynamic boundary conditions

abstract: The Cahn--Hilliard equation is a widely used model that describes amongst others phase separation processes of binary mixtures or two-phase flows. In the recent years, different types of boundary conditions for the Cahn--Hilliard equation were proposed and analyzed. In this publication, we are concerned with the numerical treatment of a recent model which introduces an additional Cahn--Hilliard type equation on the boundary as closure for the Cahn--Hilliard equation in the domain [C. Liu, H. Wu, Arch. Ration. Mech. An., 2019]. By identifying a mapping between the phase-field parameter and the chemical potential inside of the domain, we are able to postulate an efficient, unconditionally energy stable finite element scheme. Furthermore, we establish the convergence of discrete solutions towards suitable weak solutions of the original model. This serves also as an additional pathway to establish existence of weak solutions. Furthermore, we present simulations underlining the practicality of the proposed scheme and investigate its experimental order of convergence.


title: Architecture and evolution of semantic networks in mathematics texts

abstract: Knowledge is a network of interconnected concepts. Yet, precisely how the topological structure of knowledge constrains its acquisition remains unknown, hampering the development of learning enhancement strategies. Here we study the topological structure of semantic networks reflecting mathematical concepts and their relations in college-level linear algebra texts. We hypothesize that these networks will exhibit structural order, reflecting the logical sequence of topics that ensures accessibility. We find that the networks exhibit strong core-periphery architecture, where a dense core of concepts presented early is complemented with a sparse periphery presented evenly throughout the exposition; the latter is composed of many small modules each reflecting more narrow domains. Using tools from applied topology, we find that the expositional evolution of the semantic networks produces and subsequently fills knowledge gaps, and that the density of these gaps tracks negatively with community ratings of each textbook. Broadly, our study lays the groundwork for future efforts developing optimal design principles for textbook exposition and teaching in a classroom setting.


title: Coherence of quantum Gaussian channels

abstract: Coherence is a basic notion for quantum states. Instead of quantum states, in this work, We establish a resource theory for quantifying the coherence of Gaussian channels. To do this, we propose the definitions of incoherent Gaussian channels and incoherent Gaussian superchannels.


title: FairFace: Face Attribute Dataset for Balanced Race, Gender, and Age

abstract: Existing public face datasets are strongly biased toward Caucasian faces, and other races (e.g., Latino) are significantly underrepresented. This can lead to inconsistent model accuracy, limit the applicability of face analytic systems to non-White race groups, and adversely affect research findings based on such skewed data. To mitigate the race bias in these datasets, we construct a novel face image dataset, containing 108,501 images, with an emphasis of balanced race composition in the dataset. We define 7 race groups: White, Black, Indian, East Asian, Southeast Asian, Middle East, and Latino. Images were collected from the YFCC-100M Flickr dataset and labeled with race, gender, and age groups. Evaluations were performed on existing face attribute datasets as well as novel image datasets to measure generalization performance. We find that the model trained from our dataset is substantially more accurate on novel datasets and the accuracy is consistent between race and gender groups.


title: Deterministic Coherence Distillation

abstract: Coherence distillation is one of the central problems in the resource theory of coherence. In this Letter, we complete the deterministic distillation of quantum coherence for a finite number of coherent states under strictly incoherent operations. Specifically, we find the necessary and sufficient condition for the transformation from a mixed coherent state into a pure state via strictly incoherent operations, which recovers a connection between the resource theory of coherence and the algebraic theory of majorization lattice. With the help of this condition, we present the deterministic coherence distillation scheme and derive the maximum number of maximally coherent states obtained via this scheme.


title: HorNet: A Hierarchical Offshoot Recurrent Network for Improving Person Re-ID via Image Captioning

abstract: Person re-identification (re-ID) aims to recognize a person-of-interest across different cameras with notable appearance variance. Existing research works focused on the capability and robustness of visual representation. In this paper, instead, we propose a novel hierarchical offshoot recurrent network (HorNet) for improving person re-ID via image captioning. Image captions are semantically richer and more consistent than visual attributes, which could significantly alleviate the variance. We use the similarity preserving generative adversarial network (SPGAN) and an image captioner to fulfill domain transfer and language descriptions generation. Then the proposed HorNet can learn the visual and language representation from both the images and captions jointly, and thus enhance the performance of person re-ID. Extensive experiments are conducted on several benchmark datasets with or without image captions, i.e., CUHK03, Market-1501, and Duke-MTMC, demonstrating the superiority of the proposed method. Our method can generate and extract meaningful image captions while achieving state-of-the-art performance.


title: On expansive mappings

abstract: When finding an original proof to a known result describing expansive mappings on compact metric spaces as surjective isometries, we reveal that relaxing the condition of compactness to total boundedness preserves the isometry property and nearly that of surjectivity. While a counterexample is found showing that the converse to the above descriptions do not hold, we are able to characterize boundedness in terms of specific expansions we call anticontractions.


title: A Cascade Sequence-to-Sequence Model for Chinese Mandarin Lip Reading

abstract: Lip reading aims at decoding texts from the movement of a speaker's mouth. In recent years, lip reading methods have made great progress for English, at both word-level and sentence-level. Unlike English, however, Chinese Mandarin is a tone-based language and relies on pitches to distinguish lexical or grammatical meaning, which significantly increases the ambiguity for the lip reading task. In this paper, we propose a Cascade Sequence-to-Sequence Model for Chinese Mandarin (CSSMCM) lip reading, which explicitly models tones when predicting sentence. Tones are modeled based on visual information and syntactic structure, and are used to predict sentence along with visual information and syntactic structure. In order to evaluate CSSMCM, a dataset called CMLR (Chinese Mandarin Lip Reading) is collected and released, consisting of over 100,000 natural sentences from China Network Television website. When trained on CMLR dataset, the proposed CSSMCM surpasses the performance of state-of-the-art lip reading frameworks, which confirms the effectiveness of explicit modeling of tones for Chinese Mandarin lip reading.


title: Subgroups of the Group of Formal Power Series with the Big Powers Condition

abstract: We study the structure of discrete subgroups of the group $G[[r]]$ of complex formal power series under the operation of composition of series. In particular, we prove that every finitely generated fully residually free group is embeddable to $G[[r]]$.


title: Towards Diverse and Accurate Image Captions via Reinforcing Determinantal Point Process

abstract: Although significant progress has been made in the field of automatic image captioning, it is still a challenging task. Previous works normally pay much attention to improving the quality of the generated captions but ignore the diversity of captions. In this paper, we combine determinantal point process (DPP) and reinforcement learning (RL) and propose a novel reinforcing DPP (R-DPP) approach to generate a set of captions with high quality and diversity for an image. We show that R-DPP performs better on accuracy and diversity than using noise as a control signal (GANs, VAEs). Moreover, R-DPP is able to preserve the modes of the learned distribution. Hence, beam search algorithm can be applied to generate a single accurate caption, which performs better than other RL-based models.


title: Aggregating Votes with Local Differential Privacy: Usefulness, Soundness vs. Indistinguishability

abstract: Voting plays a central role in bringing crowd wisdom to collective decision making, meanwhile data privacy has been a common ethical/legal issue in eliciting preferences from individuals. This work studies the problem of aggregating individual's voting data under the local differential privacy setting, where usefulness and soundness of the aggregated scores are of major concern. One naive approach to the problem is adding Laplace random noises, however, it makes aggregated scores extremely fragile to new types of strategic behaviors tailored to the local privacy setting: data amplification attack and view disguise attack. The data amplification attack means an attacker's manipulation power is amplified by the privacy-preserving procedure when contributing a fraud vote. The view disguise attack happens when an attacker could disguise malicious data as valid private views to manipulate the voting result. In this work, after theoretically quantifying the estimation error bound and the manipulating risk bound of the Laplace mechanism, we propose two mechanisms improving the usefulness and soundness simultaneously: the weighted sampling mechanism and the additive mechanism. The former one interprets the score vector as probabilistic data. Compared to the Laplace mechanism for Borda voting rule with $d$ candidates, it reduces the mean squared error bound by half and lowers the maximum magnitude risk bound from $+\infty$ to $O(\frac{d^3}{n\epsilon})$. The latter one randomly outputs a subset of candidates according to their total scores. Its mean squared error bound is optimized from $O(\frac{d^5}{n\epsilon^2})$ to $O(\frac{d^4}{n\epsilon^2})$, and its maximum magnitude risk bound is reduced to $O(\frac{d^2}{n\epsilon})$. Experimental results validate that our proposed approaches averagely reduce estimation error by $50\%$ and are more robust to adversarial attacks.


title: On the Elementary Affine Lambda-Calculus with and Without Fixed Points

abstract: The elementary affine lambda-calculus was introduced as a polyvalent setting for implicit computational complexity, allowing for characterizations of polynomial time and hyperexponential time predicates. But these results rely on type fixpoints (a.k.a. recursive types), and it was unknown whether this feature of the type system was really necessary. We give a positive answer by showing that without type fixpoints, we get a characterization of regular languages instead of polynomial time. The proof uses the semantic evaluation method. We also propose an aesthetic improvement on the characterization of the function classes FP and k-FEXPTIME in the presence of recursive types.


title: Pointers in Recursion: Exploring the Tropics

abstract: We translate the usual class of partial/primitive recursive functions to a pointer recursion framework, accessing actual input values via a pointer reading unit-cost function. These pointer recursive functions classes are proven equivalent to the usual partial/primitive recursive functions. Complexity-wise, this framework captures in a streamlined way most of the relevant sub-polynomial classes. Pointer recursion with the safe/normal tiering discipline of Bellantoni and Cook corresponds to polylogtime computation. We introduce a new, non-size increasing tiering discipline, called tropical tiering. Tropical tiering and pointer recursion, used with some of the most common recursion schemes, capture the classes logspace, logspace/polylogtime, ptime, and NC. Finally, in a fashion reminiscent of the safe recursive functions, tropical tiering is expressed directly in the syntax of the function algebras, yielding the tropical recursive function algebras.


title: Type-two Iteration with Bounded Query Revision

abstract: Motivated by recent results of Kapron and Steinberg (LICS 2018) we introduce new forms of iteration on length in the setting of applied lambda-calculi for higher-type poly-time computability. In particular, in a type-two setting, we consider functionals which capture iteration on input length which bound interaction with the type-one input parameter, by restricting to a constant either the number of times the function parameter may return a value of increasing size, or the number of times the function parameter may be applied to an argument of increasing size. We prove that for any constant bound, the iterators obtained are equivalent, with respect to lambda-definability over type-one poly-time functions, to the recursor of Cook and Urquhart which captures Cobham's notion of limited recursion on notation in this setting.


title: Tensor-Train Parameterization for Ultra Dimensionality Reduction

abstract: Locality preserving projections (LPP) are a classical dimensionality reduction method based on data graph information. However, LPP is still responsive to extreme outliers. LPP aiming for vectorial data may undermine data structural information when it is applied to multidimensional data. Besides, it assumes the dimension of data to be smaller than the number of instances, which is not suitable for high-dimensional data. For high-dimensional data analysis, the tensor-train decomposition is proved to be able to efficiently and effectively capture the spatial relations. Thus, we propose a tensor-train parameterization for ultra dimensionality reduction (TTPUDR) in which the traditional LPP mapping is tensorized in terms of tensor-trains and the LPP objective is replaced with the Frobenius norm to increase the robustness of the model. The manifold optimization technique is utilized to solve the new model. The performance of TTPUDR is assessed on classification problems and TTPUDR significantly outperforms the past methods and the several state-of-the-art methods.


title: Locally solvable maximal subgroups in division rings

abstract: Let $D$ be a division ring with center $F$, and $G$ an almost subnormal subgroup of $D^*$. In this paper, we show that if $G$ contains a non-abelian locally solvable maximal subgroup, then $D$ must be a cyclic algebra of prime degree over $F$. Moreover, it is proved that every locally nilpotent maximal subgroup of $G$ is abelian.


title: Reasoning-Driven Question-Answering for Natural Language Understanding

abstract: Natural language understanding (NLU) of text is a fundamental challenge in AI, and it has received significant attention throughout the history of NLP research. This primary goal has been studied under different tasks, such as Question Answering (QA) and Textual Entailment (TE). In this thesis, we investigate the NLU problem through the QA task and focus on the aspects that make it a challenge for the current state-of-the-art technology. This thesis is organized into three main parts: In the first part, we explore multiple formalisms to improve existing machine comprehension systems. We propose a formulation for abductive reasoning in natural language and show its effectiveness, especially in domains with limited training data. Additionally, to help reasoning systems cope with irrelevant or redundant information, we create a supervised approach to learn and detect the essential terms in questions. In the second part, we propose two new challenge datasets. In particular, we create two datasets of natural language questions where (i) the first one requires reasoning over multiple sentences; (ii) the second one requires temporal common sense reasoning. We hope that the two proposed datasets will motivate the field to address more complex problems. In the final part, we present the first formal framework for multi-step reasoning algorithms, in the presence of a few important properties of language use, such as incompleteness, ambiguity, etc. We apply this framework to prove fundamental limitations for reasoning algorithms. These theoretical results provide extra intuition into the existing empirical evidence in the field.


title: Photochemical Upconversion Theory: Importance of Triplet Energy Levels and Triplet Quenching

abstract: Photochemical upconversion is a promising way to boost the efficiency of solar cells using triplet exciton annihilation. Currently, predicting the performance of photochemical upconversion devices is challenging. We present an open source software package which takes experimental parameters as inputs and gives the figure of merit of an upconversion system, enabling theory-driven design of better solar energy devices. We incorporate the statistical distribution of triplet excitons between the sensitizer and the emitter. Using the dynamic quenching effect of the sensitizer on emitter triplet excitons, we show that the optimal sensitizer concentration can be below the sensitizer solubility limit in liquid devices. These theoretical contributions can explain, without use of heavy atom-induced triplet exciton formation or phenyl group rotation, the experimental failure of zinc octaethylporphyrin to effectively sensitize diphenylanthracene, where platinum octaethylporphyrin succeeds. Our predictions indicate a change in direction for device design that will reduce triplet exciton losses.


title: Quantum Elliptic Calogero-Moser Systems from Gauge Origami

abstract: We systematically study the interesting relations between the quantum elliptic Calogero-Moser system (eCM) and its generalization, and their corresponding supersymmetric gauge theories. In particular, we construct the suitable characteristic polynomial for the eCM system by considering certain orbifolded instanton partition function of the corresponding gauge theory. This is equivalent to the introduction of certain co-dimension two defects. We next generalize our construction to the folded instanton partition function obtained through the so-called "gauge origami" construction and precisely obtain the corresponding characteristic polynomial for the doubled version, named the elliptic double Calogero-Moser (edCM) system.


title: 3-D Scene Graph: A Sparse and Semantic Representation of Physical Environments for Intelligent Agents

abstract: Intelligent agents gather information and perceive semantics within the environments before taking on given tasks. The agents store the collected information in the form of environment models that compactly represent the surrounding environments. The agents, however, can only conduct limited tasks without an efficient and effective environment model. Thus, such an environment model takes a crucial role for the autonomy systems of intelligent agents. We claim the following characteristics for a versatile environment model: accuracy, applicability, usability, and scalability. Although a number of researchers have attempted to develop such models that represent environments precisely to a certain degree, they lack broad applicability, intuitive usability, and satisfactory scalability. To tackle these limitations, we propose 3-D scene graph as an environment model and the 3-D scene graph construction framework. The concise and widely used graph structure readily guarantees usability as well as scalability for 3-D scene graph. We demonstrate the accuracy and applicability of the 3-D scene graph by exhibiting the deployment of the 3-D scene graph in practical applications. Moreover, we verify the performance of the proposed 3-D scene graph and the framework by conducting a series of comprehensive experiments under various conditions.


title: Generalised Zero-Shot Learning with Domain Classification in a Joint Semantic and Visual Space

abstract: Generalised zero-shot learning (GZSL) is a classification problem where the learning stage relies on a set of seen visual classes and the inference stage aims to identify both the seen visual classes and a new set of unseen visual classes. Critically, both the learning and inference stages can leverage a semantic representation that is available for the seen and unseen classes. Most state-of-the-art GZSL approaches rely on a mapping between latent visual and semantic spaces without considering if a particular sample belongs to the set of seen or unseen classes. In this paper, we propose a novel GZSL method that learns a joint latent representation that combines both visual and semantic information. This mitigates the need for learning a mapping between the two spaces. Our method also introduces a domain classification that estimates whether a sample belongs to a seen or an unseen class. Our classifier then combines a class discriminator with this domain classifier with the goal of reducing the natural bias that GZSL approaches have toward the seen classes. Experiments show that our method achieves state-of-the-art results in terms of harmonic mean, the area under the seen and unseen curve and unseen classification accuracy on public GZSL benchmark data sets. Our code will be available upon acceptance of this paper.


title: Magnetic Skyrmion Field-Effect Transistors

abstract: Magnetic skyrmions are of considerable interest for low-power memory and logic devices because of high speed at low current and high stability due to topological protection. We propose a skyrmion field-effect transistor based on a gate-controlled Dzyaloshinskii-Moriya interaction. A key working principle of the proposed skyrmion field-effect transistor is a large transverse motion of skyrmion, caused by an effective equilibrium damping-like spin-orbit torque due to spatially inhomogeneous Dzyaloshinskii-Moriya interaction. This large transverse motion can be categorized as the skyrmion Hall effect, but has been unrecognized previously. The propose device is capable of multi-bit operation and Boolean functions, and thus is expected to serve as a low-power logic device based on the magnetic solitons.


title: On odd deficient-perfect numbers with four distinct prime divisors

abstract: For a positive integer $n$, let $\sigma(n)$ denote the sum of the positive divisors of $n$. Let $d$ be a proper divisor of $n$. We call $n$ a deficient-perfect number if $\sigma(n)=2n-d$. In this paper, we show that the only odd deficient-perfect number with four distinct prime divisors is $3^{2}\cdot 7^{2}\cdot 11^{2}\cdot 13^{2}$.


title: Re-Pair In Small Space

abstract: Re-Pair is a grammar compression scheme with favorably good compression rates. The computation of Re-Pair comes with the cost of maintaining large frequency tables, which makes it hard to compute Re-Pair on large scale data sets. As a solution for this problem we present, given a text of length $n$ whose characters are drawn from an integer alphabet, an $O(n^2) \cap O(n^2 \lg \log_\tau n \lg \lg \lg n / \log_\tau n)$ time algorithm computing Re-Pair in $n \lg \max(n,\tau)$ bits of space including the text space, where $\tau$ is the number of terminals and non-terminals. The algorithm works in the restore model, supporting the recovery of the original input in the time for the Re-Pair computation with $O(\lg n)$ additional bits of working space. We give variants of our solution working in parallel or in the external memory model.


title: Constraining the Formation of the Four Terrestrial Planets in the Solar System

abstract: To reproduce the orbits and masses of the terrestrial planets (analogs) of the solar system, most studies scrutinize simulations for success as a batch. However, there is insufficient discussion in the literature on the likelihood of forming planet analogs simultaneously in the same system (analog system). To address this issue, we performed 540 N-body simulations of protoplanetary disks representative of typical models in the literature. We identified a total of 194 analog systems containing at least three analogs, but only 17 systems simultaneously contained analogs of the four terrestrial planets. From an analysis of our analog systems, we found that, compared to the real planets, truncated disks based on typical outcomes of the Grand Tack model produced analogs of Mercury and Mars that were too dynamically cold and located too close to the Venus and Earth analogs. Additionally, all the Mercury analogs were too massive, while most of the Mars analogs were more massive than Mars. Furthermore, the timing of the Moon-forming impact was too early in these systems, and the amount of additional mass accreted after the event was too great. Therefore, such truncated disks cannot explain the formation of the terrestrial planets. Our results suggest that forming the four terrestrial planets requires disks with the following properties: 1) Mass concentrated in narrow core regions between ~0.7-0.9 and ~1.0-1.2 au; 2) an inner region component starting at ~0.3-0.4 au; 3) a less massive component beginning at ~1.0-1.2 au; 4) embryos rather than planetesimals carrying most of the disk mass; and 5) Jupiter and Saturn placed on eccentric orbits.


title: Fog Robotics: A Summary, Challenges and Future Scope

abstract: Human-robot interaction plays a crucial role to make robots closer to humans. Usually, robots are limited by their own capabilities. Therefore, they utilise Cloud Robotics to enhance their dexterity. Its ability includes the sharing of information such as maps, images and the processing power. This whole process involves distributing data which intend to rise enormously. New issues can arise such as bandwidth, network congestion at backhaul and fronthaul systems resulting in high latency. Thus, it can make an impact on seamless connectivity between the robots, users and the cloud. Also, a robot may not accomplish its goal successfully within a stipulated time. As a consequence, Cloud Robotics cannot be in a position to handle the traffic imposed by robots. On the contrary, impending Fog Robotics can act as a solution by solving major problems of Cloud Robotics. Therefore to check its feasibility, we discuss the need and architectures of Fog Robotics in this paper. To evaluate the architectures, we used a realistic scenario of Fog Robotics by comparing them with Cloud Robotics. Next, latency is chosen as the primary factor for validating the effectiveness of the system. Besides, we utilised real-time latency using Pepper robot, Fog robot server and the Cloud server. Experimental results show that Fog Robotics reduces latency significantly compared to Cloud Robotics. Moreover, advantages, challenges and future scope of the Fog Robotics system is further discussed.


title: The Log Product Formula

abstract: We prove a formula expressing the Log Gromov-Witten Invariants of a product of log smooth varieties $V \times W$ in terms of the invariants of $V$ and $W$. This extends results of F. Qu and Y.P. Lee, who introduced this formula analogously to K. Behrend. The proof requires notions of "log normal cone" and "log virtual fundamental class," as well as modified versions of standard intersection-theoretic machinery adapted to Log Geometry.


title: Fast Cartesian Tree Matching

abstract: Cartesian tree matching is the problem of finding all substrings of a given text which have the same Cartesian trees as that of a given pattern. So far there is one linear-time solution for Cartesian tree matching, which is based on the KMP algorithm. We improve the running time of the previous solution by introducing new representations. We present the framework of a binary filtration method and an efficient verification technique for Cartesian tree matching. Any exact string matching algorithm can be used as a filtration for Cartesian tree matching on our framework. We also present a SIMD solution for Cartesian tree matching suitable for short patterns. By experiments we show that known string matching algorithms combined on our framework of binary filtration and efficient verification produce algorithms of good performances for Cartesian tree matching.


title: A Constructive Proof of Masser's Theorem

abstract: The Modified Szpiro Conjecture, equivalent to the $abc$ Conjecture, states that for each $\epsilon>0$, there are finitely many rational elliptic curves satisfying $N_{E}^{6+\epsilon}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert,c_{6}^{2}\right\} $ where $c_{4}$ and $c_{6}$ are the invariants associated to a minimal model of $E$ and $N_{E}$ is the conductor of $E$. We say $E$ is a good elliptic curve if $N_{E}^{6}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert,c_{6}^{2}\right\} $. Masser showed that there are infinitely many good Frey curves. Here we give a constructive proof of this assertion.


title: Helium settling in F stars: constraining turbulent mixing using observed helium glitch signature

abstract: Recent developments in asteroseismology -- thanks to space-based missions such as {\it CoRoT} and {\it Kepler} -- provide handles on those properties of stars that were either completely inaccessible in the past or only poorly measured. Among several such properties is the surface helium abundance of F and G stars. We used the oscillatory signature introduced by the ionization of helium in the observed oscillation frequencies to constrain the amount of helium settling in F stars. For this purpose, we identified three promising F stars for which the standard models of atomic diffusion predict large settling (or complete depletion) of surface helium. Assuming turbulence at the base of envelope convection zone slows down settling of the helium and heavy elements, we found an envelope mixed mass of approximately $5 \times 10^{-4}$M$_\odot$ necessary to reproduce the observed amplitude of helium signature for all the three stars. This is much larger than the mixed mass of the order of $10^{-6}$M$_\odot$ found in the previous studies performed using the measurements of the heavy element abundances. This demonstrates the potential of using the helium signature together with measurements of the heavy element abundances to identify the most important physical processes competing against atomic diffusion, allowing eventually to correctly interpret the observed surface abundances of hot stars, consistent use of atomic diffusion in modelling both hot and cool stars, and shed some light on the long-standing cosmological lithium problem.


title: Low-PAPR Multi-channel OOK Waveform for IEEE 802.11ba Wake-up Radio

abstract: The peak-to-average-power ratio (PAPR) of the frequency domain multiplexed wake-up signals (WUSs) specified in IEEE P802.11ba can be very large and difficult to manage since it depends on the number and allocation of the active channels, and the data rate on each channel. To address this issue, we propose a transmission scheme based on complementary sequences (CSs) for multiple WUSs multiplexed in the frequency domain. We discuss how to construct CSs compatible with the framework of IEEE P802.11ba by exploiting a recursive Golay complementary pair (GCP) construction to reduce the instantaneous power fluctuations in time. We compare the proposed scheme with the other options under a non-linear power amplifier (PA) distortion. Numerical results show that the proposed scheme can lower the PAPR of the transmitted signal in frequency division multiple access (FDMA) scenarios more than 3 dB and yields a superior error rate performance under severe PA distortion.


title: Modulation instability, rogue waves and spectral analysis for the sixth-order nonlinear Schrodinger equation

abstract: Modulation instability, rogue wave and spectral analysis are investigated for the nonlinear Schrodinger equation with the higher-order terms. The modulation instability distribution characteristics from the sixth-order to the eighth-order nonlinear Schrodinger equations are studied. Higher-order dispersion terms are closely related to the distribution of modulation stability regime, and n-order dispersion term corresponds to $n-2$ modulation stability curves in the modulation instability band. Based on the generalized Darboux transformation method, the higher-order rational solutions are constructed. Then the compact algebraic expression of the Nth-order rogue wave is given. Dynamic phenomena of first- to third-order rogue waves are illustrated, which exhibit meaningful structures. Two arbitrary parameters play important roles in the rogue wave solution. One can control deflection of crest of rogue wave and its width, while the other can cause the change of width and amplitude of rogue wave. When it comes to the third-order rogue wave, three typical nonlinear wave constructions, namely fundamental, circular and triangular are displayed and discussed. Through the spectral analysis on first-order rogue wave, when these parameters satisfy certain conditions, it occurs a transition between W-shaped soliton and rogue wave.


title: Reinforcement Learning Based Graph-to-Sequence Model for Natural Question Generation

abstract: Natural question generation (QG) aims to generate questions from a passage and an answer. Previous works on QG either (i) ignore the rich structure information hidden in text, (ii) solely rely on cross-entropy loss that leads to issues like exposure bias and inconsistency between train/test measurement, or (iii) fail to fully exploit the answer information. To address these limitations, in this paper, we propose a reinforcement learning (RL) based graph-to-sequence (Graph2Seq) model for QG. Our model consists of a Graph2Seq generator with a novel Bidirectional Gated Graph Neural Network based encoder to embed the passage, and a hybrid evaluator with a mixed objective combining both cross-entropy and RL losses to ensure the generation of syntactically and semantically valid text. We also introduce an effective Deep Alignment Network for incorporating the answer information into the passage at both the word and contextual levels. Our model is end-to-end trainable and achieves new state-of-the-art scores, outperforming existing methods by a significant margin on the standard SQuAD benchmark.


title: Establishing Strong Baselines for the New Decade: Sequence Tagging, Syntactic and Semantic Parsing with BERT

abstract: This paper presents new state-of-the-art models for three tasks, part-of-speech tagging, syntactic parsing, and semantic parsing, using the cutting-edge contextualized embedding framework known as BERT. For each task, we first replicate and simplify the current state-of-the-art approach to enhance its model efficiency. We then evaluate our simplified approaches on those three tasks using token embeddings generated by BERT. 12 datasets in both English and Chinese are used for our experiments. The BERT models outperform the previously best-performing models by 2.5% on average (7.5% for the most significant case). Moreover, an in-depth analysis on the impact of BERT embeddings is provided using self-attention, which helps understanding in this rich yet representation. All models and source codes are available in public so that researchers can improve upon and utilize them to establish strong baselines for the next decade.


title: Detachment of fluid membrane from substrate and vesiculation

abstract: The detachment dynamics of a fluid membrane with an isotropic spontaneous curvature from a flat substrate are studied by using meshless membrane simulations. The membrane is detached from an open edge leading to vesicle formation. With strong adhesion, the competition between the bending and adhesion energies determines the minimum value of the spontaneous curvature for the detachment. In contrast, with weak adhesion, a detachment occurs at smaller spontaneous curvatures due to the membrane thermal undulation. When parts of the membrane are pinned on the substrate, the detachment becomes slower and a remained membrane patch forms straight or concave membrane edges. The edge undulation induces vesiculation of long strips and disk-shaped patches. Therefore, membrane rolling is obtained only for membrane strips shorter than the wavelength for deformation into unduloid. This suggests that the rolling observed for Ca$^{2+}$-dependent membrane-binding proteins, annexins A3, A4, A5, and A13, results from by the anisotropic spontaneous curvature induced by the proteins.


title: 3-D axisymmetric transonic shock solutions of the full Euler system in divergent nozzles

abstract: We establish the stability of 3-D axisymmetric transonic shock solutions of the steady full Euler system in divergent nozzles under small perturbations of an incoming radial supersonic flow and a constant pressure at the exit of the nozzles. To study 3-D axisymmetric transonic shock solutions of the full Euler system, we use a stream function formulation of the full Euler system for a 3-D axisymmetric flow. We resolve the singularity issue arising in stream function formulations of the full Euler system for a 3-D axisymmetric flow. We develop a new scheme to determine a shock location of a transonic shock solution of the steady full Euler system based on the stream function formulation.


title: Microscopic toy model for magnetoelectric effect in polar Fe$_2$Mo$_3$O$_8$

abstract: The kamiokite, Fe$_2$Mo$_3$O$_8$, is regarded as a promising material exhibiting giant magnetoelectric (ME) effect at the relatively high temperature $T$. Here, we explore this phenomenon on the basis of first-principles electronic structure calculations. For this purpose we construct a realistic model describing the behavior of magnetic Fe $3d$ electrons and further map it onto the isotropic spin model. Our analysis suggests two possible scenaria for Fe$_2$Mo$_3$O$_8$. The first one is based on the homogeneous charge distribution of the Fe$^{2+}$ ions amongst tetrahedral ($t$) and octahedral ($o$) sites, which tends to low the crystallographic P6$_3$mc symmetry through the formation of an orbitally ordered state. Nevertheless, the effect of the orbital ordering on interatomic exchange interactions does not seem to be strong, so that the magnetic properties can be described reasonably well by averaged interactions obeying the P6$_3$mc symmetry. The second scenario, which is supported by obtained parameters of on-site Coulomb repulsion and respects the P6$_3$mc symmetry, implies the charge disproportionation involving somewhat exotic $1+$ ionization state of the $t$-Fe sites (and $3+$ state of the $o$-Fe sites). Somewhat surprisingly, these scenarios are practically indistinguishable from the viewpoint of exchange interactions, which are practically identical in these two cases. However, the spin-dependent properties of the electric polarization are expected to be different due to the strong difference in the polarity of the Fe$^{2+}$-Fe$^{2+}$ and Fe$^{1+}$-Fe$^{3+}$ bonds. Our analysis uncovers the basic aspects of the ME effect in Fe$_2$Mo$_3$O$_8$. Nevertheless, the quantitative description should involve other ingredients, apparently related to the lattice and orbitals degrees of freedom.


title: Risk-Limiting Tallies

abstract: Many voter-verifiable, coercion-resistant schemes have been proposed, but even the most carefully designed systems necessarily leak information via the announced result. In corner cases, this may be problematic. For example, if all the votes go to one candidate then all vote privacy evaporates. The mere possibility of candidates getting no or few votes could have implications for security in practice: if a coercer demands that a voter cast a vote for such an unpopular candidate, then the voter may feel obliged to obey, even if she is confident that the voting system satisfies the standard coercion resistance definitions. With complex ballots, there may also be a danger of "Italian" style (aka "signature") attacks: the coercer demands the voter cast a ballot with a specific, identifying pattern. Here we propose an approach to tallying end-to-end verifiable schemes that avoids revealing all the votes but still achieves whatever confidence level in the announced result is desired. Now a coerced voter can claim that the required vote must be amongst those that remained shrouded. Our approach is based on the well-established notion of Risk-Limiting Audits, but here applied to the tally rather than to the audit. We show that this approach counters coercion threats arising in extreme tallies and "Italian" attacks. We illustrate our approach by applying it to the Selene scheme, and we extend the approach to Risk-Limiting Verification, where not all vote trackers are revealed, thereby enhancing the coercion mitigation properties of Selene.


title: Mild and classical solutions for fractional evolution differential equation

abstract: Investigating the existence, uniqueness, stability, continuous dependence of data among other properties of solutions of fractional differential equations, has been the object of study by an important range of researchers in the scientific community, especially in fractional calculus. And over the years, these properties have been investigated more vehemently, as they enable more general and new results. In this paper, we investigate the existence and uniqueness of a class of mild and classical solutions of the fractional evolution differential equation in the Banach space $\Omega$. To obtain such results, we use fundamental tools, namely: Banach contraction theorem, Gronwall inequality and the $\beta$-times integrated $\beta$-times integrated $\alpha$-resolvent operator function of an $(\alpha,\beta)$-resolvent operator function.


title: Morita Invariance of Equivariant Lusternik-Schnirelmann Category and Invariant Topological Complexity

abstract: We use the homotopy invariance of equivariant principal bundles to prove that the equivariant ${\mathcal A}$-category of Clapp and Puppe is invariant under Morita equivalence. As a corollary, we obtain that both the equivariant Lusternik-Schnirelmann category of a group action and the invariant topological complexity are invariant under Morita equivalence. This allows a definition of topological complexity for orbifolds.


title: VideoNavQA: Bridging the Gap between Visual and Embodied Question Answering

abstract: Embodied Question Answering (EQA) is a recently proposed task, where an agent is placed in a rich 3D environment and must act based solely on its egocentric input to answer a given question. The desired outcome is that the agent learns to combine capabilities such as scene understanding, navigation and language understanding in order to perform complex reasoning in the visual world. However, initial advancements combining standard vision and language methods with imitation and reinforcement learning algorithms have shown EQA might be too complex and challenging for these techniques. In order to investigate the feasibility of EQA-type tasks, we build the VideoNavQA dataset that contains pairs of questions and videos generated in the House3D environment. The goal of this dataset is to assess question-answering performance from nearly-ideal navigation paths, while considering a much more complete variety of questions than current instantiations of the EQA task. We investigate several models, adapted from popular VQA methods, on this new benchmark. This establishes an initial understanding of how well VQA-style methods can perform within this novel EQA paradigm.


title: Unsupervised Out-of-Distribution Detection by Maximum Classifier Discrepancy

abstract: Since deep learning models have been implemented in many commercial applications, it is important to detect out-of-distribution (OOD) inputs correctly to maintain the performance of the models, ensure the quality of the collected data, and prevent the applications from being used for other-than-intended purposes. In this work, we propose a two-head deep convolutional neural network (CNN) and maximize the discrepancy between the two classifiers to detect OOD inputs. We train a two-head CNN consisting of one common feature extractor and two classifiers which have different decision boundaries but can classify in-distribution (ID) samples correctly. Unlike previous methods, we also utilize unlabeled data for unsupervised training and we use these unlabeled data to maximize the discrepancy between the decision boundaries of two classifiers to push OOD samples outside the manifold of the in-distribution (ID) samples, which enables us to detect OOD samples that are far from the support of the ID samples. Overall, our approach significantly outperforms other state-of-the-art methods on several OOD detection benchmarks and two cases of real-world simulation.


title: Thermodynamics conditions of matter in the neutrino decoupling region during neutron star mergers

abstract: Neutrino-matter interactions play a key role in binary neutron star mergers. Thermodynamics conditions at the surfaces where neutrinos decouple from matter influence neutrino spectra, ultimately affecting the evolution of the remnant and the properties of the ejecta. In this work, we post-process results of general relativistic merger simulations employing microphysical equations of state and approximate neutrino transport to investigate the thermodynamics conditions at which weak and thermal equilibrium freezes out (equilibrium surfaces), as well as conditions at which the transition between diffusion and free-streaming regime occurs (diffusion surfaces). We find that the rest mass density and the neutrino energy are the most relevant quantities in determining the location of the decoupling surfaces. For mean energy neutrinos ($\langle E_{{\nu}_e} \rangle \approx 9~{\rm MeV}$, $\langle E_{{\bar{\nu}}_e} \rangle \approx 15~{\rm MeV}$, $\langle E_{{\nu}_{\mu,\tau}} \rangle \approx 25~{\rm MeV}$), diffusion surfaces are located around $10^{11}{\rm g~cm^{-3}}$ for all neutrino species, while equilibrium surfaces for heavy flavor neutrinos are significantly deeper (several $10^{12}{\rm g~cm^{-3}}$) than the ones of $\bar{\nu}_e$ and $\nu_e$ ($\gtrsim 10^{11}{\rm g~cm^{-3}}$). The resulting decoupling temperatures are in good agreement with the average neutrino energies ($\langle E_{\nu} \rangle \sim 3.15~T$), with the softer equation of state characterized by systematically larger decoupling temperatures ($\Delta T \lesssim 1~{\rm MeV}$). Neutrinos streaming at infinity with different energies come from very different regions of the remnant. The presence of a massive NS or of a BH in the remnant influences the neutrino thermalization process.


title: Signal Development for Saturated Ultrafast Sensors with Impact Ionization Gain

abstract: A closed-form approximate expression is presented for the short time-frame development of silicon diode sensor signals in the context of high frame-rate detection of incident X-ray fluxes, in the limit that the X-ray absorption profile generates a longitudinally-uniform distribution of electron-hole pairs in the detector bulk. The expression represents the immediate time development of signals from diode sensors both with (LGAD) and without (PIN) gain, and presents a temporal scale associated with the onset of gain. Principles limiting the detection frame rate in the presence of electronic readout noise are discussed. Making use of an elemental simulation, the relative advantage of LGAD vs. PIN diode sensors is explored as a function of the effective electronic collection time. It is found that for an idealized LGAD sensor with a gain of 30, the gain provided by impact ionization yields an advantage relative to PIN diode sensors for frame rates as high as 10 GHz.


title: Taking a Lesson from Quantum Particles for Statistical Data Privacy

abstract: Privacy is under threat from artificial intelligence revolution fueled by unprecedented abundance of data. Differential privacy, an established candidate for privacy protection, is susceptible to adversarial attacks, acts conservatively, and leads to miss-implementations because of lacking systematic methods for setting its parameters (known as the privacy budget). An alternative is information-theoretic privacy using entropy with the drawback of requiring prior distribution of the private data. Here, by using the Fisher information, information-theoretic privacy framework is extended to avoid unnecessary assumptions on the private data. The optimal privacy-preserving additive noise, extracted by minimizing the Fisher information, must follow the time-independent Schrodinger's equation. A fundamental trade-off between privacy and utility is also proved, reminiscent of the Heisenberg uncertainty principle.


title: Probabilistic Multimodal Modeling for Human-Robot Interaction Tasks

abstract: Human-robot interaction benefits greatly from multimodal sensor inputs as they enable increased robustness and generalization accuracy. Despite this observation, few HRI methods are capable of efficiently performing inference for multimodal systems. In this work, we introduce a reformulation of Interaction Primitives which allows for learning from demonstration of interaction tasks, while also gracefully handling nonlinearities inherent to multimodal inference in such scenarios. We also empirically show that our method results in more accurate, more robust, and faster inference than standard Interaction Primitives and other common methods in challenging HRI scenarios.


title: Hadronization using the Wigner function approach for a multiphase transport model

abstract: In the string melting version of a multiphase transport model, the hadronization algorithm has been improved by favoring parton combinations close in not only coordinate space but also momentum space. Formation probabilities of mesons, baryons, and antibaryons during hadronization are determined by their corresponding Wigner functions for the valence parton combinations with no free parameters, and the net baryon, electric, and strangeness charges are conserved during quark coalescence. Effects of the hadronization on anisotropic flows, collision energy dependence of the proton directed flow, relative particle yield ratios, as well as di-hadron correlations in relativistic heavy-ion collisions at the energies ranging from RHIC beam energy scan to LHC have been extensively discussed.


title: Large-dimensional Factor Analysis without Moment Constraints

abstract: Large-dimensional factor model has drawn much attention in the big-data era, in order to reduce the dimensionality and extract underlying features using a few latent common factors. Conventional methods for estimating the factor model typically requires finite fourth moment of the data, which ignores the effect of heavy-tailedness and thus may result in unrobust or even inconsistent estimation of the factor space and common components. In this paper, we propose to recover the factor space by performing principal component analysis to the spatial Kendall's tau matrix instead of the sample covariance matrix. In a second step, we estimate the factor scores by the ordinary least square (OLS) regression. Theoretically, we show that under the elliptical distribution framework the factor loadings and scores as well as the common components can be estimated consistently without any moment constraint. The convergence rates of the estimated factor loadings, scores and common components are provided. The finite sample performance of the proposed procedure is assessed through thorough simulations. An analysis of a financial data set of asset returns shows the superiority of the proposed method over the classical PCA method.


title: Quantitative bounds for critically bounded solutions to the Navier-Stokes equations

abstract: We revisit the regularity theory of Escauriaza, Seregin, and \v{S}ver\'ak for solutions to the three-dimensional Navier-Stokes equations which are uniformly bounded in the critical $L^3_x(\mathbf{R}^3)$ norm. By replacing all invocations of compactness methods in these arguments with quantitative substitutes, and similarly replacing unique continuation and backwards uniqueness estimates by their corresponding Carleman inequalities, we obtain quantitative bounds for higher regularity norms of these solutions in terms of the critical $L^3_x$ bound (with a dependence that is triple exponential in nature). In particular, we show that as one approaches a finite blowup time $T_*$, the critical $L^3_x$ norm must blow up at a rate $(\log\log\log \frac{1}{T_*-t})^c$ or faster for an infinite sequence of times approaching $T_*$ and some absolute constant $c>0$.


title: Computational method for probability distribution on recursive relationships in financial applications

abstract: In quantitative finance, it is often necessary to analyze the distribution of the sum of specific functions of observed values at discrete points of an underlying process. Examples include the probability density function, the hedging error, the Asian option, and statistical hypothesis testing. We propose a method to calculate such a distribution, utilizing a recursive method, and examine it using various examples. The results of the numerical experiment show that our proposed method has high accuracy.


title: ClustCrypt: Privacy-Preserving Clustering of Unstructured Big Data in the Cloud

abstract: Security and confidentiality of big data stored in the cloud are important concerns for many organizations to adopt cloud services. One common approach to address the concerns is client-side encryption where data is encrypted on the client machine before being stored in the cloud. Having encrypted data in the cloud, however, limits the ability of data clustering, which is a crucial part of many data analytics applications, such as search systems. To overcome the limitation, in this paper, we present an approach named ClustCrypt for efficient topic-based clustering of encrypted unstructured big data in the cloud. ClustCrypt dynamically estimates the optimal number of clusters based on the statistical characteristics of encrypted data. It also provides clustering approach for encrypted data. We deploy ClustCrypt within the context of a secure cloud-based semantic search system (S3BD). Experimental results obtained from evaluating ClustCrypt on three datasets demonstrate on average 60% improvement on clusters' coherency. ClustCrypt also decreases the search-time overhead by up to 78% and increases the accuracy of search results by up to 35%


title: Charged cosmological black holes: a thorough study of a family of solutions

abstract: We study a class of charged cosmological black holes defined by the Shah-Vaidya solution, which is similar to the McVittie solution but for a central object of nonzero electric charge. We show that the Shah-Vaidya metric is a solution of Einstein's equations with a cuscuton and a Maxwell fields as sources, as well as a mass parameter. We then analyze the possible causal structures of the solution under some few physically reasonable assumptions, and determine the regions in the parameter space corresponding to well behaved charged cosmological black holes and those corresponding to naked singularities. The asymptotic behavior of the Hubble factor $H(t)$ is also determinant to the causal properties of the spacetime and a theorem explaining its effect is stated. Examples of causal diagrams covering all the possibles types of spacetimes allowed by our initial assumptions are drawn and discussed.


title: Can robust optimization offer improved portfolio performance?: An empirical study of Indian market

abstract: The emergence of robust optimization has been driven primarily by the necessity to address the demerits of the Markowitz model. There has been a noteworthy debate regarding consideration of robust approaches as superior or at par with the Markowitz model, in terms of portfolio performance. In order to address this skepticism, we perform empirical analysis of three robust optimization models, namely the ones based on box, ellipsoidal and separable uncertainty sets. We conclude that robust approaches can be considered as a viable alternative to the Markowitz model, not only in simulated data but also in a real market setup, involving the Indian indices of S&P BSE 30 and S&P BSE 100. Finally, we offer qualitative and quantitative justification regarding the practical usefulness of robust optimization approaches from the point of view of number of stocks, sample size and types of data.


title: Linear Differential Equations for the Resolvents of the Classical Matrix Ensembles

abstract: The spectral density for random matrix $\beta$ ensembles can be written in terms of the average of the absolute value of the characteristic polynomial raised to the power of $\beta$, which for even $\beta$ is a polynomial of degree $\beta(N-1)$. In the cases of the classical Gaussian, Laguerre, and Jacobi weights, we show that this polynomial, and moreover the spectral density itself, can be characterised as the solution of a linear differential equation of degree $\beta+1$. This equation, and its companion for the resolvent, are given explicitly for $\beta=2$ and $4$ for all three classical cases, and also for $\beta=6$ in the Gaussian case. Known dualities for the spectral moments relating $\beta$ to $4/\beta$ then imply corresponding differential equations in the case $\beta=1$, and for the Gaussian ensemble, the case $\beta=2/3$. We apply the differential equations to give a systematic derivation of recurrences satisfied by the spectral moments and by the coefficients of their $1/N$ expansions, along with first-order differential equations for the coefficients of the $1/N$ expansions of the corresponding resolvents. We also present the form of the differential equations when scaled at the hard or soft edges.