title: Black and White holes in four-dimensional Chern-Simons gravity

abstract: We discuss a four-dimensional gravitational action which was obtained replacing a Randall-Sundrum type metric in the so called five-dimensional Einstein-Chern-Simons gravity action. We studied black hole solutions of the corresponding 4-dimensional gravitational field equations. It is found that for a spherically symmetric metric such equations lead to a spacetime with a cosmological constant inversely proportional to the square of the compactification radius and to one solution dependent on an arbitrary constant C. If this constant is negative, we find a Schwarzschid-de Sitter black hole. If C is positive, the solution can be understood as a white hole solution which is obtained applying to the solution with C<0 the discrete coordinate transformation PT accompanied by the transformation C -C, with C>0, corresponding to a transformation known as mass reversal.


title: Viewport-Aware Dynamic 360{\deg} Video Segment Categorization

abstract: Unlike conventional videos, 360{\deg} videos give freedom to users to turn their heads, watch and interact with the content owing to its immersive spherical environment. Although these movements are arbitrary, similarities can be observed between viewport patterns of different users and different videos. Identifying such patterns can assist both content and network providers to enhance the 360{\deg} video streaming process, eventually increasing the end-user Quality of Experience (QoE). But a study on how viewport patterns display similarities across different video content, and their potential applications has not yet been done. In this paper, we present a comprehensive analysis of a dataset of 88 360{\deg} videos and propose a novel video categorization algorithm that is based on similarities of viewports. First, we propose a novel viewport clustering algorithm that outperforms the existing algorithms in terms of clustering viewports with similar positioning and speed. Next, we develop a novel and unique dynamic video segment categorization algorithm that shows notable improvement in similarity for viewport distributions within the clusters when compared to that of existing static video categorizations.


title: Modified Newtonian Gravity: Explaining observations of sub- and super-Chandrasekhar limiting mass white dwarfs

abstract: The idea of possible modification to gravity theory, whether it is in the Newtonian or general relativistic premises, is there for quite sometime. Based on it, astrophysical and cosmological problems are targeted to solve. But none of the Newtonian theories of modification has been performed from the first principle. Here, we modify Poisson's equation and propose two possible ways to modify the law gravitation which, however, reduces to Newton's law far away from the center of source. Based on these modified Newton's laws, we attempt to solve problems lying with white dwarfs. There are observational evidences for possible violation of the Chandrasekhar mass-limit significantly: it could be sub- as well as super-Chandrasekhar. We show that modified Newton's law, either by modifying LHS or RHS of Poisson's equation, can explain them.


title: A variational quantum eigensolver for dynamic correlation functions

abstract: Recent practical approaches for the use of current generation noisy quantum devices in the simulation of quantum many-body problems have been dominated by the use of a variational quantum eigensolver (VQE). These coupled quantum-classical algorithms leverage the ability to perform many repeated measurements to avoid the currently prohibitive gate depths often required for exact quantum algorithms, with the restriction of a parameterized circuit to describe the states of interest. In this work, we show how the calculation of zero-temperature dynamic correlation functions defining the linear response characteristics of quantum systems can also be recast into a modified VQE algorithm, which can be incorporated into the current variational quantum infrastructure. This allows for these important physical expectation values describing the dynamics of the system to be directly converged on the frequency axis, and they approach exactness over all frequencies as the flexibility of the parameterization increases. The frequency resolution hence does not explicitly scale with gate depth, which is approximately twice as deep as a ground state VQE. We apply the method to compute the single-particle Green's function of ab initio dihydrogen and lithium hydride molecules, and demonstrate the use of a practical active space embedding approach to extend to larger systems. While currently limited by the fidelity of two-qubit gates, whose number is increased compared to the ground state algorithm on current devices, we believe the approach shows potential for the extraction of frequency dynamics of correlated systems on near-term quantum processors.


title: Massive search of spot- and facula-crossing events in 1598 exoplanetary transit lightcurves

abstract: We developed a dedicated statistical test for a massive detection of spot- and facula-crossing anomalies in multiple exoplanetary transit lightcurves, based on the frequentist $p$-value thresholding. This test was used to augment our algorithmic pipeline for transit lightcurves analysis. It was applied to $1598$ amateur and professional transit observations of $26$ targets being monitored in the EXPANSION project. We detected $109$ statistically significant candidate events revealing a roughly $2:1$ asymmetry in favor of spots-crossings over faculae-crossings. Although some candidate anomalies likely appear non-physical and originate from systematic errors, such asymmetry between negative and positive events should indicate a physical difference between the frequency of star spots and faculae. Detected spot-crossing events also reveal positive correlation between their amplitude and width, possibly owed to spot size correlation. However, the frequency of all detectable crossing events appears just about a few per cent, so they cannot explain excessive transit timing noise observed for several targets.


title: Attention-based Stylisation for Exemplar Image Colourisation

abstract: Exemplar-based colourisation aims to add plausible colours to a grayscale image using the guidance of a colour reference image. Most of the existing methods tackle the task as a style transfer problem, using a convolutional neural network (CNN) to obtain deep representations of the content of both inputs. Stylised outputs are then obtained by computing similarities between both feature representations in order to transfer the style of the reference to the content of the target input. However, in order to gain robustness towards dissimilar references, the stylised outputs need to be refined with a second colourisation network, which significantly increases the overall system complexity. This work reformulates the existing methodology introducing a novel end-to-end colourisation network that unifies the feature matching with the colourisation process. The proposed architecture integrates attention modules at different resolutions that learn how to perform the style transfer task in an unsupervised way towards decoding realistic colour predictions. Moreover, axial attention is proposed to simplify the attention operations and to obtain a fast but robust cost-effective architecture. Experimental validations demonstrate efficiency of the proposed methodology which generates high quality and visual appealing colourisation. Furthermore, the complexity of the proposed methodology is reduced compared to the state-of-the-art methods.


title: Sampling From the Wasserstein Barycenter

abstract: This work presents an algorithm to sample from the Wasserstein barycenter of absolutely continuous measures. Our method is based on the gradient flow of the multimarginal formulation of the Wasserstein barycenter, with an additive penalization to account for the marginal constraints. We prove that the minimum of this penalized multimarginal formulation is achieved for a coupling that is close to the Wasserstein barycenter. The performances of the algorithm are showcased in several settings.


title: ABET Accreditation: A Way Forward for PDC Education

abstract: With parallel and distributed computing (PDC) now wide-spread, modern computing programs must incorporate PDC within the curriculum. ACM and IEEE Computer Society's Computer Science curricular guidelines have recommended exposure to PDC concepts since 2013. More recently, a variety of initiatives have made PDC curricular content, lectures, and labs freely available for undergraduate computer science programs. Despite these efforts, progress in ensuring computer science students graduate with sufficient PDC exposure has been uneven. This paper discusses the impact of ABET's revised criteria that have required exposure to PDC to achieve accreditation for computer science programs since 2018. The authors reviewed 20 top ABET-accredited computer science programs and analyzed how they covered the required PDC components in their curricula. Using their own institutions as case studies, the authors examine in detail how three different ABET-accredited computer science programs covered PDC using different approaches, yet meeting the PDC requirements of these ABET criteria. The paper also shows how ACM/IEEE Computer Society curricular guidelines for computer engineering and software engineering programs, along with ABET accreditation criteria, can cover PDC.


title: Transversal families of nonlinear projections and generalizations of Favard length

abstract: Projections detect information about the size, geometric arrangement, and dimension of sets. To approach this, one can study the energies of measures supported on a set and the energies for the corresponding pushforward measures on the projection side. For orthogonal projections, quantitative estimates rely on a separation condition: most points are well-differentiated by most projections. It turns out that this idea also applies to a broad class of nonlinear projection-type operators satisfying a \textit{transversality condition}. In this work, we establish that several important classes of nonlinear projections are transversal. This leads to quantitative lower bounds for decay rates for nonlinear variants of Favard length, including Favard curve length (as well as a new generalization to higher dimensions, called Favard surface length) and visibility measurements associated to radial projections. As one application, we provide a simplified proof for the decay rate of the Favard curve length of generations of the four corner Cantor set, first established by Cladek, Davey, and Taylor.


title: How do developers discuss and support new programming languages in technical Q&A site? An empirical study of Go, Swift, and Rust in Stack Overflow

abstract: New programming languages (e.g., Swift, Go, Rust, etc.) are being introduced to provide a better opportunity for the developers to make software development robust and easy. At the early stage, a programming language is likely to have resource constraints that encourage the developers to seek help frequently from experienced peers active in QA sites such as Stack Overflow (SO). In this study, we have formally studied the discussions on three popular new languages introduced after the inception of SO (2008) and match those with the relevant activities in GitHub whenever appropriate. For that purpose, we have mined 4,17,82,536 questions and answers from SO and 7,846 issue information along with 6,60,965 repository information from GitHub. Initially, the development of new languages is relatively slow compared to mature languages (e.g., C, C++, Java). The expected outcome of this study is to reveal the difficulties and challenges faced by the developers working with these languages so that appropriate measures can be taken to expedite the generation of relevant resources. We have used the LDA method on SO's questions and answers to identify different topics of new languages. We have extracted several features of the answer pattern of the new languages from SO to study their characteristics. These attributes were used to identify difficult topics. We explored the background of developers who are contributing to these languages. We have created a model by combining Stack Overflow data and issues, repository, user data of GitHub. Finally, we have used that model to identify factors that affect language evolution. We believe that the outcome of our study is likely to help the owner/sponsor of these languages to design better features and documentation. It will also help the software developers or students to prepare themselves to work on these languages in an informed way.


title: COVID-19 Detection from Chest X-ray Images using Imprinted Weights Approach

abstract: The COVID-19 pandemic has had devastating effects on the well-being of the global population. The pandemic has been so prominent partly due to the high infection rate of the virus and its variants. In response, one of the most effective ways to stop infection is rapid diagnosis. The main-stream screening method, reverse transcription-polymerase chain reaction (RT-PCR), is time-consuming, laborious and in short supply. Chest radiography is an alternative screening method for the COVID-19 and computer-aided diagnosis (CAD) has proven to be a viable solution at low cost and with fast speed; however, one of the challenges in training the CAD models is the limited number of training data, especially at the onset of the pandemic. This becomes outstanding precisely when the quick and cheap type of diagnosis is critically needed for flattening the infection curve. To address this challenge, we propose the use of a low-shot learning approach named imprinted weights, taking advantage of the abundance of samples from known illnesses such as pneumonia to improve the detection performance on COVID-19.


title: Categorifications of rational Hilbert series and characters of $FS^{op}$ modules

abstract: We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for several combinatorial categories including: the category of finite sets and injections, the opposite of the category of finite sets and surjections, and the category of finite dimensional vector spaces over a finite field and injections. Our main applications are to modules over the opposite of the category of finite sets and surjections, known as $FS^{op}$ modules. We obtain many constraints on the sequence of symmetric group representations underlying a finitely generated $FS^{op}$ module. In particular, we describe its character in terms of functions that we call character exponentials. Our results have new consequences for the character of the homology of the moduli space of stable marked curves, and for the equivariant Kazhdan-Luzstig polynomial of the braid matroid.


title: The growth of entire functions of exponential type and characteristics of distributions of points along a straight line

abstract: Let $Z$ and $W$ be a pair of point distributions of finite upper density on the complex plane $\mathbb C$ with the real axis $\mathbb R$. We give several variants of necessary and at the same time sufficient conditions for their arrangement, under which for every entire function of exponential type $g\neq 0$ vanishing on $W$, there is, respectively, either an entire function of exponential type $f\neq 0$ vanishing on $Z$ and satisfies one of the two variants of the constraints: 1) $|f(iy)|\leq |g(iy)|$ at each $y\in \mathbb R$, i.e. everywhere on the imaginary axis $i\mathbb R$, 2) $\ln |f(iy)|\leq \ln |g(iy)|+o(|y|)$ as $y\to \pm \infty$, or for any number $\varepsilon >0$ there is an entire function of exponential type $f\neq 0$ vanishing on $Z$ and satisfies the inequality $\ln \bigl|f(iy)\bigr|\leq \ln \bigl|g(iy)\bigr|+\varepsilon |y|$ for all $y\in \mathbb R\setminus E$, where $E\subset \mathbb R$ is a set of finite linear Lebesgue measure. Our study is carried out within the framework of generalization of the development of the classical theorem of P. Malliavin and L.A. Rubel of the 1960s, where the case of the location of $Z\subset \mathbb R^+$ and $W\subset \mathbb R^+$ on the positive semiaxis $\mathbb R^+\subset \mathbb R$ is considered. Our criteria are given in terms of special logarithmic characteristics and (sub)measures for $Z$ and $W$. At the same time, in the third variant, there are no additional requirements for $Z$ and $W$, but in the first and second variants, we require the asymptotic separation of $Z$ and $W$ by angles from the imaginary axis together with the Lindel\"of-type condition for $W$ along the imaginary axis $iR$ on a certain symmetry of the imaginary parts of $1/w$ for $w\in W$ in the form $\Bigl|\sum_{1\leq |w|\leq r}\Im (1/w)\Bigr|=O(1)$ as $r\to +\infty$.


title: A Fast Partial Video Copy Detection Using KNN and Global Feature Database

abstract: We propose a fast partial video copy detection framework in this paper. In this framework all frame features of the reference videos are organized in a KNN searchable database. Instead of scanning all reference videos, the query video segment does a fast KNN search in the global feature database. The returned results are used to generate a short list of candidate videos. A modified temporal network is then used to localize the copy segment in the candidate videos. We evaluate different choice of CNN features on the VCDB dataset. Our benchmark F1 score exceeds the state of the art by a big margin.


title: Drifting Features: Detection and evaluation in the context of automatic RRLs identification in VVV

abstract: As most of the modern astronomical sky surveys produce data faster than humans can analyze it, Machine Learning (ML) has become a central tool in Astronomy. Modern ML methods can be characterized as highly resistant to some experimental errors. However, small changes on the data over long distances or long periods of time, which cannot be easily detected by statistical methods, can be harmful to these methods. We develop a new strategy to cope with this problem, also using ML methods in an innovative way, to identify these potentially harmful features. We introduce and discuss the notion of Drifting Features, related with small changes in the properties as measured in the data features. We use the identification of RRLs in VVV based on an earlier work and introduce a method for detecting Drifting Features. Our method forces a classifier to learn the tile of origin of diverse sources (mostly stellar 'point sources'), and select the features more relevant to the task of finding candidates to Drifting Features. We show that this method can efficiently identify a reduced set of features that contains useful information about the tile of origin of the sources. For our particular example of detecting RRLs in VVV, we find that Drifting Features are mostly related to color indices. On the other hand, we show that, even if we have a clear set of Drifting Features in our problem, they are mostly insensitive to the identification of RRLs. Drifting Features can be efficiently identified using ML methods. However, in our example, removing Drifting Features does not improve the identification of RRLs.


title: Coupling of a Single Tin-vacancy Center to a Photonic Crystal Cavity in Diamond

abstract: We demonstrate optical coupling between a single tin-vacancy (SnV) center in diamond and a free-standing photonic crystal nanobeam cavity. The cavities are fabricated using quasi-isotropic etching and feature experimentally measured quality factors as high as ~11,000. We investigate the dependence of a single SnV center's emission by controlling the cavity wavelength using a laser-induced gas desorption technique. Under resonance conditions, we observe an intensity enhancement of the SnV emission by a factor of 12 and a 16-fold reduction of the SnV lifetime. Based on the large enhancement of the SnV emission rate inside the cavity, we estimate the Purcell factor for the SnV zero-phonon line to be 37 and the coupling efficiency of the SnV center to the cavity, the beta factor, to be 95%. Our work paves the way for the realization of quantum photonic devices and systems based on efficient photonic interfaces using the SnV color center in diamond.


title: The Science Case for LIGO-India

abstract: The global network of gravitational-wave detectors has completed three observing runs with $\sim 50$ detections of merging compact binaries. A third LIGO detector, with comparable astrophysical reach, is to be built in India (LIGO-Aundha) and expected to be operational during the latter part of this decade. Multiple detectors operating at different parts of the globe will provide several pairs of interferometers with longer baselines and an increased network SNR. This will improve the sky localisation of GW events. Multiple detectors simultaneously in operation will also increase the baseline duty factor, thereby, leading to an improvement in the detection rates and, hence, the completeness of surveys. In this paper, we quantify the improvements due to the expansion of the LIGO Global Network (LGN) in the precision with which source properties will be measured. We also present examples of how this expansion will give a boost to tests of fundamental physics.


title: Strongly continuous representations in the Hilbert space: a far-reaching concept

abstract: We revisit the fundamental notion of continuity in representation theory, with special attention to the study of quantum physics. After studying the main theorem in the context of representation theory, we draw attention to the significant aspect of continuity in the analytic foundations of Wigner work. We conclude the paper by reviewing the connection between continuity, the possibility of defining certain local groups, and their relation to projective representations.


title: Spanners in randomly weighted graphs: independent edge lengths

abstract: Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We show that for a large class of graphs with suitable degree and expansion properties with independent exponential mean one edge lengths, there is w.h.p.~a 1-spanner that uses $\approx \frac12n\log n$ edges and that this is best possible. In particular, our result applies to the random graphs $G_{n,p}$ for $np\gg \log n$.


title: Reverse mathematics and Weihrauch analysis motivated by finite complexity theory

abstract: We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis.


title: Optimal control problems of parabolic fractional sturm liouville equations in a star graph

abstract: In the present paper we deal with parabolic fractional initial-boundary value problems of Sturm Liouville type in an interval and in a general star graph. We first give several existence, uniqueness and regularity results of weak and very-weak solutions. We prove the existence and uniqueness of solutions to a quadratic boundary optimal control problem and provide a characterization of the optimal contol via the Euler Lagrange first order optimality conditions. We then investigate the analogous problems for a fractional Sturm Liouville problem in a general star graph with mixed Dirichlet and Neumann boundary controls. The existence and uniqueness of minimizers, and the characterization of the first order optimality conditions are obtained in a general star graph by using the method of Lagrange multipliers.


title: First Demonstration of Robust Tri-Gate \b{eta}-Ga2O3 Nano-membrane Field-Effect Transistors Operated Up to 400 {\deg}C

abstract: Nano-membrane tri-gate beta-gallium oxide (\b{eta}-Ga2O3) field-effect transistors (FETs) on SiO2/Si substrate fabricated via exfoliation have been demonstrated for the first time. By employing electron beam lithography, the minimum-sized features can be defined with a 50 nm fin structure. For high-quality interface between \b{eta}-Ga2O3 and gate dielectric, atomic layer-deposited 15-nm-thick aluminum oxide (Al2O3) was utilized with Tri-methyl-aluminum (TMA) self-cleaning surface treatment. The fabricated devices demonstrate extremely low subthreshold slope (SS) of 61 mV/dec, high drain current (IDS) ON/OFF ratio of 1.5 X 109, and negligible transfer characteristic hysteresis. We also experimentally demonstrated robustness of these devices with current-voltage (I-V) characteristics measured at temperatures up to 400 {\deg}C.


title: Energy-based discontinuous Galerkin difference methods for second-order wave equations

abstract: We combine the newly-constructed Galerkin difference basis with the energy-based discontinuous Galerkin method for wave equations in second order form. The approximation properties of the resulting method are excellent and the allowable time steps are large compared to traditional discontinuous Galerkin methods. The one drawback of the combined approach is the cost of inversion of the local mass matrix. We demonstrate that for constant coefficient problems on Cartesian meshes this bottleneck can be removed by the use of a modified Galerkin difference basis. For variable coefficients or non-Cartesian meshes this technique is not possible and we instead use the preconditioned conjugate gradient method to iteratively invert the mass matrices. With a careful choice of preconditioner we can demonstrate optimal complexity, albeit with a larger constant.


title: Convergence of maximum likelihood supertree reconstruction

abstract: Supertree methods are tree reconstruction techniques that combine several smaller gene trees (possibly on different sets of species) to build a larger species tree. The question of interest is whether the reconstructed supertree converges to the true species tree as the number of gene trees increases (that is, the consistency of supertree methods). In this paper, we are particularly interested in the convergence rate of the maximum likelihood supertree. Previous studies on the maximum likelihood supertree approach often formulate the question of interest as a discrete problem and focus on reconstructing the correct topology of the species tree. Aiming to reconstruct both the topology and the branch lengths of the species tree, we propose an analytic approach for analyzing the convergence of the maximum likelihood supertree method. Specifically, we consider each tree as one point of a metric space and prove that the distance between the maximum likelihood supertree and the species tree converges to zero at a polynomial rate under some mild conditions. We further verify these conditions for the popular exponential error model of gene trees.


title: Synthetic fibered $(\infty,1)$-category theory

abstract: We study cocartesian fibrations in the setting of the synthetic $(\infty,1)$-category theory developed in the simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.


title: Stochastic Optimization Models for a Home Service Routing and Appointment Scheduling Problem with Random Travel and Service Times

abstract: We study a routing and appointment scheduling problem with uncertain service and travel times arising from home service practice. Specifically, given a set of customers within a service region that an operator needs to serve, we seek to find the operator's route and time schedule. The quality of routing and scheduling decisions is a function of the total operational cost, consisting of customers' waiting time, and the operator's travel time, idle time, and overtime. We propose and rigorously analyze a stochastic programming model and two distributionally robust optimization (DRO) models to solve the problem, assuming a known and unknown service and travel time distribution, respectively. We consider two popular types of ambiguity sets for the DRO models, namely, the mean-support and 1-Wasserstein ambiguity set. We derive equivalent mixed-integer linear programming (MILP) reformulations of both DRO models that can be implemented and efficiently solved using off-the-shelf optimization software, thereby enabling practitioners to use these models. In an extensive numerical experiment, we investigate the proposed models computational and operational performance, demonstrating where significant performance improvements can be gained with each proposed model and derive insights into the problem.


title: Josephson quantum spin thermodynamics

abstract: A 1D Josephson junction loop, doped with a spin-flipper and attached to two thermal reservoirs, operates as a heat engine or a refrigerator, a Joule pump, or even a cold pump. When operating as a quantum heat engine, the efficiency of this device exceeds that of some recent Josephson heat engine proposals. Further, as a quantum refrigerator, the coefficient of performance of this device is much higher than previously proposed Josephson junction-based refrigerators. In addition, this device can be tuned from engine mode to refrigerator mode or any other mode, i.e., Joule pump or cold pump, by either tuning the temperature of reservoirs or via the flux enclosed in the Josephson junction loop. In the presence of spin-flip scattering, we can tune our device from engine mode to other operating modes by only changing the enclosed flux in the Josephson junction loop without changing the temperatures of the reservoirs. This is potentially an advantage with respect to other proposals. This makes the proposed device much more versatile as regards possible applications.


title: GANs for Urban Design

abstract: Development and diffusion of machine learning and big data tools provide a new tool for architects and urban planners that could be used as analytical or design instruments. The topic investigated in this paper is the application of Generative Adversarial Networks to the design of an urban block. The research presents a flexible model able to adapt to the morphological characteristics of a city. This method does not define explicitly any of the parameters of an urban block typical for a city, the algorithm learns them from the existing urban context. This approach has been applied to the cities with different morphology: Milan, Amsterdam, Tallinn, Turin, and Bengaluru in order to see the performance of the model and the possibility of style translation between different cities. The data are gathered from Openstreetmap and Open Data portals of the cities. This research presents the results of the experiments and their quantitative and qualitative evaluation.


title: Blocks as geographic discontinuities: The effect of polling place assignment on voting

abstract: A potential voter must incur a number of costs in order to successfully cast an in-person ballot, including the costs associated with identifying and traveling to a polling place. In order to investigate how these costs affect voting behavior, we introduce two quasi-experimental designs that can be used to study how the political participation of registered voters is affected by differences in the relative distance that registrants must travel to their assigned Election Day polling place and whether their polling place remains at the same location as in a previous election. Our designs make comparisons of registrants who live on the same residential block, but are assigned to vote at different polling places. We find that living farther from a polling place and being assigned to a new polling place reduce in-person Election Day voting, but that registrants largely offset for this by casting more early in-person and mail ballots.


title: Locally nilpotent derivations of graded integral domains and cylindricity

abstract: Let B be a commutative $\mathbb{Z}$-graded domain of characteristic zero. An element f of B is said to be cylindrical if it is nonzero, homogeneous of nonzero degree, and such that $B_{(f)}$ is a polynomial ring in one variable over a subring. We study the relation between the existence of a cylindrical element of B and the existence of a nonzero locally nilpotent derivation of B. Also, given d > 0, we give sufficient conditions that guarantee that every derivation of $B^{(d)} = \oplus_i B_{di}$ can be extended to a derivation of B. We generalize some results of Kishimoto, Prokhorov and Zaidenberg that relate the cylindricity of a polarized projective variety (Y,H) to the existence of a nontrivial G_a-action on the affine cone over (Y,H).


title: Revivals in One-dimensional Quantum Walks with a Time and Spin-dependent Phase Shift

abstract: We investigate the role of a time and spin-dependent phase shift on the evolution of one-dimensional discrete-time quantum walks. By employing Floquet engineering, a time and spin-dependent phase shift ($\phi$) is imprinted onto the walker's wave function while it shifts from one lattice site to another. For a quantum walk driven by the standard protocol we show with our numerical simulations that complete revivals with equal periods occur in the probability distribution of the walk for rational values of the phase factor, i.e., $\phi/2\pi = p/q$. For an irrational value of $\phi/2\pi$ our results show partial revivals in the probability distribution with unpredictable periods, and the walker remains localized in a small region of the lattice. We further investigate revivals in a split-step quantum walk with a time and spin-dependent phase shift for rational values of $\phi/2\pi$. In contrast to the case of standard protocol, the split-step quantum walk shows partial revivals in the probability distribution. Furthermore, in view of an experimental realization we investigate the robustness of revivals against noise in the phase shift. Our results show that signatures of revivals persist for smaller values of the noise parameter, while revivals vanish for larger values. Our work is important in the context of quantum computation where quantum walks with a time and spin-dependent phase shift can be used to control and manipulate a desired quantum state on demand.


title: An extended 3-3-1 model with radiative linear seesaw mechanism

abstract: Motivated by the recent muon anomalous magnetic moment (g-2) measurement at FERMILAB and non-zero neutrino masses, we propose a model based on the $SU(3)_C \times SU(3)_L \times U(1)_X$ (3-3-1) gauge symmetry. The most popular 3-3-1 models in the literature require the presence of a scalar sextet to address neutrino masses. In our work, we show that we can successfully implement an one-loop linear seesaw mechanism with right-handed neutrinos, and vector-like fermions to nicely explain the active neutrino masses, and additionally reproduce the recent Muon g-2 result, in agreement with existing bounds.


title: A closer look at observables from exclusive semileptonic $B\to(\pi,\rho)\ell\nu_{\ell}$ decays

abstract: This article analyses the available inputs in $\btopilnu$ and $\btorholnu$ decays which include the measured values of differential rate in different $q^2$-bins (lepton invariant mass spectrum), lattice, and the newly available inputs on the relevant form-factors from the light-cone sum rules (LCSR) approach. We define different fit scenarios, and in each of these scenarios, we predict a few observables in the standard model (SM). For example, $R(M) =\frac{\mathcal{B}(B \to M\ell_i\nu_{\ell_i})}{\mathcal{B}(B\to M\ell_j\nu_{\ell_j})} $, $R^{\ell_i}_{\ell_j}(M) =\frac{\mathcal{B}(B\to \ell_i\nu_{\ell_i})}{\mathcal{B}(B \to M\ell_j\nu_{\ell_j})}$ with M = $\pi$ or $\rho$ and $\ell_{i,j} = e, \mu$ or $\tau$. We also discuss the new physics (NP) sensitivities of all these observables and obtain bounds on a few NP Wilson coefficients in $b\to u \tau\nu_{\tau}$ decays using the available data. We have noted that the data at present allows sizeable NP contributions in this mode. Also, we have predicted a few angular observables relevant to these decay modes.


title: Calibration of prediction rules for life-time outcomes using prognostic Cox regression survival models and multiple imputations to account for missing predictor data with cross-validatory assessment

abstract: In this paper, we expand the methodology presented in Mertens et. al (2020, Biometrical Journal) to the study of life-time (survival) outcome which is subject to censoring and when imputation is used to account for missing values. We consider the problem where missing values can occur in both the calibration data as well as newly - to-be-predicted - observations (validation). We focus on the Cox model. Methods are described to combine imputation with predictive calibration in survival modeling subject to censoring. Application to cross-validation is discussed. We demonstrate how conclusions broadly confirm the first paper which restricted to the study of binary outcomes only. Specifically prediction-averaging appears to have superior statistical properties, especially smaller predictive variation, as opposed to a direct application of Rubin's rules. Distinct methods for dealing with the baseline hazards are discussed when using Rubin's rules-based approaches.


title: When Can Accessibility Help?: An Exploration of Accessibility Feature Recommendation on Mobile Devices

abstract: Numerous accessibility features have been developed and included in consumer operating systems to provide people with a variety of disabilities additional ways to access computing devices. Unfortunately, many users, especially older adults who are more likely to experience ability changes, are not aware of these features or do not know which combination to use. In this paper, we first quantify this problem via a survey with 100 participants, demonstrating that very few people are aware of built-in accessibility features on their phones. These observations led us to investigate accessibility recommendation as a way to increase awareness and adoption. We developed four prototype recommenders that span different accessibility categories, which we used to collect insights from 20 older adults. Our work demonstrates the need to increase awareness of existing accessibility features on mobile devices, and shows that automated recommendation could help people find beneficial accessibility features.


title: HerBERT: Efficiently Pretrained Transformer-based Language Model for Polish

abstract: BERT-based models are currently used for solving nearly all Natural Language Processing (NLP) tasks and most often achieve state-of-the-art results. Therefore, the NLP community conducts extensive research on understanding these models, but above all on designing effective and efficient training procedures. Several ablation studies investigating how to train BERT-like models have been carried out, but the vast majority of them concerned only the English language. A training procedure designed for English does not have to be universal and applicable to other especially typologically different languages. Therefore, this paper presents the first ablation study focused on Polish, which, unlike the isolating English language, is a fusional language. We design and thoroughly evaluate a pretraining procedure of transferring knowledge from multilingual to monolingual BERT-based models. In addition to multilingual model initialization, other factors that possibly influence pretraining are also explored, i.e. training objective, corpus size, BPE-Dropout, and pretraining length. Based on the proposed procedure, a Polish BERT-based language model -- HerBERT -- is trained. This model achieves state-of-the-art results on multiple downstream tasks.


title: Retrieving Complex Tables with Multi-Granular Graph Representation Learning

abstract: The task of natural language table retrieval (NLTR) seeks to retrieve semantically relevant tables based on natural language queries. Existing learning systems for this task often treat tables as plain text based on the assumption that tables are structured as dataframes. However, tables can have complex layouts which indicate diverse dependencies between subtable structures, such as nested headers. As a result, queries may refer to different spans of relevant content that is distributed across these structures. Moreover, such systems fail to generalize to novel scenarios beyond those seen in the training set. Prior methods are still distant from a generalizable solution to the NLTR problem, as they fall short in handling complex table layouts or queries over multiple granularities. To address these issues, we propose Graph-based Table Retrieval (GTR), a generalizable NLTR framework with multi-granular graph representation learning. In our framework, a table is first converted into a tabular graph, with cell nodes, row nodes and column nodes to capture content at different granularities. Then the tabular graph is input to a Graph Transformer model that can capture both table cell content and the layout structures. To enhance the robustness and generalizability of the model, we further incorporate a self-supervised pre-training task based on graph-context matching. Experimental results on two benchmarks show that our method leads to significant improvements over the current state-of-the-art systems. Further experiments demonstrate promising performance of our method on cross-dataset generalization, and enhanced capability of handling complex tables and fulfilling diverse query intents. Code and data are available at https://github.com/FeiWang96/GTR.


title: Inspection of ratcheting models for pathological error sensitivity and overparametrization

abstract: Accurate analysis of plastic strain accumulation under stress-controlled cyclic loading is vital for numerous engineering applications. Typically, models of plastic ratcheting are calibrated against available experimental data. Since actual experiments are not exactly accurate, one should check the identification protocols for pathological dependencies on experimental errors. In this paper, a step-by-step algorithm is presented to estimate the sensitivities of identified material parameters. As a part of the sensitivity analysis method, a new mechanics-based metric in the space of material parameters is proposed especially for ratcheting-related applications. The sensitivity of material parameters to experimental errors is estimated, based on this metric. For demonstration purposes, the accumulation of irreversible strain in the titanium alloy VT6 (Russian analog of Ti-6Al-4V) is analysed. Three types of phenomenological models of plastic ratcheting are considered. They are the Armstrong-Frederick model as well as the first and the second Ohno-Wang models. Based on real data, a new rule of isotropic hardening is proposed for greater accuracy of simulation. The ability of the sensitivity analysis to determine reliable and unreliable parameters is demonstrated. The plausibility of the new method is checked by alternative approaches, like the consideration of correlation matrices and validation of identified parameters on "unseen" data. A relation between pathological error sensitivity and overparametrization is established.


title: Priority Promotion with Parysian Flair

abstract: We develop an algorithm that combines the advantages of priority promotion - one of the leading approaches to solving large parity games in practice - with the quasi-polynomial time guarantees offered by Parys' algorithm. Hybridising these algorithms sounds both natural and difficult, as they both generalise the classic recursive algorithm in different ways that appear to be irreconcilable: while the promotion transcends the call structure, the guarantees change on each level. We show that an interface that respects both is not only effective, but also efficient.


title: Multigrid Solver With Super-Resolved Interpolation

abstract: The multigrid algorithm is an efficient numerical method for solving a variety of elliptic partial differential equations (PDEs). The method damps errors at progressively finer grid scales, resulting in faster convergence compared to standard iterative methods such as Gauss-Seidel. The prolongation, or coarse-to-fine interpolation operator within the multigrid algorithm lends itself to a data-driven treatment with ML super resolution, commonly used to increase the resolution of images. We (i) propose the novel integration of a super resolution generative adversarial network (GAN) model with the multigrid algorithm as the prolongation operator and (ii) show that the GAN-interpolation improves the convergence properties of the multigrid in comparison to cubic spline interpolation on a class of multiscale PDEs typically solved in physics and engineering simulations.


title: Reduced order models from computed states of physical systems using non-local calculus on finite weighted graphs

abstract: Partial differential equation-based numerical solution frameworks for initial and boundary value problems have attained a high degree of complexity. Applied to a wide range of physics with the ultimate goal of enabling engineering solutions, these approaches encompass a spectrum of spatiotemporal discretization techniques that leverage solver technology and high performance computing. While high-fidelity solutions can be achieved using these approaches, they come at a high computational expense and complexity. Systems with billions of solution unknowns are now routine. The expense and complexity do not lend themselves to typical engineering design and decision-making, which must instead rely on reduced-order models. Here we present an approach to reduced-order modelling that builds off of recent graph theoretic work for representation, exploration, and analysis on computed states of physical systems (Banerjee et al., Comp. Meth. App. Mech. Eng., 351, 501-530, 2019). We extend a non-local calculus on finite weighted graphs to build such models by exploiting first order dynamics, polynomial expansions, and Taylor series. Some aspects of the non-local calculus related to consistency of the models are explored. Details on the numerical implementations and the software library that has been developed for non-local calculus on graphs are described. Finally, we present examples of applications to various quantities of interest in mechano-chemical systems.


title: Angle dependence in coupling conditions for shallow water equations at canal junctions

abstract: In this paper we propose a numerical Riemann problem solver at the junction of one dimensional shallow-water canal networks. The junction conditions take into account the angles with which the channels intersect and include the possibility of canals with different sections. The solver is illustrated with several numerical tests which underline the importance of the angle dependence to obtain reliable solutions.


title: A Two-Kind-Boson Mixture Honeycomb Hamiltonian of Bloch Exciton-Polaritons

abstract: The electronic bandstructure of a solid is a collection of allowed bands separated by forbidden bands, revealing the geometric symmetry of the crystal structures. Comprehensive knowledge of the bandstructure with band parameters explains intrinsic physical, chemical and mechanical properties of the solid. Here we report the artificial polaritonic bandstructures of two-dimensional honeycomb lattices for microcavity exciton-polaritons using GaAs semiconductors in the wide-range detuning values, from cavity-photon-like (red-detuned) to exciton-like (blue-detuned) regimes. In order to understand the experimental bandstructures and their band parameters, such as gap energies, bandwidths, hopping integrals and density of states, we originally establish a polariton band theory within an augmented plane wave method with two-kind-bosons, cavity photons trapped at the lattice sites and freely moving excitons. In particular, this two-kind-band theory is absolutely essential to elucidate the exciton effect in the bandstructures of blue-detuned exciton-polaritons, where the flattened exciton-like dispersion appears at larger in-plane momentum values captured in our experimental access window. We reach an excellent agreement between theory and experiments in all detuning values.


title: Super-resolution linear optical imaging in the far field

abstract: The resolution of optical imaging devices is ultimately limited by the diffraction of light. To circumvent this limit, modern super-resolution microscopy techniques employ active interaction with the object by exploiting its optical nonlinearities, nonclassical properties of the illumination beam, or near-field probing. Thus, they are not applicable whenever such interaction is not possible, for example, in astronomy or non-invasive biological imaging. Far-field, linear-optical super-resolution techniques based on passive analysis of light coming from the object would cover these gaps. In this paper, we present the first proof-of-principle demonstration of such a technique. It works by accessing information about spatial correlations of the image optical field and, hence, about the object itself via measuring projections onto Hermite-Gaussian transverse spatial modes. With a basis of 21 spatial modes in both transverse dimensions, we perform two-dimensional imaging with twofold resolution enhancement beyond the diffraction limit.


title: Geant4Reweight: a framework for evaluating and propagating hadronic interaction uncertainties in GEANT4

abstract: Geant4Reweight is an open-source C++ framework that allows users to 1) weight tracks produced by the GEANT4 particle transport Monte Carlo simulation according to hadron interaction cross section variations and 2) estimate uncertainties in GEANT4 interaction models by comparing the simulation's hadron interaction cross section predictions to data. The ability to weight hadron transport as simulated by GEANT4 is crucial to the propagation of systematic uncertainties related to secondary hadronic interactions in current and upcoming neutrino oscillation experiments, including MicroBooNE, NOvA, and DUNE, as well as hadron test beam experiments such as ProtoDUNE. We provide motivation for weighting hadron tracks in GEANT4 in the context of systematic uncertainty propagation, a description of GEANT4's transport simulation technique, and a description of our weighting technique and fitting framework in the momentum range 0--10 GeV/c, which is typical for the hadrons produced by neutrino interactions in these experiments.


title: Exploring Diffusion Characteristics that Influence Serious Games Adoption Decisions

abstract: In this paper we discuss the diffusion of serious games and present reasons for why Rogers traditional approach is limited in this context. We present an alternative overview through the characteristics of relative advantage, compatibility, complexity, trialability, and observability, that reflect on the adoption decision and contributes on the commercialization of serious games.


title: Motion Artifact Reduction in Quantitative Susceptibility Mapping using Deep Neural Network

abstract: An approach to reduce motion artifacts in Quantitative Susceptibility Mapping using deep learning is proposed. We use an affine motion model with randomly created motion profiles to simulate motion-corrupted QSM images. The simulated QSM image is paired with its motion-free reference to train a neural network using supervised learning. The trained network is tested on unseen simulated motion-corrupted QSM images, in healthy volunteers and in Parkinson's disease patients. The results show that motion artifacts, such as ringing and ghosting, were successfully suppressed.


title: Information Complexity and Generalization Bounds

abstract: We present a unifying picture of PAC-Bayesian and mutual information-based upper bounds on the generalization error of randomized learning algorithms. As we show, Tong Zhang's information exponential inequality (IEI) gives a general recipe for constructing bounds of both flavors. We show that several important results in the literature can be obtained as simple corollaries of the IEI under different assumptions on the loss function. Moreover, we obtain new bounds for data-dependent priors and unbounded loss functions. Optimizing the bounds gives rise to variants of the Gibbs algorithm, for which we discuss two practical examples for learning with neural networks, namely, Entropy- and PAC-Bayes- SGD. Further, we use an Occam's factor argument to show a PAC-Bayesian bound that incorporates second-order curvature information of the training loss.


title: Ovarian Cancer Detection based on Dimensionality Reduction Techniques and Genetic Algorithm

abstract: In this research, we have two serum SELDI (surface-enhanced laser desorption and ionization) mass spectra (MS) datasets to be used to select features amongst them to identify proteomic cancerous serums from normal serums. Features selection techniques have been applied and classification techniques have been applied as well. Amongst the features selection techniques we have chosen to evaluate the performance of PCA (Principal Component Analysis ) and GA (Genetic algorithm), and amongst the classification techniques we have chosen the LDA (Linear Discriminant Analysis) and Neural networks so as to evaluate the ability of the selected features in identifying the cancerous patterns. Results were obtained for two combinations of features selection techniques and classification techniques, the first one was PCA+(t-test) technique for features selection and LDA for accuracy tracking yielded an accuracy of 93.0233 % , the other one was genetic algorithm and neural network yielded an accuracy of 100%. So, we conclude that GA is more efficient for features selection and hence for cancerous patterns detection than PCA technique.


title: Quasi-normal mode theory of the scattering matrix, enforcing fundamental constraints for truncated expansions

abstract: We develop a quasi-normal mode theory (QNMT) to calculate a system's scattering $S$ matrix, simultaneously satisfying both energy conservation and reciprocity even for a small truncated set of resonances. It is a practical reduced-order (few-parameter) model based on the resonant frequencies and constant mode-to-port coupling coefficients, easily computed from an eigensolver without the need for QNM normalization. Furthermore, we show how low-$Q$ modes can be separated into an effective slowly varying background response $C$, giving an additional approximate formula for $S$, which is useful to describe general Fano-resonant phenomena. We demonstrate our formulation for both normal and fixed-angle oblique plane-wave incidence on various electromagnetic metasurfaces.


title: Optimal Real-time Coordination of Distributed Energy Resources in Low-voltage Grids

abstract: This study proposes a real-time distributed energy resource (DER) coordination model that can exploit flexibility from the DERs to solve voltage and overloading issues using both active and reactive power. The model considers time-coupling devices including electric vehicles and heat pumps by deviating as little as possible from their original schedules while prioritizing DERs with the most urgent demand using dynamic cost terms. The model does not require a multi-period setting or a multi-period-ahead forecast, which enables the model to alleviate the computational difficulty and enhance its applicability for DSOs to manage the grids in real time. A case study using a Dutch low-voltage grid assuming a 100% penetration scenario of electric vehicles, heat pumps, and photovoltaics (PVs) in the households validates that the proposed model can resolve the network issues while not affecting user comfort.


title: Reconstruction Algorithms for Low-Rank Tensors and Depth-3 Multilinear Circuits

abstract: We give new and efficient black-box reconstruction algorithms for some classes of depth-$3$ arithmetic circuits. As a consequence, we obtain the first efficient algorithm for computing the tensor rank and for finding the optimal tensor decomposition as a sum of rank-one tensors when then input is a constant-rank tensor. More specifically, we provide efficient learning algorithms that run in randomized polynomial time over general fields and in deterministic polynomial time over the reals and the complex numbers for the following classes: (1) Set-multilinear depth-$3$ circuits of constant top fan-in $\Sigma\Pi\Sigma\{\sqcup_j X_j\}(k)$ circuits). As a consequence of our algorithm, we obtain the first polynomial time algorithm for tensor rank computation and optimal tensor decomposition of constant-rank tensors. This result holds for $d$ dimensional tensors for any $d$, but is interesting even for $d=3$. (2) Sums of powers of constantly many linear forms ($\Sigma\wedge\Sigma$ circuits). As a consequence we obtain the first polynomial-time algorithm for tensor rank computation and optimal tensor decomposition of constant-rank symmetric tensors. (3) Multilinear depth-3 circuits of constant top fan-in (multilinear $\Sigma\Pi\Sigma(k)$ circuits). Our algorithm works over all fields of characteristic 0 or large enough characteristic. Prior to our work the only efficient algorithms known were over polynomially-sized finite fields (see. Karnin-Shpilka 09'). Prior to our work, the only polynomial-time or even subexponential-time algorithms known (deterministic or randomized) for subclasses of $\Sigma\Pi\Sigma(k)$ circuits that also work over large/infinite fields were for the setting when the top fan-in $k$ is at most $2$ (see Sinha 16' and Sinha 20').


title: High spatial resolution dosimetry with uncertainty analysis using Raman micro-spectroscopy readout of radiochromic films

abstract: Purpose: The purpose of this work is to develop a new approach for high spatial resolution dosimetry based on Raman micro-spectroscopy scanning of radiochromic film (RCF). We generate dose calibration curves over an extended dose range from 0-50 Gy and with improved sensitivity to low (<2 Gy) doses, in addition to evaluating uncertainties. Methods: Samples of RCF (EBT3) were irradiated at a broad dose-range of 0.03 Gy-50 Gy. Raman spectra were acquired with a custom-built Raman micro-spectroscopy setup involving a 500 mW, multimode 785 nm laser. The depth of focus of 34 um enabled the concurrent collection of Raman spectra from the RCF active layer and the polyester laminate. The pre-processed Raman spectra were normalized to the intensity of the 1614 cm-1 Raman peak from the polyester laminate that was unaltered by radiation. The experimental, fitting and total dose uncertainty was determined across the entire dose range for the dosimetry system of Raman micro-spectroscopy and RCF. Results: High resolution in the dose response of the RCF, even down to 0.03 Gy, was obtained in this study. The dynamic range of the calibration curves based on all three Raman peaks in the RCF extended up to 50 Gy with no saturation. At a spatial resolution of 30X30 um^2, the total uncertainty in estimating dose in the 0.5 Gy to 50 Gy dose range was [6 - 9]% for all three Raman calibration curves. This consisted of the experimental uncertainty of [5 - 8]%, and the fitting uncertainty of [2.5 - 4.5]%. Conclusions: The high spatial resolution experimental dosimetry technique based on Raman micro-spectroscopy and RCF presented here, could become useful for applications in, as well as for applications based on small field dosimetry.


title: WaveGlove: Transformer-based hand gesture recognition using multiple inertial sensors

abstract: Hand Gesture Recognition (HGR) based on inertial data has grown considerably in recent years, with the state-of-the-art approaches utilizing a single handheld sensor and a vocabulary comprised of simple gestures. In this work we explore the benefits of using multiple inertial sensors. Using WaveGlove, a custom hardware prototype in the form of a glove with five inertial sensors, we acquire two datasets consisting of over $11000$ samples. To make them comparable with prior work, they are normalized along with $9$ other publicly available datasets, and subsequently used to evaluate a range of Machine Learning approaches for gesture recognition, including a newly proposed Transformer-based architecture. Our results show that even complex gestures involving different fingers can be recognized with high accuracy. An ablation study performed on the acquired datasets demonstrates the importance of multiple sensors, with an increase in performance when using up to three sensors and no significant improvements beyond that.


title: The Effect of Geometry, Spin and Orbital Optimization in Achieving Accurate, Fully-Correlated Results for Iron-Sulfur Cubanes

abstract: Iron-sulfur clusters comprise an important functional motif of the catalytic centers of biological systems, capable of enabling important chemical transformations at ambient conditions. This remarkable capability derives from a notoriously complex electronic structure that is characterized by a high density of states that is sensitive to geometric changes. The spectral sensitivity to subtle geometric changes has received little attention from fully-correlated calculations, owing partly to the exceptional computational complexity for treating these large and correlated systems accurately. To provide insight into this aspect, we report the first Complete Active Space Self Consistent Field (CASSCF) calculations for different geometries of cubane-based clusters using two complementary, fully-correlated solvers: spin-pure Adaptive Sampling Configuration Interaction (ASCI) and Density Matrix Renormalization Group (DMRG). We find that the previously established picture of a double-exchange driven magnetic structure, with minute energy gaps (< 1 mHa) between consecutive spin states, has a weak dependence on the underlying geometry. However, the spin gap between the lowest singlet and the highest spin states is strongly geometry dependent, changing by an order of magnitude upon slight deformations that are still within biologically relevant parameters. The CASSCF orbital optimization procedure, using active spaces as large as 86 electrons in 52 orbitals, was found to reduce this gap by a factor of two compared to typical mean-field orbital approaches. Our results clearly demonstrate the need for performing highly correlated calculations to unveil the challenging electronic structure of these complex catalytic centers.


title: Reinforcement Learning for Scalable Logic Optimization with Graph Neural Networks

abstract: Logic optimization is an NP-hard problem commonly approached through hand-engineered heuristics. We propose to combine graph convolutional networks with reinforcement learning and a novel, scalable node embedding method to learn which local transforms should be applied to the logic graph. We show that this method achieves a similar size reduction as ABC on smaller circuits and outperforms it by 1.5-1.75x on larger random graphs.


title: Dynamical Formation of Graphene and Graphane Nanoscrolls

abstract: Carbon nanoscrolls (CNSs) are nanomaterials with geometry resembling graphene layers rolled up into a spiral (papyrus-like) form. Effects of hydrogenation and temperature on the self-scrolling process of two nanoribbons interacting with a carbon nanotube (CNT) have been studied by molecular dynamics simulations for three configurations: (1) graphene/graphene/CNT; (2) graphene/graphane/CNT, and (3) graphane/graphane/CNT. Graphane refers to a fully hydrogenated graphene nanoribbon. Nanoscroll formation is observed for configuration (1) and (2) for temperatures 300-1000 and 300-600 K, respectively, while nanoribbons wrap CNT without nanoscroll formation for configuration (3).


title: A Survey on End-User Robot Programming

abstract: As robots interact with a broader range of end-users, end-user robot programming has helped democratize robot programming by empowering end-users who may not have experience in robot programming to customize robots to meet their individual contextual needs. This article surveys work on end-user robot programming, with a focus on end-user program specification. It describes the primary domains, programming phases, and design choices represented by the end-user robot programming literature. The survey concludes by highlighting open directions for further investigation to enhance and widen the reach of end-user robot programming systems.


title: On the $k$-measure of partitions and distinct partitions

abstract: The $k$-measure of an integer partition was recently introduced by Andrews, Bhattacharjee and Dastidar. In this paper, we establish trivariate generating function identities counting both the length and the $k$-measure for partitions and distinct partitions, respectively. The $2$-measure case for partitions extends a result of Andrews, Bhattacharjee and Dastidar.


title: Coercive Inequalities and U-Bounds

abstract: We prove Poincar\'e and Log$^{\beta}$-Sobolev inequalities for probability measures on step-two Carnot groups.


title: Error Mitigation in Quantum Computers through Instruction Scheduling

abstract: Quantum systems have potential to demonstrate significant computational advantage, but current quantum devices suffer from the rapid accumulation of error that prevents the storage of quantum information over extended periods. The unintentional coupling of qubits to their environment and each other adds significant noise to computation, and improved methods to combat decoherence are required to boost the performance of quantum algorithms on real machines. While many existing techniques for mitigating error rely on adding extra gates to the circuit, calibrating new gates, or extending a circuit's runtime, this paper's primary contribution leverages the gates already present in a quantum program without extending circuit duration. We exploit circuit slack for single-qubit gates that occur in idle windows, scheduling the gates such that their timing can counteract some errors. Spin-echo corrections that mitigate decoherence on idling qubits act as inspiration for this work. Theoretical models, however, fail to capture all sources of noise in NISQ devices, making practical solutions necessary that better minimize the impact of unpredictable errors in quantum machines. This paper presents TimeStitch: a novel framework that pinpoints the optimum execution schedules for single-qubit gates within quantum circuits. TimeStitch, implemented as a compilation pass, leverages the reversible nature of quantum computation to boost the success of circuits on real quantum machines.


title: Fully-staggered-array bulk Re-Ba-Cu-O short-period undulator: large-scale 3D electromagnetic modelling and design optimization using A-V and H-formulation methods

abstract: The development of a new hard x-ray beamline I-TOMCAT equipped with a 1-meter-long short-period bulk high-temperature superconductor undulator (BHTSU) has been scheduled for the upgrade of the Swiss Light Source (SLS 2.0) at the Paul Scherrer Institute (PSI). The very hard x-ray source generated by the BHTSU will increase the brilliance at the beamline by over one order of magnitude in comparison to other state-of-the-art undulator technologies and allow experiments to be carried out with photon energies in excess of 60 keV. One of the key challenges for designing a 1-meter-long (100 periods) BHTSU is the large-scale simulation of the magnetization currents inside 200 staggered-array bulk superconductors. A feasible approach to simplify the electromagnetic model is to retain five periods from both ends of the 1-meter-long BHTSU, reducing the number of degrees of freedom (DOFs) to the scale of millions. In this paper, the theory of the recently-proposed 2D A-V formulation-based backward computation method is extended to calculate the critical state magnetization currents in the ten-period staggered-array BHTSU in 3D. The simulation results of the magnetization currents and the associated undulator field along the electron beam axis are compared with the well-known 3D H-formulation and the highly efficient 3D H-{\phi} formulation method, all methods showing excellent agreement with each other as well as with experimental results. The mixed H-{\phi} formulation avoids computing the eddy currents in the air subdomain and is significantly faster than the full H-formulation method, but is slower in comparison to the A-V formulation-based backward computation. Finally, the fastest and the most efficient A-V formulation in ANSYS 2020R1 Academic is adopted to optimize the integrals of the undulator field along the electron beam axis by optimizing the sizes of the end bulks.


title: Verifiable Computing Using Computation Fingerprints Within FHE

abstract: We suggest using Fully Homomorphic Encryption (FHE) to be used, not only to keep the privacy of information but also, to verify computations with no additional significant overhead, using only part of the variables length for verification. This method supports the addition of encrypted values as well as multiplication of encrypted values by the addition of their logarithmic representations and is based on a separation between hardware functionalities. The computer/server performs blackbox additions and is based on the separation of server/device/hardware, such as the enclave, that may deal with additions of logarithmic values and exponentiation. The main idea is to restrict the computer operations and to use part of the variable for computation verification (computation fingerprints) and the other for the actual calculation. The verification part holds the FHE value, of which the calculated result is known (either due to computing locally once or from previous verified computations) and will be checked against the returned FHE value. We prove that a server with bit computation granularity can return consistent encrypted wrong results even when the public key is not provided. For the case of computer word granularity the verification and the actual calculation parts are separated, the verification part (the consecutive bits from the LSB to the MSB of the variables) is fixed across all input vectors. We also consider the case of Single Instruction Multiple Data (SIMD) where the computation fingerprints index in the input vectors is fixed across all vectors.


title: Impact of momentum resolution on factorial moments due to power-law correlations between particles

abstract: The effect of momentum resolution on factorial moments due to the power-law correlation function is studied. The study is motivated by the search for the critical point of the strongly interacting matter in heavy-ion collisions using the intermittency method. We observe that factorial moments are significantly affected by the finite momentum resolution. The effect is superficially significant compared to intuitive expectations. The results depend on the power of the correlation function and the number of uncorrelated particles.


title: Surveilling Surveillance: Estimating the Prevalence of Surveillance Cameras with Street View Data

abstract: The use of video surveillance in public spaces -- both by government agencies and by private citizens -- has attracted considerable attention in recent years, particularly in light of rapid advances in face-recognition technology. But it has been difficult to systematically measure the prevalence and placement of cameras, hampering efforts to assess the implications of surveillance on privacy and public safety. Here, we combine computer vision, human verification, and statistical analysis to estimate the spatial distribution of surveillance cameras. Specifically, we build a camera detection model and apply it to 1.6 million street view images sampled from 10 large U.S. cities and 6 other major cities around the world, with positive model detections verified by human experts. After adjusting for the estimated recall of our model, and accounting for the spatial coverage of our sampled images, we are able to estimate the density of surveillance cameras visible from the road. Across the 16 cities we consider, the estimated number of surveillance cameras per linear kilometer ranges from 0.2 (in Los Angeles) to 0.9 (in Seoul). In a detailed analysis of the 10 U.S. cities, we find that cameras are concentrated in commercial, industrial, and mixed zones, and in neighborhoods with higher shares of non-white residents -- a pattern that persists even after adjusting for land use. These results help inform ongoing discussions on the use of surveillance technology, including its potential disparate impacts on communities of color.


title: Enabling 3D Object Detection with a Low-Resolution LiDAR

abstract: Light Detection And Ranging (LiDAR) has been widely used in autonomous vehicles for perception and localization. However, the cost of a high-resolution LiDAR is still prohibitively expensive, while its low-resolution counterpart is much more affordable. Therefore, using low-resolution LiDAR for autonomous driving is an economically viable solution, but the point cloud sparsity makes it extremely challenging. In this paper, we propose a two-stage neural network framework that enables 3D object detection using a low-resolution LiDAR. Taking input from a low-resolution LiDAR point cloud and a monocular camera image, a depth completion network is employed to produce dense point cloud that is subsequently processed by a voxel-based network for 3D object detection. Evaluated with KITTI dataset for 3D object detection in Bird-Eye View (BEV), the experimental result shows that the proposed approach performs significantly better than directly applying the 16-line LiDAR point cloud for object detection. For both easy and moderate cases, our 3D vehicle detection results are close to those using 64-line high-resolution LiDARs.


title: Analogues of Finite Blaschke Products as Inner Functions

abstract: We give a generalization of the notion of finite Blaschke products from the perspective of generalized inner functions in various reproducing kernel Hilbert spaces. Further, we study precisely how these functions relate to the so-called Shapiro--Shields functions and shift-invariant subspaces generated by polynomials. Applying our results, we show that the only entire inner functions on weighted Hardy spaces over the unit disk are multiples of monomials, extending recent work of Cobos and Seco.


title: Challenges and Outlook in Robotic Manipulation of Deformable Objects

abstract: Deformable object manipulation (DOM) is an emerging research problem in robotics. The ability to manipulate deformable objects endows robots with higher autonomy and promises new applications in the industrial, services, and healthcare sectors. However, compared to rigid object manipulation, the manipulation of deformable objects is considerably more complex, and is still an open research problem. Addressing DOM challenges demand breakthroughs in almost all aspects of robotics, namely hardware design, sensing, (deformation) modeling, planning, and control. In this article, we review recent advances and highlight the main challenges when considering deformation in each sub-field. A particular focus of our paper lies in the discussions of these challenges and proposing future directions of research.


title: Texture for Colors: Natural Representations of Colors Using Variable Bit-Depth Textures

abstract: Numerous methods have been proposed to transform color and grayscale images to their single bit-per-pixel binary counterparts. Commonly, the goal is to enhance specific attributes of the original image to make it more amenable for analysis. However, when the resulting binarized image is intended for human viewing, aesthetics must also be considered. Binarization techniques, such as half-toning, stippling, and hatching, have been widely used for modeling the original image's intensity profile. We present an automated method to transform an image to a set of binary textures that represent not only the intensities, but also the colors of the original. The foundation of our method is information preservation: creating a set of textures that allows for the reconstruction of the original image's colors solely from the binarized representation. We present techniques to ensure that the textures created are not visually distracting, preserve the intensity profile of the images, and are natural in that they map sets of colors that are perceptually similar to patterns that are similar. The approach uses deep-neural networks and is entirely self-supervised; no examples of good vs. bad binarizations are required. The system yields aesthetically pleasing binary images when tested on a variety of image sources.


title: Statistical Inference for Noisy Incomplete Binary Matrix

abstract: We consider the statistical inference for noisy incomplete binary (or 1-bit) matrix. Despite the importance of uncertainty quantification to matrix completion, most of the categorical matrix completion literature focuses on point estimation and prediction. This paper moves one step further toward the statistical inference for binary matrix completion. Under a popular nonlinear factor analysis model, we obtain a point estimator and derive its asymptotic normality. Moreover, our analysis adopts a flexible missing-entry design that does not require a random sampling scheme as required by most of the existing asymptotic results for matrix completion. Under reasonable conditions, the proposed estimator is statistically efficient and optimal in the sense that the Cramer-Rao lower bound is achieved asymptotically for the model parameters. Two applications are considered, including (1) linking two forms of an educational test and (2) linking the roll call voting records from multiple years in the United States Senate. The first application enables the comparison between examinees who took different test forms, and the second application allows us to compare the liberal-conservativeness of senators who did not serve in the Senate at the same time.


title: Duality pairs, generalized Gorenstein modules, and Ding injective envelopes

abstract: Let $R$ be a general ring. Duality pairs of $R$-modules were introduced by Holm-Jorgensen. Most examples satisfy further properties making them what we call semi-complete duality pairs in this paper. We attach a relative theory of Gorenstein homological algebra to any given semi-complete duality pair $\mathfrak{D} = (\mathcal{L},\mathcal{A})$. This generalizes the homological theory of the AC-Gorenstein modules defined by Bravo-Gillespie-Hovey, and we apply this to other semi-complete duality pairs. The main application is that the Ding injective modules are the right side of a complete (perfect) cotorsion pair, over any ring. Completeness of the Gorenstein flat cotorsion pair over any ring arises from the same duality pair.


title: Robust Reconfigurable Intelligent Surfaces via Invariant Risk and Causal Representations

abstract: In this paper, the problem of robust reconfigurable intelligent surface (RIS) system design under changes in data distributions is investigated. Using the notion of invariant risk minimization (IRM), an invariant causal representation across multiple environments is used such that the predictor is simultaneously optimal for each environment. A neural network-based solution is adopted to seek the predictor and its performance is validated via simulations against an empirical risk minimization-based design. Results show that leveraging invariance yields more robustness against unseen and out-of-distribution testing environments.


title: Evaluating Metrics for Standardized Benchmarking of Remote Presence Systems

abstract: To reduce the need for business-related air travel and its associated energy consumption and carbon footprint, the U.S. Department of Energy's ARPA-E is supporting a research project called SCOTTIE - Systematic Communication Objectives and Telecommunications Technology Investigations and Evaluations. SCOTTIE tests virtual and augmented reality platforms in a functional comparison with face-to-face (FtF) interactions to derive travel replacement thresholds for common industrial training scenarios. The primary goal of Study 1 is to match the communication effectiveness and learning outcomes obtained from a FtF control using virtual reality (VR) training scenarios in which a local expert with physical equipment trains a remote apprentice without physical equipment immediately present. This application scenario is commonplace in industrial settings where access to expensive equipment and materials is limited and a number of apprentices must travel to a central location in order to undergo training. Supplying an empirically validated virtual training alternative constitutes a readily adoptable use-case for businesses looking to reduce time and monetary expenditures associated with travel. The technology used for three different virtual presence technologies was strategically selected for feasibility, relatively low cost, business relevance, and potential for impact through transition. The authors suggest that the results of this study might generalize to the challenge of virtual conferences.


title: Unitary Interactions Do Not Yield Outcomes: Attempting to Model "Wigner's Friend"

abstract: An experiment by Proietti {\it et al} purporting to instantiate the `Wigner's Friend' thought experiment is discussed. It is pointed out that the stated implications of the experiment regarding the alleged irreconcilability of facts attributed to different observers warrant critical review. In particular, violation of a Clauser-Horne-Shimony inequality by the experimental data actually shows that the attribution of measurement outcomes to the ``Friends'' (modeled by internal photons undergoing unitary interactions) is erroneous. An elementary but often overlooked result regarding improper mixtures is adduced in support of this assessment. A counterexample is provided which refutes the popular notion that quantum theory leads to `relative facts' that never manifest as empirical inconsistencies. It is further noted that under an assumption of unbroken unitarity, no measurement correlation can ever yield an outcome, since all systems remain in improper mixtures, and attributing a definite but unknown outcome contradicts their composite pure state. It is pointed out that there already exists a solution to this conundrum in the form of an alternative formulation of quantum theory, which accounts for the data showing that no outcomes occurred at the interior entangled photon level and also predicts that outcomes can and do occur at the exterior ``super-observer'' level in this type of experiment.


title: Envisioning Communities: A Participatory Approach Towards AI for Social Good

abstract: Research in artificial intelligence (AI) for social good presupposes some definition of social good, but potential definitions have been seldom suggested and never agreed upon. The normative question of what AI for social good research should be "for" is not thoughtfully elaborated, or is frequently addressed with a utilitarian outlook that prioritizes the needs of the majority over those who have been historically marginalized, brushing aside realities of injustice and inequity. We argue that AI for social good ought to be assessed by the communities that the AI system will impact, using as a guide the capabilities approach, a framework to measure the ability of different policies to improve human welfare equity. Furthermore, we lay out how AI research has the potential to catalyze social progress by expanding and equalizing capabilities. We show how the capabilities approach aligns with a participatory approach for the design and implementation of AI for social good research in a framework we introduce called PACT, in which community members affected should be brought in as partners and their input prioritized throughout the project. We conclude by providing an incomplete set of guiding questions for carrying out such participatory AI research in a way that elicits and respects a community's own definition of social good.


title: Calculation of a temperature-volume phase diagram of water to inform the study of isochoric freezing down to cryogenic temperatures

abstract: Phase diagrams are integral to the application and interpretation of materials thermodynamics, and none is more ubiquitous than the common Temperature-Pressure diagram of water and its many icy phases. Inspired by recent advances in isochoric thermodynamics, we here employ a simple convex hull approach to efficiently calculate an updated Temperature-Volume phase diagram for water and five of its solid polymorphs from existing Helmholtz free energy data. We proceed to highlight fundamental similarities between this T-V diagram and conventional binary temperature-concentration (T-x) diagrams, provide the volume coordinates of a variety of three-phase invariant reactions (e.g. 'confined' or 'volumetric' eutectics, peritectics, etc.) that occur amongst the phases of pure water under isochoric or confined conditions, and calculate the phase fraction evolution of Ice Ih with temperature along multiple isochores of interest to experimental isochoric freezing. This work provides a requisite baseline upon which to extend the study of isochoric freezing to cryogenic temperatures, with potential applications in thermodynamic metrology, cryovolcanism, and cryopreservation.


title: Ideal operators and higher indescribability

abstract: We investigate properties of the ineffability and the Ramsey operator, and a common generalization of those that was introduced by the second author, with respect to higher indescribability, as introduced by the first author. This extends earlier investigations on the ineffability operator by James Baumgartner, and on the Ramsey operator by Qi Feng, by Philip Welch et al. and by the first author.


title: PathBench: A Benchmarking Platform for Classical and Learned Path Planning Algorithms

abstract: Path planning is a key component in mobile robotics. A wide range of path planning algorithms exist, but few attempts have been made to benchmark the algorithms holistically or unify their interface. Moreover, with the recent advances in deep neural networks, there is an urgent need to facilitate the development and benchmarking of such learning-based planning algorithms. This paper presents PathBench, a platform for developing, visualizing, training, testing, and benchmarking of existing and future, classical and learned 2D and 3D path planning algorithms, while offering support for Robot Oper-ating System (ROS). Many existing path planning algorithms are supported; e.g. A*, wavefront, rapidly-exploring random tree, value iteration networks, gated path planning networks; and integrating new algorithms is easy and clearly specified. We demonstrate the benchmarking capability of PathBench by comparing implemented classical and learned algorithms for metrics, such as path length, success rate, computational time and path deviation. These evaluations are done on built-in PathBench maps and external path planning environments from video games and real world databases. PathBench is open source.


title: Thinking Inside the Ball: Near-Optimal Minimization of the Maximal Loss

abstract: We characterize the complexity of minimizing $\max_{i\in[N]} f_i(x)$ for convex, Lipschitz functions $f_1,\ldots, f_N$. For non-smooth functions, existing methods require $O(N\epsilon^{-2})$ queries to a first-order oracle to compute an $\epsilon$-suboptimal point and $\tilde{O}(N\epsilon^{-1})$ queries if the $f_i$ are $O(1/\epsilon)$-smooth. We develop methods with improved complexity bounds of $\tilde{O}(N\epsilon^{-2/3} + \epsilon^{-8/3})$ in the non-smooth case and $\tilde{O}(N\epsilon^{-2/3} + \sqrt{N}\epsilon^{-1})$ in the $O(1/\epsilon)$-smooth case. Our methods consist of a recently proposed ball optimization oracle acceleration algorithm (which we refine) and a careful implementation of said oracle for the softmax function. We also prove an oracle complexity lower bound scaling as $\Omega(N\epsilon^{-2/3})$, showing that our dependence on $N$ is optimal up to polylogarithmic factors.


title: Boundary of the Gothen components

abstract: In this short note we describe an interesting new phenomenon about the $\mathrm{Sp}(4,\mathbb{R})$-character variety. Precisely, we show that the Hitchin component and all Gothen components share the same boundary in our length spectrum compactification.


title: Approximation schemes for bounded distance problems on fractionally treewidth-fragile graphs

abstract: We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally treewidth-fragile graph classes, a property that is true for many natural graph classes with sublinear separators. We also provide quasipolynomial-time approximation schemes for these problems in all classes with sublinear separators.


title: A version of the inexact Levenberg-Marquardt method for constrained nonsmooth equations

abstract: We herein propose a variant of the projected inexact Levenberg--Marquardt method (ILMM) for solving constrained nonsmooth equations. Since the orthogonal projection onto the feasible set may be computationally expensive, we propose a local ILMM with feasible inexact projections. By using assumption of semi-smoothness and an error bound condition which is weaker than the standard full rank assumption, we establish its convergence results, including results on its rate. Finally, some computacional results are reported in order to illustrate the advantages of the new schemes.


title: Streaming approximation resistance of every ordering CSP

abstract: An ordering constraint satisfaction problem (OCSP) is given by a positive integer $k$ and a constraint predicate $\Pi$ mapping permutations on $\{1,\ldots,k\}$ to $\{0,1\}$. Given an instance of OCSP$(\Pi)$ on $n$ variables and $m$ constraints, the goal is to find an ordering of the $n$ variables that maximizes the number of constraints that are satisfied, where a constraint specifies a sequence of $k$ distinct variables and the constraint is satisfied by an ordering on the $n$ variables if the ordering induced on the $k$ variables in the constraint satisfies $\Pi$. OCSPs capture natural problems including "Maximum acyclic subgraph (MAS)" and "Betweenness". In this work we consider the task of approximating the maximum number of satisfiable constraints in the (single-pass) streaming setting, where an instance is presented as a stream of constraints. We show that for every $\Pi$, OCSP$(\Pi)$ is approximation-resistant to $o(n)$-space streaming algorithms. This space bound is tight up to polylogarithmic factors. In the case of MAS our result shows that for every $\epsilon>0$, MAS is not $1/2+\epsilon$-approximable in $o(n)$ space. The previous best inapproximability result only ruled out a $3/4$-approximation in $o(\sqrt n)$ space. Our results build on recent works of Chou, Golovnev, Sudan, Velingker, and Velusamy who show tight, linear-space inapproximability results for a broad class of (non-ordering) constraint satisfaction problems over arbitrary (finite) alphabets. We design a family of appropriate CSPs (one for every $q$) from any given OCSP, and apply their work to this family of CSPs. We show that the hard instances from this earlier work have a particular "small-set expansion" property. By exploiting this combinatorial property, in combination with the hardness results of the resulting families of CSPs, we give optimal inapproximability results for all OCSPs.


title: Nonparametric Trace Regression in High Dimensions via Sign Series Representation

abstract: Learning of matrix-valued data has recently surged in a range of scientific and business applications. Trace regression is a widely used method to model effects of matrix predictors and has shown great success in matrix learning. However, nearly all existing trace regression solutions rely on two assumptions: (i) a known functional form of the conditional mean, and (ii) a global low-rank structure in the entire range of the regression function, both of which may be violated in practice. In this article, we relax these assumptions by developing a general framework for nonparametric trace regression models via structured sign series representations of high dimensional functions. The new model embraces both linear and nonlinear trace effects, and enjoys rank invariance to order-preserving transformations of the response. In the context of matrix completion, our framework leads to a substantially richer model based on what we coin as the "sign rank" of a matrix. We show that the sign series can be statistically characterized by weighted classification tasks. Based on this connection, we propose a learning reduction approach to learn the regression model via a series of classifiers, and develop a parallelable computation algorithm to implement sign series aggregations. We establish the excess risk bounds, estimation error rates, and sample complexities. Our proposal provides a broad nonparametric paradigm to many important matrix learning problems, including matrix regression, matrix completion, multi-task learning, and compressed sensing. We demonstrate the advantages of our method through simulations and two applications, one on brain connectivity study and the other on high-rank image completion.


title: Sampling Colorings and Independent Sets of Random Regular Bipartite Graphs in the Non-Uniqueness Region

abstract: For spin systems, such as the $q$-colorings and independent-set models, approximating the partition function in the so-called non-uniqueness region, where the model exhibits long-range correlations, is typically computationally hard for bounded-degree graphs. We present new algorithmic results for approximating the partition function and sampling from the Gibbs distribution for spin systems in the non-uniqueness region on random regular bipartite graphs. We give an $\mathsf{FPRAS}$ for counting $q$-colorings for even $q=O\big(\tfrac{\Delta}{\log{\Delta}}\big)$ on almost every $\Delta$-regular bipartite graph. This is within a factor $O(\log{\Delta})$ of the sampling algorithm for general graphs in the uniqueness region and improves significantly upon the previous best bound of $q=O\big(\tfrac{\sqrt{\Delta}}{(\log\Delta)^2}\big)$ by Jenssen, Keevash, and Perkins (SODA'19). Analogously, for the hard-core model on independent sets weighted by $\lambda>0$, we present an $\mathsf{FPRAS}$ for estimating the partition function when $\lambda=\Omega\big(\tfrac{\log{\Delta}}{\Delta}\big)$, which improves upon previous results by an $\Omega(\log \Delta)$ factor. Our results for the colorings and hard-core models follow from a general result that applies to arbitrary spin systems. Our main contribution is to show how to elevate probabilistic/analytic bounds on the marginal probabilities for the typical structure of phases on random bipartite regular graphs into efficient algorithms, using the polymer method. We further show evidence that our result for colorings is within a constant factor of best possible using current polymer-method approaches.


title: An Optimal Algorithm for Triangle Counting in the Stream

abstract: We present a new algorithm for approximating the number of triangles in a graph $G$ whose edges arrive as an arbitrary order stream. If $m$ is the number of edges in $G$, $T$ the number of triangles, $\Delta_E$ the maximum number of triangles which share a single edge, and $\Delta_V$ the maximum number of triangles which share a single vertex, then our algorithm requires space: \[ \widetilde{O}\left(\frac{m}{T}\cdot \left(\Delta_E + \sqrt{\Delta_V}\right)\right) \] Taken with the $\Omega\left(\frac{m \Delta_E}{T}\right)$ lower bound of Braverman, Ostrovsky, and Vilenchik (ICALP 2013), and the $\Omega\left( \frac{m \sqrt{\Delta_V}}{T}\right)$ lower bound of Kallaugher and Price (SODA 2017), our algorithm is optimal up to log factors, resolving the complexity of a classic problem in graph streaming.


title: Voice Conversion Based Speaker Normalization for Acoustic Unit Discovery

abstract: Discovering speaker independent acoustic units purely from spoken input is known to be a hard problem. In this work we propose an unsupervised speaker normalization technique prior to unit discovery. It is based on separating speaker related from content induced variations in a speech signal with an adversarial contrastive predictive coding approach. This technique does neither require transcribed speech nor speaker labels, and, furthermore, can be trained in a multilingual fashion, thus achieving speaker normalization even if only few unlabeled data is available from the target language. The speaker normalization is done by mapping all utterances to a medoid style which is representative for the whole database. We demonstrate the effectiveness of the approach by conducting acoustic unit discovery with a hidden Markov model variational autoencoder noting, however, that the proposed speaker normalization can serve as a front end to any unit discovery system. Experiments on English, Yoruba and Mboshi show improvements compared to using non-normalized input.


title: Complexity dichotomy for List-5-Coloring with a forbidden induced subgraph

abstract: For a positive integer $r$ and graphs $G$ and $H$, we denote by $G+H$ the disjoint union of $G$ and $H$, and by $rH$ the union of $r$ mutually disjoint copies of $H$. Also, we say $G$ is $H$-free if $H$ is not isomorphic to an induced subgraph of $G$. We use $P_t$ to denote the path on $t$ vertices. For a fixed positive integer $k$, the List-$k$-Coloring Problem is to decide, given a graph $G$ and a list $L(v)\subseteq \{1,\ldots,k\}$ of colors assigned to each vertex $v$ of $G$, whether $G$ admits a proper coloring $\phi$ with $\phi(v)\in L(v)$ for every vertex $v$ of $G$, and the $k$-Coloring Problem is the List-$k$-Coloring Problem restricted to instances with $L(v)=\{1,\ldots, k\}$ for every vertex $v$ of $G$. We prove that for every positive integer $r$, the List-$5$-Coloring Problem restricted to $rP_3$-free graphs can be solved in polynomial time. Together with known results, this gives a complete dichotomy for the complexity of the List-$5$-Coloring Problem restricted to $H$-free graphs: For every graph $H$, assuming P$\neq$NP, the List-$5$-Coloring Problem restricted to $H$-free graphs can be solved in polynomial time if and only if $H$ is an induced subgraph of either $rP_3$ or $P_5+rP_1$ for some positive integer $r$. As a hardness counterpart, we also show that the $k$-Coloring Problem restricted to $rP_4$-free graphs is NP-complete for all $k\geq 5$ and $r\geq 2$.