title: The Variational Quantum Eigensolver: a review of methods and best practices

abstract: The variational quantum eigensolver (or VQE) uses the variational principle to compute the ground state energy of a Hamiltonian, a problem that is central to quantum chemistry and condensed matter physics. Conventional computing methods are constrained in their accuracy due to the computational limits. The VQE may be used to model complex wavefunctions in polynomial time, making it one of the most promising near-term applications for quantum computing. Finding a path to navigate the relevant literature has rapidly become an overwhelming task, with many methods promising to improve different parts of the algorithm. Despite strong theoretical underpinnings suggesting excellent scaling of individual VQE components, studies have pointed out that their various pre-factors could be too large to reach a quantum computing advantage over conventional methods. This review aims to provide an overview of the progress that has been made on the different parts of the algorithm. All the different components of the algorithm are reviewed in detail including representation of Hamiltonians and wavefunctions on a quantum computer, the optimization process, the post-processing mitigation of errors, and best practices are suggested. We identify four main areas of future research:(1) optimal measurement schemes for reduction of circuit repetitions; (2) large scale parallelization across many quantum computers;(3) ways to overcome the potential appearance of vanishing gradients in the optimization process, and how the number of iterations required for the optimization scales with system size; (4) the extent to which VQE suffers for quantum noise, and whether this noise can be mitigated. The answers to these open research questions will determine the routes for the VQE to achieve quantum advantage as the quantum computing hardware scales up and as the noise levels are reduced.


title: On Training Implicit Models

abstract: This paper focuses on training implicit models of infinite layers. Specifically, previous works employ implicit differentiation and solve the exact gradient for the backward propagation. However, is it necessary to compute such an exact but expensive gradient for training? In this work, we propose a novel gradient estimate for implicit models, named phantom gradient, that 1) forgoes the costly computation of the exact gradient; and 2) provides an update direction empirically preferable to the implicit model training. We theoretically analyze the condition under which an ascent direction of the loss landscape could be found, and provide two specific instantiations of the phantom gradient based on the damped unrolling and Neumann series. Experiments on large-scale tasks demonstrate that these lightweight phantom gradients significantly accelerate the backward passes in training implicit models by roughly 1.7 times, and even boost the performance over approaches based on the exact gradient on ImageNet.


title: Linking the $R_{K^{(\ast)}}$ anomalies to the Hubble tension via a single right-handed neutrino

abstract: The updated measurements from the LHCb and SH0ES collaborations have respectively strengthened the deviations of the ratio $R_{K}$ in rare semi-leptonic $B$-meson decays and the present-day Hubble parameter $H_0$ in the Universe, implying tantalizing hints of new physics beyond the Standard Model. In this paper, we consider a simple flavor-specific two-Higgs-doublet model, where the long-standing $R_{K^{(*)}}$ anomalies can be addressed by a one-flavor right-handed neutrino. One of the intriguing predictions resulting from the parameter space for the $R_{K^{(*)}}$ resolution under flavor- and collider-physics constraints points toward a shift of the effective neutrino number, $\Delta N_{\rm eff}=N_{\rm eff}-N_{\rm eff}^{\rm SM}$, as favored to ease the $H_0$ tension. Depending on whether the neutrino is of Dirac or of Majorana type, we show that the resulting shift is $\Delta N_{\rm eff}\simeq 1.0$ for the former and $\Delta N_{\rm eff}\simeq 0.5$ for the latter case, respectively. While the Dirac case is disfavored by the CMB polarization measurements, the Majorana solution is consistent with the recent studies via a combined data set from various sources. Consequently, such a simple flavor-specific two-Higgs-doublet model provides a link between the $R_{K^{(*)}}$ anomalies and the $H_0$ tension, which in turn can be readily verified or falsified by the upcoming measurements.


title: Effect of substitutional doping and disorder on the phase stability, magnetism, and half-metallicity of Heusler alloys

abstract: Spintronics is the fast growing field that will play a key role in optimizing power consumption, memory, and processing capabilities of nanoelectronic devices. Heusler alloys are potential candidates for application in spintronics due to their room temperature (RT) half-metallicity, high Curie temperature, low lattice mismatch with most substrates, and strong control on electronic density of states at Fermi level. In this work, we investigate the effect of {substitutional doping and disorder} on the half-metallicity, phase stability, and magnetism of Heusler alloys using density functional theory methods. Our study shows that electronic and magnetic properties of half/full-Heusler alloys can be tuned by changing electron-count through controlled variation of chemical compositions of alloying elements. We provide a detailed discussion on the effect of substitutional doping and disorder on the tunability of half-metallic nature of Co$_{2}$MnX and NiMnX based Heusler alloys, where X represents group 13\textendash 16 and period 3\textendash 6 elements of the periodic table. {Based on the idea of electron count and disorder, we predicted a possible existence of thermodynamically stable half-metallic multicomponent bismuthides, for example, (CuNi$_{3}$)Mn$_{4}$Bi$_{4}$ and (ZnNi$_{7}$)Mn$_{8}$Bi$_{8}$, through substitution doping at Ni site by specific Cu and Zn composition in half-Heusler NiMnBi.} We believe that the design guide {based on electron-counts} presented for half-metals will play a key role in electronic-structure engineering of novel Heusler alloys for spintronic application, which will accelerate the development and synthesis of novel materials.


title: TTRISK: Tensor Train Decomposition Algorithm for Risk Averse Optimization

abstract: This article develops a new algorithm named TTRISK to solve high-dimensional risk-averse optimization problems governed by differential equations (ODEs and/or PDEs) under uncertainty. As an example, we focus on the so-called Conditional Value at Risk (CVaR), but the approach is equally applicable to other coherent risk measures. Both the full and reduced space formulations are considered. The algorithm is based on low rank tensor approximations of random fields discretized using stochastic collocation. To avoid non-smoothness of the objective function underpinning the CVaR, we propose an adaptive strategy to select the width parameter of the smoothed CVaR to balance the smoothing and tensor approximation errors. Moreover, unbiased Monte Carlo CVaR estimate can be computed by using the smoothed CVaR as a control variate. To accelerate the computations, we introduce an efficient preconditioner for the KKT system in the full space formulation.The numerical experiments demonstrate that the proposed method enables accurate CVaR optimization constrained by large-scale discretized systems. In particular, the first example consists of an elliptic PDE with random coefficients as constraints. The second example is motivated by a realistic application to devise a lockdown plan for United Kingdom under COVID-19. The results indicate that the risk-averse framework is feasible with the tensor approximations under tens of random variables.


title: Particle density fluctuations and correlations in low energy Cosmic-Ray showers simulated with CORSIKA

abstract: The current studies of cosmic rays are focused on most energetic particles entering the atmosphere and producing a single Extensive Air Shower (EAS). There are, however, models predicting that interactions of high energy particles may result in Cosmic-Ray Ensembles (CRE) created far from the Earth. They could be observed as some number of correlated air showers of relatively low energies spread over a large area. The objective of the Cosmic Ray Extremely Distributed Observatory (CREDO) is to search for CRE using all available data from different detectors and observatories including even small but numerous detectors spread over large areas. Interpretation of such measurements require precise information on properties of EAS in a very wide energy spectrum. Low energy EAS are analysed using events from CORSIKA, the program performing air shower simulations. The primary cosmic ray particle energy range extends from 1TeV up to 4000TeV. The secondary particles at the ground level are studied in order to obtain their density fluctuations and correlations in location. Although the fluctuations observed in multiplicity distributions are consistent with random the more detailed analysis reveals that near a selected particle the density of other particles is enhanced over that expected in the absence of correlations. The results of this analysis may be useful in further calculations, for example to obtain probability of detection of an EAS without special simulations.


title: Venusian phosphine: a 'Wow!' signal in chemistry?

abstract: The potential detection of ppb levels phosphine (PH3) in the clouds of Venus through millimeter-wavelength astronomical observations is extremely surprising as PH3 is an unexpected component of an oxidized environment of Venus. A thorough analysis of potential sources suggests that no known process in the consensus model of Venus' atmosphere or geology could produce PH3 at anywhere near the observed abundance. Therefore, if the presence of PH3 in Venus' atmosphere is confirmed, it is highly likely to be the result of a process not previously considered plausible for Venusian conditions. The source of atmospheric PH3 could be unknown geo- or photochemistry, which would imply that the consensus on Venus' chemistry is significantly incomplete. An even more extreme possibility is that strictly aerial microbial biosphere produces PH3. This paper summarizes the Venusian PH3 discovery and the scientific debate that arose since the original candidate detection one year ago.


title: Numerical relativity simulations of prompt collapse mergers: threshold mass and phenomenological constraints on neutron star properties after GW170817

abstract: We determine the threshold mass for prompt (no bounce) black hole formation in equal-mass neutron star (NS) mergers using a new set of 227 numerical relativity simulations. We consider 23 phenomenological and microphysical finite temperature equations of state (EOS), including models with hyperons and first-order phase transitions to deconfined quarks. We confirm the existence of EOS-insensitive relations between the threshold mass, the binary tidal parameter at the threshold ($\Lambda_{th}$), the maximum mass of nonrotating NSs, and the radii of reference mass NSs. We correct the systematic errors in previously reported fitting coefficients that were obtained with approximate general-relativity simulations. We combine the EOS-insensitive relations, phenomenological constraints on NS properties and observational data from GW170817 to derive an improved lower limit on radii of maximum mass and 1.6 M$_\odot$ NS of 9.81 km and 10.90 km, respectively. We also constrain the radius and quadrupolar tidal deformability ($\Lambda$) of a 1.4 $M_\odot$ NS to be larger than 10.74 km and 172, respectively. We consider uncertainties in all independent parameters -- fitting coefficients as well as GW170817 masses while reporting the range of radii constraints. We introduce new methods to constrain the upper as well as lower limit of NS maximum mass using future BNS detections and their identification as prompt or delayed collapse. With future observations it will be possible to derive even tighter constraints on the properties of matter at and above nuclear density using the method proposed in this work.


title: B- and D-meson semileptonic decays with highly improved staggered quarks

abstract: We present results for $B_{(s)}$- and $D_{(s)}$-meson semileptonic decays from ongoing calculations by the Fermilab Lattice and MILC Collaborations. Our calculation employs the highly improved staggered quark (HISQ) action for both sea and valence quarks and includes several ensembles with physical-mass up, down, strange, and charm quarks and lattice spacings ranging from $a\approx0.15$ fm down to 0.06 fm. At most lattice spacings, an ensemble with physical-mass light quarks is included. The use of the highly improved action, combined with the MILC Collaboration's gauge ensembles with lattice spacings down to $a\approx0.042$ fm, allows heavy valence quarks to be treated with the same discretization as the light and strange quarks. This unified treatment of the valence quarks allows (in some cases) for absolutely normalized currents, bypassing the need for perturbative matching, which has been a leading source of uncertainty in previous calculations of $B$-meson decay form factors by our collaboration. All preliminary form-factor results are blinded.


title: The 6x2pt method: supernova velocities meet multiple tracers

abstract: We present a new methodology to analyse in a comprehensive way large-scale and supernovae (or any other distance indicator) surveys. Our approach combines galaxy and supernova position and redshift data with supernova peculiar velocities, obtained through their magnitude scatter, to construct a 6x2pt analysis which includes six power spectra. The 3x3 correlation matrix of these spectra expresses exhaustively the information content of the surveys at the linear level. We proceed then to forecast the performance of future surveys like LSST and 4MOST with a Fisher Matrix analysis, adopting both a model-dependent and a model-independent approach. We compare the performance of the 6x2pt approach to the traditional one using only galaxy clustering and some recently proposed combinations of galaxy and supernovae data and quantify the possible gains by optimally extracting the linear information. We show that the 6x2pt method shrinks the uncertainty area in the $\sigma_8, \gamma$ plane by more than half when compared to the traditional method. The combined clustering and velocity data on the growth of structures has uncertainties at similar levels to those of the CMB but exhibit orthogonal degeneracies, and the combined constraints yield improvements of factors of 5 in each of the five cosmological parameters here considered. Concerning the model-independent results, we find that our method can improve the constraints on $H(z)/H_0$ in all redshift bins by more than 70% with respect to the galaxy clustering alone and by 30% when supernova velocities (but not clustering) are considered, reaching a precision of 3-4% at high redshifts.


title: Noise analysis in the European Pulsar Timing Array data release 2 and its implications on the gravitational-wave background search

abstract: The European Pulsar Timing Array (EPTA) collaboration has recently released an extended data set for six pulsars (DR2) and reported evidence for a common red noise signal. Here we present a noise analysis for each of the six pulsars. We consider several types of noise: (i) radio frequency independent, "achromatic", and time-correlated red noise; (ii) variations of dispersion measure and scattering; (iii) system and band noise; and (iv) deterministic signals (other than gravitational waves) that could be present in the PTA data. We perform Bayesian model selection to find the optimal combination of noise components for each pulsar. Using these custom models we revisit the presence of the common uncorrelated red noise signal previously reported in the EPTA DR2 and show that the data still supports it with a high statistical significance. Next, we confirm that there is no preference for or against the Hellings-Downs spatial correlations expected for the stochastic gravitational-wave background. The main conclusion of the EPTA DR2 paper remains unchanged despite a very significant change in the noise model of each pulsar. However, modelling the noise is essential for the robust detection of gravitational waves and its impact could be significant when analysing the next EPTA data release, which will include a larger number of pulsars and more precise measurements.


title: Braided open book decompositions in $S^3$

abstract: We study four (a priori) different ways in which an open book decomposition of the 3-sphere can be defined to be braided. These include generalised exchangeability defined by Morton and Rampichini and mutual braiding defined by Rudolph, which were shown to be equivalent by Rampichini, as well as P-fiberedness and a property related to simple branched covers of $S^3$ inspired by work of Montesinos and Morton. We prove that these four notions of a braided open book are actually all equivalent to each other. We show that all open books in the 3-sphere whose binding has a braid index of at most 3 can be braided in this sense.


title: FinRL-Podracer: High Performance and Scalable Deep Reinforcement Learning for Quantitative Finance

abstract: Machine learning techniques are playing more and more important roles in finance market investment. However, finance quantitative modeling with conventional supervised learning approaches has a number of limitations. The development of deep reinforcement learning techniques is partially addressing these issues. Unfortunately, the steep learning curve and the difficulty in quick modeling and agile development are impeding finance researchers from using deep reinforcement learning in quantitative trading. In this paper, we propose an RLOps in finance paradigm and present a FinRL-Podracer framework to accelerate the development pipeline of deep reinforcement learning (DRL)-driven trading strategy and to improve both trading performance and training efficiency. FinRL-Podracer is a cloud solution that features high performance and high scalability and promises continuous training, continuous integration, and continuous delivery of DRL-driven trading strategies, facilitating a rapid transformation from algorithmic innovations into a profitable trading strategy. First, we propose a generational evolution mechanism with an ensemble strategy to improve the trading performance of a DRL agent, and schedule the training of a DRL algorithm onto a GPU cloud via multi-level mapping. Then, we carry out the training of DRL components with high-performance optimizations on GPUs. Finally, we evaluate the FinRL-Podracer framework for a stock trend prediction task on an NVIDIA DGX SuperPOD cloud. FinRL-Podracer outperforms three popular DRL libraries Ray RLlib, Stable Baseline 3 and FinRL, i.e., 12% \sim 35% improvements in annual return, 0.1 \sim 0.6 improvements in Sharpe ratio and 3 times \sim 7 times speed-up in training time. We show the high scalability by training a trading agent in 10 minutes with $80$ A100 GPUs, on NASDAQ-100 constituent stocks with minute-level data over 10 years.


title: Large Inverse Transient Phase Response of Titanium-nitride-based Microwave Kinetic Inductance Detectors

abstract: Following optical pulses ($\lambda=405~\text{nm}$) on titanium nitride (TiN) Microwave Kinetic Inductance Detectors (MKIDs) cooled down at temperatures $T \le T_c / 20$ ($T_c \simeq 4.6~\text{K}$), we observe a large phase-response highlighting two different modes simultaneously that are nevertheless related. The first corresponds to the well-known transition of cooper-pair breaking into quasi-particles which produces a known phase response. This is immediately followed by a large inverse response lasting several hundreds of microseconds to several milliseconds depending on the temperature. We propose to model this inverse pulse as the thermal perturbation of the superconductor and interaction with two level system (TLS) that reduces the dielectric constant which in turns modify the capacitance and therefore the resonance frequency. The ratio of the TLS responding to the illumination is on the order of that of the area of the inductor to the whole resonator


title: QUDOS: Quorum-Based Cloud-Edge Distributed DNNs for Security Enhanced Industry 4.0

abstract: Distributed machine learning algorithms that employ Deep Neural Networks (DNNs) are widely used in Industry 4.0 applications, such as smart manufacturing. The layers of a DNN can be mapped onto different nodes located in the cloud, edge and shop floor for preserving privacy. The quality of the data that is fed into and processed through the DNN is of utmost importance for critical tasks, such as inspection and quality control. Distributed Data Validation Networks (DDVNs) are used to validate the quality of the data. However, they are prone to single points of failure when an attack occurs. This paper proposes QUDOS, an approach that enhances the security of a distributed DNN that is supported by DDVNs using quorums. The proposed approach allows individual nodes that are corrupted due to an attack to be detected or excluded when the DNN produces an output. Metrics such as corruption factor and success probability of an attack are considered for evaluating the security aspects of DNNs. A simulation study demonstrates that if the number of corrupted nodes is less than a given threshold for decision-making in a quorum, the QUDOS approach always prevents attacks. Furthermore, the study shows that increasing the size of the quorum has a better impact on security than increasing the number of layers. One merit of QUDOS is that it enhances the security of DNNs without requiring any modifications to the algorithm and can therefore be applied to other classes of problems.


title: Does Thermal data make the detection systems more reliable?

abstract: Deep learning-based detection networks have made remarkable progress in autonomous driving systems (ADS). ADS should have reliable performance across a variety of ambient lighting and adverse weather conditions. However, luminance degradation and visual obstructions (such as glare, fog) result in poor quality images by the visual camera which leads to performance decline. To overcome these challenges, we explore the idea of leveraging a different data modality that is disparate yet complementary to the visual data. We propose a comprehensive detection system based on a multimodal-collaborative framework that learns from both RGB (from visual cameras) and thermal (from Infrared cameras) data. This framework trains two networks collaboratively and provides flexibility in learning optimal features of its own modality while also incorporating the complementary knowledge of the other. Our extensive empirical results show that while the improvement in accuracy is nominal, the value lies in challenging and extremely difficult edge cases which is crucial in safety-critical applications such as AD. We provide a holistic view of both merits and limitations of using a thermal imaging system in detection.


title: Production rate and ellipticity of lepton pairs from a rotating hot and dense QCD medium

abstract: Using a current-current correlation function (CF), the photon polarization tensor is calculated for a rotating hot and dense QCD medium. The spectral function (SF) and the dilepton rate (DR) are estimated therefrom. Numerical results show that both SF and DR are enhanced in a rotating medium, especially in a low invariant mass region. SF and DR are also explored in the consequences of the interplay among the angular velocity, temperature and chemical potential. We also estimated the electromagnetic screening by calculating the Debye mass and it shows a suppression for a rotating QCD medium. The most interesting observation is the azimuthal anisotropy of the dilepton production, i.e, the elliptic flow $v_{2}$ of the lepton pair induced by the rotation as an external field. The competition between the centrifugal effect and the spin polarization effect due to rotation results in a convex down behaviour of the elliptic flow as a function of the transverse momentum in a relatively large magnitude of angular velocity. It is noticed that quark spin polarization induces a negative $v_2$ in the case of large angular velocity.


title: A Survey on Green Deep Learning

abstract: In recent years, larger and deeper models are springing up and continuously pushing state-of-the-art (SOTA) results across various fields like natural language processing (NLP) and computer vision (CV). However, despite promising results, it needs to be noted that the computations required by SOTA models have been increased at an exponential rate. Massive computations not only have a surprisingly large carbon footprint but also have negative effects on research inclusiveness and deployment on real-world applications. Green deep learning is an increasingly hot research field that appeals to researchers to pay attention to energy usage and carbon emission during model training and inference. The target is to yield novel results with lightweight and efficient technologies. Many technologies can be used to achieve this goal, like model compression and knowledge distillation. This paper focuses on presenting a systematic review of the development of Green deep learning technologies. We classify these approaches into four categories: (1) compact networks, (2) energy-efficient training strategies, (3) energy-efficient inference approaches, and (4) efficient data usage. For each category, we discuss the progress that has been achieved and the unresolved challenges.


title: Deep Learning Adapted Acceleration for Limited-view Photoacoustic Computed Tomography

abstract: Photoacoustic imaging (PAI) is a non-invasive imaging modality that detects the ultrasound signal generated from tissue with light excitation. Photoacoustic computed tomography (PACT) uses unfocused large-area light to illuminate the target with ultrasound transducer array for PA signal detection. Limited-view issue could cause a low-quality image in PACT due to the limitation of geometric condition. The model-based method is used to resolve this problem, which contains different regularization. To adapt fast and high-quality reconstruction of limited-view PA data, in this paper, a model-based method that combines the mathematical variational model with deep learning is proposed to speed up and regularize the unrolled procedure of reconstruction. A deep neural network is designed to adapt the step of the gradient updated term of data consistency in the gradient descent procedure, which can obtain a high-quality PA image only with a few iterations. Note that all parameters and priors are automatically learned during the offline training stage. In experiments, we show that this method outperforms the other methods with half-view (180 degrees) simulation and real data. The comparison of different model-based methods show that our proposed scheme has superior performances (over 0.05 for SSIM) with same iteration (3 times) steps. Furthermore, an unseen data is used to validate the generalization of different methods. Finally, we find that our method obtains superior results (0.94 value of SSIM for in vivo) with a high robustness and accelerated reconstruction.


title: Surface energy of the one-dimensional supersymmetric $t-J$ model with general integrable boundary terms in the antiferromagnetic sector

abstract: In this paper, we study the surface energy of the one-dimensional supersymmetric $t-J$ model with unparallel boundary magnetic fields, which is a typical $U(1)$-symmetry broken quantum integrable strongly correlated electron system. It is shown that at the ground state, the contribution of inhomogeneous term in the Bethe ansatz solution of eigenvalues of transfer matrix satisfies the finite size scaling law $L^{\beta}$ where $\beta<0$. Based on it, the physical quantities of the system in the thermodynamic limit are calculated. We obtain the patterns of Bethe roots and the analytical expressions of density of states, ground state energy and surface energy. We also find that there exist the stable boundary bound states if the boundary fields satisfy some constraints.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: NATURE: Natural Auxiliary Text Utterances for Realistic Spoken Language Evaluation

abstract: Slot-filling and intent detection are the backbone of conversational agents such as voice assistants, and are active areas of research. Even though state-of-the-art techniques on publicly available benchmarks show impressive performance, their ability to generalize to realistic scenarios is yet to be demonstrated. In this work, we present NATURE, a set of simple spoken-language oriented transformations, applied to the evaluation set of datasets, to introduce human spoken language variations while preserving the semantics of an utterance. We apply NATURE to common slot-filling and intent detection benchmarks and demonstrate that simple perturbations from the standard evaluation set by NATURE can deteriorate model performance significantly. Through our experiments we demonstrate that when NATURE operators are applied to evaluation set of popular benchmarks the model accuracy can drop by up to 40%.


title: A PTAS for the horizontal rectangle stabbing problem

abstract: We study rectangle stabbing problems in which we are given $n$ axis-aligned rectangles in the plane that we want to stab, i.e., we want to select line segments such that for each given rectangle there is a line segment that intersects two opposite edges of it. In the horizontal rectangle stabbing problem (STABBING), the goal is to find a set of horizontal line segments of minimum total length such that all rectangles are stabbed. In general rectangle stabbing problem, also known as horizontal-vertical stabbing problem (HV-Stabbing), the goal is to find a set of rectilinear (i.e., either vertical or horizontal) line segments of minimum total length such that all rectangles are stabbed. Both variants are NP-hard. Chan, van Dijk, Fleszar, Spoerhase, and Wolff [2018]initiated the study of these problems by providing constant approximation algorithms. Recently, Eisenbrand, Gallato, Svensson, and Venzin [2021] have presented a QPTAS and a polynomial-time 8-approximation algorithm for STABBING but it is was open whether the problem admits a PTAS. In this paper, we obtain a PTAS for STABBING, settling this question. For HV-Stabbing, we obtain a $(2+\varepsilon)$-approximation. We also obtain PTASes for special cases of HV-Stabbing: (i) when all rectangles are squares, (ii) when each rectangle's width is at most its height, and (iii) when all rectangles are $\delta$-large, i.e., have at least one edge whose length is at least $\delta$, while all edge lengths are at most 1. Our result also implies improved approximations for other problems such as generalized minimum Manhattan network.


title: Harmless interpolation in regression and classification with structured features

abstract: Overparametrized neural networks tend to perfectly fit noisy training data yet generalize well on test data. Inspired by this empirical observation, recent work has sought to understand this phenomenon of benign overfitting or harmless interpolation in the much simpler linear model. Previous theoretical work critically assumes that either the data features are statistically independent or the input data is high-dimensional; this precludes general nonparametric settings with structured feature maps. In this paper, we present a general and flexible framework for upper bounding regression and classification risk in a reproducing kernel Hilbert space. A key contribution is that our framework describes precise sufficient conditions on the data Gram matrix under which harmless interpolation occurs. Our results recover prior independent-features results (with a much simpler analysis), but they furthermore show that harmless interpolation can occur in more general settings such as features that are a bounded orthonormal system. Furthermore, our results show an asymptotic separation between classification and regression performance in a manner that was previously only shown for Gaussian features.


title: Deep diffusion-based forecasting of COVID-19 by incorporating network-level mobility information

abstract: Modeling the spatiotemporal nature of the spread of infectious diseases can provide useful intuition in understanding the time-varying aspect of the disease spread and the underlying complex spatial dependency observed in people's mobility patterns. Besides, the county level multiple related time series information can be leveraged to make a forecast on an individual time series. Adding to this challenge is the fact that real-time data often deviates from the unimodal Gaussian distribution assumption and may show some complex mixed patterns. Motivated by this, we develop a deep learning-based time-series model for probabilistic forecasting called Auto-regressive Mixed Density Dynamic Diffusion Network(ARM3Dnet), which considers both people's mobility and disease spread as a diffusion process on a dynamic directed graph. The Gaussian Mixture Model layer is implemented to consider the multimodal nature of the real-time data while learning from multiple related time series. We show that our model, when trained with the best combination of dynamic covariate features and mixture components, can outperform both traditional statistical and deep learning models in forecasting the number of Covid-19 deaths and cases at the county level in the United States.


title: Inside-out star formation quenching and the need for a revision of bulge-disk decomposition concepts for spiral galaxies

abstract: Our knowledge about the photometric properties of bulges in late-type galaxies (LTGs) is founded upon image decomposition into a S\'ersic model for the central luminosity excess of the bulge and an exponential model for the underlying disk. We argue that the standard practice of adopting an exponential model for the disk all the way to its center is inadequate because it implicitly neglects the fact of star formation (SF) quenching (SFQ) in the centers of LTGs. Extrapolating the fit for the observable star-forming zone of the disk (outside the bulge) inwardly overestimates the true surface brightness of the disk in its SF-quenched central zone. We refer to this effect as Dio. The primary consequence of the neglect of Dio in bulge-disk decomposition studies is the oversubtraction of the disk underneath the bulge, leading to a systematic underestimation of the luminosity of the latter. Framed in the picture of galaxy downsizing and inside-out SFQ, Dio is expected to differentially impact galaxies across redshift and stellar mass M*, thus leading to systematic and complex biases in the scatter and slope of various galaxy scaling relations. We conjecture that correction for Dio will lead to a downbending of the bulge vs. super-massive black hole (SMBH) relation for galaxies below log(M*/Msolar)~10.7. A decreasing M(SMBH)/M* ratio with decreasing M* would help consistently explain the scarcity and weakness of accretion-powered nuclear activity in low-mass spiral galaxies. A well detectable Dio (~2 r mag) can emerge early on through inward migration of SF clumps from the disk in combination with a strong contrast of emission-line equivalent widths between the quenched proto-bulge and its SF periphery. Spatially resolved studies with the JWST, ELT, and Euclid could therefore offer key insights into the chronology and physical drivers of SFQ in the early phase of galaxy assembly. (abridged)


title: Scale-free percolation mixing time

abstract: Assign to each vertex of the one-dimensional torus i.i.d. weights with a heavy-tail of index $\tau-1>0$. Connect then each couple of vertices with probability roughly proportional to the product of their weights and that decays polynomially with exponent $\alpha>0$ in their distance. The resulting graph is called scale-free percolation. The goal of this work is to study the mixing time of the simple random walk on this structure. We depict a rich phase diagram in $\alpha$ and $\tau$. In particular we prove that the presence of hubs can speed up the mixing of the chain. We use different techniques for each phase, the most interesting of which is a bootstrap procedure to reduce the model from a phase where the degrees have bounded averages to a setting with unbounded averages.


title: Stability of the positive mass theorem under Ricci curvature lower bounds

abstract: We establish Gromov-Hausdorff stability of the Riemannian positive mass theorem under the assumption of a Ricci curvature lower bound. More precisely, consider a class of orientable complete uniformly asymptotically flat Riemannian 3-manifolds with nonnegative scalar curvature, vanishing second homology, and a uniform lower bound on Ricci curvature. We prove that if a sequence of such manifolds has ADM mass approaching zero, then it must converge to Euclidean 3-space in the pointed Gromov-Hausdorff sense. In particular, this confirms Huisken and Ilmanen's conjecture on stability of the positive mass theorem under the assumptions described above. The proof is based on the harmonic level set approach to proving the positive mass theorem, combined with techniques used in the proof of Cheeger and Colding's almost splitting theorem. Furthermore, we show that the same results hold under a more general lower bound on scalar curvature.


title: Footstep Adjustment for Biped Push Recovery on Slippery Surfaces

abstract: Despite extensive studies on motion stabilization of bipeds, they still suffer from the lack of disturbance coping capability on slippery surfaces. In this paper, a novel controller for stabilizing a bipedal motion in its sagittal plane is developed with regard to the surface friction limitations. By taking into account the physical limitation of the surface in the stabilization trend, a more advanced level of reliability is achieved that provides higher functionalities such as push recovery on low-friction surfaces and prevents the stabilizer from overreacting. The discrete event-based strategy consists of modifying the step length and time period at the beginning of each footstep in order to reestablish stability necessary conditions while taking into account the surface friction limitation as a constraint to prevent slippage. Adjusting footsteps to prevent slippage in confronting external disturbances is perceived as a novel strategy for keeping stability, quite similar to human reaction. The developed methodology consists of rough closed-form solutions utilizing elementary math operations for obtaining the control inputs, allowing to reach a balance between convergence and computational cost, which is quite suitable for real-time operations even with modest computational hardware. Several numerical simulations, including push recovery and switching between different gates on low-friction surfaces, are performed to demonstrate the effectiveness of the proposed controller. In correlation with human-gait experience, the results also reveal some physical aspects favoring stability and the fact of switching between gaits to reduce the risk of falling in confronting different conditions.


title: Reason first, then respond: Modular Generation for Knowledge-infused Dialogue

abstract: Large language models can produce fluent dialogue but often hallucinate factual inaccuracies. While retrieval-augmented models help alleviate this issue, they still face a difficult challenge of both reasoning to provide correct knowledge and generating conversation simultaneously. In this work, we propose a modular model, Knowledge to Response (K2R), for incorporating knowledge into conversational agents, which breaks down this problem into two easier steps. K2R first generates a knowledge sequence, given a dialogue context, as an intermediate step. After this "reasoning step", the model then attends to its own generated knowledge sequence, as well as the dialogue context, to produce a final response. In detailed experiments, we find that such a model hallucinates less in knowledge-grounded dialogue tasks, and has advantages in terms of interpretability and modularity. In particular, it can be used to fuse QA and dialogue systems together to enable dialogue agents to give knowledgeable answers, or QA models to give conversational responses in a zero-shot setting.


title: An enhancement of the fast time-domain boundary element method for the three-dimensional wave equation

abstract: Our objective is to stabilise and accelerate the time-domain boundary element method (TDBEM) for the three-dimensional wave equation. To overcome the potential time instability, we considered using the Burton--Miller-type boundary integral equation (BMBIE) instead of the ordinary boundary integral equation (OBIE), which consists of the single- and double-layer potentials. In addition, we introduced a smooth temporal basis, i.e. the B-spline temporal basis of order $d$, whereas $d=1$ was used together with the OBIE in a previous study [Takahashi 2014]. Corresponding to these new techniques, we generalised the interpolation-based fast multipole method that was developed in \cite{takahashi2014}. In particular, we constructed the multipole-to-local formula (M2L) so that even for $d\ge 2$ we can maintain the computational complexity of the entire algorithm, i.e. $O(N_{\rm s}^{1+\delta} N_{\rm t})$, where $N_{\rm s}$ and $N_{\rm t}$ denote the number of boundary elements and the number of time steps, respectively, and $\delta$ is theoretically estimated as $1/3$ or $1/2$. The numerical examples indicated that the BMBIE is indispensable for solving the homogeneous Dirichlet problem, but the order $d$ cannot exceed 1 owing to the doubtful cancellation of significant digits when calculating the corresponding layer potentials. In regard to the homogeneous Neumann problem, the previous TDBEM based on the OBIE with $d=1$ can be unstable, whereas it was found that the BMBIE with $d=2$ can be stable and accurate. The present study will enhance the usefulness of the TDBEM for 3D scalar wave problems.


title: Crystal bases and three-dimensional $ \mathcal{N}=4 $ Coulomb branches

abstract: We establish and develop a correspondence between certain crystal bases (Kashiwara crystals) and the Coulomb branch of three-dimensional $ \mathcal{N} =4 $ gauge theories. The result holds for simply-laced, non-simply laced and affine quivers. Two equivalent derivations are given in the non-simply laced case, either by application of the axiomatic rules or by folding a simply-laced quiver. We also study the effect of turning on real masses and the ensuing simplification of the crystal. We present a multitude of explicit examples of the equivalence. Finally, we put forward a correspondence between infinite crystals and Hilbert spaces of theories with isolated vacua.


title: Computing Sparse Jacobians and Hessians Using Algorithmic Differentiation

abstract: Stochastic scientific models and machine learning optimization estimators have a large number of variables; hence computing large sparse Jacobians and Hessians is important. Algorithmic differentiation (AD) greatly reduces the programming effort required to obtain the sparsity patterns and values for these matrices. We present forward, reverse, and subgraph methods for computing sparse Jacobians and Hessians. Special attention is given the the subgraph method because it is new. The coloring and compression steps are not necessary when computing sparse Jacobians and Hessians using subgraphs. Complexity analysis shows that for some problems the subgraph method is expected to be much faster. We compare C++ operator overloading implementations of the methods in the ADOL-C and CppAD software packages using some of the MINPACK-2 test problems. The experiments are set up in a way that makes them easy to run on different hardware, different systems, different compilers, other test problem and other AD packages. The setup time is the time to record the graph, compute sparsity, coloring, compression, and optimization of the graph. If the setup is necessary for each evaluation, the subgraph implementation has similar run times for sparse Jacobians and faster run times for sparse Hessians.


title: Thermodynamic theory of dislocation/grain boundary interaction

abstract: The thermodynamic theory of dislocation/grain boundary interaction, including dislocation pile-up against, absorption by, and transfer through the grain boundary, is developed for nonuniform plastic deformations in polycrystals. The case study is carried out on the boundary conditions affecting work hardening of a bicrystal subjected to plane constrained shear for three types of grain boundaries: (i) impermeable hard grain boundary, (ii) grain boundary that allows dislocation transfer without absorption, (iii) grain boundary that absorbs dislocations and allows them to pass later.


title: Enumerating Independent Linear Inferences

abstract: A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on each side. In this work we leverage recently developed graphical representations of linear formulae to build an implementation that is capable of more efficiently searching for switch-medial-independent inferences. We use it to find four `minimal' 8-variable independent inferences and also prove that no smaller ones exist; in contrast, a previous approach based directly on formulae reached computational limits already at 7 variables. Two of these new inferences derive some previously found independent linear inferences. The other two (which are dual) exhibit structure seemingly beyond the scope of previous approaches we are aware of; in particular, their existence contradicts a conjecture of Das and Strassburger. We were also able to identify 10 minimal 9-variable linear inferences independent of all the aforementioned inferences, comprising 5 dual pairs, and present applications of our implementation to recent `graph logics'.


title: An F-modulated stability framework for multistep methods

abstract: We introduce a new $\mathbf F$-modulated energy stability framework for general linear multistep methods. We showcase the theory for the two dimensional molecular beam epitaxy model with no slope selection which is a prototypical gradient flow with Lipschitz-bounded nonlinearity. We employ a class of representative BDF$k$, $2\le k \le 5$ discretization schemes with explicit $k^{\mathrm{th}}$-order extrapolation of the nonlinear term. We prove the uniform-in-time boundedness of high Sobolev norms of the numerical solution. The upper bound is unconditional, i.e. regardless of the size of the time step. We develop a new algebraic theory and calibrate nearly optimal and \emph{explicit} maximal time step constraints which guarantee monotonic $\mathbf F$-modulated energy dissipation.


title: Robot control for simultaneous impact tasks via Quadratic Programming-based reference spreading

abstract: With the aim of further enabling the exploitation of impacts in robotic manipulation, a control framework is presented that directly tackles the challenges posed by tracking control of robotic manipulators that are tasked to perform nominally simultaneous impacts associated to multiple contact points. To this end, we extend the framework of reference spreading, which uses an extended ante- and post-impact reference coherent with a rigid impact map, determined under the assumption of an inelastic simultaneous impact. In practice, the robot will not reside exactly on the reference at the impact moment; as a result a sequence of impacts at the different contact points will typically occur. Our new approach extends reference spreading in this context via the introduction of an additional interim control mode. In this mode, a torque command is still based on the ante-impact reference with the goal of reaching the target contact state, but velocity feedback is disabled as this can be potentially harmful due to rapid velocity changes. With an eye towards real implementation, the approach is formulated using a quadratic programming (QP) control framework and is validated using numerical simulations both on a rigid robot model and on a realistic robot model with flexible joints.


title: Resilient expansion planning of virtual energy plant with an integrated energy system -- reliability criteria of lines and towers

abstract: Virtual power plants, while being virtual, rely on a physical network for operations. The portfolio of the virtual power plants is flexible in facilitating a wide range of resources including the local heat pumps. The power transmission network has the responsibility to ensure the security of supply, reliability of operation, planning, and expansion. The power transmission network and apparatus including lines and towers are also aging with time. Furthermore, the transmission network covers a large geographical area which is expensive to maintain. The objective of this paper is to investigate the effect of power network conditions on power network expansion planning. The condition of the power network is determined by the maintenance cost of lines and a health index and a risk factor associated with the tower. The investigation begins with answering how the inclusion of heat pump impacts the decisions on network interventions. Thereafter, the condition network is factored into the decision-making by better understanding the impact of the network condition on the overall expansion planning. Furthermore, many sensitivity analyses are conducted to evaluate the trade-offs between decision variables such as cost of heat pump, coefficient of performance of heat pump, risk factors, and line and tower costs.


title: Strong error bounds for the convergence to its mean field limit for systems of interacting neurons in a diffusive scaling

abstract: We consider the stochastic system of interacting neurons introduced in De Masi et al. (2015) and in Fournier and L\"ocherbach (2016) and then further studied in Erny, L\"ocherbach and Loukianova (2021) in a diffusive scaling. The system consists of N neurons, each spiking randomly with rate depending on its membrane potential. At its spiking time, the potential of the spiking neuron is reset to 0 and all other neurons receive an additional amount of potential which is a centred random variable of order $ 1 / \sqrt{N}.$ In between successive spikes, each neuron's potential follows a deterministic flow. In a previous article we proved the convergence of the system, as $N \to \infty$, to a limit nonlinear jumping stochastic differential equation. In the present article we complete this study by establishing a strong convergence result, stated with respect to an appropriate distance, with an explicit rate of convergence. The main technical ingredient of our proof is the coupling introduced in Koml\'os, Major and Tusn\'ady (1976) of the point process representing the small jumps of the particle system with the limit Brownian motion


title: A Topological Data Analysis Based Classifier

abstract: Topological Data Analysis (TDA) is an emergent field that aims to discover topological information hidden in a dataset. TDA tools have been commonly used to create filters and topological descriptors to improve Machine Learning (ML) methods. This paper proposes an algorithm that applies TDA directly to multi-class classification problems, without any further ML stage, showing advantages for imbalanced datasets. The proposed algorithm builds a filtered simplicial complex on the dataset. Persistent Homology (PH) is applied to guide the selection of a sub-complex where unlabeled points obtain the label with the majority of votes from labeled neighboring points. We select 8 datasets with different dimensions, degrees of class overlap and imbalanced samples per class. On average, the proposed TDABC method was better than KNN and weighted-KNN. It behaves competitively with Local SVM and Random Forest baseline classifiers in balanced datasets, and it outperforms all baseline methods classifying entangled and minority classes.


title: Levitodynamics: Levitation and control of microscopic objects in vacuum

abstract: The control of levitated nano- and micro-objects in vacuum is of considerable interest, capitalizing on the scientific achievements in the fields of atomic physics, control theory and optomechanics. The ability to couple the motion of levitated systems to internal degrees of freedom, as well as to external forces and systems, provides opportunities for science and technology. Attractive research directions, ranging from fundamental quantum physics to commercial sensors, have been unlocked by the many recent experimental achievements, including motional ground-state cooling of an optically levitated nanoparticle. We review the status, challenges and prospects of levitodynamics, the mutidisciplinary research devoted to understanding, controlling, and using levitated nano- and micro-objects in vacuum.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.atom-ph physics.optics


title: Machine learning approaches to the QCD transition

abstract: We study the high temperature transition in pure $SU(3)$ gauge theory and in full QCD with 3D-convolutional neural networks trained as parts of either unsupervised or semi-supervised learning problems. Pure gauge configurations are obtained with the MILC public code and full QCD are from simulations of $N_f=2+1+1$ Wilson fermions at maximal twist. We discuss the capability of different approaches to identify different phases using as input the configurations of Polyakov loops. To better expose fluctuations, a standardized version of Polyakov loops is also considered.


title: The Thermal Conductance of Sapphire Ball Based Detector Clamps

abstract: In order to provide secure clamping with a low thermal conductance, some low temperature detectors are held with point contact sapphire ball clamps. While this method is increasingly common, the thermal conductance across this interface has not been well studied. We present a direct measurement of the thermal conductance of such clamps between 200 and 600~mK, with a clamping force of approximately 2.7~$\pm0.3$~N/clamp. The thermal conductance of a single sapphire-on-copper clamp was found to be 660$^{+360}_{-210}$~$(T/K)^{3.1}$~[nW/K]. For a sapphire-on-silicon clamp the conductance was found to be 380$^{+190}_{-120}$~$(T/K)^{2.8}$~[nW/K]. The conductance measured is consistent with thermal boundary resistance.


title: A research framework for writing differentiable PDE discretizations in JAX

abstract: Differentiable simulators are an emerging concept with applications in several fields, from reinforcement learning to optimal control. Their distinguishing feature is the ability to calculate analytic gradients with respect to the input parameters. Like neural networks, which are constructed by composing several building blocks called layers, a simulation often requires computing the output of an operator that can itself be decomposed into elementary units chained together. While each layer of a neural network represents a specific discrete operation, the same operator can have multiple representations, depending on the discretization employed and the research question that needs to be addressed. Here, we propose a simple design pattern to construct a library of differentiable operators and discretizations, by representing operators as mappings between families of continuous functions, parametrized by finite vectors. We demonstrate the approach on an acoustic optimization problem, where the Helmholtz equation is discretized using Fourier spectral methods, and differentiability is demonstrated using gradient descent to optimize the speed of sound of an acoustic lens. The proposed framework is open-sourced and available at \url{https://github.com/ucl-bug/jaxdf}


title: Vinogradov's Conjecture and Beyond

abstract: In this paper, if prime $p\equiv 3\pmod 4$ is sufficiently large then we prove an upper bound on the number of occurences of any arbitrary pattern of quadratic residues and nonresidues of length $k$ as $k$ tends to $\lceil \log_2 p\rceil$. As an immediate consequence, it proves that, there exist a constant $c$ such that, the least nonresidue for such primes is at most $c\lceil \log_2 p\rceil$.


title: Probing Transit Timing Variations of Three Hot-Jupiters: HATP-36b, HATP-56b, and WASP-52b

abstract: We report the results of new transit observations for the three hot Jupiter-like planets HATP-36b, HATP-56b and WASP-52b respectively. Transit timing variations (TTVs) are presented for these systems based on observations that span the period 2016 - 2020. The data were collected with the 0.6 m telescope at Adiyaman University (ADYU60, Turkey) and the 1.0 m telescope at T\"UB\.ITAK National Observatory (TUG, Turkey). Global fits were performed to the combined light curves for each system along with the corresponding radial velocity (RV) data taken from the literature. The extracted parameters (for all three systems) are found to be consistent with the values from previous studies. Through fits to the combined mid-transit times data from our observations and the data available in the literature, an updated linear ephemeris is obtained for each system. Although a number of potential outliers are noted in the respective O-C diagrams, the majority of the data are consistent within the 3$\sigma$ confidence level implying a lack of convincing evidence for the existence of additional objects in the systems studied.


title: Quantitative stochastic homogenization of the G equation

abstract: We prove a quantitative rate of homogenization for the G equation in a random environment with finite range of dependence. Using ideas from percolation theory, the proof bootstraps a result of Cardaliaguet and Souganidis, who proved qualitative homogenization in a more general ergodic environment.


title: Cross Attentional Audio-Visual Fusion for Dimensional Emotion Recognition

abstract: Multimodal analysis has recently drawn much interest in affective computing, since it can improve the overall accuracy of emotion recognition over isolated uni-modal approaches. The most effective techniques for multimodal emotion recognition efficiently leverage diverse and complimentary sources of information, such as facial, vocal, and physiological modalities, to provide comprehensive feature representations. In this paper, we focus on dimensional emotion recognition based on the fusion of facial and vocal modalities extracted from videos, where complex spatiotemporal relationships may be captured. Most of the existing fusion techniques rely on recurrent networks or conventional attention mechanisms that do not effectively leverage the complimentary nature of audio-visual (A-V) modalities. We introduce a cross-attentional fusion approach to extract the salient features across A-V modalities, allowing for accurate prediction of continuous values of valence and arousal. Our new cross-attentional A-V fusion model efficiently leverages the inter-modal relationships. In particular, it computes cross-attention weights to focus on the more contributive features across individual modalities, and thereby combine contributive feature representations, which are then fed to fully connected layers for the prediction of valence and arousal. The effectiveness of the proposed approach is validated experimentally on videos from the RECOLA and Fatigue (private) data-sets. Results indicate that our cross-attentional A-V fusion model is a cost-effective approach that outperforms state-of-the-art fusion approaches. Code is available: \url{https://github.com/praveena2j/Cross-Attentional-AV-Fusion}


title: A quantitative and qualitative open citation analysis of retracted articles in the humanities

abstract: In this article, we show and discuss the results of a quantitative and qualitative analysis of open citations to retracted publications in the humanities domain. Our study was conducted by selecting retracted papers in the humanities domain and marking their main characteristics (e.g., retraction reason). Then, we gathered the citing entities and annotated their basic metadata (e.g., title, venue, subject, etc.) and the characteristics of their in-text citations (e.g., intent, sentiment, etc.). Using these data, we performed a quantitative and qualitative study of retractions in the humanities, presenting descriptive statistics and a topic modeling analysis of the citing entities' abstracts and the in-text citation contexts. As part of our main findings, we noticed that there was no drop in the overall number of citations after the year of retraction, with few entities which have either mentioned the retraction or expressed a negative sentiment toward the cited publication. In addition, on several occasions, we noticed a higher concern/awareness when it was about citing a retracted publication, by the citing entities belonging to the health sciences domain, if compared to the humanities and the social science domains. Philosophy, arts, and history are the humanities areas that showed the higher concern toward the retraction.


title: Next2You: Robust Copresence Detection Based on Channel State Information

abstract: Context-based copresence detection schemes are a necessary prerequisite to building secure and usable authentication systems in the Internet of Things (IoT). Such schemes allow one device to verify proximity of another device without user assistance utilizing their physical context (e.g., audio). The state-of-the-art copresence detection schemes suffer from two major limitations: (1) they cannot accurately detect copresence in low-entropy context (e.g., empty room with few events occurring) and insufficiently separated environments (e.g., adjacent rooms), (2) they require devices to have common sensors (e.g., microphones) to capture context, making them impractical on devices with heterogeneous sensors. We address these limitations, proposing Next2You, a novel copresence detection scheme utilizing channel state information (CSI). In particular, we leverage magnitude and phase values from a range of subcarriers specifying a Wi-Fi channel to capture a robust wireless context created when devices communicate. We implement Next2You on off-the-shelf smartphones relying only on ubiquitous Wi-Fi chipsets and evaluate it based on over 95 hours of CSI measurements that we collect in five real-world scenarios. Next2You achieves error rates below 4%, maintaining accurate copresence detection both in low-entropy context and insufficiently separated environments. We also demonstrate the capability of Next2You to work reliably in real-time and its robustness to various attacks.


title: Helly systems and certificates in optimization

abstract: Inspired by branch-and-bound and cutting plane proofs in mixed-integer optimization and proof complexity, we develop a general approach via Hoffman's Helly systems. This helps to distill the main ideas behind optimality and infeasibility certificates in optimization. The first part of the paper formalizes the notion of a certificate and its size in this general setting. The second part of the paper establishes lower and upper bounds on the sizes of these certificates in various different settings. We show that some important techniques existing in the literature are purely combinatorial in nature and do not depend on any underlying geometric notions.


title: Leveraging blur information for plenoptic camera calibration

abstract: This paper presents a novel calibration algorithm for plenoptic cameras, especially the multi-focus configuration, where several types of micro-lenses are used, using raw images only. Current calibration methods rely on simplified projection models, use features from reconstructed images, or require separated calibrations for each type of micro-lens. In the multi-focus configuration, the same part of a scene will demonstrate different amounts of blur according to the micro-lens focal length. Usually, only micro-images with the smallest amount of blur are used. In order to exploit all available data, we propose to explicitly model the defocus blur in a new camera model with the help of our newly introduced Blur Aware Plenoptic (BAP) feature. First, it is used in a pre-calibration step that retrieves initial camera parameters, and second, to express a new cost function to be minimized in our single optimization process. Third, it is exploited to calibrate the relative blur between micro-images. It links the geometric blur, i.e., the blur circle, to the physical blur, i.e., the point spread function. Finally, we use the resulting blur profile to characterize the camera's depth of field. Quantitative evaluations in controlled environment on real-world data demonstrate the effectiveness of our calibrations.


title: Nonlinear Fractional Schr\"odinger Equations coupled by power-type nonlinearities

abstract: In this work we study the following class of systems of coupled nonlinear fractional nonlinear Schr\"odinger equations, \begin{equation*} \left \{ \begin{array}{l} (-\Delta)^s u_1+ \lambda_1 u_1= \mu_1 |u_1|^{2p-2}u_1+\beta |u_2|^{p} |u_1|^{p-2}u_1 \quad\text{in }\mathbb{R}^N,\\[3pt] (-\Delta)^s u_2 + \lambda_2 u_2= \mu_2 |u_2|^{2p-2}u_2+\beta |u_1|^{p}|u_2|^{p-2}u_2 \quad\text{in }\mathbb{R}^N, \end{array} \right. \end{equation*} where $ u_1,\, u_2\in W^{s,2}(\mathbb{R}^N)$, with $ N=1,\, 2,\, 3$; $\lambda_j,\,\mu_j>0$, $j=1,2$, $\beta\in \mathbb{R}$, $p\geq 2$ and $\displaystyle\frac{p-1}{2p}N<s<1$. Precisely, we prove the existence of positive radial bound and ground state solutions provided the parameters $\beta, p, \lambda_j,\mu_j$, ($j=1,\, 2$) satisfy appropriate conditions. We also study the previous system with $m$-equations, $$ (-\Delta)^s u_j+ \lambda_j u_j =\mu_j |u_j|^{2p-2}u_j+ \sum_{\substack{k=1\\k\neq j}}^m\beta_{jk} |u_k|^p|u_j|^{p-2}u_j,\quad u_j\in W^{s,2}(\mathbb{R}^N);\: j=1,\ldots,m $$ where $\lambda_j,\, \mu_j>0$ for $j=1,\ldots ,m\ge 3$, the coupling parameters $\beta_{jk}=\beta_{kj}\in \mathbb{R}$ for $j,k=1,\ldots,m$, $j\neq k$. For this system we prove similar results as for $m=2$, depending on the values of the parameters $\beta_{jk}, p, \lambda_j,\mu_j$, (for $j,k=1,\ldots,m$, $j\neq k$).


title: Modular tensor categories, subcategories, and Galois orbits

abstract: We establish a set of general results to study how the Galois action on modular tensor categories interacts with fusion subcategories. This includes a characterization of fusion subcategories of modular tensor categories which are closed under the Galois action, and a classifcation of modular tensor categories which factor as a product of pointed and transitive categories in terms of pseudoinvertible objects. As an application, we classify modular tensor categories with two Galois orbits of simple objects and a nontrivial grading group.


title: The invariance of knot lattice homology

abstract: Assume $\Gamma$ is a negative-definite forest with exactly one unframed vertex, and $M(\Gamma)$ is the resulting plumbed 3-manifold with a knot embedded. We show that the filtered lattice chain homotopy type of $\Gamma$ is an invariant of the diffeomorphism type of $M(\Gamma)$.


title: Wong-Zakai approximations for quasilinear systems of It\^o's type stochastic differential equations driven by fBm with $H>1/2$

abstract: In a recent article Lanconelli and Scorolli (2021) extended to the multidimensional case a Wong-Zakai-type approximation for It\^o stochastic differential equations proposed by \Oksendal and Hu (1996). The aim of the current paper is to extend the latter result to system of stochastic differential equations of It\^o type driven by fractional Brownian motion (fBm) like those considered by Hu (2018). The covariance structure of the fBm precludes us from using the same approach as that used by Lanconelli and Scorolli and instead we employ a truncated Cameron-Martin expansion as the approximation for the fBm. We are naturally led to the investigation of a semilinear hyperbolic system of evolution equations in several space variables that we utilize for constructing a solution of the Wong-Zakai approximated systems. We show that the law of each element of the approximating sequence solves in the sense of distribution a Fokker-Planck equation and that the sequence converges to the solution of the Ito\^o equation, as the number of terms in the expansion goes to infinite.


title: MLHarness: A Scalable Benchmarking System for MLCommons

abstract: With the society's growing adoption of machine learning (ML) and deep learning (DL) for various intelligent solutions, it becomes increasingly imperative to standardize a common set of measures for ML/DL models with large scale open datasets under common development practices and resources so that people can benchmark and compare models quality and performance on a common ground. MLCommons has emerged recently as a driving force from both industry and academia to orchestrate such an effort. Despite its wide adoption as standardized benchmarks, MLCommons Inference has only included a limited number of ML/DL models (in fact seven models in total). This significantly limits the generality of MLCommons Inference's benchmarking results because there are many more novel ML/DL models from the research community, solving a wide range of problems with different inputs and outputs modalities. To address such a limitation, we propose MLHarness, a scalable benchmarking harness system for MLCommons Inference with three distinctive features: (1) it codifies the standard benchmark process as defined by MLCommons Inference including the models, datasets, DL frameworks, and software and hardware systems; (2) it provides an easy and declarative approach for model developers to contribute their models and datasets to MLCommons Inference; and (3) it includes the support of a wide range of models with varying inputs/outputs modalities so that we can scalably benchmark these models across different datasets, frameworks, and hardware systems. This harness system is developed on top of the MLModelScope system, and will be open sourced to the community. Our experimental results demonstrate the superior flexibility and scalability of this harness system for MLCommons Inference benchmarking.


title: Learning Rates for Nonconvex Pairwise Learning

abstract: Pairwise learning is receiving increasing attention since it covers many important machine learning tasks, e.g., metric learning, AUC maximization, and ranking. Investigating the generalization behavior of pairwise learning is thus of significance. However, existing generalization analysis mainly focuses on the convex objective functions, leaving the nonconvex learning far less explored. Moreover, the current learning rates derived for generalization performance of pairwise learning are mostly of slower order. Motivated by these problems, we study the generalization performance of nonconvex pairwise learning and provide improved learning rates. Specifically, we develop different uniform convergence of gradients for pairwise learning under different assumptions, based on which we analyze empirical risk minimizer, gradient descent, and stochastic gradient descent pairwise learning. We first successfully establish learning rates for these algorithms in a general nonconvex setting, where the analysis sheds insights on the trade-off between optimization and generalization and the role of early-stopping. We then investigate the generalization performance of nonconvex learning with a gradient dominance curvature condition. In this setting, we derive faster learning rates of order $\mathcal{O}(1/n)$, where $n$ is the sample size. Provided that the optimal population risk is small, we further improve the learning rates to $\mathcal{O}(1/n^2)$, which, to the best of our knowledge, are the first $\mathcal{O}(1/n^2)$-type of rates for pairwise learning, no matter of convex or nonconvex learning. Overall, we systematically analyzed the generalization performance of nonconvex pairwise learning.


title: Exponential decay for Constrained-degree percolation

abstract: We consider the Constrained-degree percolation model in random environment (CDPRE) on the square lattice. In this model, each vertex $v$ has an independent random constraint $\kappa_v$ which takes the value $j\in \{0,1,2,3\}$ with probability $\rho_j$. The dynamics is as follows: at time $t=0$ all edges are closed; each edge $e$ attempts to open at a random time $U_e\sim \mathrm{U}(0,1]$, independently of all other edges. It succeeds if at time $U_e$ both its end-vertices have degrees strictly smaller than their respective constraints. We obtain exponential decay of the radius of the open cluster of the origin at all times when its expected size is finite. Since CDPRE is dominated by Bernoulli percolation, such result is meaningful only if the supremum of all values of $t$ for which the expected size of the open cluster of the origin is finite is larger than 1/2. We prove this last fact by showing a sharp phase transition for an intermediate model.


title: Algebraic fibre spaces with strictly nef relative anti-log canonical divisor

abstract: Let $(X,\Delta)$ be a projective klt pair, and $f:X\to Y$ a fibration to a smooth projective variety $Y$ with strictly nef relative anti-log canonical divisor $-(K_{X/Y}+\Delta)$. We prove that $f$ is a locally constant fibration with rationally connected fibres, and the base $Y$ is a canonically polarized hyperbolic projective manifold. In particular, when $Y$ is a single point, we establish that $X$ is rationally connected. Moreover, when $\dim X=3$ and $-(K_X+\Delta)$ is strictly nef, we prove that $-(K_X+\Delta)$ is ample, which confirms the singular version of a conjecture of Campana-Peternell for threefolds.


title: Quantum oscillations in Noncentrosymmetric Weyl semimetals RAlSi (R = Sm and Ce)

abstract: Weyl semimetal (WSM) as a new type of quantum state of matter hosting low energy relativistic quasiparticles, has attracted significant attention for both scientific community and potential quantum device applications. Here, we report a comprehensive investigation of the structural, magnetic and transport properties of noncentrosymmetric RAlSi (R = Sm, Ce), which have been predicted to be new magnetic WSM candidates. Both samples exhibit non-saturated magnetoresistance (MR), with ~ 900% for SmAlSi and 80% for CeAlSi at 1.8 K, 9 T. The carrier densities of SmAlSi and CeAlSi display remarkable change around magnetic transition temperatures, signifying that the electronic states are sensitive to magnetic ordering of rare earth elements. At low temperatures, SmAlSi reveals prominent Shubnikov-de Haas (SdH) oscillations associated with the nontrivial Berry phase. High pressure experiments demonstrate that the magnetic order is robust and survival under high pressure. Our results would yield valuable insights of WSM physics and potentials in application to the next-generation spintronic devices in RAX family.


title: On the small measure expansion phenomenon in connected noncompact nonabelian groups

abstract: Suppose $G$ is a connected noncompact locally compact group, $A,B$ are nonempty and compact subsets of $G$, $\mu$ is a left Haar measure on $G$. Assuming that $G$ is unimodular, and $ \mu(A^2) < K \mu(A) $ with $K>1$ a fixed constant, our first result shows that there is a continuous surjective group homomorphism $\chi: G\to L$ with compact kernel, where $L$ is a Lie group with $$\dim(L) \leq \lfloor\log K\rfloor(\lfloor\log K\rfloor+1)/2.$$ We also demonstrate that this dimension bound is sharp, establish the relationship between $A$ and its image under the quotient map, and obtain a more general version of this result for the product set $AB$ without assuming unimodularity. Our second result classifies $G,A,B$ where $A,B$ have nearly minimal expansions (when $G$ is unimodular, this just means $\mu(AB)$ is close to $\mu(A)+\mu(B)$). This answers a question suggested by Griesmer and Tao, and completes the last open case of the inverse Kemperman problem. The proofs of both results involve a new analysis of locally compact group $G$ with bounded $n-h$, where $n-h$ is an invariant of $G$ appearing in the recently developed nonabelian Brunn-Minkowski inequality. We also generalize Ruzsa's distance and related results to possibly nonunimodular locally compact groups.


title: Psycho-linguistic differences among competing vaccination communities on social media

abstract: Currently, the significance of social media in disseminating noteworthy information on topics such as health, politics, and the economy is indisputable. During the COVID-19 pandemic, anti-vaxxers use social media to distribute fake news and anxiety-provoking information about the vaccine, which may harm the public. Here, we characterize the psycho-linguistic features of anti-vaxxers on the online social network Twitter. For this, we collected COVID-19 related tweets from February 2020 to June 2021 to analyse vaccination stance, linguistic features, and social network characteristics. Our results demonstrated that, compared to pro-vaxxers, anti-vaxxers tend to have more negative emotions, narrative thinking, and worse moral tendencies. This study can advance our understanding of the online anti-vaccination movement, and become critical for social media management and policy action during and after the pandemic.


title: Cryptanalysis of the Privacy-Preserving Ride-Hailing Service TRACE

abstract: In a typical ride-hailing service, the service provider (RS) matches a customer (RC) with the closest vehicle (RV) registered to this service. TRACE is an efficient privacy-preserving ride-hailing service proposed by Wang et al. in 2018. TRACE uses masking along with other cryptographic techniques to ensure efficient and accurate ride-matching. The RS uses masked location information to match RCs and RVs within a quadrant without obtaining their exact locations, thus ensuring privacy. In this work, we disprove the privacy claims in TRACE by showing the following: a) RCs and RVs can identify the secret spatial division maintained by RS (this reveals information about the density of RVs in the region and other potential trade secrets), and b) the RS can identify exact locations of RCs and RVs (this violates location privacy). Prior to exchanging encrypted messages in the TRACE protocol, each entity masks the plaintext message with a secret unknown to others. Our attack allows other entities to recover this plaintext from the masked value by exploiting shared randomness used across different messages, that eventually leads to a system of linear equations in the unknown plaintexts. This holds even when all the participating entities are honest-but-curious. We implement our attack and demonstrate its efficiency and high success rate. For the security parameters recommended for TRACE, an RV can recover the spatial division in less than a minute, and the RS can recover the location of an RV in less than a second on a commodity laptop.


title: On the distance eigenvalues of design graphs

abstract: A design graph is a regular bipartite graph in which any two distinct vertices of the same part have the same number of common neighbors. This class of graphs have a close relationship to strongly regular graphs. In this paper, we study the distance eigenvalues of the design graphs. Also, we will explicitly determine the distance eigenvalues of a class of design graphs, and determine the values for which the class is distance integral, that is, its distance eigenvalues are integers.


title: Determination of source and initial values for acoustic equations with a time-fractional attenuation

abstract: We consider the inverse problem of determining the initial states or the source term of a hyperbolic equation damped by some non-local time-fractional derivative. This framework is relevant to medical imaging such as thermoacoustic or photoacoustic tomography. We prove a stability estimate for each of these two problems, with the aid of a Carleman estimate specifically designed for the governing equation.


title: A Survey of NLP-Related Crowdsourcing HITs: what works and what does not

abstract: Crowdsourcing requesters on Amazon Mechanical Turk (AMT) have raised questions about the reliability of the workers. The AMT workforce is very diverse and it is not possible to make blanket assumptions about them as a group. Some requesters now reject work en mass when they do not get the results they expect. This has the effect of giving each worker (good or bad) a lower Human Intelligence Task (HIT) approval score, which is unfair to the good workers. It also has the effect of giving the requester a bad reputation on the workers' forums. Some of the issues causing the mass rejections stem from the requesters not taking the time to create a well-formed task with complete instructions and/or not paying a fair wage. To explore this assumption, this paper describes a study that looks at the crowdsourcing HITs on AMT that were available over a given span of time and records information about those HITs. This study also records information from a crowdsourcing forum on the worker perspective on both those HITs and on their corresponding requesters. Results reveal issues in worker payment and presentation issues such as missing instructions or HITs that are not doable.


title: Simultaneous recoveries for semilinear parabolic systems

abstract: In this paper, we study inverse boundary problems associated with semilinear parabolic systems in several scenarios where both the nonlinearities and the initial data can be unknown. We establish several simultaneous recovery results showing that the passive or active boundary Dirichlet-to-Neumann operators can uniquely recover both of the unknowns, even stably in a certain case. It turns out that the nonlinearities play a critical role in deriving these recovery results. If the nonlinear term belongs to a general $C^1$ class but fulfilling a certain growth condition, the recovery results are established by the control approach via Carleman estimates. If the nonlinear term belongs to an analytic class, the recovery results are established through successive linearization in combination with special CGO (Complex Geometrical Optics) solutions for the parabolic system.


title: Bounding Treatment Effects by Pooling Limited Information across Observations

abstract: We provide novel bounds on average treatment effects (on the treated) that are valid under an unconfoundedness assumption. Our bounds are designed to be robust in challenging situations, for example, when the conditioning variables take on a large number of different values in the observed sample, or when the overlap condition is violated. This robustness is achieved by only using limited "pooling" of information across observations. Namely, the bounds are constructed as sample averages over functions of the observed outcomes such that the contribution of each outcome only depends on the treatment status of a limited number of observations. No information pooling across observations leads to so-called "Manski bounds", while unlimited information pooling leads to standard inverse propensity score weighting. We explore the intermediate range between these two extremes and provide corresponding inference methods. We show in Monte Carlo experiments and through an empirical application that our bounds are indeed robust and informative in practice.


title: Solvent Effects on the Menshutkin Reaction

abstract: The Menshutkin reaction is a methyl transfer reaction relevant in fields ranging from biochemistry to chemical synthesis. In the present work, energetics and solvent distributions for NH$_{3}$+MeCl and Pyr+MeBr reactions were investigated in the gas-phase, in water, methanol, acetonitrile, benzene, and in cyclohexane by means of reactive molecular dynamics simulations. For polar solvents (water, methanol, and acetonitrile) and benzene, strong to moderate catalytic effect for both reactions is found whereas apolar and bulky cyclohexane interacts weakly with the solute and does not show pronounced barrier reduction. Calculated barrier heights for the Pyr+MeBr reaction in acetonitrile and cyclohexane are 23.2 and 28.1 kcal/mol compared with experimentally measured barriers of 22.5 and 27.6 kcal/mol, respectively. The 2-dimensional solvent distributions change considerably between reactant and TS but comparatively little between TS and product conformations of the solute. The simulations also suggest that as the system approaches the transition state, correlated solvent motions that destabilize the solvent-solvent interactions are required to surmount the barrier. Finally, the average solvent-solvent interaction energies in the reactant, TS, and product state geometries are correlated with changes in the solvent structure around the solute.


title: Multiqubit entanglement and quantum phase gates with epsilon-near-zero plasmonic waveguides

abstract: Multiqubit entanglement is extremely important to perform truly secure quantum optical communication and computing operations. However, the efficient generation of long-range entanglement over extended time periods between multiple qubits randomly distributed in a photonic system remains an outstanding challenge. This constraint is mainly due to the detrimental effects of decoherence and dephasing. To alleviate this issue, we present engineered epsilon-near-zero (ENZ) nanostructures that can maximize the coherence of light-matter interactions at room temperature. We investigate a practical ENZ plasmonic waveguide system which simultaneously achieves multiqubit entanglement in elongated distances, extended time periods, and, even more importantly, independent of the emitters positions. More specifically, we present efficient transient entanglement between three and four optical qubits mediated by ENZ with results that can be easily generalized to an arbitrary number of emitters. The entanglement between multiple qubits is characterized by computing the negativity metric applied for the first time to the proposed nanophotonic ENZ configuration. The ENZ response is found to be substantially advantageous to boost the coherence between multiple emitters compared to alternative plasmonic waveguide schemes. Finally, the superradiance collective emission response at the ENZ resonance is utilized to design a new high fidelity two-qubit quantum phase gate that can be used in various emerging quantum computing applications.


title: Absence of decoherence in the electron-wall system

abstract: Decoherence is associated with a dissipative environment as described by the Caldeira-Leggett equation. Anglin and Zurek predicted that a resistive surface could act as such a dissipative environment for a free electron wave passing close to it. We scrutinize Zurek's and other promising decoherence theoretical models by observing electrons passing by an optically excited GaAs surface and through a gold channel. The high resistivity of the GaAs surface and close proximity to the gold surface leads to strong decoherence within these decoherence models. In contradistinction, the observed contrast is high in our electron diffraction patterns. This implies lower decoherence rates than suggested by these models, making electron-matter-wave-guides and other technologies, where quantum coherence of electrons close to materials is important, a possibility


title: Turbulent cascades for a family of damped Szeg\"o equations

abstract: In this paper, we study the transfer of energy from low to high frequencies for a family of damped Szeg\"o equations. The cubic Szeg\"o equation has been introduced as a toy model for a totally non-dispersive degenerate Hamiltonian equation. It is a completely integrable system which develops growth of high Sobolev norms, detecting transfer of energy and hence cascades phenomena. Here, we consider a two-parameter family of variants of the cubic Szeg\"o equation and prove that adding a damping term unexpectedly promotes the existence of turbulent cascades. Furthermore, we give a panorama of the dynamics for such equations on a six-dimensional submanifold.


title: Exploring the effect of hadron cascade-time on particle production in Xe+Xe collisions at $\sqrt{s_{\rm{NN}}}$ = 5.44 TeV through a multi-phase transport model

abstract: Heavy-ion collisions at ultra-relativistic energies provide extreme conditions of energy density and temperature to produce a deconfined state of quarks and gluons. Xenon (Xe) being a deformed nucleus further gives access to the effect of initial geometry on final state particle production. This study focuses on the effect of nuclear deformation and hadron cascade-time on the particle production and elliptic flow using A Multi-Phase Transport (AMPT) model in Xe+Xe collisions at $\sqrt{s_{\rm NN}}$ = 5.44 TeV. We explore the effect of hadronic cascade-time on identified particle production through the study of $p_{\rm T}$-differential particle ratios. The effect of hadronic cascade-time on the generation of elliptic flow is studied by varying the cascade-time between 5 and 25 fm/$c$. This study shows the final state interactions among particles generate additional anisotropic flow with increasing hadron cascade-time, especially at very low and high-$p_{\rm T}$.


title: Breaking Good: Fracture Modes for Realtime Destruction

abstract: Drawing a direct analogy with the well-studied vibration or elastic modes, we introduce an object's fracture modes, which constitute its preferred or most natural ways of breaking. We formulate a sparsified eigenvalue problem, which we solve iteratively to obtain the n lowest-energy modes. These can be precomputed for a given shape to obtain a prefracture pattern that can substitute the state of the art for realtime applications at no runtime cost but significantly greater realism. Furthermore, any realtime impact can be projected onto our modes to obtain impact-dependent fracture patterns without the need for any online crack propagation simulation. We not only introduce this theoretically novel concept, but also show its fundamental and practical superiority in a diverse set of examples and contexts.


title: Ultrafast relaxation of acoustic and optical phonons in a topological nodal-line semimetal ZrSiS

abstract: Despite being the most studied nodal line semimetal, a clear understanding of the transient state relaxation dynamics and the underlying mechanism in ZrSiS is lacking. Using time and angle resolved photoemission spectroscopy, we study the ultrafast relaxation dynamics in ZrSiS and reveal a unique relaxation in the bulk nodal-line state which is well captured by a simple model based on optical and acoustic phonon cooling. We find linear decay processes for both optical and acoustic phonon relaxations with acoustic cooling suppressed at high temperatures. Our results reveal different decay mechanisms for the bulk and surface states and pave a way to understand the mechanism of conduction in this material.


title: Learning Perceptual Concepts by Bootstrapping from Human Queries

abstract: When robots operate in human environments, it's critical that humans can quickly teach them new concepts: object-centric properties of the environment that they care about (e.g. objects near, upright, etc). However, teaching a new perceptual concept from high-dimensional robot sensor data (e.g. point clouds) is demanding, requiring an unrealistic amount of human labels. To address this, we propose a framework called Perceptual Concept Bootstrapping (PCB). First, we leverage the inherently lower-dimensional privileged information, e.g., object poses and bounding boxes, available from a simulator only at training time to rapidly learn a low-dimensional, geometric concept from minimal human input. Second, we treat this low-dimensional concept as an automatic labeler to synthesize a large-scale high-dimensional data set with the simulator. With these two key ideas, PCB alleviates human label burden while still learning perceptual concepts that work with real sensor input where no privileged information is available. We evaluate PCB for learning spatial concepts that describe object state or multi-object relationships, and show it achieves superior performance compared to baseline methods. We also demonstrate the utility of the learned concepts in motion planning tasks on a 7-DoF Franka Panda robot.


title: Chlorine-free electrochemical disinfection using graphene sponge electrodes

abstract: Graphene sponge electrodes were employed for chlorine-free inactivation of Escherichia coli from low conductivity water. The nitrogen-doped reduced graphene oxide (NRGO) sponge anode bearing more positive charge achieved complete E. coli inactivation (i.e., 5 log removal) in the anode-cathode configuration at 115 A m-2, versus 2.6 log removal using boron-doped reduced graphene oxide sponge anode. The bacteria were mainly inactivated via electrosorption and electroporation, as confirmed by the scanning electron microscopy. Storage of the electrochemically treated samples revealed further killing of the bacteria due to the damaged cell membranes. When using real tap water, 5.5 log E. coli removal required 5.70 kWh m-3, which was drastically lowered to 1.38 kWh m-3 using intermittent current and thus exploiting the capacitive properties of graphene. The developed graphene sponge anode does not form any chlorine, chlorate, or perchlorate, and holds great promise for efficient electro-disinfection without forming toxic disinfection byproducts.


title: Reaction extent or advancement of the reaction: A new general definition

abstract: The concept of reaction extent (the progress of a reaction, advancement of the reaction, conversion, etc.) was introduced around 100 years ago. Most of the literature provides a definition for the exceptional case of a single reaction step or gives an implicit definition that cannot be made explicit. There are views that the reaction extent somehow has to tend to 1 when the reaction goes to completion as time tends to infinity. However, there is no agreement on which function should tend to 1. Starting from the standard definition by IUPAC and following the classical works by De Donder, Aris, and Croce we extend the classic definition of the reaction extent for an arbitrary number of species and reaction steps. The new general, explicit definition is also valid for non-mass action kinetics. We also studied the mathematical properties (evolution equation, continuity, monotony, differentiability, etc.) of the defined quantity, connecting them to the formalism of modern reaction kinetics. Our approach tries to adhere to the customs of chemists and be mathematically correct simultaneously. To make the exposition easy to understand, we use simple chemical examples and many figures, throughout. We also show how to apply this concept to exotic reactions: reactions with more than one stationary state, oscillatory reactions, and reactions showing chaotic behavior. The main advantage of the new definition of reaction extent is that by knowing the kinetic model of a reacting system one can now calculate not only the time evolution of the concentration of each reacting species but also the number of occurrences of the individual reaction events.


title: Can we make sense of dissipation without causality?

abstract: Relativity opens the door to a counter-intuitive fact: a state can be stable to perturbations in one frame of reference, and unstable in another one. For this reason, the job of testing the stability of states that are not Lorentz-invariant can be very cumbersome. We show that two observers can disagree on whether a state is stable or unstable only if the perturbations can exit the light-cone. Furthermore, we show that, if a perturbation exits the light-cone, and its intensity changes with time, due to dissipation, then there are always two observers that disagree on the stability of the state. Hence, ''stability'' is a Lorentz-invariant property of dissipative theories if and only if the principle of causality is respected. We present 14 applications to physical problems from all areas of relativistic physics, ranging from theory to simulation.


title: RTLola on Board: Testing Real Driving Emissions on your Phone

abstract: This paper is about shipping runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild. Concretely, we present an Android app that deploys RTLola runtime monitors for the purpose of diagnosing automotive exhaust emissions. For this, it harvests the availability of cheap bluetooth adapters to the On-Board-Diagnostics (OBD) ports, which are ubiquitous in cars nowadays. We detail its use in the context of Real Driving Emissions (RDE) tests and report on sample runs that helped identify violations of the regulatory framework currently valid in the European Union.


title: Fekete polynomials, quadratic residues, and arithmetic

abstract: Fekete polynomials associate with each prime number $p$ a polynomial with coefficients $-1$ or $1$ except the constant term, which is 0. These coefficients reflect the distribution of quadratic residues modulo $p$. These polynomials were first considered in the 19th century in relation to the studies of Dirichlet $L$-functions. In our paper, we introduce two closely related polynomials. We then express their special values at several integers in terms of certain class numbers and generalized Bernoulli numbers. Additionally, we study the splitting fields and the Galois group of these polynomials. In particular, we propose a conjecture on the structure of these Galois groups.


title: Logarithmic Regret from Sublinear Hints

abstract: We consider the online linear optimization problem, where at every step the algorithm plays a point $x_t$ in the unit ball, and suffers loss $\langle c_t, x_t\rangle$ for some cost vector $c_t$ that is then revealed to the algorithm. Recent work showed that if an algorithm receives a hint $h_t$ that has non-trivial correlation with $c_t$ before it plays $x_t$, then it can achieve a regret guarantee of $O(\log T)$, improving on the bound of $\Theta(\sqrt{T})$ in the standard setting. In this work, we study the question of whether an algorithm really requires a hint at every time step. Somewhat surprisingly, we show that an algorithm can obtain $O(\log T)$ regret with just $O(\sqrt{T})$ hints under a natural query model; in contrast, we also show that $o(\sqrt{T})$ hints cannot guarantee better than $\Omega(\sqrt{T})$ regret. We give two applications of our result, to the well-studied setting of optimistic regret bounds and to the problem of online learning with abstention.