title: Investigating state transition luminosities of Galactic black hole transients in the outburst decay

abstract: We have performed a comprehensive spectral and timing analyses of Galactic black hole transients (GBHTs) during outburst decay in order to obtain the distribution of state transition luminosities. Using the archival data of the Rossi X-ray Timing Explorer (RXTE), we have calculated the weighted mean for state transition luminosities of 11 BH sources in 19 different outbursts and for disk and power-law luminosities separately. We also produced histograms of these luminosities in terms of Eddington luminosity fraction (ELF) and fitted them with a Gaussian. Our results show the tightest clustering in bolometric power-law luminosity with a mean logarithmic ELF of -1.70 $\pm$ 0.21 during the index transition (as the photon index starts to decrease towards the hard state). We obtained mean logarithmic ELF of -1.80 $\pm$ 0.25 during the transition to the hard state (as the photon index reaches the lowest value) and -1.50 $\pm$ 0.32 for disk blackbody luminosity (DBB) during the transition to the hard-intermediate state (HIMS). We discussed the reasons for clustering and possible explanations for sources that show a transition luminosity significantly below or above the general trends.


title: Non-residually finite groups hyperbolic relative to residually finite subgroups

abstract: Let $m$ and $k$ be integers such that $|m|, \, |k| >1$ and $\gcd (m,k)=1$. We show that all Baumslag-Solitar groups $BS(m,mk)$ are non-residually finite groups hyperbolic relative to residually finite subgroups. By a result of Osin (2007), this implies that there exists a non-residually finite hyperbolic group, thus solving a long-standing open problem of Gromov (1987). We also show that all $BS(m, mk)$ are non-Hopfian groups hyperbolic relative to Hopfian subgroups.


title: Improving Referring Expression Grounding with Cross-modal Attention-guided Erasing

abstract: Referring expression grounding aims at locating certain objects or persons in an image with a referring expression, where the key challenge is to comprehend and align various types of information from visual and textual domain, such as visual attributes, location and interactions with surrounding regions. Although the attention mechanism has been successfully applied for cross-modal alignments, previous attention models focus on only the most dominant features of both modalities, and neglect the fact that there could be multiple comprehensive textual-visual correspondences between images and referring expressions. To tackle this issue, we design a novel cross-modal attention-guided erasing approach, where we discard the most dominant information from either textual or visual domains to generate difficult training samples online, and to drive the model to discover complementary textual-visual correspondences. Extensive experiments demonstrate the effectiveness of our proposed method, which achieves state-of-the-art performance on three referring expression grounding datasets.


title: Variational Auto-Decoder: A Method for Neural Generative Modeling from Incomplete Data

abstract: Learning a generative model from partial data (data with missingness) is a challenging area of machine learning research. We study a specific implementation of the Auto-Encoding Variational Bayes (AEVB) algorithm, named in this paper as a Variational Auto-Decoder (VAD). VAD is a generic framework which uses Variational Bayes and Markov Chain Monte Carlo (MCMC) methods to learn a generative model from partial data. The main distinction between VAD and Variational Auto-Encoder (VAE) is the encoder component, as VAD does not have one. Using a proposed efficient inference method from a multivariate Gaussian approximate posterior, VAD models allow inference to be performed via simple gradient ascent rather than MCMC sampling from a probabilistic decoder. This technique reduces the inference computational cost, allows for using more complex optimization techniques during latent space inference (which are shown to be crucial due to a high degree of freedom in the VAD latent space), and keeps the framework simple to implement. Through extensive experiments over several datasets and different missing ratios, we show that encoders cannot efficiently marginalize the input volatility caused by imputed missing values. We study multimodal datasets in this paper, which is a particular area of impact for VAD models.


title: CodeTrolley: Hardware-Assisted Control Flow Obfuscation

abstract: Many cybersecurity attacks rely on analyzing a binary executable to find exploitable sections of code. Code obfuscation is used to prevent attackers from reverse engineering these executables. In this work, we focus on control flow obfuscation - a technique that prevents attackers from statically determining which code segments are original, and which segments are added in to confuse attackers. We propose a RISC-V-based hardware-assisted deobfuscation technique that deobfuscates code at runtime based on a secret safely stored in hardware, along with an LLVM compiler extension for obfuscating binaries. Unlike conventional tools, our work does not rely on compiling hard-to-reverse-engineer code, but on securing a secret key. As such, it can be seen as a lightweight alternative to on-the-fly binary decryption.


title: Some regularity results for Lorentz-Finsler spaces

abstract: We prove that for continuous Lorentz-Finsler spaces timelike completeness implies inextendibility. Furthermore, we prove that under suitable locally Lipschitz conditions on the Finsler fundamental function the continuous causal curves that are locally length maximizing (geodesics) have definite causal character, either lightlike almost everywhere or timelike almost everywhere. These results generalize previous theorems by Galloway, Ling and Sbierski, and by Graf and Ling.


title: Multiple Learning for Regression in big data

abstract: Regression problems that have closed-form solutions are well understood and can be easily implemented when the dataset is small enough to be all loaded into the RAM. Challenges arise when data is too big to be stored in RAM to compute the closed form solutions. Many techniques were proposed to overcome or alleviate the memory barrier problem but the solutions are often local optimal. In addition, most approaches require accessing the raw data again when updating the models. Parallel computing clusters are also expected if multiple models need to be computed simultaneously. We propose multiple learning approaches that utilize an array of sufficient statistics (SS) to address this big data challenge. This memory oblivious approach breaks the memory barrier when computing regressions with closed-form solutions, including but not limited to linear regression, weighted linear regression, linear regression with Box-Cox transformation (Box-Cox regression) and ridge regression models. The computation and update of the SS array can be handled at per row level or per mini-batch level. And updating a model is as easy as matrix addition and subtraction. Furthermore, multiple SS arrays for different models can be easily computed simultaneously to obtain multiple models at one pass through the dataset. We implemented our approaches on Spark and evaluated over the simulated datasets. Results showed our approaches can achieve closed-form solutions of multiple models at the cost of half training time of the traditional methods for a single model.


title: Full proximity treatment of topological superconductors in Josephson-junction architectures

abstract: Experiments on planar Josephson junction architectures have recently been shown to provide an alternative way of creating topological superconductors hosting accessible Majorana modes. These zero-energy modes can be found at the ends of a one-dimensional channel in the junction of a two-dimensional electron gas (2DEG) proximitized by two spatially separated superconductors. The channel, which is below the break between the superconductors, is not in direct contact with the superconducting leads, so that proximity coupling is expected to be weaker and less well-controlled than in the simple nanowire configuration widely discussed in the literature. This provides a strong incentive for this paper which investigates the nature of proximitization in these Josephson architectures. At a microscopic level we demonstrate how and when it can lead to topological phases. We do so by going beyond simple tunneling models through solving self-consistently the Bogoliubov-de Gennes equations of a heterostructure multicomponent system involving two spatially separated $s$-wave superconductors in contact with a normal Rashba spin-orbit-coupled 2DEG. Importantly, within our self-consistent theory we present ways of maximizing the proximity-induced superconducting gap by studying the effect of the Rashba spin-orbit coupling, chemical potential mismatch between the superconductor and 2DEG, and sample geometry on the gap. Finally, we note (as in experiment) a Fulde-Ferrell-Larkin-Ovchinnikov phase is also found to appear in the 2DEG channel, albeit under circumstances which are not ideal for topological superconducting phase.


title: Masur's criterion does not hold in the Thurston metric

abstract: We construct a counterexample for an analogue of Masur's criterion in the setting of Teichm\"uller space equipped with the Thurston metric. For that, we find a minimal, filling, non-uniquely ergodic lamination $\lambda$ on the seven-times punctured sphere with uniformly bounded annular projection distances. Then we show that a geodesic in the corresponding Teichm\"uller space that converges to $\lambda$, stays in the thick part for the whole time.


title: A survey of security and privacy issues in the Internet of Things from the layered context

abstract: Internet of Things (IoT) is a novel paradigm, which not only facilitates a large number of devices to be ubiquitously connected over the Internet but also provides a mechanism to remotely control these devices. The IoT is pervasive and is almost an integral part of our daily life. As devices are becoming increasingly connected, privacy and security issues become more and more critical and these need to be addressed on an urgent basis. IoT implementations and devices are eminently prone to threats that could compromise the security and privacy of the consumers, which, in turn, could influence its practical deployment. In recent past, some research has been carried out to secure IoT devices with an intention to alleviate the security concerns of users. The purpose of this paper is to highlight the security and privacy issues in IoT systems. To this effect, the paper examines the security issues at each layer in the IoT protocol stack, identifies the underlying challenges and key security requirements and provides a brief overview of existing security solutions to safeguard the IoT from the layered context.


title: Online Vehicle Trajectory Prediction using Policy Anticipation Network and Optimization-based Context Reasoning

abstract: In this paper, we present an online two-level vehicle trajectory prediction framework for urban autonomous driving where there are complex contextual factors, such as lane geometries, road constructions, traffic regulations and moving agents. Our method combines high-level policy anticipation with low-level context reasoning. We leverage a long short-term memory (LSTM) network to anticipate the vehicle's driving policy (e.g., forward, yield, turn left, turn right, etc.) using its sequential history observations. The policy is then used to guide a low-level optimization-based context reasoning process. We show that it is essential to incorporate the prior policy anticipation due to the multimodal nature of the future trajectory. Moreover, contrary to existing regression-based trajectory prediction methods, our optimization-based reasoning process can cope with complex contextual factors. The final output of the two-level reasoning process is a continuous trajectory that automatically adapts to different traffic configurations and accurately predicts future vehicle motions. The performance of the proposed framework is analyzed and validated in an emerging autonomous driving simulation platform (CARLA).


title: Predicting Vehicle Behaviors Over An Extended Horizon Using Behavior Interaction Network

abstract: Anticipating possible behaviors of traffic participants is an essential capability of autonomous vehicles. Many behavior detection and maneuver recognition methods only have a very limited prediction horizon that leaves inadequate time and space for planning. To avoid unsatisfactory reactive decisions, it is essential to count long-term future rewards in planning, which requires extending the prediction horizon. In this paper, we uncover that clues to vehicle behaviors over an extended horizon can be found in vehicle interaction, which makes it possible to anticipate the likelihood of a certain behavior, even in the absence of any clear maneuver pattern. We adopt a recurrent neural network (RNN) for observation encoding, and based on that, we propose a novel vehicle behavior interaction network (VBIN) to capture the vehicle interaction from the hidden states and connection feature of each interaction pair. The output of our method is a probabilistic likelihood of multiple behavior classes, which matches the multimodal and uncertain nature of the distant future. A systematic comparison of our method against two state-of-the-art methods and another two baseline methods on a publicly available real highway dataset is provided, showing that our method has superior accuracy and advanced capability for interaction modeling.


title: Theory for spin torque in Weyl semimetal with magnetic texture

abstract: The spin-transfer torque is a fundamental physical quantity to operate the spintronics devices such as racetrack memory. We theoretically study the spin-transfer torque and analyze the dynamics of the magnetic domain walls in magnetic Weyl semimetals. Owing to the strong spin-orbit coupling in Weyl semimetals, the spin-transfer torque can be significantly enhanced, because of which they can provide a more efficient means of controlling magnetic textures. We derive the analytical expression of the spin-transfer torque and find that the velocity of the domain wall is one order of magnitude greater than that of conventional ferromagnetic metals. Furthermore, due to the suppression of longitudinal conductivity in the thin domain-wall configuration, the dissipation due to Joule heating for the spin-transfer torque becomes much smaller than that in bulk metallic ferromagnets. Consequently, the fast-control of the domain wall can be achieved with smaller dissipation from Joule heating in the Weyl semimetals as required for application to low-energy-consumption spintronics devices.


title: Linkage of modules by reflexive morphisms

abstract: In this paper, we introduce and study the notion of linkage of modules by reflexive homomorphisms. This notion unifies and generalizes several known concepts of linkage of modules and enables us to study the theory of linkage of modules over Cohen-Macaulay rings rather than the more restrictive Gorenstein rings. It is shown that several known results for Gorenstein linkage are still true in the more general case of module linkage over Cohen-Macaulay rings. We also introduce the notion of colinkage of modules and establish an adjoint equivalence between the linked and colinked modules.


title: On one-sample Bayesian tests for the mean

abstract: This paper deals with a new Bayesian approach to the standard one-sample $z$- and $t$- tests. More specifically, let $x_1,\ldots,x_n$ be an independent random sample from a normal distribution with mean $\mu$ and variance $\sigma^2$. The goal is to test the null hypothesis $\mathcal{H}_0: \mu=\mu_1$ against all possible alternatives. The approach is based on using the well-known formula of the Kullbak-Leibler divergence between two normal distributions (sampling and hypothesized distributions selected in an appropriate way). The change of the distance from a priori to a posteriori is compared through the relative belief ratio (a measure of evidence). Eliciting the prior, checking for prior-data conflict and bias are also considered. Many theoretical properties of the procedure have been developed. Besides it's simplicity, and unlike the classical approach, the new approach possesses attractive and distinctive features such as giving evidence in favor of the null hypothesis. It also avoids several undesirable paradoxes, such as Lindley's paradox that may be encountered by some existing Bayesian methods. The use of the approach has been illustrated through several examples.


title: Intrinsic Band Gap and Electrically Tunable Flat Bands in Twisted Double Bilayer Graphene

abstract: We present atomistic calculations on structural and electronic properties of twisted double bilayer graphene (TDBG) consisting of two sets of rotationally misaligned Bernal-stacked bilayer graphene. Obtained equilibrium atomic structures exhibit in-plane strains and the modulation of the interlayer distances at the rotationally mismatched interface layers. We find that the electronic structure of TDBG can have an intrinsic band gap at the charge neutral point for a large range of the twist angle theta. Near theta = 1.25 degree, the intrinsic band gap disappears and TDBG hosts flat bands at the Fermi level that are energetically well separated from higher and lower energy bands. We also show that the flat bands are easily tunable by applying vertical electric fields, and extremely narrow bandwidths less than 10 meV can be achieved for the electron-side flat bands in a wide range of the twist angle. Our results serve as a theoretical guide for exploring emergent correlated electron physics in this versatile moire superlattice system.


title: Crowd Counting and Density Estimation by Trellis Encoder-Decoder Network

abstract: Crowd counting has recently attracted increasing interest in computer vision but remains a challenging problem. In this paper, we propose a trellis encoder-decoder network (TEDnet) for crowd counting, which focuses on generating high-quality density estimation maps. The major contributions are four-fold. First, we develop a new trellis architecture that incorporates multiple decoding paths to hierarchically aggregate features at different encoding stages, which can handle large variations of objects. Second, we design dense skip connections interleaved across paths to facilitate sufficient multi-scale feature fusions and to absorb the supervision information. Third, we propose a new combinatorial loss to enforce local coherence and spatial correlation in density maps. By distributedly imposing this combinatorial loss on intermediate outputs, gradient vanishing can be largely alleviated for better back-propagation and faster convergence. Finally, our TEDnet achieves new state-of-the art performance on four benchmarks, with an improvement up to 14% in terms of MAE.


title: Four-layer nanocomposite structure as an effective optical waveguide switcher for near-IR regime

abstract: We present a theoretical study of the dispersion and energy properties of the eigenwaves (TE- and TM- modes) in a four-layer structure composed of a magneto-optical yttrium iron garnet guiding layer on a dielectric substrate covered by a planar nanocomposite guiding multilayer. The bigyrotropic properties of yttrium-iron garnet are taken into account for obtaining the dispersion equation and an original algorithm for the guided modes identification is proposed. We demonstrated the polarization switching of TE- and TM-modes dependent on the geometrical parameters of the guiding layers. The dispersion diagrams and field profiles are used to illustrate the change of propagation properties with variation of the multilayer thickness ratio of the nanocomposite layers. The energy flux distributions across the structure are calculated and the conditions of the optimal guiding regime are obtained. The power switching ratio in the waveguide layers of about 6 dB for the wavelength range of 100 nm is shown to be achieved.


title: Inexact elastic shape matching in the square root normal field framework

abstract: This paper puts forth a new formulation and algorithm for the elastic matching problem on unparametrized curves and surfaces. Our approach combines the frameworks of square root normal fields and varifold fidelity metrics into a novel framework, which has several potential advantages over previous works. First, our variational formulation allows us to minimize over reparametrizations without discretizing the reparametrization group. Second, the objective function and gradient are easy to implement and efficient to evaluate numerically. Third, the initial and target surface may have different samplings and even different topologies. Fourth, texture can be incorporated as additional information in the matching term similarly to the fshape framework. We demonstrate the usefulness of this approach with several numerical examples of curves and surfaces.


title: Spin wave damping in periodic and quasiperiodic magnonic structures

abstract: We investigated the lifetime of spin wave eigenmodes in periodic and quasiperiodic sequences of Py and Co wires. Those materials differ significantly in damping coefficients, therefore, the spatial distribution of the mode amplitude within the structure is important for the lifetime of collective spin wave excitations. Modes of the lower frequencies prefer to concentrate in Py wires, because of the lower FMR frequency for this material. This inhomogeneous distribution of amplitude of modes (with lower amplitude in material of higher damping and with higher amplitude in material of lower damping) is preferable for extending the lifetime of the collective excitations beyond the volume average of lifetimes for solid materials. We established the relation between the profile of the mode and its lifetime for periodic and quasiperiodic structures. We performed also the comparative studies in order to find the differences resulting from complexity of the structure and enhancement of localization in quasiperiodic system on the lifetime of spin waves.


title: CAD-Net: A Context-Aware Detection Network for Objects in Remote Sensing Imagery

abstract: Accurate and robust detection of multi-class objects in optical remote sensing images is essential to many real-world applications such as urban planning, traffic control, searching and rescuing, etc. However, state-of-the-art object detection techniques designed for images captured using ground-level sensors usually experience a sharp performance drop when directly applied to remote sensing images, largely due to the object appearance differences in remote sensing images in term of sparse texture, low contrast, arbitrary orientations, large scale variations, etc. This paper presents a novel object detection network (CAD-Net) that exploits attention-modulated features as well as global and local contexts to address the new challenges in detecting objects from remote sensing images. The proposed CAD-Net learns global and local contexts of objects by capturing their correlations with the global scene (at scene-level) and the local neighboring objects or features (at object-level), respectively. In addition, it designs a spatial-and-scale-aware attention module that guides the network to focus on more informative regions and features as well as more appropriate feature scales. Experiments over two publicly available object detection datasets for remote sensing images demonstrate that the proposed CAD-Net achieves superior detection performance. The implementation codes will be made publicly available for facilitating future researches.


title: Recognition of Multiple Food Items in a Single Photo for Use in a Buffet-Style Restaurant

abstract: We investigate image recognition of multiple food items in a single photo, focusing on a buffet restaurant application, where menu changes at every meal, and only a few images per class are available. After detecting food areas, we perform hierarchical recognition. We evaluate our results, comparing to two baseline methods.


title: Less is More: Learning Highlight Detection from Video Duration

abstract: Highlight detection has the potential to significantly ease video browsing, but existing methods often suffer from expensive supervision requirements, where human viewers must manually identify highlights in training videos. We propose a scalable unsupervised solution that exploits video duration as an implicit supervision signal. Our key insight is that video segments from shorter user-generated videos are more likely to be highlights than those from longer videos, since users tend to be more selective about the content when capturing shorter videos. Leveraging this insight, we introduce a novel ranking framework that prefers segments from shorter videos, while properly accounting for the inherent noise in the (unlabeled) training data. We use it to train a highlight detector with 10M hashtagged Instagram videos. In experiments on two challenging public video highlight detection benchmarks, our method substantially improves the state-of-the-art for unsupervised highlight detection.


title: Semileptonic $D_{(s)} \to A \ell^+ \nu$ and nonleptonic $D\to K_1(1270,1400) \pi$ decays in LCSR

abstract: In this work, the transition form factors are calculated for the semileptonic $D_{(s)} \to A \ell^+ \nu$ where $A=a_{1}, b_{1}, K_{1}(1270,1400)$, i.e., $D^{+} \to a^{0}_{1} (b^{0}_{1}, K^{0}_{1}) \ell^+ \nu$, $D^{0} \to a^{-}_{1} (b^{-}_{1}) \ell^+ \nu$, and $D^{+}_{s}\to K^{0}_{1} \ell^+ \nu$ in the frame work of the light-cone QCD sum rules (LCSR) approach up to the twist-3 distribution amplitudes (DAs). Since the masses of these axial vector mesons are comparable to the charm quark mass, we keep out in our calculations all terms including ${m_{A}}/{m_c}$ in expansion of two--parton DAs. Branching ratio values are estimated for the semileptonic $D_{(s)} \to A \ell \nu$ and nonleptonic $D\to K_1 (1270,1400) \pi$ decays. A comparison is also made between our results and predictions of other methods and the existing experimental values.


title: Goos-Hanchen Shift of a Spin-Wave Beam at the Interface Between Two Ferromagnets

abstract: Spin waves are promising information carriers which can be used in modern magnonic devices, characterized by higher performance and lower energy consumption than presently used electronic circuits. However, before practical application of spin waves, the efficient control over spin wave amplitude and phase needs to be developed. We analyze analytically reflection and refraction of the spin waves at the interface between two ferromagnetic materials. In the model we consider the system consisting of two semi-infinite ferromagnetic media, separated by the ultra-narrow interface region with the magnetic anisotropy. We have found the Goos-Hanchen shift for spin waves in transmission and reflection, and performed detailed investigations of its dependence on the anisotropy at the interface and materials surrounding the interface. We have demonstrated possibility of obtaining Goos-Hanchen shift of several wavelengths in reflection for realistic material parameters. That proves the possibility for change of the spin waves phase in ferromagnetic materials at subwavelength distances, which can be regarded as a metasurface for magnonics.


title: Using network motifs to characterize temporal network evolution leading to diffusion inhibition

abstract: Network motifs are patterns of over-represented node interactions in a network which have been previously used as building blocks to understand various aspects of the social networks. In this paper, we use motif patterns to characterize the information diffusion process in social networks. We study the lifecycle of information cascades to understand what leads to saturation of growth in terms of cascade reshares, thereby resulting in expiration, an event we call ``diffusion inhibition''. In an attempt to understand what causes inhibition, we use motifs to dissect the network obtained from information cascades coupled with traces of historical diffusion or social network links. Our main results follow from experiments on a dataset of cascades from the Weibo platform and the Flixster movie ratings. We observe the temporal counts of 5-node undirected motifs from the cascade temporal networks leading to the inhibition stage. Empirical evidences from the analysis lead us to conclude the following about stages preceding inhibition: (1) individuals tend to adopt information more from users they have known in the past through social networks or previous interactions thereby creating patterns containing triads more frequently than acyclic patterns with linear chains and (2) users need multiple exposures or rounds of social reinforcement for them to adopt an information and as a result information starts spreading slowly thereby leading to the death of the cascade. Following these observations, we use motif based features to predict the edge cardinality of the network exhibited at the time of inhibition. We test features of motif patterns by using regression models for both individual patterns and their combination and we find that motifs as features are better predictors of the future network organization than individual node centralities.


title: Bayesian Learning of Conditional Kernel Mean Embeddings for Automatic Likelihood-Free Inference

abstract: In likelihood-free settings where likelihood evaluations are intractable, approximate Bayesian computation (ABC) addresses the formidable inference task to discover plausible parameters of simulation programs that explain the observations. However, they demand large quantities of simulation calls. Critically, hyperparameters that determine measures of simulation discrepancy crucially balance inference accuracy and sample efficiency, yet are difficult to tune. In this paper, we present kernel embedding likelihood-free inference (KELFI), a holistic framework that automatically learns model hyperparameters to improve inference accuracy given limited simulation budget. By leveraging likelihood smoothness with conditional mean embeddings, we nonparametrically approximate likelihoods and posteriors as surrogate densities and sample from closed-form posterior mean embeddings, whose hyperparameters are learned under its approximate marginal likelihood. Our modular framework demonstrates improved accuracy and efficiency on challenging inference problems in ecology.


title: Acyclic quantum cluster algebras via Hall algebras of morphisms

abstract: Let $A$ be the path algebra of a finite acyclic quiver $Q$ over a finite field. We realize the quantum cluster algebra with principal coefficients associated to $Q$ as a sub-quotient of a certain Hall algebra involving the category of morphisms between projective $A$-modules.


title: Face Image Reflection Removal

abstract: Face images captured through the glass are usually contaminated by reflections. The non-transmitted reflections make the reflection removal more challenging than for general scenes, because important facial features are completely occluded. In this paper, we propose and solve the face image reflection removal problem. We remove non-transmitted reflections by incorporating inpainting ideas into a guided reflection removal framework and recover facial features by considering various face-specific priors. We use a newly collected face reflection image dataset to train our model and compare with state-of-the-art methods. The proposed method shows advantages in estimating reflection-free face images for improving face recognition.


title: Large and significantly anisotropic critical current density induced by planar defects in CaKFe4As4 single crystals

abstract: Three independent components of critical current density, one for the H//c axis and the other two for the H//ab plane, have been studied in CaKFe4As4 single crystals. When the magnetic field is applied along the c axis, we observed fish-tail-like peaks in the M-H hysteresis loop, and the magnetization at higher temperatures exceeds that at lower temperatures at high fields. When the field is applied parallel to the ab plane, a dip structure is observed in the M-H hysteresis loop near the self-field. In addition, for the H//ab plane, we succeeded in separately evaluating the large and significantly anisotropic in-plane and out-of-plane Jc. Transmission electron microscopy revealed the presence of planar defects parallel to the ab plane in CaKFe4As4, which have not been observed in any other iron-based superconductors. We discuss the possible relationship between the anomalous Jc behavior and the planar defects.


title: Solutions of convex Bethe Ansatz equations and the zeros of (basic) hypergeometric orthogonal polynomials

abstract: Via the solutions of systems of algebraic equations of Bethe Ansatz type, we arrive at bounds for the zeros of orthogonal (basic) hypergeometric polynomials belonging to the Askey-Wilson, Wilson and continuous Hahn families.


title: Exact cubature rules for symmetric functions

abstract: We employ a multivariate extension of the Gauss quadrature formula, originally due to Berens, Schmid and Xu [BSX95], so as to derive cubature rules for the integration of symmetric functions over hypercubes (or infinite limiting degenerations thereof) with respect to the densities of unitary random matrix ensembles. Our main application concerns the explicit implementation of a class of cubature rules associated with the Bernstein-Szeg\"o polynomials, which permit the exact integration of symmetric rational functions with prescribed poles at coordinate hyperplanes against unitary circular Jacobi distributions stemming from the Haar measures on the symplectic and the orthogonal groups.


abstract: The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces is constructed. Further, it is showed that this functor sends homotopy equivalent $A_\infty$-algebras into homotopy equivalent differential modules with $\infty$-simplicial faces.


title: Scalable optimization-based sampling on function space

abstract: Optimization-based samplers such as randomize-then-optimize (RTO) [2] provide an efficient and parallellizable approach to solving large-scale Bayesian inverse problems. These methods solve randomly perturbed optimization problems to draw samples from an approximate posterior distribution. "Correcting" these samples, either by Metropolization or importance sampling, enables characterization of the original posterior distribution. This paper focuses on the scalability of RTO to problems with high- or infinite-dimensional parameters. We introduce a new subspace acceleration strategy that makes the computational complexity of RTO scale linearly with the parameter dimension. This subspace perspective suggests a natural extension of RTO to a function space setting. We thus formalize a function space version of RTO and establish sufficient conditions for it to produce a valid Metropolis-Hastings proposal, yielding dimension-independent sampling performance. Numerical examples corroborate the dimension-independence of RTO and demonstrate sampling performance that is also robust to small observational noise.


title: Similarities between the structure functions of thermal convection and hydrodynamic turbulence

abstract: In this paper, we analyze the scaling of velocity structure functions of turbulent thermal convection. Using high-resolution numerical simulations, we show that the structure functions scale similar to those of hydrodynamic turbulence, with the scaling exponents in agreement with She and Leveque's predictions [Phys. Rev. Lett. 72, 336-339 (1994)]. The probability distribution functions of velocity increments are non-Gaussian with wide tails in the dissipative scales and become close to Gaussian in the inertial range. The tails of the probability distribution follow a stretched exponential. We also show that in thermal convection, the energy flux in the inertial range is less than the viscous dissipation rate. This is unlike in hydrodynamic turbulence where the energy flux and the dissipation rate are equal.


title: Near-Additive Spanners In Low Polynomial Deterministic CONGEST Time

abstract: Given parameters $\alpha\geq 1,\beta\geq 0$, a subgraph $G'=(V,H)$ of an $n$-vertex unweighted undirected graph $G=(V,E)$ is called an $(\alpha,\beta)$-spanner if for every pair $u,v\in V$ of vertices, $d_{G'}(u,v)\leq \alpha d_{G}(u,v)+\beta$. If $\beta=0$ the spanner is called a multiplicative $\alpha$-spanner, and if $\alpha = 1+\epsilon$, for an arbitrarily small $\epsilon>0$, the spanner is said to be a near-additive one. Graph spanners are a fundamental and extremely well-studied combinatorial construct, with a multitude of applications in distributed computing and in other areas. Near-additive spanners, introduced in [EP01], preserve large distances much more faithfully than multiplicative spanners. Also, recent lower bounds [AB15] ruled out the existence of arbitrarily sparse purely additive spanners (i.e., spanners with $\alpha=1$), and therefore near-additive spanners provide the best approximation of distances that one can hope for. Numerous distributed algorithms for constructing sparse near-additive spanners exist. In particular, there are now known efficient randomized algorithms in the CONGEST model that construct such spanners [EN17], and also there are efficient deterministic algorithms in the LOCAL model [DGPV09]. The only known deterministic CONGEST-model algorithm for the problem [Elk01] requires superlinear time in $n$. We remedy the situation and devise an efficient deterministic CONGEST-model algorithm for constructing arbitrarily sparse near-additive spanners. The running time of our algorithm is low polynomial, i.e., roughly $O(\beta \cdot n^\rho)$, where $\rho > 0$ is an arbitrarily small positive constant that affects the additive term $\beta$. In general, the parameters of our algorithm and of the resulting spanner are at the same ballpark as the respective parameters of the state-of-the-art randomized algorithm for the problem due to [EN17].


title: Criterion for robustness of global asymptotic stability to perturbations of linear time-varying systems

abstract: In this brief note, we establish a novel criterion for robustness of global asymptotic stability of zero solution of LTV system $\dot x=A(t)x$ in the presence of possibly unbounded perturbations (external disturbances). To prove the result, logarithmic norm will be used under which the stability becomes a topological notion depending on the chosen vector norm in the state-space $\mathbb{R}^n.$


title: Generalization of a connectedness result to cohomologically complete intersections

abstract: It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important connectedness result is that a local ring with disconnected punctured sprectrum has depth at most $1$ ([H1, Proposition 2.1]). The two results are related, Hartshorne calls the latter "the keystone to the proof" of the former (loc. cit). In this short note we show that the latter result generalizes smoothly from set-theoretical to cohomologically complete intersections, i. e. to ideals for which there is in terms of local cohomology no obstruction to be a complete intersection ([HeSc1], [HeSc2]). The proof is based on the fact that, for cohomologically complete intersections over a complete local ring, the endomorphism ring of the (only) local cohomology cohomology module is the ring itself ([HeSt, Theorem 2.2 (iii)]) and hence indecomposable as a module.


title: Meta-SR: A Magnification-Arbitrary Network for Super-Resolution

abstract: Recent research on super-resolution has achieved great success due to the development of deep convolutional neural networks (DCNNs). However, super-resolution of arbitrary scale factor has been ignored for a long time. Most previous researchers regard super-resolution of different scale factors as independent tasks. They train a specific model for each scale factor which is inefficient in computing, and prior work only take the super-resolution of several integer scale factors into consideration. In this work, we propose a novel method called Meta-SR to firstly solve super-resolution of arbitrary scale factor (including non-integer scale factors) with a single model. In our Meta-SR, the Meta-Upscale Module is proposed to replace the traditional upscale module. For arbitrary scale factor, the Meta-Upscale Module dynamically predicts the weights of the upscale filters by taking the scale factor as input and use these weights to generate the HR image of arbitrary size. For any low-resolution image, our Meta-SR can continuously zoom in it with arbitrary scale factor by only using a single model. We evaluated the proposed method through extensive experiments on widely used benchmark datasets on single image super-resolution. The experimental results show the superiority of our Meta-Upscale.


title: Optically detected spin-mechanical resonance in silicon carbide membranes

abstract: Hybrid spin-mechanical systems are a promising platform for future quantum technologies. Usually they require application of additional microwave fields to project integer spin to a readable state. We develop a theory of optically detected spin-mechanical resonance associated with half-integer spin defects in silicon carbide (SiC) membranes. It occurs when a spin resonance frequency matches a resonance frequency of a mechanical mode, resulting in a shortening of the spin relaxation time through resonantly enhanced spin-phonon coupling. The effect can be detected as an abrupt reduction of the photoluminescence intensity under optical pumping without application of microwave fields. We propose all-optical protocols based on such spin-mechanical resonance to detect external magnetic fields and mass with ultra-high sensitivity. We also discuss room-temperature nonlinear effects under strong optical pumping, including spin-mediated cooling and heating of mechanical modes. Our approach suggests a new concept for quantum sensing using spin-optomechanics.


title: Hadronization from color interactions

abstract: A quark coalescence model is presented based on semi-relativistic molecular dynamics with color interactions among quarks taken into account and applied to $pp$ collisions to study the effects of this model. A phenomenological potential with two tunable parameters is introduced to describe the color interactions between quarks and antiquarks. The interactions drive the process of hadronization and finally make them form different color neutral clusters, which can be identified as hadrons based on some criteria. A Monte Carlo generator, PYTHIA is used to generate the quarks in the initial state of hadronization, and different values of tunable parameters are used to study their effects on the final state distributions and correlations. Baryon to meson ratios, transverse momentum spectra, pseudorapidity distributions and forward-backward multiplicity correlations of hadrons produced in the hadronization process from this model with different parameters are compared with those from PYTHIA.


title: Conversion of Mechanical Noise into Correlated Photon Pairs: Dynamical Casimir effect from an incoherent mechanical drive

abstract: We show that the dynamical Casimir effect in an optomechanical system can be achieved under incoherent mechanical pumping. We adopt a fully quantum-mechanical approach for both the cavity field and the oscillating mirror. The dynamics is then evaluated using a recently-developed master equation approach in the dressed picture, including both zero and finite temperature photonic reservoirs. This analysis shows that the dynamical Casimir effect can be observed even when the mean value of the mechanical displacement is zero. This opens up new possibilities for the experimental observation of this effect. We also calculate cavity emission spectra both in the resonant and the dispersive regimes, providing useful information on the emission process.


title: 3D convolutional neural network for abdominal aortic aneurysm segmentation

abstract: An abdominal aortic aneurysm (AAA) is a focal dilation of the aorta that, if not treated, tends to grow and may rupture. A significant unmet need in the assessment of AAA disease, for the diagnosis, prognosis and follow-up, is the determination of rupture risk, which is currently based on the manual measurement of the aneurysm diameter in a selected Computed Tomography Angiography (CTA) scan. However, there is a lack of standardization determining the degree and rate of disease progression, due to the lack of robust, automated aneurysm segmentation tools that allow quantitatively analyzing the AAA. In this work, we aim at proposing the first 3D convolutional neural network for the segmentation of aneurysms both from preoperative and postoperative CTA scans. We extensively validate its performance in terms of diameter measurements, to test its applicability in the clinical practice, as well as regarding the relative volume difference, and Dice and Jaccard scores. The proposed method yields a mean diameter measurement error of 3.3 mm, a relative volume difference of 8.58 %, and Dice and Jaccard scores of 87 % and 77 %, respectively. At a clinical level, an aneurysm enlargement of 10 mm is considered relevant, thus, our method is suitable to automatically determine the AAA diameter and opens up the opportunity for more complex aneurysm analysis.


title: Resolving the Topological Classification of Bismuth with Topological Defects

abstract: Bulk boundary correspondence in topological materials allows to study their bulk topology through the investigation of their topological boundary modes. However, for classes that share similar boundary phenomenology, the growing diversity of topological phases may lead to ambiguity in the topological classification of materials. Such is the current status of bulk bismuth. While some theoretical models indicate that bismuth possesses a trivial topological nature, other theoretical and experimental studies suggest non-trivial topological classifications such as a strong or a higher order topological insulator, both of which hosts helical modes on their boundaries. Here we use a novel approach to resolve the topological classification of bismuth by spectroscopically mapping the response of its boundary modes to a topological defect in the form of a screw dislocation (SD). We find that the edge mode extends over a wide energy range, and withstands crystallographic irregularities, without showing any signs of backscattering. It seems to bind to the bulk SD, as expected for a topological insulator (TI) with non-vanishing weak indices. We argue that the small scale of the bulk energy gap, at the time reversal symmetric momentum $L$, positions bismuth within the critical region of a topological phase transition to a strong TI with non-vanishing weak indices. We show that the observed boundary modes are approximately helical already on the $\mathbb{Z}_2$ trivial side of the topological phase transition. This work opens the door for further possibilities to examine the response of topological phases to crystallographic topological defects, and to uniquely explore their associated bulk boundary phenomena.


title: The Soap Bubble Theorem and a $p$-Laplacian overdetermined problem

abstract: We consider the $p$-Laplacian equation $-\Delta_p u=1$ for $1<p<2$, on a regular bounded domain $\Omega\subset\mathbb R^N$, with $N\ge2$, under homogeneous Dirichlet boundary conditions. In the spirit of Alexandrov's Soap Bubble Theorem and of Serrin's symmetry result for the overdetermined problems, we prove that if the mean curvature $H$ of $\partial\Omega$ is constant, then $\Omega$ is a ball and the unique solution of the Dirichlet $p$-Laplacian problem is radial. The main tools used are integral identities, the $P$-function, and the maximum principle.


title: Symplectic tomography of nonlinear coherent states of a trapped ion

abstract: Squeezed and rotated quadrature of an ion in a Paul trap is discussed in connection with reconstructing its quantum state using symplectic-tomography method. Marginal distributions of the quadrature for squeezed and correlated states and for nonlinear coherent states of a trapped ion are obtained and the density matrices in the Fock basis are expressed explicitly in terms of these marginal distributions.


title: Willmore surfaces in spheres: the DPW approach via the conformal Gauss map

abstract: The paper builds a DPW approach of Willmore surfaces via conformal Gauss maps. As applications, we provide descriptions of minimal surfaces in $\mathbb R^{n+2}$, isotropic surfaces in $S^4$ and homogeneous Willmore tori via the loop group method. A new example of a Willmore two-sphere in $S^6$ without dual surfaces is also presented.


title: CodeGRU: Context-aware Deep Learning with Gated Recurrent Unit for Source Code Modeling

abstract: Recently deep learning based Natural Language Processing (NLP) models have shown great potential in the modeling of source code. However, a major limitation of these approaches is that they take source code as simple tokens of text and ignore its contextual, syntactical and structural dependencies. In this work, we present CodeGRU, a gated recurrent unit based source code language model that is capable of capturing source code's contextual, syntactical and structural dependencies. We introduce a novel approach which can capture the source code context by leveraging the source code token types. Further, we adopt a novel approach which can learn variable size context by taking into account source code's syntax, and structural information. We evaluate CodeGRU with real-world data set and it shows that CodeGRU outperforms the state-of-the-art language models and help reduce the vocabulary size up to 24.93\%. Unlike previous works, we tested CodeGRU with an independent test set which suggests that our methodology does not requisite the source code comes from the same domain as training data while providing suggestions. We further evaluate CodeGRU with two software engineering applications: source code suggestion, and source code completion. Our experiment confirms that the source code's contextual information can be vital and can help improve the software language models. The extensive evaluation of CodeGRU shows that it outperforms the state-of-the-art models. The results further suggest that the proposed approach can help reduce the vocabulary size and is of practical use for software developers.


title: A duality theorem for harmonic maps into non-compact symmetric spaces and compact symmetric spaces

abstract: In this note, we show that for any harmonic map into a non-compact symmetric space one can find naturally a "dual" harmonic map into a compact symmetric space which can be constructed from the same basic data (called "potentials" in the loop group formalism). Locally also the inverse/converse duality theorem holds.


title: Detailed illustration of accuracy of presently used nuclear-mass models

abstract: The accuracy of description of measured nuclear masses by presently used nuclear-mass models is studied. Twelve models of various kinds are considered, eleven of the global character and one local model specially adapted to description of heavy nuclei. To decrease the number of nuclei over which the accuracy is averaged, the global region (Z,N >= 8) is divided into four subregions, in which the accuracy is studied separately. Still, to reach the best precision, the accuracy is finally investigated without any averaging, for each nucleus separately. The results are presented in a form of colored maps, large enough to be easily and accurately read. Besides the accuracy of the studied models, also their predictive power is considered. It is found that the accuracy of description of mass strongly depends on a nuclear-mass model and on the region of nuclei to which the model is applied. The best accuracy is obtained by the recent two Chinese models WS3+ and WS4+. Generally, no clear, strong correlation between the accuracy of description of already known masses by a given model and its predictive power for new masses is observed. Still, such correlation is found for separate models and in separate regions of nuclei. More often for the macroscopic-microscopic models than for the other approaches.


title: Balayage of measures and subharmonic functions on a system of rays. III. Growth of entire functions of exponential type

abstract: In the second part of this work was developed a technique of balayage of finite genus $q=0,1,2,\dots$ for measures (charges) and ($\delta$-) subharmonic functions of finite order to an arbitrary closed system of rays $S$ with vertex at origin on the complex plane $\mathbb C$. In this third part of our work, we use only the case $q=1$ when $S$ is a pair of oppositely directed rays, i.e., $S$ is a straight line as the point set, and balayage is made from both sides of this line. We consider measures and subharmonic functions of finite type of order $1$. This bilateral balayage of genus $1$ will be applied to the non-triviality of weight classes of entire functions of exponential type $E$ that allocated only constraint on their growth along the line; for the full description of subsequences of zeros for classes $E$; the existence of entire functions-multipliers of $h$ for entire functions of exponential type $g$, limiting by the multiplication of their growth as $fh\in E$; the possibility of the representation of meromorphic functions in the form of a ratio of functions from $E$. The origins of the study lies in the classical Malliavin-Rubel Theorem on the conditions of existence of an entire function of exponential type vanishing on a given sequence of positive numbers. These studies also are parallel to the famous Beurling-Malliavin Theorems on the multiplier and on the radius of completeness.


title: Denoising convolutional autoencoder based B-mode ultrasound tongue image feature extraction

abstract: B-mode ultrasound tongue imaging is widely used in the speech production field. However, efficient interpretation is in a great need for the tongue image sequences. Inspired by the recent success of unsupervised deep learning approach, we explore unsupervised convolutional network architecture for the feature extraction in the ultrasound tongue image, which can be helpful for the clinical linguist and phonetics. By quantitative comparison between different unsupervised feature extraction approaches, the denoising convolutional autoencoder (DCAE)-based method outperforms the other feature extraction methods on the reconstruction task and the 2010 silent speech interface challenge. A Word Error Rate of 6.17% is obtained with DCAE, compared to the state-of-the-art value of 6.45% using Discrete cosine transform as the feature extractor. Our codes are available at https://github.com/DeePBluE666/Source-code1.


title: Affine Rigidity Without Integration

abstract: Real analytic ($\mathcal{C}^\omega$) surfaces $S^2$ in $\mathbb{R}^3 \ni (x,y,u)$ graphed as $\big\{ u = F(x,y) \big\}$ with $F_{xx} \neq 0$ whose Gaussian curvature vanishes identically: \[ 0 \,\equiv\, F_{xx}\,F_{yy} - F_{xy}^2, \] possess, under the action of the affine transformation group ${\sf Aff}_3(\mathbb{R}) = {\sf GL}_3(\mathbb{R}) \ltimes \mathbb{R}^3$, a basic invariant analogous to $2$-nondegeneracy for $\mathcal{C}^\omega$ real hypersurfaces $M^5 \subset \mathbb{C}^3$: \[ S_{\sf aff} \,:=\, \frac{F_{xx}\,F_{xxy}-F_{xy}\,F_{xxx}}{ F_{xx}^2}. \] It is known (or easily recovered) that $S$ is affinely equivalent to $\big\{ u = x^2 \big\}$ if and only if $S_{\sf aff} \equiv 0$. Assuming that $S_{\sf aff} \neq 0$ everywhere, two deeper affine invariants inspired from Pocchiola's Ph.D. are $W_{\sf aff}$ and $J_{\sf aff}$. Explicit expressions are given in this article. Theorem. $S$ is affinely equivalent to $\big\{ u = \frac{x^2}{1-y} \big\}$ if and only if $W_{\sf aff} \equiv 0 \equiv J_{\sf aff}$. As a direct corollary of the (brief) proof, affine rigidity of CR-flat $2$-nondegenerate $\mathcal{C}^\omega$ Levi rank $1$ hypersurfaces $M^5 \subset \mathbb{C}^3$ is deduced. The arguments rely on pure affine geometry, avoid any tool from Analysis, and simplify A.V. Isaev, J. Differential Geom. 104 (2016), 111--141. An independent article will show, in a more general context, how $\mathcal{C}^\infty$ (even $\mathcal{C}^7$) $F(x,y)$ can be handled.


title: The inclusive production of charged pion pairs in proton-antiproton collisions

abstract: In this study, we have considered the contribution of the higher-twist (HT) effects of the subprocesses to inclusive pion pair production cross section in the high energy proton-antiproton collisions by using various pion distribution amplitudes (DAs) within the frozen coupling constant approach and compared them with the leading-twist contributions. The feature of the HT effects may help the theoretical interpretation of the future PANDA experiment. The dependencies of the HT contribution on the transverse momentum $p_T$, the center of mass energy $\sqrt s$, and the variable $x_T$ are discussed numerically with special emphasis put on DAs. Moreover, the obtained analytical and numerical results for the differential cross section of the pion pair production are compared with the elastic backward scattering of the pion on the proton. We show that the main contribution to the inclusive cross section comes from the HT direct production process via gluon-gluon fusion. Also, it is strongly dependent on the pion DAs, momentum cut-off parameter $\triangle p$ and $<{q_{T}^2}>$ which is the mean square of the intrinsic momentum of either initial parton.


title: Topological phases in pyrochlore thallium niobate Tl$_2$Nb$_2$O$_{6+x}$

abstract: The discovery of new topological electronic materials brings a chance to uncover novel physics and plays a key role in observing and controlling various intriguing phenomena. Up to now, many materials have been theoretically proposed and experimentally proved to host different kinds of topological states. Unfortunately, there is little convincing experimental evidence for the existence of topological oxides. The reason is that oxidation of oxygen leads to ionic crystal in general and makes band inversion unlikely. In addition, the realization of different topological states in a single material is quite difficult, but strongly needed for exploring topological phase transitions. In this work, using first-principles calculations and symmetry analysis, we propose that the experimentally tunable continuous solid solution of oxygen in pyrochlore Tl$_2$Nb$_2$O$_{6+x}$ ($ 0\leq x \leq 1.0$) leads to various topological states. Topological insulator, Dirac semimetal and triply degenerate nodal point semimetal can be realized in it via changing the oxygen content and/or tuning the crystalline symmetries. When $x = 1$, it is a semimetal with quadratic band touching point at Fermi level. It transits into a Dirac semimetal or a topological insulator depending on the in-plane strain. When $x = 0.5$, the inversion symmetry is spontaneously broken in Tl$_2$Nb$_2$O$_{6.5}$, leading to triply degenerate nodal points. When $x = 0$, Tl$_2$Nb$_2$O$_6$ becomes a trivial insulator with a narrow band gap. These topological phase transitions driven by solid solution of oxygen are unique and physically plausible due to the variation of valence state of $Tl^{1+}$ and $Tl^{3+}$. This topological oxide will be promising for studying correlation induced topological states and potential applications.


title: Gaussian Processes, Median Statistics, Milky Way Rotation Curves

abstract: We use the Iocco et al. (2015) compilation of 2,780 circular velocity measurements to analyze the Milky Way rotation curve. We find that the error bars for individual measurements are non-gaussian, and hence instead derive median statistics binned central circular velocity values and error bars from these data. We use these median statistics central values and error bars to fit the data to simple, few parameter, rotation curve functions. These simple functions are unable to adequately capture the significant small scale spatial structure in these data and so provide poor fits. We introduce and use the Gaussian Processes (GP) method to capture this small scale structure and use it to derive Milky Way rotation curves from the binned median statistics circular velocity data. The GP method rotation curves have significant small-scale spatial structure superimposed on a broad rise to galactocentric radius $R\approx7$ kpc and a decline at larger $R$. We use the GP method median statistics rotation curve to measure the Oort $A$ and $B$ constants and other characteristic rotation curve quantities. We study correlations in the residual circular velocities (relative to the GP method rotation curve). Along with other evidence for azimuthal asymmetry of the Milky Way circular rotation velocity field, we find that larger residual circular velocities seem to favor parts of spiral arms.


title: Periodicities in cluster algebras and cluster automorphism groups

abstract: In this paper, we study the relations between groups related to cluster automorphism groups which are defined by Assem, Schiffler and Shamchenko in \cite{ASS}. We establish the relationship among (strict) direct cluster automorphism groups and those groups consisting of periodicities of respectively labeled seeds and exchange matrices in the language of short exact sequences. As an application, we characterize automorphism-finite cluster algebras in the cases with bipartite seeds or finite mutation type. Finally, we study the relation between the groups $\mathrm{Aut}\mathcal{A}$ and $\mathrm{Aut}_{M_n}S$ and give the negative answer via counter-examples to King and Pressland's a problem in \cite{KP}.


title: User Review-Based Change File Localization for Mobile Applications

abstract: In the current mobile app development, novel and emerging DevOps practices (e.g., Continuous Delivery, Integration, and user feedback analysis) and tools are becoming more widespread. For instance, the integration of user feedback (provided in the form of user reviews) in the software release cycle represents a valuable asset for the maintenance and evolution of mobile apps. To fully make use of these assets, it is highly desirable for developers to establish semantic links between the user reviews and the software artefacts to be changed (e.g., source code and documentation), and thus to localize the potential files to change for addressing the user feedback. In this paper, we propose RISING (Review Integration via claSsification, clusterIng, and linkiNG), an automated approach to support the continuous integration of user feedback via classification, clustering, and linking of user reviews. RISING leverages domain-specific constraint information and semi-supervised learning to group user reviews into multiple fine-grained clusters concerning similar users' requests. Then, by combining the textual information from both commit messages and source code, it automatically localizes potential change files to accommodate the users' requests. Our empirical studies demonstrate that the proposed approach outperforms the state-of-the-art baseline work in terms of clustering and localization accuracy, and thus produces more reliable results.


title: Non-Kitaev spin liquids in Kitaev materials

abstract: We point out that the Kitaev materials may not necessarily support Kitaev spin liquid. It is well-known that having a Kitaev term in the spin interaction is not the sufficient condition for the Kitaev spin liquid ground state. Many other spin liquids may be stabilized by the competing spin interactions of the systems. We thus explore the possibilities of non-Kitaev spin liquids in the honeycomb Kitaev materials. We carry out a systematic classification of gapped $\mathbb{Z}_2$ spin liquids using the Schwinger boson representation for the spin variables. The presence of strong spin-orbit coupling in the Kitaev materials brings new ingredients into the projective symmetry group classification of the non-Kitaev spin liquid. We predict the spectroscopic properties of these gapped non-Kitaev spin liquids. Moreover, among the gapped spin liquids that we discover, we identify the spin liquid whose spinon condensation leads to the magnetic Bragg peak structure of the zig-zag magnetic order that was observed in Na$_2$IrO$_3$ and $\alpha$-RuCl$_3$. We further discuss the possibility of gapped $\mathbb{Z}_2$ spin liquid and the deconfined quantum criticality from the zig-zag magnetic order to spin dimerization in pressurized $\alpha$-RuCl$_3$.


title: Chiral transport in strong fields from holography

abstract: Anomaly-induced transport phenomena in presence of strong external electromagnetic fields are explored within a 4D field theory defined holographically as $U(1)_V\times U(1)_A$ Maxwell-Chern-Simons theory in Schwarzschild-$AdS_5$. Two complementary studies are reported. In the first one, we present results on the Ohmic conductivity, diffusion constant, chiral magnetic conductivity, and additional anomaly-induced transport coefficients as functions of external e/m fields. Next, gradient resummation in a constant background magnetic field is performed. All-order resummed constitutive relations are parameterised by four momenta-dependent transport coefficient functions (TCFs). A highlight of this part is a thorough study of {\it non-dissipative} chiral magnetic waves (CMW) in strong magnetic fields.


title: Charge carrier dynamics of FeSe thin film investigated by terahertz magneto-optical spectroscopy

abstract: We performed terahertz magneto-optical spectroscopy of FeSe thin film to elucidate the charge carrier dynamics. The measured diagonal (longitudinal) and off-diagonal (Hall) conductivity spectra are well reproduced by two-carrier Drude model, from which the carrier densities, scattering times and effective masses of electron and hole carriers are determined in a wide range of temperature. The hole density decreases below the structural transition temperature while electron density increases, which is attributed to the band structure modification in the electronic nematic phase. The scattering time of the hole carrier becomes substantially longer than that of the electron at lower temperature, which accounts for the increase of the positive dc Hall coefficient at low temperature.


title: Database-driven high-throughput study for hybrid perovskite coating materials

abstract: We developed a high-throughput screening scheme to acquire candidate coating materials for hybrid perovskites. From more than 1.8 million entries of an inorganic compound database, we collected 93 binary and ternary materials with promising properties for protectively coating halide-perovskite photoabsorbers in perovskite solar cells. These candidates fulfill a series of criteria, including wide band gaps, abundant and non-toxic elements, water-insoluble, and small lattice mismatch with surface models of halide perovskites.


title: Robust corner and tangent point detection for strokes with deep learning approach

abstract: A robust corner and tangent point detection (CTPD) tool is critical for sketch-based engineering modeling. This paper proposes a robust CTPD approach for hand-drawn strokes with deep learning approach. Its robustness for users, stroke shapes and biased datasets is improved due to multiscaled point contexts and a vote scheme. Firstly, all stroke points are classified into segments by two deep learning networks, based on scaled point contexts which mimic human's perception. Then, a vote scheme is adopted to analyze the merge conditions and operations for adjacent segments. If most points agree with a stroke's type, this type is accepted. Finally, new corners and tangent points are inserted at transition points. The algorithm's performance is experimented with 1500 strokes of 20 shapes. Results show that our algorithm can achieve 95.3% for all-or-nothing accuracy and 88.6% accuracy for biased datasets, compared to 84.6% and 71% of the state-of-the-art CTPD technique, which is heuristic and empirical-based.


title: Competitive Bridge Bidding with Deep Neural Networks

abstract: The game of bridge consists of two stages: bidding and playing. While playing is proved to be relatively easy for computer programs, bidding is very challenging. During the bidding stage, each player knowing only his/her own cards needs to exchange information with his/her partner and interfere with opponents at the same time. Existing methods for solving perfect-information games cannot be directly applied to bidding. Most bridge programs are based on human-designed rules, which, however, cannot cover all situations and are usually ambiguous and even conflicting with each other. In this paper, we, for the first time, propose a competitive bidding system based on deep learning techniques, which exhibits two novelties. First, we design a compact representation to encode the private and public information available to a player for bidding. Second, based on the analysis of the impact of other players' unknown cards on one's final rewards, we design two neural networks to deal with imperfect information, the first one inferring the cards of the partner and the second one taking the outputs of the first one as part of its input to select a bid. Experimental results show that our bidding system outperforms the top rule-based program.


title: Fusion of time of arrival and time difference of arrival for ultra-wideband indoor localization

abstract: This article presents a new approach for the wireless clock synchronization of Decawave ultra-wideband transceivers based on the time difference of arrival. The presented techniques combine the time-of-arrival and time-difference-of-arrival measurements without losing the advantages of each approach. The precision and accuracy of the distances measured by the Decawave devices depends on three effects: signal power, clock drift, and uncertainty in the hardware delay. This article shows how all three effects may be compensated with both measurement techniques.


title: Deterministic Analysis of Weighted BPDN With Partially Known Support Information

abstract: In this paper, with the aid of the powerful Restricted Isometry Constant (RIC), a deterministic (or say non-stochastic) analysis, which includes a series of sufficient conditions (related to the RIC order) and their resultant error estimates, is established for the weighted Basis Pursuit De-Noising (BPDN) to guarantee the robust signal recovery when Partially Known Support Information (PKSI) of the signal is available. Specifically, the obtained conditions extend nontrivially the ones induced recently for the traditional constrained weighted $\ell_{1}$-minimization model to those for its unconstrained counterpart, i.e., the weighted BPDN. The obtained error estimates are also comparable to the analogous ones induced previously for the robust recovery of the signals with PKSI from some constrained models. Moreover, these results to some degree may well complement the recent investigation of the weighted BPDN which is based on the stochastic analysis.


title: Self-similar and disordered front propagation in a radial Hele-Shaw channel with time-varying cell depth

abstract: The displacement of a viscous fluid by an air bubble in the narrow gap between two parallel plates can readily drive complex interfacial pattern formation known as viscous fingering. We focus on a modified system suggested recently by [1], in which the onset of the fingering instability is delayed by introducing a time-dependent (power-law) plate separation. We perform a complete linear stability analysis of a depth-averaged theoretical model to show that the plate separation delays the onset of non-axisymmetric instabilities, in qualitative agreement with the predictions obtained from a simplified analysis by [1]. We then employ direct numerical simulations to show that in the parameter regime where the axisymmetrically expanding air bubble is unstable to nonaxisymmetric perturbations, the interface can evolve in a self-similar fashion such that the interface shape at a given time is simply a rescaled version of the shape at an earlier time. These novel, self-similar solutions are linearly stable but they only develop if the initially circular interface is subjected to unimodal perturbations. Conversely, the application of non-unimodal perturbations (e.g. via the superposition of multiple linearly unstable modes) leads to the development of complex, constantly evolving finger patterns similar to those that are typically observed in constant-width Hele-Shaw cells. [1] Z. Zheng, H. Kim, and H. A. Stone, Controlling viscous fingering using time-dependent strategies, Phys. Rev. Lett. 115, 174501 (2015).


title: adVAE: A self-adversarial variational autoencoder with Gaussian anomaly prior knowledge for anomaly detection

abstract: Recently, deep generative models have become increasingly popular in unsupervised anomaly detection. However, deep generative models aim at recovering the data distribution rather than detecting anomalies. Besides, deep generative models have the risk of overfitting training samples, which has disastrous effects on anomaly detection performance. To solve the above two problems, we propose a Self-adversarial Variational Autoencoder with a Gaussian anomaly prior assumption. We assume that both the anomalous and the normal prior distribution are Gaussian and have overlaps in the latent space. Therefore, a Gaussian transformer net T is trained to synthesize anomalous but near-normal latent variables. Keeping the original training objective of Variational Autoencoder, besides, the generator G tries to distinguish between the normal latent variables and the anomalous ones synthesized by T, and the encoder E is trained to discriminate whether the output of G is real. These new objectives we added not only give both G and E the ability to discriminate but also introduce additional regularization to prevent overfitting. Compared with the SOTA baselines, the proposed model achieves significant improvements in extensive experiments. Datasets and our model are available at a Github repository.


title: MILDNet: A Lightweight Single Scaled Deep Ranking Architecture

abstract: Multi-scale deep CNN architecture [1, 2, 3] successfully captures both fine and coarse level image descriptors for visual similarity task, but they come up with expensive memory overhead and latency. In this paper, we propose a competing novel CNN architecture, called MILDNet, which merits by being vastly compact (about 3 times). Inspired by the fact that successive CNN layers represent the image with increasing levels of abstraction, we compressed our deep ranking model to a single CNN by coupling activations from multiple intermediate layers along with the last layer. Trained on the famous Street2shop dataset [4], we demonstrate that our approach performs as good as the current state-of-the-art models with only one third of the parameters, model size, training time and significant reduction in inference time. The significance of intermediate layers on image retrieval task has also been shown to be performing on popular datasets Holidays, Oxford, Paris [5]. So even though our experiments are done on ecommerce domain, it is applicable to other domains as well. We further did an ablation study to validate our hypothesis by checking the impact on adding each intermediate layer. With this we also present two more useful variants of MILDNet, a mobile model (12 times smaller) for on-edge devices and a compactly featured model (512-d feature embeddings) for systems with less RAMs and to reduce the ranking cost. Further we present an intuitive way to automatically create a tailored in-house triplet training dataset, which is very hard to create manually. This solution too can also be deployed as an all-inclusive visual similarity solution. Finally, we present our entire production level architecture which currently powers visual similarity at Fynd.


title: Understanding Feature Selection and Feature Memorization in Recurrent Neural Networks

abstract: In this paper, we propose a test, called Flagged-1-Bit (F1B) test, to study the intrinsic capability of recurrent neural networks in sequence learning. Four different recurrent network models are studied both analytically and experimentally using this test. Our results suggest that in general there exists a conflict between feature selection and feature memorization in sequence learning. Such a conflict can be resolved either using a gating mechanism as in LSTM, or by increasing the state dimension as in Vanilla RNN. Gated models resolve this conflict by adaptively adjusting their state-update equations, whereas Vanilla RNN resolves this conflict by assigning different dimensions different tasks. Insights into feature selection and memorization in recurrent networks are given.


title: Atmospheres on Nonsynchronized Eccentric-tilted Exoplanets I: Dynamical Regimes

abstract: Relatively long-period nonsynchronized planets---such as warm Jupiters---potentially retain the primordial rotation, eccentricity, and obliquity that might encapsulate information on planetary climate and formation processes. To date, there has not been a systematic study on climate patterns on these planets that will significantly influence their observations. Here we investigate the atmospheric dynamics of nonsynchronized, fast-rotating exoplanets across various radiative timescales, eccentricities, and obliquities using a shallow water model. The dynamical pattern can be demarcated into five regimes in terms of radiative timescale $\tau_{\rm rad}$ and obliquity ${\theta}$. An atmosphere with $\tau_{\rm rad}$ shorter than a planetary day usually exhibits a strong day--night temperature contrast and a day-to-night flow pattern. In the intermediate $\tau_{\rm rad}$ regime between a planetary day and a year, the atmosphere is dominated by steady temperature and eastward jet patterns for ${\theta}$ < 18 deg but shows a strong seasonal variation for ${\theta}$ > 18 deg because the polar region undergoes an intense heating at around the summer solstice. If $\tau_{\rm rad}$ is longer than a year, seasonal variation is very weak. In this regime, eastward jets are developed for ${\theta}$ < 54 deg and westward jets are developed for ${\theta}$ > 54 deg. These dynamical regimes are also applicable to the planets in eccentric orbits. The large effects of exoplanetary obliquities on circulation patterns might offer observational signatures, which will be investigated in Paper II of this study.


title: Atmospheres on Nonsynchronized Eccentric-tilted Exoplanets II: Thermal Light Curves

abstract: Thermal light-curve analysis is a powerful approach to probe the thermal structures of exoplanetary atmospheres, which are greatly influenced by the planetary obliquity and eccentricity. Here we investigate the thermal light curves of eccentric-tilted exoplanets across various radiative timescales, eccentricities, obliquities, and viewing geometries using results of shallow-water simulations presented in Ohno $\&$ Zhang (2019). We also achieve an analytical theory of the thermal light curve that can explain general trends in the light curves of tilted exoplanets. For tilted planets in circular orbits, the orbital phase of the flux peak is largely controlled by either the flux from the hot spot projected onto the orbital plane or the pole heated at the summer solstice, depending on the radiative timescale $\tau_{\rm rad}$, planetary day $P_{\rm orb}$, and obliquity $\theta$. We find that tilted planets potentially produce the flux peak after the secondary eclipse when obliquity is $\theta$ > 90 deg for the hot regime $\tau_{\rm rad}<P_{\rm rot}$, or $\theta>18$ deg for the cool regime ${\tau}_{\rm rad} > P_{\rm rot}$. For tilted planets in eccentric orbits, the shape of the light curve is considerably influenced by the heating at the periapse. The flux peak occurring after the secondary eclipse can be used to distinguish tilted planets from nontilted planets when the periapse takes place before the secondary eclipse. Our results could help to constrain exoplanet obliquities in future observations.


title: Enriched order polytopes and Enriched Hibi rings

abstract: Stanley introduced two classes of lattice polytopes associated to posets, which are called the order polytope ${\mathcal O}_P$ and the chain polytope ${\mathcal C}_P$ of a poset $P$. It is known that, given a poset $P$, the Ehrhart polynomials of ${\mathcal O}_P$ and ${\mathcal C}_P$ are equal to the order polynomial of $P$ that counts the $P$-partitions. In this paper, we introduce the enriched order polytope of a poset $P$ and show that it is a reflexive polytope whose Ehrhart polynomial is equal to that of the enriched chain polytope of $P$ and the left enriched order polynomial of $P$ that counts the left enriched $P$-partitions, by using the theory of Gr\"{o}bner bases. The toric rings of enriched order polytopes are called enriched Hibi rings. It turns out that enriched Hibi rings are normal, Gorenstein, and Koszul. The above result implies the existence of a bijection between the lattice points in the dilations of ${\mathcal O}^{(e)}_P$ and ${\mathcal C}^{(e)}_P$. Towards such a bijection, we give the facet representations of enriched order and chain polytopes.


title: Near-Unity Spin Hall Ratio in Ni$_x$Cu$_{1-x}$ Alloys

abstract: We report a large spin Hall effect in the 3$d$ transition metal alloy Ni$_x$Cu$_{1-x}$ for $x\in\left\{ 0.3,0.75\right\} $, detected via the ferromagnetic resonance of a Permalloy (Py = Ni$_{80}$Fe$_{20}$) film deposited in a bilayer with the alloy. A thickness series at $x$ = 0.6, for which the alloy is paramagnetic at room temperature, allows us to determine the spin Hall ratio $\theta_{\rm{SH}}\approx1$, spin diffusion length $\lambda_{\rm{s}}$, spin mixing conductance $G_{\uparrow\downarrow}$, and damping $\alpha_{\rm{SML}}$ due to spin memory loss . We compare our results with similar experiments on Py/Pt bilayers measured using the same method. Ab initio band structure calculations with disorder and spin-orbit coupling suggest an intrinsic spin Hall effect in Ni$_x$Cu$_{1-x}$ alloys, although the experiments here cannot distinguish between extrinsic and intrinsic mechanisms.


title: Randomized Discrete Empirical Interpolation Method for Nonlinear Model Reduction

abstract: Discrete empirical interpolation method (DEIM) is a popular technique for nonlinear model reduction and it has two main ingredients: an interpolating basis that is computed from a collection of snapshots of the solution and a set of indices which determine the nonlinear components to be simulated. The computation of these two ingredients dominates the overall cost of the DEIM algorithm. To specifically address these two issues, we present randomized versions of the DEIM algorithm. There are three main contributions of this paper. First, we use randomized range finding algorithms to efficiently find an approximate DEIM basis. Second, we develop randomized subset selection tools, based on leverage scores, to efficiently select the nonlinear components. Third, we develop several theoretical results that quantify the accuracy of the randomization on the DEIM approximation. We also present numerical experiments that demonstrate the benefits of the proposed algorithms.


title: Ground Plane based Absolute Scale Estimation for Monocular Visual Odometry

abstract: Recovering the absolute metric scale from a monocular camera is a challenging but highly desirable problem for monocular camera-based systems. By using different kinds of cues, various approaches have been proposed for scale estimation, such as camera height, object size etc. In this paper, firstly, we summarize different kinds of scale estimation approaches. Then, we propose a robust divide and conquer the absolute scale estimation method based on the ground plane and camera height by analyzing the advantages and disadvantages of different approaches. By using the estimated scale, an effective scale correction strategy has been proposed to reduce the scale drift during the Monocular Visual Odometry (VO) estimation process. Finally, the effectiveness and robustness of the proposed method have been verified on both public and self-collected image sequences.


title: Unsupervised Bi-directional Flow-based Video Generation from one Snapshot

abstract: Imagining multiple consecutive frames given one single snapshot is challenging, since it is difficult to simultaneously predict diverse motions from a single image and faithfully generate novel frames without visual distortions. In this work, we leverage an unsupervised variational model to learn rich motion patterns in the form of long-term bi-directional flow fields, and apply the predicted flows to generate high-quality video sequences. In contrast to the state-of-the-art approach, our method does not require external flow supervisions for learning. This is achieved through a novel module that performs bi-directional flows prediction from a single image. In addition, with the bi-directional flow consistency check, our method can handle occlusion and warping artifacts in a principled manner. Our method can be trained end-to-end based on arbitrarily sampled natural video clips, and it is able to capture multi-modal motion uncertainty and synthesizes photo-realistic novel sequences. Quantitative and qualitative evaluations over synthetic and real-world datasets demonstrate the effectiveness of the proposed approach over the state-of-the-art methods.


title: Non-Gaussian diffusion of mixed origins

abstract: The properties of diffusion processes are drastically affected by heterogeneities of the medium that can induce non-Gaussian behavior of the propagator in contrast with the idealized realm of Brownian motion. In this paper we analyze the diffusion propagator when distinct origins of heterogeneity (e.g. time-fractional diffusion, diffusing diffusivity, distributed diffusivity across a population) are combined. These combinations allow one to describe new classes of strongly heterogeneous processes relevant to biology. Based on a combined subordination technique, we obtain the exact propagator for different instructive examples. This approach is then used to calculate analytically the first-passage time statistics (on half-real line and in any bounded domain) for a particle undergoing non-Gaussian diffusion of mixed origins.


title: Weighted weak group inverse for Hilbert space operators

abstract: We present the weighted weak group inverse, which is a new generalized inverse of operators between two Hilbert spaces, introduced to extend weak group inverse for square matrices. Some characterizations and representations of the weighted weak group inverse are investigated. We also apply these results to define and study the weak group inverse for a Hilbert space operator. Using the weak group inverse, we define and characterize various binary relations.


title: Lower semicontinuity of ADM mass under intrinsic flat convergence

abstract: A natural question in mathematical general relativity is how the ADM mass behaves as a functional on the space of asymptotically flat 3-manifolds of nonnegative scalar curvature. In previous results, lower semicontinuity has been established by the first-named author for pointed $C^2$ convergence, and more generally by both authors for pointed $C^0$ convergence (all in the Cheeger--Gromov sense). In this paper, we show this behavior persists for the much weaker notion of pointed Sormani--Wenger intrinsic flat ($\mathcal{F}$) volume convergence, under natural hypotheses. We consider smooth manifolds converging to asymptotically flat local integral current spaces (a new definition), using Huisken's isoperimetric mass as a replacement for the ADM mass. Along the way we prove results of independent interest about convergence of subregions of $\mathcal{F}$-converging sequences of integral current spaces.


title: The Rigid Body Dynamics in an ideal fluid: Clebsch Top and Kummer surfaces

abstract: This is an expository presentation of a completely integrable Hamiltonian system of Clebsch top under a special condition introduced by Weber. After a brief account on the geometric setting of the system, the structure of the Poisson commuting first integrals is discussed following the methods by Magri and Skrypnyk. Introducing supplementary coordinates, a geometric connection to Kummer surfaces, a typical class of K3 surfaces, is mentioned and also the system is linearized on the Jacobian of a hyperelliptic curve of genus two determined by the system. Further some special solutions contained in some vector subspace are discussed. Finally, an explicit computation of the action-angle coordinates is introduced.


title: A note on some perfect fluid Kantowski-Sachs and Bianchi type III space-times and their conformal vector fields in f(R) theory of gravity

abstract: The purpose of this paper is to find conformal vector fields of some perfect fluid Kantowski-Sachs and Bianchi type III space-times in the f(R) theory of gravity using direct integration technique. In this study there exists only eight cases. Studying each case in detail, we found that in two cases proper conformal vector fields exist while in the rest of six cases conformal vector fields become Killing vector fields. The dimension of conformal vector fields is either 4 or 6.


title: 3D Graph Convolutional Networks with Temporal Graphs: A Spatial Information Free Framework For Traffic Forecasting

abstract: Spatio-temporal prediction plays an important role in many application areas especially in traffic domain. However, due to complicated spatio-temporal dependency and high non-linear dynamics in road networks, traffic prediction task is still challenging. Existing works either exhibit heavy training cost or fail to accurately capture the spatio-temporal patterns, also ignore the correlation between distant roads that share the similar patterns. In this paper, we propose a novel deep learning framework to overcome these issues: 3D Temporal Graph Convolutional Networks (3D-TGCN). Two novel components of our model are introduced. (1) Instead of constructing the road graph based on spatial information, we learn it by comparing the similarity between time series for each road, thus providing a spatial information free framework. (2) We propose an original 3D graph convolution model to model the spatio-temporal data more accurately. Empirical results show that 3D-TGCN could outperform state-of-the-art baselines.


title: Strong coupling between a plasmonic Fano resonance and anapole states in a metallic-dielectric antenna

abstract: In the quest to enhance light-matter interactions and miniaturize photonics devices, it is crucial to create a strong field enhancement with lower material losses. Here we combine a plasmonic Fano resonance supported by the silver cluster and anapole states realized by the silicon disk to create a larger field enhancement with less loss through a strong coupling effect. Besides, by varying the gap size we find that the resonances wavelength and the Rabi-splitting can be tuned over a wide range of wavelength, which can achieve a giant splitting energy over 300 meV. We further demonstrate that it is the interference of magnetic currents loops which induces the strong coupling. Due to the strong coupling, the hybrid antenna can provide both larger decay rate and radiative decay rate, which makes it promising for high-performance miniaturized optical devices.


title: Chaos in Magnetic Nanocontact Vortex Oscillators

abstract: We present an experimental study of spin-torque driven vortex self-oscillations in magnetic nanocontacts. We find that above a certain threshold in applied currents, the vortex gyration around the nanocontact is modulated by relaxation oscillations, which involve periodic reversals of the vortex core. This modulation leads to the appearance of commensurate but also more interestingly here, incommensurate states, which are characterized by devil's staircases in the modulation frequency. We use frequency- and time-domain measurements together with advanced time-series analyses to provide experimental evidence of chaos in incommensurate states of vortex oscillations, in agreement with theoretical predictions.


title: Modular specification of monads through higher-order presentations

abstract: In their work on second-order equational logic, Fiore and Hur have studied presentations of simply typed languages by generating binding constructions and equations among them. To each pair consisting of a binding signature and a set of equations, they associate a category of `models', and they give a monadicity result which implies that this category has an initial object, which is the language presented by the pair. In the present work, we propose, for the untyped setting, a variant of their approach where monads and modules over them are the central notions. More precisely, we study, for monads over sets, presentations by generating (`higher-order') operations and equations among them. We consider a notion of 2-signature which allows to specify a monad with a family of binding operations subject to a family of equations, as is the case for the paradigmatic example of the lambda calculus, specified by its two standard constructions (application and abstraction) subject to $\beta$- and $\eta$-equalities. Such a 2-signature is hence a pair $(\Sigma,E)$ of a binding signature $\Sigma$ and a family $E$ of equations for $\Sigma$. This notion of 2-signature has been introduced earlier by Ahrens in a slightly different context. We associate, to each 2-signature $(\Sigma,E)$, a category of `models of $(\Sigma,E)$; and we say that a 2-signature is `effective' if this category has an initial object; the monad underlying this (essentially unique) object is the `monad specified by the 2-signature'. Not every 2-signature is effective; we identify a class of 2-signatures, which we call `algebraic', that are effective. Importantly, our 2-signatures together with their models enjoy `modularity': when we glue (algebraic) 2-signatures together, their initial models are glued accordingly. We provide a computer formalization for our main results.


title: Pancreas segmentation with probabilistic map guided bi-directional recurrent UNet

abstract: Pancreas segmentation in medical imaging data is of great significance for clinical pancreas diagnostics and treatment. However, the large population variations in the pancreas shape and volume cause enormous segmentation difficulties, even for state-of-the-art algorithms utilizing fully-convolutional neural networks (FCNs). Specifically, pancreas segmentation suffers from the loss of spatial information in 2D methods, and the high computational cost of 3D methods. To alleviate these problems, we propose a probabilistic-map-guided bi-directional recurrent UNet (PBR-UNet) architecture, which fuses intra-slice information and inter-slice probabilistic maps into a local 3D hybrid regularization scheme, which is followed by bi-directional recurrent network optimization. The PBR-UNet method consists of an initial estimation module for efficiently extracting pixel-level probabilistic maps and a primary segmentation module for propagating hybrid information through a 2.5D U-Net architecture. Specifically, local 3D information is inferred by combining an input image with the probabilistic maps of the adjacent slices into multichannel hybrid data, and then hierarchically aggregating the hybrid information of the entire segmentation network. Besides, a bi-directional recurrent optimization mechanism is developed to update the hybrid information in both the forward and the backward directions. This allows the proposed network to make full and optimal use of the local context information. Quantitative and qualitative evaluation was performed on the NIH Pancreas-CT dataset, and our proposed PBR-UNet method achieved better segmentation results with less computational cost compared to other state-of-the-art methods.


title: Finite element convergence for state-based peridynamic fracture models

abstract: We establish the a-priori convergence rate for finite element approximations of a class of nonlocal nonlinear fracture models. We consider state based peridynamic models where the force at a material point is due to both the strain between two points and the change in volume inside the domain of nonlocal interaction. The pairwise interactions between points are mediated by a bond potential of multi-well type while multi point interactions are associated with volume change mediated by a hydrostatic strain potential. The hydrostatic potential can either be a quadratic function, delivering a linear force-strain relation, or a multi-well type that can be associated with material degradation and cavitation. We first show the well-posedness of the peridynamic formulation and that peridynamic evolutions exist in the Sobolev space $H^2$. We show that the finite element approximations converge to the $H^2$ solutions uniformly as measured in the mean square norm. For linear continuous finite elements the convergence rate is shown to be $C_t \Delta t + C_s h^2/\epsilon^2$, where $\epsilon$ is the size of horizon, $h$ is the mesh size, and $\Delta t$ is the size of time step. The constants $C_t$ and $C_s$ are independent of $\Delta t$ and $h$ and may depend on $\epsilon$ through the norm of the exact solution. We demonstrate the stability of the semi-discrete approximation. The stability of the fully discrete approximation is shown for the linearized peridynamic force. We present numerical simulations with dynamic crack propagation that support the theoretical convergence rate.