title: Dialogue-Based Simulation For Cultural Awareness Training

abstract: Existing simulations designed for cultural and interpersonal skill training rely on pre-defined responses with a menu option selection interface. Using a multiple-choice interface and restricting trainees' responses may limit the trainees' ability to apply the lessons in real life situations. This systems also uses a simplistic evaluation model, where trainees' selected options are marked as either correct or incorrect. This model may not capture sufficient information that could drive an adaptive feedback mechanism to improve trainees' cultural awareness. This paper describes the design of a dialogue-based simulation for cultural awareness training. The simulation, built around a disaster management scenario involving a joint coalition between the US and the Chinese armies. Trainees were able to engage in realistic dialogue with the Chinese agent. Their responses, at different points, get evaluated by different multi-label classification models. Based on training on our dataset, the models score the trainees' responses for cultural awareness in the Chinese culture. Trainees also get feedback that informs the cultural appropriateness of their responses. The result of this work showed the following; i) A feature-based evaluation model improves the design, modeling and computation of dialogue-based training simulation systems; ii) Output from current automatic speech recognition (ASR) systems gave comparable end results compared with the output from manual transcription; iii) A multi-label classification model trained as a cultural expert gave results which were comparable with scores assigned by human annotators.


title: Bayesian Networks in Healthcare: Distribution by Medical Condition

abstract: Bayesian networks (BNs) have received increasing research attention that is not matched by adoption in practice and yet have potential to significantly benefit healthcare. Hitherto, research works have not investigated the types of medical conditions being modelled with BNs, nor whether any differences exist in how and why they are applied to different conditions. This research seeks to identify and quantify the range of medical conditions for which healthcare-related BN models have been proposed, and the differences in approach between the most common medical conditions to which they have been applied. We found that almost two-thirds of all healthcare BNs are focused on four conditions: cardiac, cancer, psychological and lung disorders. We believe that a lack of understanding regarding how BNs work and what they are capable of exists, and that it is only with greater understanding and promotion that we may ever realise the full potential of BNs to effect positive change in daily healthcare practice.


title: Insights on the Theory of Robust Games

abstract: A robust game is a distribution-free model to handle ambiguity generated by a bounded set of possible realizations of the values of players' payoff functions. The players are worst-case optimizers and a solution, called robust-optimization equilibrium, is guaranteed by standard regularity conditions. The paper investigates the sensitivity to the level of uncertainty of this equilibrium. Specifically, we prove that it is an epsilon-Nash equilibrium of the nominal counterpart game, where the epsilon-approximation measures the extra profit that a player would obtain by reducing his level of uncertainty. Moreover, given an epsilon-Nash equilibrium of a nominal game, we prove that it is always possible to introduce uncertainty such that the epsilon-Nash equilibrium is a robust-optimization equilibrium. An example shows that a robust Cournot duopoly model can admit multiple and asymmetric robust-optimization equilibria despite only a symmetric Nash equilibrium exists for the nominal counterpart game.


title: Domain segmentation and adjustment for generalized zero-shot learning

abstract: In the generalized zero-shot learning, synthesizing unseen data with generative models has been the most popular method to address the imbalance of training data between seen and unseen classes. However, this method requires that the unseen semantic information is available during the training stage, and training generative models is not trivial. Given that the generator of these models can only be trained with seen classes, we argue that synthesizing unseen data may not be an ideal approach for addressing the domain shift caused by the imbalance of the training data. In this paper, we propose to realize the generalized zero-shot recognition in different domains. Thus, unseen (seen) classes can avoid the effect of the seen (unseen) classes. In practice, we propose a threshold and probabilistic distribution joint method to segment the testing instances into seen, unseen and uncertain domains. Moreover, the uncertain domain is further adjusted to alleviate the domain shift. Extensive experiments on five benchmark datasets show that the proposed method exhibits competitive performance compared with that based on generative models.


title: Comparative study of the real-time optical trapping in the Rayleigh regime for continuous and pulsed lasers

abstract: Simulating real-time scenarios to predict optical trapping behavior for continuous wave (CW) as well as femtosecond pulsed lasers is a challenging problem. This is especially so, because, for a tightly focused laser, one must also include optical Kerr effect as well as thermal nonlinearity. We show here the distinct differences between CW and femtosecond pulsed laser mediated optical trapping via their effect in scattering and gradient forces in the Rayleigh regime. In our newly developed model, it will also be easier to predict the stability of the trap in real optical trapping scenario as well as provide information regarding choice of solvents, probes, and optical parameters like laser type, power range, wavelength, etc. as may the cases be.


title: Estimation of Z-Thickness and XY-Anisotropy of Electron Microscopy Images using Gaussian Processes

abstract: Serial section electron microscopy (ssEM) is a widely used technique for obtaining volumetric information of biological tissues at nanometer scale. However, accurate 3D reconstructions of identified cellular structures and volumetric quantifications require precise estimates of section thickness and anisotropy (or stretching) along the XY imaging plane. In fact, many image processing algorithms simply assume isotropy within the imaging plane. To ameliorate this problem, we present a method for estimating thickness and stretching of electron microscopy sections using non-parametric Bayesian regression of image statistics. We verify our thickness and stretching estimates using direct measurements obtained by atomic force microscopy (AFM) and show that our method has a lower estimation error compared to a recent indirect thickness estimation method as well as a relative Z coordinate estimation method. Furthermore, we have made the first dataset of ssSEM images with directly measured section thickness values publicly available for the evaluation of indirect thickness estimation methods.


title: First order formalism for thick branes in modified gravity with Lagrange multiplier

abstract: This work discuss the construction of braneworld solutions in modified gravity with Lagrange multipliers. We examine the general aspects of the model and present a first order formalism that help us to find analytic solutions of the equations of motion. We also investigate some explicit models, analyse linear stability of the metric and comment on how to relate models investigated in other works to the ones examined in the present study.


title: Dynamics of Quantum Coherence and Quantum Fisher Information After Sudden Quench

abstract: The dynamics of relative entropy and $l_{1}$-norm of coherence, as well as, the Wigner-Yanase-skew and quantum Fisher information are studied for a time-dependent coupled XY spin chain in presence of a time-dependent transverse magnetic field. Independent of the initial state of the system and while the relative entropy of coherence, $l_{1}$-norm of coherence, and quantum Fisher information are incapable, surprisingly, the dynamic Wigner-Yanase-skew information can truly spotlight the equilibrium critical point. We also observe that when the system is quenched to the critical point, these quantities show suppressions and revivals. Moreover, the first suppression (revival) time scales linearly with the system size and its scaling ratio is unique for all quenches independent to the initial phase. This is the promised universality of the first suppression (revival) time.


title: Water delivery to dry protoplanets by hit-and-run collisions

abstract: Final water inventories of newly formed terrestrial planets are shaped by their collision history. A setting where volatiles are transported from beyond the snowline to habitable-zone planets suggests collisions of very dry with water-rich bodies. By means of smooth particle hydrodynamics (SPH) simulations we study water delivery in scenarios where a dry target is hit by a water-rich projectile, focusing on hit-and-run encounters with two large surviving bodies, which probably comprise about half of all similar-sized collisions.


title: Thompson Sampling Algorithms for Mean-Variance Bandits

abstract: The multi-armed bandit (MAB) problem is a classical learning task that exemplifies the exploration-exploitation tradeoff. However, standard formulations do not take into account {\em risk}. In online decision making systems, risk is a primary concern. In this regard, the mean-variance risk measure is one of the most common objective functions. Existing algorithms for mean-variance optimization in the context of MAB problems have unrealistic assumptions on the reward distributions. We develop Thompson Sampling-style algorithms for mean-variance MAB and provide comprehensive regret analyses for Gaussian and Bernoulli bandits with fewer assumptions. Our algorithms achieve the best known regret bounds for mean-variance MABs and also attain the information-theoretic bounds in some parameter regimes. Empirical simulations show that our algorithms significantly outperform existing LCB-based algorithms for all risk tolerances.


title: Explicit families of $K3$ surfaces having real multiplication

abstract: For families of $K3$ surfaces, we establish a sufficient criterion for real or complex multiplication. Our criterion is arithmetic in nature. It may show, at first, that the generic fibre of the family has a nontrivial endomorphism field. Moreover, the endomorphism field does not shrink under specialisation. As an application, we present two explicit families of $K3$ surfaces having real multiplication by $\bbQ(\sqrt{2})$ and $\bbQ(\sqrt{5})$, respectively.


title: Uniform spectral asymptotics for semiclassical wells on phase space loops

abstract: We consider semiclassical self-adjoint operators whose symbol, defined on a two-dimensional symplectic manifold, reaches a non-degenerate minimum $b_0$ on a closed curve. We derive a classical and quantum normal form which allows us, in addition to the complete integrability of the system, to obtain eigenvalue asymptotics in a window $(-\infty,b_0+\epsilon]$ for $\epsilon > 0$ independent on the semiclassical parameter. These asymptotics are obtained in two complementary settings: either a symmetry of the system under translation along the curve, or a Morse hypothesis reminiscent of Helffer-Sj\"ostrand's "miniwell" situation.


title: Non-associative central extensions of null-filiform associative algebras

abstract: We give the algebraic classification of alternative, left alternative, Jordan, bicommutative, left commutative, assosymmetric, Novikov and left symmetric central extensions of null-filiform associative algebras.


title: The generalized scalar auxiliary variable approach (G-SAV) for gradient flows

abstract: We establish a general framework for developing, efficient energy stable numerical schemes for gradient flows and develop three classes of generalized scalar auxiliary variable approaches (G-SAV). Numerical schemes based on the G-SAV approaches are as efficient as the original SAV schemes \cite{SXY19,cheng2018multiple} for gradient flows, i.e., only require solving linear equations with constant coefficients at each time step, can be unconditionally energy stable. But G-SAV approaches remove the definition restriction that auxiliary variables can only be square root function. The definition form of auxiliary variable is applicable to any reversible function for G-SAV approaches . Ample numerical results for phase field models are presented to validate the effectiveness and accuracy of the proposed G-SAV numerical schemes.


title: Multidimensional dark space and its underlying symmetries: towards dissipation-protected qubits

abstract: Quantum systems are always subject to interactions with an environment, typically resulting in decoherence and distortion of quantum correlations. It has been recently shown that a controlled interaction with the environment may actually help to create a state, dubbed as {\em ``dark''}, which is immune to decoherence. To encode quantum information in the dark states, they need to span a space with a dimensionality larger than one, so different orthogonal states act as a computational basis. We devise a symmetry-based conceptual framework to engineer such degenerate dark spaces (DDS), protected from decoherence by the environment. We illustrate this construction with a model protocol, inspired by the fractional quantum Hall effect, where the DDS basis is isomorphic to a set of degenerate Laughlin states. The long-time steady state of our driven-dissipative model exhibits thus all the characteristics of degenerate vacua of a unitary topological system. This approach offers new possibilities for storing, protecting and manipulating quantum information in open systems.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas quant-ph


title: Diffraction gratings with two-orders-of-magnitude-enhanced dispersion rates for sub-meV-resolution soft x-ray spectroscopy

abstract: Diffraction gratings with large angular dispersion rates are central to obtaining high spectral resolution in grating spectrometers operating over a broad spectral range from infrared to soft-x-ray domains. The greatest challenge is of course to achieve large dispersion rates in the short-wavelength x-ray domain. Here we show that crystals in non-coplanar asymmetric x-ray Bragg diffraction can function as high-reflectance soft-x-ray diffraction gratings with dispersion rates that are at least two orders of magnitude larger than those that are possible with state-of-the-art man-made gratings. This opens new opportunities to design and implement soft x-ray resonant inelastic scattering (RIXS) spectrometers with spectral resolutions that are up to two orders of magnitude higher than what is currently possible, to further advance a very dynamic field of RIXS spectroscopy, and to make it competitive with inelastic neutron scattering. We present examples of large-dispersion-rate crystal diffraction gratings operating near the 930-eV L$_3$ absorption edge in Cu and of the 2.838-keV L$_3$ edge in Ru.


title: Cohomology fractals

abstract: We introduce cohomology fractals; these are certain images associated to a cohomology class on a hyperbolic three-manifold. They include images made entirely from circles, and also images with no geometrically simple features. They are closely related to limit sets of kleinian groups, but have some key differences. As a consequence, we can zoom in almost any direction to arbitrary depth in real time. We present an implementation in the setting of ideal triangulations using ray-casting.


title: Molecule Property Prediction and Classification with Graph Hypernetworks

abstract: Graph neural networks are currently leading the performance charts in learning-based molecule property prediction and classification. Computational chemistry has, therefore, become the a prominent testbed for generic graph neural networks, as well as for specialized message passing methods. In this work, we demonstrate that the replacement of the underlying networks with hypernetworks leads to a boost in performance, obtaining state of the art results in various benchmarks. A major difficulty in the application of hypernetworks is their lack of stability. We tackle this by combining the current message and the first message. A recent work has tackled the training instability of hypernetworks in the context of error correcting codes, by replacing the activation function of the message passing network with a low-order Taylor approximation of it. We demonstrate that our generic solution can replace this domain-specific solution.


title: Rigidity Properties of the Blum Medial Axis

abstract: We consider the Blum medial axis of a region in $\mathbb R^n$ with piecewise smooth boundary and examine its "rigidity properties", by which we mean properties preserved under diffeomorphisms of the regions preserving the medial axis. There are several possible versions of rigidity depending on what features of the Blum medial axis we wish to retain. We use a form of the cross ratio from projective geometry to show that in the case of four smooth sheets of the medial axis meeting along a branching submanifold, the cross ratio defines a function on the branching sheet which must be preserved under any diffeomorphism of the medial axis with another. Second, we show in the generic case, along a Y-branching submanifold that there are three cross ratios involving the three limiting tangent planes of the three smooth sheets and each of the hyperplanes defined by one of the radial lines and the tangent space to the Y-branching submanifold at the point, which again must be preserved. Moreover, the triple of cross ratios then locally uniquely determines the angles between the smooth sheets. Third, we observe that for a diffeomorphism of the region preserving the Blum medial axis and the infinitesimal directions of the radial lines, the second derivative of the diffeomorphism at points of the medial axis must satisfy a condition relating the radial shape operators and hence the differential geometry of the boundaries at corresponding boundary points.


title: Stability and deformation of F-singularities

abstract: We study the problem of $\mathfrak{m}$-adic stability of F-singularities, that is, whether the property that a quotient of a local ring $(R,\mathfrak{m})$ by a non-zero divisor $x \in \mathfrak{m}$ has good F-singularities is preserved in a sufficiently small $\mathfrak{m}$-adic neighborhood of $x$. We show that $\mathfrak{m}$-adic stability holds for F-rationality in full generality, and for F-injectivity, F-purity and strong F-regularity under certain assumptions. We show that strong F-regularity and F-purity are not stable in general. Moreover, we exhibit strong connections between stability and deformation phenomena, which hold in great generality.


title: Non-Stationary Ruijsenaars Functions for $\kappa=t^{-1/N}$ and Intertwining Operators of Ding-Iohara-Miki Algebra

abstract: We construct the non-stationary Ruijsenaars functions (affine analogue of the Macdonald functions) in the special case $\kappa=t^{-1/N}$, using the intertwining operators of the Ding-Iohara-Miki algebra (DIM algebra) associated with $N$-fold Fock tensor spaces. By the $S$-duality of the intertwiners, another expression is obtained for the non-stationary Ruijsenaars functions with $\kappa=t^{-1/N}$, which can be regarded as a natural elliptic lift of the asymptotic Macdonald functions to the multivariate elliptic hypergeometric series. We also investigate some properties of the vertex operator of the DIM algebra appearing in the present algebraic framework; an integral operator which commutes with the elliptic Ruijsenaars operator, and the degeneration of the vertex operators to the Virasoro primary fields in the conformal limit $q \rightarrow 1$.


title: Towards Truck Parking Lot Occupancy Estimation

abstract: Occupied truck parking lots regularly cause hazardous situations. Estimation of current parking lot state could be utilized to provide drivers parking recommendations. In this work, we highlight based on a simulation scenario, how sparse observations, as obtained by a mobile application could be utilized to estimate parking lot occupancy. Our simulated results reveal that a detection of a filled parking lot could be possible with an error of less than half an hour, if the required data would be available.


title: Online Bayesian phylodynamic inference in BEAST with application to epidemic reconstruction

abstract: Reconstructing pathogen dynamics from genetic data as they become available during an outbreak or epidemic represents an important statistical scenario in which observations arrive sequentially in time and one is interested in performing inference in an 'online' fashion. Widely-used Bayesian phylogenetic inference packages are not set up for this purpose, generally requiring one to recompute trees and evolutionary model parameters de novo when new data arrive. To accommodate increasing data flow in a Bayesian phylogenetic framework, we introduce a methodology to efficiently update the posterior distribution with newly available genetic data. Our procedure is implemented in the BEAST 1.10 software package, and relies on a distance-based measure to insert new taxa into the current estimate of the phylogeny and imputes plausible values for new model parameters to accommodate growing dimensionality. This augmentation creates informed starting values and re-uses optimally tuned transition kernels for posterior exploration of growing data sets, reducing the time necessary to converge to target posterior distributions. We apply our framework to data from the recent West African Ebola virus epidemic and demonstrate a considerable reduction in time required to obtain posterior estimates at different time points of the outbreak. Beyond epidemic monitoring, this framework easily finds other applications within the phylogenetics community, where changes in the data -- in terms of alignment changes, sequence addition or removal -- present common scenarios that can benefit from online inference.


title: Hopf algebras on planar trees and permutations

abstract: We endow the space of rooted planar trees with an structure of Hopf algebra. We prove that variations of such a structure lead to Hopf algebras on the spaces of labelled trees, $n$--trees, increasing planar trees and sorted trees. These structures are used to construct Hopf algebras on different types of permutations. In particular, we obtain new characterizations of the Hopf algebras of Malvenuto--Reutenauer and Loday--Ronco via planar rooted trees.


title: High probability decoupling via approximate unitary designs and efficient relative thermalisation

abstract: We prove a new concentration result for non-catalytic decoupling by showing that, for suitably large $t$, applying a unitary chosen uniformly at random from an approximate $t$-design on a quantum system followed by a fixed quantum operation almost decouples, with high probability, the given system from another reference system to which it may initially have been correlated. Earlier works either did not obtain high decoupling probability, or used provably inefficient unitaries, or required catalytic entanglement for decoupling. In contrast, our approximate unitary designs always guarantee decoupling with exponentially high probability and, under certain conditions, lead to computationally efficient unitaries. As a result we conclude that, under suitable conditions, efficiently implementable approximate unitary designs achieve relative thermalisation in quantum thermodynamics with exponentially high probability. We also show the scrambling property of black hole, when the black hole evolution is according to pseudorandom approximate unitary $t$-design, as opposed to the Haar random evolution considered earlier by Hayden-Preskill.


title: Exploiting Rays in Blind Localization of Distributed Sensor Arrays

abstract: Many signal processing algorithms for distributed sensors are capable of improving their performance if the positions of sensors are known. In this paper, we focus on estimators for inferring the relative geometry of distributed arrays and sources, i.e. the setup geometry up to a scaling factor. Firstly, we present the Maximum Likelihood estimator derived under the assumption that the Direction of Arrival measurements follow the von Mises-Fisher distribution. Secondly, using unified notation, we show the relations between the cost functions of a number of state-of-the-art relative geometry estimators. Thirdly, we derive a novel estimator that exploits the concept of rays between the arrays and source event positions. Finally, we show the evaluation results for the presented estimators in various conditions, which indicate that major improvements in the probability of convergence to the optimum solution over the existing approaches can be achieved by using the proposed ray-based estimator.


title: Mathematical conquerors, Unguru polarity, and the task of history

abstract: We compare several approaches to the history of mathematics recently proposed by Blasjo, Fraser--Schroter, Fried, and others. We argue that tools from both mathematics and history are essential for a meaningful history of the discipline. In an extension of the Unguru-Weil controversy over the concept of geometric algebra, Michael Fried presents a case against both Andre Weil the "privileged observer" and Pierre de Fermat the "mathematical conqueror." We analyze Fried's version of Unguru's alleged polarity between a historian's and a mathematician's history. We identify some axioms of Friedian historiographic ideology, and propose a thought experiment to gauge its pertinence. Unguru and his disciples Corry, Fried, and Rowe have described Freudenthal, van der Waerden, and Weil as Platonists but provided no evidence; we provide evidence to the contrary. We analyze how the various historiographic approaches play themselves out in the study of the pioneers of mathematical analysis including Fermat, Leibniz, Euler, and Cauchy.


title: Foreground object segmentation in RGB-D data implemented on GPU

abstract: This paper presents a GPU implementation of two foreground object segmentation algorithms: Gaussian Mixture Model (GMM) and Pixel Based Adaptive Segmenter (PBAS) modified for RGB-D data support. The simultaneous use of colour (RGB) and depth (D) data allows to improve segmentation accuracy, especially in case of colour camouflage, illumination changes and occurrence of shadows. Three GPUs were used to accelerate calculations: embedded NVIDIA Jetson TX2 (Maxwell architecture), mobile NVIDIA GeForce GTX 1050m (Pascal architecture) and efficient NVIDIA RTX 2070 (Turing architecture). Segmentation accuracy comparable to previously published works was obtained. Moreover, the use of a GPU platform allowed to get real-time image processing. In addition, the system has been adapted to work with two RGB-D sensors: RealSense D415 and D435 from Intel.


title: Multi-Modal Music Information Retrieval: Augmenting Audio-Analysis with Visual Computing for Improved Music Video Analysis

abstract: This thesis combines audio-analysis with computer vision to approach Music Information Retrieval (MIR) tasks from a multi-modal perspective. This thesis focuses on the information provided by the visual layer of music videos and how it can be harnessed to augment and improve tasks of the MIR research domain. The main hypothesis of this work is based on the observation that certain expressive categories such as genre or theme can be recognized on the basis of the visual content alone, without the sound being heard. This leads to the hypothesis that there exists a visual language that is used to express mood or genre. In a further consequence it can be concluded that this visual information is music related and thus should be beneficial for the corresponding MIR tasks such as music genre classification or mood recognition. A series of comprehensive experiments and evaluations are conducted which are focused on the extraction of visual information and its application in different MIR tasks. A custom dataset is created, suitable to develop and test visual features which are able to represent music related information. Evaluations range from low-level visual features to high-level concepts retrieved by means of Deep Convolutional Neural Networks. Additionally, new visual features are introduced capturing rhythmic visual patterns. In all of these experiments the audio-based results serve as benchmark for the visual and audio-visual approaches. The experiments are conducted for three MIR tasks Artist Identification, Music Genre Classification and Cross-Genre Classification. Experiments show that an audio-visual approach harnessing high-level semantic information gained from visual concept detection, outperforms audio-only genre-classification accuracy by 16.43%.


title: Alias Resolution Based on ICMP Rate Limiting

abstract: Alias resolution techniques (e.g., Midar) associate, mostly through active measurement, a set of IP addresses as belonging to a common router. These techniques rely on distinct router features that can serve as a signature. Their applicability is affected by router support of the features and the robustness of the signature. This paper presents a new alias resolution tool called Limited Ltd. that exploits ICMP rate limiting, a feature that is increasingly supported by modern routers that has not previously been used for alias resolution. It sends ICMP probes toward target interfaces in order to trigger rate limiting, extracting features from the probe reply loss traces. It uses a machine learning classifier to designate pairs of interfaces as aliases. We describe the details of the algorithm used by Limited Ltd. and illustrate its feasibility and accuracy. Limited Ltd. not only is the first tool that can perform alias resolution on IPv6 routers that do not generate monotonically increasing fragmentation IDs (e.g., Juniper routers) but it also complements the state-of-the-art techniques for IPv4 alias resolution. All of our code and the collected dataset are publicly available.


title: Bandits with Knapsacks beyond the Worst-Case

abstract: Bandits with Knapsacks (BwK) is a general model for multi-armed bandits under supply/budget constraints. While worst-case regret bounds for BwK are well-understood, we present three results that go beyond the worst-case perspective. First, we provide upper and lower bounds which amount to a full characterization for logarithmic, instance-dependent regret rates. Second, we consider "simple regret" in BwK, which tracks algorithm's performance in a given round, and prove that it is small in all but a few rounds. Third, we provide a general "reduction" from BwK to bandits which takes advantage of some known helpful structure, and apply this reduction to combinatorial semi-bandits, linear contextual bandits, and multinomial-logit bandits. Our results build on the BwK algorithm from \citet{AgrawalDevanur-ec14}, providing new analyses thereof.


title: Electrocardiogram Generation and Feature Extraction Using a Variational Autoencoder

abstract: We propose a method for generating an electrocardiogram (ECG) signal for one cardiac cycle using a variational autoencoder. Using this method we extracted a vector of new 25 features, which in many cases can be interpreted. The generated ECG has quite natural appearance. The low value of the Maximum Mean Discrepancy metric, 0.00383, indicates good quality of ECG generation too. The extracted new features will help to improve the quality of automatic diagnostics of cardiovascular diseases. Also, generating new synthetic ECGs will allow us to solve the issue of the lack of labeled ECG for use them in supervised learning.


title: A Path Integral approach to Quantum Fluid Dynamics

abstract: In this work we develop an alternative approach for solution of Quantum Trajectories using the Path Integral method. The state-of-the-art technique in the field is to solve a set of non-linear, coupled partial differential equations (PDEs) simultaneously. We opt for a fundamentally different route. We first derive a general closed form expression for the Path Integral propagator valid for any general potential as a functional of the corresponding classical path. The method is exact and is applicable in many dimensions as well as multi-particle cases. This, then, is used to compute the Quantum Potential (QP), which, in turn, can generate the Quantum Trajectories. For cases, where closed form solution is not possible, the problem is formally boiled down to solving the classical path as a boundary value problem. The work formally bridges the Path Integral approach with Quantum Fluid Dynamics. As a model application to illustrate the method, we work out a toy model viz. the double-well potential, where the boundary value problem for the classical path has been computed perturbatively, but the Quantum part is left exact. Using this we delve into seeking insight in one of the long standing debates with regard to Quantum Tunneling.


title: On the scaling of composite operators in Asymptotic Safety

abstract: The Asymptotic Safety hypothesis states that the high-energy completion of gravity is provided by an interacting renormalization group fixed point. This implies non-trivial quantum corrections to the scaling dimensions of operators and correlation functions which are characteristic for the corresponding universality class. We use the composite operator formalism for the effective average action to derive an analytic expression for the scaling dimension of an infinite family of geometric operators $\int d^dx \sqrt{g} R^n$. We demonstrate that the anomalous dimensions interpolate continuously between their fixed point value and zero when evaluated along renormalization group trajectories approximating classical general relativity at low energy. Thus classical geometry emerges when quantum fluctuations are integrated out. We also compare our results to the stability properties of the interacting renormalization group fixed point projected to $f(R)$-gravity, showing that the composite operator formalism in the single-operator approximation cannot be used to reliably determine the number of relevant parameters of the theory.


title: Compositional Construction of Control Barrier Functions for Interconnected Control Systems

abstract: In this paper, we provide a compositional framework for synthesizing hybrid controllers for interconnected discrete-time control systems enforcing specifications expressed by co-Buchi automata. In particular, we first decompose the given specification to simpler reachability tasks based on automata representing the complements of original co-Buchi automata. Then, we provide a systematic approach to solve those simpler reachability tasks by computing corresponding control barrier functions. We show that such control barrier functions can be constructed compositionally by assuming some small-gain type conditions and composing so-called local control barrier functions computed for subsystems. We provide two systematic techniques to search for local control barrier functions for subsystems based on the sum-of-squares optimization program and counter-example guided inductive synthesis approach. Finally, we illustrate the effectiveness of our results through two large-scale case studies.


title: Excluded minors for the Klein Bottle I. Low connectivity case

abstract: Graphs that are critical (minimal excluded minors) for embeddability in surfaces are studied. In Part I we consider the structure of graphs with a 2-vertex-cut that are critical with respect to the Euler genus. A general theorem describing the building blocks is presented. These constituents, called hoppers and cascades, are classified for the case when Euler genus is small. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained. This is the first complete result about obstructions for embeddability of graphs in the Klein bottle, and the outcome is somewhat surprising in the sense that there are considerably fewer excluded minors than expected.


title: Characterization of velocity-gradient dynamics in incompressible turbulence using local streamline geometry

abstract: This study develops a comprehensive description of local streamline geometry and uses the resulting shape features to characterize velocity gradient ($A_{ij}$) dynamics. The local streamline geometric shape parameters and scale-factor (size) are extracted from $A_{ij}$ by extending the linearized critical point analysis. In the present analysis, $A_{ij}$ is factorized into its magnitude ($A \equiv \sqrt{A_{ij}A_{ij}}$) and normalized tensor $b_{ij} \equiv A_{ij}/A$. The geometric shape is shown to be determined exclusively by four $b_{ij}$ parameters -- second invariant, $q$; third invariant, $r$; intermediate strain-rate eigenvalue, $a_2$; and, angle between vorticity and intermediate strain-rate eigenvector, $\omega_2$. Velocity gradient magnitude $A$ plays a role only in determining the scale of the local streamline structure. Direct numerical simulation data of forced isotropic turbulence ($Re_\lambda \sim 200 - 600$) is used to establish streamline shape and scale distribution and, then to characterize velocity-gradient dynamics. Conditional mean trajectories (CMTs) in $q$-$r$ space reveal important non-local features of pressure and viscous dynamics which are not evident from the $A_{ij}$-invariants. Two distinct types of $q$-$r$ CMTs demarcated by a separatrix are identified. The inner trajectories are dominated by inertia-pressure interactions and the viscous effects play a significant role only in the outer trajectories. Dynamical system characterization of inertial, pressure and viscous effects in the $q$-$r$ phase space is developed. Additionally, it is shown that the residence time of $q$-$r$ CMTs through different topologies correlate well with the corresponding population fractions. These findings not only lead to improved understanding of non-local dynamics, but also provide an important foundation for developing Lagrangian velocity-gradient models.


title: Finite-Time Analysis of Asynchronous Stochastic Approximation and $Q$-Learning

abstract: We consider a general asynchronous Stochastic Approximation (SA) scheme featuring a weighted infinity-norm contractive operator, and prove a bound on its finite-time convergence rate on a single trajectory. Additionally, we specialize the result to asynchronous $Q$-learning. The resulting bound matches the sharpest available bound for synchronous $Q$-learning, and improves over previous known bounds for asynchronous $Q$-learning.


title: Excluded minors for the Klein Bottle II. Cascades

abstract: Graphs that are critical (minimal excluded minors) for embeddability in surfaces are studied. In Part I, it was shown that graphs that are critical for embeddings into surfaces of Euler genus $k$ or for embeddings into nonorientable surface of genus $k$ are built from 3-connected components, called hoppers and cascades. In Part II, all cascades for Euler genus 2 are classified. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained.


title: Warming or cooling from a random walk process in the temperature

abstract: A simple 3-parameter random walk model for monthly fluctuations $\triangle T$ of a temperature $T$ is introduced. Applied to a time range of 170 years, temperature fluctuations of the model produce for about 14\% of the runs warming that exceeds the observed global warming of the earth surface temperature from 1850 to 2019. On the other hand, there is a 50\% likelihood for runs of our model resulting in cooling. If a similar random walk process can be used as an effective model for fluctuations of the global earth surface temperature, effects due to internal and external forcing could be considerably over- or underestimated.


title: Edge-cuts Optimized for Average Weight: a new alternative to Ford and Fulkerson

abstract: Let $G$ be a directed graph associated with a weight $w: E(G) \rightarrow R^+$. For an edge-cut $Q$ of $G$, the average weight of $Q$ is denoted and defined as $w_{ave}(Q)=\frac{\sum_{e\in Q}w(e)}{|Q|}$. An edge-cut of optimal average weight is an edge-cut $Q$ such that $w_{ave}(Q)$ is maximum among all edge-cuts (or minimum, symmetrically). In this paper, a polynomial algorithm for this problem is proved for finding such an optimal edge-cut in a rooted tree, separating the root and the set of all leafs. This algorithm enables us to develop an automatic clustering method with more accurate detection of communities embedded in a hierarchy tree structure.


title: Few-Shot Scene Adaptive Crowd Counting Using Meta-Learning

abstract: We consider the problem of few-shot scene adaptive crowd counting. Given a target camera scene, our goal is to adapt a model to this specific scene with only a few labeled images of that scene. The solution to this problem has potential applications in numerous real-world scenarios, where we ideally like to deploy a crowd counting model specially adapted to a target camera. We accomplish this challenge by taking inspiration from the recently introduced learning-to-learn paradigm in the context of few-shot regime. In training, our method learns the model parameters in a way that facilitates the fast adaptation to the target scene. At test time, given a target scene with a small number of labeled data, our method quickly adapts to that scene with a few gradient updates to the learned parameters. Our extensive experimental results show that the proposed approach outperforms other alternatives in few-shot scene adaptive crowd counting. Code is available at https://github.com/maheshkkumar/fscc.


title: Molecular Tagging Velocimetry in Superfluid Helium-4: Progress, Issues, and Future Development

abstract: Helium-4 in the superfluid phase (He II) is a two-fluid system that exhibits fascinating quantum hydrodynamics with important scientific and engineering applications. However, the lack of high-precision flow measurement tools in He II has impeded the progress in understanding and utilizing its hydrodynamics. In recent years, there have been extensive efforts in developing quantitative flow visualization techniques applicable to He II. In particular, a powerful molecular tagging velocimetry (MTV) technique, based on tracking thin lines of He$^*_2$ excimer molecules created via femtosecond laser-field ionization in helium, has been developed in our lab. This technique allows unambiguous measurement of the normal-fluid velocity field in the two-fluid system. Nevertheless, there are two limitations of this technique: 1) only the velocity component perpendicular to the tracer line can be measured; and 2) there is an inherent error in determining the perpendicular velocity. In this paper, we discuss how these issues can be resolved by advancing the MTV technique. We also discuss two novel schemes for tagging and producing He$^*_2$ tracers. The first method allows the creation of a tagged He$^*_2$ tracer line without the use of an expensive femtosecond laser. The second method enables full-space velocity field measurement through tracking small clouds of He$^*_2$ molecules created via neutron-$^3$He absorption reactions in He II.


title: Weibel's conjecture for twisted K-theory

abstract: We prove Weibel's conjecture for twisted $K$-theory when twisting by a smooth proper connective dg-algebra. Our main contribution is showing we can kill a negative twisted $K$-theory class using a projective birational morphism (in the same twisted setting). We extend the vanishing result to relative twisted $K$-theory of a smooth affine morphism and describe counter examples to some similar extensions.


title: Oscillating Neutrinos and Majorana Neutrino Masses

abstract: The texture zero mass matrices for the leptons and the seesaw mechanism are used to derive relations between the matrix elements of the lepton mixing matrix and the ratios of the neutrino masses.


title: On the order theory for $\mathcal{C}^\infty$-reduced $\mathcal{C}^\infty$-Rings and applications

abstract: In the present work we carry on the study of the order theory for ($\mathcal{C}^{\infty}-$-reduced) $\mathcal{C}^{\infty}-$-rings initiated in \cite{rings1} (see also \cite{BM2}). In particular, we apply some results of the order theory of $\mathcal{C}^{\infty}-$-fields (e.g., every such field is real closed) to present another approach to the order theory of general $\mathcal{C}^{\infty}-$-rings: "smooth real spectra" (see \cite{separation}). This suggests that a model-theoretic investigation of the class of $\mathcal{C}^{\infty}-$-fields could be interesting and also useful to provide the first steps towards the development of the "Real Algebraic Geometry" of $\mathcal{C}^{\infty}-$-rings.


title: A Tutorial on Learning With Bayesian Networks

abstract: A Bayesian network is a graphical model that encodes probabilistic relationships among variables of interest. When used in conjunction with statistical techniques, the graphical model has several advantages for data analysis. One, because the model encodes dependencies among all variables, it readily handles situations where some data entries are missing. Two, a Bayesian network can be used to learn causal relationships, and hence can be used to gain understanding about a problem domain and to predict the consequences of intervention. Three, because the model has both a causal and probabilistic semantics, it is an ideal representation for combining prior knowledge (which often comes in causal form) and data. Four, Bayesian statistical methods in conjunction with Bayesian networks offer an efficient and principled approach for avoiding the overfitting of data. In this paper, we discuss methods for constructing Bayesian networks from prior knowledge and summarize Bayesian statistical methods for using data to improve these models. With regard to the latter task, we describe methods for learning both the parameters and structure of a Bayesian network, including techniques for learning with incomplete data. In addition, we relate Bayesian-network methods for learning to techniques for supervised and unsupervised learning. We illustrate the graphical-modeling approach using a real-world case study.


title: A New Derivative-Free Linear Approximation for Solving the Network Water Flow Problem with Convergence Guarantees

abstract: Addressing challenges in urban water infrastructure systems including aging infrastructure, supply uncertainty, extreme events, and security threats, depend highly on water distribution networks modeling emphasizing the importance of realistic assumptions, modeling complexities, and scalable solutions. In this study, we propose a derivative-free, linear approximation for solving the network water flow problem (WFP). The proposed approach takes advantage of the special form of the nonlinear head loss equations and, after the transformation of variables and constraints, the WFP reduces to a linear optimization problem that can be efficiently solved by modern linear solvers. Ultimately, the proposed approach amounts to solving a series of linear optimization problems. We demonstrate the proposed approach through several case studies and show that the approach can model arbitrary network topologies and various types of valves and pumps, thus providing modeling flexibility. Under mild conditions, we show that the proposed linear approximation converges. We provide sensitivity analysis and discuss in detail the current limitations of our approach and suggest solutions to overcome these. All the codes, tested networks, and results are freely available on Github for research reproducibility.


title: Dynamic Quantum Games

abstract: Quantum games represent the really 21st century branch of game theory, tightly linked to the modern development of quantum computing and quantum technologies. The main accent in these developments so far was made on stationary or repeated games. In this paper we aim at initiating the truly dynamic theory with strategies chosen by players in real time. Since direct continuous observations are known to destroy quantum evolutions (so-called quantum Zeno paradox) the necessary new ingredient for quantum dynamic games must be the theory of non-direct observations and the corresponding quantum filtering. Apart from the technical problems in organising feedback quantum control in real time, the difficulty in applying this theory for obtaining mathematically amenable control systems is due partially to the fact that it leads usually to rather nontrivial jump-type Markov processes and/or degenerate diffusions on manifolds, for which the corresponding control is very difficult to handle. The starting point for the present research is the remarkable discovery (quite unexpected, at least to the author) that there exists a very natural class of homodyne detections such that the diffusion processes on projective spaces resulting by filtering under such arrangements coincide exactly with the standard Brownian motions (BM) on these spaces. In some cases one can even reduce the process to the plain BM on Euclidean spaces or tori. The theory of such motions is well studied making it possible to develop a tractable theory of related control and games, which can be at the same time practically implemented on quantum optical devices.


title: Determination of the effective kinematic viscosity for the decay of quasiclassical turbulence in superfluid $^4$He

abstract: The energy dissipation of quasiclassical homogeneous turbulence in superfluid $^4$He (He II) is controlled by an effective kinematic viscosity $\nu'$, which relates the energy decay rate $dE/dt$ to the density of quantized vortex lines $L$ as $dE/dt=-{\nu'}({\kappa}L)^2$. The precise value of $\nu'$ is of fundamental importance in developing our understanding of the dissipation mechanism in He II, and it is also needed in many high Reynolds number turbulence experiments and model testing that use He II as the working fluid. However, a reliable determination of $\nu'$ requires the measurements of both $E(t)$ and $L(t)$, which was never achieved. Here we discuss our study of the quasiclassical turbulence that emerges in the decay of thermal counterflow in He II at above 1 K. We were able to measure $E(t)$ using a recently developed flow visualization technique and $L(t)$ via second sound attenuation. We report the $\nu'$ values in a wide temperature range determined for the first time from a comparison of the time evolution of $E(t)$ and $L(t)$.


title: A New Spectral Analysis of the Sixth-order Krall Differential Expression

abstract: In this paper, we construct a self-adjoint operator T generated by the sixth-order Krall differential expression in the extended Hilbert space L^2(-1,1) + C^2. To obtain T, we apply a new general theory, the so-called GKN-EM theory, developed recently by Littlejohn and Wellman that extends the classical Glazman-Krein-Naimark theory using a complex symplectic geometric approach developed by Everitt and Markus. This work extends earlier studies of the Krall expression by both Littlejohn and Loveland.


title: A Corrective View of Neural Networks: Representation, Memorization and Learning

abstract: We develop a corrective mechanism for neural network approximation: the total available non-linear units are divided into multiple groups and the first group approximates the function under consideration, the second group approximates the error in approximation produced by the first group and corrects it, the third group approximates the error produced by the first and second groups together and so on. This technique yields several new representation and learning results for neural networks. First, we show that two-layer neural networks in the random features regime (RF) can memorize arbitrary labels for arbitrary points under under Euclidean distance separation condition using $\tilde{O}(n)$ ReLUs which is optimal in $n$ up to logarithmic factors. Next, we give a powerful representation result for two-layer neural networks with ReLUs and smoothed ReLUs which can achieve a squared error of at most $\epsilon$ with $O(C(a,d)\epsilon^{-1/(a+1)})$ for $a \in \mathbb{N}\cup\{0\}$ when the function is smooth enough (roughly when it has $\Theta(ad)$ bounded derivatives). In certain cases $d$ can be replaced with effective dimension $q \ll d$. Previous results of this type implement Taylor series approximation using deep architectures. We also consider three-layer neural networks and show that the corrective mechanism yields faster representation rates for smooth radial functions. Lastly, we obtain the first $O(\mathrm{subpoly}(1/\epsilon))$ upper bound on the number of neurons required for a two layer network to learn low degree polynomials up to squared error $\epsilon$ via gradient descent. Even though deep networks can express these polynomials with $O(\mathrm{polylog}(1/\epsilon))$ neurons, the best learning bounds on this problem require $\mathrm{poly}(1/\epsilon)$ neurons.


title: Data-Driven Stochastic Optimization for Power Grids Scheduling under High Wind Penetration

abstract: To address the environmental concern and improve the economic efficiency, the wind power is rapidly integrated into smart grids. However, the inherent uncertainty of wind energy raises operational challenges. To ensure the cost-efficient, reliable and robust operation, it is critically important to find the optimal decision that can correctly and rigorously hedge against all sources of uncertainty. In this paper, we propose data-driven stochastic unit commitment (SUC) to guide the power grids scheduling. Specifically, given the finite historical data, the posterior predictive distribution is developed to quantify the wind power prediction uncertainty accounting for both inherent stochastic uncertainty of wind power generation and input model estimation error. For complex power grid systems, a finite number of scenarios is used to estimate the expected cost in the planning horizon. To further control the impact of finite sampling error induced by using the sample average approximation (SAA), we propose a parallel computing based optimization solution methodology, which can quickly find the reliable optimal unit commitment decision hedging against various sources of uncertainty. The empirical study over six-bus and 118-bus systems demonstrates that our approach can provide more efficient and robust performance than the existing deterministic and stochastic unit commitment approaches.


title: Variational Item Response Theory: Fast, Accurate, and Expressive

abstract: Item Response Theory (IRT) is a ubiquitous model for understanding humans based on their responses to questions, used in fields as diverse as education, medicine and psychology. Large modern datasets offer opportunities to capture more nuances in human behavior, potentially improving test scoring and better informing public policy. Yet larger datasets pose a difficult speed / accuracy challenge to contemporary algorithms for fitting IRT models. We introduce a variational Bayesian inference algorithm for IRT, and show that it is fast and scaleable without sacrificing accuracy. Using this inference approach we then extend classic IRT with expressive Bayesian models of responses. Applying this method to five large-scale item response datasets from cognitive science and education yields higher log likelihoods and improvements in imputing missing data. The algorithm implementation is open-source, and easily usable.


title: A stochastic kinetic scheme for multi-scale flow transport with uncertainty quantification

abstract: Gaseous flows show a diverse set of behaviors on different characteristic scales. Given the coarse-grained modeling in theories of fluids, considerable uncertainties may exist between the flow-field solutions and the real physics. To study the emergence, propagation and evolution of uncertainties from molecular to hydrodynamic level poses great opportunities and challenges to develop both sound theories and reliable multi-scale numerical algorithms. In this paper, a new stochastic kinetic scheme will be developed that includes uncertainties via a hybridization of stochastic Galerkin and collocation methods. Based on the Boltzmann-BGK model equation, a scale-dependent evolving solution is employed in the scheme to construct governing equations in the discretized temporal-spatial domain. Therefore typical flow physics can be recovered with respect to different physical characteristic scales and numerical resolutions in a self-adaptive manner. We prove that the scheme is formally asymptotic-preserving in different flow regimes with the inclusion of random variables, so that it can be used for the study of multi-scale non-equilibrium gas dynamics under the effect of uncertainties. Several numerical experiments are shown to validate the scheme. We make new physical observations, such as the wave-propagation patterns of uncertainties from continuum to rarefied regimes. These phenomena will be presented and analyzed quantitatively. The current method provides a novel tool to quantify the uncertainties within multi-scale flow evolutions.


title: Inverse square L\'evy walks are not optimal search strategies for $d\ge 2$

abstract: The L\'evy hypothesis states that inverse square L\'evy walks are optimal search strategies because they maximise the encounter rate with sparse, randomly distributed, replenishable targets. It has served as a theoretical basis to interpret a wealth of experimental data at various scales, from molecular motors to animals looking for resources, putting forward the conclusion that many living organisms perform L\'evy walks to explore space because of their optimal efficiency. Here we provide analytically the dependence on target density of the encounter rate of L\'evy walks for any space dimension $d$ ; in particular, this scaling is shown to be {\it independent} of the L\'evy exponent $\alpha$ for the biologically relevant case $d\ge 2$, which proves that the founding result of the L\'evy hypothesis is incorrect. As a consequence, we show that optimizing the encounter rate with respect to $\alpha$ is {\it irrelevant} : it does not change the scaling with density and can lead virtually to {\it any} optimal value of $\alpha$ depending on system dependent modeling choices. The conclusion that observed inverse square L\'evy patterns are the result of a common selection process based purely on the kinetics of the search behaviour is therefore unfounded.


title: Module structure of the homology of right-angled Artin kernels

abstract: In this paper, we study the module structure of the homology of Artin kernels, i.e., kernels of non-resonant characters from right-angled Artin groups onto the integer numbers, the module structure being with respect to the ring $\mathbb{K}[t^{\pm 1}]$, where $\mathbb{K}$ is a field of characteristic zero. Papadima and Suciu determined some part of this structure by means of the flag complex of the graph of the Artin group. In this work, we provide more properties of the torsion part of this module, e.g., the dimension of each primary part and the maximal size of Jordan forms (if we interpret the torsion structure in terms of a linear map). These properties are stated in terms of homology properties of suitable filtrations of the flag complex and suitable double covers of an associated toric complex.


title: A Kernel-Based Explicit Unconditionally Stable Scheme for Hamilton-Jacobi Equations on Nonuniform Meshes

abstract: In \cite{christlieb2019kernel}, the authors developed a class of high-order numerical schemes for the Hamilton-Jacobi (H-J) equations, which are unconditionally stable, yet take the form of an explicit scheme. This paper extends such schemes, so that they are more effective at capturing sharp gradients, especially on nonuniform meshes. In particular, we modify the weighted essentially non-oscillatory (WENO) methodology in the previously developed schemes by incorporating an exponential basis and adapting the previously developed nonlinear filters used to control oscillations. The main advantages of the proposed schemes are their effectiveness and simplicity, since they can be easily implemented on higher-dimensional nonuniform meshes. We perform numerical experiments on a collection of examples, including H-J equations with linear, nonlinear, convex and non-convex Hamiltonians. To demonstrate the flexibility of the proposed schemes, we also include test problems defined on non-trivial geometry.


title: Parallel convolution processing using an integrated photonic tensor core

abstract: With the proliferation of ultra-high-speed mobile networks and internet-connected devices, along with the rise of artificial intelligence, the world is generating exponentially increasing amounts of data - data that needs to be processed in a fast, efficient and smart way. These developments are pushing the limits of existing computing paradigms, and highly parallelized, fast and scalable hardware concepts are becoming progressively more important. Here, we demonstrate a computational specific integrated photonic tensor core - the optical analog of an ASIC-capable of operating at Tera-Multiply-Accumulate per second (TMAC/s) speeds. The photonic core achieves parallelized photonic in-memory computing using phase-change memory arrays and photonic chip-based optical frequency combs (soliton microcombs). The computation is reduced to measuring the optical transmission of reconfigurable and non-resonant passive components and can operate at a bandwidth exceeding 14 GHz, limited only by the speed of the modulators and photodetectors. Given recent advances in hybrid integration of soliton microcombs at microwave line rates, ultra-low loss silicon nitride waveguides, and high speed on-chip detectors and modulators, our approach provides a path towards full CMOS wafer-scale integration of the photonic tensor core. While we focus on convolution processing, more generally our results indicate the major potential of integrated photonics for parallel, fast, and efficient computational hardware in demanding AI applications such as autonomous driving, live video processing, and next generation cloud computing services.


title: The Hilbert-Kunz function of some quadratic quotients of the Rees algebra

abstract: Given a commutative local ring $(R,\mathfrak m)$ and an ideal $I$ of $R$, a family of quotients of the Rees algebra $R[It]$ has been recently studied as a unified approach to the Nagata's idealization and the amalgamated duplication and as a way to construct interesting examples, especially integral domains. When $R$ is noetherian of prime characteristic, we compute the Hilbert-Kunz function of the members of this family and, provided that either $I$ is $\mathfrak{m}$-primary or $R$ is regular and F-finite, we also find their Hilbert-Kunz multiplicity. Some consequences and examples are explored.


title: Fiedler Vector Approximation via Interacting Random Walks

abstract: The Fiedler vector of a graph, namely the eigenvector corresponding to the second smallest eigenvalue of a graph Laplacian matrix, plays an important role in spectral graph theory with applications in problems such as graph bi-partitioning and envelope reduction. Algorithms designed to estimate this quantity usually rely on a priori knowledge of the entire graph, and employ techniques such as graph sparsification and power iterations, which have obvious shortcomings in cases where the graph is unknown, or changing dynamically. In this paper, we develop a framework in which we construct a stochastic process based on a set of interacting random walks on a graph and show that a suitably scaled version of our stochastic process converges to the Fiedler vector for a sufficiently large number of walks. Like other techniques based on exploratory random walks and on-the-fly computations, such as Markov Chain Monte Carlo (MCMC), our algorithm overcomes challenges typically faced by power iteration based approaches. But, unlike any existing random walk based method such as MCMCs where the focus is on the leading eigenvector, our framework with interacting random walks converges to the Fiedler vector (second eigenvector). We also provide numerical results to confirm our theoretical findings on different graphs, and show that our algorithm performs well over a wide range of parameters and the number of random walks. Simulations results over time varying dynamic graphs are also provided to show the efficacy of our random walk based technique in such settings. As an important contribution, we extend our results and show that our framework is applicable for approximating not just the Fiedler vector of graph Laplacians, but also the second eigenvector of any time reversible Markov Chain kernel via interacting random walks.


title: Thermodynamic uncertainty relation in atomic-scale quantum conductors

abstract: The thermodynamic uncertainty relation (TUR) is expected to hold in nanoscale electronic conductors, when the electron transport process is quantum coherent and the transmission probability is constant (energy and voltage independent). We present measurements of the electron current and its noise in gold atomic-scale junctions and confirm the validity of the TUR for electron transport in realistic quantum coherent conductors. Furthermore, we show that it is beneficial to present the current and its noise as a TUR ratio in order to identify deviations from noninteracting-electron coherent dynamics.


title: An Invariant Approach to Weyl's unified field theory

abstract: We revisit Weyl's unified field theory, which arose in 1918, shortly after general relativity was discovered. As is well known, in order to extend the program of geometrization of physics started by Einstein to include the electromagnetic field, H. Weyl developed a new geometry which constitutes a kind of generalization of Riemannian geometry. However, despite its mathematical elegance and beauty, a serious objection was made by Einstein, who considered Weyl's theory not suitable as a physical theory since it seemed to lead to the prediction of a not yet observed effect, the so-called "second clock effect" . In this paper, our aim is to discuss Weyl's proposal anew and examine its consistency and completeness as a physical theory. Finally, we propose new directions and possible conceptual changes in the original work. As an application, we solve the field equations assuming a Friedmann-Robertson-Walker universe and a perfect fluid as its source. Although we have entirely abandoned Weyl's atempt to identify the vector field with the 4-dimensional electromagnetic potentials, which here must be simply viewed as part of the space-time geometry, we believe that in this way we could perhaps be led to a rich and interesting new modified gravity theory.


title: Families of monotone Lagrangians in Brieskorn--Pham hypersurfaces

abstract: We present techniques, inspired by monodromy considerations, for constructing compact monotone Lagrangians in certain affine hypersurfaces, chiefly of Brieskorn-Pham type. We focus on dimensions 2 and 3, though the constructions generalise to higher ones. The techniques give significant latitude in controlling the homology class, Maslov class and monotonicity constant of the Lagrangian, and a range of possible diffeomorphism types; they are also explicit enough to be amenable to calculations of pseudo-holomorphic curve invariants. Applications include infinite families of monotone Lagrangian $S^1 \times \Sigma_g$ in $\mathbb{C}^3$, distinguished by soft invariants for any genus $g \geq 2$; and, for fixed soft invariants, a range of infinite families of Lagrangians in Brieskorn-Pham hypersurfaces. These are generally distinct up to Hamiltonian isotopy. In specific cases, we also set up well-defined counts of Maslov zero holomorphic annuli, which distinguish the Lagrangians up to compactly supported symplectomorphisms. Inter alia, these give families of exact monotone Lagrangian tori which are related neither by geometric mutation nor by compactly supported symplectomorphisms.


title: Efficient and Robust Algorithms for Adversarial Linear Contextual Bandits

abstract: We consider an adversarial variant of the classic $K$-armed linear contextual bandit problem where the sequence of loss functions associated with each arm are allowed to change without restriction over time. Under the assumption that the $d$-dimensional contexts are generated i.i.d.~at random from a known distributions, we develop computationally efficient algorithms based on the classic Exp3 algorithm. Our first algorithm, RealLinExp3, is shown to achieve a regret guarantee of $\widetilde{O}(\sqrt{KdT})$ over $T$ rounds, which matches the best available bound for this problem. Our second algorithm, RobustLinExp3, is shown to be robust to misspecification, in that it achieves a regret bound of $\widetilde{O}((Kd)^{1/3}T^{2/3}) + \varepsilon \sqrt{d} T$ if the true reward function is linear up to an additive nonlinear error uniformly bounded in absolute value by $\varepsilon$. To our knowledge, our performance guarantees constitute the very first results on this problem setting.


title: The Sylvester Graphical Lasso (SyGlasso)

abstract: This paper introduces the Sylvester graphical lasso (SyGlasso) that captures multiway dependencies present in tensor-valued data. The model is based on the Sylvester equation that defines a generative model. The proposed model complements the tensor graphical lasso (Greenewald et al., 2019) that imposes a Kronecker sum model for the inverse covariance matrix by providing an alternative Kronecker sum model that is generative and interpretable. A nodewise regression approach is adopted for estimating the conditional independence relationships among variables. The statistical convergence of the method is established, and empirical studies are provided to demonstrate the recovery of meaningful conditional dependency graphs. We apply the SyGlasso to an electroencephalography (EEG) study to compare the brain connectivity of alcoholic and nonalcoholic subjects. We demonstrate that our model can simultaneously estimate both the brain connectivity and its temporal dependencies.


title: Three results on transcendental meromorphic solutions of certain nonlinear differential equations

abstract: In this paper, we study the transcendental meromorphic solutions for the nonlinear differential equations: $f^{n}+P(f)=R(z)e^{\alpha(z)}$ and $f^{n}+P_{*}(f)=p_{1}(z)e^{\alpha_{1}(z)}+p_{2}(z)e^{\alpha_{2}(z)}$ in the complex plane, where $P(f)$ and $P_{*}(f)$ are differential polynomials in $f$ of degree $n-1$ with coefficients being small functions and rational functions respectively, $R$ is a non-vanishing small function of $f$, $\alpha$ is a nonconstant entire function, $p_{1}, p_{2}$ are non-vanishing rational functions, and $\alpha_{1}, \alpha_{2}$ are nonconstant polynomials. Particularly, we consider the solutions of the second equation when $p_{1}, p_{2}$ are nonzero constants, and $\deg \alpha_{1}=\deg \alpha_{2}=1$. Our results are improvements and complements of Liao (Complex Var. Elliptic Equ. 2015, 60(6): 748--756), and Rong-Xu (Mathematics 2019, 7, 539), etc., which partially answer a question proposed by Li (J. Math. Anal. Appl. 2011, 375: 310--319).


title: On matrices of endomorphisms of abelian varieties

abstract: We study endomorphisms of abelian varieties and their action on the l-adic Tate modules. We prove that for every endomorphism one may choose a basis of each Tate module such that the corresponding matrix has rational entries and does not depend on l.


title: Oracle Lower Bounds for Stochastic Gradient Sampling Algorithms

abstract: We consider the problem of sampling from a strongly log-concave density in $\mathbb{R}^d$, and prove an information theoretic lower bound on the number of stochastic gradient queries of the log density needed. Several popular sampling algorithms (including many Markov chain Monte Carlo methods) operate by using stochastic gradients of the log density to generate a sample; our results establish an information theoretic limit for all these algorithms. We show that for every algorithm, there exists a well-conditioned strongly log-concave target density for which the distribution of points generated by the algorithm would be at least $\varepsilon$ away from the target in total variation distance if the number of gradient queries is less than $\Omega(\sigma^2 d/\varepsilon^2)$, where $\sigma^2 d$ is the variance of the stochastic gradient. Our lower bound follows by combining the ideas of Le Cam deficiency routinely used in the comparison of statistical experiments along with standard information theoretic tools used in lower bounding Bayes risk functions. To the best of our knowledge our results provide the first nontrivial dimension-dependent lower bound for this problem.


title: Computational and analytical studies of the Randi\'c index in Erd\"os-R\'{e}nyi models

abstract: In this work we perform computational and analytical studies of the Randi\'c index $R(G)$ in Erd\"os-R\'{e}nyi models $G(n,p)$ characterized by $n$ vertices connected independently with probability $p \in (0,1)$. First, from a detailed scaling analysis, we show that $\left\langle \overline{R}(G) \right\rangle = \left\langle R(G)\right\rangle/(n/2)$ scales with the product $\xi\approx np$, so we can define three regimes: a regime of mostly isolated vertices when $\xi < 0.01$ ($R(G)\approx 0$), a transition regime for $0.01 < \xi < 10$ (where $0<R(G)< n/2$), and a regime of almost complete graphs for $\xi > 10$ ($R(G)\approx n/2$). Then, motivated by the scaling of $\left\langle \overline{R}(G) \right\rangle$, we analytically (i) obtain new relations connecting $R(G)$ with other topological indices and characterize graphs which are extremal with respect to the relations obtained and (ii) apply these results in order to obtain inequalities on $R(G)$ for graphs in Erd\"os-R\'{e}nyi models.


title: Beat the AI: Investigating Adversarial Human Annotation for Reading Comprehension

abstract: Innovations in annotation methodology have been a catalyst for Reading Comprehension (RC) datasets and models. One recent trend to challenge current RC models is to involve a model in the annotation process: humans create questions adversarially, such that the model fails to answer them correctly. In this work we investigate this annotation methodology and apply it in three different settings, collecting a total of 36,000 samples with progressively stronger models in the annotation loop. This allows us to explore questions such as the reproducibility of the adversarial effect, transfer from data collected with varying model-in-the-loop strengths, and generalisation to data collected without a model. We find that training on adversarially collected samples leads to strong generalisation to non-adversarially collected datasets, yet with progressive performance deterioration with increasingly stronger models-in-the-loop. Furthermore, we find that stronger models can still learn from datasets collected with substantially weaker models-in-the-loop. When trained on data collected with a BiDAF model in the loop, RoBERTa achieves 39.9F1 on questions that it cannot answer when trained on SQuAD - only marginally lower than when trained on data collected using RoBERTa itself (41.0F1).


title: Performance Analysis of Mobile Cellular-Connected Drones under Practical Antenna Configurations

abstract: Providing seamless connectivity to unmanned aerial vehicle user equipments (UAV-UEs) is very challenging due to the encountered line-of-sight interference and reduced gains of down-tilted base station (BS) antennas. For instance, as the altitude of UAV-UEs increases, their cell association and handover procedure become driven by the side-lobes of the BS antennas. In this paper, the performance of cellular-connected UAV-UEs is studied under 3D practical antenna configurations. Two scenarios are studied: scenarios with static, hovering UAV- UEs and scenarios with mobile UAV-UEs. For both scenarios, the UAV-UE coverage probability is characterized as a function of the system parameters. The effects of the number of antenna elements on the UAV-UE coverage probability and handover rate of mobile UAV-UEs are then investigated. Results reveal that the UAV-UE coverage probability under a practical antenna pattern is worse than that under a simple antenna model. Moreover, vertically-mobile UAV-UEs are susceptible to altitude handover due to consecutive crossings of the nulls and peaks of the antenna side-lobes.


title: The group of rational points on the Holm curve is torsion-free

abstract: Using the division polynomials for elliptic curves in Weierstrass form, it shown that the group of rational points on the curve $H: ky(yy - 1) = lx(xx - 1)$ is torsion-free.


title: Extracting the Gravitational Recoil from Black Hole Merger Signals

abstract: Gravitational waves carry energy, angular momentum, and linear momentum. In generic binary black hole mergers, the loss of linear momentum imparts a recoil velocity, or a "kick", to the remnant black hole. We exploit recent advances in gravitational waveform and remnant black hole modeling to extract information about the kick from the gravitational wave signal. Kick measurements such as these are astrophysically valuable, enabling independent constraints on the rate of second-generation mergers. Further, we show that kicks must be factored into future ringdown tests of general relativity with third-generation gravitational wave detectors to avoid systematic biases. We find that, although little information can be gained about the kick for existing gravitational wave events, interesting measurements will soon become possible as detectors improve. We show that, once LIGO and Virgo reach their design sensitivities, we will reliably extract the kick velocity for generically precessing binaries--including the so-called superkicks, reaching up to 5000 km/s.


title: Depth Map Estimation of Dynamic Scenes Using Prior Depth Information

abstract: Depth information is useful for many applications. Active depth sensors are appealing because they obtain dense and accurate depth maps. However, due to issues that range from power constraints to multi-sensor interference, these sensors cannot always be continuously used. To overcome this limitation, we propose an algorithm that estimates depth maps using concurrently collected images and a previously measured depth map for dynamic scenes, where both the camera and objects in the scene may be independently moving. To estimate depth in these scenarios, our algorithm models the dynamic scene motion using independent and rigid motions. It then uses the previous depth map to efficiently estimate these rigid motions and obtain a new depth map. Our goal is to balance the acquisition of depth between the active depth sensor and computation, without incurring a large computational cost. Thus, we leverage the prior depth information to avoid computationally expensive operations like dense optical flow estimation or segmentation used in similar approaches. Our approach can obtain dense depth maps at up to real-time (30 FPS) on a standard laptop computer, which is orders of magnitude faster than similar approaches. When evaluated using RGB-D datasets of various dynamic scenes, our approach estimates depth maps with a mean relative error of 2.5% while reducing the active depth sensor usage by over 90%.


title: Connecting abstract logics and adjunctions in the theory of ($\pi$-)institutions: some theoretical remarks and applications

abstract: In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $\pi$-institutions. This is done at both a foundational and an applied level. Firstly, we reformulate and conceptually clarify such adjunctions in terms of the $2$-categorical data involved in the construction of categories of institution-like structures. More precisely, we remark that the process used for passing from rooms to institutions (\cite{Diac2}) can be extended, due to its $2$-functoriality, to more general room-like and institution-like structures in such a way that the aforementioned adjunctions are all seen to arise from simpler adjunctions at the room-like level. Secondly, and mostly independently, we provide some applications of such adjunctions to abstract logics, mainly to the setting of propositional logics and filter pairs (\cite{AMP1}); we also generalize the process of skolemization, a classical device from predicate logic, to the institutional setting.


title: Inclination Dependence of Kilonova Light Curves from Globally Aspherical Geometries

abstract: The merger of two neutron stars (NSs) or a neutron star and a black hole (BH) produces a radioactively-powered transient known as a kilonova, first observed accompanying the gravitational wave event GW170817. While kilonovae are frequently modeled in spherical symmetry, the dynamical ejecta and disk outflows can be considerably asymmetric. We use Monte Carlo radiative transfer calculations to study the light curves of kilonovae with globally axisymmetric geometries (e.g. an ellipsoid and a torus). We find that the variation in luminosity in these models is most pronounced at early times, and decreases until the light curves become isotropic in the late optically thin phase. The light curve shape and peak time are not significantly modified by the global asymmetry. We show that the projected surface area along the line of sight captures the primary geometric effects, and use this fact to provide a simple analytic estimate of the direction-dependent light curves of the aspherical ejecta. For the kilonova accompanying GW170817, accounting for asymmetry with an oblate (prolate) ellipsoid of axial ratio $2$ ($1/2$) leads to a $\sim 40 \%$ decrease (increase) in the inferred ejecta mass compared to the spherical case. The pole-to-equator orientation effects are expected to be significantly larger (a factor of $\sim 5 - 10$) for the more extreme asymmetries expected for some NS-BH mergers.


title: Weighted words at degree two, II: flat partitions, regular partitions, and application to level one perfect crystals

abstract: In a recent work, Keith and Xiong gave a refinement of Glaisher's theorem by using a Sylvester-style bijection. In this paper, we introduce two families of colored partitions, flat and regular partitions, and generalize the bijection of Keith and Xiong to these partitions. We then state two results, the first at degree one, where partitions have parts with primary colors, and the second result at degree two for secondary-colored partitions, using the result of the first paper of this series. These results allow us to easily retrieve the Frenkel-Kac character formulas of level one standard modules for the type $A_{2n}^{(2)}, D_{n+1}^{(2)}$ and $B_n^{(1)}$, and also to make the connection between the result stated in paper one and the representation theory.


title: Improved Constraints on Sterile Neutrino Mixing from Disappearance Searches in the MINOS, MINOS+, Daya Bay, and Bugey-3 Experiments

abstract: Searches for electron antineutrino, muon neutrino, and muon antineutrino disappearance driven by sterile neutrino mixing have been carried out by the Daya Bay and MINOS+ collaborations. This Letter presents the combined results of these searches, along with exclusion results from the Bugey-3 reactor experiment, framed in a minimally extended four-neutrino scenario. Significantly improved constraints on the $\theta_{\mu e}$ mixing angle are derived that constitute the most stringent limits to date over five orders of magnitude in the sterile mass-squared splitting $\Delta m^2_{41}$, excluding the 90% C.L. sterile-neutrino parameter space allowed by the LSND and MiniBooNE observations at 90% CL$_s$ for $\Delta m^2_{41}<5\,$eV$^2$.Furthermore, the LSND and MiniBooNE 99% C.L. allowed regions are excluded at 99% CL$_s$ for $\Delta m^2_{41}$ $<$ 1.2 eV$^2$.


title: Experimental and modelling evidence for structural crossover in supercritical CO$_2$

abstract: Physics of supercritical state is understood to a much lesser degree compared to subcritical liquids. Carbon dioxide in particular has been intensely studied, yet little is known about the supercritical part of its phase diagram. Here, we combine neutron scattering experiments and molecular dynamics simulations and demonstrate the structural crossover at the Frenkel line. The crossover is seen at pressures as high as 14 times the critical pressure and is evidenced by changes of the main features of the structure factor and pair distribution functions.


title: Principal specializations of Schubert polynomials in classical types

abstract: There is a remarkable formula for the principal specialization of a type A Schubert polynomial as a weighted sum over reduced words. Taking appropriate limits transforms this to an identity for the backstable Schubert polynomials recently introduced by Lam, Lee, and Shimozono. This note identifies some analogues of the latter formula for principal specializations of Schubert polynomials in classical types B, C, and D. We also describe some more general identities for Grothendieck polynomials. As a related application, we derive a simple proof of a pipe dream formula for involution Grothendieck polynomials.


title: Multiplicative Lie-type derivations on alternative rings

abstract: Let $\R$ be an alternative ring containing a nontrivial idempotent and $\D$ be a multiplicative Lie-type derivation from $\R$ into itself. Under certain assumptions on $\R$, we prove that $\D$ is almost additive. Let $p_n(x_1, x_2, \cdots, x_n)$ be the $(n-1)$-th commutator defined by $n$ indeterminates $x_1, \cdots, x_n$. If $\R$ is a unital alternative ring with a nontrivial idempotent and is $\{2,3,n-1,n-3\}$-torsion free, it is shown under certain condition of $\R$ and $\D$, that $\D=\delta+\tau$, where $\delta$ is a derivation and $\tau\colon\R\longrightarrow{\mathcal Z}(\R)$ such that $\tau(p_n(a_1,\ldots,a_n))=0$ for all $a_1,\ldots,a_n\in\R$.


title: Physical origin of GeV emission in the early phase of GRB 170405A: Clues from emission onsets with multi-wavelength observations

abstract: The origin of GeV emission from the early epoch of gamma-ray bursts (GRBs) is a widely discussed issue. The long gamma-ray burst GRB 170405A, observed by the Fermi Gamma-ray Space Telescope showed high-energy emission delayed by $\sim$20 s with respect to the X-ray emission, followed by temporally fading gamma-ray emission lasting for $\sim$1,000 s, as commonly observed in high-energy GRBs. In addition, a high-energy spectral cutoff at $\sim$50 MeV was detected in the prompt emission phase. If this feature is caused by pair-production opacity, the bulk Lorentz factor of the GRB ejecta can be estimated to be $\Gamma_{\rm bulk}$ = 170-420. Simultaneously with Fermi, GRB 170405A was observed by Swift/Burst Alert Telescope (BAT) and X-ray telescope (XRT), and a clear optical onset was detected $\sim$200 s after the burst by Swift/UltraViolet Optical Telescope (UVOT). By coupling the deceleration time to the derived bulk Lorentz factor, the deceleration time was found to correspond to the delayed onset in the optical band. While the delayed onset in the optical band is evidence that this emission had an external shock origin, the temporally extended emission in the GeV band before the optical onset is hard to reconcile with the standard synchrotron emission from the same external shock. This may imply that the common feature of GeV emission with a power-law decay does not necessarily have the same origin of the optical afterglow in all Fermi/LAT GRBs, particularly in their early epoch. Another emission mechanism to explain the GeV emission in GRB 170405A can be required such as an internal-shock or inverse Compton emission.


title: Brainstorming Generative Adversarial Networks (BGANs): Towards Multi-Agent Generative Models with Distributed Private Datasets

abstract: To achieve a high learning accuracy, generative adversarial networks (GANs) must be fed by large datasets that adequately represent the data space. However, in many scenarios, the available datasets may be limited and distributed across multiple agents, each of which is seeking to learn the distribution of the data on its own. In such scenarios, the agents often do not wish to share their local data as it can cause communication overhead for large datasets. In this paper, to address this multi-agent GAN problem, a novel brainstorming GAN (BGAN) architecture is proposed using which multiple agents can generate real-like data samples while operating in a fully distributed manner. BGAN allows the agents to gain information from other agents without sharing their real datasets but by ``brainstorming'' via the sharing of their generated data samples. In contrast to existing distributed GAN solutions, the proposed BGAN architecture is designed to be fully distributed, and it does not need any centralized controller. Moreover, BGANs are shown to be scalable and not dependent on the hyperparameters of the agents' deep neural networks (DNNs) thus enabling the agents to have different DNN architectures. Theoretically, the interactions between BGAN agents are analyzed as a game whose unique Nash equilibrium is derived. Experimental results show that BGAN can generate real-like data samples with higher quality and lower Jensen-Shannon divergence (JSD) and Fr\`echet Inception distance (FID) compared to other distributed GAN architectures.


title: A Berry-Esseen bound of order $ 1/\sqrt{n} $ for martingales

abstract: Renz (Ann. Probab. 1996) has established a rate of convergence $1/\sqrt{n}$ in the central limit theorem for martingales with some restrictive conditions. In the present paper a modification of the methods, developed by Bolthausen (Ann. Probab. 1982) and Grama and Haeusler (Stochastic Process. Appl. 2000), is applied for obtaining the same convergence rate for a class of more general martingales. An application to linear processes is discussed.


title: Entire Solutions of Diffusive Lotka-Volterra System

abstract: This work is concerned with the existence of entire solutions of the diffusive Lotka-Volterra competition system \begin{equation}\label{eq:abstract} \begin{cases} u_{t}= u_{xx} + u(1-u-av), & \qquad \ x\in\mathbb{R} \cr v_{t}= d v_{xx}+ rv(1-v-bu), & \qquad \ x\in\mathbb{R} \end{cases} \quad (1) \end{equation} where $d,r,a$, and $b$ are positive constants with $a\neq 1$ and $b\neq 1$. We prove the existence of some entire solutions $(u(t,x),v(t,x))$ of $(1)$ corresponding to $(\Phi_{c}(\xi),0)$ at $t=-\infty$ (where $\xi=x-ct$ and $\Phi_c$ is a traveling wave solution of the scalar Fisher-KPP defined by the first equation of $(1)$ when $a=0$). Moreover, we also describe the asymptotic behavior of these entire solutions as $t\to+\infty$. We prove existence of new entire solutions for both the weak and strong competition case. In the weak competition case, we prove the existence of a class of entire solutions that forms a 4-dimensional manifold.


title: Matching Book Embedding of the Cartesian Product of a Complete Graph and a Cycle

abstract: The $book$ $embedding$ of a graph $G$ is to place the vertices of $G$ on the spine and draw the edges to the pages so that the edges in the same page do not cross with each other. The book embedding is $matching$ if the pages have maximum degree $1$. The $matching$ $book$ $thickness$ is the minimum number of pages in which graphs can be matching book embedded. In this paper, we show that the matching book thickness of the Cartesian product $K_p\Box C_q$of a complete graph $K_p$ and a cycle $C_q$ is equal to $\Delta(K_p\Box C_q)+1$.


title: Uniform Cram\'er moderate deviations and Berry-Esseen bounds for a supercritical branching process in a random environment

abstract: Let $\{Z_n, n\geq 0\}$ be a supercritical branching process in an independent and identically distributed random environment. We prove Cram\'{e}r moderate deviations and Berry-Esseen bounds for $\ln (Z_{n+n_0}/Z_{n_0})$ % under the annealed law, uniformly in $n_0 \in \mathbb{N}$, which extend the corresponding results by Grama et al. (Stochastic Process.\ Appl. 2017) established for $n_0=0$. The extension is interesting in theory, and is motivated by applications. A new method is developed for the proofs; some conditions of Grama et al. (2017) are relaxed in our present setting. An example of application is given in constructing confidence intervals to estimate the criticality parameter in terms of $\ln(Z_{n+n_0}/Z_{n_0})$ and $n$.


title: All-order momentum correlations of three ultracold bosonic atoms confined in triple-well traps: Signatures of emergent many-body quantum phase transitions and analogies with three-photon quantum-optics interference

abstract: All-order momentum correlation functions associated with the time-of-flight spectroscopy of three spinless ultracold bosonic interacting neutral atoms confined in a linear three-well optical trap are presented. The underlying Hamiltonian employed for the interacting atoms is an augmented three-site Hubbard model. Our investigations target matter-wave interference of massive particles, aiming at the establishment of experimental protocols for characterizing the quantum states of trapped attractively or repulsively interacting ultracold particles, with variable interaction strength. The manifested advantages and deep physical insights that can be gained through the employment of the results of our study for a comprehensive understanding of the nature of the quantum states of interacting many-particle systems, via analysis of the all-order (that is 1st, 2nd and 3rd) momentum correlation functions for three bosonic atoms in a three well confinement, are illustrated and discussed in the context of time-of-flight inteferometric interrogations of the interaction-strength-induced emergent quantum phase transition from the Mott insulating phase to the superfluid one. Furthermore, we discuss that our inteferometric interrogations establish strong analogies with the quantum-optics interference of three photons, including the aspects of genuine three-photon interference, which are focal to explorations targeting the development and implementation of quantum information applications and quantum computing.


title: Static and dynamic properties of bimerons in a frustrated ferromagnetic monolayer

abstract: Magnetic bimeron is a topological counterpart of skyrmions in in-plane magnets, which can be used as a spintronic information carrier. We report the static properties of bimerons with different topological structures in a frustrated ferromagnetic monolayer, where the bimeron structure is characterized by the vorticity $Q_{\text{v}}$ and helicity $\eta$. It is found that the bimeron energy increases with $Q_{\text{v}}$, and the energy of an isolated bimeron with $Q_{\text{v}}=\pm 1$ depends on $\eta$. We also report the dynamics of frustrated bimerons driven by the spin-orbit torques, which depend on the strength of the dampinglike and fieldlike torques. We find that the isolated bimeron with $Q_{\text{v}}=\pm 1$ can be driven into linear or elliptical motion when the spin polarization is perpendicular to the easy axis. We numerically reveal the damping dependence of the bimeron Hall angle driven by the dampinglike torque. Besides, the isolated bimeron with $Q_{\text{v}}=\pm 1$ can be driven into rotation by the dampinglike torque when the spin polarization is parallel to the easy axis. The rotation frequency is proportional to the driving current density. In addition, we numerically demonstrate the possibility of creating a bimeron state with a higher or lower topological charge by the current-driven collision and merging of bimeron states with different $Q_{\text{v}}$. Our results could be useful for understanding the bimeron physics in frustrated magnets.


title: Hierarchical Jamming in Frictional Particle Assemblies

abstract: The postulate of the existence of a jamming phase diagram (Liu and Nagel, Nature 396, 21 EP (1998aa)) provides a theoretical basis for the classification of a wide range of amorphous solids (colloidal, molecular and emulsion glasses, colloidal and polymer gels, foams and granular matter) on the basis of whether these materials are in the jammed or unjammed state. Whilst such simple classification is appealing, it fails to capture that the criterion of rigidity of such amorphous solids may be defined with respect to a particular deformation orientation or mode (i.e. shear, extrusion, consolidation). We consider this problem via the consolidation of strong colloidal gels, and find that the critical transitions during the consolidation of a strong colloidal gel (as indicated by maxima and minima in the relative normal stress difference) correspond directly to directed, frictional and non-frictional rigidity percolation. These results indicate a hierarchy of directed, jammed states during consolidation of such amorphous solids, and a direct link between particle-scale interactions and macroscopic collective behaviour of these systems driven far from equilibrium


title: Generation of pure-state single photons with high heralding efficiency by using a three-stage nonlinear interferometer

abstract: We experimentally study a fiber-based three-stage nonlinear interferometer and demonstrate its application in generating heralded single photons with high efficiency and purity by spectral engineering. We obtain a heralding efficiency of 90% at a brightness of 0.039 photons/pulse. The purity of the source is checked by two-photon Hong-Ou-Mandel interference with a visibility of 95%+-6% (after correcting Raman scattering and multi-pair events). Our investigation indicates that the heralded source of single photons produced by the three-stage nonlinear interferometer has the advantages of high purity, high heralding efficiency, high brightness, and flexibility in wavelength and bandwidth selection.