title: On the tail of the branching random walk local time

abstract: Consider a critical branching random walk on $\mathbb{Z}^d$, $d\geq 1$, started with a single particle at the origin, and let $L(x)$ be the total number of particles that ever visit a vertex $x$. We study the tail of $L(x)$ under suitable conditions on the offspring distribution. In particular, our results hold if the offspring distribution has an exponential moment.


title: Enumeration of Dumont permutations avoiding certain four-letter patterns

abstract: In this paper, we enumerate Dumont permutations of the fourth kind avoiding or containing certain permutations of length 4. We also conjecture a Wilf-equivalence of two 4-letter patterns on Dumont permutations of the first kind.


title: Extraterrestrial artificial particle sources. Application to neutrino physics and cosmic rays studies

abstract: The memo is exploring possibilities to set up extraterrestrial experimental facilities to study particles physics. The Moon is considered as the most promising location for artificial particle sources outside the Earth. This natural satellite is surrounded with deep vacuum, is at low cryogenic temperatures and is always facing the Earth with one side. These features can be exploited by setting up lunar neutrino factory, which may create a possibility for more precise measurements of oscillations and possibly mass of neutrinos. Various types of facilities are discussed with focus on lunar linear accelerators and nuclear reactors. The other types such as lunar colliders or even orbiting sources are briefly mentioned too. Lunar particle accelerators pointing to Earth can also be used to calibrate atmospheric shower models, which are the key part of cosmic rays research.


title: Evolution of the Stochastic Airy eigenvalues under a changing boundary

abstract: The Airy$_\beta$ point process, originally introduced by Ram\'irez, Rider, and Vir\'ag, is defined as the spectrum of the stochastic Airy operator $\mathcal{H}_\beta$ acting on a subspace of $L^2[0,\infty)$ with Dirichlet boundary condition. In this paper we study the coupled family of point processes defined as the eigenvalues of $\mathcal{H}_\beta$ acting on a subspace of $L^2[t,\infty)$. These point processes are coupled through the Brownian term of $\mathcal{H}_\beta$. We show that these point processes as a function of $t$ are differentiable with explicitly computable derivative. Moreover when recentered by $t$ the resulting point process is stationary. This process can also be viewed as an analogue to the 'GUE minor process' in the tridiagonal setting.


title: Flattening of dark matter cusps during mergers: model of M31

abstract: We run high resolution fully GPU N-body simulations to demonstrate that the dark matter distribution in M31 is well-fitted by a core-like profile. Rich observational data especially on the giant stellar stream provides stringent constraints on the initial conditions of our simulations. We demonstrate that accretion of a satellite on a highly eccentric orbit heats up the central parts of M31, causes an outward migration of dark matter particles, flattens the central cusp over more than a decade in scale and generates a new model-independent dark matter profile that is well-fitted by a core. Our results imply that core-like central profiles could be a common feature of massive galaxies that have been initially cuspy but have accreted satellites on nearly radial orbits.


title: Reconstruction of effective potential from statistical analysis of dynamic trajectories

abstract: The broad incorporation of microscopic methods is yielding a wealth of information on atomic and mesoscale dynamics of individual atoms, molecules, and particles on surfaces and in open volumes. Analysis of such data necessitates statistical frameworks to convert observed dynamic behaviors to effective properties of materials. Here we develop a method for stochastic reconstruction of effective acting potentials from observed trajectories. Using the Silicon vacancy defect in graphene as a model, we develop a statistical framework to reconstruct the free energy landscape from calculated atomic displacements.


title: Counting the number of $\tau$-exceptional sequences over Nakayama algebras

abstract: The notion of a $\tau$-exceptional sequence was introduced by Buan and Marsh in 2018 as a generalisation of an exceptional sequence for finite dimensional algebras. We calculate the number of complete $\tau$-exceptional sequences over certain classes of Nakayama algebras. In some cases, we obtain closed formulas which also count other well known combinatorial objects and exceptional sequences of path algebras of Dynkin quivers.


title: Stochastic Axion Dark Matter in Axion Landscape

abstract: We study the stochastic axion dark matter scenario in the axion landscape, where one of the axions is light and stable and therefore explains dark matter. If the axion mass at the potential is a typical value of the curvature along the direction, the potential can be well approximated by a quadratic mass term. On the other hand, if the axion mass happens to be suppressed in the vicinity of the minimum, the potential may be approximated by a quartic potential plus a suppressed quadratic one, for which the initial angle, and thus the axion abundance, can be significantly suppressed compared to the quadratic case. We delineate the viable parameter region by taking account of various observational constraints, and find that a broader range of the inflation scale is allowed. Also, if the curvature of the potential is suppressed over a certain range of the potential, the onset of coherent oscillations can be delayed. Then, the axion dark matter with a small decay constant is possible. We also discuss the {\pi}nflation mechanism to realize the hilltop initial condition in the stochastic axion scenario.


title: Annotation of Emotion Carriers in Personal Narratives

abstract: We are interested in the problem of understanding personal narratives (PN) - spoken or written - recollections of facts, events, and thoughts. In PN, emotion carriers are the speech or text segments that best explain the emotional state of the user. Such segments may include entities, verb or noun phrases. Advanced automatic understanding of PNs requires not only the prediction of the user emotional state but also to identify which events (e.g. "the loss of relative" or "the visit of grandpa") or people ( e.g. "the old group of high school mates") carry the emotion manifested during the personal recollection. This work proposes and evaluates an annotation model for identifying emotion carriers in spoken personal narratives. Compared to other text genres such as news and microblogs, spoken PNs are particularly challenging because a narrative is usually unstructured, involving multiple sub-events and characters as well as thoughts and associated emotions perceived by the narrator. In this work, we experiment with annotating emotion carriers from speech transcriptions in the Ulm State-of-Mind in Speech (USoMS) corpus, a dataset of German PNs. We believe this resource could be used for experiments in the automatic extraction of emotion carriers from PN, a task that could provide further advancements in narrative understanding.


title: Existence of dynamical low-rank approximations to parabolic problems

abstract: The existence and uniqueness of weak solutions to dynamical low-rank evolution problems for parabolic partial differential equations in two spatial dimensions is shown, covering also non-diagonal diffusion in the elliptic part. The proof is based on a variational time-stepping scheme on the low-rank manifold. Moreover, this scheme is shown to be closely related to practical methods for computing such low-rank evolutions.


title: Solving non-monotone equilibrium problems via a DIRECT-type approach

abstract: A global optimization approach for solving non-monotone equilibrium problems (EPs) is proposed. The class of (regularized) gap functions is used to reformulate any EP as a constrained global optimization program and some bounds on the Lipschitz constant of such functions are provided. The proposed global optimization approach is a combination of an improved version of the \texttt{DIRECT} algorithm, which exploits local bounds of the Lipschitz constant of the objective function, with local minimizations. Unlike most existing solution methods for EPs, no monotonicity-type condition is assumed in this paper. Preliminary numerical results on several classes of EPs show the effectiveness of the approach.


title: Systematic study of low energy geometries of copper nano-junctions exposed to water and to species that can result from dissociation of water

abstract: A detailed computational analysis has been performed, considering copper atomic contacts that are exposed directly to water molecules, hydroxyl groups, and monatomic as well as molecular hydrogen and oxygen species. The optimized physical bonding structure, electrical conductance and inelastic tunneling spectra (IETS) have been determined theoretically for moderately large structures by performing appropriate ab-initio and semi-empirical calculations. By considering the aforementioned properties, it has been possible to determine that some of the molecular bridging structures may be regarded as being highly-probable outcomes, resulting from the exposure of copper electrodes to the atomic/molecular contaminants. We specifically identify the conductance properties of a variety of configurations including examples with very high and very low conductance values. This is done in order to identify junction geometries that may be realized experimentally and their conductance and IETS signatures. By reporting geometries with very high and very low conductance values here, we intend to provide a wider perspective view than previous studies of copper-molecular junctions that have focused on high conductance structures. In addition, we explore the properties of metal junctions with multiple molecules, a class of systems for which little theoretical work has been available in the molecular electronics literature. We find that water molecules surrounding the junction can influence the bonding geometry of the molecules within the junction and consequently can affect strongly the calculated conductances of such junctions.


title: Entangled Watermarks as a Defense against Model Extraction

abstract: Machine learning involves expensive data collection and training procedures. Model owners may be concerned that valuable intellectual property can be leaked if adversaries mount model extraction attacks. As it is difficult to defend against model extraction without sacrificing significant prediction accuracy, watermarking instead leverages unused model capacity to have the model overfit to outlier input-output pairs. Such pairs are watermarks, which are not sampled from the task distribution and are only known to the defender. The defender then demonstrates knowledge of the input-output pairs to claim ownership of the model at inference. The effectiveness of watermarks remains limited because they are distinct from the task distribution and can thus be easily removed through compression or other forms of knowledge transfer. We introduce Entangled Watermarking Embeddings (EWE). Our approach encourages the model to learn features for classifying data that is sampled from the task distribution and data that encodes watermarks. An adversary attempting to remove watermarks that are entangled with legitimate data is also forced to sacrifice performance on legitimate data. Experiments on MNIST, Fashion-MNIST, CIFAR-10, and Speech Commands validate that the defender can claim model ownership with 95\% confidence with less than 100 queries to the stolen copy, at a modest cost below 0.81 percentage points on average in the defended model's performance.


title: Non-destructive testing and evaluation of composite materials/structures: A state-of-the-art review

abstract: Composite materials/structures are advancing in product efficiency, cost-effectiveness and the development of superior specific properties. There are increasing demands in their applications to load-carrying structures in aerospace, wind turbines, transportation, and medical equipment, etc. Thus robust and reliable non-destructive testing (NDT) of composites is essential to reduce safety concerns and maintenance costs. There have been various NDT methods built upon different principles for quality assurance during the whole lifecycle of a composite product. This paper reviews the most established NDT techniques for detection and evaluation of defects/damage evolution in composites. These include acoustic emission, ultrasonic testing, infrared thermography, terahertz testing, shearography, digital image correlation, as well as X-ray and neutron imaging. For each NDT technique, we cover a brief historical background, principles, standard practices, equipment and facilities used for composite research. We also compare and discuss their benefits and limitations, and further summarise their capabilities and applications to composite structures. Each NDT technique has its own potential and rarely achieves a full-scale diagnosis of structural integrity. Future development of NDT techniques for composites will be directed towards intelligent and automated inspection systems with high accuracy and efficient data processing capabilities.


title: Isomorphisms between cylinders over Danielewski surfaces

abstract: A special Danielewski surface is an affine surface which is the total space of a principal $(\mathbb{C},+)$-bundle over an affine line with a multiple origin. Using a fiber product trick introduced by Danielewski, it is known that cylinders over two such surfaces are always isomorphic provided that both bases have the same number of origins. The goal of this note is to give an explicit method to find isomorphisms between cylinders over special Danielewski surfaces. The method is based on the construction of appropriate locally nilpotent derivations.


title: Dynamic Logic of Quantum Field Theory

abstract: Although logic of quantum mechanics has been studied for a long time, logic of QFT has not been studied before. We formulate logic of QFT by introducing the perspective of dynamic logic, because the nature of two fundamental operators in QFT, namely creation and annihilation operators, is dynamic in the sense of logic. After we formulate dynamic logic of QFT, we give a dynamic logical interpretation of fermions, the so-called vacuum state, the zero vector and propagators in QFT. We also emphasize that only a tautology $\top$ and a contradiction $\bot$ are atomic formulas of our logic. Finally, we show how Aharonov-Bohm effect can be explained naturally from our dynamic logic of QFT. This paper should be the beginning of studying logic of QFT from a dynamical point of view.


title: Visual Commonsense R-CNN

abstract: We present a novel unsupervised feature representation learning method, Visual Commonsense Region-based Convolutional Neural Network (VC R-CNN), to serve as an improved visual region encoder for high-level tasks such as captioning and VQA. Given a set of detected object regions in an image (e.g., using Faster R-CNN), like any other unsupervised feature learning methods (e.g., word2vec), the proxy training objective of VC R-CNN is to predict the contextual objects of a region. However, they are fundamentally different: the prediction of VC R-CNN is by using causal intervention: P(Y|do(X)), while others are by using the conventional likelihood: P(Y|X). This is also the core reason why VC R-CNN can learn "sense-making" knowledge like chair can be sat -- while not just "common" co-occurrences such as chair is likely to exist if table is observed. We extensively apply VC R-CNN features in prevailing models of three popular tasks: Image Captioning, VQA, and VCR, and observe consistent performance boosts across them, achieving many new state-of-the-arts. Code and feature are available at https://github.com/Wangt-CN/VC-R-CNN.


title: Experiments on the Brauer map in High Codimension

abstract: Using twisted and formal-local methods, we prove that every separated algebraic space which is the (open/flat) pushout of affine schemes has enough Azumaya algebras. As a corollary we show that, under mild hypothesis, every cohomological Brauer class is representable by an Azumaya algebra away from a closed subset of codimension $\geq 3$, generalizing an early result of Grothendieck. Next, we show that $\mathrm{Br}(X)=\mathrm{Br}'(X)$ when $X$ is an algebraic space obtained from a quasi-projective scheme by contracting a curve. This is the first method of descending an Azumaya algebra along a Chow cover which works in all dimensions. As a corollary, we prove that cohomological Brauer classes are geometric on arbitrary separated surfaces. In higher dimensions, we obtain the first examples of non-quasi-projective algebraic spaces with $\mathrm{Br}(X)=\mathrm{Br}'(X)$.


title: On the Detection of CMB B-modes from Ground at Low Frequency

abstract: The primordial CMB $B$-mode search is on the spotlight of the scientific community due to the large amount of cosmological information that is encoded in the primeval signal. However, the detection of this signal is challenging from the data analysis point of view, due to the relative low amplitude compared to the foregrounds, the lensing contamination coming from the leakage of $E$-modes, and the instrumental noise. Here, we studied the viability of the detection of the primordial polarization $B$-mode with a ground-based telescope operating in the microwave low-frequency regime (i.e., from 10GHz-120GHz) in a handful of different scenarios: i. the instrument's channels distribution and noise, ii. the tensor-to-scalar ratio ($r$) detectability considering different possible $r$ values and degrees of delensing, iii. the effect of including a possible source of polarized anomalous microwave emission (AME), iv. the strengths and weaknesses of different observational strategies and, v. the atmospheric and systematic noise impact on the recovery. We focused mainly on the removal of galactic foregrounds as well as noise contamination by applying a full-parametric pixel-based maximum likelihood component separation technique. Moreover, we developed a numerical methodology to estimate the residuals power spectrum left after component separation, which allow us to mitigate possible biases introduced in the primordial $B$-mode power spectrum reconstruction. Among many other results, we found that this sort of experiment is capable of detecting Starobinsky's $r$ even when no delensing is performed or, a possible polarized AME contribution is taken into account. Besides, we showed that this experiment is a powerful complement to other on-ground or satellite missions, such as LiteBIRD, since it can help significantly with the low-frequency foregrounds characterization.


title: Assembly robots with optimized control stiffness through reinforcement learning

abstract: There is an increased demand for task automation in robots. Contact-rich tasks, wherein multiple contact transitions occur in a series of operations, are extensively being studied to realize high accuracy. In this study, we propose a methodology that uses reinforcement learning (RL) to achieve high performance in robots for the execution of assembly tasks that require precise contact with objects without causing damage. The proposed method ensures the online generation of stiffness matrices that help improve the performance of local trajectory optimization. The method has an advantage of rapid response owing to short sampling time of the trajectory planning. The effectiveness of the method was verified via experiments involving two contact-rich tasks. The results indicate that the proposed method can be implemented in various contact-rich manipulations. A demonstration video shows the performance. (https://youtu.be/gxSCl7Tp4-0)


title: Gaussian Process States: A data-driven representation of quantum many-body physics

abstract: We present a novel, non-parametric form for compactly representing entangled many-body quantum states, which we call a `Gaussian Process State'. In contrast to other approaches, we define this state explicitly in terms of a configurational data set, with the probability amplitudes statistically inferred from this data according to Bayesian statistics. In this way the non-local physical correlated features of the state can be analytically resummed, allowing for exponential complexity to underpin the ansatz, but efficiently represented in a small data set. The state is found to be highly compact, systematically improvable and efficient to sample, representing a large number of known variational states within its span. It is also proven to be a `universal approximator' for quantum states, able to capture any entangled many-body state with increasing data set size. We develop two numerical approaches which can learn this form directly: a fragmentation approach, and direct variational optimization, and apply these schemes to the Fermionic Hubbard model. We find competitive or superior descriptions of correlated quantum problems compared to existing state-of-the-art variational ansatzes, as well as other numerical methods.

categories: cond-mat.str-el cond-mat.dis-nn physics.comp-ph quant-ph


title: Asteroseismology: radial oscillations of neutron stars with realistic equation of state

abstract: We study radial oscillations of non-rotating neutron stars (NSs) in four-dimensional General Relativity. The interior of the NS was modelled within a recently proposed multicomponent realistic equation of state (EoS) with the induced surface tension (IST). In particular, we considered the IST EoS with two sets of model parameters, that both reproduce all the known properties of normal nuclear matter, give a high quality description of the proton flow constraint, hadron multiplicities created in nuclear-nuclear collisions, consistent with astrophysical observations and the observational data from the NS-NS merger. We computed the 12 lowest radial oscillation modes, their frequencies and corresponding eigenfunctions, as well as the large frequency separation for six selected fiducial NSs (with different radii and masses of 1.2, 1.5 and 1.9 solar masses) of the two distinct model sets. The calculated frequencies show their continuous growth with an increase of the NS central baryon density. Moreover, we found correlations between the behaviour of first eigenfunction calculated for the fundamental mode, the adiabatic index and the speed of sound profile, which could be used to probe the internal structure of NSs with the asteroseismology data.


title: Streak artifacts from non-convex metal objects in X-ray tomography

abstract: We study artifacts in the reconstruction of X-ray tomography due to nonlinear effects. For non-convex metal objects, we analyze the new phenomena of streak artifacts from inflection points on the boundary of metal objects. We characterize the location and strength of all possible artifacts using notions of conormal distributions associated with the proper geometry.


title: Prediction of adverse events in Afghanistan: regression analysis of time series data grouped not by geographic dependencies

abstract: The aim of this study was to approach a difficult regression task on highly unbalanced data regarding active theater of war in Afghanistan. Our focus was set on predicting the negative events number without distinguishing precise nature of the events given historical data on investment and negative events per each of predefined 400 Afghanistan districts. In contrast with previous research on the matter, we propose an approach to analysis of time series data that benefits from non-conventional aggregation of these territorial entities. By carrying out initial exploratory data analysis we demonstrate that dividing data according to our proposal allows to identify strong trend and seasonal components in the selected target variable. Utilizing this approach we also tried to estimate which data regarding investments is most important for prediction performance. Based on our exploratory analysis and previous research we prepared 5 sets of independent variables that were fed to 3 machine learning regression models. The results expressed by mean absolute and mean square errors indicate that leveraging historical data regarding target variable allows for reasonable performance, however unfortunately other proposed independent variables does not seem to improve prediction quality.


title: Total3DUnderstanding: Joint Layout, Object Pose and Mesh Reconstruction for Indoor Scenes from a Single Image

abstract: Semantic reconstruction of indoor scenes refers to both scene understanding and object reconstruction. Existing works either address one part of this problem or focus on independent objects. In this paper, we bridge the gap between understanding and reconstruction, and propose an end-to-end solution to jointly reconstruct room layout, object bounding boxes and meshes from a single image. Instead of separately resolving scene understanding and object reconstruction, our method builds upon a holistic scene context and proposes a coarse-to-fine hierarchy with three components: 1. room layout with camera pose; 2. 3D object bounding boxes; 3. object meshes. We argue that understanding the context of each component can assist the task of parsing the others, which enables joint understanding and reconstruction. The experiments on the SUN RGB-D and Pix3D datasets demonstrate that our method consistently outperforms existing methods in indoor layout estimation, 3D object detection and mesh reconstruction.


abstract: Convolutional neural networks (CNNs) have shown dramatic improvements in single image super-resolution (SISR) by using large-scale external samples. Despite their remarkable performance based on the external dataset, they cannot exploit internal information within a specific image. Another problem is that they are applicable only to the specific condition of data that they are supervised. For instance, the low-resolution (LR) image should be a "bicubic" downsampled noise-free image from a high-resolution (HR) one. To address both issues, zero-shot super-resolution (ZSSR) has been proposed for flexible internal learning. However, they require thousands of gradient updates, i.e., long inference time. In this paper, we present Meta-Transfer Learning for Zero-Shot Super-Resolution (MZSR), which leverages ZSSR. Precisely, it is based on finding a generic initial parameter that is suitable for internal learning. Thus, we can exploit both external and internal information, where one single gradient update can yield quite considerable results. (See Figure 1). With our method, the network can quickly adapt to a given image condition. In this respect, our method can be applied to a large spectrum of image conditions within a fast adaptation process.


title: Ultrafast electron localization in a correlated metal

abstract: Ultrafast electron delocalization induced by a fs laser pulse is a well-known process and is the initial step for important applications such as fragmentation of molecules or laser ablation in solids. It is well understood that an intense fs laser pulse can remove several electrons from an atom within its pulse duration. [1] However, the speed of electron localization out of an electron gas, the capture of an electron by ion, is unknown. Here, we demonstrate that electronic localization out of the conduction band can occur within only a few hundred femtoseconds. This ultrafast electron localization into 4f states has been directly quantified by transient x-ray absorption spectroscopy following photo-excitation of a Eu based correlated metal with a fs laser pulse. Our x-ray experiments show that the driving force for this process is either an ultrafast reduction of the energy of the 4f states, a change of their bandwidth or an increase of the hybridization between the 4f and the 3d states. The observed ultrafast electron localization process raises further basic questions for our understanding of electron correlations and their coupling to the lattice.


title: Approximating the quantum approximate optimization algorithm with digital-analog interactions

abstract: The quantum approximate optimisation algorithm was proposed as a heuristic method for solving combinatorial optimisation problems on near-term quantum computers and may be among the first algorithms to perform useful computations in the post-supremacy, noisy, intermediate scale era of quantum computing. In this work, we exploit the recently proposed digital-analog quantum computation paradigm, in which the versatility of programmable universal quantum computers and the error resilience of quantum simulators are combined to improve platforms for quantum computation. We show that the digital-analog paradigm is suited to the variational quantum approximate optimisation algorithm, due to its inherent resilience against coherent errors, by performing large-scale simulations and providing analytical bounds for its performance in devices with finite single-qubit operation times. We observe regimes of single-qubit operation speed in which the considered variational algorithm provides a significant improvement over non-variational counterparts.


title: Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices

abstract: Violation of a noncontextuality inequality or the phenomenon referred to `quantum contextuality' is a fundamental feature of quantum theory. In this article, we derive a novel family of noncontextuality inequalities along with their sum-of-squares decompositions in the simplest (odd-cycle) sequential-measurement scenario capable to demonstrate Kochen-Specker contextuality. The sum-of-squares decompositions allow us to obtain the maximal quantum violation of these inequalities and a set of algebraic relations necessarily satisfied by any state and measurements achieving it. With their help, we prove that our inequalities can be used for self-testing of three-dimensional quantum state and measurements. Remarkably, the presented self-testing results rely on a single assumption about the measurement device that is much weaker than the assumptions considered in Kochen-Specker contextuality.


title: Multi-agent maintenance scheduling based on the coordination between central operator and decentralized producers in an electricity market

abstract: Condition-based and predictive maintenance enable early detection of critical system conditions and thereby enable decision makers to forestall faults and mitigate them. However, decision makers also need to take the operational and production needs into consideration for optimal decision-making when scheduling maintenance activities. Particularly in network systems, such as power grids, decisions on the maintenance of single assets can affect the entire network and are, therefore, more complex. This paper proposes a two-level multi-agent decision support systems for the generation maintenance decision (GMS) of power grids in an electricity markets. The aim of the GMS is to minimize the generation cost while maximizing the system reliability. The proposed framework integrates a central coordination system, i.e. the transmission system operator (TSO), and distributed agents representing power generation units that act to maximize their profit and decide about the optimal maintenance time slots while ensuring the fulfilment of the energy demand. The objective function of agents (power generation companies) is based on the reward and the penalty that they obtain from the interplay between power production and loss of production due to failure, respectively. The optimal strategy of agents is then derived using a distributed algorithm, where agents choose their optimal maintenance decision and send their decisions to the central coordinating system. The TSO decides whether to accept the agents' decisions by considering the market reliability aspects and power supply constraints. To solve this coordination problem, we propose a negotiation algorithm using an incentive signal to coordinate the agents' and central system's decisions such that all the agents' decisions can be accepted by the central system. We demonstrate the efficiency of our proposed algorithm using a IEEE 39 bus system.


title: A multi-charged particle model with local $U(1)_{\mu-\tau}$ to explain muon $g-2$, flavor physics, and possible collider signature

abstract: We consider a model with multi-charged particles including vector-like fermions and a charged scalar under a local $U(1)_{\mu - \tau}$ symmetry. We search for allowed parameter region explaining muon anomalous magnetic moment (muon $g-2$) and $b \to s \ell^+ \ell^-$ anomalies, satisfying constraints from the lepton flavor violations, $Z$ boson decays, meson anti-meson mixing and collider experiments. Carrying out numerical analysis, we explore the typical size of the muon $g-2$ and Wilson coefficients to explain $b \to s \ell^+ \ell^-$ anomalies in our model when all other experimental constraints are satisfied. We then discuss the collider physics of the multicharged vectorlike fermions, considering some benchmark points in the allowed parameter space.


title: Edge corona product as an approach to modeling complex simplical networks

abstract: Many graph products have been applied to generate complex networks with striking properties observed in real-world systems. In this paper, we propose a simple generative model for simplicial networks by iteratively using edge corona product. We present a comprehensive analysis of the structural properties of the network model, including degree distribution, diameter, clustering coefficient, as well as distribution of clique sizes, obtaining explicit expressions for these relevant quantities, which agree with the behaviors found in diverse real networks. Moreover, we obtain exact expressions for all the eigenvalues and their associated multiplicities of the normalized Laplacian matrix, based on which we derive explicit formulas for mixing time, mean hitting time and the number of spanning trees. Thus, as previous models generated by other graph products, our model is also an exactly solvable one, whose structural properties can be analytically treated. More interestingly, the expressions for the spectra of our model are also exactly determined, which is sharp contrast to previous models whose spectra can only be given recursively at most. This advantage makes our model a good test-bed and an ideal substrate network for studying dynamical processes, especially those closely related to the spectra of normalized Laplacian matrix, in order to uncover the influences of simplicial structure on these processes.


title: Les Houches 2019 Physics at TeV Colliders: New Physics Working Group Report

abstract: This report presents the activities of the `New Physics' working group for the `Physics at TeV Colliders' workshop (Les Houches, France, 10--28 June, 2019). These activities include studies of direct searches for new physics, approaches to exploit published data to constrain new physics, as well as the development of tools to further facilitate these investigations. Benefits of machine learning for both the search for new physics and the interpretation of these searches are also presented.


title: Strict comparison for $C^*$-algebras arising from Almost finite groupoids

abstract: In this paper we show that for an almost finite minimal ample groupoid $G$, its reduced $\mathrm{C}^*$-algebra $C_r^*(G)$ has real rank zero and strict comparison even though $C_r^*(G)$ may not be nuclear in general. Moreover, if we further assume $G$ being also second countable and non-elementary, then its Cuntz semigroup ${\rm Cu}(C_r^*(G))$ is almost divisible and ${\rm Cu}(C_r^*(G))$ and ${\rm Cu}(C_r^*(G)\otimes \mathcal{Z})$ are canonically order-isomorphic, where $\mathcal{Z}$ denotes the Jiang-Su algebra.


title: On Isometry Robustness of Deep 3D Point Cloud Models under Adversarial Attacks

abstract: While deep learning in 3D domain has achieved revolutionary performance in many tasks, the robustness of these models has not been sufficiently studied or explored. Regarding the 3D adversarial samples, most existing works focus on manipulation of local points, which may fail to invoke the global geometry properties, like robustness under linear projection that preserves the Euclidean distance, i.e., isometry. In this work, we show that existing state-of-the-art deep 3D models are extremely vulnerable to isometry transformations. Armed with the Thompson Sampling, we develop a black-box attack with success rate over 95% on ModelNet40 data set. Incorporating with the Restricted Isometry Property, we propose a novel framework of white-box attack on top of spectral norm based perturbation. In contrast to previous works, our adversarial samples are experimentally shown to be strongly transferable. Evaluated on a sequence of prevailing 3D models, our white-box attack achieves success rates from 98.88% to 100%. It maintains a successful attack rate over 95% even within an imperceptible rotation range $[\pm 2.81^{\circ}]$.


title: Search for heavy Higgs bosons decaying into two tau leptons with the ATLAS detector using $pp$ collisions at $\sqrt{s}=13$ TeV

abstract: A search for heavy neutral Higgs bosons is performed using the LHC Run 2 data, corresponding to an integrated luminosity of 139 fb$^{-1}$ of proton-proton collisions at $\sqrt{s}=13$ TeV recorded with the ATLAS detector. The search for heavy resonances is performed over the mass range 0.2-2.5 TeV for the $\tau^+\tau^-$ decay with at least one $\tau$-lepton decaying into final states with hadrons. The data are in good agreement with the background prediction of the Standard Model. In the $M_{h}^{125}$ scenario of the Minimal Supersymmetric Standard Model, values of $\tan\beta>8$ and $\tan\beta>21$ are excluded at the 95% confidence level for neutral Higgs boson masses of 1.0 TeV and 1.5 TeV, respectively, where $\tan\beta$ is the ratio of the vacuum expectation values of the two Higgs doublets.


title: Collective forces in scalar active matter

abstract: Large-scale collective behavior in suspensions of many particles can be understood from the balance of statistical forces emerging beyond the direct microscopic particle interactions. Here we review some aspects of the collective forces that can arise in suspensions of self-propelled active Brownian particles: wall forces under confinement, interfacial forces, and forces on immersed bodies mediated by the suspension. Even for non-aligning active particles, these forces are intimately related to a non-uniform polarization of particle orientations induced by walls and bodies, or inhomogeneous density profiles. We conclude by pointing out future directions and promising areas for the application of collective forces in synthetic active matter, as well as their role in living active matter.


title: Lattice solutions in a Ginzburg-Landau model for a chiral magnet

abstract: We examine micromagnetic pattern formation in chiral magnets, driven by the competition of Heisenberg exchange, Dzyaloshinskii-Moriya interaction, easy-plane anisotropy and thermodynamic Landau potentials. Based on equivariant bifurcation theory we prove existence of lattice solutions branching off the zero magnetization state and investigate their stability. We observe in particular the stabilization of quadratic vortex-antivortex lattice configurations and instability of hexagonal skyrmion lattice configurations, and we illustrate our findings by numerical studies.


title: Comparing (Empirical-Gramian-Based) Model Order Reduction Algorithms

abstract: In this work, the empirical-Gramian-based model reduction methods: Empirical poor man's truncated balanced realization, empirical approximate balancing, empirical dominant subspaces, empirical balanced truncation, and empirical balanced gains are compared in a non-parametric and two parametric variants, via ten error measures: Approximate Lebesgue $L_0$, $L_1$, $L_2$, $L_\infty$, Hardy $H_2$, $H_\infty$, Hankel, Hilbert-Schmidt-Hankel, modified induced primal, and modified induced dual norms, for variants of the thermal block model reduction benchmark. This comparison is conducted via a new meta-measure for model reducibility called MORscore.


title: Tunable nonlinear spectra of anti-directional couplers

abstract: We produce transmission and reflection spectra of the anti-directional coupler (ADC) composed of linearly-coupled positive- and negative-refractive-index arms, with intrinsic Kerr nonlinearity. Both reflection and transmission feature two highly amplified peaks at two distinct wavelengths in a certain range of values of the gain, making it possible to design a wavelength-selective mode-amplification system. We also predict that a blend of gain and loss in suitable proportions can robustly enhance reflection spectra which are detrimentally affected by the attenuation, in addition to causing red and blue shifts owing to the Kerr effect. In particular, ADC with equal gain and loss coefficients, is considered in necessary detail.


title: Exploiting Colorimetry for Fidelity in Data Visualization

abstract: Advances in multimodal characterization methods fuel a generation of increasing immense hyper-dimensional datasets. Color mapping is employed for conveying higher dimensional data in two-dimensional (2D) representations for human consumption without relying on multiple projections. How one constructs these color maps, however, critically affects how accurately one perceives data. For simple scalar fields, perceptually uniform color maps and color selection have been shown to improve data readability and interpretation across research fields. Here we review core concepts underlying the design of perceptually uniform color map and extend the concepts from scalar fields to two-dimensional vector fields and three-component composition fields frequently found in materials-chemistry research to enable high-fidelity visualization. We develop the software tools PAPUC and CMPUC to enable researchers to utilize these colorimetry principles and employ perceptually uniform color spaces for rigorously meaningful color mapping of higher dimensional data representations. Last, we demonstrate how these approaches deliver immediate improvements in data readability and interpretation in microscopies and spectroscopies routinely used in discerning materials structure, chemistry, and properties.


title: Woodbury Transformations for Deep Generative Flows

abstract: Normalizing flows are deep generative models that allow efficient likelihood calculation and sampling. The core requirement for this advantage is that they are constructed using functions that can be efficiently inverted and for which the determinant of the function's Jacobian can be efficiently computed. Researchers have introduced various such flow operations, but few of these allow rich interactions among variables without incurring significant computational costs. In this paper, we introduce Woodbury transformations, which achieve efficient invertibility via the Woodbury matrix identity and efficient determinant calculation via Sylvester's determinant identity. In contrast with other operations used in state-of-the-art normalizing flows, Woodbury transformations enable (1) high-dimensional interactions, (2) efficient sampling, and (3) efficient likelihood evaluation. Other similar operations, such as 1x1 convolutions, emerging convolutions, or periodic convolutions allow at most two of these three advantages. In our experiments on multiple image datasets, we find that Woodbury transformations allow learning of higher-likelihood models than other flow architectures while still enjoying their efficiency advantages.


title: Nickelate superconductors -- a renaissance of the one-band Hubbard model

abstract: Following the discovery of superconductivity in the cuprates and the seminal work by Anderson, the theoretical efforts to understand high-temperature superconductivity have been focusing to a large extent on a simple model: the one-band Hubbard model. However, superconducting cuprates need to be doped, and the doped holes go into the oxygen orbitals. This requires a more elaborate multi-band model such as the three-orbital Emery model. The recently discovered nickelate superconductors appear, at first glance, to be even more complicated multi-orbital systems. Here, we analyse this multi-orbital system and find that it is instead the nickelates which can be described by a one-band Hubbard model, albeit with an additional electron reservoir and only around the superconducting regime. Our calculations of the critical temperature Tc are in good agreement with experiment, and show that optimal doping is slightly below the 20% Sr-doping of Ref. 11. Even more promising than 3d nickelates are 4d palladates.


title: SkinAugment: Auto-Encoding Speaker Conversions for Automatic Speech Translation

abstract: We propose autoencoding speaker conversion for training data augmentation in automatic speech translation. This technique directly transforms an audio sequence, resulting in audio synthesized to resemble another speaker's voice. Our method compares favorably to SpecAugment on English$\to$French and English$\to$Romanian automatic speech translation (AST) tasks as well as on a low-resource English automatic speech recognition (ASR) task. Further, in ablations, we show the benefits of both quantity and diversity in augmented data. Finally, we show that we can combine our approach with augmentation by machine-translated transcripts to obtain a competitive end-to-end AST model that outperforms a very strong cascade model on an English$\to$French AST task. Our method is sufficiently general that it can be applied to other speech generation and analysis tasks.


title: On Minimum Dominating Sets in cubic and (claw,H)-free graphs

abstract: Given a graph $G=(V,E)$, $S\subseteq V$ is a dominating set if every $v\in V\setminus S$ is adjacent to an element of $S$. The Minimum Dominating Set problem asks for a dominating set with minimum cardinality. It is well known that its decision version is $NP$-complete even when $G$ is a claw-free graph. We give a complexity dichotomy for the Minimum Dominating Set problem for the class of $(claw, H)$-free graphs when $H$ has at most six vertices. In an intermediate step we show that the Minimum Dominating Set problem is $NP$-complete for cubic graphs.


title: Validity of Thermodynamic Laws and Weak Cosmic Censorship for AdS Black Holes and Black Holes in a Cavity

abstract: By throwing a test charged particle into a Reissner-Nordstrom (RN) black hole, we test the validity of the first and second laws of thermodynamics and weak cosmic censorship conjecture (WCCC) with two types of boundary conditions, i.e., the asymptotically anti-de Sitter (AdS) space and a Dirichlet cavity wall placed in the asymptotically at space. For the RN-AdS black hole, the second law of thermodynamics is satisfied, and the WCCC is violated for both extremal and nearextremal black holes. For the RN black hole in a cavity, the entropy can either increase or decrease depending on the change in the charge, and WCCC is satisfied/violated for the extremal/nearextremal black hole. Our results indicate that there may be a connection between the black hole thermodynamics and the boundary condition imposed on the black hole.


title: Minimum degree thresholds for Hamilton $(k/2)$-cycles in $k$-uniform hypergraphs

abstract: For any even integer $k\ge 6$, integer $d$ such that $k/2\le d\le k-1$, and sufficiently large $n\in (k/2)\mathbb N$, we find a tight minimum $d$-degree condition that guarantees the existence of a Hamilton $(k/2)$-cycle in every $k$-uniform hypergraph on $n$ vertices. When $n\in k\mathbb N$, the degree condition coincides with the one for the existence of perfect matchings provided by R\"odl, Ruci\'nski and Szemer\'edi (for $d=k-1$) and Treglown and Zhao (for $d\ge k/2$), and thus our result strengthens theirs in this case.


title: Feasibility studies of conserved charge fluctuations in Au-Au collisions with CBM

abstract: We present the CBM physics performance study for measurements of the higher order cumulants of the net-proton multiplicity distributions. These observables are proxy for net-baryon fluctuations and are commonly used to study the phase structure of QCD phase diagram. The simulation is done for $Au+Au$ collision at beam kinetic energy $E_{lab} = 10$ AGeV. The cumulants of net-proton distributions have been calculated at midrapidity ($|\Delta y| =1$) for the transverse momentum range $0.2 < p_T < 2.0$ GeV/c. The centrality dependence of cumulants of net-proton upto order four is presented. The efficiency and detector effects are corrected using unfolding techniques. This work shows that the higher order cumulants of net-proton can be measured using the CBM detector.


title: Optimization of Graph Total Variation via Active-Set-based Combinatorial Reconditioning

abstract: Structured convex optimization on weighted graphs finds numerous applications in machine learning and computer vision. In this work, we propose a novel adaptive preconditioning strategy for proximal algorithms on this problem class. Our preconditioner is driven by a sharp analysis of the local linear convergence rate depending on the "active set" at the current iterate. We show that nested-forest decomposition of the inactive edges yields a guaranteed local linear convergence rate. Further, we propose a practical greedy heuristic which realizes such nested decompositions and show in several numerical experiments that our reconditioning strategy, when applied to proximal gradient or primal-dual hybrid gradient algorithm, achieves competitive performances. Our results suggest that local convergence analysis can serve as a guideline for selecting variable metrics in proximal algorithms.


title: Information Spreading Dynamics on Adaptive Social Networks

abstract: There is currently growing interest in modeling the information diffusion on social networks across multi-disciplines. The majority of the corresponding research has focused on information diffusion independently, ignoring the network evolution in the diffusion process. Therefore, it is more reasonable to describe the real diffusion systems by the co-evolution between network topologies and information states. In this work, we propose a mechanism considering the coevolution between information states and network topology simultaneously, in which the information diffusion was executed as an SIS process and network topology evolved based on the adaptive assumption. The theoretical analyses based on the Markov approach were very consistent with simulation. Both simulation results and theoretical analyses indicated that the adaptive process, in which informed individuals would rewire the links between the informed neighbors to a random non-neighbor node, can enhance information diffusion (leading to much broader spreading). In addition, we obtained that two threshold values exist for the information diffusion on adaptive networks, i.e., if the information propagation probability is less than the first threshold, information cannot diffuse and dies out immediately; if the propagation probability is between the first and second threshold, information will spread to a finite range and die out gradually; and if the propagation probability is larger than the second threshold, information will diffuse to a certain size of population in the network. These results may shed some light on understanding the co-evolution between information diffusion and network topology.


title: Group-scale intrinsic galaxy alignments in the Illustris-TNG and MassiveBlack-II simulations

abstract: We study the alignments of satellite galaxies, and their anisotropic distribution, with respect to location and orientation of their host central galaxy in MassiveBlack-II and IllustrisTNG simulations. We find that: the shape of the satellite system in halos of mass ($> 10^{13}h^{-1}M_{\odot}$) is well aligned with the shape of the central galaxy at $z=0.06$ with the mean alignment between the major axes being $\sim \Delta \theta = 12^{\circ}$ when compared to a uniform random distribution; that satellite galaxies tend to be anisotropically distributed along the major axis of the central galaxy with a stronger alignment in halos of higher mass or luminosity; and that the satellite distribution is more anisotropic for central galaxies with lower star formation rate, which are spheroidal, and for red central galaxies.Radially we find that satellites tend to be distributed along the major axis of the shape of the stellar component of central galaxies at smaller scales and the dark matter component on larger scales. We find that the dependence of satellite anisotropy on central galaxy properties and the radial distance is similar in both the simulations with a larger amplitude in MassiveBlack-II. The orientation of satellite galaxies tends to point toward the location of the central galaxy at small scales and this correlation decreases with increasing distance, and the amplitude of satellite alignment is higher in high mass halos. However, the projected ellipticities do not exhibit a scale-dependent radial alignment, as has been seen in some observational measurements.


title: Log-Brunn-Minkowski inequality under symmetry

abstract: We prove the log-Brunn-Minkowski conjecture for convex bodies with symmetries to $n$ independent hyperplanes, and discuss the equality case and the uniqueness of the solution of the related case of the logarithmic Minkowski problem. We also clarify a small gap in the known argument classifying the equality case of the log-Brunn-Minkowski conjecture for unconditional convex bodies.


title: Uniqueness of compact ancient solutions to three-dimensional Ricci flow

abstract: In this paper, we study the classification of $\kappa$-noncollapsed ancient solutions to three-dimensional Ricci flow on $S^3$. We prove that such a solution is either isometric to a family of shrinking round spheres, or the Type II ancient solution constructed by Perelman.


title: Collective excitations of the U(1)-symmetric exciton insulator in a cavity

abstract: We investigate the equilibrium state and the collective modes of an excitonic insulator (EI) in a Fabry-P\'erot cavity. In an EI, two bands of a semiconductor or semimetal spontaneously hybridize due to the Coulomb interaction between electrons and holes, leading to the opening of a gap. The coupling to the electromagnetic field reduces the symmetry of the system with respect to phase rotations of the excitonic order parameter from $U(1)$ to $Z_2$. While the reduction to a discrete symmetry would in general lead to a gapped phase mode and enhance the stability of the ordered phase, the coupling to the cavity leaves the mean-field ground state unaffected. Its energy remains invariant under $U(1)$ phase rotations, in spite of the lower $Z_2$ symmetry imposed by the cavity. In dipolar gauge, this can be traced back to the balancing of the linear light-matter coupling and the dipolar self-interaction at zero frequency. At nonzero frequency, however, the collective excitations do reflect the lower $Z_2$ symmetry, which shows that fluctuations beyond mean-field could play a crucial role in finding the true phase at finite temperature.


title: Lipschitz and Comparator-Norm Adaptivity in Online Learning

abstract: We study Online Convex Optimization in the unbounded setting where neither predictions nor gradient are constrained. The goal is to simultaneously adapt to both the sequence of gradients and the comparator. We first develop parameter-free and scale-free algorithms for a simplified setting with hints. We present two versions: the first adapts to the squared norms of both comparator and gradients separately using $O(d)$ time per round, the second adapts to their squared inner products (which measure variance only in the comparator direction) in time $O(d^3)$ per round. We then generalize two prior reductions to the unbounded setting; one to not need hints, and a second to deal with the range ratio problem (which already arises in prior work). We discuss their optimality in light of prior and new lower bounds. We apply our methods to obtain sharper regret bounds for scale-invariant online prediction with linear models.


title: Structure aware Runge-Kutta time stepping for spacetime tents

abstract: We introduce a new class of Runge-Kutta type methods suitable for time stepping to propagate hyperbolic solutions within tent-shaped spacetime regions. Unlike standard Runge-Kutta methods, the new methods yield expected convergence properties when standard high order spatial (discontinuous Galerkin) discretizations are used. After presenting a derivation of nonstandard order conditions for these methods, we show numerical examples of nonlinear hyperbolic systems to demonstrate the optimal convergence rates. We also report on the discrete stability properties of these methods applied to linear hyperbolic equations.


title: On the systematic construction of basis invariants

abstract: We describe a new, generally applicable strategy for the systematic construction of basis invariants (BIs). Our method allows one to count the number of mutually independent BIs and gives controlled access to the interrelations (syzygies) between mutually dependent BIs. Due to the novel use of orthogonal hermitian projection operators, we obtain the shortest possible invariants and their interrelations. The substructure of non-linear BIs is fully resolved in terms of linear, basis-covariant objects. The substructure distinguishes real (CP-even) and purely imaginary (CP-odd) BIs in a simple manner. As an illustrative example, we construct the full ring of BIs of the scalar potential of the general Two-Higgs-Doublet model.


title: Road map to extracting medium properties: an overview

abstract: In this manuscript, it is presented an overview of the Quark-Gluon Plasma properties measured, so far, using hard probes. We will focus on both quantitative and qualitative properties that have been (or are about to be) measured, making a link between the theoretical description and experimental results. Throughout the manuscript, highlights to some of the conferences' results will be given, but without an extensive overview. A personal opinion of the most important developments and critical problems that need more work in the future is presented at the end.


title: Time evolution of a medium-modified jet

abstract: The presence of a hot and dense medium, produced in ultra-relativistic heavy-ion collisions, is known to modify the parton shower evolution. Several observations of the resulting intra-jet activity show significant modifications of what can be considered as a medium-modified jet from a "vacuum" (proton-proton) reference. These modifications, generically known as jet quenching effects, are the result of the multiple interactions of the parton shower with the produced fast-evolving quark-gluon plasma (QGP). Recent efforts have tried to assess the time dependence of jet quenching effects, with particular focus on late or early dynamics. In this talk, we show a novel tool that can potentially evaluate the full-time evolution of the QGP by applying jet reclustering techniques. The result can bring novel insights into the QGP expansion as well as shed some light on how to re-sum, in a consistent way, vacuum-like and medium-like emissions into a single parton shower evolution equation.


title: Learning Representations by Predicting Bags of Visual Words

abstract: Self-supervised representation learning targets to learn convnet-based image representations from unlabeled data. Inspired by the success of NLP methods in this area, in this work we propose a self-supervised approach based on spatially dense image descriptions that encode discrete visual concepts, here called visual words. To build such discrete representations, we quantize the feature maps of a first pre-trained self-supervised convnet, over a k-means based vocabulary. Then, as a self-supervised task, we train another convnet to predict the histogram of visual words of an image (i.e., its Bag-of-Words representation) given as input a perturbed version of that image. The proposed task forces the convnet to learn perturbation-invariant and context-aware image features, useful for downstream image understanding tasks. We extensively evaluate our method and demonstrate very strong empirical results, e.g., our pre-trained self-supervised representations transfer better on detection task and similarly on classification over classes "unseen" during pre-training, when compared to the supervised case. This also shows that the process of image discretization into visual words can provide the basis for very powerful self-supervised approaches in the image domain, thus allowing further connections to be made to related methods from the NLP domain that have been extremely successful so far.


title: Non-trivial quantum magnetotransport oscillations in pure and robust topological $\alpha$-Sn films

abstract: We report experimental evidence of topological Dirac fermion charge carriers in pure and robust $\alpha$-Sn films grown on InSb substrates. This evidence was acquired using standard macroscopic four-point contact resistance measurements, conducted on uncapped films with a significantly reduced bulk mobility. We analyzed and compared electrical characteristics of the constituting components of the $\alpha$-Sn/InSb sample, and propose a three-band drift velocity model accordingly. A surface band, with low carrier density and high mobility, is identified as the origin of the observed Shubnikov -- de Haas oscillations. The analysis of these quantum oscillations results in a non-trivial value of the phase shift $\gamma =0$, characteristic for topologically protected Dirac fermions. For the same uncapped samples we estimate the momentum relaxation time $\tau\approx 300\ \mathrm{fs}$, which is significantly larger in comparison with the previous reports on grown $\alpha$-Sn films.


title: Safe and Compliant Control of Redundant Robots Using Superimposition of Passive Task-Space Controllers

abstract: Safe and compliant control of dynamic systems in interaction with the environment, e.g., in shared workspaces, continues to represent a major challenge. Mismatches in the dynamic model of the robots, numerical singularities, and the intrinsic environmental unpredictability are all contributing factors. Online optimization of impedance controllers has recently shown great promise in addressing this challenge, however, their performance is not sufficiently robust to be deployed in challenging environments. This work proposes a compliant control method for redundant manipulators based on a superimposition of multiple passive task-space controllers in a hierarchy. Our control framework of passive controllers is inherently stable, numerically well-conditioned (as no matrix inversions are required), and computationally inexpensive (as no optimization is used). We leverage and introduce a novel stiffness profile for a recently proposed passive controller with smooth transitions between the divergence and convergence phases making it particularly suitable when multiple passive controllers are combined through superimposition. Our experimental results demonstrate that the proposed method achieves sub-centimeter tracking performance during demanding dynamic tasks with fast-changing references, while remaining safe to interact with and robust to singularities. he proposed framework achieves such results without knowledge of the robot dynamics and thanks to its passivity is intrinsically stable. The data further show that the robot can fully take advantage of the redundancy to maintain the primary task accuracy while compensating for unknown environmental interactions, which is not possible from current frameworks that require accurate contact information.


title: Hydrodynamic response to jets with a source based on causal diffusion

abstract: We study the medium response to jet evolution in the quark-gluon plasma within the JETSCAPE framework. Recoil partons' medium response in the weakly coupled description is implemented in the multi-stage jet energy-loss model in the framework. As a further extension, the hydrodynamic description is rearranged to include in-medium jet transport based on a strong-coupling picture. To interface hydrodynamics with jet energy-loss models, the hydrodynamic source term is modeled by a causal formulation employing the relativistic diffusion equation. The jet shape and fragmentation function are studied via realistic simulations with weakly coupled recoils. We also demonstrate modifications in the medium caused by the hydrodynamic response.


title: The Complexity of Finding Tangles

abstract: We study the following combinatorial problem. Given a set of $n$ y-monotone curves, which we call wires, a tangle determines the order of the wires on a number of horizontal layers such that any two consecutive layers differ only in swaps of neighboring wires. Given a multiset $L$ of swaps (that is, unordered pairs of wires) and an initial order of the wires, a tangle realizes $L$ if each pair of wires changes its order exactly as many times as specified by $L$. Deciding whether a given multiset of swaps admits a realizing tangle is known to be NP-hard [Yamanaka et al., CCCG 2018]. We prove that this problem remains NP-hard if every pair of wires swaps only a constant number of times. On the positive side, we improve the runtime of a previous exponential-time algorithm. We also show that the problem is in NP and fixed-parameter tractable with respect to the number of wires.


title: Fundamental limits of quantum illumination

abstract: In Quantum Illumination (QI), a signal beam initially entangled with an idler beam held at the receiver interrogates a target region bathed in thermal background light. The returned beam is measured jointly with the idler in order to determine whether a weakly reflecting target is present. Using tools from quantum information theory, we derive lower bounds on the average error probability of detecting both specular and fading targets and on the mean squared error of estimating the reflectance of a detected target, which are obeyed by any QI transmitter satisfying a signal energy constraint. For bright thermal backgrounds, we show that the QI system using multiple copies of low-brightness two-mode squeezed vacuum states is nearly optimal. More generally, our results place limits on the best possible performance achievable using QI systems at all wavelengths, and at all signal and background noise levels.


title: MetFlow: A New Efficient Method for Bridging the Gap between Markov Chain Monte Carlo and Variational Inference

abstract: In this contribution, we propose a new computationally efficient method to combine Variational Inference (VI) with Markov Chain Monte Carlo (MCMC). This approach can be used with generic MCMC kernels, but is especially well suited to \textit{MetFlow}, a novel family of MCMC algorithms we introduce, in which proposals are obtained using Normalizing Flows. The marginal distribution produced by such MCMC algorithms is a mixture of flow-based distributions, thus drastically increasing the expressivity of the variational family. Unlike previous methods following this direction, our approach is amenable to the reparametrization trick and does not rely on computationally expensive reverse kernels. Extensive numerical experiments show clear computational and performance improvements over state-of-the-art methods.


title: Stress Tensor Sector of Conformal Correlators

abstract: An important part of a CFT four-point function, the stress tensor sector, comprises the exchanges of the stress tensor and its composites. The OPE coefficients of these multi-stress tensor operators and consequently, the complete stress tensor sector of four-point functions in CFTs with a large central charge, can be determined by computing a heavy-heavy-light-light correlator. We show how one can make substantial progress in this direction by bootstrapping a certain ansatz for the stress tensor sector of the correlator, iteratively computing the OPE coefficients of multi-stress tensor operators with increasing twist. Some parameters are not fixed by the bootstrap - they correspond to the OPE coefficients of multi-stress tensors with spin zero and two. We further show that in holographic CFTs one can use the phase shift computed in the dual gravitational theory to reduce the set of undetermined parameters to the OPE coefficients of multi-stress tensors with spin zero. Finally, we verify some of these results using the Lorentzian OPE inversion formula and comment on its regime of applicability.


title: Ultrafast magnetization dynamics in half-metallic Co$_2$FeAl Heusler alloy

abstract: We report on optically induced, ultrafast magnetization dynamics in the Heusler alloy $\mathrm{Co_{2}FeAl}$, probed by time-resolved magneto-optical Kerr effect. Experimental results are compared to results from electronic structure theory and atomistic spin-dynamics simulations. Experimentally, we find that the demagnetization time ($\tau_{M}$) in films of $\mathrm{Co_{2}FeAl}$ is almost independent of varying structural order, and that it is similar to that in elemental 3d ferromagnets. In contrast, the slower process of magnetization recovery, specified by $\tau_{R}$, is found to occur on picosecond time scales, and is demonstrated to correlate strongly with the Gilbert damping parameter ($\alpha$). Our results show that $\mathrm{Co_{2}FeAl}$ is unique, in that it is the first material that clearly demonstrates the importance of the damping parameter in the remagnetization process. Based on these results we argue that for $\mathrm{Co_{2}FeAl}$ the remagnetization process is dominated by magnon dynamics, something which might have general applicability.


title: ZoomCount: A Zooming Mechanism for Crowd Counting in Static Images

abstract: This paper proposes a novel approach for crowd counting in low to high density scenarios in static images. Current approaches cannot handle huge crowd diversity well and thus perform poorly in extreme cases, where the crowd density in different regions of an image is either too low or too high, leading to crowd underestimation or overestimation. The proposed solution is based on the observation that detecting and handling such extreme cases in a specialized way leads to better crowd estimation. Additionally, existing methods find it hard to differentiate between the actual crowd and the cluttered background regions, resulting in further count overestimation. To address these issues, we propose a simple yet effective modular approach, where an input image is first subdivided into fixed-size patches and then fed to a four-way classification module labeling each image patch as low, medium, high-dense or no-crowd. This module also provides a count for each label, which is then analyzed via a specifically devised novel decision module to decide whether the image belongs to any of the two extreme cases (very low or very high density) or a normal case. Images, specified as high- or low-density extreme or a normal case, pass through dedicated zooming or normal patch-making blocks respectively before routing to the regressor in the form of fixed-size patches for crowd estimate. Extensive experimental evaluations demonstrate that the proposed approach outperforms the state-of-the-art methods on four benchmarks under most of the evaluation criteria.


title: The Mertens Unrolled Network (MU-Net): A High Dynamic Range Fusion Neural Network for Through the Windshield Driver Recognition

abstract: Face recognition of vehicle occupants through windshields in unconstrained environments poses a number of unique challenges ranging from glare, poor illumination, driver pose and motion blur. In this paper, we further develop the hardware and software components of a custom vehicle imaging system to better overcome these challenges. After the build out of a physical prototype system that performs High Dynamic Range (HDR) imaging, we collect a small dataset of through-windshield image captures of known drivers. We then re-formulate the classical Mertens-Kautz-Van Reeth HDR fusion algorithm as a pre-initialized neural network, which we name the Mertens Unrolled Network (MU-Net), for the purpose of fine-tuning the HDR output of through-windshield images. Reconstructed faces from this novel HDR method are then evaluated and compared against other traditional and experimental HDR methods in a pre-trained state-of-the-art (SOTA) facial recognition pipeline, verifying the efficacy of our approach.


title: Improved description of light nuclei through chiral effective field theory at leading order

abstract: We propose an arrangement of the most commonly invoked version of the two-nucleon chiral potential such that the low-lying amplitude zero of the 1S0 partial wave is captured at leading order of the effective expansion. Adopting other partial waves from the LENPIC interaction, we show how this modification yields an improved description of ground-state energies and point-proton radii of three test nuclei.


title: Blurry Video Frame Interpolation

abstract: Existing works reduce motion blur and up-convert frame rate through two separate ways, including frame deblurring and frame interpolation. However, few studies have approached the joint video enhancement problem, namely synthesizing high-frame-rate clear results from low-frame-rate blurry inputs. In this paper, we propose a blurry video frame interpolation method to reduce motion blur and up-convert frame rate simultaneously. Specifically, we develop a pyramid module to cyclically synthesize clear intermediate frames. The pyramid module features adjustable spatial receptive field and temporal scope, thus contributing to controllable computational complexity and restoration ability. Besides, we propose an inter-pyramid recurrent module to connect sequential models to exploit the temporal relationship. The pyramid module integrates a recurrent module, thus can iteratively synthesize temporally smooth results without significantly increasing the model size. Extensive experimental results demonstrate that our method performs favorably against state-of-the-art methods.


title: Compactness and stability for planar vortex-pairs with prescribed impulse

abstract: Concentration-compactness is used to prove compactness of maximising sequences for a variational problem governing symmetric steady vortex-pairs in a uniform planar ideal fluid flow, where the kinetic energy is to be maximised and the constraint set comprises the set of all equimeasurable rearrangements of a given function (representing vorticity) that have prescribed impulse (lnear momentum). A form of orbital stability is deduced.


title: Opportunities of a Machine Learning-based Decision Support System for Stroke Rehabilitation Assessment

abstract: Rehabilitation assessment is critical to determine an adequate intervention for a patient. However, the current practices of assessment mainly rely on therapist's experience, and assessment is infrequently executed due to the limited availability of a therapist. In this paper, we identified the needs of therapists to assess patient's functional abilities (e.g. alternative perspective on assessment with quantitative information on patient's exercise motions). As a result, we developed an intelligent decision support system that can identify salient features of assessment using reinforcement learning to assess the quality of motion and summarize patient specific analysis. We evaluated this system with seven therapists using the dataset from 15 patient performing three exercises. The evaluation demonstrates that our system is preferred over a traditional system without analysis while presenting more useful information and significantly increasing the agreement over therapists' evaluation from 0.6600 to 0.7108 F1-scores ($p <0.05$). We discuss the importance of presenting contextually relevant and salient information and adaptation to develop a human and machine collaborative decision making system.


title: Electroweak Stability and Discovery Luminosities for New Physics

abstract: What is the luminosity needed for discovering new physics if the electroweak scale is to remain stable? In this work we study this question, with the example of a real singlet scalar which couples to the Higgs field already at the renormalizable level. Observing that the electroweak scale remains stable if the two scalars couple in a seesawic fashion, we show that the HL-LHC, expected to deliver an integrated luminosity around 3/ab, can discover scalars weighing up to 800 GeV. The FCC-hh, on the other hand, can discover scalars as heavy as 2.3 TeV at 100/ab luminosity. It thus follows that the new physics that does not destabilize the electroweak scale can be accessed only at high luminosities, and is not possible exclude by the current LHC results.


title: Coronary Wall Segmentation in CCTA Scans via a Hybrid Net with Contours Regularization

abstract: Providing closed and well-connected boundaries of coronary artery is essential to assist cardiologists in the diagnosis of coronary artery disease (CAD). Recently, several deep learning-based methods have been proposed for boundary detection and segmentation in a medical image. However, when applied to coronary wall detection, they tend to produce disconnected and inaccurate boundaries. In this paper, we propose a novel boundary detection method for coronary arteries that focuses on the continuity and connectivity of the boundaries. In order to model the spatial continuity of consecutive images, our hybrid architecture takes a volume (i.e., a segment of the coronary artery) as input and detects the boundary of the target slice (i.e., the central slice of the segment). Then, to ensure closed boundaries, we propose a contour-constrained weighted Hausdorff distance loss. We evaluate our method on a dataset of 34 patients of coronary CT angiography scans with curved planar reconstruction (CCTA-CPR) of the arteries (i.e., cross-sections). Experiment results show that our method can produce smooth closed boundaries outperforming the state-of-the-art accuracy.


title: Average radial integrability spaces of analytic functions

abstract: In this paper we introduce the family of spaces $RM(p,q)$, $1\leq p,q\leq +\infty$. They are spaces of holomorphic functions in the unit disc with average radial integrability. This family contains the classical Hardy spaces (when $p=\infty$) and Bergman spaces (when $p=q$). We characterize the inclusion between $RM(p_1,q_1)$ and $RM(p_2,q_2)$ depending on the parameters. For $1<p,q<\infty$, our main result provides a characterization of the dual spaces of $RM(p,q)$ by means of the boundedness of the Bergman projection. We show that $RM(p,q)$ is separable if and only if $q<+\infty$. In fact, we provide a method to build isomorphic copies of $\ell^\infty$ in $RM(p,\infty)$.


title: Probing charged lepton number violation via $\ell^\pm \ell^{\prime \pm} W^\mp W^\mp$

abstract: We study impacts of dimension-five lepton-number violating operators associated with two same-sign weak bosons, $\ell^\pm \ell^{\prime \pm} W^\mp W^\mp$, on current and future experiments for neutrino oscillation, lepton-number violating rare processes and high-energy collider experiments. These operators can contain important information on the origin of tiny neutrino masses, which is independent of that from the so-called Weinberg operator. We examine constraints on the coefficients of the operators by the neutrino oscillation data. Upper bounds on the coefficients are also investigated by using the data for processes of lepton number violation such as neutrinoless double beta decays and $\mu^-$-$e^+$ conversion. These operators can also be directly tested by searching for lepton-number violating dilepton production via the same-sign W boson fusion process at high-energy hadron colliders like the Large Hadron Collider. We find that these operators can be considerably probed by these current and future experiments.


title: SPRING: A fast stochastic proximal alternating method for non-smooth non-convex optimization

abstract: We introduce SPRING, a novel stochastic proximal alternating linearized minimization algorithm for solving a class of non-smooth and non-convex optimization problems. Large-scale imaging problems are becoming increasingly prevalent due to advances in data acquisition and computational capabilities. Motivated by the success of stochastic optimization methods, we propose a stochastic variant of proximal alternating linearized minimization (PALM) algorithm \cite{bolte2014proximal}. We provide global convergence guarantees, demonstrating that our proposed method with variance-reduced stochastic gradient estimators, such as SAGA \cite{SAGA} and SARAH \cite{sarah}, achieves state-of-the-art oracle complexities. We also demonstrate the efficacy of our algorithm via several numerical examples including sparse non-negative matrix factorization, sparse principal component analysis, and blind image deconvolution.


title: Residuated implications derived from quasi-overlap functions on lattices

abstract: In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized the residuation principle for the case of quasi-overlap functions on lattices and their respective induced implications, as well as revealing that the class of quasi-overlap functions that fulfill the residuation principle is the same class of continuous functions according to topology of Scott. Also, Scott's continuity and the notion of densely ordered posets are used to generalize a classification theorem for residuated quasi-overlap functions. Finally, the concept of automorphisms are extended to the context of quasi-overlap functions over lattices, taking these lattices into account as topological spaces, with a view to obtaining quasi-overlap functions conjugated by the action of automorphisms.


title: Refining the conference experience for junior scientists in the wake of climate change

abstract: With the ever-increasing carbon footprint associated with conferences, scientists can learn to refine their conference experiences when they do need to travel. We offer insight on how to optimize the conference experience through attending speaker sessions, giving presentations, and networking.


title: Reinterpreting Neutrino Oscillations

abstract: This letter proposes an alternative quantum mechanical picture for the observed phenomena of neutrino oscillations. It is assumed in the following that neutrinos interact via diabatic (or localised) interactions with a new particle field, which changes their flavor. Furthermore, it is assumed that each neutrino flavor state can only have a single associated mass thereby making them fundamental particles of nature. The effective masses associated with matter interactions replace the concept of neutrino mixing angles. Preliminary evidence that left-handed neutrinos and right-handed antineutrinos oscillate differently is presented, implying charge-parity violation. Given the apparent anomalous observations of some neutrino oscillation experiments, which have led to speculations about the existence of a fourth (sterile) neutrino, it is worth examining the oscillation behavior predicted by alternative mechanisms to determine if they more naturally explain the available data.


title: Analyzing and generating multimode optical fields using self-configuring networks

abstract: Working with finite numbers of modes to describe, generate and detect optical fields can be both mathematically economical and physically useful. Such a modal basis can map directly to various applications in communications, sensing and processing. But, we need a way to generate and analyze such fields, including measurement and control of both the relative amplitudes and phases of the modal components. Here, we show first how to measure all those relative amplitudes and phases automatically and simultaneously. The method uses a self-configuring network of 2x2 blocks, such as integrated Mach-Zehnder interferometers, that can automatically align itself to the optical field by a sequence of simple one-parameter power minimizations when network elements, such as phase shifters, are adjusted. The optical field is then directly deduced from the resulting settings of those elements. We show how the entire network can be calibrated for such measurements, automatically and with just two light beams. Then, using the same calibration and running the mesh backwards, we can also controllably generate an arbitrary multimode field. Explicit algorithms and formulas are given for operating this system.


title: Deep Reinforcement Learning Based Intelligent Reflecting Surface for Secure Wireless Communications

abstract: In this paper, we study an intelligent reflecting surface (IRS)-aided wireless secure communication system for physical layer security, where an IRS is deployed to adjust its surface reflecting elements to guarantee secure communication of multiple legitimate users in the presence of multiple eavesdroppers. Aiming to improve the system secrecy rate, a design problem for jointly optimizing the base station (BS)'s beamforming and the IRS's reflecting beamforming is formulated given the different quality of service (QoS) requirements and time-varying channel condition. As the system is highly dynamic and complex, and it is challenging to address the non-convex optimization problem, a novel deep reinforcement learning (DRL)-based secure beamforming approach is firstly proposed to achieve the optimal beamforming policy against eavesdroppers in dynamic environments. Furthermore, post-decision state (PDS) and prioritized experience replay (PER) schemes are utilized to enhance the learning efficiency and secrecy performance. Specifically, PDS is capable of tracing the environment dynamic characteristics and adjust the beamforming policy accordingly. Simulation results demonstrate that the proposed deep PDS-PER learning-based secure beamforming approach can significantly improve the system secrecy rate and QoS satisfaction probability in IRS-aided secure communication systems.


title: Random geometric graphs in high dimension

abstract: Many machine learning algorithms used for dimensional reduction and manifold learning leverage on the computation of the nearest neighbours to each point of a dataset to perform their tasks. These proximity relations define a so-called geometric graph, where two nodes are linked if they are sufficiently close to each other. Random geometric graphs, where the positions of nodes are randomly generated in a subset of $\mathbb{R}^{d}$, offer a null model to study typical properties of datasets and of machine learning algorithms. Up to now, most of the literature focused on the characterization of low-dimensional random geometric graphs whereas typical datasets of interest in machine learning live in high-dimensional spaces ($d \gg 10^{2}$). In this work, we consider the infinite dimensions limit of hard and soft random geometric graphs and we show how to compute the average number of subgraphs of given finite size $k$, e.g. the average number of $k$-cliques. This analysis highlights that local observables display different behaviors depending on the chosen ensemble: soft random geometric graphs with continuous activation functions converge to the naive infinite dimensional limit provided by Erd\"os-R\'enyi graphs, whereas hard random geometric graphs can show systematic deviations from it. We present numerical evidence that our analytical insights, exact in infinite dimensions, provide a good approximation also for dimension $d\gtrsim10$.


title: On optimality of constants in the Little Grothendieck Theorem

abstract: We explore the optimality of the constants making valid the recently established Little Grothendieck inequality for JB$^*$-triples and JB$^*$-algebras. In our main result we prove that for each bounded linear operator $T$ from a JB$^*$-algebra $B$ into a complex Hilbert space $H$ and $\varepsilon>0$, there is a norm-one functional $\varphi\in B^*$ such that $$\|Tx\|\le(\sqrt{2}+\varepsilon)\|T\|\|x\|_\varphi\quad\mbox{ for }x\in B.$$ The constant appearing in this theorem improves the best value known up to date (even for C$^*$-algebras). We also present an easy example witnessing that the constant cannot be strictly smaller than $\sqrt2$, hence our main theorem is `asymptotically optimal'. For type I JBW$^*$-algebras we establish a canonical decomposition of normal functionals which may be used to prove the main result in this special case and also seems to be of an independent interest. As a tool we prove a measurable version of the Schmidt representation of compact operators on a Hilbert space.


title: Empirical Analysis of Indirect Internal Conversions in Cryptocurrency Exchanges

abstract: Algorithmic trading is well studied in traditional financial markets. However, it has received less attention in centralized cryptocurrency exchanges. The Commodity Futures Trading Commission (CFTC) attributed the $2010$ flash crash, one of the most turbulent periods in the history of financial markets that saw the Dow Jones Industrial Average lose $9\%$ of its value within minutes, to automated order "spoofing" algorithms. In this paper, we build a set of methodologies to characterize and empirically measure different algorithmic trading strategies in Binance, a large centralized cryptocurrency exchange, using a complete data set of historical trades. We find that a sub-strategy of triangular arbitrage is widespread, where bots convert between two coins through an intermediary coin, and obtain a favorable exchange rate compared to the direct one. We measure the profitability of this strategy, characterize its risks, and outline two strategies that algorithmic trading bots use to mitigate their losses. We find that this strategy yields an exchange ratio that is $0.144\%$, or $14.4$ basis points (bps) better than the direct exchange ratio. $2.71\%$ of all trades on Binance are attributable to this strategy.


title: Subjective Quality Assessment for YouTube UGC Dataset

abstract: Due to the scale of social video sharing, User Generated Content (UGC) is getting more attention from academia and industry. To facilitate compression-related research on UGC, YouTube has released a large-scale dataset. The initial dataset only provided videos, limiting its use in quality assessment. We used a crowd-sourcing platform to collect subjective quality scores for this dataset. We analyzed the distribution of Mean Opinion Score (MOS) in various dimensions, and investigated some fundamental questions in video quality assessment, like the correlation between full video MOS and corresponding chunk MOS, and the influence of chunk variation in quality score aggregation.


title: Stochastic dynamics of dissolving active particles

abstract: The design of artificial microswimmers has generated significant research interest in recent years, for promise in applications such as nanomotors and targeted drug-delivery. However, many current designs suffer from a common problem, namely the swimmers remain in the fluid indefinitely, posing risks of clogging and damage. Inspired by recently proposed experimental designs, we investigate mathematically the dynamics of degradable active particles. We develop and compare two distinct chemical models for the decay of a swimmer, taking into account the material composition and nature of the chemical or enzymatic reaction at its surface. These include a model for dissolution without a reaction, as well as models for a reacting swimmer studied in the limit of large and small Damk\"ohler number. A new dimensionless parameter emerges that allows the classification of colloids into ballistic and diffusive type. Using this parameter, we perform an asymptotic analysis to derive expressions for colloid lifetimes and their total mean-squared displacement from release and validate these by numerical Monte Carlo simulations of the associated Langevin dynamics. Supported by general scaling relationships, our theoretical results provide new insight into the experimental applicability of a wide range of designs for degradable active colloids.


title: CATA++: A Collaborative Dual Attentive Autoencoder Method for Recommending Scientific Articles

abstract: Recommender systems today have become an essential component of any commercial website. Collaborative filtering approaches, and Matrix Factorization (MF) techniques in particular, are widely used in recommender systems. However, the natural data sparsity problem limits their performance where users generally interact with very few items in the system. Consequently, multiple hybrid models were proposed recently to optimize MF performance by incorporating additional contextual information in its learning process. Although these models improve the recommendation quality, there are two primary aspects for further improvements: (1) multiple models focus only on some portion of the available contextual information and neglect other portions; (2) learning the feature space of the side contextual information needs to be further enhanced. In this paper, we introduce a Collaborative Dual Attentive Autoencoder (CATA++) for recommending scientific articles. CATA++ utilizes an article's content and learns its latent space via two parallel autoencoders. We employ the attention mechanism to capture the most related parts of information in order to make more relevant recommendations. Extensive experiments on three real-world datasets have shown that our dual-way learning strategy has significantly improved the MF performance in comparison with other state-of-the-art MF-based models using various experimental evaluations. The source code of our methods is available at: https://github.com/jianlin-cheng/CATA.


title: Testing Monotonicity of Machine Learning Models

abstract: Today, machine learning (ML) models are increasingly applied in decision making. This induces an urgent need for quality assurance of ML models with respect to (often domain-dependent) requirements. Monotonicity is one such requirement. It specifies a software as 'learned' by an ML algorithm to give an increasing prediction with the increase of some attribute values. While there exist multiple ML algorithms for ensuring monotonicity of the generated model, approaches for checking monotonicity, in particular of black-box models, are largely lacking. In this work, we propose verification-based testing of monotonicity, i.e., the formal computation of test inputs on a white-box model via verification technology, and the automatic inference of this approximating white-box model from the black-box model under test. On the white-box model, the space of test inputs can be systematically explored by a directed computation of test cases. The empirical evaluation on 90 black-box models shows verification-based testing can outperform adaptive random testing as well as property-based techniques with respect to effectiveness and efficiency.


title: The Physics of Spontaneous Parity-Time Symmetry Breaking in the Kelvin-Helmholtz Instability

abstract: We show that the dynamics, in particular the Kelvin-Helmholtz (KH) instability, of an inviscid fluid with velocity shear admits Parity-Time (PT) symmetry, which provides a physical explanation to the well-known observation that the spectrum of the perturbation eigenmodes of the system is symmetric with respect to the real axis. It is found that the KH instability is triggered when and only when the PT symmetry is spontaneously broken. The analysis of PT symmetry also reveals that the relative phase between parallel velocity and pressure perturbations needs to be locked at $\pi/2$ when the instability is suppressed.


title: Simulating the Spread of Epidemics in China on the Multi-layer Transportation Network: Beyond the Coronavirus in Wuhan

abstract: Based on the SEIR model and the modeling of urban transportation networks, a general-purpose simulator for the spread of epidemics in Chinese cities is built. The Chinese public transportation system between over 340 prefectural-level cities is modeled as a multi-layer bi-partite network, with layers representing different means of transportation (airlines, railways, sail routes and buses), and nodes divided into two categories (central cities, peripheral cities). At each city, an open-system SEIR model tracks the local spread of the disease, with population in- and out-flow exchanging with the overlying transportation network. The model accounts for (1) different transmissivities of the epidemic on different transportation media, (2) the transit of inbound flow at cities, (3) cross-infection on public transportation vehicles due to path overlap, and the realistic considerations that (4) the infected population are not entering public transportation and (5) the recovered population are not subject to repeated infections. The model could be used to simulate the city-level spread in China (and potentially other countries) of an arbitrary epidemic, characterized by its basic reproduction number, incubation period, infection period and zoonotic force, originated from any Chinese prefectural-level city(s), during the period before effective government interventions are implemented. Flowmaps are input into the system to trigger inter-city dynamics, assuming different flow strength, determined from empirical observation, within/between the bi-partite divisions of nodes. The model is used to simulate the 2019 Coronavirus epidemic in Wuhan; it shows that the framework is robust and reliable, and simulated results match public city-level datasets to an extraordinary extent.