title: Parallel tempering as a mechanism for facilitating inference in hierarchical hidden Markov models

abstract: The study of animal behavioural states inferred through hidden Markov models and similar state switching models has seen a significant increase in popularity in recent years. The ability to account for varying levels of behavioural scale has become possible through hierarchical hidden Markov models, but additional levels lead to higher complexity and increased correlation between model components. Maximum likelihood approaches to inference using the EM algorithm and direct optimisation of likelihoods are more frequently used, with Bayesian approaches being less favoured due to computational demands. Given these demands, it is vital that efficient estimation algorithms are developed when Bayesian methods are preferred. We study the use of various approaches to improve convergence times and mixing in Markov chain Monte Carlo methods applied to hierarchical hidden Markov models, including parallel tempering as an inference facilitation mechanism. The method shows promise for analysing complex stochastic models with high levels of correlation between components, but our results show that it requires careful tuning in order to maximise that potential.


title: Jammed disks of two sizes in a narrow channel

abstract: A granular-matter model is exactly solved, where disks of two sizes and weights in alternating sequence are confined to a narrow channel. The axis of the channel is horizontal and its plane vertical. Disk sizes and channel width are such that under jamming no disks remain loose and all disks touch one wall. Jammed microstates are characterized via statistically interacting particles constructed out of two-disk tiles. Jammed macrostates depend on measures of expansion work, gravitational potential energy, and intensity of random agitations before jamming. The dependence of configurational entropy on excess volume exhibits a critical point.


title: Screening for breakthroughs

abstract: We identify a new dynamic agency problem: that of incentivising the prompt disclosure of productive information. To study it, we introduce a general model in which a technological breakthrough occurs at an uncertain time and is privately observed by an agent, and a principal must incentivise disclosure via her control of a payoff-relevant physical allocation. We uncover a deadline structure of optimal mechanisms: they have a simple deadline form in an important special case, and a graduated deadline structure in general. We apply our results to the design of unemployment insurance schemes.


title: New non-perturbative de Sitter vacua in $\alpha'$-complete cosmology

abstract: The $\alpha'$-complete cosmology developed by Hohm and Zwiebach classifies the ${\rm O}(d,d;{\mathbb R})$ invariant theories involving metric, $b$-field and dilaton that only depend on time, to all orders in $\alpha'$. Some of these theories feature non-perturbative isotropic de Sitter vacua in the string frame, generated by the infinite number of higher-derivatives of ${\rm O}(d,d;{\mathbb R})$ multiplets. Extending the isotropic ansatz, we construct stable and unstable non-perturbative de Sitter solutions in the string and Einstein frames. The generalized equations of motion admit new solutions, including anisotropic $d+1$-dimensional metrics and non-vanishing $b$-field. In particular, we find dS$_{n+1}\times T^{d-n}$ geometries with constant dilaton, and also metrics with bounded scale factors in the spatial dimensions with non-trivial $b$-field. We discuss the stability and non-perturbative character of the solutions, as well as possible applications.


title: On the H\"older regularity of a linear stochastic partial-integro-differential equation with memory

abstract: In light of recent work on particles fluctuating in linear viscoelastic fluids, we study a linear stochastic partial-integro-differential equation with memory that is driven by a stationary noise on a bounded, smooth domain. Using the framework of generalized stationary solutions introduced in~\cite{mckinley2018anomalous}, we provide sufficient conditions on the differential operator and the noise to obtain the existence as well as H\"older regularity of the stationary solutions for the concerned equation. As an application of the regularity results, we compare to analogous classical results for the stochastic heat equation. When the 1d stochastic heat equation is driven by white noise, solutions are continuous with space and time regularity that is H\"older $(1/2-\ep)$ and $(1/4-\ep)$ respectively. When driven by colored-in-space noise, solutions can have a range of regularity properties depending on the structure of the noise. Here, we show that the particular form of colored-in-time memory that arises in viscoelastic diffusion applications, satisfying what is called the Fluctuation--Dissipation relationship, yields sample paths that are H\"older $(1/2-\ep)$ and $(1/2-\ep)$ in space and time.


title: Pole-skipping and zero temperature

abstract: We study the pole-skipping phenomenon of the scalar retarded Green's function in the rotating BTZ black hole background. In the static case, the pole-skipping points are typically located at negative imaginary Matsubara frequencies $\omega=-(2\pi T)ni$ with appropriate values of complex wave number $q$. But, in a $(1+1)$-dimensional CFT, one can introduce temperatures for left-moving and right-moving sectors independently. As a result, the pole-skipping points $\omega$ depend both on left and right temperatures in the rotating background. In the extreme limit, the pole-skipping does not occur in general. But in a special case, the pole-skipping does occur even in the extreme limit, and the pole-skipping points are given by right Matsubara frequencies.


title: Logically Consistent Loss for Visual Question Answering

abstract: Given an image, a back-ground knowledge, and a set of questions about an object, human learners answer the questions very consistently regardless of question forms and semantic tasks. The current advancement in neural-network based Visual Question Answering (VQA), despite their impressive performance, cannot ensure such consistency due to identically distribution (i.i.d.) assumption. We propose a new model-agnostic logic constraint to tackle this issue by formulating a logically consistent loss in the multi-task learning framework as well as a data organisation called family-batch and hybrid-batch. To demonstrate usefulness of this proposal, we train and evaluate MAC-net based VQA machines with and without the proposed logically consistent loss and the proposed data organization. The experiments confirm that the proposed loss formulae and introduction of hybrid-batch leads to more consistency as well as better performance. Though the proposed approach is tested with MAC-net, it can be utilised in any other QA methods whenever the logical consistency between answers exist.


title: Locally-Aware Constrained Games on Networks

abstract: Network games have been instrumental in understanding strategic behaviors over networks for applications such as critical infrastructure networks, social networks, and cyber-physical systems. One critical challenge of network games is that the behaviors of the players are constrained by the underlying physical laws or safety rules, and the players may not have complete knowledge of network-wide constraints. To this end, this paper proposes a game framework to study constrained games on networks, where the players are locally aware of the constraints. We use \textit{awareness levels} to capture the scope of the network constraints that players are aware of. We first define and show the existence of generalized Nash equilibria (GNE) of the game, and point out that higher awareness levels of the players would lead to a larger set of GNE solutions. We use necessary and sufficient conditions to characterize the GNE, and propose the concept of the dual game to show that one can convert a locally-aware constrained game into a two-layer unconstrained game problem. We use linear quadratic games as case studies to corroborate the analytical results, and in particular, show the duality between Bertrand games and Cournot games.%, where each layer comprises an unconstrained game.


title: Electric field effects on the band gap and edge states of monolayer 1T'-WTe2

abstract: Monolayer 1T'-WTe2 is a quantum spin Hall insulator with a gapped bulk and gapless helical edge states persisting to temperatures around 100 K. Recent studies have revealed a topological-to-trivial phase transition as well the emergence of an unconventional, potentially topological superconducting state upon tuning the carrier concentration with gating. However, despite extensive studies, the effects of gating on the band structure and the helical edge states have not yet been established. In this work we present a combined low-temperature STM and first principles study of back-gated monolayer 1T'-WTe2 films grown on graphene. Consistent with a quantum spin Hall system, the films show well-defined bulk gaps and clear edge states that span the gap. By directly measuring the density of states with STM spectroscopy, we show that the bulk band gap magnitude shows substantial changes with applied gate voltage, which is contrary to the na\"ive expectation that a gate would rigidly shift the bands relative to the Fermi level. To explain our data, we carry out density functional theory and model Hamiltonian calculations which show that a gate electric field causes doping and inversion symmetry breaking which polarizes and spin-splits the bulk bands. Interestingly, the calculated spin splitting from the effective Rashba-like spin-orbit coupling can be in the tens of meV for the electric fields in the experiment, which may be useful for spintronics applications. Our work reveals the strong effect of electric fields on the bulk band structure of monolayer 1T'-WTe2, which will play a critical role in our understanding of gate-induced phenomena in this system.


title: Compartment model-based nonlinear unmixing for kinetic analysis of dynamic PET images

abstract: When no arterial input function is available, quantification of dynamic PET images requires a previous step devoted to the extraction of a reference time-activity curve (TAC). Factor analysis is often applied for this purpose. This paper introduces a novel approach that conducts a new kind of nonlinear factor analysis relying on a compartment model, and computes the kinetic parameters of specific binding tissues jointly. To this end, it capitalizes on data-driven parametric imaging methods to provide a physical description of the underlying PET data, directly relating the specific binding with the kinetics of the non-specific binding in the corresponding tissues. This characterization is introduced into the factor analysis formulation to yield a novel nonlinear unmixing model designed for PET image analysis. This model also explicitly introduces global kinetic parameters that allow for a direct estimation of the binding potential with respect to the free fractions in each non-specific binding tissue. The performance of the method is evaluated on synthetic and real data to demonstrate its potential interest.


title: The Fundamental Principles of Reproducibility

abstract: Reproducibility is a confused terminology. In this paper, I take a fundamental view on reproducibility rooted in the scientific method. The scientific method is analysed and characterised in order to develop the terminology required to define reproducibility. Further, the literature on reproducibility and replication is surveyed, and experiments are modeled as tasks and problem solving methods. Machine learning is used to exemplify the described approach. Based on the analysis, reproducibility is defined and three different types of reproducibility as well as four degrees of reproducibility are specified.


title: Bilinear forms and hermitian forms for singularities: a survey

abstract: The paper collects different approaches and viewpoints on bilinear forms and hermitian forms around isolated hypersurface singularities. It gives the relations between them in precise formulas. It does not contain new results.


title: Efficient Consensus Model based on Proximal Gradient Method applied to Convolutional Sparse Problems

abstract: Convolutional sparse representation (CSR), shift-invariant model for inverse problems, has gained much attention in the fields of signal/image processing, machine learning and computer vision. The most challenging problems in CSR implies the minimization of a composite function of the form $min_x \sum_i f_i(x) + g(x)$, where a direct and low-cost solution can be difficult to achieve. However, it has been reported that semi-distributed formulations such as ADMM consensus can provide important computational benefits. In the present work, we derive and detail a thorough theoretical analysis of an efficient consensus algorithm based on proximal gradient (PG) approach. The effectiveness of the proposed algorithm with respect to its ADMM counterpart is primarily assessed in the classic convolutional dictionary learning problem. Furthermore, our consensus method, which is generically structured, can be used to solve other optimization problems, where a sum of convex functions with a regularization term share a single global variable. As an example, the proposed algorithm is also applied to another particular convolutional problem for the anomaly detection task.


title: Affine Pricing and Hedging of Collateralized Debt Obligations

abstract: This study deals with the pricing and hedging of single-tranche collateralized debt obligations (STCDOs). We specify an affine two-factor model in which a catastrophic risk component is incorporated. Apart from being analytically tractable, this model has the feature that it captures the dynamics of super-senior tranches, thanks to the catastrophic component. We estimate the factor model based on the iTraxx Europe data with six tranches and four different maturities, using a quasi-maximum likelihood (QML) approach in conjunction with the Kalman filter. We derive the model-based variance-minimizing strategy for the hedging of STCDOs with a dynamically rebalanced portfolio on the underlying swap index. We analyze the actual performance of the variance-minimizing hedge on the iTraxx Europe data. In order to assess the hedging performance further, we run a simulation analysis where normal and extreme loss scenarios are generated via the method of importance sampling. Both in-sample hedging and simulation analysis suggest that the variance-minimizing strategy is most effective for mezzanine tranches in terms of yielding less riskier hedging portfolios and it fails to provide adequate hedge performance regarding equity tranches.


title: The algebra of anomaly interplay

abstract: We give a general description of the interplay that can occur between local and global anomalies, in terms of (co)bordism. Mathematically, such an interplay is encoded in the non-canonical splitting of short exact sequences known to classify invertible field theories. We study various examples of the phenomenon in 2, 4, and 6 dimensions. We also describe how this understanding of anomaly interplay provides a rigorous bordism-based version of an old method for calculating global anomalies (starting from local anomalies in a related theory) due to Elitzur and Nair.


title: On curves with high multiplicity on $\mathbb{P}(a,b,c)$ for $\min(a,b,c)\leq4$

abstract: On a weighted projective surface $\mathbb{P}(a,b,c)$ with $\min(a,b,c)\leq 4$, we compute lower bounds for the {\em effective threshold} of an ample divisor, in other words, the highest multiplicity a section of the divisor can have at a specified point. We expect that these bounds are close to being sharp. This translates into finding divisor classes on the blowup of $\mathbb{P}(a,b,c)$ that generate a cone contained in, and probably close to, the effective cone.


title: Finite-size scaling analysis of localization transitions in the disordered two-dimensional Bose-Hubbard model within the fluctuation operator expansion method

abstract: The disordered Bose-Hubbard model in two dimensions at non-integer filling admits a superfluid to Bose-glass transition at weak disorder. Less understood are the properties of this system at strong disorder and energy densities corresponding to excited states. In this work we study the Bose-glass transition of the ground state and the related finite energy localization transition, the mobility edge of the quasiparticle spectrum, a critical energy separating extended from localized quasiparticle excitations. To study these the fluctuation operator expansion is used. The level spacing statistics of the quasiparticle excitations, the fractal dimension and decay of the corresponding wave functions are consistent with a many-body mobility edge. The finite-size scaling of the lowest gaps yields a correction to the mean-field prediction of the superfluid to Bose-glass transition. In its vicinity we discuss spectral properties of the ground state in terms of the dynamic structure factor and the spectral function which also shows distinct behavior above and below the mobility edge.


title: An analogue of a theorem of Steinitz for ball polyhedra in $\mathbb{R}^3$

abstract: Steinitz's theorem states that a graph $G$ is the edge-graph of a $3$-dimensional convex polyhedron if and only if, $G$ is simple, plane and $3$-connected. We prove an analogue of this theorem for ball polyhedra, that is, for intersections of finitely many unit balls in $\mathbb{R}^3$.


title: Sentiment Classification in Bangla Textual Content: A Comparative Study

abstract: Sentiment analysis has been widely used to understand our views on social and political agendas or user experiences over a product. It is one of the cores and well-researched areas in NLP. However, for low-resource languages, like Bangla, one of the prominent challenge is the lack of resources. Another important limitation, in the current literature for Bangla, is the absence of comparable results due to the lack of a well-defined train/test split. In this study, we explore several publicly available sentiment labeled datasets and designed classifiers using both classical and deep learning algorithms. In our study, the classical algorithms include SVM and Random Forest, and deep learning algorithms include CNN, FastText, and transformer-based models. We compare these models in terms of model performance and time-resource complexity. Our finding suggests transformer-based models, which have not been explored earlier for Bangla, outperform all other models. Furthermore, we created a weighted list of lexicon content based on the valence score per class. We then analyzed the content for high significance entries per class, in the datasets. For reproducibility, we make publicly available data splits and the ranked lexicon list. The presented results can be used for future studies as a benchmark.


title: Multi-time correlations in the positive-P, Q, and doubled phase-space representations

abstract: A number of physically intuitive results for the calculation of multi-time correlations in phase-space representations of quantum mechanics are obtained. They relate time-dependent stochastic samples to multi-time observables, and rely on the presence of derivative-free operator identities. In particular, expressions for time-ordered normal-ordered observables in the positive-P distribution are derived which replace Heisenberg operators with the bare time-dependent stochastic variables, confirming extension of earlier such results for the Glauber-Sudarshan P. Analogous expressions are found for the anti-normal-ordered case of the doubled phase-space Q representation, along with conversion rules among doubled phase-space s-ordered representations. The latter are then shown to be readily exploited to further calculate anti-normal and mixed-ordered multi-time observables in the positive-P, Wigner, and doubled-Wigner representations. Which mixed-order observables are amenable and which are not is indicated, and explicit tallies are given up to 4th order. Overall, the theory of quantum multi-time observables in phase-space representations is extended, allowing non-perturbative treatment of many cases. The accuracy, usability, and scalability of the results to large systems is demonstrated using stochastic simulations of the unconventional photon blockade system and a related Bose-Hubbard chain. In addition, a robust but simple algorithm for integration of stochastic equations for phase-space samples is provided.


title: Precise nanoscale temperature mapping in operational microelectronic devices by use of a phase change material

abstract: The microelectronics industry is pushing the fundamental limit on the physical size of individual elements to produce faster and more powerful integrated chips. These chips have nanoscale features that dissipate power resulting in nanoscale hotspots leading to device failures. To understand the reliability impact of the hotspots, the device needs to be tested under the actual operating conditions. Therefore, the development of high-resolution thermometry techniques is required to understand the heat dissipation processes during the device operation. Recently, several thermometry techniques have been proposed,such as radiation thermometry, thermocouple based contact thermometry, scanning thermal microscopy (SThM), scanning transmission electron microscopy (STEM) and transition based threshold thermometers. However, most of these techniques have limitations including the need for extensive calibration, perturbation of the actual device temperature, low throughput, and the use of ultra-high vacuum. Here, we present a facile technique, which uses a thin film contact thermometer based on the phase change material Ge2Sb2Te5, to precisely map thermal contours from the nanoscale to the microscale. Ge2Sb2Te5 undergoes a crystalline transition at Tg with large changes in its electric conductivity, optical reflectivity and density. Using this approach, we map the surface temperature of a nanowire and an embedded micro-heater on the same chip where the scales of the temperature contours differ by three orders of magnitude. The spatial resolution can be as high as 20 nanometers thanks to the continuous nature of the thin film.


title: Identification of NARX Models for Compensation Design

abstract: This report presents the modeling results for three systems, two numerical and one experimental. In the numerical examples, we use mathematical models previously obtained in the literature as the systems to be identified. The first numerical example is a heating system with a polynomial nonlinearity that is described by a Hammerstein model. The second is a Bouc-Wen model that represents the hysteretic behavior in a piezoelectric actuator. Finally, the experimental example is a pneumatic valve that presents a variety of nonlinearities, including hysteresis. For each example, a Nonlinear AutoRegressive model with eXogenous inputs (NARX) is identified using two well-established techniques together, the Error Reduction Ratio (ERR) method to hierarchically select the regressors and the Akaike's Information Criterion (AIC) to truncate the number of terms. Using both approaches, the structure selection is achieved. The design of the excitation input is based on preserving the frequencies of interest and force the system to achieve different points of operation. Hence, having the structure previously selected with ERR and AIC, we use the Extended Least Squares (ELS) algorithm to estimate the parameters. The results show that it is possible to identify the referred systems with no more than five terms. These identified models will be used for nonlinearity compensation in future works.


title: Singular minimal surfaces which are minimal

abstract: In the present paper, we discuss the singular minimal surfaces in a Euclidean 3-space R^{3} which are minimal. In fact, such a surface is nothing but a plane, a trivial outcome. However, a non-trivial outcome is obtained when we modify the usual condition of singular minimality by using a special semi-symmetric metric connection instead of the Levi-Civita connection on R^{3}. With this new connection, we prove that, besides planes, the singular minimal surfaces which are minimal are the generalized cylinders, providing their explicit equations. A trivial outcome is observed when we use a special semi-symmetric non-metric connection. Furthermore, our discussion is adapted to the Lorentz-Minkowski 3-space.


title: Online Multi-Object Tracking with delta-GLMB Filter based on Occlusion and Identity Switch Handling

abstract: In this paper, we propose an online multi-object tracking (MOT) method in a delta Generalized Labeled Multi-Bernoulli (delta-GLMB) filter framework to address occlusion and miss-detection issues, reduce false alarms, and recover identity switch (ID switch). To handle occlusion and miss-detection issues, we propose a measurement-to-disappeared track association method based on one-step delta-GLMB filter, so it is possible to manage these difficulties by jointly processing occluded or miss-detected objects. This part of proposed method is based on a proposed similarity metric which is responsible for defining the weight of hypothesized reappeared tracks. We also extend the delta-GLMB filter to efficiently recover switched IDs using the cardinality density, size and color features of the hypothesized tracks. We also propose a novel birth model to achieve more effective clutter removal performance. In both occlusion/miss-detection handler and newly-birthed object detector sections of the proposed method, unassigned measurements play a significant role, since they are used as the candidates for reappeared or birth objects. In addition, we perform an ablation study which confirms the effectiveness of our contributions in comparison with the baseline method. We evaluate the proposed method on well-known and publicly available MOT15 and MOT17 test datasets which are focused on pedestrian tracking. Experimental results show that the proposed tracker performs better or at least at the same level of the state-of-the-art online and offline MOT methods. It effectively handles the occlusion and ID switch issues and reduces false alarms as well.


title: Multi-probe study of excited states in $\mathrm{^{12}C}$: disentangling the sources of monopole strength between the Hoyle state and $E_{x} = 13$ MeV

abstract: Knowledge of the low-lying monopole strength in $\mathrm{^{12}C}$, the Hoyle state in particular, is crucial for our understanding of both the astrophysically important $3\alpha$ reaction and of $\alpha$-particle clustering. The $\mathrm{^{12}C}(\alpha, \alpha^{\prime})\mathrm{^{12}C}$ and $\mathrm{^{14}C}(p, t)\mathrm{^{12}C}$ reactions were employed to populate states in $^{12}$C. A self-consistent, simultaneous analysis of the inclusive spectra with lineshapes was performed, which accounted for distortion due to nuclear dynamics and experimental effects. Clear evidence was found for excess monopole strength at $E_{x} \sim 9$ MeV, particularly in the $\mathrm{^{12}C}(\alpha, \alpha^{\prime})\mathrm{^{12}C}$ reaction at $0^{\circ}$. This additional strength cannot be reproduced by the previously established monopole states between $E_{x} = 7$ and 13 MeV. An additional $0^{+}$ state at $E_{x} \sim 9$ MeV yielded a significantly improved fit of the data and is the leading candidate for the predicted breathing-mode excitation of the Hoyle state. Alternatively, the results may suggest that a more sophisticated, physically motivated parameterization of the astrophysically important monopole strengths in $\mathrm{^{12}C}$ is required.


title: Price Impact on Term Structure

abstract: We introduce a first theory of price impact in presence of an interest-rates term structure. We explain how one can formulate instantaneous and transient price impact on bonds with different maturities, including a cross price impact that is endogenous to the term structure. We connect the introduced impact to classic no-arbitrage theory for interest rate markets, showing that impact can be embedded in the pricing measure and that no-arbitrage can be preserved. We present pricing examples in presence of price impact and numerical examples of how impact changes the shape of the term structure. Finally, to show that our approach is applicable we solve an optimal execution problem in interest rate markets with the type of price impact we developed in the paper.


title: The properties of Polycyclic Aromatic Hydrocarbons in galaxies: constraints on PAH sizes, charge and radiation fields

abstract: Based on theoretical spectra computed using Density Functional Theory we study the properties of Polycyclic Aromatic Hydrocarbons (PAH). In particular using bin-average spectra of PAH molecules with varying number of carbons we investigate how the intensity of the mid-infrared emission bands, 3.3, 6.2, 7.7 and 11.3 microns, respond to changes in the number of carbons, charge of the molecule, and the hardness of the radiation field that impinges the molecule. We confirm that the 6.2/7.7 band ratio is a good predictor for the size of the PAH molecule (based on the number of carbons present). We also investigate the efficacy of the 11.3/3.3 ratio to trace the size of PAH molecules and note the dependence of this ratio on the hardness of the radiation field. While the ratio can potentially also be used to trace PAH molecular size, a better understanding of the impact of the underlying radiation field on the 3.3 microns feature and the effect of the extinction on the ratio should be evaluated. The newly developed diagnostics are compared to band ratios measured in a variety of galaxies observed with the Infrared Spectrograph on board the Spitzer Space Telescope. We demonstrate that the band ratios can be used to probe the conditions of the interstellar medium in galaxies and differentiate between environments encountered in normal star forming galaxies and Active Galactic Nuclei. Our work highlights the immense potential that PAH observations with the James Webb Space Telescope will have on our understanding of the PAH emission itself and of the physical conditions in galaxies near and far.


title: Deep Neural Networks using a Single Neuron: Folded-in-Time Architecture using Feedback-Modulated Delay Loops

abstract: Deep neural networks are among the most widely applied machine learning tools showing outstanding performance in a broad range of tasks. We present a method for folding a deep neural network of arbitrary size into a single neuron with multiple time-delayed feedback loops. This single-neuron deep neural network comprises only a single nonlinearity and appropriately adjusted modulations of the feedback signals. The network states emerge in time as a temporal unfolding of the neuron's dynamics. By adjusting the feedback-modulation within the loops, we adapt the network's connection weights. These connection weights are determined via a back-propagation algorithm, where both the delay-induced and local network connections must be taken into account. Our approach can fully represent standard Deep Neural Networks (DNN), encompasses sparse DNNs, and extends the DNN concept toward dynamical systems implementations. The new method, which we call Folded-in-time DNN (Fit-DNN), exhibits promising performance in a set of benchmark tasks.


title: ON CURVES AND TUBES IN $\mathbb{R}^n$

abstract: In this paper, we present a new explicit formula for the curvatures of a regular curve with an arbitrary parameter in the Euclidean space $\mathbb{R}^n$, $n\geq 2$, expressed only in terms of its derivatives. We introduce also the notion of tube with arbitrary cross sections around a curve for which we calculate the volume and give a generalization for the second theorem of Pappus. The first theorem of Pappus is obtained for sphere tubes in arbitrary dimension.


title: Toward a Next Generation Particle Precipitation Model: Mesoscale Prediction Through Machine Learning (a Case Study and Framework for Progress)

abstract: We advance the modeling capability of electron particle precipitation from the magnetosphere to the ionosphere through a new database and use of machine learning (ML) tools to gain utility from those data. We have compiled, curated, analyzed, and made available a new and more capable database of particle precipitation data that includes 51 satellite years of Defense Meteorological Satellite Program (DMSP) observations temporally aligned with solar wind and geomagnetic activity data. The new total electron energy flux particle precipitation nowcast model, a neural network called PrecipNet, takes advantage of increased expressive power afforded by ML approaches to appropriately utilize diverse information from the solar wind and geomagnetic activity and, importantly, their time histories. With a more capable representation of the organizing parameters and the target electron energy flux observations, PrecipNet achieves a >50% reduction in errors from a current state-of-the-art model oval variation, assessment, tracking, intensity, and online nowcasting (OVATION Prime), better captures the dynamic changes of the auroral flux, and provides evidence that it can capably reconstruct mesoscale phenomena. We create and apply a new framework for space weather model evaluation that culminates previous guidance from across the solar-terrestrial research community. The research approach and results are representative of the "new frontier" of space weather research at the intersection of traditional and data science-driven discovery and provides a foundation for future efforts.


title: Batteries, camera, action! Learning a semantic control space for expressive robot cinematography

abstract: Aerial vehicles are revolutionizing the way film-makers can capture shots of actors by composing novel aerial and dynamic viewpoints. However, despite great advancements in autonomous flight technology, generating expressive camera behaviors is still a challenge and requires non-technical users to edit a large number of unintuitive control parameters. In this work, we develop a data-driven framework that enables editing of these complex camera positioning parameters in a semantic space (e.g. calm, enjoyable, establishing). First, we generate a database of video clips with a diverse range of shots in a photo-realistic simulator, and use hundreds of participants in a crowd-sourcing framework to obtain scores for a set of semantic descriptors for each clip. Next, we analyze correlations between descriptors and build a semantic control space based on cinematography guidelines and human perception studies. Finally, we learn a generative model that can map a set of desired semantic video descriptors into low-level camera trajectory parameters. We evaluate our system by demonstrating that our model successfully generates shots that are rated by participants as having the expected degrees of expression for each descriptor. We also show that our models generalize to different scenes in both simulation and real-world experiments. Data and video found at: https://sites.google.com/view/robotcam.


title: Coherent Spin Precession and Lifetime-Limited Spin Dephasing in CsPbBr3 Perovskite Nanocrystals

abstract: Carrier spins in semiconductor nanocrystals are promising candidates for quantum information processing. Using a combination of time-resolved Faraday rotation and photoluminescence spectroscopies, we demonstrate optical spin polarization and coherent spin precession in colloidal CsPbBr3 nanocrystals that persists up to room temperature. By suppressing the influence of inhomogeneous hyperfine fields with a small applied magnetic field, we demonstrate inhomogeneous hole transverse spin-dephasing times (T2*) that approach the nanocrystal photoluminescence lifetime, such that nearly all emitted photons derive from coherent hole spins. Thermally activated LO phonons drive additional spin dephasing at elevated temperatures, but coherent spin precession is still observed at room temperature. These data reveal several major distinctions between spins in nanocrystalline and bulk CsPbBr3 and open the door for using metal-halide perovskite nanocrystals in spin-based quantum technologies.


title: On the Boundary-Domain Integral Equation Method for the Dirichlet Problem of the Compressible Stokes System with Variable Viscosity

abstract: We derive two systems of boundary-domain integral equations (BDIEs) equivalent to the Dirichlet problem for the compressible Stokes system using the potential method with an explicit parametrix (Levi function). The BDIEs are given in terms of surface and volume hydrodynamic potentials. We study the mapping properties of these integral potential operators and used them to prove existence and uniqueness of solution of the two systems of BDIEs obtained taking into account the non-trivial kernels of the single layer and hypersingular hydrodynamic surface potentials.


title: Oblivious DNS over HTTPS (ODoH): A Practical Privacy Enhancement to DNS

abstract: The Domain Name System (DNS) is the foundation of a human-usable Internet, responding to client queries for host-names with corresponding IP addresses and records. Traditional DNS is also unencrypted, and leaks user information to network operators. Recent efforts to secure DNS using DNS over TLS (DoT) and DNS over HTTPS (DoH) have been gaining traction, ostensibly protecting traffic and hiding content from on-lookers. However, one of the criticisms of DoT and DoH is brought to bear by the small number of large-scale deployments (e.g., Comcast, Google, Cloudflare): DNS resolvers can associate query contents with client identities in the form of IP addresses. Oblivious DNS over HTTPS(ODoH) safeguards against this problem. In this paper we ask what it would take to make ODoH practical? We describe ODoH, a practical DNS protocol aimed at resolving this issue by both protecting the client's content and identity. We implement and deploy the protocol, and perform measurements to show that ODoH has comparable performance to protocols like DoH and DoT which are gaining widespread adoption, while improving client privacy, making ODoH a practical privacy enhancing replacement for the usage of DNS.


title: Phase-coherent heat circulators with normal- or superconducting contacts

abstract: We investigate heat circulators where a phase coherent region is contacted by three leads that are either normal- or superconducting. A magnetic field, and potentially the superconducting phases, allow to control the preferential direction of the heat flow between the three-different temperature-biased contacts. The main goal of this study is to analyze the requirements for heat circulation in non-ideal devices, in particular focusing on sample-to-sample variations. Quite generally, we find that the circulation performance of the devices is good as long as only a few transport channels are involved. We compare the performance of circulators with normalconducting contacts to those with superconducting contacts and find that the circulation coefficient are essentially unchanged.


title: Topological correlations and breaking of fermionic antisymmetry of electrons in FQHE

abstract: Highly nonlocal interparticle correlations in quantum Hall states of 2D charged system exposed to the perpendicular strong magnetic field are detailed by application of the commensurability condition upon path-integral quantization approach and examined by Monte-Carlo Metropolis simulations in perfect consistence with exact diagonalization of the Coulomb interaction in small models and with experimental data. In this way refined filling rate hierarchy in the lowest Landau level fully explains the experimentally collected features for FQHE at filling ratios predicted by the conventional composite fermion model as well as for those beyond the composite fermion model but also visible in the experiment. The trial wave functions for FQHE states are proposed using a systematic topological method revealing the different symmetry for different correlated states depending on filling fraction. A violation of fermionic antisymmetry for 2D electrons is evidenced for some filling rates related to specific correlations in FQHE.


title: The Best of Many Worlds: Dual Mirror Descent for Online Allocation Problems

abstract: Online allocation problems with resource constraints are central problems in revenue management and online advertising. In these problems, requests arrive sequentially during a finite horizon and, for each request, a decision maker needs to choose an action that consumes a certain amount of resources and generates reward. The objective is to maximize cumulative rewards subject to a constraint on the total consumption of resources. In this paper, we consider a data-driven setting in which the reward and resource consumption of each request are generated using an input model that is unknown to the decision maker. We design a general class of algorithms that attain good performance in various input models without knowing which type of input they are facing. In particular, our algorithms are asymptotically optimal under independent and identically distributed inputs as well as various non-stationary stochastic input models, and they attain an asymptotically optimal fixed competitive ratio when the input is adversarial. Our algorithms operate in the Lagrangian dual space: they maintain a dual multiplier for each resource that is updated using online mirror descent. By choosing the reference function accordingly, we recover the dual sub-gradient descent and dual multiplicative weights update algorithm. The resulting algorithms are simple, fast, and do not require convexity in the revenue function, consumption function and action space, in contrast to existing methods for online allocation problems. We discuss applications to network revenue management, online bidding in repeated auctions with budget constraints, online proportional matching with high entropy, and personalized assortment optimization with limited inventory.


title: Interior-point methods for the phase-field approach to brittle and ductile fracture

abstract: The governing equations of the variational approach to brittle and ductile fracture emerge from the minimization of a non-convex energy functional subject to irreversibility constraints. This results in a multifield problem governed by a mechanical balance equation and evolution equations for the internal variables. While the balance equation is subject to kinematic admissibility of the displacement field, the evolution equations for the internal variables are subject to irreversibility conditions, and take the form of variational inequalities, which are typically solved in a relaxed or penalized way that can lead to deviations of the actual solution. This paper presents an interior-point method that allows to rigorously solve the system of variational inequalities. With this method, a sequence of perturbed constraints is considered, which, in the limit, recovers the original constrained problem. As such, no penalty parameters or modifications of the governing equations are involved. The interior-point method is applied in both a staggered and a monolithic scheme for both brittle and ductile fracture models. In order to stabilize the monolithic scheme, a perturbation is applied to the Hessian matrix of the energy functional. The presented algorithms are applied to three benchmark problems and compared to conventional methods, where irreversibility of the crack phase-field is imposed using a history field or an augmented Lagrangian.


title: Mechanistic modeling of African swine fever: A systematic review

abstract: The spread of African swine fever (ASF) poses a grave threat to the global swine industry. Understanding transmission dynamics, such as through mechanistic modeling, is critical for designing effective control strategies. Articles were examined across multiple epidemiological and model characteristics. Model filiation was determined through creation of a neighbor-joined tree using phylogenetic software. Of 34 four articles qualifying for inclusion, four main modelling objectives were identified: estimating transmission parameters (11 studies), assessing determinants of transmission (7), examining consequences of hypothetical outbreaks (5), and assessing alternative control strategies (11). Estimated transmission parameters varied widely as did parameter assumptions between models. Uncertainties on epidemiological and ecological parameters were usually accounted for to assess the impact on the modeled infection trajectory. Almost all models are host specific, being developed for either domestic pigs or wild boar despite the fact that spillover events between domestic pigs and wild boar are evidenced to play an important role in ASF outbreaks. The development of models incorporating such transmission routes is crucial. All compared control strategies were defined a priori, and future models should be built to identify optimal contributions across many control methods. Further, control strategies were examined in competition, opposed to how they would be synergistically implemented. While comparing strategies is beneficial for identifying a rank-order efficacy of control methods, this structure does not necessarily determine the most effective combination of all available strategies. In order for ASFV models to effectively support decision-making in controlling ASFV globally, these modelling limitations need to be addressed.


title: State Predictive Information Bottleneck

abstract: The ability to make sense of the massive amounts of high-dimensional data generated from molecular dynamics (MD) simulations is heavily dependent on the knowledge of a low dimensional manifold (parameterized by a reaction coordinate or RC) that typically distinguishes between relevant metastable states and which captures the relevant slow dynamics of interest. Methods based on machine learning and artificial intelligence have been proposed over the years to deal with learning such low-dimensional manifolds, but they are often criticized for a disconnect from more traditional and physically interpretable approaches. To deal with such concerns, in this work, we propose a deep learning based State Predictive Information Bottleneck (SPIB) approach to learn the RC from high dimensional molecular simulation trajectories. We demonstrate analytically and numerically how the RC learnt in this approach is deeply connected to the committor in chemical physics, and can be used to accurately identify transition states. A crucial hyperparameter in this approach is the time-delay, or how far into the future the algorithm should make predictions about. Through careful comparisons for benchmark systems, we demonstrate that this hyperparameter choice gives useful control over how coarse-grained we want the metastable state classification of the system to be. We thus believe that this work represents a step forward in systematic application of deep learning based ideas to molecular simulations in a way that bridges the gap between artificial intelligence and traditional chemical physics.

categories: physics.chem-ph cond-mat.stat-mech physics.bio-ph physics.comp-ph


title: Symmetric Group Action of the Birational $R$-matrix

abstract: The birational $R$-matrix is a transformation that appears in the theory of geometric crystals, the study of total positivity in loop groups, and discrete dynamical systems. This $R$-matrix gives rise to an action of the symmetric group $S_m$ on an $m$-tuple of vectors. While the birational $R$-matrix is precisely the formula corresponding to the action of the simple transposition $s_i$, explicit formulas for the action of other permutations are generally not known. One particular case was studied by Lam and Pylyavskyy as it relates to energy functions of crystals. In this paper, we will discuss formulas for several additional cases, including transpositions, and provide combinatorial interpretations for the functions that appear in our work.


title: Twisted group ring isomorphism problem and infinite cohomology groups

abstract: We continue our investigation of a variation of the group ring isomorphism problem for twisted group algebras. Contrary to previous work, we include cohomology classes which do not contain any cocycle of finite order. This allows us to study the problem in particular over any field of characteristic $0$. We prove that there are finite groups $G$ and $H$ which can not be distinguished by their rational twisted group algebras, while $G$ and $H$ can be identified by their semi-simple twisted group algebras over other fields. This is in contrast with the fact that the structural information on $G$ which can obtained from all the semi-simple group algebras of $G$ is already encoded in its rational group algebra. We further show that for an odd prime $p$ there are groups of order $p^4$ which can not be distinguished by their twisted group algebras over $F$ for any field $F$ of characteristic different from $p$. On the other hand we prove that the groups constructed by E. Dade, which have isomorphic group algebras over any field, can be distinguished by their rational twisted group algebras. We also answer a question about sufficient conditions for the twisted group ring isomorphism problem to hold over the complex numbers.


title: Binary Discrete Fourier Transform and its Inversion

abstract: A binary vector of length $N$ has elements that are either 0 or 1. We investigate the question of whether and how a binary vector of known length can be reconstructed from a limited set of its discrete Fourier transform (DFT) coefficients. A priori information that the vector is binary provides a powerful constraint. We prove that a binary vector is uniquely defined by its two complex DFT coefficients (zeroth, which gives the popcount, and first) if $N$ is prime. If $N$ has two prime factors, additional DFT coefficients must be included in the data set to guarantee uniqueness, and we find the number of required coefficients theoretically. One may need to know even more DFT coefficients to guarantee stability of inversion. However, our results indicate that stable inversion can be obtained when the number of known coefficients is about $1/3$ of the total. This entails the effect of super-resolution (the resolution limit is improved by the factor of $\sim 3$).


title: Characterization of the gelation and resulting network of a mixed-protein gel derived from sodium caseinate and ovalbumin in the presence of glucono-$\delta$-lactone

abstract: We investigated mixed-protein gels made from sodium caseinate and ovalbumin at different ratios with use of the acidification agent glucono-$\delta$-lactone. Dynamic viscoelastic measurements revealed that increasing the ovalbumin content decreased the mechanical properties of the gel but accelerated onset time of the phase transition. Ultrasound spectroscopy during gelation revealed that the relative velocity gradually decreased, whereas the ultrasonic attenuation increased during the whole acidification process until gelation was complete, although these changes were much smaller than those observed with heat-induced gelation. Confocal laser scanning microscopy along with scanning electron microscopy revealed that although uniform mixing of sodium caseinate and ovalbumin was observed, sodium caseinate is likely to mainly lead formation of the gel network, and the porosity of the resulting gel network depends on the ratio of these two components. The results demonstrate that confocal laser scanning microscopy is a useful tool for analyzing both the networks within mixed-protein gels and the contribution of each protein to the network and gelation.


title: VLG-Net: Video-Language Graph Matching Network for Video Grounding

abstract: Grounding language queries in videos aims at identifying the time interval (or moment) semantically relevant to a language query. The solution to this challenging task demands understanding videos' and queries' semantic content and the fine-grained reasoning about their multi-modal interactions. Our key idea is to recast this challenge into an algorithmic graph matching problem. Fueled by recent advances in Graph Neural Networks, we propose to leverage Graph Convolutional Networks to model video and textual information as well as their semantic alignment. To enable the mutual exchange of information across the modalities, we design a novel Video-Language Graph Matching Network (VLG-Net) to match video and query graphs. Core ingredients include representation graphs built atop video snippets and query tokens separately and used to model intra-modality relationships. A Graph Matching layer is adopted for cross-modal context modeling and multi-modal fusion. Finally, moment candidates are created using masked moment attention pooling by fusing the moment's enriched snippet features. We demonstrate superior performance over state-of-the-art grounding methods on three widely used datasets for temporal localization of moments in videos with language queries: ActivityNet-Captions, TACoS, and DiDeMo.


title: Full-Duplex Non-Orthogonal Multiple Access Cooperative Overlay Spectrum-Sharing Networks with SWIPT

abstract: This paper proposes a novel non-orthogonal multiple access (NOMA) assisted cooperative spectrum sharing network, in which one of the full-duplex (FD) secondary transmitters (STs) is chosen among many for forwarding the primary transmitter's and its own information to primary receiver and secondary receivers, respectively, using NOMA technique. To stimulate the ST to conduct cooperative transmission and sustain its operations, the simultaneous wireless information and power transfer (SWIPT) technique is utilized by the ST to harvest the primary signal's energy. In order to evaluate the proposed system's performance, the outage probability and system throughput for the primary and secondary networks are derived in tight closed-form approximations. Further, the sum rate optimization problem is formulated for the proposed cooperative network and a rapid convergent iterative algorithm is proposed to obtain the optimized power allocation coefficients. Numerical results show that FD, SWIPT, and NOMA techniques greatly boost the performance of cooperative spectrum-sharing network in terms of outage probability, system throughput, and sum rate compared to that of half-duplex NOMA and the conventional orthogonal multiple access-time division multiple access networks.


title: Provable Multi-Objective Reinforcement Learning with Generative Models

abstract: Multi-objective reinforcement learning (MORL) is an extension of ordinary, single-objective reinforcement learning (RL) that is applicable to many real-world tasks where multiple objectives exist without known relative costs. We study the problem of single policy MORL, which learns an optimal policy given the preference of objectives. Existing methods require strong assumptions such as exact knowledge of the multi-objective Markov decision process, and are analyzed in the limit of infinite data and time. We propose a new algorithm called model-based envelop value iteration (EVI), which generalizes the enveloped multi-objective $Q$-learning algorithm in Yang et al., 2019. Our method can learn a near-optimal value function with polynomial sample complexity and linear convergence speed. To the best of our knowledge, this is the first finite-sample analysis of MORL algorithms.


title: Raman Study of Cooper Pairing Instabilities in (Li$_{1-x}$Fe$_x$)OHFeSe

abstract: We studied the electronic Raman spectra of (Li$_{1-x}$Fe$_x$)OHFeSe as a function of light polarization and temperature. In the B$_{1g}$ spectra alone we observe the redistribution of spectral weight expected for a superconductor and two well-resolved peaks below T$_c$. The nearly resolution-limited peak at 110 cm$^{-1}$ (13.6 meV) is identified as a collective mode. The peak at 190 cm$^{-1}$ (23.6 meV) is presumably another collective mode since the line is symmetric and its energy is significantly below the gap energy observed by single-particle spectroscopies. Given the experimental band structure of (Li$_{1-x}$Fe$_x$)OHFeSe, the most plausible explanations include conventional spin-fluctuation pairing between the electron bands and the incipient hole band and pairing between the hybridized electron bands. The absence of gap features in A$_{1g}$ and B$_{2g}$ symmetry favors the second case. Thus, in spite of various differences between the pnictides and chalcogenides, this Letter demonstrates the proximity of pairing states and the importance of band structure effects in the Fe-based compounds.


title: Carbon nanotube synthesis and spinning as macroscopic fibers assisted by the ceramic reactor tube

abstract: Macroscopic fibers of carbon nanotubes (CNT) have emerged as an ideal architecture to exploit the exceptional properties of CNT building blocks in applications ranging from energy storage to reinforcement in structural composites. Controlled synthesis and scalability are amongst the most pressing challenges to further materialize the potential of CNT fibers. This workshows that under floating catalyst chemical vapor conditions in the direct spinning method, used both in research and industry,the ceramic reactor tube plays an unsuspected active role in CNT growth, leading for example to doubling of reaction yield when mullite (Al4+2xSi2-2xO10-x(x = 0.4)) is used instead of alumina (Al2O3), but without affecting CNT morphology in terms of number of layers, purity or degree of graphitization. This behaviour has been confirmed for different carbon sources andwhen growing either predominantly single-walled or multi-walled CNTs by adjusting promotor concentration. Analysis of large Si-based impurities occasionally found in CNT fiber fabric samples, attributed to reactor tube fragments that end up trapped inthe porous fibers, indicate that the role of the reactor tube is in catalyzing the thermal decomposition of hydrocarbons, which subsequently react with floating Fe catalyst nanoparticles and produce extrusion of the CNTs and formation of an aerogel. Reactor gas analysis confirms that extensive thermal decomposition of the carbon source occurs in the absence of Fe catalystparticles, and that the concentration of different carbon species (e.g. carbon dioxide and ethylene) is sensitive to the reactor tube type. These finding open new avenues for controlled synthesis of CNT fibers by decoupling precursor decomposition from CNT extrusion at the catalyst particle.


title: Atomic ionization by multicharged ions interpreted in terms of poles in the charge complex space

abstract: In this work we study the single ionization of hydrogen and helium by the impact of a punctual Coulomb projectile. To interpretate the cross section we introduce a series of Pad\'{e} approximant. The nodes of the denominator of the Pad\'{e} approximant give rise to poles in the charge complex plane. These poles move with the projectile velocity following a certain pattern. We find the positions of the poles of the Continuum Distorted Wave theory and an ensamble of experimental results. It was found that the ionization cross section may have oscillations in terms of the incident charge for a given impact velocity.


title: Functional central limit theorems for stick-breaking priors

abstract: We obtain the empirical strong law of large numbers, empirical Glivenko-Cantelli theorem, central limit theorem, functional central limit theorem for various nonparametric Bayesian priors which include the Dirichlet process with general stick-breaking weights, the Poisson-Dirichlet process, the normalized inverse Gaussian process, the normalized generalized gamma process, and the generalized Dirichlet process. For the Dirichlet process with general stick-breaking weights, we introduce two general conditions such that the central limit theorem and functional central limit theorem hold. Except in the case of the generalized Dirichlet process, since the finite dimensional distributions of these processes are either hard to obtain or are complicated to use even they are available, we use the method of moments to obtain the convergence results. For the generalized Dirichlet process we use its finite dimensional marginal distributions to obtain the asymptotics although the computations are highly technical.


title: Predicting Anomalous Quantum Confinement Effect in van der Waals Materials

abstract: Materials with van der Waals-bonding are known to exhibit quantum confinement effect, in which the electronic bandgap of the three-dimensional (3D) realization of a material is lower than that of its two-dimensional (2D) counterpart. However, the possibility of an anomalous quantum confinement effect (AQCE) exists, where the bandgap trend is reversed. In this work, we computationally identify materials for which such AQCE occurs. Using density functional theory (DFT), we compute ~1000 OptB88vdW (semi-local functional), ~50 HSE06 and ~50 PBE0 (hybrid functional) bandgaps for bulk and their corresponding monolayers in the JARVIS-DFT database. OptB88vdW identifies 65 AQCE materials, but the hybrid functionals only confirm such finding in 14 cases. Some of the AQCE systems identified through HSE06 and PBE0 are: hydroxides or oxide hydroxide compounds (AlOH2, Mg(OH)2, Mg2H2O3, Ni(OH)2, SrH2O3) as well as Sb-halogen-chalcogenide compounds (SbSBr, SbSeI) and alkali-chalcogenides (RbLiS and RbLiSe). A detailed electronic structure analysis, based on band-structure and projected density of states, shows AQCE is often characterized by lowering of the conduction band in the monolayer and corresponding changes in the pz electronic orbital contribution, with z being the non-periodic direction in the 2D case. We believe our computational results would spur the effort to validate the results experimentally and will have impact on bandgap engineering applications based on low-dimensional materials.


title: Determining optimal test functions for $2$-level densities

abstract: Katz and Sarnak conjectured a correspondence between the $n$-level density statistics of zeros from families of $L$-functions with eigenvalues from random matrix ensembles. In many cases the sums of smooth test functions, whose Fourier transforms are finitely supported, over scaled zeros in a family converge to an integral of the test function against a density $W_{n, G}$ depending on the symmetry $G$ of the family (unitary, symplectic or orthogonal). This integral bounds the average order of vanishing at the central point of the corresponding family of $L$-functions. We can obtain better estimates on this vanishing by finding better test functions to minimize the integral. We pursue this problem when $n=2$, minimizing \[ \frac{1}{\Phi(0, 0)} \int_{{\mathbb R}^2} W_{2,G} (x, y) \Phi(x, y) dx dy \] over test functions $\Phi \colon {\mathbb R}^2 \to [0, \infty)$ with compactly supported Fourier transform. We study a restricted version of this optimization problem, imposing that our test functions take the form $\phi(x) \psi(y)$ for some fixed admissible $\psi(y)$ and $\mathrm{supp}({\hat \phi}) \subseteq [-1, 1]$. Extending results from the $1$-level case, namely the functional analytic arguments of Iwaniec, Luo and Sarnak and the differential equations method introduced by Freeman and Miller, we explicitly solve for the optimal $\phi$ for appropriately chosen fixed test function $\psi$. The solution allows us to deduce strong estimates for the proportion of newforms of rank $0$ or $2$ in the case of $\mathrm{SO}(\mathrm{even})$, rank $1$ or $3$ in the case of $\mathrm{SO}(\mathrm{odd})$, and rank at most $2$ for $\mathrm{O}$, $\mathrm{Sp}$, and $\mathrm{U}$; our estimates are a significant strengthening of the best known estimates obtained with the $1$-level density. We conclude by discussing further improvements on estimates by the method of iteration.


title: Source mass characterization in the ARIADNE axion experiment

abstract: The Axion Resonant InterAction Detection Experiment (ARIADNE) is a collaborative effort to search for the QCD axion using nuclear magnetic resonance (NMR), where the axion acts as a mediator of spin-dependent forces between an unpolarized tungsten source mass and a sample of polarized helium-3 gas. Since the experiment involves precision measurement of a small magnetization, it relies on limiting ordinary magnetic noise with superconducting magnetic shielding. In addition to the shielding, proper characterization of the noise level from other sources is crucial. We investigate one such noise source in detail: the magnetic noise due to impurities and Johnson noise in the tungsten source mass.


title: Cooperating RPN's Improve Few-Shot Object Detection

abstract: Learning to detect an object in an image from very few training examples - few-shot object detection - is challenging, because the classifier that sees proposal boxes has very little training data. A particularly challenging training regime occurs when there are one or two training examples. In this case, if the region proposal network (RPN) misses even one high intersection-over-union (IOU) training box, the classifier's model of how object appearance varies can be severely impacted. We use multiple distinct yet cooperating RPN's. Our RPN's are trained to be different, but not too different; doing so yields significant performance improvements over state of the art for COCO and PASCAL VOC in the very few-shot setting. This effect appears to be independent of the choice of classifier or dataset.


title: Subcritical route to turbulence via the Orr mechanism in a quasi-two-dimensional boundary layer

abstract: The link to the online abstract of this manuscript, accepted in Phys. Rev. Fluids, is https://journals.aps.org/prfluids/accepted/32074S4aH8b1c608e19768b42571f9001086a3f44. A subcritical route to turbulence via purely quasi-two-dimensional mechanisms, for a quasi-two-dimensional system composed of an isolated exponential boundary layer, is numerically investigated. Exponential boundary layers are highly stable, and are expected to form on the walls of liquid metal coolant ducts within magnetic confinement fusion reactors. Subcritical transitions were detected only at weakly subcritical Reynolds numbers (at most $\approx 70$% below critical). Furthermore, the likelihood of transition was very sensitive to both the perturbation structure and initial energy. Only the quasi-two-dimensional Tollmien-Schlichting wave disturbance, attained by either linear or nonlinear optimisation, was able to initiate the transition process, by means of the Orr mechanism. The lower initial energy bound sufficient to trigger transition was found to be independent of the domain length. However, longer domains were able to increase the upper energy bound, via the merging of repetitions of the Tollmien-Schlichting wave. This broadens the range of initial energies able to exhibit transitional behaviour. Although the eventual relaminarization of all turbulent states was observed, this was also greatly delayed in longer domains. The maximum nonlinear gains achieved were orders of magnitude larger than the maximum linear gains (with the same initial perturbations), regardless if the initial energy was above or below the lower energy bound. Nonlinearity provided a second stage of energy growth by an arching of the conventional Tollmien-Schlichting wave structure. A streamwise independent structure, able to efficiently store perturbation energy, also formed.


title: Interpretable and Transferable Models to Understand the Impact of Lockdown Measures on Local Air Quality

abstract: The COVID-19 related lockdown measures offer a unique opportunity to understand how changes in economic activity and traffic affect ambient air quality and how much pollution reduction potential can the society offer through digitalization and mobilitylimiting policies. In this work, we estimate pollution reduction over the lockdown period by using the measurements from ground air pollution monitoring stations, training a long-term prediction model and comparing its predictions to measured values over the lockdown month.We show that our models achieve state-of-the-art performance on the data from air pollution measurement stations in Switzerland and in China: evaluate up to -15.8% / +34.4% change in NO2 / PM10 in Zurich; -35.3 % / -3.5 % and -42.4 % / -34.7 % in NO2 / PM2.5 in Beijing and Wuhan respectively. Our reduction estimates are consistent with recent publications, yet in contrast to prior works, our method takes local weather into account. What can we learn from pollution emissions during lockdown? The lockdown period was too short to train meaningful models from scratch. To tackle this problem, we use transfer learning to newly fit only traffic-dependent variables. We show that the resulting models are accurate, suitable for an analysis of the post-lockdown period and capable of estimating the future air pollution reduction potential.


title: Non-linear ladder operators and coherent states for the 2:1 oscillator

abstract: The 2:1 two-dimensional anisotropic quantum harmonic oscillator is considered and new sets of states are defined by means of normal-ordering non-linear operators through the use of non-commutative binomial theorems as well as solving recurrence relations. The states generated are good candidates for the natural generalisation of the $\mathfrak{su}(2)$ coherent states of the two-dimensional isotropic oscillator. The two-dimensional non-linear generalised ladder operators lead to several chains of states which are connected in a non trivial way. The uncertainty relations of the defining chain of states are calculated and it is found that they admit a resolution of the identity and the spatial distribution of the wavefunction produces Lissajous figures in correspondence with the classical 2:1 oscillator.


title: Schr\"odinger Operators With Potentials Generated by Hyperbolic Transformations: I. Positivity of the Lyapunov Exponent

abstract: We consider discrete one-dimensional Schr\"odinger operators whose potentials are generated by sampling along the orbits of a general hyperbolic transformation. Specifically, we show that if the sampling function is a non-constant H\"older continuous function defined on a subshift of finite type with an ergodic measure admitting a local product structure and a fixed point, then the Lyapunov exponent is positive away from a discrete set of energies. Moreover, for sampling functions in a residual subset of the space of H\"older continuous functions, the Lyapunov exponent is positive everywhere. If we consider locally constant or globally fiber bunched sampling functions, then the Lyapuonv exponent is positive away from a finite set. Moreover, for sampling functions in an open and dense subset of the space in question, the Lyapunov exponent is uniformly positive. Our results can be applied to any subshift of finite type with ergodic measures that are equilibrium states of H\"older continuous potentials. In particular, we apply our results to Schr\"odinger operators defined over expanding maps on the unit circle, hyperbolic automorphisms of a finite-dimensional torus, and Markov chains.


title: FlowStep3D: Model Unrolling for Self-Supervised Scene Flow Estimation

abstract: Estimating the 3D motion of points in a scene, known as scene flow, is a core problem in computer vision. Traditional learning-based methods designed to learn end-to-end 3D flow often suffer from poor generalization. Here we present a recurrent architecture that learns a single step of an unrolled iterative alignment procedure for refining scene flow predictions. Inspired by classical algorithms, we demonstrate iterative convergence toward the solution using strong regularization. The proposed method can handle sizeable temporal deformations and suggests a slimmer architecture than competitive all-to-all correlation approaches. Trained on FlyingThings3D synthetic data only, our network successfully generalizes to real scans, outperforming all existing methods by a large margin on the KITTI self-supervised benchmark.


title: Switchable X-ray Orbital Angular Momentum from an Artificial Spin Ice

abstract: Artificial spin ices (ASI) have been widely investigated as magnetic metamaterials with exotic properties governed by their geometries. In parallel, interest in X-ray photon orbital angular momentum (OAM) has been rapidly growing. Here we show that a square ASI with a programmed topological defect, a double edge dislocation, imparts OAM to scattered X-rays. Unlike single dislocations, a double dislocation does not introduce magnetic frustration, and the ASI equilibrates to its antiferromagnetic (AF) ground state. The topological charge of the defect differs with respect to the structural and magnetic order; thus, X-ray diffraction from the ASI produces photons with even and odd OAM quantum numbers at the structural and AF Bragg conditions, respectively. The magnetic transitions of the ASI allow the AF OAM beams to be switched on and off by modest variations of temperature and applied magnetic field. These results demonstrate ASIs can serve as metasurfaces for reconfigurable X-ray optics that could enable selective probes of electronic and magnetic properties.


title: Phase-locking of laminar wake to periodic vibrations of a circular cylinder

abstract: Phase synchronization between the vortex shedding behind a two-dimensional circular cylinder and its vibrations is investigated using the phase-reduction analysis. Leveraging this approach enables the development of a one-dimensional, linear model with respect to the limit-cycle attractor of the laminar wake, which accurately describes the phase dynamics of the high-dimensional, nonlinear fluid flow and its response to rotational, transverse and longitudinal vibrations of the cylinder. This phase-based model is derived by assessing the phase-response and sensitivity of the wake dynamics to impulse perturbations of the cylinder, which can be performed in simulations and experiments. The resulting model in turn yields the theoretical conditions required for phase-locking between the cylinder vibrations and the wake. We furthermore show that this synchronization mechanism can be employed to stabilize the wake and subsequently reduce drag. We also uncover the circumstances under which the concurrent occurrence of different vibrational motions can be used to promote or impede synchronization. These findings provide valuable insights for the study of vortex-induced body oscillations, the enhancement of aerodynamic performance of flyers, or the mitigation of structural vibrations by synchronizing or desynchronizing the oscillatory motions of body to the periodic wake.


title: Robot Gaining Accurate Pouring Skills through Self-Supervised Learning and Generalization

abstract: Pouring is one of the most commonly executed tasks in humans' daily lives, whose accuracy is affected by multiple factors, including the type of material to be poured and the geometry of the source and receiving containers. In this work, we propose a self-supervised learning approach that learns the pouring dynamics, pouring motion, and outcomes from unsupervised demonstrations for accurate pouring. The learned pouring model is then generalized by self-supervised practicing to different conditions such as using unaccustomed pouring cups. We have evaluated the proposed approach first with one container from the training set and four new but similar containers. The proposed approach achieved better pouring accuracy than a regular human with a similar pouring speed for all five cups. Both the accuracy and pouring speed outperform state-of-the-art works. We have also evaluated the proposed self-supervised generalization approach using unaccustomed containers that are far different from the ones in the training set. The self-supervised generalization reduces the pouring error of the unaccustomed containers to the desired accuracy level.


title: A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics

abstract: Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between $\textbf{mbCcl}$ and $\textbf{Cila}$. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only $\textbf{mbCcl}$ and $\textbf{Cila}$ (which is equivalent, up to language, to da Costa's logic $C_1$) but the whole hierarchy of da Costa's calculi $C_n$. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each $C_n$, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of $C$-systems as a family of (non deterministically) $(n+2)$-valued logics, where $n$ is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every $C_n$.


title: Isotope-specific reactions of acetonitrile (CH3CN) with trapped, translationally cold CCl+

abstract: The gas-phase reaction of CCl+ with acetonitrile (CH3CN) is studied using a linear Paul ion trap coupled to a time-of-flight mass spectrometer. This work builds on a previous study of the reaction of CCl+ with acetylene and further explores the reactivity of CCl+ with organic neutral molecules. Both of the reactant species are relevant in observations and models of chemistry in the interstellar medium (ISM). Nitriles, in particular, are noted for their relevance in prebiotic chemistry, such as is found in the atmosphere of Titan, one of Saturn's moons. This work represents one of the first studied reactions of a halogenated carbocation with a nitrile, and the first exploration of CCl+ with a nitrile. Reactant isotopologues are used to unambiguously assign ionic primary products from this reaction: HNCCl+ and C2H3+. Branching ratios are measured and both primary products are determined to be equally probable. Quantum chemical and statistical reaction rate theory calculations illuminate pertinent information for interpreting the reaction data, including: reaction thermodynamics, a potential energy surface for the reaction, as well as rate constants and branching ratios for the observed products. In particular, the reaction products and potential energy surface stimulate questions regarding the strength and role of the nitrile functional group, which can be further explored with more reactions of this class.


title: Enriched functional limit theorems for dynamical systems

abstract: We prove functional limit theorems for dynamical systems in the presence of clusters of large values which, when summed and suitably normalised, get collapsed in a jump of the limiting process observed at the same time point. To keep track of the clustering information, which gets lost in the usual Skorohod topologies in the space of c\`adl\`ag functions, we introduce a new space which generalises the already more general spaces introduced by Whitt. Our main applications are to hyperbolic and non-uniformly expanding dynamical systems with heavy-tailed observable functions maximised at dynamically linked maximal sets (such as periodic points). We also study limits of extremal processes and record times point processes for observables not necessarily heavy tailed. The applications studied include hyperbolic systems such as Anosov diffeomorphisms, but also non-uniformly expanding maps such as maps with critical points of Benedicks-Carleson type or indifferent fixed points such as Pomeau-Manneville or Liverani-Saussol-Vaienti maps. The main tool is a limit theorem for point processes with decorations derived from a bi-infinite sequence called the transformed anchored tail process.


title: Janus solutions in three-dimensional N=8 gauged supergravity

abstract: Janus solutions are constructed in $d=3$, ${\cal N}=8$ gauged supergravity. We find explicit half-BPS solutions where two scalars in the $SO(8,1)/SO(8)$ coset have a nontrivial profile. These solutions correspond on the CFT side to an interface with a position-dependent expectation value for a relevant operator and a source which jumps across the interface for a marginal operator.


title: Low microwave loss in deposited Si and Ge thin-film dielectrics at single-photon power and low temperatures

abstract: Our study shows that deposited Ge and Si dielectric thin-films can exhibit low microwave losses at near single-photon powers and sub-Kelvin temperatures ($\approx$40 mK). This low loss enables their use in a wide range of devices, including low-loss coplanar, microstrip, and stripline resonators, as well as layers for device isolation, inter-wiring dielectrics, and passivation in microwave and Josephson junction circuit fabrication. We use coplanar microwave resonator structures with narrow trace widths of 2-16 $\mu \textrm{m}$ to maximize the sensitivity of loss tangent measurements to the interface and properties of the deposited dielectrics, rather than to optimize the quality factor. In this configuration, thermally-evaporated $\approx 1 \mu \textrm{m}$ thick amorphous germanium (a-Ge) films deposited on Si (100) have a single photon loss tangent of $1-2\times10^{-6}$ and, $9 \mu \textrm{m}$-thick chemical vapor deposited (CVD) homoepitaxial Si has a single photon loss tangent of $0.6-2\times 10^{-5}$. Interface contamination limits the loss in these devices.


title: Trapped modes and resonances for thin horizontal cylinders in a two-layer fluid

abstract: Exact solutions of the linear water-wave problem describing oblique waves over a submerged horizontal cylinder of small (but otherwise fairly arbitrary) cross-section in a two-layer fluid are constructed in the form of convergent series in powers of the small parameter characterizing the "thinness" of the cylinder. The terms of these series are expressed through the solution of the exterior Neumann problem for the Laplace equation describing the flow of unbounded fluid past the cylinder. The solutions obtained describe trapped modes corresponding to discrete eigenvalues of the problem (lying close to the cut-off frequency of the continuous spectrum) and resonances lying close to the embedded cut-off. We present certain conditions for the submergence of the cylinder in the upper layer when these resonances convert into previously unobserved embedded trapped modes.


title: Finding and assessing treatment effect sweet spots in clinical trial data

abstract: Identifying heterogeneous treatment effects (HTEs) in randomized controlled trials is an important step toward understanding and acting on trial results. However, HTEs are often small and difficult to identify, and HTE modeling methods which are very general can suffer from low power. We present a method that exploits any existing relationship between illness severity and treatment effect, and identifies the "sweet spot", the contiguous range of illness severity where the estimated treatment benefit is maximized. We further compute a bias-corrected estimate of the conditional average treatment effect (CATE) in the sweet spot, and a $p$-value. Because we identify a single sweet spot and $p$-value, we believe our method to be straightforward to interpret and actionable: results from our method can inform future clinical trials and help clinicians make personalized treatment recommendations.


title: HAZMAT. VII. The Evolution of Ultraviolet Emission with Age and Rotation for Early M Dwarf Stars

abstract: The ultraviolet (UV) emission from the most numerous stars in the universe, M dwarfs, impacts the formation, chemistry, atmospheric stability, and surface habitability of their planets. We have analyzed the spectral evolution of UV emission from M0-M2.5 (0.3-0.6 Msun) stars as a function of age, rotation, and Rossby number, using Hubble Space Telescope observations of Tucana Horologium (40 Myr), Hyades (650 Myr), and field (2-9 Gyr) objects. The quiescent surface flux of their C II, C III, C IV, He II, N V, Si III, and Si IV emission lines, formed in the stellar transition region, remains elevated at a constant level for 240 $\pm$ 30 Myr before declining by 2.1 orders of magnitude to an age of 10 Gyr. Mg II and far-UV pseudocontinuum emission, formed in the stellar chromosphere, exhibit more gradual evolution with age, declining by 1.3 and 1.7 orders of magnitude, respectively. The youngest stars exhibit a scatter of 0.1 dex in far-UV line and pseudocontinuum flux attributable only to rotational modulation, long-term activity cycles, or an unknown source of variability. Saturation-decay fits to these data can predict an M0-M2.5 star's quiescent emission in UV lines and the far-UV pseudocontinuum with an accuracy of roughly 0.2-0.3 dex, the most accurate means presently available. Predictions of UV emission will be useful for studying exoplanetary atmospheric evolution, the destruction and abiotic production of biologically relevant molecules, and interpreting infrared and optical planetary spectra measured with observatories like the James Webb Space Telescope.


title: On the universal constraints for relaxation rates for quantum dynamical semigroup

abstract: A conjecture for the universal constraints for relaxation rates of a quantum dynamical semigroup is proposed. It is shown that it holds for several interesting classes of semigroups, e.g. unital semigroups and semigroups derived in the weak coupling limit from the proper microscopic model. Moreover, proposed conjecture is supported by numerical analysis. This conjecture has several important implications: it allows to provide universal constraints for spectra of quantum channels and provides necessary condition to decide whether a given channel is consistent with Markovian evolution.


title: Sharp convergence for sequences of nonelliptic Schr\"{o}dinger means

abstract: We consider pointwise convergence of nonelliptic Schr\"{o}dinger means $e^{it_{n}\square}f(x)$ for $f \in H^{s}(\mathbb{R}^{2})$ and decreasing sequences $\{t_{n}\}_{n=1}^{\infty}$ converging to zero, where \[{e^{it_{n}\square }}f\left( x \right): = \int_{{\mathbb{R}^2}} {{e^{i\left( {x \cdot \xi + t_{n}{{ \xi_{1}\xi_{2} }}} \right)}}\widehat{f}} \left( \xi \right)d\xi .\] We prove that when $0<s < \frac{1}{2}$, \[\mathop {\lim }\limits_{n \to \infty} {e^{it_{n}\square }}f\left( x \right) = f(x) \hspace{0.2cm} a.e.\hspace{0.2cm} x\in \mathbb{R}^2\] holds for all $f \in {H^s}\left( {{\mathbb{R}^2}} \right)$ if and only if $\{t_{n}\}_{n=1}^{\infty} \in \ell^{r(s), \infty}(\mathbb{N})$, $r(s)=\frac{s}{1-s}$. Moreover, our result remains valid in general dimensions.


title: Limit shape of perfect matchings on contracting bipartite graphs

abstract: We consider random perfect matchings on a general class of contracting bipartite graphs by letting certain edge weights be 0 on the contracting square-hexagon lattice in a periodic way. We obtain a deterministic limit shape in the scaling limit. The results can also be applied to prove the existence of multiple disconnected liquid regions for all the contracting square-hexagon lattices with certain edge weights, extending the results proved in [13] for contracting square-hexagon lattices where the number of square rows in each period is either 0 or 1.


title: Large Thermoelectric Power Factor in Whisker Crystals of Solid Solutions of the One-Dimensional Tellurides Ta4SiTe4 and Nb4SiTe4

abstract: One-dimensional tellurides Ta4SiTe4 and Nb4SiTe4 were found to show high thermoelectric performance below room temperature. This study reported the synthesis and thermoelectric properties of whisker crystals of Ta4SiTe4-Nb4SiTe4 solid solutions and Mo- or Ti-doped (Ta0.5Nb0.5)4SiTe4. Thermoelectric power of the solid solutions systematically increased with increasing Ta content, while their electrical resistivity was unexpectedly small. Mo- and Ti-doped (Ta0.5Nb0.5)4SiTe4 showed n- and p-type thermoelectric properties with large power factors exceeding 40 microW cm-1 K-2, respectively. The fact that not only Ta4SiTe4 and Nb4SiTe4 but also their solid solutions showed high performance indicated that this system is a promising candidate for thermoelectric applications at low temperatures.


title: A Unified Model of Feature Extraction and Clustering for Spike Sorting

abstract: Spike sorting plays an irreplaceable role in understanding brain codes. Traditional spike sorting technologies perform feature extraction and clustering separately after spikes are well detected. However, it may often cause many additional processes and further lead to low-accurate and/or unstable results especially when there are noises and/or overlapping spikes in datasets. To address these issues, in this paper, we proposed a unified optimisation model integrating feature extraction and clustering for spike sorting. Interestingly, instead of the widely used combination strategies, i.e., performing the principal component analysis (PCA) for spike feature extraction and K-means (KM) for clustering in sequence, we unified PCA and KM into one optimisation model, which reduces additional processes with fewer iteration times. Subsequently, by embedding the K-means++ strategy for initialising and a comparison updating rule in the solving process, the proposed model can well handle the noises and/or overlapping interference. Finally, taking the best of the clustering validity indices into the proposed model, we derive an automatic spike sorting method. Plenty of experimental results on both synthetic and real-world datasets confirm that our proposed method outperforms the related state-of-the-art approaches.


title: Nonlinear imaging of nanoscale topological corner states

abstract: Topological states of light represent counterintuitive optical modes localized at boundaries of finite-size optical structures that originate from the properties of the bulk. Being defined by bulk properties, such boundary states are insensitive to certain types of perturbations, thus naturally enhancing robustness of photonic circuitries. Conventionally, the N-dimensional bulk modes correspond to (N-1)-dimensional boundary states. The higher-order bulk-boundary correspondence relates N-dimensional bulk to boundary states with dimensionality reduced by more than 1. A special interest lies in miniaturization of such higher-order topological states to the nanoscale. Here, we realize nanoscale topological corner states in metasurfaces with C6-symmetric honeycomb lattices. We directly observe nanoscale topology-empowered edge and corner localizations of light and enhancement of light-matter interactions via a nonlinear imaging technique. Control of light at the nanoscale empowered by topology may facilitate miniaturization and on-chip integration of classical and quantum photonic devices.


title: Diffeomorphic Shape Matching by Operator Splitting in 3D Cardiology Imaging

abstract: We develop an operator splitting approach to solve diffeomorphic matching problems for sequences of surfaces in three-dimensional space. The goal is to smoothly match, at a very fast rate, finite sequences of observed 3D-snapshots extracted from movies recording the smooth dynamic deformations of "soft" surfaces. We have implemented our algorithms in a proprietary software installed at The Methodist Hospital (Cardiology) to monitor mitral valve strain through computer analysis of noninvasive patients' echocardiographies.


title: Retirement decision with addictive habit persistence in a jump diffusion market

abstract: This paper investigates the optimal retirement decision, investment, and consumption strategies in a market with jump diffusion, taking into account habit persistence and stock-wage correlation. Our analysis considers multiple stocks and a finite time framework, intending to determine the retirement boundary of the ``wealth-habit-wage" triplet $(x, h, w)$. To achieve this, we use the habit reduction method and a duality approach to obtain the retirement boundary of the primal variables and feedback forms of optimal strategies. { When dealing with the dual problem, we address technical challenges in the proof of integral equation characterization of optimal retirement boundary using a $C^1$ version of It$\hat{\rm o}$'s formula.} Our results show that when the so-called ``de facto wealth" exceeds a critical proportion of wage, an immediate retirement is the optimal choice for the agent. Additionally, we find that the introduction of jump risks allows for the possibility of discontinuous investment strategies within the working region, which is a novel and insightful finding. Our numerical results effectively illustrate these findings by varying the parameters.


title: When to stop value iteration: stability and near-optimality versus computation

abstract: Value iteration (VI) is a ubiquitous algorithm for optimal control, planning, and reinforcement learning schemes. Under the right assumptions, VI is a vital tool to generate inputs with desirable properties for the controlled system, like optimality and Lyapunov stability. As VI usually requires an infinite number of iterations to solve general nonlinear optimal control problems, a key question is when to terminate the algorithm to produce a "good" solution, with a measurable impact on optimality and stability guarantees. By carefully analysing VI under general stabilizability and detectability properties, we provide explicit and novel relationships of the stopping criterion's impact on near-optimality, stability and performance, thus allowing to tune these desirable properties against the induced computational cost. The considered class of stopping criteria encompasses those encountered in the control, dynamic programming and reinforcement learning literature and it allows considering new ones, which may be useful to further reduce the computational cost while endowing and satisfying stability and near-optimality properties. We therefore lay a foundation to endow machine learning schemes based on VI with stability and performance guarantees, while reducing computational complexity.


title: Curvature profiles for quantum gravity

abstract: Building on the recently introduced notion of quantum Ricci curvature and motivated by considerations in nonperturbative quantum gravity, we advocate a new, global observable for curved metric spaces, the curvature profile. It is obtained by integrating the scale-dependent, quasi-local quantum Ricci curvature, and therefore also depends on a coarse-graining scale. To understand how the distribution of local, Gaussian curvature is reflected in the curvature profile, we compute it on a class of regular polygons with isolated conical singularities. We focus on the case of the tetrahedron, for which we have a good computational control of its geodesics, and compare its curvature profile to that of a smooth sphere. The two are distinct, but qualitatively similar, which confirms that the curvature profile has averaging properties which are interesting from a quantum point of view.


title: Alternative Theorem of Navier-Stokes Equations in $\mathbb{R}^3$

abstract: We consider Cauchy problem of the incompressible Navier-Stokes equations with initial data $u_0\in L^1(\mathbb{R}^3)\cap L^{\infty}(\mathbb{R}^3)$. There exist a maximum time interval $[0,T_{max})$ and a unique solution $u\in C\big([0,T_{max}); L^2(\mathbb{R}^3) \cap L^p(\mathbb{R}^3)\big)$ ($\forall p>3$). We find one of function class $S_{regular}$ defined by scaling invariant norm pair such that $T_{max}=\infty$ provided $u_0\in S_{regular}$. Especially, $\|u_0\|_{L^p}$ is arbitrarily large for any $u_0\in S_{regular}$ and $p>3$. On the other hand, the alternative theorem is proved. It is that either $T_{max}= \infty$ or $T_{max}\in(T_l,T_r]$. Especially, $T_r<T_{max}<\infty$ is disappearing. Here the explicit expressions of $T_l$ and $T_r$ are given. This alternative theorem is one kind of regular criterion which can be verified by computer. If $T_{max}=\infty$, the solution $u$ is regular for any $(t,x)\in(0,\infty) \times \mathbb{R}^3$. As $t\rightarrow\infty$, the solution is decay. On the other hand, lower bound of blow up rate of $u$ is obtained again provided $T_{max}\in (T_l,T_r]$.


title: ClickTrain: Efficient and Accurate End-to-End Deep Learning Training via Fine-Grained Architecture-Preserving Pruning

abstract: Convolutional neural networks (CNNs) are becoming increasingly deeper, wider, and non-linear because of the growing demand on prediction accuracy and analysis quality. The wide and deep CNNs, however, require a large amount of computing resources and processing time. Many previous works have studied model pruning to improve inference performance, but little work has been done for effectively reducing training cost. In this paper, we propose ClickTrain: an efficient and accurate end-to-end training and pruning framework for CNNs. Different from the existing pruning-during-training work, ClickTrain provides higher model accuracy and compression ratio via fine-grained architecture-preserving pruning. By leveraging pattern-based pruning with our proposed novel accurate weight importance estimation, dynamic pattern generation and selection, and compiler-assisted computation optimizations, ClickTrain generates highly accurate and fast pruned CNN models for direct deployment without any extra time overhead, compared with the baseline training. ClickTrain also reduces the end-to-end time cost of the pruning-after-training method by up to 2.3X with comparable accuracy and compression ratio. Moreover, compared with the state-of-the-art pruning-during-training approach, ClickTrain provides significant improvements both accuracy and compression ratio on the tested CNN models and datasets, under similar limited training time.