title: An analysis pipeline for CHIME/FRB full-array baseband data

abstract: The Canadian Hydrogen Intensity Mapping Experiment (CHIME) has become a leading facility for detecting fast radio bursts (FRBs) through the CHIME/FRB backend. CHIME/FRB searches for fast transients in polarization-summed intensity data streams that have 24-kHz spectral and 1-ms temporal resolution. The intensity beams are pointed to pre-determined locations in the sky. A triggered baseband system records the coherent electric field measured by each antenna in the CHIME array at the time of FRB detections. Here we describe the analysis techniques and automated pipeline developed to process these full-array baseband data recordings. Whereas the real-time FRB detection pipeline has a localization limit of several arcminutes, offline analysis of baseband data yields source localizations with sub-arcminute precision, as characterized by using a sample of pulsars and one repeating FRB with known positions. The baseband pipeline also enables resolving temporal substructure on a micro-second scale and the study of polarization including detections of Faraday rotation.


title: Ultrafast single-photon detection based on optical Kerr gates at GHz rates

abstract: The ultrafast detection of single photons is currently restricted by the limited time resolution (a few picoseconds) of the available single-photon detectors. Optical gates offer a faster time resolution, but so far they have been mostly applied to ensembles of emitters. Here, we demonstrate through a semi-analytical model that the ultrafast time-resolved detection of single quantum emitters can be possible using an optical-Kerr-shutter (OKS) at GHz rates under focused illumination. This technique provides sub-picosecond time resolution, while keeping a gate efficiency at around 85 \%. These findings lay the ground for future experimental investigations on the ultrafast dynamics of single quantum emitters, with implications for quantum nanophotonics and molecular physics


title: Hybrid Stars with Hyperons and Strange Quark Matter

abstract: We consider the possibility of having hybrid stars with a phase transition from hadrons into strange matter at the core of a neutron star in b equilibrium. For the hadron phase equation of state (EoS) the quark-meson coupling model is used, while the MIT bag model is used to describe the strange matter phase. The phase transition is treated using the Gibbs construction method and results are calculated and checked against the observational constaints imposed on the EoS. The results are also compared with the hadronic EoS including hyperons, F-QMC700


title: Mechanical Orthosis Mechanism to Facilitate the Extension of the Leg

abstract: This paper presents the design of a mechanism to help people using mechanical orthoses to extend their legs easily and lock the knee joint of their orthosis. Many people living with spinal cord injury are living with paraplegia and thus need orthoses to be able to stand and walk. Mechanical orthoses are common types of orthopedic devices. This paper proposes to add a mechanism that creates a lever arm just below the knee joint to help the user extend the leg. The development of the mechanism is first presented, then followed by the results of the tests that were conducted.


title: Mechanical Design Improvement of a Passive Device to Assist Eating in People Living with Movement Disorders

abstract: Many people living with neurological disorders, such as cerebral palsy, stroke, muscular dystrophy or dystonia experience upper limb impairments (muscle spasticity, loss of selective motor control, muscle weakness or tremors) and have difficulty to eat independently. The general goal of this project is to develop a new device to assist with eating, aimed at stabilizing the movement of people who have movement disorders. A first iteration of the device was validated with children living with cerebral palsy and showed promising results. This validation however pointed out important drawbacks. This paper presents an iteration of the design which includes a new mechanism reducing the required arm elevation, improving safety through a compliant utensil attachment, and improving damping and other static balancing factors.


title: Two-dimensional Golod complexes

abstract: We characterize two-dimensional Golod complexes combinatorially by vertex-breakability and topologically by the fat-wedge filtration of a polyhedral product. Applying the characterization, we consider a difference between Golodness over fields and rings, which enables us to give a two-dimensional simple Golod complex over any field such that the corresponding moment-angle complex is not a suspension.


title: Quantitative estimates for uniformly-rotating vortex patches

abstract: In this paper, we derive some quantitative estimates for uniformly-rotating vortex patches. We prove that if a non-radial simply-connected patch $D$ is uniformly-rotating with small angular velocity $0 < \Omega \ll 1$, then the outmost point of the patch must be far from the center of rotation, with distance at least of order $\Omega^{-1/2}$. For $m$-fold symmetric simply-connected rotating patches, we show that their angular velocity must be close to $\frac{1}{2}$ for $m\gg 1$ with the difference at most $O(1/m)$, and also obtain estimates on $L^{\infty}$ norm of the polar graph which parametrizes the boundary.


title: Effects of substrate-surface reconstruction and orientation on spin-valley polarization in MoTe$_2$/EuO

abstract: We investigate the spin-valley polarization in MoTe$_2$ monolayer on (111) and (001) surfaces of ferromagnetic semiconductor EuO based on first-principles calculations. We consider surface reconstructions for EuO(111). We find that there is no direct chemical bonding between the reconstructed EuO(111) and the MoTe$_2$ overlayer, in contrast to the case of the ideal EuO(111). However, there is a strong hybridization between the states of MoTe$_2$ and the substrate states, which has a substantial impact on the valleys. The valley polarization due to the magnetic proximity effect is dependent on the detail of the interface structure, which is in the range of a few meV to about 40 meV. These values are at least one order of magnitude smaller than that induced by the ideal EuO(111). When the MoTe$_2$ monolayer is interfaced with EuO(001), the valley polarization is about 3.2 meV, insensitive to the interface structure. By a low-energy effective Hamiltonian model, the effective Zeeman field induced by EuO(001) is about 27 T, comparable to that for WSe$_2$/EuS obtained by experiment.


title: Around the Danzer Problem and the Construction of Dense Forests

abstract: A 1965 problem due to Danzer asks whether there exists a set with finite density in Euclidean space intersecting any convex body of volume one. A suitable weakening of the volume constraint leads to the (much more recent) problem of constructing \emph{dense forests}. These are discrete point sets getting uniformly close to long enough line segments. Progress towards these problems have so far involved a wide range of ideas surrounding areas as varied as combinatorial and computation geometry, convex geometry, Diophantine approximation, discrepancy theory, the theory of dynamical systems, the theory of exponential sums, Fourier analysis, homogeneous dynamics, the mathematical theory of quasicrystals and probability theory. The goal of this paper is to survey the known results related to the Danzer Problem and to the construction of dense forests, to generalise some of them and to state a number of open problems to make further progress towards a solution to this longstanding question.

categories: math.NT math-ph math.CO math.MG math.MP math.PR


title: Late stages in the ordering of magnetic skyrmion lattices

abstract: The late-stage ordering of interacting magnetic skyrmions is studied numerically through extensive Langevin molecular dynamics simulations. Defining skyrmion displacements that change the connectivity of cells obtained in a Voronoi tesselation as events, we investigate event histograms as a function of the time elapsed since preparing the system as well as the histograms of consecutive events as a function of the time separating these two events. These histograms, which provide unique insights into the transient properties during the ordering process of skyrmion matter, show a characteristic behavior that allows the Magnus-force dominated regime, where the Magnus force accelerates the relaxation process, to be distinguished from the noise-dominated regime, where the Magnus force enhances the effects of thermal noise. In the Magnus-force dominated regime the different histograms display power-law tails with exponents that depend on the strength of the Magnus force.


title: The measurement of Navier slip on individual nanoparticles in liquid

abstract: The Navier slip condition describes the motion of a liquid, relative to a neighboring solid surface, with its characteristic Navier slip length being a constitutive property of the solid-liquid interface. Measurement of this slip length is complicated by its small magnitude, expected in the nanometer range based on molecular simulations. Here, we report an experimental technique that interrogates the Navier slip length on individual nanoparticles immersed in liquid, with sub-nanometer precision. Proof-of-principle experiments on individual, citrate-stabilized, gold nanoparticles in water give a constant slip length of 2.7$\pm$0.6 nm (95% C.I.) - independent of particle size. Achieving this feature of size independence is central to any measurement of this constitutive property, which is facilitated through the use of individual particles of varying radii. This demonstration motivates studies that can now validate the wealth of existing molecular simulation data on slip.


title: On Distributionally Robust Multistage Convex Optimization: New Algorithms and Complexity Analysis

abstract: This paper presents an algorithmic study and complexity analysis for solving distributionally robust multistage convex optimization (DR-MCO). We generalize the usual consecutive dual dynamic programming (DDP) algorithm to DR-MCO and propose a new nonconsecutive DDP algorithm that explores the stages in an adaptive fashion. We introduce dual bounds in the DDP recursions to prevent the growth of Lipschitz constants of the dual approximations caused by recursive cutting plane methods. We then provide a thorough subproblem-oracle-based complexity analysis of the proposed algorithms, proving both upper complexity bounds and a matching lower bound. To the best of our knowledge, this is the first nonasymptotic complexity result for DDP-type algorithms on DR-MCO, which reveals that in some practical settings the new nonconsecutive DDP algorithm scales linearly with respect to the number of stages. Numerical examples are given to show the effectiveness of the proposed nonconsecutive DDP algorithm and the dual-bounding technique, including the reduction of the computation time or the number of subproblem oracle evaluations, and the capability to solve problems without relatively complete recourse.


title: Taurus: Lightweight Parallel Logging for In-Memory Database Management Systems (Extended Version)

abstract: Existing single-stream logging schemes are unsuitable for in-memory database management systems (DBMSs) as the single log is often a performance bottleneck. To overcome this problem, we present Taurus, an efficient parallel logging scheme that uses multiple log streams, and is compatible with both data and command logging. Taurus tracks and encodes transaction dependencies using a vector of log sequence numbers (LSNs). These vectors ensure that the dependencies are fully captured in logging and correctly enforced in recovery. Our experimental evaluation with an in-memory DBMS shows that Taurus's parallel logging achieves up to 9.9x and 2.9x speedups over single-streamed data logging and command logging, respectively. It also enables the DBMS to recover up to 22.9x and 75.6x faster than these baselines for data and command logging, respectively. We also compare Taurus with two state-of-the-art parallel logging schemes and show that the DBMS achieves up to 2.8x better performance on NVMe drives and 9.2x on HDDs.


title: Ab-initio study of electronic and magnetic properties of Mn$_2$RuZ/MgO (001) heterojunctions (Z= Al, Ga, Si, Ge)

abstract: Using first-principles calculations, we studied Mn$_2$RuZ (Z=Al, Ga, Si, Ge) and their heterojunctions with MgO along (001) direction. All these alloys possess Hg$_2$CuTi-type inverse Heusler alloy structure and ferrimagnetic ground state. Our study reveals the half-metallic electronic structure with highly spin-polarized $\Delta_1$ band, which is robust against atomic disorder. Next we studied the electronic structure of Mn$_2$RuAl/MgO and Mn$_2$RuGe/MgO heterojunctions. We found that the MnAl- or MnGe-terminated interface is energetically more favorable compared to the MnRu-terminated interface. Interfacial states appear at the Fermi level in the minority-spin gap for the Mn$_2$RuGe/MgO junction. We discuss the origin of these interfacial states in terms of local environment around each constituent atom. On the other hand, in the Mn$_2$RuAl/MgO junction, high spin polarization of bulk Mn$_2$RuAl is preserved independent of its termination.


title: Finite density effects on chiral symmetry breaking in a magnetic field in 2+1 dimensions from holography

abstract: In this work we study finite density effects in spontaneous chiral symmetry breaking as well as chiral phase transition under the influence of a background magnetic field in $ 2+1 $ dimensions. For this purpose, we use an improved holographic softwall model based on an interpolated dilaton profile. We find inverse magnetic catalysis at finite density. We observe that the chiral condensate decreases as the density increases, and the two effects (addition of magnetic field and chemical potential) sum up decreasing even more the chiral condensate.


title: Choice-free duality for orthocomplemented lattices by means of spectral spaces

abstract: The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander's Subbase Theorem, which asserts that a topological space $X$ is compact if every subbasic open cover of $X$ admits of a finite subcover. This is an easy consequence of the Ultrafilter Theorem - whose proof depends upon Zorn's Lemma, which is well known to be equivalent to the Axiom of Choice. Within this work, we give a choice-free topological representation of orthocomplemented lattices by means of a special subclass of spectral spaces; choice-free in the sense that our representation avoids use of Alexander's Subbase Theorem, along with its associated nonconstructive choice principles. We then introduce a new subclass of spectral spaces which we call \emph{upper Vietoris orthospaces} in order to characterize (up to homeomorphism and isomorphism) the spectral space of proper lattice filters used in our representation. It is then shown how our constructions give rise to a choice-free dual equivalence of categories between the category of orthocomplemented lattices and the dual category of upper Vietoris orthospaces. Our duality combines Bezhanishvili and Holliday's choice-free spectral space approach to Stone duality for Boolean algebras with Goldblatt and Bimb\'o's choice-dependent orthospace approach to Stone duality for orthocomplemented lattices.


title: AlphaZero Based Post-Storm Repair Crew Dispatch for Distribution Grid Restoration

abstract: Natural disasters such as storms usually bring significant damages to distribution grids. This paper investigates the optimal routing of utility vehicles to restore outages in the distribution grid as fast as possible after a storm. First, the poststorm repair crew dispatch task with multiple utility vehicles is formulated as a sequential stochastic optimization problem. In the formulated optimization model, the belief state of the power grid is updated according to the phone calls from customers and the information collected by utility vehicles. Second, an AlphaZero[1] based utility vehicle routing (AlphaZero-UVR) approach is developed to achieve the real-time dispatching of the repair crews. The proposed AlphaZero-UVR approach combines deep neural networks with stochastic Monte-Carlo tree search (MCTS) to give a lookahead search decisions, which can learn to navigate repair crews without human guidance. Simulation results show that the proposed approach can efficiently navigate crews to repair all outages.


title: Fission Dynamics of Compound Nuclei: Pairing versus Fluctuations

abstract: Energy dependence of fission observables is a key issue for wide nuclear applications. We studied real-time fission dynamics from low-energy to high excitations in the compound nucleus $^{240}$Pu with the time-dependent Hartree-Fock+BCS approach. It is shown that the evolution time of the later phase of fission towards scission is considerably lengthened at finite temperature. As the role of dynamical pairing is vanishing at high excitations, the random transition between single-particle levels around the Fermi surface to mimic thermal fluctuations is indispensable to drive fission. The obtained fission yields and total kinetic energies with fluctuations can be divided into two asymmetric scission channels, namely S1 and S2, which explain well experimental results, and give microscopic support to the Brosa model. With increasing fluctuations, S2 channel takes over S1 channel and the spreading fission observables are obtained.


title: The chemical signature of jet-driven hypernovae

abstract: Hypernovae powered by magnetic jets launched from the surface of rapidly rotating millisecond magnetars are one of the leading models to explain broad-lined Type Ic supernovae (SNe Ic-BL), and have been implicated as an important source of metal enrichment in the early Universe. We investigate the nucleosynthesis in such jet-driven hypernovae using a parameterised, but physically motivated, approach that analytically relates an artificially injected jet energy flux to the power available from the energy in differential rotation in the proto-neutron star. We find ejected $^{56}\mathrm{Ni}$ masses of $0.05\,\mathrm{M}_\odot - 0.45\,\mathrm{M}_\odot$ in our most energetic models with explosion energy $>10^{52}\,\mathrm{erg}$. This is in good agreement with the range of observationally inferred values for SNe Ic-BL. The $^{56}\mathrm{Ni}$ is mostly synthesised in the shocked stellar envelope, and is therefore only moderately sensitive to the jet composition. Jets with a high electron fraction $Y_\mathrm{e}=0.5$ eject more $^{56}\mathrm{Ni}$ by a factor of 2 than neutron-rich jets. We can obtain chemical abundance profiles in good agreement with the average chemical signature observed in extremely metal-poor (EMP) stars presumably polluted by hypernova ejecta. Notably, $\mathrm{[Zn/Fe]} \gtrsim 0.5$ is consistently produced in our models. For neutron-rich jets, there is a significant r-process component, and agreement with EMP star abundances in fact requires either a limited contribution from neutron-rich jets or a stronger dilution of r-process material in the interstellar medium than for the slow SN ejecta outside the jet. The high $\mathrm{[C/Fe]}\gtrsim 0.7$ observed in many EMP stars cannot be consistently achieved due to the large mass of iron in the ejecta, however, and remains a challenge for jet-driven hypernovae based on the magneto-rotational mechanism.


title: Diffusion Monte Carlo evaluation of disiloxane linearization barrier

abstract: The disiloxane molecule is a prime example of silicate compounds containing the Si-O-Si bridge. The molecule is of significant interest within the field of quantum chemistry, owing to the difficulty in theoretically predicting its properties. Herein, the linearisation barrier of disiloxane is investigated using a fixed-node diffusion Monte Carlo (FNDMC) approach, which is currently the most reliable {\it ab initio} method in accounting for an electronic correlation. Calculations utilizing the density functional theory (DFT) and the coupled cluster method with single and double substitutions, including noniterative triples (CCSD(T))are carried out alongside FNDMC for comparison. Two families of basis sets are used to investigate the disiloxane linearisation barrier - Dunning's correlation-consistent basis sets cc-pV$x$Z ($x = $ D, T, and Q) and their core-valence correlated counterparts, cc-pCV$x$Z. It is concluded that FNDMC successfully predicts the disiloxane linearisation barrier and does not depend on the completeness of the basis sets as much as DFT or CCSD(T), thus establishing its suitability.


title: Flexible mean field variational inference using mixtures of non-overlapping exponential families

abstract: Sparse models are desirable for many applications across diverse domains as they can perform automatic variable selection, aid interpretability, and provide regularization. When fitting sparse models in a Bayesian framework, however, analytically obtaining a posterior distribution over the parameters of interest is intractable for all but the simplest cases. As a result practitioners must rely on either sampling algorithms such as Markov chain Monte Carlo or variational methods to obtain an approximate posterior. Mean field variational inference is a particularly simple and popular framework that is often amenable to analytically deriving closed-form parameter updates. When all distributions in the model are members of exponential families and are conditionally conjugate, optimization schemes can often be derived by hand. Yet, I show that using standard mean field variational inference can fail to produce sensible results for models with sparsity-inducing priors, such as the spike-and-slab. Fortunately, such pathological behavior can be remedied as I show that mixtures of exponential family distributions with non-overlapping support form an exponential family. In particular, any mixture of a diffuse exponential family and a point mass at zero to model sparsity forms an exponential family. Furthermore, specific choices of these distributions maintain conditional conjugacy. I use two applications to motivate these results: one from statistical genetics that has connections to generalized least squares with a spike-and-slab prior on the regression coefficients; and sparse probabilistic principal component analysis. The theoretical results presented here are broadly applicable beyond these two examples.


title: Electron microscopy and spectroscopic study of structural changes, electronic properties and conductivity in annealed Li$_x$CoO$_2$

abstract: Chemically exfoliated nanoscale few-layer thin Li$_x$CoO$_2$ samples are studied as function of annealing at various temperatures, using transmission electron microscopy (TEM) and Electron Energy Loss Spectroscopies (EELS), probing the O-K, Co-L$_{2,3}$ spectra along with low energy interband transitions. These spectra are compared with first-principles DFT calculations of -Im$[\varepsilon^{-1}(q,\omega)]$ and O-2p Partial Densities of States weighted by dipole matrix elements with the core wavefunction and including the O-1s core-hole and with known trends of the L$_2$/L$_3$ peak ratio to average Co valence. Trends in these spectra under the annealing procedures are established and correlated with the structural phase changes observed from diffraction TEM and High Resolution TEM images. The results are also correlated with conductivity measurements on samples subjected to the same annealing procedures. A gradual disordering of the Li and Co cations in the lattice is observed starting from a slight distortion of the pure LiCoO$_2$ $R\bar{3}m$ to $C2/m$ due to the lower Li content, followed by a $P2/m$ phase forming at 200$^o$C indicative of Li-vacancy ordering, formation of a spinel type $Fd\bar{3}m$ phase around 250$^o$C and ultimately a rocksalt type $Fm\bar{3}m$ phase above 350$^o$C. This disordering leads to a lowering of the band gap as established by low energy EELS. The O-K spectra of the rocksalt phase are only reproduced by a calculation for pure CoO and not for a model with random distribution of Li and Co. This indicates that there may be a loss of Li from the rocksalt regions of the sample at these higher temperatures. The conductivity measurements indicate a gradual drop in conductivity above 200$^o$C, which is clearly related to the more Li-Co interdiffused phases, in which a low-spin electronic structure is no longer valid and stronger correlation effects are expected.


title: Long-term Stability of Bilayer MoS2 in Ambient Air

abstract: We report that chemical vapor deposition (CVD) grown bilayer and thicker-layered MoS2 are structurally and optically stable under ambient conditions, in comparison to CVD-grown monolayer MoS2 and other transition metal dichalcogenides (TMDs) that have been reported to degrade under the same conditions, hindering their many potential applications. We present atomic force microscopy (AFM), and Raman and photoluminescence (PL) spectroscopy measurements of as-grown and preheated multilayer MoS2 after exposure to ambient conditions for periods of up to 2 years. The AFM images show that, under ambient conditions, as-grown and preheated bilayer and thicker-layered MoS2 films do not exhibit the growth of dendrites that is characteristic of monolayer degradation. Dendrites are observed to stop at the monolayer-bilayer boundary. Raman and PL spectra of the aged bilayer and thicker-layered films are comparable to those of as-grown films. The greater stability of bilayers and thicker layers supports a previously reported mechanism for monolayer degradation involving F\"orster resonance energy transfer. Our results show that bilayer and thicker-layered TMDs are promising materials for applications requiring ambient stability.


title: Diffeomorphism Invariance Demands Conformal Anomalies

abstract: We study a series of the Wess-Zumino actions obtained by repeatedly integrating conformal anomalies with respect to the conformal-factor field that appear at higher loops. We show that they arise as physical quantities required to make nonlocal loop correction terms diffeomorphism invariant. Specifically, in a conformally flat spacetime $ds^2=e^{2\phi}(-d\eta^2 + d{\bf x}^2)$, we find that effective actions are described in terms of momentum squared expressed as a physical $Q^2 = q^2/e^{2\phi}$ for $q^2$ measured by the flat metric, which recalls the relationship between physical momentum and comoving momentum in cosmology. It is confirmed by calculating the effective action of QED in such a curved spacetime at the 3-loop level using dimensional regularization. The same applies to the case of QCD, in which we show that the effective action can be summarized in the form of the reciprocal of a running coupling constant squared described by the physical momentum. We also see that the same holds for renormalizable quantum conformal gravity and that conformal anomalies are indispensable for formulating the theory.


title: Scaling Hamiltonian Monte Carlo Inference for Bayesian Neural Networks with Symmetric Splitting

abstract: Hamiltonian Monte Carlo (HMC) is a Markov chain Monte Carlo (MCMC) approach that exhibits favourable exploration properties in high-dimensional models such as neural networks. Unfortunately, HMC has limited use in large-data regimes and little work has explored suitable approaches that aim to preserve the entire Hamiltonian. In our work, we introduce a new symmetric integration scheme for split HMC that does not rely on stochastic gradients. We show that our new formulation is more efficient than previous approaches and is easy to implement with a single GPU. As a result, we are able to perform full HMC over common deep learning architectures using entire data sets. In addition, when we compare with stochastic gradient MCMC, we show that our method achieves better performance in both accuracy and uncertainty quantification. Our approach demonstrates HMC as a feasible option when considering inference schemes for large-scale machine learning problems.


title: Rotation Averaging with Attention Graph Neural Networks

abstract: In this paper we propose a real-time and robust solution to large-scale multiple rotation averaging. Until recently, Multiple rotation averaging problem had been solved using conventional iterative optimization algorithms. Such methods employed robust cost functions that were chosen based on assumptions made about the sensor noise and outlier distribution. In practice, these assumptions do not always fit real datasets very well. A recent work showed that the noise distribution could be learnt using a graph neural network. This solution required a second network for outlier detection and removal as the averaging network was sensitive to a poor initialization. In this paper we propose a single-stage graph neural network that can robustly perform rotation averaging in the presence of noise and outliers. Our method uses all observations, suppressing outliers effects through the use of weighted averaging and an attention mechanism within the network design. The result is a network that is faster, more robust and can be trained with less samples than the previous neural approach, ultimately outperforming conventional iterative algorithms in accuracy and in inference times.


title: Nodal auxiliary a posteriori error estimates

abstract: We introduce and explain key relations between a posteriori error estimates and subspace correction methods viewed as preconditioners for problems in infinite dimensional Hilbert spaces. We set the stage using the Finite Element Exterior Calculus and Nodal Auxiliary Space Preconditioning. This framework provides a systematic way to derive explicit residual estimators and estimators based on local problems which are upper and lower bounds of the true error. We show the applications to discretizations of $\delta d$, curl-curl, grad-div, Hodge Laplacian problems, and linear elasticity with weak symmetry. We also provide a new regular decomposition for singularly perturbed H(d) norms and parameter-independent error estimators. The only ingredients needed are: well-posedness of the problem and the existence of regular decomposition on continuous level.


title: Vokenization: Improving Language Understanding with Contextualized, Visual-Grounded Supervision

abstract: Humans learn language by listening, speaking, writing, reading, and also, via interaction with the multimodal real world. Existing language pre-training frameworks show the effectiveness of text-only self-supervision while we explore the idea of a visually-supervised language model in this paper. We find that the main reason hindering this exploration is the large divergence in magnitude and distributions between the visually-grounded language datasets and pure-language corpora. Therefore, we develop a technique named "vokenization" that extrapolates multimodal alignments to language-only data by contextually mapping language tokens to their related images (which we call "vokens"). The "vokenizer" is trained on relatively small image captioning datasets and we then apply it to generate vokens for large language corpora. Trained with these contextually generated vokens, our visually-supervised language models show consistent improvements over self-supervised alternatives on multiple pure-language tasks such as GLUE, SQuAD, and SWAG. Code and pre-trained models publicly available at https://github.com/airsplay/vokenization


title: On Carleson Measures of Beltrami Coefficients Being Compatible with Infinitely Generated Fuchsian Groups Related to Denjoy Domian

abstract: Let $\Omega$ be a Carleson-Denjoy domain and $G$ be its covering group. Let $\mu$ be a Beltrami coefficient on the unit disk which is compatible with the group $G$. In this paper we show that if $\frac{|\mu|^{2}}{1-|z|^{2}}dxdy$ satisfies the Carleson condition on the infinite boundary of the Dirichlet fundamental domain of $G$, then $\frac{|\mu|^{2}}{1-|z|^{2}}dxdy$ is a Carleson measure on the unit disk. We also show that the above property does not hold for Denjoy domain.


title: Ferrograph image classification

abstract: It has been challenging to identify ferrograph images with a small dataset and various scales of wear particle. A novel model is proposed in this study to cope with these challenging problems. For the problem of insufficient samples, we first proposed a data augmentation algorithm based on the permutation of image patches. Then, an auxiliary loss function of image patch permutation recognition was proposed to identify the image generated by the data augmentation algorithm. Moreover, we designed a feature extraction loss function to force the proposed model to extract more abundant features and to reduce redundant representations. As for the challenge of large change range of wear particle size, we proposed a multi-scale feature extraction block to obtain the multi-scale representations of wear particles. We carried out experiments on a ferrograph image dataset and a mini-CIFAR-10 dataset. Experimental results show that the proposed model can improve the accuracy of the two datasets by 9% and 20% respectively compared with the baseline.


title: Google Crowdsourced Speech Corpora and Related Open-Source Resources for Low-Resource Languages and Dialects: An Overview

abstract: This paper presents an overview of a program designed to address the growing need for developing freely available speech resources for under-represented languages. At present we have released 38 datasets for building text-to-speech and automatic speech recognition applications for languages and dialects of South and Southeast Asia, Africa, Europe and South America. The paper describes the methodology used for developing such corpora and presents some of our findings that could benefit under-represented language communities.


title: Pretty Good State Transfer and Minimal Polynomials

abstract: We examine conditions for a pair of strongly cospectral vertices to have pretty good quantum state transfer in terms of minimal polynomials, and provide cases where pretty good state transfer can be ruled out. We also provide new examples of simple, unweighted graphs exhibiting pretty good state transfer. Finally, we consider modifying paths by adding symmetric weighted edges, and apply these results to this case.


title: Relevance of stochasticity for the emergence of quantization

abstract: The theories of stochastic quantum mechanics and stochastic electrodynamics bring to light important aspects of the quantum dynamics that are concealed in the standard formalism. Here we take further previous work regarding the connection between the two theories, to exhibit the role of stochasticity and diffusion in the process leading from the originally classical+zpf regime to the quantum regime. Quantumlike phenomena present in other instances in which a mechanical system is subject to an appropriate oscillating background that introduces stochasticity, may point to a more general appearance of quantization under such circumstances.


title: Anisotropic dressing of electrons in electron-doped cuprate superconductors

abstract: The recent experiments revealed a remarkable possibility for the absence of the disparity between the phase diagrams of the electron- and hole-doped cuprate superconductors, while such an aspect should be also reflected in the dressing of the electrons. Here the phase diagram of the electron-doped cuprate superconductors and the related exotic features of the anisotropic dressing of the electrons are studied based on the kinetic-energy driven superconductivity. It is shown that although the optimized Tc in the electron-doped side is much smaller than that in the hole-doped case, the electron- and hole-doped cuprate superconductors rather resemble each other in the doping range of the superconducting dome, indicating an absence of the disparity between the phase diagrams of the electron- and hole-doped cuprate superconductors. In particular, the anisotropic dressing of the electrons due to the strong electron's coupling to a strongly dispersive spin excitation leads to that the electron Fermi surface is truncated to form the disconnected Fermi arcs centered around the nodal region. Concomitantly, the dip in the peak-dip-hump structure of the quasiparticle excitation spectrum is directly associated with the corresponding peak in the quasiparticle scattering rate, while the dispersion kink is always accompanied by the corresponding inflection point in the total self-energy, as the dip in the peak-dip-hump structure and dispersion kink in the hole-doped counterparts. The theory also predicts that both the normal and anomalous self-energies exhibit the well-pronounced low-energy peak-structures.


title: Flat-band localization in Creutz superradiance lattices

abstract: Flat bands play an important role in diffraction-free photonics and attract fundamental interest in many-body physics. Here we report the engineering of flat-band localization of collective excited states of atoms in Creutz superradiance lattices with tunable synthetic gauge fields. Magnitudes and phases of the lattice hopping coefficients can be independently tuned to control the state components of the flat band and the Aharonov-Bohm phases. We can selectively excite the flat band and control the flat-band localization with the synthetic gauge field. Our study provides a room-temperature platform for flat bands of atoms and holds promising applications in exploring correlated topological materials.


title: Hypercurrents

abstract: We introduce the notion of a protocol, which consists of a space whose points are labeled by real numbers indexed by the set of cells of a fixed CW complex in prescribed degrees, where the labels are required to vary continuously. If the space is a one-dimensional manifold, then a protocol determines a continuous time Markov chain. When a homological gap condition is present, we associate to each protocol a 'characteristic' cohomology class which we call the hypercurrent. The hypercurrent comes in two flavors: one algebraic topological and the other analytical. For generic protocols we show that the analytical hypercurrent tends to the topological hypercurrent in the low temperature limit. We also exhibit examples of protocols having nontrivial hypercurrent.


title: Low-rank Convex/Sparse Thermal Matrix Approximation for Infrared-based Diagnostic System

abstract: Active and passive thermography are two efficient techniques extensively used to measure heterogeneous thermal patterns leading to subsurface defects for diagnostic evaluations. This study conducts a comparative analysis on low-rank matrix approximation methods in thermography with applications of semi-, convex-, and sparse- non-negative matrix factorization (NMF) methods for detecting subsurface thermal patterns. These methods inherit the advantages of principal component thermography (PCT) and sparse PCT, whereas tackle negative bases in sparse PCT with non-negative constraints, and exhibit clustering property in processing data. The practicality and efficiency of these methods are demonstrated by the experimental results for subsurface defect detection in three specimens (for different depth and size defects) and preserving thermal heterogeneity for distinguishing breast abnormality in breast cancer screening dataset (accuracy of 74.1%, 75.8%, and 77.8%).


title: BFT Protocol Forensics

abstract: Byzantine fault-tolerant (BFT) protocols allow a group of replicas to come to a consensus even when some of the replicas are Byzantine faulty. There exist multiple BFT protocols to securely tolerate an optimal number of faults $t$ under different network settings. However, if the number of faults $f$ exceeds $t$ then security could be violated. In this paper we mathematically formalize the study of forensic support of BFT protocols: we aim to identify (with cryptographic integrity) as many of the malicious replicas as possible and in as a distributed manner as possible. Our main result is that forensic support of BFT protocols depends heavily on minor implementation details that do not affect the protocol's security or complexity. Focusing on popular BFT protocols (PBFT, HotStuff, Algorand) we exactly characterize their forensic support, showing that there exist minor variants of each protocol for which the forensic supports vary widely. We show strong forensic support capability of LibraBFT, the consensus protocol of Diem cryptocurrency; our lightweight forensic module implemented on a Diem client is open-sourced and is under active consideration for deployment in Diem. Finally, we show that all secure BFT protocols designed for $2t+1$ replicas communicating over a synchronous network forensic support are inherently nonexistent; this impossibility result holds for all BFT protocols and even if one has access to the states of all replicas (including Byzantine ones).


title: A Self-supervised Representation Learning of Sentence Structure for Authorship Attribution

abstract: Syntactic structure of sentences in a document substantially informs about its authorial writing style. Sentence representation learning has been widely explored in recent years and it has been shown that it improves the generalization of different downstream tasks across many domains. Even though utilizing probing methods in several studies suggests that these learned contextual representations implicitly encode some amount of syntax, explicit syntactic information further improves the performance of deep neural models in the domain of authorship attribution. These observations have motivated us to investigate the explicit representation learning of syntactic structure of sentences. In this paper, we propose a self-supervised framework for learning structural representations of sentences. The self-supervised network contains two components; a lexical sub-network and a syntactic sub-network which take the sequence of words and their corresponding structural labels as the input, respectively. Due to the n-to-1 mapping of words to their structural labels, each word will be embedded into a vector representation which mainly carries structural information. We evaluate the learned structural representations of sentences using different probing tasks, and subsequently utilize them in the authorship attribution task. Our experimental results indicate that the structural embeddings significantly improve the classification tasks when concatenated with the existing pre-trained word embeddings.


title: Observation of solar coronal heating powered by magneto-acoustic oscillations in a moss region

abstract: In this paper, we report the observed temporal correlation between extreme-violet (EUV) emission and magneto-acoustic oscillations in a EUV moss region, which is the footpoint region only connected by magnetic loops with million-degree plasma. The result is obtained from a detailed multi-wavelength data analysis to the region with the purpose of resolving fine-scale mass and energy flows that come from the photosphere, pass through the chromosphere and finally heat solar transition region or the corona. The data set covers three atmospheric levels on the Sun, consisting of high-resolution broad-band imaging at TiO 7057 \AA\ and the line of sight magnetograms for the photosphere, high-resolution narrow-band images at Helium \textsc{i} 10830 \AA\ for the chromosphere and EUV images at 171 \AA\ for the corona. We report following new phenomena: 1) Repeated injections of chromospheric material shown as 10830 \AA\ absorption are squirted out from inter-granular lanes with the period of $\sim$ 5 minutes. 2) EUV emissions are found to be periodically modulated with the similar periods of $\sim$ 5 minutes. 3) Around the injection area where 10830 \AA\ absorption is enhanced, both EUV emissions and the strength of magnetic field are remarkably stronger. 4) The peaks on the time profile of the EUV emissions are found to be in sync with oscillatory peaks of the stronger magnetic field in the region. These findings may give a series of strong evidences supporting the scenario that coronal heating is powered by magneto-acoustic waves.


title: Averaging principle for fast-slow system driven by mixed fractional Brownian rough path

abstract: This paper is devoted to studying the averaging principle for fast-slow system of rough differential equations driven by mixed fractional Brownian rough path. The fast component is driven by Brownian motion, while the slow component is driven by fractional Brownian motion with Hurst index $H ~(1/3 < H\leq 1/2)$. Combining the fractional calculus approach to rough path theory and Khasminskii's classical time discretization method, we prove that the slow component strongly converges to the solution of the corresponding averaged equation in the $L^1$-sense. The averaging principle for a fast-slow system in the framework of rough path theory seems new.


title: Constraining Liberated Supergravity

abstract: Fermionic terms in a class of locally supersymmetric theories called "liberated supergravity" are nonrenormalizable interactions proportional to inverse powers of the supersymmetry breaking scale and Planck mass. This property defines an intrinsic cutoff for liberated supergravities, which are therefore effective theories valid only below energies that never exceed the cutoff. Requiring that the cutoff exceeds current theoretical and observational bounds shows that the new scalar potential terms allowed by liberated supergravity can neither change the cosmological constant predicted by supergravity by any observable amount, nor give measurable contributions to particle masses. We show that it is nevertheless possible to define a simple liberated supergravity model of slow roll inflation valid up to energy scales that are well above the Hubble parameter during inflation and exceeds observable limits after inflation. The key to constructing a viable model is to change the supersymmetry breaking scale, from a Planck-scale value during inflation, to TeV-scale after inflation.


title: Central Limit Theorem and Moderate deviation for nonhomogenenous Markov chains

abstract: Our purpose is to prove central limit theorem for countable nonhomogeneous Markov chain under the condition of uniform convergence of transition probability matrices for countable nonhomogeneous Markov chain in Ces\`aro sense. Furthermore, we obtain a corresponding moderate deviation theorem for countable nonhomogeneous Markov chain by G\"artner-Ellis theorem and exponential equivalent method.


title: Generalized Nearest Neighbor Decoding

abstract: It is well known that for Gaussian channels, a nearest neighbor decoding rule, which seeks the minimum Euclidean distance between a codeword and the received channel output vector, is the maximum likelihood solution and hence capacity-achieving. Nearest neighbor decoding remains a convenient and yet mismatched solution for general channels, and the key message of this paper is that the performance of the nearest neighbor decoding can be improved by generalizing its decoding metric to incorporate channel state dependent output processing and codeword scaling. Using generalized mutual information, which is a lower bound to the mismatched capacity under independent and identically distributed codebook ensemble, as the performance measure, this paper establishes the optimal generalized nearest neighbor decoding rule, under Gaussian channel input. Several {restricted forms of the} generalized nearest neighbor decoding rule are also derived and compared with existing solutions. The results are illustrated through several case studies for fading channels with imperfect receiver channel state information and for channels with quantization effects.


title: Summarizing Text on Any Aspects: A Knowledge-Informed Weakly-Supervised Approach

abstract: Given a document and a target aspect (e.g., a topic of interest), aspect-based abstractive summarization attempts to generate a summary with respect to the aspect. Previous studies usually assume a small pre-defined set of aspects and fall short of summarizing on other diverse topics. In this work, we study summarizing on arbitrary aspects relevant to the document, which significantly expands the application of the task in practice. Due to the lack of supervision data, we develop a new weak supervision construction method and an aspect modeling scheme, both of which integrate rich external knowledge sources such as ConceptNet and Wikipedia. Experiments show our approach achieves performance boosts on summarizing both real and synthetic documents given pre-defined or arbitrary aspects.


title: An adaptive multigrid solver for DPG methods with applications in linear acoustics and electromagnetics

abstract: We propose an adaptive multigrid preconditioning technology for solving linear systems arising from Discontinuous Petrov-Galerkin (DPG) discretizations. Unlike standard multigrid techniques, this preconditioner involves only trace spaces defined on the mesh skeleton, and it is suitable for adaptive hp-meshes. The key point of the construction is the integration of the iterative solver with a fully automatic and reliable mesh refinement process provided by the DPG technology. The efficacy of the solution technique is showcased with numerous examples of linear acoustics and electromagnetic simulations, including simulations in the high-frequency regime, problems which otherwise would be intractable. Finally, we analyze the one-level preconditioner (smoother) for uniform meshes and we demonstrate that theoretical estimates of the condition number of the preconditioned linear system can be derived based on well established theory for self-adjoint positive definite operators.


title: Minimax Q-learning Control for Linear Systems Using the Wasserstein Metric

abstract: Stochastic optimal control usually requires an explicit dynamical model with probability distributions, which are difficult to obtain in practice. In this work, we consider the linear quadratic regulator (LQR) problem of unknown linear systems and adopt a Wasserstein penalty to address the distribution uncertainty of additive stochastic disturbances. By constructing an equivalent deterministic game of the penalized LQR problem, we propose a Q-learning method with convergence guarantees to learn an optimal minimax controller.


title: Moduli spaces of rational curves on Fano threefolds

abstract: We prove several classification results for the components of the moduli space of rational curves on a smooth Fano threefold. In particular, we prove a conjecture of Batyrev on the growth of the number of components as the degree increases. The key to our approach is Geometric Manin's Conjecture which predicts the number of components parameterizing free curves.


title: Effect of spin fluctuations on superconductivity in V and Nb: a first-principles study

abstract: We study the superconductivity in typical $d$-band elemental superconductors V and Nb with the recently developed non-empirical computational scheme based on the density functional theory for superconductors. The effect of ferromagnetic fluctuation (paramagnon) on the superconducting transition temperature ($T_{\rm c}$), which in principle suppress the $s$-wave superconducting pairing, is quantified without any empirical parameter. We show that the strong paramagnon effect cancels the $T_{\rm c}$-enhancing effects of the phonon-mediated pairing and dynamical screened Coulomb interaction.


title: Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction

abstract: This paper presents a model-free reinforcement learning (RL) algorithm to synthesize a control policy that maximizes the satisfaction probability of linear temporal logic (LTL) specifications. Due to the consideration of environment and motion uncertainties, we model the robot motion as a probabilistic labeled Markov decision process with unknown transition probabilities and unknown probabilistic label functions. The LTL task specification is converted to a limit deterministic generalized B\"uchi automaton (LDGBA) with several accepting sets to maintain dense rewards during learning. The novelty of applying LDGBA is to construct an embedded LDGBA (E-LDGBA) by designing a synchronous tracking-frontier function, which enables the record of non-visited accepting sets without increasing dimensional and computational complexity. With appropriate dependent reward and discount functions, rigorous analysis shows that any method that optimizes the expected discount return of the RL-based approach is guaranteed to find the optimal policy that maximizes the satisfaction probability of the LTL specifications. A model-free RL-based motion planning strategy is developed to generate the optimal policy in this paper. The effectiveness of the RL-based control synthesis is demonstrated via simulation and experimental results.


title: Designing Massive MIMO Detector via PS-ADMM approach

abstract: In this paper, we develop an efficient detector for massive multiple-input multiple-output (MIMO) communication systems via penalty-sharing alternating direction method of multipliers (PS-ADMM). Its main content are as follows: first, we formulate the MIMO detection as a maximum-likelihood optimization problem with bound relaxation constraints. Then, the higher modulation signals are decomposed into a sum of multiple binary variables through their inherent structures, by exploiting introduced binary variables as penalty functions, the detection optimization model is equivalent to a nonconvex sharing minimization problem. Second, a customized ADMM algorithm is presented to solve the formulated nonconvex optimization problem. In the implementation, all variables can be solved analytically and parallelly. Third, it is proved that the proposed PS-ADMM algorithm converges if proper parameters are chosen. Simulation results demonstrate the effectiveness of the proposed approach.


title: Exploiting wavelength diversity for high resolution time-of-flight 3D imaging

abstract: State-of-the-art time-of-flight (ToF) based 3D sensors suffer from poor lateral and depth resolutions. In this work, we introduce a novel sensor concept that provides ToF-based 3D measurements of real world objects with depth precisions up to 35 micrometers and point cloud densities at the native sensor-resolutions of state-of-the-art CMOS/CCD cameras (up to several megapixels). Unlike other continuous-wave amplitude-modulated ToF principles, our approach exploits wavelength diversity for an interferometric surface measurement of macroscopic objects with rough or specular surfaces. Based on this principle, we introduce three different embodiments of prototype sensors, exploiting three different sensor architectures.


title: Organization of cooperation in fractal structures

abstract: It is known that the small-world structure constitutes sufficient conditions to sustain cooperation and thus enhances cooperation. On the contrary, the network with a very long average distance is usually thought of as suppressing the emergence of the cooperation. In this paper we show that the fractal structure, of which the average distance is very long, does not always play a negative role in the organization of cooperation. Compared to regular networks, the fractal structure might even facilitate the emergence of cooperation. This mainly depends on the existence of locally compact clusters. The sparse inter-connection between these clusters constructs an asymmetric barrier that the defection strategy is almost impossible to cross, but the cooperation strategy has a not too small chance. More generally, the network need not to be a standard fractal, as long as such structures exist. In turn, when this typical structure is absent, the fractal structure will also suppress the emergence of the cooperation, such as the fractal configuration obtained by diluting a random tree-like network. Our findings also clarify some contradictions in the previous studies, and suggest that both removing and inserting links from/into a regular network can enhance cooperation.


title: A Graph Representation of Semi-structured Data for Web Question Answering

abstract: The abundant semi-structured data on the Web, such as HTML-based tables and lists, provide commercial search engines a rich information source for question answering (QA). Different from plain text passages in Web documents, Web tables and lists have inherent structures, which carry semantic correlations among various elements in tables and lists. Many existing studies treat tables and lists as flat documents with pieces of text and do not make good use of semantic information hidden in structures. In this paper, we propose a novel graph representation of Web tables and lists based on a systematic categorization of the components in semi-structured data as well as their relations. We also develop pre-training and reasoning techniques on the graph model for the QA task. Extensive experiments on several real datasets collected from a commercial engine verify the effectiveness of our approach. Our method improves F1 score by 3.90 points over the state-of-the-art baselines.


title: Sample and Computationally Efficient Stochastic Kriging in High Dimensions

abstract: Stochastic kriging has been widely employed for simulation metamodeling to predict the response surface of complex simulation models. However, its use is limited to cases where the design space is low-dimensional because, in general, the sample complexity (i.e., the number of design points required for stochastic kriging to produce an accurate prediction) grows exponentially in the dimensionality of the design space. The large sample size results in both a prohibitive sample cost for running the simulation model and a severe computational challenge due to the need to invert large covariance matrices. Based on tensor Markov kernels and sparse grid experimental designs, we develop a novel methodology that dramatically alleviates the curse of dimensionality. We show that the sample complexity of the proposed methodology grows only slightly in the dimensionality, even under model misspecification. We also develop fast algorithms that compute stochastic kriging in its exact form without any approximation schemes. We demonstrate via extensive numerical experiments that our methodology can handle problems with a design space of more than 10,000 dimensions, improving both prediction accuracy and computational efficiency by orders of magnitude relative to typical alternative methods in practice.


title: Tire Slip Angle Estimation based on the Intelligent Tire Technology

abstract: Tire slip angle is a vital parameter in tire/vehicle dynamics and control. This paper proposes an accurate estimation method by the fusion of intelligent tire technology and machine-learning techniques. The intelligent tire is equipped by MEMS accelerometers attached to its inner liner. First, we describe the intelligent tire system along with the implemented testing apparatus. Second, experimental results under different loading and velocity conditions are provided. Then, we show the procedure of data processing, which will be used for training three different machine learning techniques to estimate tire slip angles. The results show that the machine learning techniques, especially in frequency domain, can accurately estimate tire slip angles up to 10 degrees. More importantly, with the accurate tire slip angle estimation, all other states and parameters can be easily and precisely obtained, which is significant to vehicle advanced control, and thus this study has a high potential to obviously improve the vehicle safety especially in extreme maneuvers.


title: Unsupervised Relation Extraction from Language Models using Constrained Cloze Completion

abstract: We show that state-of-the-art self-supervised language models can be readily used to extract relations from a corpus without the need to train a fine-tuned extractive head. We introduce RE-Flex, a simple framework that performs constrained cloze completion over pretrained language models to perform unsupervised relation extraction. RE-Flex uses contextual matching to ensure that language model predictions matches supporting evidence from the input corpus that is relevant to a target relation. We perform an extensive experimental study over multiple relation extraction benchmarks and demonstrate that RE-Flex outperforms competing unsupervised relation extraction methods based on pretrained language models by up to 27.8 $F_1$ points compared to the next-best method. Our results show that constrained inference queries against a language model can enable accurate unsupervised relation extraction.


title: Perturbative method to estimate meson masses in the framework of Bethe-Salpeter equation beyond its dominant interaction

abstract: We propose a novel method to calculate the meson mass in the framework of Dyson-Schwinger equation and Bethe-Salpeter equation, once their dominant interactions are identified. The method is based on the perturbation theory of matrix, which is widely used in quantum mechanics. Taking interactions other than the dominant ones as perturbations, we derive the first order correction of quark propagator. Implementing the perturbation on BSE, the mass correction at first order is then given. We exemplify this method with the well known Rainbow-Ladder (RL) truncation, and go beyond the RL using a simple model, i.e., the Munczek-Nemirovsky~(MN) model, by studying the pion and $\rho$ mesons mass shift. The results are all in good agreement with those obtained by fully solving the BSE beyond RL. Our perturbative method therefore can be used to give a semi-quantitative estimate of meson mass correction in cases when the BSEs are complicated by interactions that go beyond the dominant one.


title: Collapsed limits of compact Heisenberg manifolds with sub-Riemannian metrics

abstract: In this paper, we show that every collapsed Gromov--Hausdorff limit of compact Heisenberg manifolds is isometric to a flat torus. Here we say that a sequence of sub-Riemannian manifolds collapses if their total measure with respect to the Popp's volume or the minimal Popp's volume converges to zero. In the appendix, we give the systolic inequality on sub-Riemannian Heisenberg manifolds, and observe that the exponent of the total measure is equal to the inverse of the Hausdorff dimension.


title: Hierarchical Orthogonal Factorization: Sparse Square matrices

abstract: In this work, we develop a new fast algorithm, spaQR -- sparsified QR, for solving large, sparse linear systems. The key to our approach is using low-rank approximations to sparsify the separators in a Nested Dissection based Householder QR factorization. First, a modified version of Nested Dissection is used to identify interiors/separators and reorder the matrix. Then, classical Householder QR is used to factorize the interiors, going from the leaves to the root to the elimination tree. After every level of interior factorization, we sparsify the remaining separators by using low-rank approximations. This operation reduces the size of the separators without introducing any fill-in in the matrix. However, it introduces a small approximation error which can be controlled by the user. The resulting approximate factorization is stored as a sequence of sparse orthogonal and sparse upper-triangular factors. Hence, it can be applied efficiently to solve linear systems. Additionally, we further improve the algorithm by using a block diagonal scaling. Then, we show a systematic analysis of the approximation error and effectiveness of the algorithm in solving linear systems. Finally, we perform numerical tests on benchmark unsymmetric problems to evaluate the performance of the algorithm. The factorization time scales as $\mathcal{O}(N \log N)$ and the solve time scales as $\mathcal{O}(N)$.


title: Just Pick a Sign: Optimizing Deep Multitask Models with Gradient Sign Dropout

abstract: The vast majority of deep models use multiple gradient signals, typically corresponding to a sum of multiple loss terms, to update a shared set of trainable weights. However, these multiple updates can impede optimal training by pulling the model in conflicting directions. We present Gradient Sign Dropout (GradDrop), a probabilistic masking procedure which samples gradients at an activation layer based on their level of consistency. GradDrop is implemented as a simple deep layer that can be used in any deep net and synergizes with other gradient balancing approaches. We show that GradDrop outperforms the state-of-the-art multiloss methods within traditional multitask and transfer learning settings, and we discuss how GradDrop reveals links between optimal multiloss training and gradient stochasticity.


title: Extremal graphs and classification of planar graphs by MC-numbers

abstract: An edge-coloring of a connected graph $G$ is called a {\em monochromatic connection coloring} (MC-coloring for short) if any two vertices of $G$ are connected by a monochromatic path in $G$. For a connected graph $G$, the {\em monochromatic connection number} (MC-number for short) of $G$, denoted by $mc(G)$, is the maximum number of colors that ensure $G$ has a monochromatic connection coloring by using this number of colors. This concept was introduced by Caro and Yuster in 2011. They proved that $mc(G)\leq m-n+k$ if $G$ is not a $k$-connected graph. In this paper we depict all graphs with $mc(G)=m-n+k+1$ and $mc(G)= m-n+k$ if $G$ is a $k$-connected but not $(k+1)$-connected graph. We also prove that $mc(G)\leq m-n+4$ if $G$ is a planar graph, and classify all planar graphs by their monochromatic connectivity numbers.


title: Studies of Quantum-Mechanical Coherency Effects in Neutrino-Nucleus Elastic Scattering

abstract: Neutrino-nucleus elastic scattering ($\nu {\rm A}_{el}$) provides a unique laboratory to study the quantum-mechanical (QM) coherency effects in electroweak interactions. The deviations of the cross-sections from those of completely coherent systems can be quantitatively characterized through a coherency parameter $\alpha ( q^2 )$. The relations between $\alpha$ and the underlying nuclear physics in terms of nuclear form factors are derived. The dependence of cross-section on $\alpha ( q^2 )$ for the various neutrino sources is presented. The $\alpha ( q^2 )$-values are evaluated from the measured data of the COHERENT CsI and Ar experiments. Complete coherency and decoherency conditions are excluded by the CsI data with $p {=} 0.004$ at $q^2 {=} 3.1 {\times} 10^{3} ~ {\rm MeV^2}$ and with $p {=} 0.016$ at $q^2 {=} 2.3 {\times} 10^{3} ~ {\rm MeV^2}$, respectively, verifying that both QM superpositions and nuclear many-body effects contribute to $\nu {\rm A}_{el}$ interactions.


title: Proposal for noise-free visible-telecom quantum frequency conversion through third-order sum and difference frequency generation

abstract: Quantum frequency conversion (QFC) between the visible and telecom is a key functionality to connect quantum memories over long distances in fiber-based quantum networks. Current QFC methods for linking such widely-separated frequencies, such as sum/difference frequency generation and four-wave mixing Bragg scattering, are prone to broadband noise from the pump laser(s). To address this issue, we propose to use third-order sum/difference frequency generation (TSFG/TDFG) for an upconversion/downconversion QFC interface. In this process, two pump photons combine their energy and momentum to mediate frequency conversion across visible and telecom bands, bridging a large spectral gap with long-wavelength pump pho-tons, which is particularly beneficial from the noise perspective. We show that waveguide-coupled silicon nitride microring resonators can be designed for efficient QFC between 606 nm and 1550 nm via a 1990 nm pump through TSFG/TDFG. We simulate the device dispersion and coupling, and from the simulated parameters estimate that the frequency conversion can be efficient (>80 %) at 50 mW pump power. Our results suggest that microresonator-based TSFG/TDFG is promising for compact, scalable, and low power QFC across large spectral gaps.


title: Explain2Attack: Text Adversarial Attacks via Cross-Domain Interpretability

abstract: Training robust deep learning models for down-stream tasks is a critical challenge. Research has shown that down-stream models can be easily fooled with adversarial inputs that look like the training data, but slightly perturbed, in a way imperceptible to humans. Understanding the behavior of natural language models under these attacks is crucial to better defend these models against such attacks. In the black-box attack setting, where no access to model parameters is available, the attacker can only query the output information from the targeted model to craft a successful attack. Current black-box state-of-the-art models are costly in both computational complexity and number of queries needed to craft successful adversarial examples. For real world scenarios, the number of queries is critical, where less queries are desired to avoid suspicion towards an attacking agent. In this paper, we propose Explain2Attack, a black-box adversarial attack on text classification task. Instead of searching for important words to be perturbed by querying the target model, Explain2Attack employs an interpretable substitute model from a similar domain to learn word importance scores. We show that our framework either achieves or out-performs attack rates of the state-of-the-art models, yet with lower queries cost and higher efficiency.


title: Densest binary sphere packings and phase diagram : revisited

abstract: We revisit the densest binary sphere packings (DBSP) under the periodic boundary conditions and present an updated phase diagram, including newly found 12 putative densest structures over the $x - \alpha$ plane, where $x$ is the relative concentration and $\alpha$ is the radius ratio of the small and large spheres. To efficiently explore the DBSP, we develop an unbiased random search approach based on both the piling up method to generate initial structures in an unbiased way and the iterative balance method to optimize the volume of a unit cell while keeping the overlap of hard spheres minimized. With those two methods, we have discovered 12 putative DBSP and thereby the phase diagram is updated, while our results are consistent with those of the previous study [Hopkins et al., Phys. Rev. E 85, 021130 (2012)] with a small correction for the case of 12 or fewer spheres in the unit cell. The 5 of the new 12 densest packings are discovered in the small radius range of $0.42 \le \alpha \le 0.50$ where several structures are competitive to each other with respect to packing fraction. Through the exhaustive search, diverse dense packings are discovered and accordingly we find that packing structures achieve high packing fractions by introducing distortion and/or combining a few local dense structural units. Furthermore, we investigate the correspondence of the DBSP with crystals based on the space group. The result shows that many structural units in real crystals, e.g., $\mathrm{LaH_{10}}$ and $\mathrm{SrGe_{2-\delta}}$ being high-pressure phases, can be understood as DBSP. The correspondence implies that the densest sphere packings can be used effectively as structural prototypes for searching complex crystal structures, especially for high-pressure phases.


title: Aronszajn Free Kurepa Trees

abstract: We consider a transitive relation on the power set of $\omega_1$ and show if there is a maximal element with respect to this relation then there is a Kurepa tree with no Aronszajn subtree. We also show that if there is a maximal subset of $\omega_1$, then there are Kurepa trees which are not club isomorphic. These maximal subsets of $\omega_1$ exist in many known models that are obtained from the constructible universe without large cardinal assumptions. For instance, whenever $\alpha_0 \in \omega_1$ and $X \subset \omega_1$ are such that $\omega_1^{\textsc{L}[X \cap \alpha_0]} = \omega_1, \omega_2^{\textsc{L}[X]} = \omega_2$ and $\textsc{V}$ is a semiproper forcing extension of $\textsc{L}[X]$ then $X$ is maximal in $\textsc{V}$.


title: Boundary Conditions for Hyperbolic Relaxation Systems with Characteristic Boundaries of Type II

abstract: This paper is a continuation of our preceding work on hyperbolic relaxation systems with characteristic boundaries of type I. Here we focus on the characteristic boundaries of type II, where the boundary is characteristic for the equilibrium system and is non-characteristic for the relaxation system. For this kind of characteristic initial-boundary-value problems (IBVPs), we introduce a three-scale asymptotic expansion to analyze the boundary-layer behaviors of the general multi-dimensional linear relaxation systems. Moreover, we derive the reduced boundary condition under the Generalized Kreiss Condition by resorting to some subtle matrix transformations and the perturbation theory of linear operators. The reduced boundary condition is proved to satisfy the Uniformed Kreiss Condition for characteristic IBVPs. Its validity is shown through an error estimate involving the Fourier-Laplace transformation and an energy method based on the structural stability condition.


title: TriNE: Network Representation Learning for Tripartite Heterogeneous Networks

abstract: In this paper, we study network representation learning for tripartite heterogeneous networks which learns node representation features for networks with three types of node entities. We argue that tripartite networks are common in real world applications, and the essential challenge of the representation learning is the heterogeneous relations between various node types and links in the network. To tackle the challenge, we develop a tripartite heterogeneous network embedding called TriNE. The method considers unique user-item-tag tripartite relationships, to build an objective function to model explicit relationships between nodes (observed links), and also capture implicit relationships between tripartite nodes (unobserved links across tripartite node sets). The method organizes metapath guided random walks to create heterogeneous neighborhood for all node types in the network. This information is then utilized to train a heterogeneous skip-gram model based on a joint optimization. Experiments on real-world tripartite networks validate the performance of TriNE for the online user response prediction using embedding node features.


title: Quotient rings of integers from a metric point of view

abstract: The theory of Gromov-Hausdorff convergence is applied to sequences of quotient rings of integers. It is shown the existence of limit rings (fields) as the Gromov-Hausdorff limits of sequences of metric quotient rings. The relation of these constructions with the field of the reals $\mathbb{R}$ is discussed, showing that they are dense in $\mathbb{R}$ but that they cannot be identified with the real field or with the rational field $\mathbb{Q}$, at least when $\mathbb{R}$ and $\mathbb{Q}$ are endowed with the usual metric structures. It is also shown that the limit rings can be endowed with an order relation.


title: Boundary Conditions for Hyperbolic Relaxation Systems with Characteristic Boundaries of Type I

abstract: This work is concerned with boundary conditions for one-dimensional hyperbolic relaxation systems with characteristic boundaries. We assume that the relaxation system satisfies the structural stability condition proposed by the second author previously and the boundary is characteristic of type I (characteristic for the relaxation system but non-characteristic for the corresponding equilibrium system). For this kind of characteristic initial-boundary-value problems, we propose a modified Generalized Kreiss condition (GKC). This extends the GKC proposed by the second author for the non-characteristic boundaries to the present characteristic case. Under this modified GKC, we derive the reduced boundary condition and verify its validity by combining an energy estimate with the Laplace transform. Moreover, we show the existence of boundary-layers for nonlinear problems.


title: On the Mutual Interference between Spaceborne SARs: Modeling, Characterization, and Mitigation

abstract: Since by the International Telecommunications Union (ITU) regulatory the radio spectrum available to spaceborne synthetic aperture radar (SAR) is restricted to certain limited frequency intervals, there are many different spaceborne SAR systems sharing common frequency bands. Due to this reason, it is reported that two spaceborne SARs at orbit cross positions can potentially cause severe mutual interference. Specifically, the transmitting signal of a SAR, typically linear frequency modulated (LFM), can be directly received by the side or back lobes of another SAR's antenna, causing radiometric artefacts in the focused image. This paper tries to model and characterize the artefacts, and study efficient methods for mitigating them. To this end, we formulate an analytical model for describing the artefact, which reveals that the mutual interference can introduce a two-dimensional LFM radiometric artefact in image domain with a limited spatial extent. We show that the artefact is low-rank based on range-azimuth decoupling analysis and two-dimensional high-order Taylor expansion. Based on the low rank model, we show that two methods, i.e., principle component analysis and its robust variant, can be adopted to efficiently mitigate the artefact via processing in image domain. The former method has the advantage of fast processing speed, for example, a sub-swath of Sentinel-1 interferometric wide swath image can be processed within 70 seconds via block-wise operation, whereas the latter provides improved accuracy for sparse point-like scatterers. Experiment results demonstrate that the radiometric artefacts caused by mutual interference in Sentinel-1 level-1 images can be efficiently mitigated via the proposed methods.


title: Equitable Allocation of Healthcare Resources with Fair Cox Models

abstract: Healthcare programs such as Medicaid provide crucial services to vulnerable populations, but due to limited resources, many of the individuals who need these services the most languish on waiting lists. Survival models, e.g. the Cox proportional hazards model, can potentially improve this situation by predicting individuals' levels of need, which can then be used to prioritize the waiting lists. Providing care to those in need can prevent institutionalization for those individuals, which both improves quality of life and reduces overall costs. While the benefits of such an approach are clear, care must be taken to ensure that the prioritization process is fair or independent of demographic information-based harmful stereotypes. In this work, we develop multiple fairness definitions for survival models and corresponding fair Cox proportional hazards models to ensure equitable allocation of healthcare resources. We demonstrate the utility of our methods in terms of fairness and predictive accuracy on two publicly available survival datasets.


title: Towards Optimal Filter Pruning with Balanced Performance and Pruning Speed

abstract: Filter pruning has drawn more attention since resource constrained platform requires more compact model for deployment. However, current pruning methods suffer either from the inferior performance of one-shot methods, or the expensive time cost of iterative training methods. In this paper, we propose a balanced filter pruning method for both performance and pruning speed. Based on the filter importance criteria, our method is able to prune a layer with approximate layer-wise optimal pruning rate at preset loss variation. The network is pruned in the layer-wise way without the time consuming prune-retrain iteration. If a pre-defined pruning rate for the entire network is given, we also introduce a method to find the corresponding loss variation threshold with fast converging speed. Moreover, we propose the layer group pruning and channel selection mechanism for channel alignment in network with short connections. The proposed pruning method is widely applicable to common architectures and does not involve any additional training except the final fine-tuning. Comprehensive experiments show that our method outperforms many state-of-the-art approaches.


title: Modeling Protagonist Emotions for Emotion-Aware Storytelling

abstract: Emotions and their evolution play a central role in creating a captivating story. In this paper, we present the first study on modeling the emotional trajectory of the protagonist in neural storytelling. We design methods that generate stories that adhere to given story titles and desired emotion arcs for the protagonist. Our models include Emotion Supervision (EmoSup) and two Emotion-Reinforced (EmoRL) models. The EmoRL models use special rewards designed to regularize the story generation process through reinforcement learning. Our automatic and manual evaluations demonstrate that these models are significantly better at generating stories that follow the desired emotion arcs compared to baseline methods, without sacrificing story quality.


title: Semantically-Aligned Universal Tree-Structured Solver for Math Word Problems

abstract: A practical automatic textual math word problems (MWPs) solver should be able to solve various textual MWPs while most existing works only focused on one-unknown linear MWPs. Herein, we propose a simple but efficient method called Universal Expression Tree (UET) to make the first attempt to represent the equations of various MWPs uniformly. Then a semantically-aligned universal tree-structured solver (SAU-Solver) based on an encoder-decoder framework is proposed to resolve multiple types of MWPs in a unified model, benefiting from our UET representation. Our SAU-Solver generates a universal expression tree explicitly by deciding which symbol to generate according to the generated symbols' semantic meanings like human solving MWPs. Besides, our SAU-Solver also includes a novel subtree-level semanticallyaligned regularization to further enforce the semantic constraints and rationality of the generated expression tree by aligning with the contextual information. Finally, to validate the universality of our solver and extend the research boundary of MWPs, we introduce a new challenging Hybrid Math Word Problems dataset (HMWP), consisting of three types of MWPs. Experimental results on several MWPs datasets show that our model can solve universal types of MWPs and outperforms several state-of-the-art models.


title: Differential diagnosis and molecular stratification of gastrointestinal stromal tumors on CT images using a radiomics approach

abstract: Distinguishing gastrointestinal stromal tumors (GISTs) from other intra-abdominal tumors and GISTs molecular analysis is necessary for treatment planning, but challenging due to its rarity. The aim of this study was to evaluate radiomics for distinguishing GISTs from other intra-abdominal tumors, and in GISTs, predict the c-KIT, PDGFRA,BRAF mutational status and mitotic index (MI). All 247 included patients (125 GISTS, 122 non-GISTs) underwent a contrast-enhanced venous phase CT. The GIST vs. non-GIST radiomics model, including imaging, age, sex and location, had a mean area under the curve (AUC) of 0.82. Three radiologists had an AUC of 0.69, 0.76, and 0.84, respectively. The radiomics model had an AUC of 0.52 for c-KIT, 0.56 for c-KIT exon 11, and 0.52 for the MI. Hence, our radiomics model was able to distinguish GIST from non-GISTS with a performance similar to three radiologists, but was not able to predict the c-KIT mutation or MI.


title: Misaligned Twin Molecular Outflows From Class-0 Proto-stellar Binary System VLA 1623A Unveiled by ALMA

abstract: We present the results of ALMA observations toward the low-mass Class-0 binary system, VLA 1623Aab in the Ophiuchus molecular cloud in $^{12}$CO, $^{13}$CO, and C$^{18}$O(2--1) lines. Our $^{12}$CO ($J$=2--1) data reveal that the VLA 1623 outflow consists of twin spatially overlapped outflows/jets. The redshifted northwestern jet exhibits the three cycles of wiggle with a spatial period of 1360$\pm$10 au, corresponding to a time period of 180 yr. The wiggle-like structure is also found in the position-velocity (PV) diagram, showing an amplitude in velocity of about 0.9 km s$^{-1}$. Both the period and the velocity amplitude of the wiggle are roughly consistent with those expected from the binary parameters, i.e., the orbital period (460$\pm$20 yr) and the Keplerian velocity (2.2 km s$^{-1}$). Our $^{13}$CO and C$^{18}$O images reveal the nature of the dense gas in the two cm/mm sources, VLA 1623-B and -W, and its relation to the outflows, and strongly support the previous interpretation that both are shocked cloudlets. The driving sources of the twin molecular outflows are, therefore, likely to be within the VLA 1623Aab binary. The axes of the two molecular outflows are estimated to be inclined by 70$\arcdeg$ from each other across the plane of sky, implying that the associated protostellar disks are also misaligned by $70\arcdeg$. Such a misalignment, together with a small binary separation of 34 au in the one of the youngest protobinary systems known, is difficult to explain by models of disk fragmentation in quiescent environments. Instead, other effects such as turbulence probably play roles in misaligning the disks.


title: Spin-orbit torque as a method for field-free detection of in-plane magnetization switching

abstract: We proposed and demonstrated a simple method for detection of in-plane magnetization switching by spin-orbit torque (SOT) in bilayers of non-magnetic / magnetic materials. In our method, SOT is used not only for magnetization switching but also for detection. Our method can detect arbitrary Mx and My component without an external magnetic field, which is useful for fast characterization of type-X, type-Y, and type-XY SOT magnetization switching. Our SOT detection scheme can be utilized not only for fast characterization of SOT switching in bilayers, but also for electrical detection of in-plane magnetic domains in race-track memory.


title: LAMOST Observations in 15 \textit{K}2 Campaigns: I. Low resolution spectra from LAMOST DR6

abstract: The LAMOST-\textit{K}2 (L\textit{K}2) project, initiated in 2015, aims to collect low-resolution spectra of targets in the \textit{K}2 campaigns, similar to LAMOST-\textit{Kepler} project. By the end of 2018, a total of 126 L\textit{K}2 plates had been observed by LAMOST. After cross-matching the catalog of the LAMOST data release 6 (DR6) with that of the \textit{K}2 approved targets, we found 160,619 usable spectra of 84,012 objects, most of which had been observed more than once. The effective temperature, surface gravity, metallicity, and radial velocity from 129,974 spectra for 70,895 objects are derived through the LAMOST Stellar Parameter Pipeline (LASP). The internal uncertainties were estimated to be 81 K, 0.15 dex, 0.09 dex and 5 kms$^{-1}$, respectively, when derived from a spectrum with a signal-to-noise ratio in the $g$ band (SNR$_g$) of 10. These estimates are based on results for targets with multiple visits. The external accuracies were assessed by comparing the parameters of targets in common with the APOGEE and GAIA surveys, for which we generally found linear relationships. A final calibration is provided, combining external and internal uncertainties for giants and dwarfs, separately. We foresee that these spectroscopic data will be used widely in different research fields, especially in combination with \textit{K}2 photometry.


title: Polynomial Approximation of Value Functions and Nonlinear Controller Design with Performance Bounds

abstract: For any suitable Optimal Control Problem (OCP) there exists a value function, defined as the unique viscosity solution to the Hamilton-Jacobi-Bellman (HJB) Partial-Differential-Equation (PDE), and which can be used to design an optimal feedback controller for the given OCP. In this paper, we approximately solve the HJB-PDE by proposing a sequence of Sum-Of-Squares (SOS) problems, each of which yields a polynomial subsolution to the HJB-PDE. We show that the resulting sequence of polynomial sub-solutions converges to the value function of the OCP in the L1 norm. Furthermore, for each polynomial sub-solution in this sequence, we show that the associated sequence of sublevel sets converge to the sublevel set of the value function of the OCP in the volume metric. Next, for any approximate value function, obtained from an SOS program or any other method (e.g. discretization), we construct an associated feedback controller, and show that sub-optimality of this controller as applied to the OCP is bounded by the distance between the approximate and true value function of the OCP in the Sobolev norm. Finally, we demonstrate numerically that by solving our proposed SOS problem we are able to accurately approximate value functions, design controllers and estimate reachable sets.


title: High success standard quantum teleportation using entangled coherent state and two-level atoms in cavities

abstract: We propose here a new idea for quantum teleportation of superposed coherent state which is not only almost perfect, in principle, but also feasible experimentally. We use entangled resource $\sim |\alpha,\frac{\alpha}{\sqrt{2}}\rangle-|-\alpha,-\frac{\alpha}{\sqrt{2}}\rangle$ in contrast with the usual $\sim |\alpha,\alpha\rangle-|-\alpha,-\alpha \rangle$ (both states unnormalized). Bob receives state which is then superposition of the states $|\pm \frac{\alpha}{\sqrt{2}}\rangle$ . Bob mixes these with even or odd coherent states involving superposition of states $|\pm \frac{\alpha}{\sqrt{2}}\rangle$ to obtain a two-mode state which is one of $\sim |I,0\rangle \pm |0,I\rangle$, $|I\rangle$ being the information state. Bob then obtains the teleported information by using interaction of one of these modes in two cavities with resonant two-level atoms. This scheme results in average fidelity of $\simeq 0.95$ for $|\alpha|^2 \simeq 10$, which increases with $|\alpha|^2$ and tends to 1 asymptotically, varying as $1-\frac{\pi^2}{16|\alpha|^2}+\frac{\pi^2(\pi^2+8)}{256|\alpha|^4}$ for large values of $|\alpha|^2$.


abstract: We introduce Coarse-Grained Nonlinear Dynamics, an efficient and universal parameterization of nonlinear system dynamics based on the Volterra series expansion. These models require a number of parameters only quasilinear in the system's memory regardless of the order at which the Volterra expansion is truncated; this is a superpolynomial reduction in the number of parameters as the order becomes large. This efficient parameterization is achieved by coarse-graining parts of the system dynamics that depend on the product of temporally distant input samples; this is conceptually similar to the coarse-graining that the fast multipole method uses to achieve $\mathcal{O}(n)$ simulation of n-body dynamics. Our efficient parameterization of nonlinear dynamics can be used for regularization, leading to Coarse-Grained Nonlinear System Identification, a technique which requires very little experimental data to identify accurate nonlinear dynamic models. We demonstrate the properties of this approach on a simple synthetic problem. We also demonstrate this approach experimentally, showing that it identifies an accurate model of the nonlinear voltage to luminosity dynamics of a tungsten filament with less than a second of experimental data.


title: Bicausal Optimal Transport for Markov Chains via Dynamic Programming

abstract: In this paper we study the bicausal optimal transport problem for Markov chains, an optimal transport formulation suitable for stochastic processes which takes into consideration the accumulation of information as time evolves. Our analysis is based on a relation between the transport problem and the theory of Markov decision processes. This way we are able to derive necessary and sufficient conditions for optimality in the transport problem, as well as an iterative algorithm, namely the value iteration, for the calculation of the transportation cost. Additionally, we draw the connection with the classic theory on couplings for Markov chains, and in particular with the notion of faithful couplings. Finally, we illustrate how the transportation cost appears naturally in the study of concentration of measure for Markov chains.


title: Generating function on epimorphisms between $2$-bridge knot groups

abstract: We have the generating function which determines the number of $2$-bridge knot groups admitting epimorphisms onto the knot group of a given $2$-bridge knot, in terms of crossing number. In this paper, we will refine this formula by taking account into genus as well as crossing number. Next, we determine the number of epimorphisms between fibered $2$-bridge knot groups. Moreover, we discuss degree one maps and $2$-bridge knots uknotting number one.


title: Solubility of Additive Forms of Twice Odd Degree over Ramified Quadratic Extensions of $\mathbb{Q}_2$

abstract: We determine the minimal number of variables $\Gamma^*(d, K)$ which guarantees a nontrivial solution for every additive form of degree $d=2m$, $m$ odd, $m \ge 3$ over the six ramified quadratic extensions of $\mathbb{Q}_2$. We prove that if $K$ is one of $\{\mathbb{Q}_2(\sqrt{2}), \mathbb{Q}_2(\sqrt{10}), \mathbb{Q}_2(\sqrt{-2}), \mathbb{Q}_2(\sqrt{-10})\}$, $\Gamma^*(d,K) = \frac{3}{2}d$, and if $K$ is one of $\{\mathbb{Q}_2(\sqrt{-1}), \mathbb{Q}_2(\sqrt{-5})\}$, $\Gamma^*(d,K) = d+1$. The case $d=6$ was previously known.


title: Bankrupting Sybil Despite Churn

abstract: A Sybil attack occurs when an adversary controls multiple identifiers (IDs) in a system. Limiting the number of Sybil (bad) IDs to a minority is critical to the use of well-established tools for tolerating malicious behavior, such as Byzantine agreement and secure multiparty computation. A popular technique for enforcing a Sybil minority is resource burning: the verifiable consumption of a network resource, such as computational power, bandwidth, or memory. Unfortunately, typical defenses based on resource burning require non-Sybil (good) IDs to consume at least as many resources as the adversary. Additionally, they have a high resource burning cost, even when the system membership is relatively stable. Here, we present a new Sybil defense, ERGO, that guarantees (1) there is always a minority of bad IDs; and (2) when the system is under significant attack, the good IDs consume asymptotically less resources than the bad. In particular, for churn rate that can vary exponentially, the resource burning rate for good IDs under ERGO is O(\sqrt{TJ} + J), where T is the resource burning rate of the adversary, and J is the join rate of good IDs. We show this resource burning rate is asymptotically optimal for a large class of algorithms. We empirically evaluate ERGO alongside prior Sybil defenses. Additionally, we show that ERGO can be combined with machine learning techniques for classifying Sybil IDs, while preserving its theoretical guarantees. Based on our experiments comparing ERGO with two previous Sybil defenses, ERGO improves on the amount of resource burning relative to the adversary by up to 2 orders of magnitude without machine learning, and up to 3 orders of magnitude using machine learning.


title: A Wrong Answer or a Wrong Question? An Intricate Relationship between Question Reformulation and Answer Selection in Conversational Question Answering

abstract: The dependency between an adequate question formulation and correct answer selection is a very intriguing but still underexplored area. In this paper, we show that question rewriting (QR) of the conversational context allows to shed more light on this phenomenon and also use it to evaluate robustness of different answer selection approaches. We introduce a simple framework that enables an automated analysis of the conversational question answering (QA) performance using question rewrites, and present the results of this analysis on the TREC CAsT and QuAC (CANARD) datasets. Our experiments uncover sensitivity to question formulation of the popular state-of-the-art models for reading comprehension and passage ranking. Our results demonstrate that the reading comprehension model is insensitive to question formulation, while the passage ranking changes dramatically with a little variation in the input question. The benefit of QR is that it allows us to pinpoint and group such cases automatically. We show how to use this methodology to verify whether QA models are really learning the task or just finding shortcuts in the dataset, and better understand the frequent types of error they make.


title: Full-stack Hybrid Beamforming in mmWave 5G Networks

abstract: This paper analyzes Hybrid Beamforming (HBF) and Multi-User Multiple-Input Multiple-Output (MU-MIMO) in millimeter wave (mmWave) 5th generation (5G) cellular networks considering the full protocol stack with TCP/IP traffic and MAC scheduling. Prior work on HBF and MU-MIMO has assumed full-buffer transmissions and studied link-level performance. We report non-trivial interactions between the HBF technique, the front-loaded channel estimation pilot scheme in NR, and the constraints of MU-MIMO scheduling. We also report that joint multi-user beamforming design is imperative, in the sense that the MU-MIMO system cannot be fully exploited when implemented as a mere collection of single-user analog beams working in parallel. By addressing these issues, throughput can be dramatically increased in mmWave 5G networks by means of Spatial Division Multiple Access (SDMA).


title: Simpson Filtration and Oper Stratum Conjecture

abstract: In this paper, we prove that for the oper stratification of the de Rham moduli space $M_{\mathrm{dR}}(X,r)$, the closed oper stratum is the unique minimal stratum with dimension $r^2(g-1)+g+1$, and the open dense stratum consisting of irreducible flat bundles with stable underlying vector bundles is the unique maximal stratum.