title: On Computing a Center Persistence Diagram

abstract: Throughout this paper, a persistence diagram ${\cal P}$ is composed of a set $P$ of planar points (each corresponding to a topological feature) above the line $Y=X$, as well as the line $Y=X$ itself, i.e., ${\cal P}=P\cup\{(x,y)|y=x\}$. Given a set of persistence diagrams ${\cal P}_1,...,{\cal P}_m$, for the data reduction purpose, one way to summarize their topological features is to compute the {\em center} ${\cal C}$ of them first under the bottleneck distance. We consider two discrete versions and one continuous version. For technical reasons, we first focus on the case when $|P_i|$'s are all the same (i.e., all have the same size $n$), and the problem is to compute a center point set $C$ under the bottleneck matching distance. We show, by a non-trivial reduction from the Planar 3D-Matching problem, that this problem is NP-hard even when $m=3$ diagrams are given. This implies that the general center problem for persistence diagrams under the bottleneck distance, when $P_i$'s possibly have different sizes, is also NP-hard when $m\geq 3$. On the positive side, we show that this problem is polynomially solvable when $m=2$ and admits a factor-2 approximation for $m\geq 3$. These positive results hold for any $L_p$ metric when $P_i$'s are point sets of the same size, and also hold for the case when $P_i$'s have different sizes in the $L_\infty$ metric (i.e., for the Center Persistence Diagram problem). This is the best possible in polynomial time for the Center Persistence Diagram under the bottleneck distance unless P = NP. All these results hold for both of the discrete versions as well as the continuous version; in fact, the NP-hardness and approximation results also hold under the Wasserstein distance for the continuous version.


title: Function-on-function kriging, with applications to 3D printing of aortic tissues

abstract: 3D-printed medical prototypes, which use synthetic metamaterials to mimic biological tissue, are becoming increasingly important in urgent surgical applications. However, the mimicking of tissue mechanical properties via 3D-printed metamaterial can be difficult and time-consuming, due to the functional nature of both inputs (metamaterial structure) and outputs (mechanical response curve). To deal with this, we propose a novel function-on-function kriging model for efficient emulation and tissue-mimicking optimization. For functional inputs, a key novelty of our model is the spectral-distance (SpeD) correlation function, which captures important spectral differences between two functional inputs. Dependencies for functional outputs are then modeled via a co-kriging framework. We further adopt shrinkage priors on both the input spectra and the output co-kriging covariance matrix, which allows the emulator to learn and incorporate important physics (e.g., dominant input frequencies, output curve properties). Finally, we demonstrate the effectiveness of the proposed SpeD emulator in a real-world study on mimicking human aortic tissue, and show that it can provide quicker and more accurate tissue-mimicking performance compared to existing methods in the medical literature.


title: Constant-Time Foundations for the New Spectre Era

abstract: The constant-time discipline is a software-based countermeasure used for protecting high assurance cryptographic implementations against timing side-channel attacks. Constant-time is effective (it protects against many known attacks), rigorous (it can be formalized using program semantics), and amenable to automated verification. Yet, the advent of micro-architectural attacks makes constant-time as it exists today far less useful. This paper lays foundations for constant-time programming in the presence of speculative and out-of-order execution. We present an operational semantics and a formal definition of constant-time programs in this extended setting. Our semantics eschews formalization of microarchitectural features (that are instead assumed under adversary control), and yields a notion of constant-time that retains the elegance and tractability of the usual notion. We demonstrate the relevance of our semantics in two ways: First, by contrasting existing Spectre-like attacks with our definition of constant-time. Second, by implementing a static analysis tool, Pitchfork, which detects violations of our extended constant-time property in real world cryptographic libraries.


title: orbitize!: A Comprehensive Orbit-fitting Software Package for the High-contrast Imaging Community

abstract: orbitize! is an open-source, object-oriented software package for fitting the orbits of directly-imaged objects. It packages the Orbits for the Impatient (OFTI) algorithm and a parallel-tempered Markov Chain Monte Carlo (MCMC) algorithm into a consistent and intuitive Python API. orbitize! makes it easy to run standard astrometric orbit fits; in less than 10 lines of code, users can read in data, perform one fit using OFTI and another using MCMC, and make two publication-ready figures. Extensive pedagogical tutorials, intended to be navigable by both orbit-fitting novices and seasoned experts, are available on our documentation page. We have designed the orbitize! API to be flexible and easy to use/modify for unique cases. orbitize! was designed by members of the exoplanet imaging community to be a central repository for algorithms, techniques, and know-how developed by this community. We intend for it to continue to expand and change as the field progresses and new techniques are developed, and call for community involvement in this process. Complete and up-to-date documentation is available at orbitize.info.


title: Muon spin rotation and relaxation in Pr$_{1-x}$Nd$_x$Os$_4$Sb$_{12}$: superconductivity and magnetism in Pr-rich alloys

abstract: The Pr-rich end of the alloy series Pr$_{1-x}$Nd$_x$Os$_4$Sb$_{12}$ has been studied using muon spin rotation and relaxation. The end compound PrOs$_4$Sb$_{12}$ is an unconventional heavy-fermion superconductor, which exhibits a spontaneous magnetic field in the superconducting phase associated with broken time-reversal symmetry. No spontaneous field is observed in the Nd-doped alloys for x $>$ 0.05. The superfluid density is insensitive to Nd concentration, and no Nd$^{3+}$ static magnetism is found down to the lowest temperatures of measurement. Together with the slow suppression of the superconducting transition temperature with Nd doping, these results suggest anomalously weak coupling between Nd spins and conduction-band states.


title: On the tau invariants in instanton and monopole Floer theories

abstract: We unify two existing approaches to the tau invariants in instanton and monopole Floer theories, by identifying $\tau_{\mathrm{G}}$, defined by the second author via the minus flavors $\underline{\operatorname{KHI}}^-$ and $\underline{\operatorname{KHM}}^-$ of the knot homologies, with $\tau_{\mathrm{G}}^{\sharp}$, defined by Baldwin and Sivek via cobordism maps of the $3$-manifold homologies induced by knot surgeries. We exhibit several consequences, including a relationship with Heegaard Floer theory, and use our result to compute $\underline{\operatorname{KHI}}^-$ and $\underline{\operatorname{KHM}}^-$ for twist knots.


title: Partially Smooth Universal Taylor Series on products of simply connected domains

abstract: Using a recent Mergelyan type theorem, we show the existence of universal Taylor series on products of planar simply connected domains Oi that extend continuously on the product of the union of Oi with Si , where Si are subsets of the boundary of Oi, open in the relative topology. The universal approximation occurs on every product of compact sets Ki such that C - Ki are connected and for some i0 it holds that Ki0 is contained in the complement of the union of Oi0 with the closure of Si0. Furthermore,we introduce some topological properties of universal Taylor series that lead to the voidance of some families of functions.


title: Skyrmions on 2D Elastic Surfaces with Fixed Boundary Frame

abstract: We report simulation results of skyrmions on fluctuating 2D lattices, where the vertices ${\bf r}_i (\in {\bf R}^3)$ are treated as a dynamical variable and, hence, there is no crystalline structure. On the fluctuating surfaces, an external magnetic field perpendicular to the surface, Dzyaloshinskii-Moriya and ferromagnetic interactions are assumed in addition to the Helfrich-Polyakov Hamiltonian for membranes. The surface (or frame) tension $\tau$ is calculated under both isotropic and uniaxial strain conditions, and this calculation clarifies a non-trivial dependence of $\tau$ on the skyrmion, stripe, and ferromagnetic phases. We find that the variation of $\tau$ with respect to the applied magnetic field in the skyrmion phase is accompanied by a variation of the total number of skyrmions. Moreover, we find that this total number variation is qualitatively consistent with a recent experimental result for the creation/annihilation of skyrmions of 3D crystalline material under uniaxial stress conditions. It is also found that the stripe phase is significantly influenced by uniaxial strains, while the skyrmion phase remains unchanged. These results allow us to conclude that the skyrmion phase is stable even on fluctuating surfaces.


title: Character Feature Engineering for Japanese Word Segmentation

abstract: On word segmentation problems, machine learning architecture engineering often draws attention. The problem representation itself, however, has remained almost static as either word lattice ranking or character sequence tagging, for at least two decades. The latter of-ten shows stronger predictive power than the former for out-of-vocabulary (OOV) issue. When the issue escalating to rapid adaptation, which is a common scenario for industrial applications, active learning of partial annotations or re-training with additional lexical re-sources is usually applied, however, from a somewhat word-based perspective. Not only it is uneasy for end-users to comply with linguistically consistent word boundary decisions, but also the risk/cost of forking models permanently with estimated weights is seldom affordable. To overcome the obstacle, this work provides an alternative, which uses linguistic intuition about character compositions, such that a sophisticated feature set and its derived scheme can enable dynamic lexicon expansion with the model remaining intact. Experiment results suggest that the proposed solution, with or without external lexemes, performs competitively in terms of F1 score and OOV recall across various datasets.


title: Near-Horizon BMS Symmetry, Dimensional Reduction, and Black Hole Entropy

abstract: In an earlier short paper [Phys.\ Rev.\ Lett.\ 120 (2018) 101301, arXiv:1702.04439], I argued that the horizon-preserving diffeomorphisms of a generic black hole are enhanced to a larger BMS${}_3$ symmetry, which is powerful enough to determine the Bekenstein-Hawking entropy. Here I provide details and extensions of that argument, including a loosening of horizon boundary conditions and a more thorough treatment of dimensional reduction and meaning of a "near-horizon symmetry."


title: NeurReg: Neural Registration and Its Application to Image Segmentation

abstract: Registration is a fundamental task in medical image analysis which can be applied to several tasks including image segmentation, intra-operative tracking, multi-modal image alignment, and motion analysis. Popular registration tools such as ANTs and NiftyReg optimize an objective function for each pair of images from scratch which is time-consuming for large images with complicated deformation. Facilitated by the rapid progress of deep learning, learning-based approaches such as VoxelMorph have been emerging for image registration. These approaches can achieve competitive performance in a fraction of a second on advanced GPUs. In this work, we construct a neural registration framework, called NeurReg, with a hybrid loss of displacement fields and data similarity, which substantially improves the current state-of-the-art of registrations. Within the framework, we simulate various transformations by a registration simulator which generates fixed image and displacement field ground truth for training. Furthermore, we design three segmentation frameworks based on the proposed registration framework: 1) atlas-based segmentation, 2) joint learning of both segmentation and registration tasks, and 3) multi-task learning with atlas-based segmentation as an intermediate feature. Extensive experimental results validate the effectiveness of the proposed NeurReg framework based on various metrics: the endpoint error (EPE) of the predicted displacement field, mean square error (MSE), normalized local cross-correlation (NLCC), mutual information (MI), Dice coefficient, uncertainty estimation, and the interpretability of the segmentation. The proposed NeurReg improves registration accuracy with fast inference speed, which can greatly accelerate related medical image analysis tasks.


title: Two Stream Networks for Self-Supervised Ego-Motion Estimation

abstract: Learning depth and camera ego-motion from raw unlabeled RGB video streams is seeing exciting progress through self-supervision from strong geometric cues. To leverage not only appearance but also scene geometry, we propose a novel self-supervised two-stream network using RGB and inferred depth information for accurate visual odometry. In addition, we introduce a sparsity-inducing data augmentation policy for ego-motion learning that effectively regularizes the pose network to enable stronger generalization performance. As a result, we show that our proposed two-stream pose network achieves state-of-the-art results among learning-based methods on the KITTI odometry benchmark, and is especially suited for self-supervision at scale. Our experiments on a large-scale urban driving dataset of 1 million frames indicate that the performance of our proposed architecture does indeed scale progressively with more data.


title: Robust Semi-Supervised Monocular Depth Estimation with Reprojected Distances

abstract: Dense depth estimation from a single image is a key problem in computer vision, with exciting applications in a multitude of robotic tasks. Initially viewed as a direct regression problem, requiring annotated labels as supervision at training time, in the past few years a substantial amount of work has been done in self-supervised depth training based on strong geometric cues, both from stereo cameras and more recently from monocular video sequences. In this paper we investigate how these two approaches (supervised & self-supervised) can be effectively combined, so that a depth model can learn to encode true scale from sparse supervision while achieving high fidelity local accuracy by leveraging geometric cues. To this end, we propose a novel supervised loss term that complements the widely used photometric loss, and show how it can be used to train robust semi-supervised monocular depth estimation models. Furthermore, we evaluate how much supervision is actually necessary to train accurate scale-aware monocular depth models, showing that with our proposed framework, very sparse LiDAR information, with as few as 4 beams (less than 100 valid depth values per image), is enough to achieve results competitive with the current state-of-the-art.


title: The Coarse Geometric $\ell^p$-Novikov Conjecture for Subspaces of Non-positively Curved Manifolds

abstract: In this paper, we prove the coarse geometric $\ell^p$-Novikov Conjecture for metric spaces with bounded geometry which admit a coarse embedding into a simply connected complete Riemannian manifold of nonpositive sectional curvature.


title: Rigidity of MHD equilibria to smooth incompressible ideal motion near resonant surfaces

abstract: In ideal MHD, the magnetic flux is advected by the plasma motion, freezing flux-surfaces into the flow. An MHD equilibrium is reached when the flow relaxes and force balance is achieved. We ask what classes of MHD equilibria can be accessed from a given initial state via smooth incompressible ideal motion. It is found that certain boundary displacements are formally not supported. This follows from yet another investigation of the Hahm--Kulsrud--Taylor (HKT) problem, which highlights the resonant behaviour near a rational layer formed by a set of degenerate critical points in the flux-function. When trying to retain the mirror symmetry of the flux-function with respect to the resonant layer, the vector field that generates the volume-preserving diffeomorphism vanishes at the identity to all order in the time-like path parameter.


title: Subpicotesla Scalar Atomic Magnetometer with a Microfabricated Cell

abstract: We demonstrated a scalar atomic magnetometer using a micro-fabricated Cs vapor cell. The atomic spin precession is driven by an amplitude-modulated circularly-polarized pump laser resonant on D1 transition of Cs atoms and detected by an off-resonant linearly-polarized probe laser using a balanced polarimeter setup. Under a magnetic field with amplitude in the Earth's magnetic field range, the magnetometer in the gradiometer mode can reach sensitivities below 150 fT/rt-Hz, which shows that the magnetometer by itself can achieve sub-100 fT/rt-Hz sensitivities. In addition to its high sensitivity, the magnetometer has a bandwidth close to 1 kHz due to the broad magnetic resonance inside the small vapor cell. Our experiment suggests the feasibility of a portable, low-power and high-performance magnetometer which can be operated in the Earth's magnetic field. Such a device will greatly reduce the restrictions on the operating environment and expand the range of applications for atomic magnetometers, such as detection of nuclear magnetic resonance (NMR) in low magnetic fields.


title: Distilling BERT into Simple Neural Networks with Unlabeled Transfer Data

abstract: Recent advances in pre-training huge models on large amounts of text through self supervision have obtained state-of-the-art results in various natural language processing tasks. However, these huge and expensive models are difficult to use in practise for downstream tasks. Some recent efforts use knowledge distillation to compress these models. However, we see a gap between the performance of the smaller student models as compared to that of the large teacher. In this work, we leverage large amounts of in-domain unlabeled transfer data in addition to a limited amount of labeled training instances to bridge this gap for distilling BERT. We show that simple RNN based student models even with hard distillation can perform at par with the huge teachers given the transfer set. The student performance can be further improved with soft distillation and leveraging teacher intermediate representations. We show that our student models can compress the huge teacher by up to 26x while still matching or even marginally exceeding the teacher performance in low-resource settings with small amount of labeled data. Additionally, for the multilingual extension of this work with XtremeDistil (Mukherjee and Hassan Awadallah, 2020), we demonstrate massive distillation of multilingual BERT-like teacher models by upto 35x in terms of parameter compression and 51x in terms of latency speedup for batch inference while retaining 95% of its F1-score for NER over 41 languages.


title: The Effect of Person-Specific Biometrics in Improving Generic Stress Predictive Models

abstract: Because stress is subjective and is expressed differently from one person to another, generic stress prediction models (i.e., models that predict the stress of any person) perform crudely. Only person-specific ones (i.e., models that predict the stress of a preordained person) yield reliable predictions, but they are not adaptable and costly to deploy in real-world environments. For illustration, in an office environment, a stress monitoring system that uses person-specific models would require collecting new data and training a new model for every employee. Moreover, once deployed, the models would deteriorate and need expensive periodic upgrades because stress is dynamic and depends on unforeseeable factors. We propose a simple, yet practical and cost effective calibration technique that derives an accurate and personalized stress prediction model from physiological samples collected from a large population. We validate our approach on two stress datasets. The results show that our technique performs much better than a generic model. For instance, a generic model achieved only a 42.5% accuracy. However, with only 100 calibration samples, we raised its accuracy to 95.2% We also propose a blueprint for a stress monitoring system based on our strategy, and we debate its merits and limitation. Finally, we made public our source code and the relevant datasets to allow other researchers to replicate our findings.


title: Spectral analysis beyond $\ell^2$ on Sierpinski lattices

abstract: We study the spectrum of the Laplacian on the Sierpinski lattices. First, we show that the spectrum of the Laplacian, as a subset of $\mathbb{C}$, remains the same for any $\ell^p$ spaces. Second, we characterize all the spectral points for the lattices with a boundary point.


title: Wide short geodesic loops on closed Riemannian manifolds

abstract: It is not known whether or not the lenth of the shortest periodic geodesic on a closed Riemannian manifold $M^n$ can be majorized by $c(n) vol^{ 1 \over n}$, or $\tilde{c}(n)d$, where $n$ is the dimension of $M^n$, $vol$ denotes the volume of $M^n$, and $d$ denotes its diameter. In this paper we will prove that for each $\epsilon >0$ one can find such estimates for the length of a geodesic loop with with angle between $\pi-\epsilon$ and $\pi$ with an explicit constant that depends both on $n$ and $\epsilon$. That is, let $\epsilon > 0$, and let $a = \lceil{ {1 \over {\sin ({\epsilon \over 2})}}} \rceil+1 $. We will prove that there exists a "wide" (i.e. with an angle that is wider than $\pi-\epsilon$) geodesic loop on $M^n$ of length at most $2n!a^nd$. We will also show that there exists a "wide" geodesic loop of length at most $2(n+1)!^2a^{(n+1)^3} FillRad \leq 2 \cdot n(n+1)!^2a^{(n+1)^3} vol^{1 \over n}$. Here $FillRad$ is the Filling Radius of $M^n$.


title: Standard Galactic Field RR Lyrae II: A Gaia DR2 calibration of the period-Wesenheit-metallicity relation

abstract: RR Lyrae stars have long been popular standard candles, but significant advances in methodology and technology have been made in recent years to increase their precision as distance indicators. We present multi-wavelength (optical $UBVR_cI_c$ and Gaia $G, BP, RP$; near-infrared $JHK_s$; mid-infrared $[3.6], [4.5]$) period-luminosity-metallicity (PLZ), period-Wesenheit-metallicity (PWZ) relations, calibrated using photometry obtained from The Carnegie RR Lyrae Program and parallaxes from the Gaia second data release for 55 Galactic field RR Lyrae stars. The metallicity slope, which has long been predicted by theoretical relations, can now be measured in all passbands. The scatter in the PLZ relations is on the order of 0.2 mag, and is still dominated by uncertainties in the parallaxes. As a consistency check of our PLZ relations, we also measure the distance modulus to the globular cluster M4, the Large Magellanic Cloud (LMC) and the Small Magellanic Cloud (SMC), and our results are in excellent agreement with estimates from previous studies.


title: Stable, thin wall, negative mass bubbles in de Sitter space-time

abstract: Negative mass makes perfect physical sense as long as the dominant energy condition is satisfied by the corresponding energy-momentum tensor. Heretofore, only {\it configurations} of negative mass had been found \cite{Belletete:2013nqa,Mbarek:2014ppa}, the analysis did not address stability or dynamics. In this paper, we analyze both of these criteria. We demonstrate the existence of {\it stable}, static, negative mass bubbles in an asymptotically de Sitter space-time. The bubbles are solutions of the Einstein equations and correspond to an interior region of space-time containing a specific mass distribution, separated by a thin wall from the exact, negative mass Schwarzschild-de Sitter space-time in the exterior. We apply the Israel junction conditions at the wall. For the case of an interior corresponding simply to de Sitter space-time with a different cosmological constant from the outside space-time, separated by a thin wall with energy density that is independent of the radius, we find static but unstable solutions which satisfy the dominant energy condition everywhere. The bubbles can collapse through spherically symmetric configurations to the exact, singular, negative mass Schwarzschild-de Sitter solution. Interestingly, this provides a counter-example of the cosmic censorship hypothesis. Alternatively, the junction conditions can be used to give rise to an interior mass distribution that depends on the potential for the radius of the wall. We show that for no choice of the potential, for positive energy density on the wall that is independent of the radius, can we get a solution that is non-singular at the origin. However, if we allow the energy density on the wall to depend on the radius of the bubble, we can find {\it stable}, static, non-singular solutions of negative mass which everywhere satisfy the dominant energy condition.


title: Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers

abstract: We develop combinatorial test generation algorithms for progressively more powerful theorem provers, covering formula languages ranging from the implicational fragment of intuitionistic logic to full intuitionistic propositional logic. Our algorithms support exhaustive and random generators for formulas of these logics. To provide known-to-be-provable formulas, via the Curry-Howard formulas-as-types correspondence, we use generators for typable lambda terms and combinator expressions. Besides generators for several classes of formulas, we design algorithms that restrict formula generation to canonical representatives among equiprovable formulas and introduce program transformations that reduce formulas to equivalent formulas of a simpler structure. The same transformations, when applied in reverse, create harder formulas that can catch soundness or incompleteness bugs. To test the effectiveness of the testing framework itself, we describe use cases for deriving lightweight theorem provers for several of these logics and for finding bugs in known theorem provers. Our Prolog implementation available at: https://github.com/ptarau/TypesAndProofs and a subset of formula generators and theorem provers, implemented in Python is available at: https://github.com/ptarau/PythonProvers. Keywords: term and formula generation algorithms, Prolog-based theorem provers, formulas-as-types, type inference and type inhabitation, combinatorial testing, finding bugs in theorem provers.


title: Bundle gerbes and the Weyl map

abstract: This masters thesis reviews bundle gerbe theory and the well-known basic bundle gerbe over SU(n). We introduce the cup product bundle gerbe, and show it is stably isomorphic to the pullback of the basic bundle gerbe by the Weyl map. This result enriches our understanding of the basic bundle gerbe, which has numerous applications in physics.


title: Giant perpendicular magnetic anisotropy in Ir/Co/Pt multilayers

abstract: We have studied the magnetic properties of multilayers composed of ferromagnetic metal Co and heavy metals with strong spin orbit coupling (Pt and Ir). Multilayers with symmetric (ABA stacking) and asymmetric (ABC stacking) structures are grown to study the effect of broken structural inversion symmetry. We compare the perpendicular magnetic anisotropy (PMA) energy of symmetric Pt/Co/Pt, Ir/Co/Ir multilayers and asymmetric Pt/Co/Ir, Ir/Co/Pt multilayers. First, the interface contribution to the PMA is studied using the Co layer thickness dependence of the effective PMA energy. Comparison of the interfacial PMA between the Ir/Co/Pt, Pt/Co/Ir asymmetric structures and Pt/Co/Pt, Ir/Co/Ir symmetric structures indicate that the broken structural inversion symmetry induced PMA is small compared to the overall interfacial PMA. Second, we find the magnetic anisotropy field is significantly increased in multilayers when the ferromagnetic layers are antiferromagnetically coupled via interlayer exchange coupling (IEC). Macrospin model calculations can qualitatively account for the relation between the anisotropy field and the IEC. Among the structures studied, IEC is the largest for the asymmetric Ir/Co/Pt multilayers: the exchange coupling field exceeds 3 T and consequently, the anisotropy field approaches 10 T. Third, comparing the asymmetric Ir/Co/Pt and Pt/Co/Ir structures, we find the IEC and, to some extent, the interface PMA are stronger for the former than the latter. X-ray magnetic circular dichroism studies suggest that the proximity induced magnetization in Pt is larger for the Ir/Co/Pt multilayers than the inverted structure, which may partly account for the difference in the magnetic properties. These results show the intricate relation between PMA, IEC and the proximity induced magnetization that can be exploited to design artificial structures with unique magnetic characteristics.


title: Utility-based pricing and hedging of contingent claims in Almgren-Chriss model with temporary price impact

abstract: In this paper, we construct the utility-based optimal hedging strategy for a European-type option in the Almgren-Chriss model with temporary price impact. The main mathematical challenge of this work stems from the degeneracy of the second order terms and the quadratic growth of the first order terms in the associated HJB equation, which makes it difficult to establish sufficient regularity of the value function needed to construct the optimal strategy in a feedback form. By combining the analytic and probabilistic tools for describing the value function and the optimal strategy, we establish the feedback representation of the latter. We use this representation to derive an explicit asymptotic expansion of the utility indifference price of the option, which allows us to quantify the price impact in options' market via the price impact coefficient in the underlying market.


title: Sulfur-bearing molecules in Orion KL

abstract: We present an observational study of the sulfur (S)-bearing species towards Orion KL at 1.3 mm by combining ALMA and IRAM-30\,m single-dish data. At a linear resolution of $\sim$800 au and a velocity resolution of 1 $\mathrm{km\, s^{-1}\, }$, we have identified 79 molecular lines from 6 S-bearing species. In these S-bearing species, we found a clear dichotomy between carbon-sulfur compounds and carbon-free S-bearing species in various characteristics, e.g., line profiles, spatial morphology, and molecular abundances with respect to $\rm H_2$. Lines from the carbon-sulfur compounds (i.e., OCS, $^{13}$CS, H$_2$CS) exhibit spatial distributions concentrated around the continuum peaks and extended to the south ridge. The full width at half maximum (FWHM) linewidth of these molecular lines is in the range of 2 $\sim$ 11 $\mathrm{km\, s^{-1}\, }$. The molecular abundances of OCS and H$_2$CS decrease slightly from the cold ($\sim$68 K) to the hot ($\sim$176 K) regions. In contrast, lines from the carbon-free S-bearing species (i.e., SO$_2$, $^{34}$SO, H$_2$S) are spatially more extended to the northeast of mm4, exhibiting broader FWHM linewidths (15 $\sim$ 26 $\mathrm{km\, s^{-1}\, }$). The molecular abundances of carbon-free S-bearing species increase by over an order of magnitude as the temperature increase from 50 K to 100 K. In particular, $\mathrm{^{34}SO/^{34}SO_2}$ and $\mathrm{OCS/SO_2}$ are enhanced from the warmer regions ($>$100 K) to the colder regions ($\sim$50 K). Such enhancements are consistent with the transformation of SO$_2$ at warmer regions and the influence of shocks.


title: Bott-Chern homology, Bott-Chern differential cohomology and the Hodge conjecture

abstract: We propose a version of the Hodge conjecture in Bott-Chern cohomology and using results from characterizing real holomorphic chains by real rectifiable currents to provide a proof for this question. We define a Bott-Chern differential cohomology and use atomic section theory of Harvey and Lawson to construct refined Bott-Chern classes for holomorphic vector bundles in this differential cohomology. These refined Bott-Chern classes transform naturally to standard Chern classes, Bott-Chern classes and Cheeger-Simons' refined Chern classes.


title: Distributionally Robust XVA via Wasserstein Distance: Wrong Way Counterparty Credit and Funding Risk

abstract: This paper investigates calculations of robust XVA, in particular, credit valuation adjustment (CVA) and funding valuation adjustment (FVA) for over-the-counter derivatives under distributional uncertainty using Wasserstein distance as the ambiguity measure. Wrong way counterparty credit risk and funding risk can be characterized (and indeed quantified) via the robust XVA formulations. The simpler dual formulations are derived using recent infinite dimensional Lagrangian duality results. Next, some computational experiments are conducted to measure the additional XVA charges due to distributional uncertainty under a variety of portfolio and market configurations. Finally some suggestions for future work are discussed.


title: Griffiths extremality, interpolation of norms, and K\"ahler quantization

abstract: Following Kobayashi, we consider Griffiths negative complex Finsler bundles, naturally leading us to introduce Griffiths extremal Finsler metrics. As we point out, this notion is closely related to the theory of interpolation of norms, and is characterized by an equation of complex Monge--Amp\`ere type, whose corresponding Dirichlet problem we solve. As applications, we prove that Griffiths extremal Finsler metrics quantize solutions to a natural PDE in K\"ahler geometry, related to the construction of flat maps for the Mabuchi metric.


title: Width Parameterizations for Knot-free Vertex Deletion on Digraphs

abstract: A knot in a directed graph $G$ is a strongly connected subgraph $Q$ of $G$ with at least two vertices, such that no vertex in $V(Q)$ is an in-neighbor of a vertex in $V(G)\setminus V(Q)$. Knots are important graph structures, because they characterize the existence of deadlocks in a classical distributed computation model, the so-called OR-model. Deadlock detection is correlated with the recognition of knot-free graphs as well as deadlock resolution is closely related to the {\sc Knot-Free Vertex Deletion (KFVD)} problem, which consists of determining whether an input graph $G$ has a subset $S \subseteq V(G)$ of size at most $k$ such that $G[V\setminus S]$ contains no knot. In this paper we focus on graph width measure parameterizations for {\sc KFVD}. First, we show that: (i) {\sc KFVD} parameterized by the size of the solution $k$ is W[1]-hard even when $p$, the length of a longest directed path of the input graph, as well as $\kappa$, its Kenny-width, are bounded by constants, and we remark that {\sc KFVD} is para-NP-hard even considering many directed width measures as parameters, but in FPT when parameterized by clique-width; (ii) {\sc KFVD} can be solved in time $2^{O(tw)}\times n$, but assuming ETH it cannot be solved in $2^{o(tw)}\times n^{O(1)}$, where $tw$ is the treewidth of the underlying undirected graph. Finally, since the size of a minimum directed feedback vertex set ($dfv$) is an upper bound for the size of a minimum knot-free vertex deletion set, we investigate parameterization by $dfv$ and we show that (iii) {\sc KFVD} can be solved in FPT-time parameterized by either $dfv+\kappa$ or $dfv+p$; and it admits a Turing kernel by the distance to a DAG having an Hamiltonian path.


title: Learning Robust Representations with Graph Denoising Policy Network

abstract: Graph representation learning, aiming to learn low-dimensional representations which capture the geometric dependencies between nodes in the original graph, has gained increasing popularity in a variety of graph analysis tasks, including node classification and link prediction. Existing representation learning methods based on graph neural networks and their variants rely on the aggregation of neighborhood information, which makes it sensitive to noises in the graph. In this paper, we propose Graph Denoising Policy Network (short for GDPNet) to learn robust representations from noisy graph data through reinforcement learning. GDPNet first selects signal neighborhoods for each node, and then aggregates the information from the selected neighborhoods to learn node representations for the down-stream tasks. Specifically, in the signal neighborhood selection phase, GDPNet optimizes the neighborhood for each target node by formulating the process of removing noisy neighborhoods as a Markov decision process and learning a policy with task-specific rewards received from the representation learning phase. In the representation learning phase, GDPNet aggregates features from signal neighbors to generate node representations for down-stream tasks, and provides task-specific rewards to the signal neighbor selection phase. These two phases are jointly trained to select optimal sets of neighbors for target nodes with maximum cumulative task-specific rewards, and to learn robust representations for nodes. Experimental results on node classification task demonstrate the effectiveness of GDNet, outperforming the state-of-the-art graph representation learning methods on several well-studied datasets. Additionally, GDPNet is mathematically equivalent to solving the submodular maximizing problem, which theoretically guarantees the best approximation to the optimal solution with GDPNet.


title: Co-optimization of Speed and Gearshift Control for Battery Electric Vehicles Using Preview Information

abstract: This paper addresses the co-optimization of speed and gearshift control for battery electric vehicles using short-range traffic information. To achieve greater electric motor efficiency, a multi-speed transmission is employed, whose control involves discrete-valued gearshift signals. To overcome the computational difficulties in solving the integrated speed-and-gearshift optimal control problem that involves both continuous and discrete-valued optimization variables, we propose a hierarchical procedure to decompose the integrated hybrid problem into purely continuous and discrete sub-problems, each of which can be efficiently solved. We show, by simulations in various driving scenarios, that the co-optimization of speed and gearshift control using our proposed hierarchical procedure can achieve greater energy efficiency than other typical approaches.


title: A Random Interaction Forest for Prioritizing Predictive Biomarkers

abstract: Precision medicine is becoming a focus in medical research recently, as its implementation brings values to all stakeholders in the healthcare system. Various statistical methodologies have been developed tackling problems in different aspects of this field, e.g., assessing treatment heterogeneity, identifying patient subgroups, or building treatment decision models. However, there is a lack of new tools devoted to selecting and prioritizing predictive biomarkers. We propose a novel tree-based ensemble method, random interaction forest (RIF), to generate predictive importance scores and prioritize candidate biomarkers for constructing refined treatment decision models. RIF was evaluated by comparing with the conventional random forest and univariable regression methods and showed favorable properties under various simulation scenarios. We applied the proposed RIF method to a biomarker dataset from two phase III clinical trials of bezlotoxumab on $\textit{Clostridium difficile}$ infection recurrence and obtained biologically meaningful results.


title: Large Magnetoelectric Response in Sr2IrO4/SrTiO3 superlattices with non-equivalent interfaces

abstract: Large magnetoelectric response in thin films is highly desired for high-throughput and high-density microelectronic applications. However, the d0 rule in single-phase compounds usually results in a weak interaction between ferroelectric and magnetic orders; the magnetoelectric coupling via elastic resonance in composites restricts their thin-film integration in broadband. Here, we effectuate a concurrence of ferroelectric-like and antiferromagnetic phase transitions in Sr2IrO4/SrTiO3 superlattices by artificial design periodically non-equivalent interfaces, where a maximum magnetoelectric coefficient of ~980 mV cm-1 Oe-1 can be measured. Evidenced by synchrotron X-ray absorption and electron energy loss spectroscopies, a lopsided electron occupation occurs at the interfacial Ti ions. From perturbative calculations and numerical results, a strong coupling of antiferromagnetism and asymmetric electron occupation mediated by spin-orbit interaction leads to a large bulk magnetoelectric response. This atomic tailoring of the quantum order parameters in 3d and 5d oxides provides an alternative pathway towards strong magnetoelectric effects with thin-film integrations.


title: Efficient Symmetric Norm Regression via Linear Sketching

abstract: We provide efficient algorithms for overconstrained linear regression problems with size $n \times d$ when the loss function is a symmetric norm (a norm invariant under sign-flips and coordinate-permutations). An important class of symmetric norms are Orlicz norms, where for a function $G$ and a vector $y \in \mathbb{R}^n$, the corresponding Orlicz norm $\|y\|_G$ is defined as the unique value $\alpha$ such that $\sum_{i=1}^n G(|y_i|/\alpha) = 1$. When the loss function is an Orlicz norm, our algorithm produces a $(1 + \varepsilon)$-approximate solution for an arbitrarily small constant $\varepsilon > 0$ in input-sparsity time, improving over the previously best-known algorithm which produces a $d \cdot \mathrm{polylog} n$-approximate solution. When the loss function is a general symmetric norm, our algorithm produces a $\sqrt{d} \cdot \mathrm{polylog} n \cdot \mathrm{mmc}(\ell)$-approximate solution in input-sparsity time, where $\mathrm{mmc}(\ell)$ is a quantity related to the symmetric norm under consideration. To the best of our knowledge, this is the first input-sparsity time algorithm with provable guarantees for the general class of symmetric norm regression problem. Our results shed light on resolving the universal sketching problem for linear regression, and the techniques might be of independent interest to numerical linear algebra problems more broadly.


title: Active Learning with Point Supervision for Cost-Effective Panicle Detection in Cereal Crops

abstract: Panicle density of cereal crops such as wheat and sorghum is one of the main components for plant breeders and agronomists in understanding the yield of their crops. To phenotype the panicle density effectively, researchers agree there is a significant need for computer vision-based object detection techniques. Especially in recent times, research in deep learning-based object detection shows promising results in various agricultural studies. However, training such systems usually requires a lot of bounding-box labeled data. Since crops vary by both environmental and genetic conditions, acquisition of huge amount of labeled image datasets for each crop is expensive and time-consuming. Thus, to catalyze the widespread usage of automatic object detection for crop phenotyping, a cost-effective method to develop such automated systems is essential. We propose a point supervision based active learning approach for panicle detection in cereal crops. In our approach, the model constantly interacts with a human annotator by iteratively querying the labels for only the most informative images, as opposed to all images in a dataset. Our query method is specifically designed for cereal crops which usually tend to have panicles with low variance in appearance. Our method reduces labeling costs by intelligently leveraging low-cost weak labels (object centers) for picking the most informative images for which strong labels (bounding boxes) are required. We show promising results on two publicly available cereal crop datasets - Sorghum and Wheat. On Sorghum, 6 variants of our proposed method outperform the best baseline method with more than 55% savings in labeling time. Similarly, on Wheat, 3 variants of our proposed methods outperform the best baseline method with more than 50% of savings in labeling time.


title: Nonexistence results for a higher-order evolution equation with an inhomogeneous term depending on time and space

abstract: We consider a higher-order evolution equation with an inhomogeneous term depending on time and space. We first derive a general criterion for the nonexistence of weak solutions. Next, we study the particular case when the inhomogeneity depends only on space. In that case, we obtain the first critical exponent in the sense of Fujita, as well as the second critical exponent in the sense of Lee and Ni.


title: Conditional out-of-sample generation for unpaired data using trVAE

abstract: While generative models have shown great success in generating high-dimensional samples conditional on low-dimensional descriptors (learning e.g. stroke thickness in MNIST, hair color in CelebA, or speaker identity in Wavenet), their generation out-of-sample poses fundamental problems. The conditional variational autoencoder (CVAE) as a simple conditional generative model does not explicitly relate conditions during training and, hence, has no incentive of learning a compact joint distribution across conditions. We overcome this limitation by matching their distributions using maximum mean discrepancy (MMD) in the decoder layer that follows the bottleneck. This introduces a strong regularization both for reconstructing samples within the same condition and for transforming samples across conditions, resulting in much improved generalization. We refer to the architecture as \emph{transformer} VAE (trVAE). Benchmarking trVAE on high-dimensional image and tabular data, we demonstrate higher robustness and higher accuracy than existing approaches. In particular, we show qualitatively improved predictions for cellular perturbation response to treatment and disease based on high-dimensional single-cell gene expression data, by tackling previously problematic minority classes and multiple conditions. For generic tasks, we improve Pearson correlations of high-dimensional estimated means and variances with their ground truths from 0.89 to 0.97 and 0.75 to 0.87, respectively.


title: Zero-Temperature Phases of the 2D Hubbard-Holstein Model: A Non-Gaussian Exact Diagonalization Study

abstract: We propose a numerical method which embeds the variational non-Gaussian wavefunction approach within exact diagonalization, allowing for efficient treatment of correlated systems with both electron-electron and electron-phonon interactions. Using a generalized polaron transformation, we construct a variational wavefunction that absorbs entanglement between electrons and phonons into a variational non-Gaussian transformation; exact diagonalization is then used to treat the electronic part of the wavefunction exactly, thus taking into account high-order correlation effects beyond the Gaussian level. Keeping the full electronic Hilbert space, the complexity is increased only by a polynomial scaling factor relative to the exact diagonalization calculation for pure electrons. As an example, we use this method to study ground-state properties of the two-dimensional Hubbard-Holstein model, providing evidence for the existence of intervening phases between the spin and charge-ordered states. In particular, we find one of the intervening phases has strong charge susceptibility and binding energy, but is distinct from a charge-density-wave ordered state, while the other intervening phase displays superconductivity at weak couplings. This method, as a general framework, can be extended to treat excited states and dynamics, as well as a wide range of systems with both electron-electron and electron-boson interactions.


title: Automating Data Monitoring: Detecting Structural Breaks in Time Series Data Using Bayesian Minimum Description Length

abstract: In modern business modeling and analytics, data monitoring plays a critical role. Nowadays, sophisticated models often rely on hundreds or even thousands of input variables. Over time, structural changes such as abrupt level shifts or trend slope changes may occur among some of these variables, likely due to changes in economy or government policies. As a part of data monitoring, it is important to identify these changepoints, in terms of which variables exhibit such changes, and what time locations do the changepoints occur. Being alerted about the changepoints can help modelers decide if models need modification or rebuilds, while ignoring them may increase risks of model degrading. Simple process control rules often flag too many false alarms because regular seasonal fluctuations or steady upward or downward trends usually trigger alerts. To reduce potential false alarms, we create a novel statistical method based on the Bayesian Minimum Description Length (BMDL) framework to perform multiple change-point detection. Our method is capable of detecting all structural breaks occurred in the past, and automatically handling data with or without seasonality and/or autocorrelation. It is implemented with computation algorithms such as Markov chain Monte Carlo (MCMC), and can be applied to all variables in parallel. As an explainable anomaly detection tool, our changepoint detection method not only triggers alerts, but provides useful information about the structural breaks, such as the times of changepoints, and estimation of mean levels and linear slopes before and after the changepoints. This makes future business analysis and evaluation on the structural breaks easier.


title: Efficient Creation of Datasets for Data-Driven Power System Applications

abstract: Advances in data-driven methods have sparked renewed interest for applications in power systems. Creating datasets for successful application of these methods has proven to be very challenging, especially when considering power system security. This paper proposes a computationally efficient method to create datasets of secure and insecure operating points. We propose an infeasibility certificate based on separating hyperplanes that can a-priori characterize large parts of the input space as insecure, thus significantly reducing both computation time and problem size. Our method can handle an order of magnitude more control variables and creates balanced datasets of secure and insecure operating points, which is essential for data-driven applications. While we focus on N-1 security and uncertainty, our method can extend to dynamic security. For PGLib-OPF networks up to 500 buses and up to 125 control variables, we demonstrate drastic reductions in unclassified input space volumes and computation time, create balanced datasets, and evaluate an illustrative data-driven application.


title: SMP Challenge: An Overview of Social Media Prediction Challenge 2019

abstract: "SMP Challenge" aims to discover novel prediction tasks for numerous data on social multimedia and seek excellent research teams. Making predictions via social multimedia data (e.g. photos, videos or news) is not only helps us to make better strategic decisions for the future, but also explores advanced predictive learning and analytic methods on various problems and scenarios, such as multimedia recommendation, advertising system, fashion analysis etc. In the SMP Challenge at ACM Multimedia 2019, we introduce a novel prediction task Temporal Popularity Prediction, which focuses on predicting future interaction or attractiveness (in terms of clicks, views or likes etc.) of new online posts in social media feeds before uploading. We also collected and released a large-scale SMPD benchmark with over 480K posts from 69K users. In this paper, we define the challenge problem, give an overview of the dataset, present statistics of rich information for data and annotation and design the accuracy and correlation evaluation metrics for temporal popularity prediction to the challenge.


title: Transfer Learning for Automated OCTA Detection of Diabetic Retinopathy

abstract: Purpose: To test the feasibility of using deep learning for optical coherence tomography angiography (OCTA) detection of diabetic retinopathy (DR). Methods: A deep learning convolutional neural network (CNN) architecture VGG16 was employed for this study. A transfer learning process was implemented to re-train the CNN for robust OCTA classification. In order to demonstrate the feasibility of using this method for artificial intelligence (AI) screening of DR in clinical environments, the re-trained CNN was incorporated into a custom developed GUI platform which can be readily operated by ophthalmic personnel. Results: With last nine layers re-trained, CNN architecture achieved the best performance for automated OCTA classification. The overall accuracy of the re-trained classifier for differentiating healthy, NoDR, and NPDR was 87.27%, with 83.76% sensitivity and 90.82% specificity. The AUC metrics for binary classification of healthy, NoDR and DR were 0.97, 0.98 and 0.97, respectively. The GUI platform enabled easy validation of the method for AI screening of DR in a clinical environment. Conclusion: With a transfer leaning process to adopt the early layers for simple feature analysis and to re-train the upper layers for fine feature analysis, the CNN architecture VGG16 can be used for robust OCTA classification of healthy, NoDR, and NPDR eyes. Translational Relevance: OCTA can capture microvascular changes in early DR. A transfer learning process enables robust implementation of convolutional neural network (CNN) for automated OCTA classification of DR.


title: The space of directions for hyperbolic totally disconnected locally compact groups

abstract: The space of directions is a notion of boundary associated to an arbitrary totally disconnected locally compact group. We explicitly calculate the space of directions of a group acting vertex transitively with compact open vertex stabilisers on a locally finite connected hyperbolic graph. These are examples of groups where techniques from geometric group theory can be generalised from the discrete to the non-discrete case. We show the space of directions for these groups is a discrete metric space. Our results resolve a conjecture of Baumgartner, M\"oller and Willis in the affirmative.


title: Analysis and Improvement of the Hot Disk Transient Plane Source Method for Low Thermal Conductivity Materials

abstract: The hot disk transient plane source (TPS) method is a widely used standard technique (ISO 22007-2) for the characterization of thermal properties of materials, especially the thermal conductivity, k. Despite its well-established reliability for a wide variety of common materials, the hot disk TPS method is also known to suffer from a substantial systematic errors when applied to low-k thermal insulation materials. Here, we present a combined numerical and experimental study on the influence of the geometry of hot disk sensor on measured value of low-k materials. We demonstrate that the error is strongly affected by the finite thickness and thermal mass of the sensor's insulation layer was well as the corresponding increase of the effective heater size beyond the radius of the embedded metal heater itself. We also numerically investigate the dependence of the error on the sample thermal properties, confirming that the errors are worse in low-k samples. A simple correction function is also provided, which converts the apparent (erroneous) result from a standard hot disk TPS measurement to a more accurate value. A standard polyimide sensor was also optimized using both wet and dry etching to provide more accurate measurement directly. Experimentally corrected value of k for Airloy x56 aerogel and a commercial silica aerogel using the numerical correction factor derived based on the standard TPS sensor is in excellent agreement with the directly measured value from the TPS sensor using the optimized polyimide sensor. Both of these methods can reduce the errors to less than 4% as compared to around 40% error of overestimation from raw values measured with the pristine sensor. Such results show that both the numerical correction to a pristine senor or an optimized sensor are capable of providing highly accurate value of thermal conductivity for such materials.


title: Streamlined Variational Inference for Linear Mixed Models with Crossed Random Effects

abstract: We derive streamlined mean field variational Bayes algorithms for fitting linear mixed models with crossed random effects. In the most general situation, where the dimensions of the crossed groups are arbitrarily large, streamlining is hindered by lack of sparseness in the underlying least squares system. Because of this fact we also consider a hierarchy of relaxations of the mean field product restriction. The least stringent product restriction delivers a high degree of inferential accuracy. However, this accuracy must be mitigated against its higher storage and computing demands. Faster sparse storage and computing alternatives are also provided, but come with the price of diminished inferential accuracy. This article provides full algorithmic details of three variational inference strategies, presents detailed empirical results on their pros and cons and, thus, guides the users on their choice of variational inference approach depending on the problem size and computing resources.


title: Transitive closure in a polluted environment

abstract: We introduce and study a new percolation model, inspired by recent works on jigsaw percolation, graph bootstrap percolation, and percolation in polluted environments. Start with an oriented graph $G_0$ of initially occupied edges on $n$ vertices, and iteratively occupy additional (oriented) edges by transitivity, with the constraint that only open edges in a certain random set can ever be occupied. All other edges are closed, creating a set of obstacles for the spread of occupied edges. When $G_0$ is an unoriented linear graph, and leftward and rightward edges are open independently with possibly different probabilities, we identify three regimes in which the set of eventually occupied edges is either all open edges, the majority of open edges in one direction, or only a very small proportion of all open edges. In the more general setting where $G_0$ is a connected unoriented graph of bounded degree, we show that the transition between sparse and full occupation of open edges occurs when the probability of open edges is $(\log n)^{-1/2+o(1)}$. We conclude with several conjectures and open problems.


title: Symmetry in cancer networks identified: Proposal for multi-cancer biomarkers

abstract: One of the most challenging problems in biomedicine and genomics is the identification of disease biomarkers. In this study, proteomics data from seven major cancers were used to construct two weighted protein-protein interaction (PPI) networks i.e., one for the normal and another for the cancer conditions. We developed rigorous, yet mathematically simple, methodology based on the degeneracy at -1 eigenvalues to identify structural symmetry or motif structures in network. Utilising eigenvectors corresponding to degenerate eigenvalues in the weighted adjacency matrix, we identified structural symmetry in underlying weighted PPI networks constructed using seven cancer data. Functional assessment of proteins forming these structural symmetry exhibited the property of cancer hallmarks. Survival analysis refined further this protein list proposing BMI, MAPK11, DDIT4, CDKN2A, and FYN as putative multi-cancer biomarkers. The combined framework of networks and spectral graph theory developed here can be applied to identify symmetrical patterns in other disease networks to predict proteins as potential disease biomarkers.


title: SUSY localization for Coulomb branch operators in omega-deformed 3d N=4 gauge theories

abstract: We perform SUSY localization for Coulomb branch operators of 3d $\mathcal{N}=4$ gauge theories in $\mathbb{R}^3$ with $\Omega$-deformation. For the dressed monopole operators whose expectation values do not involve non-perturbative corrections, our computations reproduce the results of the so-called abelianization procedure. For the expectation values of other operators and the correlation functions of multiple operators in $U(N)$ gauge theories, we compute the non-perturbative corrections due to monopole bubbling using matrix models obtained by brane construction. We relate the results of localization to algebraic structures discussed in the mathematical literature, and also point out a similar relation for line operators in 4d $\mathcal{N}=2$ gauge theories. For $U(N)$ (quiver) gauge theories in 3d we demonstrate a direct correspondence between wall-crossing and the ordering of operators.


title: Unsupervised Representation for EHR Signals and Codes as Patient Status Vector

abstract: Effective modeling of electronic health records presents many challenges as they contain large amounts of irregularity most of which are due to the varying procedures and diagnosis a patient may have. Despite the recent progress in machine learning, unsupervised learning remains largely at open, especially in the healthcare domain. In this work, we present a two-step unsupervised representation learning scheme to summarize the multi-modal clinical time series consisting of signals and medical codes into a patient status vector. First, an auto-encoder step is used to reduce sparse medical codes and clinical time series into a distributed representation. Subsequently, the concatenation of the distributed representations is further fine-tuned using a forecasting task. We evaluate the usefulness of the representation on two downstream tasks: mortality and readmission. Our proposed method shows improved generalization performance for both short duration ICU visits and long duration ICU visits.


title: Tuning Inelastic Light Scattering via Symmetry Control in 2D Magnet CrI$_3$

abstract: The coupling between spin and charge degrees of freedom in a crystal imparts strong optical signatures on scattered electromagnetic waves. This has led to magneto-optical effects with a host of applications, from the sensitive detection of local magnetic order to optical modulation and data storage technologies. Here, we demonstrate a new magneto-optical effect, namely, the tuning of inelastically scattered light through symmetry control in atomically thin chromium triiodide (CrI$_3$). In monolayers, we found an extraordinarily large magneto-optical Raman effect from an A$_{1g}$ phonon mode due to the emergence of ferromagnetic order. The linearly polarized, inelastically scattered light rotates by ~40$^o$, more than two orders of magnitude larger than the rotation from MOKE under the same experimental conditions. In CrI$_3$ bilayers, we show that the same A$_{1g}$ phonon mode becomes Davydov-split into two modes of opposite parity, exhibiting divergent selection rules that depend on inversion symmetry and the underlying magnetic order. By switching between the antiferromagnetic states and the fully spin-polarized states with applied magnetic and electric fields, we demonstrate the magnetoelectrical control over their selection rules. Our work underscores the unique opportunities provided by 2D magnets for controlling the combined time-reversal and inversion symmetries to manipulate Raman optical selection rules and for exploring emergent magneto-optical effects and spin-phonon coupled physics.


title: On the Duality between Network Flows and Network Lasso

abstract: Many applications generate data with an intrinsic network structure such as time series data, image data or social network data. The network Lasso (nLasso) has been proposed recently as a method for joint clustering and optimization of machine learning models for networked data. The nLasso extends the Lasso from sparse linear models to clustered graph signals. This paper explores the duality of nLasso and network flow optimization. We show that, in a very precise sense, nLasso is equivalent to a minimum-cost flow problem on the data network structure. Our main technical result is a concise characterization of nLasso solutions via existence of certain network flows. The main conceptual result is a useful link between nLasso methods and basic graph algorithms such as clustering or maximum flow.


title: Deep Q-Network for Angry Birds

abstract: Angry Birds is a popular video game in which the player is provided with a sequence of birds to shoot from a slingshot. The task of the game is to destroy all green pigs with maximum possible score. Angry Birds appears to be a difficult task to solve for artificially intelligent agents due to the sequential decision-making, non-deterministic game environment, enormous state and action spaces and requirement to differentiate between multiple birds, their abilities and optimum tapping times. We describe the application of Deep Reinforcement learning by implementing Double Dueling Deep Q-network to play Angry Birds game. One of our main goals was to build an agent that is able to compete with previous participants and humans on the first 21 levels. In order to do so, we have collected a dataset of game frames that we used to train our agent on. We present different approaches and settings for DQN agent. We evaluate our agent using results of the previous participants of AIBirds competition, results of volunteer human players and present the results of AIBirds 2018 competition.


title: On $\ell$-distance balanced product graphs

abstract: A graph $G$ is $\ell$-distance-balanced if for each pair of vertices $x$ and $y$ at distance $\ell$ in $G$, the number of vertices closer to $x$ than to $y$ is equal to the number of vertices closer to $y$ than to $x$. A complete characterization of $\ell$-distance-balanced corona products is given and a characterization of lexicographic products for $\ell \ge 3$, thus complementing known results for $\ell\in \{1,2\}$ and correcting an earlier related assertion. A sufficient condition on $H$ which guarantees that $K_n \,\square\, H$ is $\ell$-distance-balanced is given and it is proved that if $K_n \,\square\, H$ is $\ell$-distance-balanced, then $H$ is an $\ell$-distance-balanced graph. A known characterization of $1$-distance-balanced graphs is extended to $\ell$-distance-balanced graphs, again correcting an earlier claimed assertion.


title: Estimating Lower Limb Kinematics using a Lie Group Constrained EKF and a Reduced Wearable IMU Count

abstract: This paper presents an algorithm that makes novel use of a Lie group representation of position and orientation alongside a constrained extended Kalman filter (CEKF) to accurately estimate pelvis, thigh, and shank kinematics during walking using only three wearable inertial sensors. The algorithm iterates through the prediction update (kinematic equation), measurement update (pelvis height, zero velocity update, flat-floor assumption, and covariance limiter), and constraint update (formulation of hinged knee joints and ball-and-socket hip joints). The paper also describes a novel Lie group formulation of the assumptions implemented in the said measurement and constraint updates. Evaluation of the algorithm on nine healthy subjects who walked freely within a $4 \times 4$ m$^2$ room shows that the knee and hip joint angle root-mean-square errors (RMSEs) in the sagittal plane for free walking were $10.5 \pm 2.8^\circ$ and $9.7 \pm 3.3^\circ$, respectively, while the correlation coefficients (CCs) were $0.89 \pm 0.06$ and $0.78 \pm 0.09$, respectively. The evaluation demonstrates a promising application of Lie group representation to inertial motion capture under reduced-sensor-count configuration, improving the estimates (i.e., joint angle RMSEs and CCs) for dynamic motion, and enabling better convergence for our non-linear biomechanical constraints. To further improve performance, additional information relating the pelvis and ankle kinematics is needed.


title: On the Asymptotic Distribution of the Scan Statistic for Empirical Distributions

abstract: We investigate the asymptotic behavior of several variants of the scan statistic applied to empirical distributions, which can be applied to detect the presence of an anomalous interval with any length. Of particular interest is Studentized scan statistic that is preferable in practice. The main ingredients in the proof are Kolmogorov's theorem, a Poisson approximation, and recent technical results by Kabluchko et al (2014).


title: Crack-tip Plasticity and Intrinsic Toughening in Nano-sized Brittle Amorphous Carbon

abstract: Most monolithic brittle materials are vulnerable to the failure by cracks because of a lack of intrinsic toughening mechanisms, such as the plasticity in the vicinity of the crack front. As a result, most of the efforts to mitigate the sudden failure of brittle ceramics have been focused on developing the extrinsic toughening mechanisms that hinder crack propagation behind the tip, such as the fiber bridging. In this work, we experimentally demonstrate that the intrinsic toughening arises even in the brittle monolithic ceramic material such as diamond-like carbon (DLC) when its external dimension reduces down to sub-micron scales. This unique phenomenon owes its origin to the decrease of the crack driving force in the small samples, which in turn enables them to bear high enough stresses to activate the local atomic plasticity. Through nanomechanical tensile and bending experiments, electron energy loss spectroscopy analysis, and finite element method for stress distribution calculation, we confirmed that the local atomic plasticity associated with sp3 to sp2 rehybridization is responsible for the intrinsic toughening.


title: The Ivanov regularized Gauss-Newton method in Banach space with an a posteriori choice of the regularization radius

abstract: In this paper we consider the iteratively regularized Gauss-Newton method, where regularization is achieved by Ivanov regularization, i.e., by imposing a priori constraints on the solution. We propose an a posteriori choice of the regularization radius, based on an inexact Newton / discrepancy principle approach, prove convergence and convergence rates under a variational source condition as the noise level tends to zero, and provide an analysis of the discretization error. Our results are valid in general, possibly nonreflexive Banach spaces, including, e.g., $L^\infty$ as a preimage space. The theoretical findings are illustrated by numerical experiments.


title: Sparse Surface Constraints for Combining Physics-based Elasticity Simulation and Correspondence-Free Object Reconstruction

abstract: We address the problem to infer physical material parameters and boundary conditions from the observed motion of a homogeneous deformable object via the solution of an inverse problem. Parameters are estimated from potentially unreliable real-world data sources such as sparse observations without correspondences. We introduce a novel Lagrangian-Eulerian optimization formulation, including a cost function that penalizes differences to observations during an optimization run. This formulation matches correspondence-free, sparse observations from a single-view depth sequence with a finite element simulation of deformable bodies. In conjunction with an efficient hexahedral discretization and a stable, implicit formulation of collisions, our method can be used in demanding situation to recover a variety of material parameters, ranging from Young's modulus and Poisson ratio to gravity and stiffness damping, and even external boundaries. In a number of tests using synthetic datasets and real-world measurements, we analyse the robustness of our approach and the convergence behavior of the numerical optimization scheme.


title: Minimization based formulations of inverse problems and their regularization

abstract: The conventional way of formulating inverse problems such as identification of a (possibly infinite dimensional) parameter, is via some forward operator, which is the concatenation of the observation operator with the parameter-to-state-map for the underlying model. Recently, all-at-once formulations have been considered as an alternative to this reduced formulation, avoiding the use of a parameter-to-state map, which would sometimes lead to too restrictive conditions. Here the model and the observation are considered simultaneously as one large system with the state and the parameter as unknowns. A still more general formulation of inverse problems, containing both the reduced and the all-at-once formulation, but also the well-known and highly versatile so-called variational approach (also called Kohn-Vogelius functional approach) as special cases, is to formulate the inverse problem as a minimization problem -- instead of an equation -- for the state and parameter. Regularization can be incorporated via imposing constraints and/or adding regularization terms to the objective. In this paper, after giving a motivation by formulating the electrical impedance tomography (EIT) problem by means of the classical Kohn-Vogelius functional, we will dwell on the regularization aspects for such variational formulations in an abstract setting. Indeed, combination of regularization by constraints and by penalization leads to new methods that are applicable without solving forward problems. In particular, for the EIT problem we will consider a method employing box constraints in a very natural manner to incorporate the discrepancy principle for regularization parameter choice as well as a priori information on the searched for conductivity.


title: Odd supersymmetric Kronecker elliptic function and Yang-Baxter equations

abstract: We introduce an odd supersymmetric version of the Kronecker elliptic function. It satisfies the genus one Fay identity and supersymmetric version of the heat equation. As an application we construct an odd supersymmetric extensions of the elliptic $R$-matrices, which satisfy the classical and the associative Yang-Baxter equations.


title: SDSS J0159 as an outlier in the Mbh-sigma space: further clues to support a central tidal disruption event?

abstract: In this Letter, properties of black hole (BH) mass are well checked for the interesting object SDSS J0159, a changing-look AGN and also a host galaxy of a tidal disruption event (TDE). Through spectral absorption features, the stellar velocity dispersion of SDSS J0159 can be well measured as $\sigma\sim81~{\rm km/s}$, leading to SDSS J0159 being an apparent outlier in the \msig space, because of the BH mass estimated through the \msig relation about two magnitudes lower than the reported virial BH mass of about $10^8~{\rm M_\odot}$. After considerations of contributions of stellar debris from the central TDE to broad line emission clouds, the over-estimated virial BH mass could be well explained in SDSS J0159. Therefore, over-estimated virial BH masses through broad line properties in the \msig space could be treated as interesting clues to support central TDEs.


title: An order approach to SPDEs with antimonotone terms

abstract: We consider a class of parabolic stochastic partial differential equations featuring an antimonotone nonlinearity. The existence of unique maximal and minimal variational solutions is proved via a fixed-point argument for nondecreasing mappings in ordered spaces. This relies on the validity of a comparison principle.


title: Regularity of powers of quadratic sequences with applications to binomial ideals

abstract: In this article, we obtain an upper bound for the Castelnuovo-Mumford regularity of powers of an ideal generated by a homogeneous quadratic sequence in a polynomial ring in terms of the regularity of its related ideals and degrees of its generators. As a consequence, we compute upper bounds for the regularity of powers of several binomial ideals. We generalize a result of Matsuda and Murai to show that the regularity of $J^s_G$ is bounded below by $2s+\ell(G)-1$ for all $s \geq 1$, where $J_G$ denotes the binomial edge ideal of a graph $G$ and $\ell(G)$ is the length of a longest induced path in $G$. We compute the regularity of powers of binomial edge ideals of cycle graphs, star graphs, and balloon graphs explicitly. Also, we give sharp bounds for the regularity of powers of almost complete intersection binomial edge ideals and parity binomial edge ideals.


title: DialectGram: Detecting Dialectal Variation at Multiple Geographic Resolutions

abstract: Several computational models have been developed to detect and analyze dialect variation in recent years. Most of these models assume a predefined set of geographical regions over which they detect and analyze dialectal variation. However, dialect variation occurs at multiple levels of geographic resolution ranging from cities within a state, states within a country, and between countries across continents. In this work, we propose a model that enables detection of dialectal variation at multiple levels of geographic resolution obviating the need for a-priori definition of the resolution level. Our method DialectGram, learns dialect-sensitive word embeddings while being agnostic of the geographic resolution. Specifically it only requires one-time training and enables analysis of dialectal variation at a chosen resolution post-hoc -- a significant departure from prior models which need to be re-trained whenever the pre-defined set of regions changes. Furthermore, DialectGram explicitly models senses thus enabling one to estimate the proportion of each sense usage in any given region. Finally, we quantitatively evaluate our model against other baselines on a new evaluation dataset DialectSim (in English) and show that DialectGram can effectively model linguistic variation.


title: UVIT Open Cluster Study. II. Detection of extremely low mass white dwarfs and post-mass transfer binaries in M67

abstract: A detailed study of the ultraviolet (UV) bright stars in the old open star cluster, M67 is presented based on the far-UV observations using the {\it Ultra Violet Imaging Telescope} ({\it UVIT}) on {\it ASTROSAT}. The UV and UV-optical colour-magnitude diagrams (CMDs) along with overlaid isochrones are presented for the member stars, which include blue straggler stars (BSSs), triple systems, white dwarfs (WDs) and spectroscopic binaries (SB). The CMDs suggest the presence of excess UV flux in many members, which could be extrinsic or intrinsic to them. We construct multi-wavelength spectral energy distribution (SED) using photometric data from the {\it UVIT, Gaia} DR2, 2MASS and WISE surveys along with optical photometry. We fitted model SEDs to 7 WDs and find 4 of them have mass $>$ 0.5 \(M_\odot\) and cooling age of less than 200 Myr, thus demanding BSS progenitors. SED fits to 23 stars detect extremely low mass (ELM) WD companions to WOCS2007, WOCS6006 and WOCS2002, and a low mass WD to WOCS3001, which suggest these to be post mass transfer (MT) systems. 12 sources with possible WD companion need further confirmation. 9 sources have X-ray and excess UV flux, possibly arising out of stellar activity. This study demonstrates that UV observations are key to detect and characterise the ELM WDs in non-degenerate systems, which are ideal test beds to explore the formation pathways of these peculiar WDs. The increasing detection of post-MT systems among BSSs and main-sequence stars suggests a strong MT pathway and stellar interactions in M67.


title: Frame Soft Shrinkage Operators are Proximity Operators

abstract: In this paper, we show that the commonly used frame soft shrinkage operator, that maps a given vector ${\mathbf x} \in {\mathbb R}^{N}$ onto the vector ${\mathbf T}^{\dagger} S_{\gamma} {\mathbf T} {\mathbf x}$, is already a proximity operator, which can therefore be directly used in corresponding splitting algorithms. In our setting, the frame transform matrix ${\mathbf T} \in {\mathbb R}^{L \times N}$ with $L \ge N$ has full rank $N$, ${\mathbf T}^{\dagger}$ denotes the Moore-Penrose inverse of ${\mathbf T}$, and $S_{\gamma}$ is the usual soft shrinkage operator with threshold parameter $\gamma >0$. Our result generalizes the known assertion that ${\mathbf T}^{*} S_{\gamma} {\mathbf T}$ is the proximity operator of $\| {\mathbf T} \cdot \|_{1}$ if ${\mathbf T}$ is an orthogonal (square) matrix. It is well-known that for rectangular frame matrices ${\mathbf T}$ with $L > N$, the proximity operator of $\| {\mathbf T} \cdot \|_{1}$ does not have a closed representation and needs to be computed iteratively. We show that the frame soft shrinkage operator {${\mathbf T}^{\dagger} S_{\gamma} {\mathbf T}$} is a proximity operator as well, thereby motivating its application as a replacement of the exact proximity operator of $\| {\mathbf T} \cdot \|_{1}$. We further give an explanation, why the usage of the frame soft shrinkage operator still provides good results in various applications. In particular, we provide some properties of the subdifferential of the convex functional $\Phi$ which leads to the proximity operator ${\mathbf T}^{\dagger} S_{\gamma} {\mathbf T}$ and show that ${\mathbf T}^{\dagger} S_{\gamma} {\mathbf T}$ approximates $\textrm{prox}_{\|{\mathbf T} \cdot\|_{1}}$.


title: Motion Planning through Demonstration to Deal with Complex Motions in Assembly Process

abstract: Complex and skillful motions in actual assembly process are challenging for the robot to generate with existing motion planning approaches, because some key poses during the human assembly can be too skillful for the robot to realize automatically. In order to deal with this problem, this paper develops a motion planning method using skillful motions from demonstration, which can be applied to complete robotic assembly process including complex and skillful motions. In order to demonstrate conveniently without redundant third-party devices, we attach augmented reality (AR) markers to the manipulated object to track and capture poses of the object during the human assembly process, which are employed as key poses to execute motion planning by the planner. Derivative of every key pose serves as criterion to determine the priority of use of key poses in order to accelerate the motion planning. The effectiveness of the presented method is verified through some numerical examples and actual robot experiments.


title: Multi-level Gated Recurrent Neural Network for Dialog Act Classification

abstract: In this paper we focus on the problem of dialog act (DA) labelling. This problem has recently attracted a lot of attention as it is an important sub-part of an automatic question answering system, which is currently in great demand. Traditional methods tend to see this problem as a sequence labelling task and deals with it by applying classifiers with rich features. Most of the current neural network models still omit the sequential information in the conversation. Henceforth, we apply a novel multi-level gated recurrent neural network (GRNN) with non-textual information to predict the DA tag. Our model not only utilizes textual information, but also makes use of non-textual and contextual information. In comparison, our model has shown significant improvement over previous works on Switchboard Dialog Act (SWDA) task by over 6%.


title: The influence of data regularity in the critical exponent for a class of semilinear evolutions equations

abstract: In this paper we find the critical exponent for the global existence (in time) of small data solutions to the Cauchy problem for the semilinear dissipative evolution equations % \[ u_{tt}+(-\Delta)^\delta u_{tt}+(-\Delta)^\alpha u+(-\Delta)^\theta u_t=|u_t|^p, \quad t\geq 0,\,\, x\in\R^n,\] % with $p>1$, $2\theta \in [0, \alpha]$ and $\delta \in (\theta,\alpha]$. We show that, under additional regularity $\left(H^{\alpha+\delta}(\R^n)\cap L^{m}(\R^n) \right)\times \left(H^{2\delta}(\R^n)\cap L^{m}(\R^n)\right) $ for initial data, with $m\in (1,2]$, the critical exponent is given by $p_c=1+\frac{2m\theta}{n}$. The nonexistence of global solutions in the subcritical cases is proved, in the case of integers parameters $\alpha, \delta, \theta$, by using the test function method (under suitable sign assumptions on the initial data).


title: Rogers' mean value theorem for $S$-arithmetic Siegel transform and applications to the geometry of numbers

abstract: We prove higher moment formulas for Siegel transforms defined over the space of unimodular $S$-lattices in $\mathbb Q_S^d$, $d\ge 3$, where in the real case, the formulas are introduced by Rogers (1955). As applications, we obtain the random statements of Gauss circle problem for any convex sets in $\mathbb Q_S^d$ containing the origin and of the effective Oppenheim conjecture for $S$-arithmetic quadratic forms.


title: The Micro Solar Flare Apparutus (MiSolFA) Instrument Concept

abstract: The Micro Solar-Flare Apparatus (MiSolFA) is a compact X-ray imaging spectrometer designed for a small 6U micro-satellite. As a relatively inexpensive yet capable Earth-orbiting instrument, MiSolFA is designed to image the high-energy regions of solar flares from a different perspective than that of Solar Orbiter's STIX, operating from a highly elliptical heliocentric orbit. Two instruments working together in this way would provide a 3-dimensional view of X-ray emitting regions and can bypass the dynamic range limitation preventing simultaneous coronal and chromospheric imaging. Stereoscopic X-ray observations would also contain valuable information about the anisotropy of the flare-accelerated electron distribution. To perform these types of observations, MiSolFA must be capable of imaging sources with energies between 10 and 100 keV, with 10 arcsec angular resolution. MiSolFA's Imager will be the most compact X-ray imaging spectrometer in space. Scaling down the volume by a factor of ten from previous instrument designs requires special considerations. Here we present the design principles of the MiSolFA X-ray optics, discuss the necessary compromises, and evaluate the performance of the Engineering Model.


title: A Note on Directed Treewidth

abstract: We characterise digraphs of directed treewidth one in terms of forbidden butterfly minors. Moreover, we show that there is a linear relation between the hypertree-width of the dual of the cycle hypergraph of D, i. e. the hypergraph with vertices V (D) where every hyperedge corresponds to a directed cycle in D, and the directed treewidth of D. Based on this we show that a digraph has directed treewidth one if and only if its cycle hypergraph is a hypertree.


title: Asymptotics of torus equivariant Szeg\H{o} kernel on a compact CR manifold

abstract: For a compact CR manifold $(X,T^{1,0}X)$ of dimension $2n+1$, $n\geq 2$, admitting a $S^1\times T^d$ action, if the lattice point $(-p_1,\cdots,-p_d)\in\mathbb{Z}^{d}$ is a regular value of the associate CR moment map $\mu$, then we establish the asymptotic expansion of the torus equivariant Szeg\H{o} kernel $\Pi^{(0)}_{m,mp_1,\cdots,mp_d}(x,y)$ as $m\to +\infty$ under certain assumptions of the positivity of Levi form and the torus action on $Y:=\mu^{-1}(-p_1,\cdots,-p_d)$.


title: Manufacturing of 3D-metallic electromagnetic metamaterials for feedhorns used in radioastronomy and satellite communications

abstract: The electromagnetic metamaterials at microwaves frequencies are well established in industrial applications nowadays. Recent research has shown that a specific kind of metallic metamaterial can contribute to improve the performance of the microwave feedhorns used in radioastronomy and satellite telecommunications. In this article, we theoretically justify this argument finding a new type of meta-ring with a record bandwidth in terms of cross-polarization, and we explore the manufacturability of these particular metamaterials, successfully fabricating a meta-ring and applying it to a novel and very compact prototype microwave antenna which covers a 2:1 bandwidth.


title: On the eigenvalue region of permutative doubly stochastic matrices

abstract: This paper is devoted to the study of eigenvalue region of the doubly stochastic matrices which are also permutative, that is, each row of such a matrix is a permutation of any other row. We call these matrices as permutative doubly stochastic (PDS) matrices. A method is proposed to obtain symbolic representation of all PDS matrices of order $n$ by finding equivalence classes of permutationally similar symbolic PDS matrices. This is a hard problem in general as it boils down to finding all Latin squares of order $n.$ However, explicit symbolic representation of matrices in these classes are determined in this paper when $n=2, 3, 4.$ It is shown that eigenvalue regions are same for doubly stochastic matrices and PDS matrices when $n=2, 3.$ It is also established that this is no longer true for $n=4,$ and two line segments are determined which belong to the eigenvalue region of doubly stochastic matrices but not in the eigenvalue region of PDS matrices. Thus a conjecture is developed for the boundary of the eigenvalue region of PDS matrices of order $4.$ Finally, inclusion theorems for eigenvalue region of PDS matrices are proved when $n\geq 2.$


title: Non-unitary operations for ground-state calculations in near term quantum computers

abstract: We introduce a quantum Monte Carlo inspired reweighting scheme to accurately compute energies from optimally short quantum circuits. This effectively hybrid quantum-classical approach features both entanglement provided by a short quantum circuit, and the presence of an effective non-unitary operator at the same time. The functional form of this projector is borrowed from classical computation and is able to filter-out high-energy components generated by a sub-optimal variational quantum heuristic ansatz. The accuracy of this approach is demonstrated numerically in finding energies of entangled ground-states of many-body lattice models. We demonstrate a practical implementation on IBM quantum hardwares up to an 8 qubits circuit.


title: Holographic entanglement entropy and complexity of microstate geometries

abstract: We study holographic entanglement entropy and holographic complexity in a two-charge, $\frac{1}{4}$-BPS family of solutions of type IIB supergravity, controlled by one dimensionless parameter. All the geometries in this family are asymptotically AdS$_3 \times \mathbb{S}^3 \times \mathbb{T}^4$ and, varying the parameter that controls them, they interpolates between the global AdS$_3 \times \mathbb{S}^3 \times \mathbb{T}^4$ and the massless BTZ$_3 \times \mathbb{S}^3 \times \mathbb{T}^4$ geometry. Due to AdS/CFT duality, these geometries are dual to pure CFT heavy states. We find that there is no emergence of entanglement shadow for all the values of the parameter and we discuss the relation with the massless BTZ result, underlying the relevance of the nature of the dual states. We also compute the holographic complexity of formation of these geometries, finding a nice monotonic function that interpolates between the pure AdS$_3$ result and the massless BTZ one.


title: Fundamentals of Horn Antennas with Low Cross-polarization Levels for Radioastronomy and Satellite Communications

abstract: The literature on horn antennas dedicated to radio astronomy and satellite communications applications is very extensive and at times disjointed, relevant contributions being distributed as far back as from the 60's until the present today. This work combines a compact but complete review of the different theories, methodologies and techniques used to describe corrugations and metamaterials in their application to feedhorns used in radio astronomy and satellite communications along with some new work to help explain the theory in a more practical way. Starting with the hybrid-mode condition firstly corrugated horns are explained describing soft and hard boundaries and also the theory from a plasmonic optics point of view. Following this the use of metamaterials in order to design horn antennas with quasi-null cross-polarization and low E-Plane sidelobes level over an ultra-wideband is described. The objective of this work is to help to ease the learning curve of the post graduate students and young professionals dedicated to these tasks, and try to inspire the work of the senior professionals toward a new direction and approach.


title: Few-Shot Abstract Visual Reasoning With Spectral Features

abstract: We present an image preprocessing technique capable of improving the performance of few-shot classifiers on abstract visual reasoning tasks. Many visual reasoning tasks with abstract features are easy for humans to learn with few examples but very difficult for computer vision approaches with the same number of samples, despite the ability for deep learning models to learn abstract features. Same-different (SD) problems represent a type of visual reasoning task requiring knowledge of pattern repetition within individual images, and modern computer vision approaches have largely faltered on these classification problems, even when provided with vast amounts of training data. We propose a simple method for solving these problems based on the insight that removing peaks from the amplitude spectrum of an image is capable of emphasizing the unique parts of the image. When combined with several classifiers, our method performs well on the SD SVRT tasks with few-shot learning, improving upon the best comparable results on all tasks, with average absolute accuracy increases nearly 40% for some classifiers. In particular, we find that combining Relational Networks with this image preprocessing approach improves their performance from chance-level to over 90% accuracy on several SD tasks.


title: Boomerang: Redundancy Improves Latency and Throughput in Payment-Channel Networks

abstract: In multi-path routing schemes for payment-channel networks, Alice transfers funds to Bob by splitting them into partial payments and routing them along multiple paths. Undisclosed channel balances and mismatched transaction fees cause delays and failures on some payment paths. For atomic transfer schemes, these straggling paths stall the whole transfer. We show that the latency of transfers reduces when redundant payment paths are added. This frees up liquidity in payment channels and hence increases the throughput of the network. We devise Boomerang, a generic technique to be used on top of multi-path routing schemes to construct redundant payment paths free of counterparty risk. In our experiments, applying Boomerang to a baseline routing scheme leads to 40% latency reduction and 2x throughput increase. We build on ideas from publicly verifiable secret sharing, such that Alice learns a secret of Bob iff Bob overdraws funds from the redundant paths. Funds are forwarded using Boomerang contracts, which allow Alice to revert the transfer iff she has learned Bob's secret. We implement the Boomerang contract in Bitcoin Script.


title: On the Assouad dimension of differences of self-similar fractals

abstract: If $X$ is a set with finite Assouad dimension, it is known that the Assouad dimension of $X-X$ does not necessarily obey any non-trivial bound in terms of the Assouad dimension of $X$. In this paper, we consider self-similar sets on the real line and we show that if a particular weak separation condition is satisfied, then the Assouad dimension of the set of differences is bounded above by twice the Assouad dimension of the set itself. We then apply this result to a particular class of asymmetric Cantor sets.


title: Ergodic capacity evaluation of wireless THz fiber extenders

abstract: This paper focuses on delivering quantified results for the evaluation of the aggregated impact of stochastic antenna misalignment, multipath fading and hardware imperfections on the terahertz (THz) wireless fiber extenders. In this line, we present the appropriate signal model that accommodates the different technical and environmental parameters. In particular, it takes into consideration the antenna gains, the central frequency, the transmission range, the environmental conditions, i.e. temperature, humidity and pressure, the spatial jitter between the transmitter and receiver antennas, which results to antenna misalignment, the intensity of hardware imperfections, and the stochastic behavior of the wireless channel. Based on this model, we assess the joint impact of antenna misalignment and multipath fading, by providing Monte Carlo simulation results for the channels ergodic capacity.


title: Enriching Visual with Verbal Explanations for Relational Concepts -- Combining LIME with Aleph

abstract: With the increasing number of deep learning applications, there is a growing demand for explanations. Visual explanations provide information about which parts of an image are relevant for a classifier's decision. However, highlighting of image parts (e.g., an eye) cannot capture the relevance of a specific feature value for a class (e.g., that the eye is wide open). Furthermore, highlighting cannot convey whether the classification depends on the mere presence of parts or on a specific spatial relation between them. Consequently, we present an approach that is capable of explaining a classifier's decision in terms of logic rules obtained by the Inductive Logic Programming system Aleph. The examples and the background knowledge needed for Aleph are based on the explanation generation method LIME. We demonstrate our approach with images of a blocksworld domain. First, we show that our approach is capable of identifying a single relation as important explanatory construct. Afterwards, we present the more complex relational concept of towers. Finally, we show how the generated relational rules can be explicitly related with the input image, resulting in richer explanations.


title: Active Metasurfaces as a Platform for Capacitive Wireless Power Transfer Supporting Multiple Receivers

abstract: As wireless power transfer (WPT) repeaters, metasurfaces can enhance field coupling, improving the WPT operation. In this paper, we show that metasurfaces can also be used as transmitters of capacitive WPT systems. Such a metasurface-based WPT system can feed multiple receivers and provide robust operation against load or position variations. We formulate an analytical model of such WPT systems. We also discuss the exact solution of a particular example with $N$ identical receivers.