title: Strong Coresets for k-Median and Subspace Approximation: Goodbye Dimension

abstract: We obtain the first strong coresets for the $k$-median and subspace approximation problems with sum of distances objective function, on $n$ points in $d$ dimensions, with a number of weighted points that is independent of both $n$ and $d$; namely, our coresets have size $\text{poly}(k/\epsilon)$. A strong coreset $(1+\epsilon)$-approximates the cost function for all possible sets of centers simultaneously. We also give efficient $\text{nnz}(A) + (n+d)\text{poly}(k/\epsilon) + \exp(\text{poly}(k/\epsilon))$ time algorithms for computing these coresets. We obtain the result by introducing a new dimensionality reduction technique for coresets that significantly generalizes an earlier result of Feldman, Sohler and Schmidt \cite{FSS13} for squared Euclidean distances to sums of $p$-th powers of Euclidean distances for constant $p\ge1$.


title: Excitonic instability and unconventional pairing in the nodal-line materials ZrSiS and ZrSiSe

abstract: We use a functional renormalization group (fRG) approach to investigate potential interaction-induced instabilities in a two-dimensional model for the Dirac nodal-line materials ZrSiS and ZrSiSe employing model parameters derived from {\it ab initio} calculations. Our results confirm that the excitonic instability recently found in random-phase approximation for ZrSiS is indeed the leading instability. In the simplest modeling, spin- and charge-excitonic states are degenerate. Beyond this, we show that the fRG analysis produces an energy scale for the onset of the instability in good agreement with the experimentally observed mass enhancement. Additionally, by exploring the parameter space of the model we find that reducing the band splitting increases the instability scale and gives the chance to drive the system into an unconventional superconducting pairing state. The model parameters for the case of the structurally similar material ZrSiSe suggest the $d$-wave superconducting state as the leading instability with a very small critical scale.


title: Variational Approximation Error in Bayesian Non-negative Matrix Factorization

abstract: Non-negative matrix factorization (NMF) is a knowledge discovery method that is used in many fields. Variational inference and Gibbs sampling methods for it are also wellknown. However, the variational approximation error has not been clarified yet, because NMF is not statistically regular and the prior distribution used in variational Bayesian NMF (VBNMF) has zero or divergence points. In this paper, using algebraic geometrical methods, we theoretically analyze the difference in negative log evidence (a.k.a. free energy) between VBNMF and Bayesian NMF, i.e., the Kullback-Leibler divergence between the variational posterior and the true posterior. We derive an upper bound for the learning coefficient (a.k.a. the real log canonical threshold) in Bayesian NMF. By using the upper bound, we find a lower bound for the approximation error, asymptotically. The result quantitatively shows how well the VBNMF algorithm can approximate Bayesian NMF; the lower bound depends on the hyperparameters and the true nonnegative rank. A numerical experiment demonstrates the theoretical result.


title: Persistent currents by reservoir engineering

abstract: We demonstrate that persistent currents can be induced in a quantum system in contact with a structured reservoir, without the need of any applied gauge field. The working principle of the mechanism leading to their presence is based on the extension to the many-body scenario of non-reciprocal Lindblad dynamics, recently put forward by Metelmann and Clerk in Phys. Rev. X 5, 021025 (2015): Non-reciprocity can be generated by suitably balancing coherent interactions with their corresponding dissipative version, induced by the coupling to a common structured environment, such to make total interactions directional. Specifically, we consider an interacting spin/boson model in a ring-shaped one-dimensional lattice coupled to an external bath. By employing a combination of cluster mean-field, exact diagonalization and matrix-product-operator techniques, we show that solely dissipative effects suffice to engineer steady states with a persistent current that survives in the limit of large systems. We also verify the robustness of such current in the presence of additional dissipative or Hamiltonian perturbation terms.


title: Quantum Hamiltonian Identifiability via a Similarity Transformation Approach and Beyond

abstract: The identifiability of a system is concerned with whether the unknown parameters in the system can be uniquely determined with all the possible data generated by a certain experimental setting. A test of quantum Hamiltonian identifiability is an important tool to save time and cost when exploring the identification capability of quantum probes and experimentally implementing quantum identification schemes. In this paper, we generalize the identifiability test based on the Similarity Transformation Approach (STA) in classical control theory and extend it to the domain of quantum Hamiltonian identification. We employ STA to prove the identifiability of spin-1/2 chain systems with arbitrary dimension assisted by single-qubit probes. We further extend the traditional STA method by proposing a Structure Preserving Transformation (SPT) method for non-minimal systems. We use the SPT method to introduce an indicator for the existence of economic quantum Hamiltonian identification algorithms, whose computational complexity directly depends on the number of unknown parameters (which could be much smaller than the system dimension). Finally, we give an example of such an economic Hamiltonian identification algorithm and perform simulations to demonstrate its effectiveness.


title: LS-Net: Learning to Solve Nonlinear Least Squares for Monocular Stereo

abstract: Sum-of-squares objective functions are very popular in computer vision algorithms. However, these objective functions are not always easy to optimize. The underlying assumptions made by solvers are often not satisfied and many problems are inherently ill-posed. In this paper, we propose LS-Net, a neural nonlinear least squares optimization algorithm which learns to effectively optimize these cost functions even in the presence of adversities. Unlike traditional approaches, the proposed solver requires no hand-crafted regularizers or priors as these are implicitly learned from the data. We apply our method to the problem of motion stereo ie. jointly estimating the motion and scene geometry from pairs of images of a monocular sequence. We show that our learned optimizer is able to efficiently and effectively solve this challenging optimization problem.


title: Geometry-Aware Face Completion and Editing

abstract: Face completion is a challenging generation task because it requires generating visually pleasing new pixels that are semantically consistent with the unmasked face region. This paper proposes a geometry-aware Face Completion and Editing NETwork (FCENet) by systematically studying facial geometry from the unmasked region. Firstly, a facial geometry estimator is learned to estimate facial landmark heatmaps and parsing maps from the unmasked face image. Then, an encoder-decoder structure generator serves to complete a face image and disentangle its mask areas conditioned on both the masked face image and the estimated facial geometry images. Besides, since low-rank property exists in manually labeled masks, a low-rank regularization term is imposed on the disentangled masks, enforcing our completion network to manage occlusion area with various shape and size. Furthermore, our network can generate diverse results from the same masked input by modifying estimated facial geometry, which provides a flexible mean to edit the completed face appearance. Extensive experimental results qualitatively and quantitatively demonstrate that our network is able to generate visually pleasing face completion results and edit face attributes as well.


title: Relativistic effects in the semileptonic $B_c$ decays to charmonium with the Bethe-Salpeter method

abstract: Relativistic effects are important in the rigorous study of heavy quarks. In this paper, we study the relativistic corrections of semileptonic $B_c$ decays to charmonium with the instantaneous Bethe-Salpeter method. Within the Bethe-Salpeter framework, we use two methods to study the relativistic effects. One of them is to expand the transition amplitude in powers of $\vec{q}$ which is the relative momentum between the quark and antiquark, and the other is to expand the amplitude base on the wave functions. In the level of decay width, the results show that, for the transition of $B_c\to \eta_c$, the relativistic correction is about $22\%$; for $B_c\to J/\psi$, it is about $19\%$; the relativistic effects of $1P$ final states are about $14\sim46\%$ larger than those of $1S$ final states; for $2S$ final states, they are about $19\sim 28\%$ larger than those of $1S$ final states; for $3S$ final states, they are about $12\sim13\%$ larger than those of $2S$ final states; for $2P$ final states, they are about $10\sim14\%$ larger than those of $1P$ final states; for $3P$ final states, they are about $7\sim12\%$ larger than those of $2P$ final states. We conclude that the relativistic corrections of the $B_c$ decays to the orbitally or radially excited charmonium (2S, 3S, 1P, 2P, 3P) are quite large.


title: Low regularity blowup solutions for the mass-critical NLS in higher dimensions

abstract: In this paper, we study the $H^s$-stability of the log-log blowup regime (which has been completely described in a series of recent works by Merle and Raphael) for the focusing mass-critical nonlinear Schr\"odinger equations $i\partial_tu+\Delta u+|u|^\frac4du=0$ in $\mathbb{R}^d$ with $d\geq3$. We aim to extend the result in [Colliander and Raphael, Rough blowup solutions to the $L^2$ critical NLS, Math. Anna., 345(2009), 307-366.] for dimension two to the higher dimensions cases $d\geq3$, where we use the bootstrap argument in the above paper and the commutator estimates in [M. Visan and X. Zhang, On the blowup for the $L^2$-critical focusing nonlinear Schr\"odinger equation in higher dimensions below the energy class. SIAM J. Math. Anal., 39(2007), 34-56.].


title: Surpassing the Ambient Packing Limit of Energetic Crystals: Squeezing Effect of Molecular Level "Net-fishing"

abstract: High energy density is always a key goal for developments of energy storage or energetic materials (EMs). Except exploring novel EMs with high chemical energy, it is also desirable if the traditional EMs could be assembled at a higher density. However, it is very difficult to surpass their theoretical maximum molecular packing density under ambient conditions, even though a higher density could be achieved under ultra-high pressure (Gigapascals). Such solid-state phase changes are reversible, and hence this high density packing is not able to maintain under ambient conditions. Alternatively, in this research, we demonstrated a molecular level compression effect by stacking of 2-D TAGP, resulting in a higher density packing of the HMX molecules with changed conformation. The HMX crystal formed under compression in the solvent has a unit cell parameter very close to the reported one observed under pressure of 0.2 GPa. It shows that the compressed HMX molecules are trapped in the TAGP layers, resulting in a higher density (e.g. 2.13 g cm-3) and also higher heat of formation. The resulted HMX crystals are free of defects, and unlike the pristine HMX, no polymorphic transition and melting point were observed upon heating. Experiments and relevant calculations show that the best resulted hybrid HMX crystal has a detonation velocity of 10.40 km s-1 and pressure of 53.9 GPa, respectively. Its ground specific impulse reaches about 292 s, even much better than CL-20, making it a promising propellant component for future space explorations.


title: Analysis of Boundary-Domain Integral Equations based on a new parametrix for the mixed diffusion BVP with variable coefficient in an interior Lipschitz domain

abstract: A mixed boundary value problem for the partial differential equation of diffusion in an inhomogeneous medium in a Lipschitz domain is reduced to a system of direct segregated parametrix-based Boundary-Domain Integral Equations (BDIEs). We use a parametrix different from the one employed in the papers by Mikhailov (2002, 2006) and Chkadua, Mikhailov, Natroshvili (2009). We prove the equivalence between the original BVP and the corresponding BDIE system. The invertibility and Fredholm properties of the boundary-domain integral operators are also analysed.


title: The dynamical-decoupling-based spatiotemporal noise spectroscopy

abstract: Here we demonstrate how the standard, temporal-only, dynamical-decoupling-based noise spectroscopy method can be extended to also encompass the spatial degree of freedom. This spatiotemporal spectroscopy utilizes a system of multiple qubits arranged in a line that are undergoing pure dephasing due to environmental noise. When the qubits are driven by appropriately coordinated sequences of $\pi$ pulses the multi-qubit register becomes decoupled from all components of the noise, except for those characterized by frequencies and wavelengths specified by the pulse sequences. This allows for employment of the procedure for reconstruction of the two-dimensional spectral density that quantifies the power distribution among spatial and temporal harmonic components of the noise.


title: Dynamical picture for the exotic XYZ states

abstract: We present a dynamical approach for description of the multi-quark states that is based on an effective interaction Lagrangian describing the coupling of hadrons to their constituent quarks. First, we explore the consequences of treating the $X(3872)$ meson as a tetraquark bound state. We calculate the decay widths of the observed channels and conclude that for reasonable values of the size parameter of the $X(3872)$ one finds consistency with the available experimental data. Then we have critically checked the tetraquark picture for the $Z_c(3900)$ state by analyzing its strong decays. We found that $Z_c(3900)$ has a much more stronger coupling to $DD^\ast$ than to $J/\psi\pi$ that is in discord with experiment. As an alternative we have employed a molecular-type four-quark current to describe the decays of the $Z_c(3900)$ state as the charged particle in the isotriplet. We found that a molecular-type current gives the values of the above decays in accordance with the experimental observation. By using molecular-type four-quark currents for the recently observed resonances $Z_b(10610)$ and $Z_b(10650)$, we have calculated their two-body decay rates into a bottomonium state plus a light meson as well as into B-meson pairs.


title: Properties and application of the SO(3) Majorana representation of spin: equivalence with the Jordan-Wigner transformation and exact $Z_{2}$ gauge theories for spin models

abstract: We explore the properties of the SO(3) Majorana representation of spin. Based on its non-local nature, it is shown that there is an equivalence between the SO(3) Majorana representation and the Jordan-Wigner transformation in one and two dimensions. From the relation between the SO(3) Majorana representation and one-dimensional Jordan-Wigner transformation, we show that application of the SO(3) Majorana representation usually results in $Z_{2}$ gauge structure. Based on lattice Chern-Simons gauge theory, it is shown that the anti-commuting link variables in the SO(3) Majorana representation make it equivalent to an operator form of compact $\text{U(1)}_{1}$ Chern-Simons Jordan-Wigner transformation in 2d. As examples of its application, we discuss two spin models, namely the quantum XY model on honeycomb lattice and the $90^{\circ}$ compass model on square lattice. It is shown that under the SO(3) Majorana representation both spin models can be exactly mapped into $Z_{2}$ gauge theory of spinons, with the standard form of $Z_{2}$ Gauss law constraint.


title: A new geometric viewpoint on Sturm-Liouville eigenvalue problems

abstract: In Euclidean plane geometry, cycloids are curves which are homothetic to their respective bi-evolutes. In smooth normed planes, cycloids can be similarly defined, and they are characterized by their radius of curvature functions being solutions to eigenvalue problems of certain Sturm-Liouville equations. In this paper, we show that, for the eigenvalue {\lambda} = 1, this equation is a previously studied Hill equation which is closely related to the geometry given by the norm. We also investigate which geometric properties can be derived from this equation. Moreover, we prove that if the considered norm is defined by a Radon curve, then the solutions to the Hill equation are given by trigonometric functions. Further, we give conditions under which a given Hill equation induces a planar Minkowski geometry, and we prove that in this case the geometry is Euclidean if an eigenvalue other than {\lambda} = 1 induces a reparametrization of the original unit circle.


title: Geometric phase of the one-dimensional Ising chain in a longitudinal field

abstract: For the one-dimensional Ising chain with spin-$1/2$ and exchange couple $J$ in a steady transverse field(TF), an analytical theory has well been developed in terms of some topological order parameters such as Berry phase(BP). For a TF Ising chain, the nonzero BP which depends on the exchange couple and the field strength characterizes the corresponding symmetry breaking of parity and time reversal(PT). However, there seems to exist a topological phase transition for the one-dimensional Ising chain in a longitudinal field(LF) with the reduced field strength $\epsilon$. If the LF is added at zero temperature, researchers believe that the LF also could influence the PT-symmetry and there exists the discontinuous BP. But the theoretic characterization has not been well founded. This paper tries to aim at this problem. With the Jordan-Wigner transformation, we give the four-fermion interaction form of the Hamiltonian in the one-dimensional Ising chain with a LF. Further by the method of Wick's theorem and the mean-field theory, the four-fermion interaction is well dealt with. We solve the ground state energy and the ground wave function in the momentum space. We discuss the BP and suggest that there exist nonzero BPs when $\epsilon=0$ in the paramagnetic case where $J<0$ and when $-1<\epsilon<1$, in the diamagnetic case where $J>0$.


title: Nonparametric semisupervised classification for signal detection in high energy physics

abstract: Model-independent searches in particle physics aim at completing our knowledge of the universe by looking for new possible particles not predicted by the current theories. Such particles, referred to as signal, are expected to behave as a deviation from the background, representing the known physics. Information available on the background can be incorporated in the search, in order to identify potential anomalies. From a statistical perspective, the problem is recasted to a peculiar classification one where only partial information is accessible. Therefore a semisupervised approach shall be adopted, either by strengthening or by relaxing assumptions underlying clustering or classification methods respectively. In this work, following the first route, we semisupervise nonparametric clustering in order to identify a possible signal. The main contribution consists in tuning a nonparametric estimate of the density underlying the experimental data with the aid of the available information on the physical theory. As a side contribution, a variable selection procedure is presented. The whole procedure is tested on a dataset mimicking proton-proton collisions performed within a particle accelerator. While finding motivation in the field of particle physics, the approach is applicable to various science domains, where similar problems of anomaly detection arise.


title: Time-universal data compression and prediction

abstract: Suppose there is a large file which should be transmitted (or stored) and there are several (say, m) admissible data-compressors. It seems natural to try all the compressors and then choose the best, i.e. the one that gives the shortest compressed file. Then transfer (or store) the index number of the best compressor (it requires log m bits) and the compressed file.The only problem is the time, which essentially increases due to the need to compress the file m times (in order to find the best compressor). We propose a method that encodes the file with the optimal compressor, but uses a relatively small additional time: the ratio of this extra time and the total time of calculation can be limited by an arbitrary positive constant. Generally speaking, in many situations it may be necessary find the best data compressor out of a given set, which is often done by comparing them empirically. One of the goals of this work is to turn such a selection process into a part of the data compression method, automating and optimizing it.


title: Challenges in Open-air Microwave Quantum Communication and Sensing

abstract: Quantum communication is a holy grail to achieve secure communication among a set of partners, since it is provably unbreakable by physical laws. Quantum sensing employs quantum entanglement as an extra resource to determine parameters by either using less resources or attaining a precision unachievable in classical protocols. A paradigmatic example is the quantum radar, which allows one to detect an object without being detected oneself, by making use of the additional asset provided by quantum entanglement to reduce the intensity of the signal. In the optical regime, impressive technological advances have been reached in the last years, such as the first quantum communication between ground and satellites, as well as the first proof-of-principle experiments in quantum sensing. The development of microwave quantum technologies turned out, nonetheless, to be more challenging. Here, we will discuss the challenges regarding the use of microwaves for quantum communication and sensing. Based on this analysis, we propose a roadmap to achieve real-life applications in these fields.


title: Experimentally well-constrained masses of $^{27}$P and $^{27}$S: Implications for studies of explosive binary systems

abstract: The mass of $^{27}$P was predicted to impact the X-ray burst (XRB) model predictions of burst light curves and the composition of the burst ashes. To address the uncertainties and inconsistencies in the reported $^{27}$P masses in literature, a wealth of information has been extracted from the $\beta$-decay spectroscopy of the drip-line nucleus $^{27}$S. We determine the most precise mass excess of $^{27}$P to date to be $-659(9)$~keV, which is 63~keV (2.3$\sigma$) higher than the AME2016 recommended value of $-722(26)$~keV. The experimentally unknown mass excess of $^{27}$S was estimated to be 17030(400)~keV in AME2016, and we constrain this mass to be 17678(77)~keV based on the measured $\beta$-delayed two-proton energy. In the temperature region of $(0.06-0.3)$~GK, the $^{26}$Si$(p,\gamma)^{27}$P reaction rate determined in this work is significantly lower than the rate recommended in the reaction rate libraries, up to two orders of magnitude around 0.1~GK. The impact of these newly determined masses and well-constrained rate on the modeling of the explosive astrophysical scenarios has been explored by hydrodynamic nova and post-processing XRB models. No substantial change was found in the nova contribution to the synthesis of galactic $^{26}$Al or in the XRB energy generation rate, but we found that the calculated abundances of $^{26}$Al and $^{26}$Si at the last stage of XRB are increased by a factor of 2.4. We also conclude that $^{27}$S is not a significant waiting point in the rapid proton capture process.


title: Age of Information in Poisson Networks

abstract: The age of information (AoI) has been extensively studied in recent years. However, few works have focused on the analysis of AoI in large wireless networks. In this work, we analyze this metric to characterize timeliness in a Poisson bipolar network, in which spatial distribution, fading, and interference are taken into consideration. We further study the effect of deadline constraint on the AoI. We derive upper and lower bounds for the cumulative distribution function (cdf) of the average age in network. Numerical results show that the inclusion of deadline constraint can substantially improve the performance of the system.


title: A New X-ray Selected Sample of Very Extended Galaxy Groups from the ROSAT All-Sky Survey

abstract: Some indications for tension have long been identified between cosmological constraints obtained from galaxy clusters and primary CMB measurements. Typically, assuming the matter density and fluctuations, as parameterized with Omega_m and sigma_8, estimated from CMB measurements, many more clusters are expected than those actually observed. One possible explanation could be that certain types of galaxy groups or clusters were missed in samples constructed in previous surveys, resulting in a higher incompleteness than estimated. We aim to determine if a hypothetical class of very extended, low surface brightness, galaxy groups or clusters have been missed in previous X-ray cluster surveys based on the ROSAT All-Sky Survey (RASS). We applied a dedicated source detection algorithm sensitive also to more unusual group or cluster surface brightness distributions. We found many known but also a number of new group candidates, which are not included in any previous X-ray / SZ cluster catalogs. In this paper, we present a pilot sample of 13 very extended groups discovered in the RASS at positions where no X-ray source has been detected previously and with clear optical counterparts. The X-ray fluxes of at least 5 of these are above the nominal flux-limits of previous RASS cluster catalogs. They have low mass ($10^{13} - 10^{14} M_{\odot}$; i.e., galaxy groups), are at low redshift (z<0.08), and exhibit flatter surface brightness distributions than usual. We demonstrate that galaxy groups were missed in previous RASS surveys, possibly due to the flat surface brightness distributions of this potential new population. Analysis of the full sample will show if this might have a significant effect on previous cosmological parameter constraints based on RASS cluster surveys. (This is a shortened version of the abstract - full text in the article)


title: Dual Attention Network for Scene Segmentation

abstract: In this paper, we address the scene segmentation task by capturing rich contextual dependencies based on the selfattention mechanism. Unlike previous works that capture contexts by multi-scale features fusion, we propose a Dual Attention Networks (DANet) to adaptively integrate local features with their global dependencies. Specifically, we append two types of attention modules on top of traditional dilated FCN, which model the semantic interdependencies in spatial and channel dimensions respectively. The position attention module selectively aggregates the features at each position by a weighted sum of the features at all positions. Similar features would be related to each other regardless of their distances. Meanwhile, the channel attention module selectively emphasizes interdependent channel maps by integrating associated features among all channel maps. We sum the outputs of the two attention modules to further improve feature representation which contributes to more precise segmentation results. We achieve new state-of-the-art segmentation performance on three challenging scene segmentation datasets, i.e., Cityscapes, PASCAL Context and COCO Stuff dataset. In particular, a Mean IoU score of 81.5% on Cityscapes test set is achieved without using coarse data. We make the code and trained model publicly available at https://github.com/junfu1115/DANet


title: On zero-sum game formulation of non zero-sum game

abstract: We consider a formulation of a non zero-sum n players game by an n+1 players zero-sum game. We suppose the existence of the n+1-th player in addition to n players in the main game, and virtual subsidies to the n players which is provided by the n+1-th player. Its strategic variable affects only the subsidies, and does not affect choice of strategies by the n players in the main game. His objective function is the opposite of the sum of the payoffs of the n players. We will show 1) The minimax theorem by Sion (Sion(1958)) implies the existence of Nash equilibrium in the n players non zero-sum game. 2) The maximin strategy of each player in {1, 2, \dots, n} with the minimax strategy of the n+1-th player is equivalent to the Nash equilibrium strategy of the n players non zero-sum game. 3) The existence of Nash equilibrium in the n players non zero-sum game implies Sion's minimax theorem for pairs of each of the n players and the n+1-th player.


title: First principles investigation of nanopore sequencing using variable voltage bias on graphene-based nanoribbons

abstract: In this study, we examine the mechanism of nanopore-based DNA sequencing using a voltage bias across a graphene nanoribbon. Using density functional theory and a non-equilibrium Green's function approach, we determine the transmission spectra and current profile for adenine, guanine, cytosine, thymine, and uracil as a function of bias voltage in an energy minimized configuration. Utilizing the transmission current, we provide a general methodology for the development of a three nanopore graphene-based device that can be used to distinguish between the various nucleobases for DNA/RNA sequencing. From our analysis, we deduce that it is possible to use different transverse currents across a multi-nanopore device to differentiate between nucleobases using various voltages of 0.5, 1.3, and 1.6 V. Overall, our goal is to improve nanopore design to further DNA/RNA nucleobase sequencing and biomolecule identification techniques.


title: Basepoint free cycles on $\overline{M}_{0,n}$ from Gromov-Witten theory

abstract: Basepoint free cycles on the moduli space $\overline{M}_{0,n}$ of stable n-pointed rational curves, defined using Gromov-Witten invariants of smooth projective homogeneous spaces X are studied. Intersection formulas to find classes are given, with explicit examples for X a projective space, and X a smooth projective quadric hypersurface. When X is projective space, divisors are shown equivalent to conformal blocks divisors for type A at level one, giving maps from $\overline{M}_{0,n}$ to birational models constructed as GIT quotients, parametrizing configurations of weighted points supported on (generalized) Veronese curves.


title: Beta-decay spectroscopy of $^{27}$S

abstract: Background: Beta-decay spectroscopy provides valuable nuclear physics input for thermonuclear reaction rates of astrophysical interest and stringent test for shell-model theories far from the stability line. Purpose: The available decay properties of proton drip-line nucleus $^{27}$S is insufficient to constrain the properties of the key resonance in $^{26}$Si$(p,\gamma)^{27}$P reaction rate and probe the possible isospin asymmetry. The decay scheme of $^{27}$S is complicated and far from being understood, which has motivated but also presented challenges for our experiment. Method: The $^{27}$S ions were implanted into a double-sided silicon strip detector array surrounded by the high-purity germanium detectors, where the $\beta$-delayed protons and $\gamma$ rays were measured simultaneously. Results: The improved spectroscopic properties including the precise half-life of $^{27}$S, the excitation energies, $\beta$-decay branching ratios, log~$ft$ values, and $B$(GT) values for the states of $^{27}$P populated in the $\beta$ decay of $^{27}$S were measured and compared to the $^{27}$Mg mirror states and the shell-model calculations. The present work has expanded greatly on the previously established decay scheme of $^{27}$S. Conclusions: The precise proton-separation energy of $^{27}$P, the energy and the ratio between $\gamma$ and proton partial widths of the $3/2^+$ resonance were obtained, thereby determining the $^{26}$Si$(p,\gamma)^{27}$P reaction rate based mainly on experimental constraints. The first evidence for the observation of a large isospin asymmetry for the mirror decays of $^{27}$S and $^{27}$Na is also provided. The experimental spectroscopic information can be reproduced by the shell-model calculation taking the weakly bound effect of the proton $1s_{1/2}$ orbit into account.


title: Generalized eigenfunctions and scattering matrices for position-dependent quantum walks

abstract: We study the spectral analysis and the scattering theory for time evolution operators of position-dependent quantum walks. Our main purpose of this paper is construction of generalized eigenfunctions of the time evolution operator. Roughly speaking, the generalized eigenfunctions are not square summable but belong to $\ell^{\infty}$-space on ${\bf Z}$. Moreover, we derive a characterization of the set of generalized eigenfunctions in view of the time-harmonic scattering theory. Thus we show that the S-matrix associated with the quantum walk appears in the singularity expansion of generalized eigenfunctions.


title: Simultaneous Localization and Mapping (SLAM) using RTAB-MAP

abstract: This paper implements Simultaneous Localization and Mapping (SLAM) technique to construct a map of a given environment. A Real Time Appearance Based Mapping (RTAB-Map) approach was taken for accomplishing this task. Initially, a 2d occupancy grid and 3d octomap was created from a provided simulated environment. Next, a personal simulated environment was created for mapping as well. In this appearance based method, a process called Loop Closure is used to determine whether a robot has seen a location before or not. In this paper, it is seen that RTAB-Map is optimized for large scale and long term SLAM by using multiple strategies to allow for loop closure to be done in real time and the results depict that it can be an excellent solution for SLAM to develop robots that can map an environment in both 2d and 3d.


title: Product Formulas for Periods of CM Abelian Varieties and the Function Field Analog

abstract: We survey Colmez's theory and conjecture about the Faltings height and a product formula for the periods of abelian varieties with complex multiplication, along with the function field analog developed by the authors. In this analog, abelian varieties are replaced by Drinfeld modules and $A$-motives. We also explain the necessary background on abelian varieties, Drinfeld modules and $A$-motives, including their cohomology theories and comparison isomorphisms and their theory of complex multiplication.


title: Sharp Convergence Rate of Eigenvalues in a Domain with a Shrinking Tube

abstract: In this paper we consider a class of singularly perturbed domains, obtained by attaching a cylindrical tube to a fixed bounded region and letting its section shrink to zero. We use an Almgren-type monotonicity formula to evaluate the sharp convergence rate of perturbed simple eigenvalues, via Courant-Fischer Min-Max characterization and blow-up analysis for scaled eigenfunctions.


title: Speeding Up Neural Machine Translation Decoding by Cube Pruning

abstract: Although neural machine translation has achieved promising results, it suffers from slow translation speed. The direct consequence is that a trade-off has to be made between translation quality and speed, thus its performance can not come into full play. We apply cube pruning, a popular technique to speed up dynamic programming, into neural machine translation to speed up the translation. To construct the equivalence class, similar target hidden states are combined, leading to less RNN expansion operations on the target side and less \$\mathrm{softmax}\$ operations over the large target vocabulary. The experiments show that, at the same or even better translation quality, our method can translate faster compared with naive beam search by \$3.3\times\$ on GPUs and \$3.5\times\$ on CPUs.


title: Local Optimization of Wave-fronts for high sensitivity PHase Imaging (LowPhi)

abstract: Phase microscopy is an invaluable tool in the biosciences and in clinical diagnostics. The sensitivity of current phase microscopy techniques is optimized for one specific mean phase value and varies significantly across a given sample. Here, we demonstrate a technique based on wavefront shaping that optimizes the sensitivity across the field of view and for arbitrary phase objects. A significant mean sensitivity enhancement is achieved, both for engineered test samples, as well as for red blood cells. Besides sensitivity enhancement, the technique homogenizes sensitivity, reduces typical phase imaging artifacts such as halos, and allows for quantitative single-frame microscopy, which potentially allows for imaging speedup as compared to other phase stepping techniques.


title: Efficient thermionic operation and phonon isolation by a semiconductor-superconductor junction

abstract: Control of heat flux at small length scales is crucial for numerous solid-state devices and systems. In addition to the thermal management of information and communication devices the mastering of heat transfer channels down to the nanoscale also enable, e.g., new memory concepts, high sensitivity detectors and sensors, energy harvesters and compact solid-state refrigerators. Electronic coolers and thermal detectors for electromagnetic radiation, especially, rely on the maximization of electro-thermal response and blockade of phonon transport. In this work, we propose and demonstrate that efficient electro-thermal operation and phonon transfer blocking can be achieved in a single solid-state thermionic junction. Our experimental demonstration relies on suspended semiconductor-superconductor junctions where the electro-thermal response arises from the superconducting energy gap, and the phonon blocking naturally results from the transmission bottleneck at the junction. We suspend different size degenerately doped silicon chips (up to macroscopic scale) directly from the junctions and cool these by biasing the junctions. The electronic cooling operation characteristics are accompanied by measurement and analysis of the thermal resistance components in the structures indicating the operation principle of phonon blocking in the junctions.


title: On Solving Linear Systems in Sublinear Time

abstract: We study \emph{sublinear} algorithms that solve linear systems locally. In the classical version of this problem the input is a matrix $S\in \mathbb{R}^{n\times n}$ and a vector $b\in\mathbb{R}^n$ in the range of $S$, and the goal is to output $x\in \mathbb{R}^n$ satisfying $Sx=b$. For the case when the matrix $S$ is symmetric diagonally dominant (SDD), the breakthrough algorithm of Spielman and Teng [STOC 2004] approximately solves this problem in near-linear time (in the input size which is the number of non-zeros in $S$), and subsequent papers have further simplified, improved, and generalized the algorithms for this setting. Here we focus on computing one (or a few) coordinates of $x$, which potentially allows for sublinear algorithms. Formally, given an index $u\in [n]$ together with $S$ and $b$ as above, the goal is to output an approximation $\hat{x}_u$ for $x^*_u$, where $x^*$ is a fixed solution to $Sx=b$. Our results show that there is a qualitative gap between SDD matrices and the more general class of positive semidefinite (PSD) matrices. For SDD matrices, we develop an algorithm that approximates a single coordinate $x_{u}$ in time that is polylogarithmic in $n$, provided that $S$ is sparse and has a small condition number (e.g., Laplacian of an expander graph). The approximation guarantee is additive $| \hat{x}_u-x^*_u | \le \epsilon \| x^* \|_\infty$ for accuracy parameter $\epsilon>0$. We further prove that the condition-number assumption is necessary and tight. In contrast to the SDD matrices, we prove that for certain PSD matrices $S$, the running time must be at least polynomial in $n$. This holds even when one wants to obtain the same additive approximation, and $S$ has bounded sparsity and condition number.


title: Seeing Permeability From Images: Fast Prediction with Convolutional Neural Networks

abstract: Fast prediction of permeability directly from images enabled by image recognition neural networks is a novel pore-scale modeling method that has a great potential. This article presents a framework that includes (1) generation of porous media samples, (2) computation of permeability via fluid dynamics simulations, (3) training of convolutional neural networks (CNN) with simulated data, and (4) validations against simulations. Comparison of machine learning results and the ground truths suggests excellent predictive performance across a wide range of porosities and pore geometries, especially for those with dilated pores. Owning to such heterogeneity, the permeability cannot be estimated using the conventional Kozeny-Carman approach. Computational time was reduced by several orders of magnitude compared to fluid dynamic simulations. We found that, by including physical parameters that are known to affect permeability into the neural network, the physics-informed CNN generated better results than regular CNN, however improvements vary with implemented heterogeneity.


title: Gaps in probabilities of satisfying some commutator-like identities

abstract: We show that there is a positive constant $\delta < 1$ such that the probability of satisfying either the $2$-Engel identity $[X_1, X_2, X_2] = 1$ or the metabelian identity $[[X_1, X_2], [X_3, X_4]] = 1$ in a finite group is either $1$ or at most $\delta$.


title: Traveling Waves for Conservation Laws with Nonlocal Flux for Traffic Flow on Rough Roads

abstract: We consider two scalar conservation laws with non-local flux functions, describing traffic flow on roads with rough conditions. In the first model, the velocity of the car depends on an averaged downstream density, while in the second model one considers an averaged downstream velocity. The road condition is piecewise constant with a jump at $x=0$. We study stationary traveling wave profiles cross $x=0$, for all possible cases. We show that, depending on the case, there could exit infinitely many profiles, a unique profile, or no profiles at all. Furthermore, some of the profiles are time asymptotic solutions for the Cauchy problem of the conservation laws under mild assumption on the initial data, while other profiles are unstable.


title: Faithful measure of Quantum non-Gaussianity via quantum relative entropy

abstract: We introduce a measure of quantum non-Gaussianity (QNG) for those quantum states not accessible by a mixture of Gaussian states in terms of quantum relative entropy. Specifically, we employ a convex-roof extension using all possible mixed-state decompositions beyond the usual pure-state decompositions. We prove that this approach brings a QNG measure fulfilling the properties desired as a proper monotone under Gaussian channels and conditional Gaussian operations. As an illustration, we explicitly calculate QNG for the noisy single-photon states and demonstrate that QNG coincides with non-Gaussianity of the state itself when the single-photon fraction is sufficiently large.


title: Helioseismology and solar neutrinos

abstract: The studies of solar neutrinos and helioseismology have been closely intertwined since the first neutrino experiment and the first observations of solar oscillations in the sixties. Early detailed helioseismic analyses provided strong support for the standard solar model and hence a clear indication that the solution to the discrepancy between the predicted and observed neutrino fluxes had to be found in terms of neutrino physics, as now fully confirmed by direct observations. With the full characterization of neutrino properties we are now in a position to combine neutrino observations and helioseismology to obtain a more complete understanding of conditions in the solar core. Here I provide a personal and largely historical overview of these developments.


title: Evidence-based lean logic profiles for conceptual data modelling languages

abstract: Multiple logic-based reconstructions of conceptual data modelling languages such as EER, UML Class Diagrams, and ORM exist. They mainly cover various fragments of the languages and none are formalised such that the logic applies simultaneously for all three modelling language families as unifying mechanism. This hampers interchangeability, interoperability, and tooling support. In addition, due to the lack of a systematic design process of the logic used for the formalisation, hidden choices permeate the formalisations that have rendered them incompatible. We aim to address these problems, first, by structuring the logic design process in a methodological way. We generalise and extend the DSL design process to apply to logic language design more generally and, in particular, by incorporating an ontological analysis of language features in the process. Second, we specify minimal logic profiles availing of this extended process, including the ontological commitments embedded in the languages, of evidence gathered of language feature usage, and of computational complexity insights from Description Logics (DL). The profiles characterise the essential logic structure needed to handle the semantics of conceptual models, therewith enabling the development of interoperability tools. There is no known DL language that matches exactly the features of those profiles and the common core is small (in the tractable DL $\mathcal{ALNI}$). Although hardly any inconsistencies can be derived with the profiles, it is promising for scalable runtime use of conceptual data models.


title: Contextually indexed contextual categories

abstract: In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories are models of ordinary type theories, contextually indexed (contextual) categories are models of indexed type theories. We also define type-theoretic semi-fibration categories which generalize type-theoretic fibration categories. Every model category in which cofibrations are stable under pullbacks is a type-theoretic semi-fibration category. We show that type-theoretic semi-fibration category gives rise to a contextually indexed contextual category with finite limits. Finally, we prove that the category of simplicial sets with the Joyal model structure gives rise to a locally small Cartesian closed contextually indexed contextual category with indexed limits and colimits.


title: Controlled healing of graphene nanopores

abstract: Nanopores of nanometer-size holes are very promising devices for many applications: DNA sequencing, sensory, biosensoring and molecular detectors, catalysis and water desalination. These applications require accurate control over nanopores size. We report computer simulation studies of regrowth and healing of graphene nanopores of different sizes ranging from 30 to 5 {\AA}. We study mechanism, speed of nanopores regrowth and structure of healed areas in the wide range of temperatures. We report existence of at least two distinct healing mechanisms, one so called edge attachment where carbons are attached to the edges of graphene sheet and another mechanism that involves atom insertion directly into a sheet of graphene even in the absence of the edges. These findings point a significantly more complicated pathways for graphene annealing. They also provide an important enabling step in development of graphene based devices for numerous nanotechnology applications.


title: Even-handed subsystem selection in projection-based embedding

abstract: Projection-based embedding offers a simple framework for embedding correlated wavefunction methods in density functional theory. Partitioning between the correlated wavefunction and density functional subsystems is performed in the space of localized molecular orbitals. However, during a large geometry change--such as a chemical reaction--the nature of these localized molecular orbitals, as well as their partitioning into the two subsystems, can change dramatically. This can lead to unphysical cusps and even discontinuities in the potential energy surface. In this work, we present an even-handed framework for localized orbital partitioning that ensures consistent subsystems across a set of molecular geometries. We illustrate this problem and the even-handed solution with a simple example of an SN2 reaction. Applications to a nitrogen umbrella flip in a cobalt-based CO2 reduction catalyst and to the binding of CO to Cu clusters are presented. In both cases, we find that even-handed partitioning enables chemically accurate embedding with modestly-sized embedded regions for systems in which previous partitioning strategies are problematic.


title: Distribution-aware Block-sparse Recovery via Convex Optimization

abstract: We study the problem of reconstructing a block-sparse signal from compressively sampled measurements. In certain applications, in addition to the inherent block-sparse structure of the signal, some prior information about the block support, i.e. blocks containing non-zero elements, might be available. Although many block-sparse recovery algorithms have been investigated in Bayesian framework, it is still unclear how to incorporate the information about the probability of occurrence into regularization-based block-sparse recovery in an optimal sense. In this work, we bridge between these fields by the aid of a new concept in conic integral geometry. Specifically, we solve a weighted optimization problem when the prior distribution about the block support is available. Moreover, we obtain the unique weights that minimize the expected required number of measurements. Our simulations on both synthetic and real data confirm that these weights considerably decrease the required sample complexity.


title: Performance Metrics (Error Measures) in Machine Learning Regression, Forecasting and Prognostics: Properties and Typology

abstract: Performance metrics (error measures) are vital components of the evaluation frameworks in various fields. The intention of this study was to overview of a variety of performance metrics and approaches to their classification. The main goal of the study was to develop a typology that will help to improve our knowledge and understanding of metrics and facilitate their selection in machine learning regression, forecasting and prognostics. Based on the analysis of the structure of numerous performance metrics, we propose a framework of metrics which includes four (4) categories: primary metrics, extended metrics, composite metrics, and hybrid sets of metrics. The paper identified three (3) key components (dimensions) that determine the structure and properties of primary metrics: method of determining point distance, method of normalization, method of aggregation of point distances over a data set.


title: Cyclotomy, difference sets, sequences with low correlation, strongly regular graphs, and related geometric substructures

abstract: In this paper, we survey constructions of and nonexistence results on combinatorial/geometric structures which arise from unions of cyclotomic classes of finite fields. In particular, we survey both classical and recent results on difference sets related to cyclotomy, and cyclotomic constructions of sequences with low correlation. We also give an extensive survey of recent results on constructions of strongly regular Cayley graphs and related geometric substructures such as $m$-ovoids and $i$-tight sets in classical polar spaces.


title: Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability

abstract: We explore the concept of co-design in the context of neural network verification. Specifically, we aim to train deep neural networks that not only are robust to adversarial perturbations but also whose robustness can be verified more easily. To this end, we identify two properties of network models - weight sparsity and so-called ReLU stability - that turn out to significantly impact the complexity of the corresponding verification task. We demonstrate that improving weight sparsity alone already enables us to turn computationally intractable verification problems into tractable ones. Then, improving ReLU stability leads to an additional 4-13x speedup in verification times. An important feature of our methodology is its "universality," in the sense that it can be used with a broad range of training procedures and verification approaches.


title: Pull-back of metric currents and homological boundedness of BLD-elliptic spaces

abstract: Using the duality of metric currents and polylipschitz forms, we show that a BLD-mapping $f\colon X\to Y$ between oriented cohomology manifolds $X$ and $Y$ induces a pull-back operator $f^\ast \colon M_{k,loc}(Y) \to M_{k,loc}(X)$ between the spaces of metric $k$-currents of locally finite mass. For proper maps, the pull-back is a right-inverse (up to multiplicity) of the push-forward $f_\ast \colon M_{k,loc}(X)\to M_{k,loc}(Y)$. As an application we obtain a non-smooth version of the cohomological boundedness theorem of Bonk and Heinonen for locally Lipschitz contractible cohomology $n$-manifolds $X$ admitting a BLD-mapping $\mathbb{R}^n \to X$.


title: A novel method of speech information hiding based on 3D-Magic Matrix

abstract: Redundant information of low-bit-rate speech is extremely small, thus it's very difficult to implement large capacity steganography on the low-bit-rate speech. Based on multiple vector quantization characteristics of the Line Spectrum Pair (LSP) of the speech codec, this paper proposes a steganography scheme using a 3D-Magic matrix to enlarge capacity and improve quality of speech. A cyclically moving algorithm to construct a 3D-Magic matrix for steganography is proposed in this paper, as well as an embedding and an extracting algorithm of steganography based on the 3D-Magic matrix in low-bit-rate speech codec. Theoretical analysis is provided to demonstrate that the concealment and the hidden capacity are greatly improved with the proposed scheme. Experimental results show the hidden capacity is raised to 200bps in ITU-T G.723.1 codec. Moreover, the quality of steganography speech in Perceptual Evaluation of Speech Quality (PESQ) reduces no more than 4%, indicating a little impact on the quality of speech. In addition, the proposed hidden scheme could prevent being detected by some steganalysis tools effectively.


title: Universal Barrier is $n$-Self-Concordant

abstract: This paper shows that the self-concordance parameter of the universal barrier on any $n$-dimensional proper convex domain is upper bounded by $n$. This bound is tight and improves the previous $O(n)$ bound by Nesterov and Nemirovski. The key to our main result is a pair of new, sharp moment inequalities for $s$-concave distributions, which could be of independent interest.


title: Resonance-free regions for diffractive trapping by conormal potentials

abstract: We consider the Schr\"odinger operator \[ P=h^2 \Delta_g + V \] on $\mathbb{R}^n$ equipped with a metric $g$ that is Euclidean outside a compact set. The real-valued potential $V$ is assumed to be compactly supported and smooth except at conormal singularities of order $-1-\alpha$ along a compact hypersurface $Y.$ For $\alpha>2$ (or even $\alpha>1$ if the classical flow is unique), we show that if $E_0$ is a non-trapping energy for the classical flow, then the operator $P$ has no resonances in a region \[ [E_0 - \delta, E_0 + \delta] - i[0,\nu_0 h \log(1/h)]. \] The constant $\nu_0$ is explicit in terms of $\alpha$ and dynamical quantities. We also show that the size of this resonance-free region is optimal for the class of piecewise-smooth potentials on the line.


title: Non-superreflexivity of Garling sequence spaces and applications to the existence of special types of conditional bases

abstract: In this paper we settle in the negative the problem of the superreflexivity of Garling sequence spaces by showing that they contain a complemented subspace isomorphic to a non superreflexive mixed-norm sequence space. As a by-product of our work, we give applications of this result to the study of conditional Schauder bases and conditional almost greedy bases in this new class of Banach spaces.


title: Online Learning for Position-Aided Millimeter Wave Beam Training

abstract: Accurate beam alignment is essential for beam-based millimeter wave communications. Conventional beam sweeping solutions often have large overhead, which is unacceptable for mobile applications like vehicle-to-everything. Learning-based solutions that leverage sensor data like position to identify good beam directions are one approach to reduce the overhead. Most existing solutions, though, are supervised-learning where the training data is collected beforehand. In this paper, we use a multi-armed bandit framework to develop online learning algorithms for beam pair selection and refinement. The beam pair selection algorithm learns coarse beam directions in some predefined beam codebook, e.g., in discrete angles separated by the 3dB beamwidths. The beam refinement fine-tunes the identified directions to match the peak of the power angular spectrum at that position. The beam pair selection uses the upper confidence bound (UCB) with a newly proposed risk-aware feature, while the beam refinement uses a modified optimistic optimization algorithm. The proposed algorithms learn to recommend good beam pairs quickly. When using 16x16 arrays at both the transmitter and receiver, it can achieve on average 1dB gain over the exhaustive search (over 271x271 beam pairs) on the unrefined codebook within 100 time-steps with a training budget of only 30 beam pairs.


title: Can Neural Generators for Dialogue Learn Sentence Planning and Discourse Structuring?

abstract: Responses in task-oriented dialogue systems often realize multiple propositions whose ultimate form depends on the use of sentence planning and discourse structuring operations. For example a recommendation may consist of an explicitly evaluative utterance e.g. Chanpen Thai is the best option, along with content related by the justification discourse relation, e.g. It has great food and service, that combines multiple propositions into a single phrase. While neural generation methods integrate sentence planning and surface realization in one end-to-end learning framework, previous work has not shown that neural generators can: (1) perform common sentence planning and discourse structuring operations; (2) make decisions as to whether to realize content in a single sentence or over multiple sentences; (3) generalize sentence planning and discourse relation operations beyond what was seen in training. We systematically create large training corpora that exhibit particular sentence planning operations and then test neural models to see what they learn. We compare models without explicit latent variables for sentence planning with ones that provide explicit supervision during training. We show that only the models with additional supervision can reproduce sentence planing and discourse operations and generalize to situations unseen in training.


title: Fingertip Detection and Tracking for Recognition of Air-Writing in Videos

abstract: Air-writing is the process of writing characters or words in free space using finger or hand movements without the aid of any hand-held device. In this work, we address the problem of mid-air finger writing using web-cam video as input. In spite of recent advances in object detection and tracking, accurate and robust detection and tracking of the fingertip remains a challenging task, primarily due to small dimension of the fingertip. Moreover, the initialization and termination of mid-air finger writing is also challenging due to the absence of any standard delimiting criterion. To solve these problems, we propose a new writing hand pose detection algorithm for initialization of air-writing using the Faster R-CNN framework for accurate hand detection followed by hand segmentation and finally counting the number of raised fingers based on geometrical properties of the hand. Further, we propose a robust fingertip detection and tracking approach using a new signature function called distance-weighted curvature entropy. Finally, a fingertip velocity-based termination criterion is used as a delimiter to mark the completion of the air-writing gesture. Experiments show the superiority of the proposed fingertip detection and tracking algorithm over state-of-the-art approaches giving a mean precision of 73.1 % while achieving real-time performance at 18.5 fps, a condition which is of vital importance to air-writing. Character recognition experiments give a mean accuracy of 96.11 % using the proposed air-writing system, a result which is comparable to that of existing handwritten character recognition systems.


title: Symmetric monoidal G-categories and their strictification

abstract: We give an operadic definition of a genuine symmetric monoidal G-category, and we prove that its classifying space is a genuine E_\infty G-space. We do this by developing some very general categorical coherence theory. We combine results of Corner and Gurski, Power, and Lack, to develop a strictification theory for pseudoalgebras over operads and monads. It specializes to strictify genuine symmetric monoidal G-categories to genuine permutative G-categories. All of our work takes place in a general internal categorical framework that has many quite different specializations. When G is a finite group, the theory here combines with previous work to generalize equivariant infinite loop space theory from strict space level input to considerably more general category level input. It takes genuine symmetric monoidal G-categories as input to an equivariant infinite loop space machine that gives genuine G-spectra as output.


title: Leveraging Elastic Demand for Forecasting

abstract: Demand variance can result in a mismatch between planned supply and actual demand. Demand shaping strategies such as pricing can be used to shift elastic demand to reduce the imbalance. In this work, we propose to consider elastic demand in the forecasting phase. We present a method to reallocate the historical elastic demand to reduce variance, thus making forecasting and supply planning more effective.


title: Stochastic Gradient Descent Learns State Equations with Nonlinear Activations

abstract: We study discrete time dynamical systems governed by the state equation $h_{t+1}=\phi(Ah_t+Bu_t)$. Here $A,B$ are weight matrices, $\phi$ is an activation function, and $u_t$ is the input data. This relation is the backbone of recurrent neural networks (e.g. LSTMs) which have broad applications in sequential learning tasks. We utilize stochastic gradient descent to learn the weight matrices from a finite input/state trajectory $(u_t,h_t)_{t=0}^N$. We prove that SGD estimate linearly converges to the ground truth weights while using near-optimal sample size. Our results apply to increasing activations whose derivatives are bounded away from zero. The analysis is based on i) a novel SGD convergence result with nonlinear activations and ii) careful statistical characterization of the state vector. Numerical experiments verify the fast convergence of SGD on ReLU and leaky ReLU in consistence with our theory.


title: Development of a Social Network for Research Support and Individual Well-being Improvement

abstract: The ways of communication and social interactions are changing. Web users are becoming increasingly engaged with Online Social Networks (OSN), which has a significant impact on the relationship mechanisms between individuals and communities. Most OSN platforms have strict policies regarding data access, harming its usage in psychological and social phenomena studies, It is also impacting the development of computational methods to evaluate and improve social and individual well-being via the web. Aiming to fill this gap, we propose a platform that brings together social networks dynamics with forum features, altogether with gamification elements, targeting researchers interested in obtaining access to user's data to study psychological and social phenomena.


title: Cohomological equation and cocycle rigidity of discrete parabolic actions in some higher rank Lie groups

abstract: Let $\mathbb{G}$ denote a higher rank $\mathbb R$-split simple Lie group of the following type: $SL(n,\mathbb R)$, $SO_o(m,m)$, $E_{6(6)}$, $E_{7(7)}$ and $E_{8(8)}$, where $m\geq 4$ and $n \geq 3$. We study the cohomological equation for discrete parabolic actions on $\mathbb G$ via representation theory. Specifically, we characterize the obstructions to solving the cohomological equation and construct smooth solutions with Sobolev estimates. We prove that global estimates of the solution are generally not tame, and our non-tame estimates in the case $\mathbb G=SL(n,\mathbb R)$ are sharp up to finite loss of regularity. Moreover, we prove that for general $\mathbb G$ the estimates are tame in all but one direction, and as an application, we obtain tame estimates for the common solution of the cocycle equations. We also give a sufficient condition for which the first cohomology with coefficients in smooth vector fields is trivial. In the case that $\mathbb G=SL(n,\mathbb R)$, we show this condition is also necessary. A new method is developed to prove tame directions involving computations within maximal unipotent subgroups of the unitary duals of $SL(2,\mathbb R)\ltimes\mathbb R^2$ and $SL(2,\mathbb R)\ltimes\mathbb R^4$. A new technique is also developed to prove non-tameness for solutions of the cohomological equation.


title: Some new inequalities for univalent functions

abstract: By use of a modified Nunokawa's lemma, we obtain some new conditions for univalence. Also, some sharp inequalities concerning univalent functions are presented.


title: Three-Body Problem of Bosons nearby a d-wave Resonance

abstract: Motivated by recent experimental progresses, we investigate few-body properties of interacting spinless bosons nearby a d-wave resonance. Using the Skorniakov-Ter-Martirosion (STM) equations, we calculate the scattering length between an atom and a d-wave dimer, and we find that the atom-dimer scattering length is positive and is much smaller the result from the mean-field approximation. We also reveal unique properties of the three-body recombination rate for a degenerate Bose condensate nearby the d-wave resonance. We find that the total recombination rate is nearly a constant at the quasi-bound side, in contrast to the behavior of a thermal gas nearby high-partial wave resonance. We also find that the recombination rate monotonically increases across the unitary point toward the bound side, which is due to the largely enhanced coupling between the atom and the d-wave dimer with deeper binding energy. This monotonic behavior is also qualitatively different from that of a degenerate gas nearby an s-wave resonance counterpart.


title: A Public-Key Cryptosystem from Interleaved Goppa Codes

abstract: In this paper, a code-based public-key cryptosystem based on interleaved Goppa codes is presented. The scheme is based on encrypting several ciphertexts with the same Goppa code and adding a burst error to them. Possible attacks are outlined and the key size of several choices of parameters is compared to those of known schemes for the same security level. For example, for security level 128 bits, we obtain a key size of 696 Kbits whereas the classical McEliece scheme based on Goppa codes using list decoding requires a key size of 1935 Kbits.


title: Rare-earth chalcogenides: A large family of triangular lattice spin liquid candidate

abstract: Frustrated quantum magnets are expected to host many exotic quantum spin states like quantum spin liquid (QSL), and have attracted numerous interest in modern condensed matter physics. The discovery of the triangular lattice spin liquid candidate YbMgGaO$_4$ stimulated an increasing attention on the rare-earth-based frustrated magnets with strong spin-orbit coupling. Here we report the synthesis and characterization of a large family of rare-earth chalcogenides AReCh$_2$ (A = alkali or monovalent ions, Re = rare earth, Ch = O, S, Se). The family compounds share the same structure (R$\bar{3}$m) as YbMgGaO$_4$, and antiferromagnetically coupled rare-earth ions form perfect triangular layers that are well separated along the $c$-axis. Specific heat and magnetic susceptibility measurements on NaYbO$_2$, NaYbS$_2$ and NaYbSe$_2$ single crystals and polycrystals, reveal no structural or magnetic transition down to 50mK. The family, having the simplest structure and chemical formula among the known QSL candidates, removes the issue on possible exchange disorders in YbMgGaO$_4$. More excitingly, the rich diversity of the family members allows tunable charge gaps, variable exchange coupling, and many other advantages. This makes the family an ideal platform for fundamental research of QSLs and its promising applications.


title: Avoidance for Set-Theoretic Solutions of Mean-Curvature-Type Flows

abstract: We provide a self-contained treatment of set-theoretic subsolutions to flow by mean curvature, or, more generally, to flow by mean curvature plus an ambient vector field. The ambient space can be any smooth Riemannian manifold. Most importantly, we show that if two such set-theoretic subsolutions are initially disjoint, then they remain disjoint as long as one of the subsolutions is compact; previously, this was only known for Euclidean space (with no ambient vectorfield). The new version (Sept 15, 2023) corrects a minor typo.


title: Critical behavior of dynamic vortex Mott transition in superconducting arrays at fractional vortex densities

abstract: We study the differential resistivity transition of two-dimensional superconducting arrays induced by an external driving current, in the presence of thermal fluctuations and a magnetic field corresponding to $f$ flux quantum per plaquette. Recent experiments have identified this transition as a dynamic vortex Mott insulator transition at vortex densities near rational values of $f$. The critical behavior is determined from a scaling analysis of the current-voltage relation near the transition, obtained by Monte Carlo simulations of a Josephson-junction array model in the vortex representation. For a square-lattice array, the critical exponents obtained near $f=1/2$ are consistent with the experimental observations. The same scaling behavior is observed near $f=1/3$. For a honeycomb array, although similar results are obtained for $f=1/3$, the transition is absent for $f=1/2$, consistent with an incommensurate vortex phase.


title: Cohomological equation and cocycle rigidity of discrete parabolic actions

abstract: We study the cohomological equation for discrete horocycle maps on $SL(2, \mathbb{R})$ and $SL(2,\mathbb R)\times SL(2, \mathbb{R})$ via representation theory. Specifically, we prove Hilbert Sobolev non-tame estimates for solutions of the cohomological equation of horocycle maps in representations of $SL(2,\mathbb R)$. Our estimates improve on previous results and are sharp up to a fixed, finite loss of regularity. Moreover, they are tame on a co-dimension one subspace of $sl(2, \mathbb R)$, and we prove tame cocycle rigidity for some two-parameter discrete actions, improving on a previous result. Our estimates on the cohomological equation of horocycle maps overcome difficulties in previous papers by working in a more suitable model for $SL(2, \mathbb R)$ in which all cases of irreducible, unitary representations of $SL(2, \mathbb R)$ can be studied simultaneously. Finally, our results combine with those of a very recent paper by the authors to give cohomology results for discrete parabolic actions in regular representations of some general classes of simple Lie groups, providing a fundamental step toward proving differential local rigidity of parabolic actions in this general setting.


title: Zero CR-curvature equations for Levi degenerate hypersurfaces via Pocchiola's invariants

abstract: In our earlier articles we studied tube hypersurfaces in ${\mathbb C}^3$ that are 2-nondegenerate and uniformly Levi degenerate of rank 1. In particular, we showed that the vanishing of the CR-curvature of such a hypersurface is equivalent to the Monge equation with respect to one of the variables. In the present paper we provide an alternative shorter derivation of this equation by utilizing two invariants discovered by S. Pocchiola. We also investigate Pocchiola's invariants in the rigid case and give a partial classification of rigid 2-nondegenerate uniformly Levi degenerate of rank 1 hypersurfaces with vanishing CR-curvature.


title: Integrable non-abelization of the flow on an elliptic curve

abstract: An integrable non-abelian generalization of a Hamiltonian flow on an elliptic curve is presented. A Lax pair for this non-abelian system is found.


title: Bayesian dynamic variable selection in high dimensions

abstract: This paper proposes a variational Bayes algorithm for computationally efficient posterior and predictive inference in time-varying parameter (TVP) models. Within this context we specify a new dynamic variable/model selection strategy for TVP dynamic regression models in the presence of a large number of predictors. This strategy allows for assessing in individual time periods which predictors are relevant (or not) for forecasting the dependent variable. The new algorithm is evaluated numerically using synthetic data and its computational advantages are established. Using macroeconomic data for the US we find that regression models that combine time-varying parameters with the information in many predictors have the potential to improve forecasts of price inflation over a number of alternative forecasting models.


title: Simulated Annealing for Optimal Resource Allocation in Wireless Networks with ImperfectCommunications

abstract: Simulated annealing (SA) method has had significant recent success in designing distributed control algorithms for wireless networks. These SA based techniques formed the basis of new CSMA algorithms and gave rise to the development of numerous variants to achieve the best system performance accommodating different communication technologies and more realistic system conditions. However, these algorithms do not readily extend to networks with noisy environments, as unreliable communication prevents them from gathering the necessary system state information needed to execute the algorithm. In recognition of this challenge, we propose a new SA algorithm that is designed to work more robustly in networks with communications that experience frequent message drops. The main idea of the proposed algorithm is a novel coupling technique that takes into account the external randomness of message passing failure events as a part of probabilistic uncertainty inherent in stochastic acceptance criterion of SA. As a result, the algorithm can be executed even with partial observation of system states, which was not possible under the traditional SA approach. We show that the newly proposed algorithm finds the optimal solution almost surely under the standard annealing framework while offering significant performance benefits in terms of its computational speed in the presence of frequent message drops.


title: Primes in prime number races

abstract: Rubinstein and Sarnak have shown, conditional on the Riemann hypothesis (RH) and the linear independence hypothesis (LI) on the non-real zeros of $\zeta(s)$, that the set of real numbers $x\ge2$ for which $\pi(x)>$ li$(x)$ has a logarithmic density, which they computed to be about $2.6\times10^{-7}$. A natural problem is to examine the actual primes in this race. We prove, assuming RH and LI, that the logarithmic density of the set of primes $p$ for which $\pi(p)>$ li$(p)$ relative to the prime numbers exists and is the same as the Rubinstein-Sarnak density. We also extend such results to a broad class of prime number races, including the "Mertens race" between $\prod_{p< x}(1-1/p)^{-1}$ and $e^{\gamma}\log x$ and the "Zhang race" between $\sum_{p\ge x}1/(p\log p)$ and $1/\log x$. These latter results resolve a question of the first and third author from a previous paper, leading to further progress on a 1988 conjecture of Erd\H{o}s on primitive sets.


title: On the existence and uniqueness of solutions to time-dependent fractional MFG

abstract: We establish existence and uniqueness of solutions to evolutive fractional Mean Field Game systems with regularizing coupling, for any order of the fractional Laplacian $s\in(0,1)$. The existence is addressed via the vanishing viscosity method. In particular, we prove that in the subcritical regime $s>1/2$ the solution of the system is classical, while if $s\leq 1/2$ we find a distributional energy solution. To this aim, we develop an appropriate functional setting based on parabolic Bessel potential spaces. We show uniqueness of solutions both under monotonicity conditions and for short time horizons.


title: Variational Inference for Stochastic Control of Infinite Dimensional Systems

abstract: This paper develops a variational inference framework for control of infinite dimensional stochastic systems. We employ a measure theoretic approach which relies on the generalization of Girsanov's theorem, as well as the relation between relative entropy and free energy. The derived control scheme is applicable to a large class of stochastic, infinite dimensional systems, and can be used for trajectory optimization and model predictive control. Our work opens up new research avenues at the intersection of stochastic control, inference and information theory for dynamical systems described by stochastic partial differential equations.


title: A Neural Temporal Model for Human Motion Prediction

abstract: We propose novel neural temporal models for predicting and synthesizing human motion, achieving state-of-the-art in modeling long-term motion trajectories while being competitive with prior work in short-term prediction and requiring significantly less computation. Key aspects of our proposed system include: 1) a novel, two-level processing architecture that aids in generating planned trajectories, 2) a simple set of easily computable features that integrate derivative information, and 3) a novel multi-objective loss function that helps the model to slowly progress from simple next-step prediction to the harder task of multi-step, closed-loop prediction. Our results demonstrate that these innovations improve the modeling of long-term motion trajectories. Finally, we propose a novel metric, called Normalized Power Spectrum Similarity (NPSS), to evaluate the long-term predictive ability of motion synthesis models, complementing the popular mean-squared error (MSE) measure of Euler joint angles over time. We conduct a user study to determine if the proposed NPSS correlates with human evaluation of long-term motion more strongly than MSE and find that it indeed does. We release code and additional results (visualizations) for this paper at: https://github.com/cr7anand/neural_temporal_models


title: Evidence of topological superconductivity in planar Josephson junctions

abstract: Majorana zero modes are quasiparticle states localized at the boundaries of topological superconductors that are expected to be ideal building blocks for fault-tolerant quantum computing. Several observations of zero-bias conductance peaks measured in tunneling spectroscopy above a critical magnetic field have been reported as experimental indications of Majorana zero modes in superconductor/semiconductor nanowires. On the other hand, two dimensional systems offer the alternative approach to confine Ma jorana channels within planar Josephson junctions, in which the phase difference {\phi} between the superconducting leads represents an additional tuning knob predicted to drive the system into the topological phase at lower magnetic fields. Here, we report the observation of phase-dependent zero-bias conductance peaks measured by tunneling spectroscopy at the end of Josephson junctions realized on a InAs/Al heterostructure. Biasing the junction to {\phi} ~ {\pi} significantly reduces the critical field at which the zero-bias peak appears, with respect to {\phi} = 0. The phase and magnetic field dependence of the zero-energy states is consistent with a model of Majorana zero modes in finite-size Josephson junctions. Besides providing experimental evidence of phase-tuned topological superconductivity, our devices are compatible with superconducting quantum electrodynamics architectures and scalable to complex geometries needed for topological quantum computing.


title: Dedekind sums, reciprocity, and non-arithmetic groups

abstract: Dedekind sums, arithmetic correlation sums that arose in Dedekind's study of the modular transformation of the logarithm of the eta-function, are surprisingly ubiquitous. Their arithmetic properties attracted the attention of number theorists, combinatorists, and theoretical computer scientists alike, and they appear more broadly in geometry, topology, and physics. Accordingly, there is a similarly vast literature on variations and generalizations of Dedekind sums. This note surveys recent developments of some aspects of Dedekind sums for (non-uniform) lattices in SL_2(R), otherwise referred to as Dedekind symbols.


title: Self-organized criticality of turbulence in strongly stratified mixing layers

abstract: Motivated by the importance of stratified shear flows in geophysical and environmental circumstances, we characterize their energetics, mixing and spectral behavior through a series of direct numerical simulations of turbulence generated by Holmboe wave instability (HWI) under various initial conditions. We focus on circumstances where the stratification is sufficiently `strong' so that HWI is the dominant primary instability of the flow. Our numerical findings demonstrate the emergence of self-organised criticality (SOC) that is manifest as an adjustment of an appropriately defined gradient Richardson number, $Ri_g$, associated with the horizontally-averaged mean flow, in such a way that it is continuously attracted towards a critical value of $Ri_g \sim 1/4$. This self-organization occurs through a continuously reinforced localisation of the `scouring' motions (i.e. `avalanches') that are characteristic of the turbulence induced by the break down of Holmboe wave instabilities and are developed on the upper and lower flanks of the sharply localized density interface, embedded within a much more diffuse shear layer. These localised `avalanches' are also found to exhibit the expected scale invariant characteristics. From an energetics perspective, the emergence of SOC is expressed in the form of a long-lived turbulent flow that remains in a `quasi-equilibrium' state for an extended period of time. Most importantly, the irreversible mixing that results from such self-organised behavior appears to be characterized generically by a universal cumulative turbulent flux coefficient of $\Gamma_c \sim 0.2$ only for turbulent flows engendered by Holmboe wave instability. The existence of this self-organised critical state corroborates the original physical arguments associated with self-regulation of stratified turbulent flows as involving a `kind of equilibrium' as described by Turner (1973).


title: Fairness-Aware Recommendation of Information Curators

abstract: This paper highlights our ongoing efforts to create effective information curator recommendation models that can be personalized for individual users, while maintaining important fairness properties. Concretely, we introduce the problem of information curator recommendation, provide a high-level overview of a fairness-aware recommender, and introduce some preliminary experimental evidence over a real-world Twitter dataset. We conclude with some thoughts on future directions.


title: An iterative method for classification of binary data

abstract: In today's data driven world, storing, processing, and gleaning insights from large-scale data are major challenges. Data compression is often required in order to store large amounts of high-dimensional data, and thus, efficient inference methods for analyzing compressed data are necessary. Building on a recently designed simple framework for classification using binary data, we demonstrate that one can improve classification accuracy of this approach through iterative applications whose output serves as input to the next application. As a side consequence, we show that the original framework can be used as a data preprocessing step to improve the performance of other methods, such as support vector machines. For several simple settings, we showcase the ability to obtain theoretical guarantees for the accuracy of the iterative classification method. The simplicity of the underlying classification framework makes it amenable to theoretical analysis and studying this approach will hopefully serve as a step toward developing theory for more sophisticated deep learning technologies.


title: Measure dynamics with Probability Vector Fields and sources

abstract: We introduce a new formulation for differential equation describing dynamics of measures on an Euclidean space, that we call Measure Differential Equations with sources. They mix two different phenomena: on one side, a transport-type term, in which a vector field is replaced by a Probability Vector Field, that is a probability distribution on the tangent bundle; on the other side, a source term. Such new formulation allows to write in a unified way both classical transport and diffusion with finite speed, together with creation of mass. The main result of this article shows that, by introducing a suitable Wasserstein-like functional, one can ensure existence of solutions to Measure Differential Equations with sources under Lipschitz conditions. We also prove a uniqueness result under the following additional hypothesis: the measure dynamics needs to be compatible with dynamics of measures that are sums of Dirac masses.


title: Fast Radio Burst 121102 Pulse Detection and Periodicity: A Machine Learning Approach

abstract: We report the detection of 72 new pulses from the repeating fast radio burst FRB 121102 in Breakthrough Listen C-band (4-8 GHz) observations at the Green Bank Telescope. The new pulses were found with a convolutional neural network in data taken on August 26, 2017, where 21 bursts have been previously detected. Our technique combines neural network detection with dedispersion verification. For the current application we demonstrate its advantage over a traditional brute-force dedis- persion algorithm in terms of higher sensitivity, lower false positive rates, and faster computational speed. Together with the 21 previously reported pulses, this observa- tion marks the highest number of FRB 121102 pulses from a single observation, total- ing 93 pulses in five hours, including 45 pulses within the first 30 minutes. The number of data points reveal trends in pulse fluence, pulse detection rate, and pulse frequency structure. We introduce a new periodicity search technique, based on the Rayleigh test, to analyze the time of arrivals, with which we exclude with 99% confidence pe- riodicity in time of arrivals with periods larger than 5.1 times the model-dependent time-stamp uncertainty. In particular, we rule out constant periods >10 ms in the barycentric arrival times, though intrinsic periodicity in the time of emission remains plausible.


title: How clever is the FiLM model, and how clever can it be?

abstract: The FiLM model achieves close-to-perfect performance on the diagnostic CLEVR dataset and is distinguished from other such models by having a comparatively simple and easily transferable architecture. In this paper, we investigate in more detail the ability of FiLM to learn various linguistic constructions. Our main results show that (a) FiLM is not able to learn relational statements straight away except for very simple instances, (b) training on a broader set of instances as well as pretraining on simpler instance types can help alleviate these learning difficulties, (c) mixing is less robust than pretraining and very sensitive to the compositional structure of the dataset. Overall, our results suggest that the approach of big all-encompassing datasets and the paradigm of "the effectiveness of data" may have fundamental limitations.


title: Randomized Iterative Algorithms for Fisher Discriminant Analysis

abstract: Fisher discriminant analysis (FDA) is a widely used method for classification and dimensionality reduction. When the number of predictor variables greatly exceeds the number of observations, one of the alternatives for conventional FDA is regularized Fisher discriminant analysis (RFDA). In this paper, we present a simple, iterative, sketching-based algorithm for RFDA that comes with provable accuracy guarantees when compared to the conventional approach. Our analysis builds upon two simple structural results that boil down to randomized matrix multiplication, a fundamental and well-understood primitive of randomized linear algebra. We analyze the behavior of RFDA when the ridge leverage and the standard leverage scores are used to select predictor variables and we prove that accurate approximations can be achieved by a sample whose size depends on the effective degrees of freedom of the RFDA problem. Our results yield significant improvements over existing approaches and our empirical evaluations support our theoretical analyses.


title: Optimization of Amorphous Germanium Electrical Contacts and Surface Coatings on High Purity Germanium Radiation Detectors

abstract: Semiconductor detector fabrication technologies developed decades ago are widely employed today to produce gamma-ray detectors from large volume, single crystals of high purity Ge (HPGe). Most all of these detectors are used exclusively for spectroscopy measurements and are of simple designs with only two impurity based electrical contacts produced with B implantation and Li diffusion. Though these technologies work well for the simple spectroscopy detectors, the Li contact in particular is thick and lacks room temperature stability in a manner that makes it inappropriate for many of the more complex detectors needed for gamma-ray imaging and particle tracking applications. Thin films of amorphous semiconductors such as sputter deposited amorphous Ge (a-Ge) are the basis for an alternative electrical contact that is easy to fabricate, thin, and can be finely segmented. The a-Ge also functions well as a passivation coating on the HPGe surfaces not covered by the electrical contacts. The properties of the a-Ge affect the performance of the resultant detectors, and these properties substantially depend on and are controllable through the sputter deposition process parameters. The subject of this paper is this interconnection of fabrication process parameters, a-Ge properties, and detector performance. The properties of a-Ge thin film electrical resistance, a-Ge contact electron injection, and room temperature storage stability were evaluated as a function of the sputter process parameters of sputter gas pressure and sputter gas H2 composition. Two different sputter deposition systems were used to produce a-Ge resistors and HPGe detectors with a-Ge electrical contacts. These samples were electrically characterized as a function of temperature. A summary of this study and discussion of the relevance of the findings to the optimization of detector performance are given in this paper.


title: A Social Recommender System based on Bhattacharyya Coefficient

abstract: Recommender systems play a significant role in providing the appropriate data for each user among a huge amount of information. One of the important roles of a recommender system is to predict the preference of each user to some specific data. Some of these systems concentrate on user-item networks that each user rates some items. The main step for item recommendation is to predict the rate of unrated items. Each recommender system utilizes different criteria such as the similarity between users or social relations in the process of rate prediction. As social connections of each user affect his behaviors, it can be a valuable source to use in rate prediction. In this paper, we will provide a new social recommender system which uses Bhattacharyya coefficient in similarity computing to be able to evaluate similarity in sparse data and between users without co-rated items as well as integrating social ties into the rating prediction process.


title: Distance preserving model order reduction of graph-Laplacians and cluster analysis

abstract: Graph-Laplacians and their spectral embeddings play an important role in multiple areas of machine learning. This paper is focused on graph-Laplacian dimension reduction for the spectral clustering of data as a primary application. Spectral embedding provides a low-dimensional parametrization of the data manifold which makes the subsequent task (e.g., clustering) much easier. However, despite reducing the dimensionality of data, the overall computational cost may still be prohibitive for large data sets due to two factors. First, computing the partial eigendecomposition of the graph-Laplacian typically requires a large Krylov subspace. Second, after the spectral embedding is complete, one still has to operate with the same number of data points. For example, clustering of the embedded data is typically performed with various relaxations of k-means which computational cost scales poorly with respect to the size of data set. In this work, we switch the focus from the entire data set to a subset of graph vertices (target subset). We develop two novel algorithms for such low-dimensional representation of the original graph that preserves important global distances between the nodes of the target subset. In particular, it allows to ensure that target subset clustering is consistent with the spectral clustering of the full data set if one would perform such. That is achieved by a properly parametrized reduced-order model (ROM) of the graph-Laplacian that approximates accurately the diffusion transfer function of the original graph for inputs and outputs restricted to the target subset. Working with a small target subset reduces greatly the required dimension of Krylov subspace and allows to exploit the conventional algorithms (like approximations of k-means) in the regimes when they are most robust and efficient.


title: Comparing the power of cops to zombies in pursuit-evasion games

abstract: We compare two kinds of pursuit-evasion games played on graphs. In Cops and Robbers, the cops can move strategically to adjacent vertices as they please, while in a new variant, called deterministic Zombies and Survivors, the zombies (the counterpart of the cops) are required to always move towards the survivor (the counterpart of the robber). The cop number of a graph is the minimum number of cops required to catch the robber on that graph; the zombie number of a graph is the minimum number of zombies required to catch the survivor on that graph. We answer two questions from the 2016 paper of Fitzpatrick, Howell, Messinger, and Pike. We show that for any $m \ge k \ge 1$, there is a graph with zombie number $m$ and cop number $k$. We also show that the zombie number of the $n$-dimensional hypercube is $\lceil 2n/3\rceil$.


title: TextContourNet: a Flexible and Effective Framework for Improving Scene Text Detection Architecture with a Multi-task Cascade

abstract: We study the problem of extracting text instance contour information from images and use it to assist scene text detection. We propose a novel and effective framework for this and experimentally demonstrate that: (1) A CNN that can be effectively used to extract instance-level text contour from natural images. (2) The extracted contour information can be used for better scene text detection. We propose two ways for learning the contour task together with the scene text detection: (1) as an auxiliary task and (2) as multi-task cascade. Extensive experiments with different benchmark datasets demonstrate that both designs improve the performance of a state-of-the-art scene text detector and that a multi-task cascade design achieves the best performance.


title: Attentional Multi-Reading Sarcasm Detection

abstract: Recognizing sarcasm often requires a deep understanding of multiple sources of information, including the utterance, the conversational context, and real world facts. Most of the current sarcasm detection systems consider only the utterance in isolation. There are some limited attempts toward taking into account the conversational context. In this paper, we propose an interpretable end-to-end model that combines information from both the utterance and the conversational context to detect sarcasm, and demonstrate its effectiveness through empirical evaluations. We also study the behavior of the proposed model to provide explanations for the model's decisions. Importantly, our model is capable of determining the impact of utterance and conversational context on the model's decisions. Finally, we provide an ablation study to illustrate the impact of different components of the proposed model.