title: Ground state energy density, susceptibility, and Wilson ratio of a two-dimensional disordered quantum spin system

abstract: A two-dimensional (2D) spin-1/2 antiferromagnetic Heisenberg model with a specific kind of quenched disorder is investigated, using the first principles nonperturbative quantum Monte Carlo calculations (QMC). The employed disorder distribution has a tunable parameter $p$ which can be considered as a measure of the corresponding randomness. In particular, when $p=0$ the disordered system becomes the clean one. Through a large scale QMC, the dynamic critical exponents $z$, the ground state energy densities $E_0$, as well as the Wilson ratios $W$ of various $p$ are determined with high precision. Interestingly, we find that the $p$ dependence of $z$ and $W$ are likely to be complementary to each other. For instance, while the $z$ of $0.4 \le p \le 0.9$ match well among themselves and are statistically different from $z=1$ which corresponds to the clean system, the $W$ for $p < 0.7$ are in reasonable good agreement with that of $p=0$. The technical subtlety of calculating these physical quantities for a disordered system is demonstrated as well. The results presented here are not only interesting from a theoretical perspective, but also can serve as benchmarks for future related studies.


title: Dynamic Noise Embedding: Noise Aware Training and Adaptation for Speech Enhancement

abstract: Estimating noise information exactly is crucial for noise aware training in speech applications including speech enhancement (SE) which is our focus in this paper. To estimate noise-only frames, we employ voice activity detection (VAD) to detect non-speech frames by applying optimal threshold on speech posterior. Here, the non-speech frames can be regarded as noise-only frames in noisy signal. These estimated frames are used to extract noise embedding, named dynamic noise embedding (DNE), which is useful for an SE module to capture the characteristic of background noise. The DNE is extracted by a simple neural network, and the SE module with the DNE can be jointly trained to be adaptive to the environment. Experiments are conducted on TIMIT dataset for single-channel denoising task and U-Net is used as a backbone SE module. Experimental results show that the DNE plays an important role in the SE module by increasing the quality and the intelligibility of corrupted signal even if the noise is non-stationary and unseen in training. In addition, we demonstrate that the DNE can be flexibly applied to other neural network-based SE modules.


title: Unsupervised MRI Super-Resolution Using Deep External Learning and Guided Residual Dense Network with Multimodal Image Priors

abstract: Deep learning techniques have led to state-of-the-art image super resolution with natural images. Normally, pairs of high-resolution and low-resolution images are used to train the deep learning models. These techniques have also been applied to medical image super-resolution. The characteristics of medical images differ significantly from natural images in several ways. First, it is difficult to obtain high-resolution images for training in real clinical applications due to the limitations of imaging systems and clinical requirements. Second, other modal high-resolution images are available (e.g., high-resolution T1-weighted images are available for enhancing low-resolution T2-weighted images). In this paper, we propose an unsupervised image super-resolution technique based on simple prior knowledge of the human anatomy. This technique does not require target T2WI high-resolution images for training. Furthermore, we present a guided residual dense network, which incorporates a residual dense network with a guided deep convolutional neural network for enhancing the resolution of low-resolution images by referring to different modal high-resolution images of the same subject. Experiments on a publicly available brain MRI database showed that our proposed method achieves better performance than the state-of-the-art methods.


title: Time-based Sequence Model for Personalization and Recommendation Systems

abstract: In this paper we develop a novel recommendation model that explicitly incorporates time information. The model relies on an embedding layer and TSL attention-like mechanism with inner products in different vector spaces, that can be thought of as a modification of multi-headed attention. This mechanism allows the model to efficiently treat sequences of user behavior of different length. We study the properties of our state-of-the-art model on statistically designed data set. Also, we show that it outperforms more complex models with longer sequence length on the Taobao User Behavior dataset.


title: NBFTP: A Dedicated Data Transfer System for Remote Astronomical Observation at Dome A

abstract: Dome A, Antarctica has been thought to be one of the best astronomical sites on the earth since decades ago. From it was first visited by astronomers in 2008, dozens of facilities for astronomical observation and site testing were deployed. Due to its special geographical location, the data and message exchange between Dome A and the domestic control center could only depend on Iridium. Because the link bandwidth of Iridium is extremely limited, meanwhile the network traffic cost is quite expensive and the network is rather unstable, the commonly used data transfer tools, such as rsync and scp, are not suitable in this case. In this paper, we design and implement a data transfer tool called NBFTP (narrow bandwidth file transfer protocol) for the astronomical observation of Dome A. NBFTP uses a uniform interface to arrange all types of data and matches specific transmission schemes for different data types according to rules. Break-point resuming and extensibility functions are also implemented. Our experimental results show that NBFTP consumes 60% less network traffic than rsync when detecting the data pending to be transferred. And when transferring small files of 1KB, the network traffic consumption of NBFTP is 40% less than rsync. However, as the file size increases, the network traffic consumption of NBFTP tends to approach rsync, but it is still smaller than rsync.


title: Routing and Wavelength Assignment with Protection: A Quadratic Unconstrained Binary Optimization Approach

abstract: The routing and wavelength assignment with protection is an important problem in telecommunications. Given an optical network and incoming connection requests, a commonly studied variant of the problem aims to grant maximum number of requests by assigning lightpaths at minimum network resource usage level, while ensuring the provided services remain functional in case of a single-link failure through dedicated path protection. We consider a practically relevant version where alternative lightpaths for requests are assumed to be given as a precomputed set, and show that it is NP-hard. We formulate the problem as an integer programming (IP) model, and also use it as a foundation to develop a novel quadratic unconstrained binary optimization (QUBO) model, which can be both directly solved by a state-of-the-art solver like GUROBI. We present necessary and sufficient conditions on objective function parameters to prioritize request granting objective over wavelength-link usage for both models, and a sufficient condition to ensure the exactness of the QUBO model. Moreover, we implement a problem-specific branch-and-cut algorithm for the IP model, and employ a new quantum-inspired technology, Digital Annealer (DA), for the QUBO model. We conduct computational experiments on a large suite of instances that are hard to optimally solve in order to assess the efficiency and efficacy of all of these approaches as well as a problem-specific heuristic. The results show that the emerging technology DA outperforms the considered established techniques coupled with GUROBI, in finding mostly significantly better or as good solutions in only two minutes compared to two hours of run time, whereas the problem-specific heuristic fails to be competitive.


title: Algorithmic Approaches to Reconfigurable Assembly Systems

abstract: Assembly of large scale structural systems in space is understood as critical to serving applications that cannot be deployed from a single launch. Recent literature proposes the use of discrete modular structures for in-space assembly and relatively small scale robotics that are able to modify and traverse the structure. This paper addresses the algorithmic problems in scaling reconfigurable space structures built through robotic construction, where reconfiguration is defined as the problem of transforming an initial structure into a different goal configuration. We analyze different algorithmic paradigms and present corresponding abstractions and graph formulations, examining specialized algorithms that consider discretized space and time steps. We then discuss fundamental design trades for different computational architectures, such as centralized versus distributed, and present two representative algorithms as concrete examples for comparison. We analyze how those algorithms achieve different objective functions and goals, such as minimization of total distance traveled, maximization of fault-tolerance, or minimization of total time spent in assembly. This is meant to offer an impression of algorithmic constraints on scalability of corresponding structural and robotic design. From this study, a set of recommendations is developed on where and when to use each paradigm, as well as implications for physical robotic and structural system design.


title: A classification theorem for compact Cauchy horizons in vacuum spacetimes

abstract: We establish a complete classification theorem for the topology and for the null generators of compact non-degenerate Cauchy horizons of time orientable smooth vacuum $3+1$-spacetimes. We show that, either: (i) all generators are closed, or (ii) only two generators are closed and any other densely fills a two-torus, or (iii) every generator densely fills a two-torus, or (iv) every generator densely fills the horizon. We then show that, respectively to (i)-(iv), the horizon's manifold is either: (i') a Seifert manifold, or (ii') a lens space, or (iii') a two-torus bundle over a circle, or, (iv') a three-torus. All the four possibilities are known to arise in examples. In the last case, (iv), (iv'), we show in addition that the spacetime is indeed flat Kasner, thus settling a problem posed by Isenberg and Moncrief for ergodic horizons. The results of this article open the door for a full parameterization of the metrics of all vacuum spacetimes with a compact Cauchy horizon. The method of proof permits direct generalizations to higher dimensions.


title: Galois ring isomorphism problem

abstract: Recently, Dor\"oz et al. (2017) proposed a new hard problem, called the finite field isomorphism problem, and constructed a fully homomorphic encryption scheme based on this problem. In this paper, we generalize the problem to the case of Galois rings, resulting in the Galois ring isomorphism problem. The generalization is achieved by lifting the isomorphism between the corresponding residue fields. As a result, this generalization allows us to construct cryptographic primitives over the ring of integers modulo a prime power, instead of a large prime number.


title: Quantum illumination receiver using double homodyne detection

abstract: A quantum receiver is an essential element of quantum illumination (QI) which outperforms its classical counterpart, called classical-illumination (CI). However, there are only few proposals for realizable quantum receiver, which exploits nonlinear effects leading to increasing the complexity of receiver setups. To compensate this, in this article, we design a quantum receiver with linear optical elements for Gaussian QI. Rather than exploiting nonlinear effect, our receiver consists of a 50:50 beam splitter and homodyne detection. Using double homodyne detection after the 50:50 beam splitter, we analyze the performance of the QI in different regimes of target reflectivity, source power, and noise level. We show that our receiver has better signal-to-noise ratio and more robust against noise than the existing simple-structured receivers.


title: Proximity-induced hidden order transition in a correlated heterostructure Sr$_2$VO$_3$FeAs

abstract: Symmetry is one of the most significant concepts in physics, and its importance has been largely manifested in phase transitions by its spontaneous breaking. In strongly correlated systems, however, mysterious and enigmatic phase transitions, inapplicable of the symmetry description, have been discovered and often dubbed hidden order transitions, as found in, $\it{e.g.}$, high-$T_C$ cuprates, heavy fermion superconductors, and quantum spin liquid candidates. Here, we report a new type of hidden order transition in a correlated heterostructure Sr$_2$VO$_3$FeAs, whose origin is attributed to an unusually enhanced Kondo-type proximity coupling between localized spins of V and itinerant electrons of FeAs. Most notably, a fully isotropic gap opening, identified by angle-resolved photoemission spectroscopy, occurs selectively in one of the Fermi surfaces below $T_{\rm HO}$ $\sim$ 150 K, associated with a singular behavior of the specific heat and a strong enhancement on the anisotropic magnetoresistance. These observations are incompatible with the prevalent broken-symmetry-driven scenarios of electronic gap opening and highlight a critical role of proximity coupling. Our findings demonstrate that correlated heterostructures offer a novel platform for design and engineering of exotic hidden order phases.


title: Identifying microlensing events using neural networks

abstract: Current gravitational microlensing surveys are observing hundreds of millions of stars in the Galactic bulge - which makes finding rare microlensing events a challenging tasks. In almost all previous works, microlensing events have been detected either by applying very strict selection cuts or manually inspecting tens of thousands of light curves. However, the number of microlensing events expected in the future space-based microlensing experiments forces us to consider fully-automated approaches. They are especially important for selecting binary-lens events that often exhibit complex light curve morphologies and are otherwise difficult to find. There are no dedicated selection algorithms for binary-lens events in the literature, which hampers their statistical studies. Here, we present two simple neural-network-based classifiers for detecting single and binary microlensing events. We demonstrate their robustness using OGLE-III and OGLE-IV data sets and show they perform well on microlensing events detected in data from the Zwicky Transient Facility (ZTF). Classifiers are able to correctly recognize ~98% of single-lens events and 80-85% of binary-lens events.

categories: astro-ph.IM astro-ph.EP astro-ph.SR cs.LG


title: Spatiotemporal Modelling of Multi-Gateway LoRa Networks with Imperfect SF Orthogonality

abstract: Meticulous modelling and performance analysis of Low-Power Wide-Area (LPWA) networks are essential for large scale dense Internet-of-Things (IoT) deployments. As Long Range (LoRa) is currently one of the most prominent LPWA technologies, we propose in this paper a stochastic-geometry-based framework to analyse the uplink transmission performance of a multi-gateway LoRa network modelled by a Matern Cluster Process (MCP). The proposed model is first to consider all together the multi-cell topology, imperfect spreading factor (SF) orthogonality, random start times, and geometric data arrival rates. Accounting for all of these factors, we initially develop the SF-dependent collision overlap time function for any start time distribution. Then, we analyse the Laplace transforms of intra-cluster and inter-cluster interference, and formulate the uplink transmission success probability. Through simulation results, we highlight the vulnerability of each SF to interference, illustrate the impact of parameters such as the network density, and the power allocation scheme on the network performance. Uniquely, our results shed light on when it is better to activate adaptive power mechanisms, as we show that an SF-based power allocation that approximates LoRa ADR, negatively impacts nodes near the cluster head. Moreover, we show that the interfering SFs degrading the performance the most depend on the decoding threshold range and the power allocation scheme.


title: Attribute-guided image generation from layout

abstract: Recent approaches have achieved great success in image generation from structured inputs, e.g., semantic segmentation, scene graph or layout. Although these methods allow specification of objects and their locations at image-level, they lack the fidelity and semantic control to specify visual appearance of these objects at an instance-level. To address this limitation, we propose a new image generation method that enables instance-level attribute control. Specifically, the input to our attribute-guided generative model is a tuple that contains: (1) object bounding boxes, (2) object categories and (3) an (optional) set of attributes for each object. The output is a generated image where the requested objects are in the desired locations and have prescribed attributes. Several losses work collaboratively to encourage accurate, consistent and diverse image generation. Experiments on Visual Genome dataset demonstrate our model's capacity to control object-level attributes in generated images, and validate plausibility of disentangled object-attribute representation in the image generation from layout task. Also, the generated images from our model have higher resolution, object classification accuracy and consistency, as compared to the previous state-of-the-art.


title: Open is not forever: a study of vanished open access journals

abstract: The preservation of the scholarly record has been a point of concern since the beginning of knowledge production. With print publications, the responsibility rested primarily with librarians, but the shift toward digital publishing and, in particular, the introduction of open access (OA) have caused ambiguity and complexity. Consequently, the long-term accessibility of journals is not always guaranteed, and they can even disappear from the web completely. The focus of this exploratory study is on the phenomenon of vanished journals, something that has not been carried out before. For the analysis, we consulted several major bibliographic indexes, such as Scopus, Ulrichsweb, and the Directory of Open Access Journals, and traced the journals through the Internet Archive's Wayback Machine. We found 174 OA journals that, through lack of comprehensive and open archives, vanished from the web between 2000 and 2019, spanning all major research disciplines and geographic regions of the world. Our results raise vital concern for the integrity of the scholarly record and highlight the urgency to take collaborative action to ensure continued access and prevent the loss of more scholarly knowledge. We encourage those interested in the phenomenon of vanished journals to use the public dataset for their own research.


title: Phase space trajectories in quantum mechanics

abstract: An adapted representation of quantum mechanics sheds new light on the relationship between quantum states and classical states. In this approach the space of quantum states splits into a product of the state space of classical mechanics and a Hilbert space, and expectation values of observables decompose into their classical value plus a quantum correction. The splitting is preserved under time evolution of the Schr\"odinger equation under certain assumptions, and the time evolution of the classical part of a quantum state is governed by Hamilton's equation. The new representation is obtained from the usual Hilbert space representation of quantum mechanics by introducing a gauge degree of freedom in a time-dependent unitary transformation, followed by a non-conventional gauge fixing condition.


title: Mixed Noise Removal with Pareto Prior

abstract: Denoising images contaminated by the mixture of additive white Gaussian noise (AWGN) and impulse noise (IN) is an essential but challenging problem. The presence of impulsive disturbances inevitably affects the distribution of noises and thus largely degrades the performance of traditional AWGN denoisers. Existing methods target to compensate the effects of IN by introducing a weighting matrix, which, however, is lack of proper priori and thus hard to be accurately estimated. To address this problem, we exploit the Pareto distribution as the priori of the weighting matrix, based on which an accurate and robust weight estimator is proposed for mixed noise removal. Particularly, a relatively small portion of pixels are assumed to be contaminated with IN, which should have weights with small values and then be penalized out. This phenomenon can be properly described by the Pareto distribution of type 1. Therefore, armed with the Pareto distribution, we formulate the problem of mixed noise removal in the Bayesian framework, where nonlocal self-similarity priori is further exploited by adopting nonlocal low rank approximation. Compared to existing methods, the proposed method can estimate the weighting matrix adaptively, accurately, and robust for different level of noises, thus can boost the denoising performance. Experimental results on widely used image datasets demonstrate the superiority of our proposed method to the state-of-the-arts.


title: Messiaen et les math\'ematiques

abstract: We review some of Olivier Messiaen's use of mathematics in his composition and his theoretical writings. The final version of this paper appeared in the book Twentieth-Century Music and Mathematics, R. Illiano (ed.), Brepols, Turnhout, 2019.


title: Core-structure and lattice resistance of twinning dislocations in fcc metals

abstract: Metals with fcc structure may exhibit deformation twinning under specific conditions, which is an interesting but somewhat elusive aspect of their deformation behavior. It is well acknowledged that the phenomenon occurs through the activities of twinning partial dislocations. However, the lack of a comprehensive understanding of their fundamental properties obstructs the development of detailed multiscale models of crystal plasticity in the fcc metals. Here we explore the core-structures and lattice friction of twinning partials through atomistically informed numerical modeling. To this end, we choose four fcc crystals with widely differing stacking fault energies. Using the semi-discrete variational Peierls Nabarro model, we compute the core-widths and Peierls stresses of edge and screw twinning dislocations. Apart from the conventional layer-by-layer model of twin nucleation, the recently proposed alternate-shear model has also been examined. In the latter case, a negative stable fault energy has been observed, which is large enough to overcome the Peierls barrier. This study also highlights the significance of incorporating the surface correction, the absence of which leads to an overestimation of the intrinsic lattice resistance of the twinning dislocations.


title: Highly transparent contacts to the 1D hole gas in ultra-scaled Ge/Si core/shell nanowires

abstract: Semiconductor-superconductor hybrid systems have outstanding potential for emerging high-performance nanoelectronics and quantum devices. However, critical to their successful application is the fabrication of high-quality and reproducible semiconductor-superconductor interfaces. Here, we realize and measure axial Al-Ge-Al nanowire heterostructures with atomically precise interfaces, enwrapped by an ultrathin epitaxial Si layer further denoted as Al-Ge/Si-Al nanowire heterostructures. The heterostructures were synthesized by a thermally induced exchange reaction of single-crystalline Ge/Si core/shell nanowires and lithographically defined Al contact pads. Applying this heterostructure formation scheme enables self-aligned quasi one-dimensional crystalline Al leads contacting ultrascaled Ge/Si segments with contact transparencies greater than 96%. Integration into back-gated field-effect devices and continuous scaling beyond lithographic limitations allows us to exploit the full potential of the highly transparent contacts to the 1D hole gas at the Ge-Si interface. This leads to the observation of ballistic transport as well as quantum confinement effects up to temperatures of 150 K. Low-temperature measurements reveal proximity-induced superconductivity in the Ge/Si core/shell nanowires. The realization of a Josephson field-effect transistor allows us to study the subgap structure caused by multiple Andreev reflections. Most importantly, the absence of a quantum dot regime indicates a hard superconducting gap originating from the highly transparent contacts to the 1D hole gas, which is potentially interesting for the study of Majorana zero modes. Moreover, underlining the importance of the proposed thermally induced Al-Ge/Si-Al heterostructure formation technique, our system could contribute to the development of key components of quantum computing such as gatemon or transmon qubits


title: Persistence of preys in a diffusive three species predator-prey system with a pair of strong-weak competing preys

abstract: We investigate the traveling wave solutions of a three-species system involving a single predator and a pair of strong-weak competing preys. Our results show how the predation may affect this dynamics. More precisely, we describe several situations where the environment is initially inhabited by the predator and by either one of the two preys. When the weak competing prey is an aboriginal species, we show that there exist traveling waves where the strong prey invades the environment and either replaces its weak counterpart, or more surprisingly the three species eventually co-exist. Furthermore, depending on the parameters, we can also construct traveling waves where the weaker prey actually invades the environment initially inhabited by its strong competitor and the predator. Finally, our results on the existence of traveling waves are sharp, in the sense that we find the minimal wave speed in all those situations.


title: Relation/Entity-Centric Reading Comprehension

abstract: Constructing a machine that understands human language is one of the most elusive and long-standing challenges in artificial intelligence. This thesis addresses this challenge through studies of reading comprehension with a focus on understanding entities and their relationships. More specifically, we focus on question answering tasks designed to measure reading comprehension. We focus on entities and relations because they are typically used to represent the semantics of natural language.


title: Searching for $\gamma$-ray emission from LOTAAS pulsars

abstract: The LOw-Frequency ARray (LOFAR) has recently conducted a survey (LOFAR Tied-Array All-sky Survey; LOTAAS) for pulsars in the Northern hemisphere that resulted in discoveries of 73 new pulsars. For the purpose of studying the properties of these pulsars, we search for their $\gamma$-ray counterparts using the all-sky survey data obtained with the Large Area Telescope (LAT) onboard the Fermi Gamma-Ray Space Telescope (Fermi).We analyze the LAT data for 70 LOTAAS pulsars (excluding two millisecond pulsars and one with the longest known spin period of 23.5s). We find one candidate counterpart to PSRJ1017$+$30, which should be searched for the $\gamma$-ray pulsation signal once its timing solution is available. For other LOTAAS pulsars, we derive their 0.3--500GeV flux upper limits. In order to compare the LOTAAS pulsars with the known $\gamma$-ray pulsars, we also derive the 0.3--500GeV $\gamma$-ray fluxes for 112 of the latter contained in the Fermi LAT fourth source catalog.Based on the properties of the $\gamma$-ray pulsars, we derive upper limits on the spin-down luminosities of the LOTAAS pulsars. The upper limits are not very constraining but help suggest that most of the LOTAAS pulsars probably have $< 10^{33}$erg s$^{-1}$ spin-down luminosities and are not expected to be detectable with Fermi LAT.


title: Integrated Planning of a Solar/Storage Collective

abstract: French regulation allows consumers in low-voltage networks to form collectives to produce, share, and consume local energy under the collective self-consumption framework. A natural consequence of collectively-owned generation projects is the need to allocate production among consumers. In long-term plans, production allocation determines each of the consumers' benefits of joining the collective. In the short-term, energy should be dynamically allocated to reflect operation. This paper presents a framework that integrates long and short-term planning of a collective that shares a solar plus energy storage system. In the long-term planning stage, we maximize the collective's welfare and equitably allocate expected energy to each consumer. For operation, we propose a model predictive control algorithm that minimizes short-term costs and allocates energy to each consumer on a 30-minute basis (as required by French regulation). We adjust the energy allotment ex-post operation to reflect the materialization of uncertainty. We present a case study where we showcase the framework for a 15 consumer collective.


title: The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom

abstract: Robin Hirsch posed in 1996 the 'Really Big Complexity Problem': classify the computational complexity of the network satisfaction problem for all finite relation algebras A. We provide a complete classification for the case that A is symmetric and has a flexible atom; in this case, the problem is NP-complete or in P. The classification task can be reduced to the case where A is integral. If a finite integral relation algebra has a flexible atom, then it has a normal representation B. We can then study the computational complexity of the network satisfaction problem of A using the universal-algebraic approach, via an analysis of the polymorphisms of B. We also use a Ramsey-type result of Ne\v{s}et\v{r}il and R\"odl and a complexity dichotomy result of Bulatov for conservative finite-domain constraint satisfaction problems.


title: A Consistent Diffusion-Based Algorithm for Semi-Supervised Classification on Graphs

abstract: Semi-supervised classification on graphs aims at assigning labels to all nodes of a graph based on the labels known for a few nodes, called the seeds. The most popular algorithm relies on the principle of heat diffusion, where the labels of the seeds are spread by thermo-conductance and the temperature of each node is used as a score function for each label. Using a simple block model, we prove that this algorithm is not consistent unless the temperatures of the nodes are centered before classification. We show that this simple modification of the algorithm is enough to get significant performance gains on real data.


title: Moderately Supervised Learning: Definition, Framework and Generality

abstract: Learning with supervision has achieved remarkable success in numerous artificial intelligence (AI) applications. In the current literature, by referring to the properties of the labels prepared for the training dataset, learning with supervision is categorized as supervised learning (SL) and weakly supervised learning (WSL). SL concerns the situation where the training data set is assigned with ideal (complete, exact and accurate) labels, while WSL concerns the situation where the training data set is assigned with non-ideal (incomplete, inexact or inaccurate) labels. However, various solutions for SL tasks have shown that the given labels are not always easy to learn, and the transformation from the given labels to easy-to-learn targets can significantly affect the performance of the final SL solutions. Without considering the properties of the transformation from the given labels to easy-to-learn targets, the definition of SL conceals some details that can be critical to building the appropriate solutions for specific SL tasks. Thus, for engineers in the AI application field, it is desirable to reveal these details systematically. This article attempts to achieve this goal by expanding the categorization of SL and investigating the sub-type moderately supervised learning (MSL) that concerns the situation where the given labels are ideal, but due to the simplicity in annotation, careful designs are required to transform the given labels into easy-to-learn targets. From the perspectives of the definition, framework and generality, we conceptualize MSL to present a complete fundamental basis to systematically analyse MSL tasks. At meantime, revealing the relation between the conceptualization of MSL and the mathematicians' vision, this paper as well establishes a tutorial for AI application engineers to refer to viewing a problem to be solved from the mathematicians' vision.


title: Unsupervised Surgical Instrument Segmentation via Anchor Generation and Semantic Diffusion

abstract: Surgical instrument segmentation is a key component in developing context-aware operating rooms. Existing works on this task heavily rely on the supervision of a large amount of labeled data, which involve laborious and expensive human efforts. In contrast, a more affordable unsupervised approach is developed in this paper. To train our model, we first generate anchors as pseudo labels for instruments and background tissues respectively by fusing coarse handcrafted cues. Then a semantic diffusion loss is proposed to resolve the ambiguity in the generated anchors via the feature correlation between adjacent video frames. In the experiments on the binary instrument segmentation task of the 2017 MICCAI EndoVis Robotic Instrument Segmentation Challenge dataset, the proposed method achieves 0.71 IoU and 0.81 Dice score without using a single manual annotation, which is promising to show the potential of unsupervised learning for surgical tool segmentation.


title: The kh{\^o}ra and the two-triangle universe of Plato's Timaeus

abstract: The main purpose of this article is to try to understand the connection between the physical universe and the mathematical principles that underlies the cosmological account of the Timaeus. Aristotle's common criticism of Plato's cosmology is that he confuses mathematical and physical constructions. Namely, the Timaeus is the first cosmology founded on mathematical physics. We give a new translation of Timaeus 31b-32b, an important passage to understand the connection between mathematics and physics in Timaeus' cosmological construction. This article is the first of a series about the kh{\^o}ra. We will restrict our focus here to the much-debated question of the primary elements in the kh{\^o}ra, the components of the whole physical world reduced, in an extraordinary elegant construction, to two right triangles.


title: Neutron-rich calcium isotopes within realistic Gamow shell model calculations with continuum coupling

abstract: Based on the realistic nuclear force of the high-precision CD-Bonn potential, we have performed comprehensive calculations for neutron-rich calcium isotopes using the Gamow shell model (GSM) which includes resonance and continuum. The realistic GSM calculations produce well binding energies, one- and two-neutron separation energies, predicting that $^{57}$Ca is the heaviest bound odd isotope and $^{70}$Ca is the dripline nucleus. Resonant states are predicted, which provides useful information for future experiments on particle emissions in neutron-rich calcium isotopes. Shell evolutions in the calcium chain around neutron numbers \textit{N} = 32, 34 and 40 are understood by calculating effective single-particle energies, the excitation energies of the first $2^+$ states and two-neutron separation energies. The calculations support shell closures at $^{52}$Ca (\textit{N} = 32) and $^{54}$Ca (\textit{N} = 34) but show a weakening of shell closure at $^{60}$Ca (\textit{N} = 40). The possible shell closure at $^{70}$Ca (\textit{N} = 50) is predicted.


title: Radio Frequency Interference Mitigation based on the ArPLS and SumThreshold Method

abstract: As radio telescopes become sensitive, radio frequency interference (RFI) is more and more serious for interesting signals of radio astronomy. There exist demands for developing an automatic, accurate and efficient RFI mitigation method. Therefore, this work investigated the RFI detection algorithm. Firstly, we introduced an Asymmetrically Reweighted Penalized Least Squares (ArPLS) method to estimate baseline more accurately. After removing the estimated baseline, several novel strategies were proposed based on the SumThreshold algorithm for detecting different types of RFI. The threshold parameter in the SumThreshold can be determined automatically and adaptively. The adaptiveness is essential for reducing human interventions and the online RFI processing pipeline. Applications to FAST (Five-hundred-meter Aperture Spherical Telescope) data show that the proposed scheme based on the ArPLS and SumThreshold is superior to some typically available methods for RFI detection with respect to efficiency and performance.


title: Large-Scale and Robust Multifunctional Vertically-Aligned MoS$_2$ Photo-Memristors

abstract: Memristive devices have drawn considerable research attention due to their potential applications in non-volatile memory and neuromorphic computing. The combination of resistive switching devices with light-responsive materials is considered a novel way to integrate optical information with electrical circuitry. On the other hand, 2D materials have attracted substantial consideration thank to their unique crystal structure, as reflected in their chemical and physical properties. Although not the major focus, van der Waals solids were proven to be potential candidates in memristive devices. In this scheme, the majority of the resistive switching devices were implemented on planar flakes, obtained by mechanical exfoliation. Here we utilize a facile and robust methodology to grow large-scale vertically aligned MoS$_2$ (VA-MoS$_2$) films on standard silicon substrates. Memristive devices with the structure silver/VA-MoS$_2$/Si are shown to have low set-ON voltages (<0.5V), large-retention times ($>2\times10^4$ s) and high thermal stability (up to 350 $^\circ$C). The proposed memristive device also exhibits long term potentiation / depression (LTP/LTD) and photo-active memory states. The large-scale fabrication, together with the low operating voltages, high thermal stability, light-responsive behaviour and long-term potentiation/depression, makes this approach very appealing for real-life non-volatile memory applications.


title: Complex and Quaternionic Cauchy formulas in Koch snowflakes

abstract: In this paper we derive a Cauchy integral formula for holomorphic and hyperholomorphic functions in domains bounded by a Koch snowflake in two and three dimensional setting.


title: The effects of granulation and supergranulation on Earth-mass planet detectability in the habitable zone around F6-K4 stars

abstract: The detectability of exoplanets and the determination of their projected mass in radial velocity are affected by stellar magnetic activity and photospheric dynamics. The effect of granulation, and even more so of supergranulation, has been shown to be significant in the solar case. Our study is aimed at quantifying the impact of these flows for other stars and estimating how such contributions affect their performance. We analysed a broad array of extended synthetic time series that model these processes for main sequence stars with spectral types from F6 to K4, focusing on Earth-mass planets orbiting within the habitable zone around those stars. We estimated the expected detection rates and detection limits, and performed blind tests. We find that both granulation and supergranulation on these stars significantly affect planet mass characterisation in radial velocity when performing a follow-up of a transit detection, with uncertainties sometimes below 20% for a 1 MEarth, but much larger for supergranulation. For granulation and low levels of supergranulation, the detection rates are good for K and late G stars (if the number of points is large), but poor for more massive stars. The highest level of supergranulation leads to a very poor performance, even for K stars; this is both due to low detection rates and to high levels of false positives, even for a very dense temporal sampling over ten years. False positive levels estimated from standard false alarm probabilities sometimes significantly overestimate or underestimate the true level, depending on the number of points. We conclude that granulation and supergranulation significantly affect the performance of exoplanet detectability. Future works will focus on improving the following aspects: decreasing the number of false positives, increasing detection rates, and improving the false alarm probability estimations from observations.


title: Optical second and third harmonic generation on excitons in ZnSe/BeTe quantum wells

abstract: Optical harmonic generation on excitons is found in ZnSe/BeTe quantum wells with type-II band alignment. Two experimental approaches with spectrally-broad femtosecond laser pulses and spectrally-narrow picosecond pulses are used for spectroscopic studies by means of second and third harmonic generation (SHG and THG). The SHG signal is symmetry-forbidden for light propagation along the structure's growth axis, which is the [001] crystal axis, but can be induced by an external magnetic field. The THG signal is detected at zero magnetic field and its intensity is field independent. A group theory analysis of SHG and THG rotational anisotropy diagrams allows us to identify the involved excitation mechanisms.


title: Surgical Skill Assessment on In-Vivo Clinical Data via the Clearness of Operating Field

abstract: Surgical skill assessment is important for surgery training and quality control. Prior works on this task largely focus on basic surgical tasks such as suturing and knot tying performed in simulation settings. In contrast, surgical skill assessment is studied in this paper on a real clinical dataset, which consists of fifty-seven in-vivo laparoscopic surgeries and corresponding skill scores annotated by six surgeons. From analyses on this dataset, the clearness of operating field (COF) is identified as a good proxy for overall surgical skills, given its strong correlation with overall skills and high inter-annotator consistency. Then an objective and automated framework based on neural network is proposed to predict surgical skills through the proxy of COF. The neural network is jointly trained with a supervised regression loss and an unsupervised rank loss. In experiments, the proposed method achieves 0.55 Spearman's correlation with the ground truth of overall technical skill, which is even comparable with the human performance of junior surgeons.


title: Non-unitary dynamics of Sachdev-Ye-Kitaev chain

abstract: We construct a series of one-dimensional non-unitary dynamics consisting of both unitary and imaginary evolutions based on the Sachdev-Ye-Kitaev model. Starting from a short-range entangled state, we analyze the entanglement dynamics using the path integral formalism in the large $N$ limit. Among all the results that we obtain, two of them are particularly interesting: (1) By varying the strength of the imaginary evolution, the interacting model exhibits a first order phase transition from the highly entangled volume law phase to an area law phase; (2) The one-dimensional free fermion model displays an extensive critical regime with emergent two-dimensional conformal symmetry.


title: Scrutinizing Vacuum Stability in IDM with Type-III Inverse seesaw

abstract: We consider the extension of the Standard Model (SM) with an inert Higgs doublet that also contains two or three sets of $SU(2)_L$ triplet fermions with hypercharge zero and analyze the stability of electroweak vacuum for the scenarios. The model represents a Type-III inverse seesaw mechanism for neutrino mass generation with a Dark matter candidate.An effective potential approach calculation with two-loop beta function have been carried out in deciding the fate of the electroweak vacuum. Weak gauge coupling $g_2$ shows a different behaviour as compared to the Standard Model. The modified running of $g_2$, along with the Higgs quartic coupling and Type-III Yukawa couplings become crucial in determining the stability of electroweak vacuum. The interplay between two and three generations of such triplet fermions reveals that extensions with two generations is favoured if we aspire for Planck scale stability. Bounds on the Higgs quartic couplings, Type-III Yukawa and number of triplet fermion generations are drawn for different mass scale of Type-III fermions. The phenomenologies of inert doublet and Type-III fermions at the LHC and other experiments are commented upon.


title: Analytical and statistical properties of local depth functions motivated by clustering applications

abstract: Local general depth ($LGD$) functions are used for describing the local geometric features and mode(s) in multivariate distributions. In this paper, we undertake a rigorous systematic study of $LGD$ and establish several analytical and statistical properties. First, we show that, when the underlying probability distribution is absolutely continuous with density $f(\cdot)$, the scaled version of $LGD$ (referred to as $\tau$-approximation) converges, uniformly and in $L^d(\mathbb{R}^p)$ to $f(\cdot)$ when $\tau$ converges to zero. Second, we establish that, as the sample size diverges to infinity the centered and scaled sample $LGD$ converge in distribution to a centered Gaussian process uniformly in the space of bounded functions on $\mathcal{H}_G$, a class of functions yielding $LGD$. Third, using the sample version of the $\tau$-approximation ($S \tau A$) and the gradient system analysis, we develop a new clustering algorithm. The validity of this algorithm requires several results concerning the uniform finite difference approximation of the gradient system associated with $S \tau A$. For this reason, we establish \emph{Bernstein}-type inequality for deviations between the centered and scaled sample $LGD$, which is also of independent interest. Finally, invoking the above results, we establish consistency of the clustering algorithm. Applications of the proposed methods to mode estimation and upper level set estimation are also provided. Finite sample performance of the methodology are evaluated using numerical experiments and data analysis.


title: Computational Models of Human Decision-Making with Application to the Internet of Everything

abstract: The concept of the Internet of Things (IoT) first appeared a few decades ago. Today, by the ubiquitous wireless connectivity, the boost of machine learning and artificial intelligence, and the advances in big data analytics, it is safe to say that IoT has evolved to a new concept called the Internet of Everything (IoE) or the Internet of All. IoE has four pillars: Things, human, data, and processes, which render it as an inhomogeneous large-scale network. A crucial challenge of such a network is to develop management, analysis, and optimization policies that besides utility-maximizer machines, also take irrational humans into account. We discuss several networking applications in which appropriate modeling of human decision-making is vital. We then provide a brief review of computational models of human decision-making. Based on one such model, we develop a solution for a task offloading problem in fog computing and we analyze the implications of including humans in the loop.


title: The challenges of Scheduling and Resource Allocation in IEEE 802.11ad/ay

abstract: The IEEE 802.11ad WiFi amendment enables short-range multi-gigabit communications in the unlicensed 60~GHz spectrum, unlocking new interesting applications such as wireless Augmented and Virtual Reality. The characteristics of the mmWave band and directional communications allow increasing the system throughput by scheduling pairs of nodes with low cross-interfering channels in the same time-frequency slot. On the other hand, this requires significantly more signaling overhead. Furthermore, IEEE 802.11ad introduces a hybrid MAC characterized by two different channel access mechanisms: contention-based and contention-free access periods. The coexistence of both access period types and the directionality typical of mmWave increase the channel access and scheduling complexity in IEEE 802.11ad compared to previous WiFi versions. Hence, to provide the Quality of Service (QoS) performance required by demanding applications, a proper resource scheduling mechanism that takes into account both directional communications and the newly added features of this WiFi amendment is needed. In this paper, we present a brief but comprehensive review of the open problems and challenges associated with channel access in IEEE 802.11ad and propose a workflow to tackle them via both heuristic and learning-based methods.


title: Giant deformations and soft-inflation in LCE balloons

abstract: We propose that ballooning can be controlled, enriched and amplified by using rubbery networks of aligned molecular rods known as liquid crystal elastomers (LCEs). Firstly, LCEs are promising artificial muscles, showing large spontaneous deformations in response to heat and light. In LCE balloons, spontaneous deformations can trigger classic ballooning, either as phase-separation (at constant volume) or a volume jump (at constant pressure), resulting in greatly magnified actuation strains. Secondly, even at constant temperature, LCEs have unusual mechanics augmented by soft-modes of deformation in which the nematic director rotates within the elastomer. These soft modes enrich the mechanics of LCE balloons, which can also "balloon" between rotated and unrotated states, either during the classic instability, or as a separate pre-cursor, leading to successive instabilities during inflation.


title: Multi-task deep CNN model for no-reference image quality assessment on smartphone camera photos

abstract: Smartphone is the most successful consumer electronic product in today's mobile social network era. The smartphone camera quality and its image post-processing capability is the dominant factor that impacts consumer's buying decision. However, the quality evaluation of photos taken from smartphones remains a labor-intensive work and relies on professional photographers and experts. As an extension of the prior CNN-based NR-IQA approach, we propose a multi-task deep CNN model with scene type detection as an auxiliary task. With the shared model parameters in the convolution layer, the learned feature maps could become more scene-relevant and enhance the performance. The evaluation result shows improved SROCC performance compared to traditional NR-IQA methods and single task CNN-based models.


title: Modelling the influence of progressive social awareness, lockdown and anthropogenic migration on the dynamics of an epidemic

abstract: The basic Susceptible-Infected-Recovered (SIR) model is extended to include effects of progressive social awareness, lockdowns and anthropogenic migration. It is found that social awareness can effectively contain the spread by lowering the basic reproduction rate $R_0$. Interestingly, the awareness is found to be more effective in a society which can adopt the awareness faster compared to the one having a slower response. The paper also separates the mortality fraction from the clinically recovered fraction and attempts to model the outcome of lockdowns, in absence and presence of social awareness. It is seen that staggered exits from lockdowns are not only economically beneficial but also helps to curb the infection spread. Moreover, a staggered exit strategy with progressive social awareness is found to be the most efficient intervention. The paper also explores the effects of anthropogenic migration on the dynamics of the epidemic in a two-zone scenario. The calculations yield dissimilar evolution of different fractions in different zones. Such models can be convenient to strategize the division of a large zone into smaller sub-zones for a disproportionate imposition of lockdown, or, an exit from one. Calculations are done with parameters consistent with the SARS-COV-2 pathogen in the Indian context.


title: Influence of the vicinal substrate miscut on the anisotropic two-dimensional electronic transport in Al2O3-SrTiO3 heterostructures

abstract: The electrical resistance of the two-dimensional electron system (2DES) which forms at the interface of SrTiO3 (STO)-based heterostructures displays anisotropic transport with respect to the direction of current flow at low temperature. We have investigated the influence of terraces at the surface of STO substrates from which the 2DES are prepared. Such terraces are always present in commercially available STO substrates due to the tolerance of surface preparation which result in small miscut angles of the order of gamma ~ 0.1{\deg} with respect to the surface normal. By a controlled increase of the substrate miscut we could systematically reduce the width of the terraces and thereby increase the density of substrate surface steps. The in-plane anisotropy of the electrical resistance was studied as a function of the miscut angle gamma and found to be mainly related to interfacial scattering arising from the substrate surface steps. However, the influence of gamma was notably reduced by the occurrence of step-bunching and lattice-dislocations in the STO substrate material. Magnetoresistance (MR) depends on the current orientation as well, reflecting the anisotropy of carrier mobility. For gamma >= 2{\deg}, MR is substantially enhanced and shows the trend towards a linear field dependence which is typical for inhomogeneous conductors. From weak-antilocalization observed at small magnetic field we deduce information on inelastic scattering and spin-orbit coupling. While the field scale associated with a Rashba-type spin-orbit coupling in 2D weak-localization does not show a pronounced correlation with gamma, distinct changes of the scale are associated with inelastic scattering.


title: On the High Accuracy Limitation of Adaptive Property Estimation

abstract: Recent years have witnessed the success of adaptive (or unified) approaches in estimating symmetric properties of discrete distributions, where one first obtains a distribution estimator independent of the target property, and then plugs the estimator into the target property as the final estimator. Several such approaches have been proposed and proved to be adaptively optimal, i.e. they achieve the optimal sample complexity for a large class of properties within a low accuracy, especially for a large estimation error $\varepsilon\gg n^{-1/3}$ where $n$ is the sample size. In this paper, we characterize the high accuracy limitation, or the penalty for adaptation, for all such approaches. Specifically, we show that under a mild assumption that the distribution estimator is close to the true sorted distribution in expectation, any adaptive approach cannot achieve the optimal sample complexity for every $1$-Lipschitz property within accuracy $\varepsilon \ll n^{-1/3}$. In particular, this result disproves a conjecture in [Acharya et al. 2017] that the profile maximum likelihood (PML) plug-in approach is optimal in property estimation for all ranges of $\varepsilon$, and confirms a conjecture in [Han and Shiragur, 2021] that their competitive analysis of the PML is tight.


title: Constraining the transient high-energy activity of FRB180916.J0158+65 with Insight-HXMT followup observations

abstract: A link between magnetars and fast radio burst (FRB) sources has finally been established. In this context, one of the open issues is whether/which sources of extra galactic FRBs exhibit X/gamma-ray outbursts and whether it is correlated with radio activity. We aim to constrain possible X/gamma-ray burst activity from one of the nearest extragalactic FRB sources currently known over a broad energy range, by looking for bursts over a range of timescales and energies that are compatible with being powerful flares from extragalactic magnetars. We followed up the as-yet nearest extragalactic FRB source at a mere 149 Mpc distance, the periodic repeater FRB180916.J0158+65, during the active phase on February 4-7, 2020, with the Insight-Hard X-ray Modulation Telescope (HXMT). Taking advantage of the combination of broad band, large effective area, and several independent detectors available, we searched for bursts over a set of timescales from 1 ms to 1.024 s with a sensitive algorithm, that had previously been characterised and optimised. Moreover, through simulations we studied the sensitivity of our technique in the released energy-duration phase space for a set of synthetic flares and assuming different energy spectra. We constrain the possible occurrence of flares in the 1-100 keV energy band to E<10^46 erg for durations <0.1 s over several tens of ks exposure. We can rule out the occurrence of giant flares similar to the ones that were observed in the few cases of Galactic magnetars. The absence of reported radio activity during our observations does not allow us to make any statements on the possible simultaneous high-energy emission.


title: Adaptive directional Haar tight framelets on bounded domains for digraph signal representations

abstract: Based on hierarchical partitions, we provide the construction of Haar-type tight framelets on any compact set $K\subseteq \mathbb{R}^d$. In particular, on the unit block $[0,1]^d$, such tight framelets can be built to be with adaptivity and directionality. We show that the adaptive directional Haar tight framelet systems can be used for digraph signal representations. Some examples are provided to illustrate results in this paper.


title: Molecular Simulation of Electrode-Solution Interfaces

abstract: Many key industrial processes, from electricity production, conversion and storage to electrocatalysis or electrochemistry in general, rely on physical mechanisms occurring at the interface between a metallic electrode and an electrolyte solution, summarized by the concept of electric double layer, with the accumulation/depletion of electrons on the metal side and of ions on the liquid side. While electrostatic interactions play an essential role on the structure, thermodynamics, dynamics and reactivity of electrode-electrolyte interfaces, these properties also crucially depend on the nature of the ions and solvent, as well as that of the metal itself. Such interfaces pose many challenges for modeling, because they are a place where Quantum Chemistry meets Statistical Physics. In the present review, we explore the recent advances on the description and understanding of electrode-electrolyte interfaces with classical molecular simulations, with a focus on planar interfaces and solvent-based liquids, from pure solvent to water-in-salt-electrolytes.


title: A Hilbert scheme of radius two

abstract: We give an explicit example of a Hilbert scheme whose incidence graph has radius two.


title: Stochastic approximation of CVaR-based variational inequalities

abstract: In this paper we study variational inequalities (VI) defined by the conditional value-at-risk (CVaR) of uncertain functions. We introduce stochastic approximation schemes that employ an empirical estimate of the CVaR at each iteration to solve these VIs. We investigate convergence of these algorithms under various assumptions on the monotonicity of the VI and accuracy of the CVaR estimate. Our first algorithm is shown to converge to the exact solution of the VI when the estimation error of the CVaR becomes progressively smaller along any execution of the algorithm. When the estimation error is nonvanishing, we provide two algorithms that provably converge to a neighborhood of the solution of the VI. For these schemes, under strong monotonicity, we provide an explicit relationship between sample size, estimation error, and the size of the neighborhood to which convergence is achieved. A simulation example illustrates our theoretical findings.


title: Improvement of a dedicated model for open domain persona-aware dialogue generation

abstract: This paper analyzes some speed and performance improvement methods of Transformer architecture in recent years, mainly its application in dedicated model training. The dedicated model studied here refers to the open domain persona-aware dialogue generation model, and the dataset is multi turn short dialogue, The total length of a single input sequence is no more than 105 tokens. Therefore, many improvements in the architecture and attention mechanism of transformer architecture for long sequence processing are not discussed in this paper. The source code of the experiments has been open sourced: https://github.com/ghosthamlet/persona


title: Reflection of Electrons during Tunneling and an Intersubband Polaron in the 2D Electron System of a Delta-Layer in GaAs

abstract: Al-$\delta$-GaAs structures are studied where tunneling to one or more subbands of the 2D electron system of a near-surface delta-doped layer is observed. Reflection of electrons at the threshold of the emission of LO-phonon is observed. This phenomenon occurs when a new subband is involved in the tunneling process and when intersubband transitions of the electrons in a 2D-system with the emission of LO-phonon are added to the inelastic tunneling within a single subband. It is shown that, under the conditions of an intersubband polaron resonance, the reflection processes dominate during tunneling into the delta-layer. If, however, tunneling from the delta-layer occurs, the reflection processes are observed when two subbands are occupied.


title: Opinion-aware Answer Generation for Review-driven Question Answering in E-Commerce

abstract: Product-related question answering (QA) is an important but challenging task in E-Commerce. It leads to a great demand on automatic review-driven QA, which aims at providing instant responses towards user-posted questions based on diverse product reviews. Nevertheless, the rich information about personal opinions in product reviews, which is essential to answer those product-specific questions, is underutilized in current generation-based review-driven QA studies. There are two main challenges when exploiting the opinion information from the reviews to facilitate the opinion-aware answer generation: (i) jointly modeling opinionated and interrelated information between the question and reviews to capture important information for answer generation, (ii) aggregating diverse opinion information to uncover the common opinion towards the given question. In this paper, we tackle opinion-aware answer generation by jointly learning answer generation and opinion mining tasks with a unified model. Two kinds of opinion fusion strategies, namely, static and dynamic fusion, are proposed to distill and aggregate important opinion information learned from the opinion mining task into the answer generation process. Then a multi-view pointer-generator network is employed to generate opinion-aware answers for a given product-related question. Experimental results show that our method achieves superior performance in real-world E-Commerce QA datasets, and effectively generate opinionated and informative answers.


title: Long-distance heat transfer between molecular systems through a hybrid plasmonic-photonic nanoresonator

abstract: We introduce a hybrid plasmonic-photonic cavity setup that can be used to induce and control long-distance heat transfer between molecular systems through optomechanical interactions. The structure consists of two separated plasmonic nanoantennas coupled to a dielectric cavity. The hybrid modes of this resonator can combine the large optomechanical coupling of the sub-wavelength plasmonic modes with the large quality factor and delocalized character of the cavity mode that extends over a large distance ($\sim\mu$m). We show that this can lead to effective long-range heat transport between molecular vibrations that can be actively controlled through an external driving laser.


title: Performance of superadiabatic stimulated Raman adiabatic passage in the presence of dissipation and Ornstein-Uhlenbeck dephasing

abstract: In this paper we evaluate the performance of two superadiabatic stimulated Raman adiabatic passage (STIRAP) protocols derived from Gaussian and sin-cos pulses, under dissipation and Ornstein-Uhlenbeck noise in the energy levels. We find that for small amplitudes of Stokes and pump pulses, the population transfer is mainly achieved directly through the counterdiabatic pulse, while for large amplitudes the conventional STIRAP path dominates. This kind of "hedging" leads to a remarkable robustness against dissipation in the lossy intermediate state. For small pulse amplitudes and increasing noise correlation time the performance is decreased, since the dominant counterdiabatic pulse is affected more, while for large pulse amplitudes, where the STIRAP path dominates, the efficiency is degraded more for intermediate correlation times (compared to the pulse duration). For the Gaussian superadiabatic STIRAP protocol we also investigate the effect of delay between pump and Stokes pulses and find that under the presence of noise the performance is improved for increasing delay. We conclude that the Gaussian protocol with suitably chosen delay and the sin-cos protocol perform quite well even under severe noise conditions. The present work is expected to have a broad spectrum of applications, since STIRAP has a crucial role in modern quantum technology.


title: Duality bounds for discrete-time Zames-Falb multipliers

abstract: We develop phase limitations for the discrete-time Zames-Falb multipliers based on the separation theorem for Banach spaces. By contrast with their continuous-time counterparts they lead to numerically efficient results that can be computed either in closed form or via a linear program. The closed-form phase limitations are tight in the sense that we can construct multipliers that meet them with equality. We discuss numerical examples where the limitations are stronger than others in the literature. The numerical results complement searches for multipliers in the literature; they allow us to show, by construction, that the set of plants for which a suitable Zames-Falb multiplier exists is non-convex.


title: Visual Question Answering on Image Sets

abstract: We introduce the task of Image-Set Visual Question Answering (ISVQA), which generalizes the commonly studied single-image VQA problem to multi-image settings. Taking a natural language question and a set of images as input, it aims to answer the question based on the content of the images. The questions can be about objects and relationships in one or more images or about the entire scene depicted by the image set. To enable research in this new topic, we introduce two ISVQA datasets - indoor and outdoor scenes. They simulate the real-world scenarios of indoor image collections and multiple car-mounted cameras, respectively. The indoor-scene dataset contains 91,479 human annotated questions for 48,138 image sets, and the outdoor-scene dataset has 49,617 questions for 12,746 image sets. We analyze the properties of the two datasets, including question-and-answer distributions, types of questions, biases in dataset, and question-image dependencies. We also build new baseline models to investigate new research challenges in ISVQA.


title: Edge and Identity Preserving Network for Face Super-Resolution

abstract: Face super-resolution (SR) has become an indispensable function in security solutions such as video surveillance and identification system, but the distortion in facial components is a great challenge in it. Most state-of-the-art methods have utilized facial priors with deep neural networks. These methods require extra labels, longer training time, and larger computation memory. In this paper, we propose a novel Edge and Identity Preserving Network for Face SR Network, named as EIPNet, to minimize the distortion by utilizing a lightweight edge block and identity information. We present an edge block to extract perceptual edge information, and concatenate it to the original feature maps in multiple scales. This structure progressively provides edge information in reconstruction to aggregate local and global structural information. Moreover, we define an identity loss function to preserve identification of SR images. The identity loss function compares feature distributions between SR images and their ground truth to recover identities in SR images. In addition, we provide a luminance-chrominance error (LCE) to separately infer brightness and color information in SR images. The LCE method not only reduces the dependency of color information by dividing brightness and color components but also enables our network to reflect differences between SR images and their ground truth in two color spaces of RGB and YUV. The proposed method facilitates the proposed SR network to elaborately restore facial components and generate high quality 8x scaled SR images with a lightweight network structure. Furthermore, our network is able to reconstruct an 128x128 SR image with 215 fps on a GTX 1080Ti GPU. Extensive experiments demonstrate that our network qualitatively and quantitatively outperforms state-of-the-art methods on two challenging datasets: CelebA and VGGFace2.


title: Wi-Fi All-Channel Analyzer

abstract: In this paper, we present WACA, the first system to simultaneously measure the energy in all 24 Wi-Fi channels that allow channel bonding at 5 GHz with microsecond scale granularity. With WACA, we perform a first-of-its-kind measurement campaign in areas including urban hotspots, residential neighborhoods, universities, and a sold-out stadium with 98,000 fans and 12,000 simultaneous Wi-Fi connections. The gathered dataset is a unique asset to find insights otherwise not possible in the context of multi-channel technologies like Wi-Fi. To show its potential, we compare the performance of contiguous and non-contiguous channel bonding using a trace-driven framework. We show that while non-contiguous outperforms contiguous channel bonding's throughput, occasionally bigger by a factor of 5, their average throughputs are similar.


title: Multimodal Learning for Cardiovascular Risk Prediction using EHR Data

abstract: Electronic health records (EHRs) contain structured and unstructured data of significant clinical and research value. Various machine learning approaches have been developed to employ information in EHRs for risk prediction. The majority of these attempts, however, focus on structured EHR fields and lose the vast amount of information in the unstructured texts. To exploit the potential information captured in EHRs, in this study we propose a multimodal recurrent neural network model for cardiovascular risk prediction that integrates both medical texts and structured clinical information. The proposed multimodal bidirectional long short-term memory (BiLSTM) model concatenates word embeddings to classical clinical predictors before applying them to a final fully connected neural network. In the experiments, we compare performance of different deep neural network (DNN) architectures including convolutional neural network and long short-term memory in scenarios of using clinical variables and chest X-ray radiology reports. Evaluated on a data set of real world patients with manifest vascular disease or at high-risk for cardiovascular disease, the proposed BiLSTM model demonstrates state-of-the-art performance and outperforms other DNN baseline architectures.


title: Near- and Far-Field Excitation of Topological Plasmonic Metasurfaces

abstract: The breathing honeycomb lattice hosts a topologically non-trivial bulk phase due to the crystalline-symmetry of the system. Pseudospin-dependent edge states which emerge at the interface between trivial and non-trivial regions can be used for directional propagation of energy. Using the plasmonic metasurface as an example system, we probe these states in the near and far-field using a semi-analytical model. We give the conditions under which directionality is observed and show that it is source position dependent. By probing with circularly-polarized magnetic dipoles out of the plane, we first characterize modes along the interface in terms of the enhancement of source emission due to the metasurface. We then excite from the far-field with non-zero orbital angular momentum beams. The position dependent directionality holds true for all classical wave systems with a breathing honeycomb lattice. Our results show that a metasurface in combination with a chiral two-dimensional material could be used to guide light effectively on the nanoscale.


title: A new perspective on flux and slope limiting in discontinuous Galerkin methods for hyperbolic conservation laws

abstract: In this work, we discuss and develop multidimensional limiting techniques for discontinuous Galerkin (DG) discretizations of scalar hyperbolic problems. To ensure that each cell average satisfies a local discrete maximum principle (DMP), we impose inequality constraints on the local Lax-Friedrichs fluxes of a piecewise-linear (P1) approximation. Since the piecewise-constant (P0) version corresponds to a property-preserving low-order finite volume method, the validity of DMP conditions can always be enforced using slope and/or flux limiters. We show that the (currently rather uncommon) use of direct flux limiting makes it possible to construct more accurate DMP-satisfying approximations in which a weak form of slope limiting is used to prevent unbounded growth of solution gradients. Moreover, both fluxes and slopes can be limited in a manner which produces nonlinear problems with well-defined residuals even at steady state. We derive/present slope limiters based on different kinds of inequality constraints, discuss their properties and introduce new anisotropic limiters for problems that require different treatment of different space directions. At the flux limiting stage, the anisotropy of the problem at hand can be taken into account by using a customized definition of local bounds for the DMP constraints. At the slope limiting stage, we adjust the magnitude of individual directional derivatives using low-order reconstructions from cell averages to define the bounds. In this way, we avoid unnecessary limiting of well-resolved derivatives at smooth peaks and in internal/boundary layers. The properties of selected algorithms are explored in numerical studies for DG-P1 discretizations of two-dimensional test problems. In the context of hp-adaptive DG methods, the new limiting procedures can be used in P1 subcells of macroelements marked as `troubled' by a smoothness indicator.


title: Lattice strain accommodation and absence of pre-transition phases in Ni$_{50}$Mn$_{25+x}$In$_{25-x}$

abstract: The stoichiometric Ni$_{50}$Mn$_{25}$In$_{25}$ Heusler alloy transforms from a stable ferromagnetic austenitic ground state to an incommensurate modulated martensitic ground state with a progressive replacement of In with Mn without any pre-transition phases. The absence of pre-transition phases like strain glass in Ni$_{50}$Mn$_{25+x}$In$_{25-x}$ alloys is explained to be the ability of the ferromagnetic cubic structure to accommodate the lattice strain caused by atomic size differences of In and Mn atoms. Beyond the critical value of $x$ = 8.75, the alloys undergo martensitic transformation despite the formation of ferromagnetic and antiferromagnetic clusters and the appearance of a super spin glass state.


title: Deformations of Strong K\"ahler with torsion metrics

abstract: Existence of strong K\"ahler with torsion metrics, shortly SKT metrics, on complex manifolds has been shown to be unstable under small deformations. We find necessary conditions under which the property of being SKT is stable for a smooth curve of Hermitian metrics $\{\omega_t\}_t$ which equals a fixed SKT metric $\omega$ for $t=0$, along a differentiable family of complex manifolds $\{M_t\}_t$.


title: General scaling laws of space charge effects in field emission

abstract: The characteristics of field electron and ion emission change when the space charge formed by the emitted charge is sufficient to suppress the extracting electric field. This phenomenon is well described for planar emitting diodes by the one dimensional (1D) theory. Here we generalize for any 3D geometry by deriving the scaling laws describing the field suppression in the weak space charge regime. We propose a novel corrected equivalent planar diode model, which describes the space charge effects for any geometry in terms of the 1D theory, utilizing a correction factor that adjusts the diode's scaling characteristics. We then develop a computational method, based on the Particle-In-Cell technique, which solves numerically the space charge problem. We validate our theory by comparing it to both our numerical calculations and existing experimental data, either of which can be used to obtain the geometrical correction factor of the corrected equivalent planar diode model.


title: Estimating Uniqueness of I-Vector Representation of Human Voice

abstract: We study the individuality of the human voice with respect to a widely used feature representation of speech utterances, namely, the i-vector model. As a first step toward this goal, we compare and contrast uniqueness measures proposed for different biometric modalities. Then, we introduce a new uniqueness measure that evaluates the entropy of i-vectors while taking into account speaker level variations. Our measure operates in the discrete feature space and relies on accurate estimation of the distribution of i-vectors. Therefore, i-vectors are quantized while ensuring that both the quantized and original representations yield similar speaker verification performance. Uniqueness estimates are obtained from two newly generated datasets and the public VoxCeleb dataset. The first custom dataset contains more than one and a half million speech samples of 20,741 speakers obtained from TEDx Talks videos. The second one includes over twenty one thousand speech samples from 1,595 actors that are extracted from movie dialogues. Using this data, we analyzed how several factors, such as the number of speakers, number of samples per speaker, sample durations, and diversity of utterances affect uniqueness estimates. Most notably, we determine that the discretization of i-vectors does not cause a reduction in speaker recognition performance. Our results show that the degree of distinctiveness offered by i-vector-based representation may reach 43-70 bits considering 5-second long speech samples; however, under less constrained variations in speech, uniqueness estimates are found to reduce by around 30 bits. We also find that doubling the sample duration increases the distinctiveness of the i-vector representation by around 20 bits.


title: Query Focused Multi-document Summarisation of Biomedical Texts

abstract: This paper presents the participation of Macquarie University and the Australian National University for Task B Phase B of the 2020 BioASQ Challenge (BioASQ8b). Our overall framework implements Query focused multi-document extractive summarisation by applying either a classification or a regression layer to the candidate sentence embeddings and to the comparison between the question and sentence embeddings. We experiment with variants using BERT and BioBERT, Siamese architectures, and reinforcement learning. We observe the best results when BERT is used to obtain the word embeddings, followed by an LSTM layer to obtain sentence embeddings. Variants using Siamese architectures or BioBERT did not improve the results.


title: Microscopic and Macroscopic Traffic Flow Models including Random Accidents

abstract: We introduce microscopic and macroscopic stochastic traffic models including traffic accidents. The microscopic model is based on a Follow-the-Leader approach whereas the macroscopic model is described by a scalar conservation law with space dependent flux function. Accidents are introduced as interruptions of a deterministic evolution and are directly linked to the traffic situation. Based on a Lax-Friedrichs discretization convergence of the microscopic model to the macroscopic model is shown. Numerical simulations are presented to compare the above models and show their convergence behaviour.


title: Cloze Test Helps: Effective Video Anomaly Detection via Learning to Complete Video Events

abstract: As a vital topic in media content interpretation, video anomaly detection (VAD) has made fruitful progress via deep neural network (DNN). However, existing methods usually follow a reconstruction or frame prediction routine. They suffer from two gaps: (1) They cannot localize video activities in a both precise and comprehensive manner. (2) They lack sufficient abilities to utilize high-level semantics and temporal context information. Inspired by frequently-used cloze test in language study, we propose a brand-new VAD solution named Video Event Completion (VEC) to bridge gaps above: First, we propose a novel pipeline to achieve both precise and comprehensive enclosure of video activities. Appearance and motion are exploited as mutually complimentary cues to localize regions of interest (RoIs). A normalized spatio-temporal cube (STC) is built from each RoI as a video event, which lays the foundation of VEC and serves as a basic processing unit. Second, we encourage DNN to capture high-level semantics by solving a visual cloze test. To build such a visual cloze test, a certain patch of STC is erased to yield an incomplete event (IE). The DNN learns to restore the original video event from the IE by inferring the missing patch. Third, to incorporate richer motion dynamics, another DNN is trained to infer erased patches' optical flow. Finally, two ensemble strategies using different types of IE and modalities are proposed to boost VAD performance, so as to fully exploit the temporal context and modality information for VAD. VEC can consistently outperform state-of-the-art methods by a notable margin (typically 1.5%-5% AUROC) on commonly-used VAD benchmarks. Our codes and results can be verified at github.com/yuguangnudt/VEC_VAD.


title: GraphFederator: Federated Visual Analysis for Multi-party Graphs

abstract: This paper presents GraphFederator, a novel approach to construct joint representations of multi-party graphs and supports privacy-preserving visual analysis of graphs. Inspired by the concept of federated learning, we reformulate the analysis of multi-party graphs into a decentralization process. The new federation framework consists of a shared module that is responsible for joint modeling and analysis, and a set of local modules that run on respective graph data. Specifically, we propose a federated graph representation model (FGRM) that is learned from encrypted characteristics of multi-party graphs in local modules. We also design multiple visualization views for joint visualization, exploration, and analysis of multi-party graphs. Experimental results with two datasets demonstrate the effectiveness of our approach.


title: Neural Learning of One-of-Many Solutions for Combinatorial Problems in Structured Output Spaces

abstract: Recent research has proposed neural architectures for solving combinatorial problems in structured output spaces. In many such problems, there may exist multiple solutions for a given input, e.g. a partially filled Sudoku puzzle may have many completions satisfying all constraints. Further, we are often interested in finding any one of the possible solutions, without any preference between them. Existing approaches completely ignore this solution multiplicity. In this paper, we argue that being oblivious to the presence of multiple solutions can severely hamper their training ability. Our contribution is two fold. First, we formally define the task of learning one-of-many solutions for combinatorial problems in structured output spaces, which is applicable for solving several problems of interest such as N-Queens, and Sudoku. Second, we present a generic learning framework that adapts an existing prediction network for a combinatorial problem to handle solution multiplicity. Our framework uses a selection module, whose goal is to dynamically determine, for every input, the solution that is most effective for training the network parameters in any given learning iteration. We propose an RL based approach to jointly train the selection module with the prediction network. Experiments on three different domains, and using two different prediction networks, demonstrate that our framework significantly improves the accuracy in our setting, obtaining up to 21 pt gain over the baselines.


title: Smooth approximations and their applications to homotopy types

abstract: Let $M, N$ the be smooth manifolds, $\mathcal{C}^{r}(M,N)$ the space of ${C}^{r}$ maps endowed with weak $C^{r}$ Whitney topology, and $\mathcal{B} \subset \mathcal{C}^{r}(M,N)$ an open subset. It is proved that for $0\leq r<s\leq\infty$ the inclusion $\mathcal{B} \cap \mathcal{C}^{s}(M,N) \subset \mathcal{B}$ is a weak homotopy equivalence. It is also established a parametrized variant of such a result. In particular, it is shown that for a compact manifold $M$, the inclusion of the space of $\mathcal{C}^{s}$ isotopies $[0,1]\times M \to M$ fixed near $\{0,1\}\times M$ into the space of loops $\Omega(\mathcal{D}^{r}(M), \mathrm{id}_{M})$ of the group of $\mathcal{C}^{r}$ diffeomorphisms of $M$ at $\mathrm{id}_{M}$ is a weak homotopy equivalence.


title: Mapping nanoscale charge states and phase domains with quantitative hyperspectral coherent diffractive imaging spectroscopy

abstract: The critical properties of functional materials and nanoscale devices often originate from the coexistence of different thermodynamic phases and / or oxidization states, but sample makeup is seldom completely known a priori. Coherent diffractive imaging (CDI) provides the spatial resolution needed to observe nanoscale coexistence while returning the full amplitude and phase information of an object, but to date lacks the spectral information necessary for composition identification. Here we demonstrate CDI spectroscopy (CDIS), acquiring images of the prototypical quantum material vanadium oxide across the vanadium L2,3 and oxygen K X-ray absorption edges with nanometer scale resolution. Using the hyperspectral X-ray image we show coexistence of multiple oxidization states and phases in a single sample and extract the full complex refractive index of V2O5 and the monoclinic insulating and rutile conducting phases of VO2. These results constrain the role of hidden phases in the insulator-to-metal transition in VO2.


title: Fiber-integrated microcavities for efficient generation of coherent acoustic phonons

abstract: Coherent phonon generation by optical pump-probe experiments has enabled the study of acoustic properties at the nanoscale in planar heterostructures, plasmonic resonators, micropillars and nanowires. Focalizing both pump and probe on the same spot of the sample is a critical part of pump-probe experiments. This is particularly relevant in the case of small objects. The main practical challenges for the actual implementation of this technique are: stability of the spatio-temporal overlap, reproducibility of the focalization and optical mode matching conditions. In this work, we solve these three challenges for the case of planar and micropillar optophononic cavities. We integrate the studied samples to single mode fibers lifting the need for focusing optics to excite and detect coherent acoustic phonons. The resulting excellent reflectivity contrast of at least 66% achieved in our samples allows us to observe stable coherent phonon signals over at least a full day and signals at extremely low excitation powers of 1uW. The monolithic sample structure is transportable and could provide a means to perform reproducible plug-and-play experiments.


title: Data-driven filtering for linear systems using Set Membership multistep predictors

abstract: This paper presents a novel data-driven, direct filtering approach for unknown linear time-invariant systems affected by unknown-but-bounded measurement noise. The proposed technique combines independent multistep prediction models, identified resorting to the Set Membership framework, to refine a set that is guaranteed to contain the true system output. The filtered output is then computed as the central value in such a set. By doing so, the method achieves an accurate output filtering and provides tight and minimal error bounds with respect to the true system output. To attain these results, the online solution of linear programs is required. A modified filtering approach with lower online computational cost is also presented, obtained by moving the solution of the optimization problems to an offline preliminary phase, at the cost of larger accuracy bounds. The performance of the proposed approaches are evaluated and compared with those of standard model-based filtering techniques in a numerical example.


title: A Flexible Selection Scheme for Minimum-Effort Transfer Learning

abstract: Fine-tuning is a popular way of exploiting knowledge contained in a pre-trained convolutional network for a new visual recognition task. However, the orthogonal setting of transferring knowledge from a pretrained network to a visually different yet semantically close source is rarely considered: This commonly happens with real-life data, which is not necessarily as clean as the training source (noise, geometric transformations, different modalities, etc.). To tackle such scenarios, we introduce a new, generalized form of fine-tuning, called flex-tuning, in which any individual unit (e.g. layer) of a network can be tuned, and the most promising one is chosen automatically. In order to make the method appealing for practical use, we propose two lightweight and faster selection procedures that prove to be good approximations in practice. We study these selection criteria empirically across a variety of domain shifts and data scarcity scenarios, and show that fine-tuning individual units, despite its simplicity, yields very good results as an adaptation technique. As it turns out, in contrast to common practice, rather than the last fully-connected unit it is best to tune an intermediate or early one in many domain-shift scenarios, which is accurately detected by flex-tuning.


title: Demonstration of Dissipative Quasihelical Edge Transport in Quantum Anomalous Hall Insulators

abstract: Doping a topological insulator (TI) film with transition metal ions can break its time-reversal symmetry and lead to the realization of the quantum anomalous Hall (QAH) effect. Prior studies have shown that the longitudinal resistance of the QAH samples usually does not vanish when the Hall resistance shows a good quantization. This has been interpreted as a result of the presence of possible dissipative conducting channels in magnetic TI samples. By studying the temperature- and magnetic field-dependence of the magnetoresistance of a magnetic TI sandwich heterostructure device, we demonstrate that the predominant dissipation mechanism in thick QAH insulators can switch between non-chiral edge states and residual bulk states in different magnetic field regimes. The interactions between bulk states, chiral edge states, and non-chiral edge states are also investigated. Our study provides a way to distinguish between the dissipation arising from the residual bulk states and non-chiral edge states, which is crucial for achieving true dissipationless transport in QAH insulators and for providing deeper insights into QAH-related phenomena.


title: Pleiotropy robust methods for multivariable Mendelian randomization

abstract: Mendelian randomization is a powerful tool for inferring the presence, or otherwise, of causal effects from observational data. However, the nature of genetic variants is such that pleiotropy remains a barrier to valid causal effect estimation. There are many options in the literature for pleiotropy robust methods when studying the effects of a single risk factor on an outcome. However, there are few pleiotropy robust methods in the multivariable setting, that is, when there are multiple risk factors of interest. In this paper we introduce three methods which build on common approaches in the univariable setting: MVMR-Robust; MVMR-Median; and MVMR-Lasso. We discuss the properties of each of these methods and examine their performance in comparison to existing approaches in a simulation study. MVMR-Robust is shown to outperform existing outlier robust approaches when there are low levels of pleiotropy. MVMR-Lasso provides the best estimation in terms of mean squared error for moderate to high levels of pleiotropy, and can provide valid inference in a three sample setting. MVMR-Median performs well in terms of estimation across all scenarios considered, and provides valid inference up to a moderate level of pleiotropy. We demonstrate the methods in an applied example looking at the effects of intelligence, education and household income on the risk of Alzheimer's disease.


title: Characterization of exact one-query quantum algorithms (ii): for partial functions

abstract: The query model (or black-box model) has attracted much attention from the communities of both classical and quantum computing. Usually, quantum advantages are revealed by presenting a quantum algorithm that has a better query complexity than its classical counterpart. For example, the well-known quantum algorithms including Deutsch-Jozsa algorithm, Simon algorithm and Grover algorithm all show a considerable advantage of quantum computing from the viewpoint of query complexity. Recently we have considered in (Phys. Rev. A. {\bf 101}, 02232 (2020)) the problem: what functions can be computed by an exact one-query quantum algorithm? This problem has been addressed for total Boolean functions but still open for partial Boolean functions. Thus, in this paper we continue to characterize the computational power of exact one-query quantum algorithms for partial Boolean functions by giving several necessary and sufficient conditions. By these conditions, we construct some new functions that can be computed exactly by one-query quantum algorithms but have essential difference from the already known ones. Note that before our work, the known functions that can be computed by exact one-query quantum algorithms are all symmetric functions, whereas the ones constructed in this papers are generally asymmetric.


title: Memoized Pull-Tabbing for Functional Logic Programming

abstract: Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure. Pull-tab steps are local graph transformations to move non-deterministic choices towards the root of an expression. Pull-tabbing is independent of a search strategy so that different strategies (depth-first, breadth-first, parallel) can be used to extract the results of a computation. It has been used to compile functional logic languages into imperative or purely functional target languages. Pull-tab steps might duplicate choices in case of shared subexpressions. This could result in a dramatic increase of execution time compared to a backtracking implementation. In this paper we propose a refinement which avoids this efficiency problem while keeping all the good properties of pull-tabbing. We evaluate a first implementation of this improved technique in the Julia programming language.


title: Jacobi--Trudi formulas for flagged refined dual stable Grothendieck polynomials

abstract: Recently Galashin, Grinberg, and Liu introduced the refined dual stable Grothendieck polynomials, which are symmetric functions in $x=(x_1,x_2,\dots)$ with additional parameters $t=(t_1,t_2,\dots)$. The refined dual stable Grothendieck polynomials are defined as a generating function for reverse plane partitions of a given shape. They interpolate between Schur functions and dual stable Grothendieck polynomials introduced by Lam and Pylyavskyy in 2007. Flagged refined dual stable Grothendieck polynomials are a more refined version of refined dual stable Grothendieck polynomials, where lower and upper bounds are given for the entries of each row or column. In this paper Jacobi--Trudi-type formulas for flagged refined dual stable Grothendieck polynomials are proved using plethystic substitution. This resolves a conjecture of Grinberg and generalizes a result by Iwao and Amanov--Yeliussizov.