title: Optimal regularity & Liouville property for stable solutions to semilinear elliptic equations in $\mathbb R^n$ with $n\ge10$

abstract: Let $ 0\le f\in C^{0,1}(\mathbb R^n)$. Given a domain $\Omega\subset \mathbb R^n$, we prove that any stable solution to the equation $-\Delta u=f(u)$ in $\Omega$ satisfies a BMO interior regularity when $n=10$, and an Morrey $M^{p_n,4+2/(p_n-2)}$ interior regularity when $n\ge 11$, where $$p_n=\frac{2(n-2\sqrt{n-1}-2)}{n-2\sqrt{n-1}-4}. $$ This result is optimal as hinted by earlier results, and answers an open question raised by Cabr\'e, Figalli, Ros-Oton and Serra. As an application, we show a sharp Liouville property: Any stable solution $u \in C^2(\mathbb R^n)$ to $-\Delta u=f(u)$ in $\mathbb R^n$ satisfying the growth condition, i.e.\ $|u(x)|= o\left( \log|x| \right)$ as $|x|\to+\infty$ when $n=10$; or $|u(x)|= o\left( |x| ^{ -\frac n2+\sqrt{n-1}+2 }\right)$ as $x|\to+\infty$ when $n\ge 11$, must be a constant. This extends the well-known Liouville property for radial stable solutions obtained by Villegas.


title: Higher order deformed elliptic Ruijsenaars operators

abstract: We present four infinite families of mutually commuting difference operators which include the deformed elliptic Ruijsenaars operators. The trigonometric limit of this kind of operators was previously introduced by Feigin and Silantyev. They provide a quantum mechanical description of two kinds of relativistic quantum mechanical particles which can be identified with particles and anti-particles in an underlying quantum field theory. We give direct proofs of the commutativity of our operators and of some other fundamental properties such as kernel function identities. In particular, we give a rigorous proof of the quantum integrability of the deformed Ruijsenaars model.


title: Set-theoretic solutions of the Yang-Baxter equation associated to weak braces

abstract: We investigate a new algebraic structure which always gives rise to a set-theoretic solution of the Yang-Baxter equation. Specifically, a weak (left) brace is a non-empty set $S$ endowed with two binary operations $+$ and $\circ$ such that both $(S,+)$ and $(S, \circ)$ are inverse semigroups and they hold \begin{align*} a \circ \left(b+c\right) = a\circ b - a +a\circ c \qquad \text{and} \qquad a\circ a^- = - a + a, \end{align*} for all $a,b,c \in S$, where $-a$ and $a^-$ are the inverses of $a$ with respect to $+$ and $\circ$, respectively. In particular, such structures include that of skew braces and form a subclass of inverse semi-braces. Any solution $r$ associated to an arbitrary weak brace $S$ has a behavior close to bijectivity, namely $r$ is a completely regular element in the full transformation semigroup on $S\times S$. In addition, we provide some methods to construct weak braces.


title: About the computation of finite temperatureensemble averages of hybrid quantum-classicalsystems with Molecular Dynamics

abstract: Molecular or condensed matter systems are often well approximated by hybrid quantum-classical models: the electrons retain their quantum character, whereas the ions are considered to be classical particles. We discuss various alternative approaches for the computation of equilibrium (canonical) ensemble averages for observables of these hybrid quantum-classical systems through the use of molecular dynamics (MD), i.e. by performing dynamics in the presence of a thermostat and computing time averages over the trajectories. Often, in classical or ab initio MD, the temperature of the electrons is ignored and they are assumed to remain at the instantaneous ground state given by each ionic configuration during the evolution. Here, however, we discuss the general case that considers both classical and quantum subsystems at finite temperature canonical equilibrium. Inspired by a recent formal derivation for the canonical ensemble for quantum classical hybrids, we discuss previous approaches found in the literature, and provide some new formulas.


title: Short spin waves detection by means of the magneto-optical intensity effect

abstract: It is proposed a novel method of the spectrally selective detection of the short spin waves (or magnons) by means of the transverse magneto-optical (MO) intensity effect in transmission in the magnetoplasmonic nanostructure. The method is based on the analysis of the MO effect spectrum versus the modulation of the sample magnetization (i.e. spin wave) and related spatial symmetry breaking in the magnetic layer. The spatial symmetry breaking leads to the appearance of MO effect modulation at the normal incidence of light in the spectral range of the optical states (SPP and waveguide modes) and the breaking of the antisymmetry of the effect with respect to the sign of the incidence angle of light. Besides it is revealed that the magnitude of the MO effect varies with respect to the phase shift between the spin wave and the plasmonic grating as a harmonic function with a period equal to the magnon wavelength. All these facts allow to detect the spin waves of the certain wavelength propagating in the nanostructure by measuring of the MO effect in the nanostructure.


title: Distribution Awareness for AI System Testing

abstract: As Deep Learning (DL) is continuously adopted in many safety critical applications, its quality and reliability start to raise concerns. Similar to the traditional software development process, testing the DL software to uncover its defects at an early stage is an effective way to reduce risks after deployment. Although recent progress has been made in designing novel testing techniques for DL software, the distribution of generated test data is not taken into consideration. It is therefore hard to judge whether the identified errors are indeed meaningful errors to the DL application. Therefore, we propose a new OOD-guided testing technique which aims to generate new unseen test cases relevant to the underlying DL system task. Our results show that this technique is able to filter up to 55.44% of error test case on CIFAR-10 and is 10.05% more effective in enhancing robustness.


title: From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

abstract: We present a bounded equivalence verification technique for higher-order programs with local state. This technique combines fully abstract symbolic environmental bisimulations similar to symbolic game semantics, novel up-to techniques, and lightweight state invariant annotations. This yields an equivalence verification technique with no false positives or negatives. The technique is bounded-complete, in that all inequivalences are automatically detected given large enough bounds. Moreover, several hard equivalences are proved automatically or after being annotated with state invariants. We realise the technique in a tool prototype called Hobbit and benchmark it with an extensive set of new and existing examples. Hobbit can prove many classical equivalences including all Meyer and Sieber examples.


title: Magnetic field of the eclipsing binary UV Piscium

abstract: The goal of this work is to study magnetic fields of the cool, eclipsing binary star UV Piscium (UV Psc). This system contains two active late-type stars, UV Psc A (G5V) and B (K3V). To obtain a complete picture, the properties of both global and local magnetic field structures are studied for both components. High-resolution intensity and circular polarisation spectra, collected in 2016 with the ESPaDOnS spectropolarimeter at the CFHT, were used to analyse the magnetic field of UV Psc. To increase the signal-to-noise ratio, the multi-line technique of least-squares deconvolution (LSD) was used to obtain average Stokes IV profiles. Then, a Zeeman-Doppler imaging (ZDI) code was employed to obtain the large-scale magnetic field topology and brightness distribution for both components of UV Psc. In addition, the small-scale magnetic fields, not visible to ZDI, were studied using the Zeeman intensification of Fe I lines. Maps of the surface magnetic field for both components of UV Psc were obtained, the large-scale magnetic fields feature strong toroidal and non-axisymetric components. UV Psc A and B have average global field strengths of 137 G and 88 G, respectively. The small-scale fields are notably stronger, with average strengths of 2.5 and 2.2 kG, respectively. Our results are in agreement with previous studies of partly-convective stars. Overall, UV Psc A has a stronger magnetic field compared to UV Psc B. Due to the eclipsing binary geometry, certain magnetic field features are not detectable using circular polarisation only. An investigation into theoretical linear polarisation profiles shows that they could be used to reveal antisymmetric components of the magnetic field. This result also has implications for the study of exoplanetary transit hosts.


title: Bayesian Active Learning by Disagreements: A Geometric Perspective

abstract: We present geometric Bayesian active learning by disagreements (GBALD), a framework that performs BALD on its core-set construction interacting with model uncertainty estimation. Technically, GBALD constructs core-set on ellipsoid, not typical sphere, preventing low-representative elements from spherical boundaries. The improvements are twofold: 1) relieve uninformative prior and 2) reduce redundant estimations. Theoretically, geodesic search with ellipsoid can derive tighter lower bound on error and easier to achieve zero error than with sphere. Experiments show that GBALD has slight perturbations to noisy and repeated samples, and outperforms BALD, BatchBALD and other existing deep active learning approaches.


title: SGG: Learning to Select, Guide, and Generate for Keyphrase Generation

abstract: Keyphrases, that concisely summarize the high-level topics discussed in a document, can be categorized into present keyphrase which explicitly appears in the source text, and absent keyphrase which does not match any contiguous subsequence but is highly semantically related to the source. Most existing keyphrase generation approaches synchronously generate present and absent keyphrases without explicitly distinguishing these two categories. In this paper, a Select-Guide-Generate (SGG) approach is proposed to deal with present and absent keyphrase generation separately with different mechanisms. Specifically, SGG is a hierarchical neural network which consists of a pointing-based selector at low layer concentrated on present keyphrase generation, a selection-guided generator at high layer dedicated to absent keyphrase generation, and a guider in the middle to transfer information from selector to generator. Experimental results on four keyphrase generation benchmarks demonstrate the effectiveness of our model, which significantly outperforms the strong baselines for both present and absent keyphrases generation. Furthermore, we extend SGG to a title generation task which indicates its extensibility in natural language generation tasks.


title: Unsupervised Visual Representation Learning by Tracking Patches in Video

abstract: Inspired by the fact that human eyes continue to develop tracking ability in early and middle childhood, we propose to use tracking as a proxy task for a computer vision system to learn the visual representations. Modelled on the Catch game played by the children, we design a Catch-the-Patch (CtP) game for a 3D-CNN model to learn visual representations that would help with video-related tasks. In the proposed pretraining framework, we cut an image patch from a given video and let it scale and move according to a pre-set trajectory. The proxy task is to estimate the position and size of the image patch in a sequence of video frames, given only the target bounding box in the first frame. We discover that using multiple image patches simultaneously brings clear benefits. We further increase the difficulty of the game by randomly making patches invisible. Extensive experiments on mainstream benchmarks demonstrate the superior performance of CtP against other video pretraining methods. In addition, CtP-pretrained features are less sensitive to domain gaps than those trained by a supervised action recognition task. When both trained on Kinetics-400, we are pleasantly surprised to find that CtP-pretrained representation achieves much higher action classification accuracy than its fully supervised counterpart on Something-Something dataset. Code is available online: github.com/microsoft/CtP.


title: New structure on the quantum alcove model with applications to representation theory and Schubert calculus

abstract: The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from the fundamental one to its translation by the given dominant weight. This is established through quantum Yang-Baxter moves, which biject the objects of the model associated with two such alcove paths, and can be viewed as a generalization of jeu de taquin slides to arbitrary root systems. The purpose of this paper is to give a generalization of quantum Yang-Baxter moves to the quantum alcove model corresponding to an arbitrary weight, which was used to express a general Chevalley formula in the equivariant $K$-group of semi-infinite flag manifolds. The generalized quantum Yang-Baxter moves give rise to a "sijection" (bijection between signed sets), and are shown to preserve certain important statistics, including weights and heights. As an application, we prove that the generating function of these statistics does not depend on the choice of a reduced alcove path. Also, we obtain an identity for the graded characters of Demazure submodules of level-zero extremal weight modules over a quantum affine algebra, which can be thought of as a representation-theoretic analogue of the mentioned Chevalley formula. Other applications and some open problems involving "signed crystals" are discussed.


title: Amplified steady state bifurcations in feedforward networks

abstract: We investigate bifurcations in feedforward coupled cell networks. Feedforward structure (the absence of feedback) can be defined by a partial order on the cells. We use this property to study generic one-parameter steady state bifurcations for such networks. Branching solutions and their asymptotics are described in terms of Taylor coefficients of the internal dynamics. They can be determined via an algorithm that only exploits the network structure. Similar to previous results on feedforward chains, we observe amplifications of the growth rates of steady state branches induced by the feedforward structure. However, contrary to these earlier results, as the interaction scenarios can be more complicated in general feedforward networks, different branching patterns and different amplifications can occur for different regions in the space of Taylor coefficients.


title: Elastodynamical properties of Sturmian structured media

abstract: In this paper, wave propagation in structured media with quasiperiodic patterns is investigated. We propose a methodology based on Sturmian sequences for the generation of structured mechanical systems from a given parameter. The approach is presented in a general form so that it can be applied to waveguides of different nature, as long as they can be modeled with the transfer matrix method. The bulk spectrum is obtained and its fractal nature analyzed. For validation of the theoretical results, three numerical examples are presented. The obtained bulk spectra show different shapes for the studied examples, but they share features which can be explained from the proposed theoretical setting.


title: Gorenstein Derived Functors for Extriangulated Categories

abstract: Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles. In this paper, we study Gorenstein derived functors for extriangulated categories. More precisely, we first introduce the notion of the proper $\xi$-Gorenstein projective resolution for any object in $\mathcal{C}$ and define the functors $\xi\text{xt}_{\mathcal{GP}(\xi)}$ and $\xi\text{xt}_{\mathcal{GI}(\xi)}$. Under some assumptions, we give some equivalent characterizations for any object with finite $\xi$-Gorenstein projective dimension. Next we get some nice results by using derived functors. As an application, our main results generalize their work by Ren-Liu. Moreover, our proof is not far from the usual module categories or triangulated categories.


title: Notes on Exact Boundary Values in Residual Minimisation

abstract: We analyse the difference in convergence mode using exact versus penalised boundary values for the residual minimisation of PDEs with neural network type ansatz functions, as is commonly done in the context of physics informed neural networks. It is known that using an $L^2$ boundary penalty leads to a loss of regularity of $3/2$ meaning that approximation in $H^2$ yields a priori estimates in $H^{1/2}$. These notes demonstrate how this loss of regularity can be circumvented if the functions in the ansatz class satisfy the boundary values exactly. Furthermore, it is shown that in this case, the loss function provides a consistent a posteriori error estimator in $H^2$ norm made by the residual minimisation method. We provide analogue results for linear time dependent problems and discuss the implications of measuring the residual in Sobolev norms.


title: Structured Ensembles: an Approach to Reduce the Memory Footprint of Ensemble Methods

abstract: In this paper, we propose a novel ensembling technique for deep neural networks, which is able to drastically reduce the required memory compared to alternative approaches. In particular, we propose to extract multiple sub-networks from a single, untrained neural network by solving an end-to-end optimization task combining differentiable scaling over the original architecture, with multiple regularization terms favouring the diversity of the ensemble. Since our proposal aims to detect and extract sub-structures, we call it Structured Ensemble. On a large experimental evaluation, we show that our method can achieve higher or comparable accuracy to competing methods while requiring significantly less storage. In addition, we evaluate our ensembles in terms of predictive calibration and uncertainty, showing they compare favourably with the state-of-the-art. Finally, we draw a link with the continual learning literature, and we propose a modification of our framework to handle continuous streams of tasks with a sub-linear memory cost. We compare with a number of alternative strategies to mitigate catastrophic forgetting, highlighting advantages in terms of average accuracy and memory.


title: A Schwarz-type lemma for squeezing function on planar domains

abstract: With an easy application of maximum principle, we establish a Schwarz-type lemma for squeezing function on finitely connected planar domains that directly yields the explicit formula for squeezing function on doubly connected domains obtained by Ng, Tang and Tsai.


title: Appulses of Jupiter and Saturn

abstract: The latest conjunction of Jupiter and Saturn occurred at an optical distance of 6 arc minutes on 21 December 2020. We re-analysed all encounters of these two planets between -1000 and +3000 CE, as the extraordinary ones (<10$^{\prime}$) take place near the line of nodes every 400 years. An occultation of their discs did not and will not happen within the historical time span of $\pm$5,000 years around now. When viewed from Neptune though, there will be an occultation in 2046.


title: Simultaneous improvements in conversion and properties of molecularly controlled CNT fibres

abstract: Fibres of ultralong and aligned carbon nanotubes (CNT) have axial properties above reference engineering materials, proving to be exceptional materials for application in structural composites, energy storage and other devices. For CNT fibres produced by direct spinning from floating catalyst chemical vapor deposition (FCCVD), a scaled-up method, the challenge is to simultaneously achieve high process conversion and high-performance properties. This work presents a parametric study of the CNT fibre spinning process by establishing the relation between synthesis conditions, molecular composition (i.e. CNT type), fibre mechanical and electrical properties, and conversion. It demonstrates tensile properties (strength 2.1 N/tex, modulus 107 N/tex) above some carbon fibres, combined with carbon conversion about 5%, significantly above literature on similar materials. The combined improvement in conversion and properties is obtained by conducing the reaction at high temperature (1300 {\deg}C), using toluene as a carbon source, and through adjustment of the promotor to carbon ratio (S/C) to favor formation of few-layer, collapsed CNTs that maximize packing at relatively high conversions. Lower S/C ratios produce low-defect single-wall CNT, but weaker fibres. An increase in electrical conductivity to 3 x 10^5 S/m is also observed, with the data suggesting a correlation with longitudinal modulus.


title: Detecting General Relativistic Orbital Precession in Transiting Hot Jupiters

abstract: Both classical and relativistic weak-field and slow-motion perturbations to planetary orbits can be treated as perturbative corrections to the Keplerian model. In particular, tidal forces and General Relativity (GR) induce small precession rates of the apsidal line. Accurate measurements of these effects in transiting exoplanets could be used to test GR and to gain information about the planetary interiors. Unfortunately, models for transiting planets have a high degree of degeneracy in the orbital parameters that, combined to the uncertainties of photometric transit observations, results in large errors on the determinations of the argument of periastron and precludes a direct evaluation of the apsidal line precession. Moreover, tidal and GR precession time-scales are many order of magnitudes larger than orbital periods, so that on the observational time-spans required to cumulate a precession signal enough strong to be detected, even small systematic errors in transit ephemerides add up to cancel out the tiny variations due to precession. Here we present a more feasible solution to detect tidal and GR precession rates through the observation of variations of the time interval ($\Delta \tau$) between primary and secondary transits of hot Jupiters and propose the most promising target for such detection, WASP-14 b. For this planet we expect a cumulated $\Delta \tau$ $\approx$ -250 s, due to tidal and relativistic precession, since its first photometric observations.


title: Metric Entropy Limits on Recurrent Neural Network Learning of Linear Dynamical Systems

abstract: One of the most influential results in neural network theory is the universal approximation theorem [1, 2, 3] which states that continuous functions can be approximated to within arbitrary accuracy by single-hidden-layer feedforward neural networks. The purpose of this paper is to establish a result in this spirit for the approximation of general discrete-time linear dynamical systems - including time-varying systems - by recurrent neural networks (RNNs). For the subclass of linear time-invariant (LTI) systems, we devise a quantitative version of this statement. Specifically, measuring the complexity of the considered class of LTI systems through metric entropy according to [4], we show that RNNs can optimally learn - or identify in system-theory parlance - stable LTI systems. For LTI systems whose input-output relation is characterized through a difference equation, this means that RNNs can learn the difference equation from input-output traces in a metric-entropy optimal manner.


title: Constraining density and metallicity of the Milky Way's hot gas halo from O VII spectra and ram-pressure stripping

abstract: Milky Way's hot gaseous halo extends up to the Galactic virial radius ($\sim 200$ kpc) and contains a significant component of baryon mass of the Galaxy. The halo properties can be constrained from X-ray spectroscopic observations and from satellite galaxies' ram-pressure stripping studies. Results of the former method crucially depend on the gas metallicity assumptions while the latter one's are insensitive to them. Here, a joint analysis of both kinds of data is presented to constrain electron density and metallicity of the gas. The power law is assumed for the electron density radial profile, while for the metallicity, a common-used constant-metallicity assumption is relaxed by introducing of a physically motivated spherical profile. The model is fitted to a sample of 431 (18) sight lines for O VII emission (absorption) measurements and 7 electron density constraints from ram-pressure stripping studies. The best-fitting halo-associated electron density profile of $n_e\propto r^{-(0.9...1.1)}$ (where $r\gg1$ kpc is the galactocentric radius) is found. The metallicity is constrained as $Z \approx (0.1...0.7) Z_{\odot}$ (subscript $\odot$ represents the solar values) at $r>50$ kpc. These imply a total hot gas mass of $M \approx (2.4...8.7) \times 10^{10} M_{\odot}$, which accounts for $\sim(17...100)$ per cent of the Milky Way's missing baryon mass. The model uncertainties are discussed, and the results are examined in the context of previous studies.


title: Anticorrosion and biocompatibility of a functionalized layer formed on ZK60 Mg alloy via hydroxyl ion implantation

abstract: Magnesium and its alloys have aroused tremendous interests because of their promising mechanical properties and biocompatibility. However, their excessively fast corrosion rate hinders the development of Mg alloys in the biomedical fields. Inspired by conventional ion implantation, a less-toxic functional group (hydroxyl) is used as the ion source to bombard the ZK60 Mg alloy surface to form a functionalized oxide layer. This functionalized oxide layer significantly facilitates the corrosion resistance of the ZK60 Mg alloy substrate and the proliferation of MC3T3-E1 cells, which is confirmed by electrochemical, immersion, and in vitro cytocompatibility tests. In comparison with results of ZK60 alloy implanted with carboxyl ions in our previous work, it is concluded that hydroxyl-treated alloys exhibit slightly higher corrosion rate while better biocompatibility. In summary, less-toxic functional ion implantation can be an effective strategy for inhibiting corrosion of Mg alloy implants and promoting their biocompatibility.


title: Probablistic Bigraphs

abstract: Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of a system in which entities can be added and removed. We extend bigraphs to probablistic bigraphs, and then again to action bigraphs, which include non-determinism and rewards. The extensions are implemented in the BigraphER toolkit and illustrated through examples of virus spread in computer networks and data harvesting in wireless sensor systems. BigraphER also supports the existing stochastic bigraphs extension of Krivine et al., and using BigraphER we give, for the first time, a direct implementation of the membrane budding model used to motivate stochastic bigraphs.


title: Single-molecule vacuum Rabi splitting: four-wave mixing and optical switching at the single-photon level

abstract: A single quantum emitter can possess a very strong intrinsic nonlinearity, but its overall promise for nonlinear effects is hampered by the challenge of efficient coupling to incident photons. Common nonlinear optical materials, on the other hand, are easy to couple to but are bulky, imposing a severe limitation on the miniaturization of photonic systems. In this work, we show that a single organic molecule acts as an extremely efficient nonlinear optical element in the strong coupling regime of cavity quantum electrodynamics. We report on single-photon sensitivity in nonlinear signal generation and all-optical switching. Our work promotes the use of molecules for applications such as integrated photonic circuits, operating at very low powers.


title: A derived Gabriel-Popescu theorem for t-structures via derived injectives

abstract: We prove a derived version of the Gabriel-Popescu theorem in the framework of dg-categories and t-structures. This exhibits any pretriangulated dg-category with a suitable t-structure (such that its heart is a Grothendieck abelian category) as a t-exact localization of a derived dg-category of dg-modules. We give an original proof based on a generalization of Mitchell's argument in "A quick proof of the Gabriel-Popesco theorem" and involving derived injective objects. As an application, we also give a short proof that derived categories of Grothendieck abelian categories have a unique dg-enhancement.


title: Racah Algebra $R(n)$ from Coalgebraic Structures and Chains of $R(3)$ Substructures

abstract: The recent interest in the study of higher-rank polynomial algebras related to $n$-dimensional classical and quantum superintegrable systems with coalgebra symmetry and their connection with the generalised Racah algebra $R(n)$, a higher-rank generalisation of the rank one Racah algebra $R(3)$, raises the problem of understanding the role played by the $n - 2$ quadratic subalgebras generated by the left and right Casimir invariants (sometimes referred as universal quadratic substructures) from this new perspective. Such subalgebra structures play a signficant role in the algebraic derivation of spectrum of quantum superintegrable systems. In this work, we tackle this problem and show that the above quadratic subalgebra structures can be understood, at a fixed $n > 3$, as the images of $n - 2$ injective morphisms of $R(3)$ into $R(n)$. We show that each of the $n-2$ quadratic subalgebras is isomorphic to the rank one Racah algebra $R(3)$. As a byproduct, we also obtain an equivalent presentation for the universal quadratic subtructures generated by the partial Casimir invariants of the coalgebra. The construction, which relies on explicit (symplectic or differential) realisations of the generators, is performed in both the classical and the quantum cases.


title: Hubbard models with arbitrary structures in programmable optical lattices

abstract: We investigate the use of programmable optical lattices for quantum simulation of Hubbard models, determining analytic expressions for the hopping and Hubbard U, finding that they are suitable for emulating strongly correlated systems with arbitrary structures, including those with multiple site basis and impurities. Programmable potentials are highly flexible, with the ability to control the depth and shape of individual sites in the optical lattice dynamically. Quantum simulators of Hubbard models with (1) arbitrary basis are required to represent many real materials of contemporary interest, (2) broken translational symmetry are needed to study impurity physics, and (3) dynamical lattices are needed to investigate strong correlation out of equilibrium. We derive analytic expressions for Hubbard Hamiltonians in programmable potential systems. We find experimental parameters for quantum simulation of Hubbard models with arbitrary basis, concluding that programmable optical lattices are suitable for this purpose. We discuss how programmable optical lattices can be used for quantum simulation of dynamical multi-band Hubbard models that represent complicated compounds, impurities, and non-equilibrium physics.


title: Injection locking and synchronization in Josephson photonics devices

abstract: Injection locking can stabilize a source of radiation, leading to an efficient suppression of noise-induced spectral broadening and therefore, to a narrow spectrum. The technique is well established in laser physics, where a phenomenological description due to Adler is usually sufficient. Recently, locking experiments were performed in Josephson photonics devices, where microwave radiation is created by inelastic Cooper pair tunneling across a dc-biased Josephson junction connected in-series with a microwave resonator. An in-depth theory of locking for such devices, accounting for the Josephson non-linearity and the specific engineered environments, is lacking. Here, we study injection locking in a typical Josephson photonics device where the environment consists of a single mode cavity, operated in the classical regime. We show that an in-series resistance, however small, is an important ingredient in describing self-sustained Josephson oscillations and enables the locking region. We derive a dynamical equation describing locking, similar to an Adler equation, from the specific circuit equations. The effect of noise on the locked Josephson phase is described in terms of phase slips in a modified washboard potential. For weak noise, the spectral broadening is reduced exponentially with the injection signal. When this signal is provided from a second Josephson device, the two devices synchronize. In the linearized limit, we recover the Kuramoto model of synchronized oscillators. The picture of classical phase slips established here suggests a natural extension towards a theory of locking in the quantum regime.


title: Brain Multigraph Prediction using Topology-Aware Adversarial Graph Neural Network

abstract: Brain graphs (i.e, connectomes) constructed from medical scans such as magnetic resonance imaging (MRI) have become increasingly important tools to characterize the abnormal changes in the human brain. Due to the high acquisition cost and processing time of multimodal MRI, existing deep learning frameworks based on Generative Adversarial Network (GAN) focused on predicting the missing multimodal medical images from a few existing modalities. While brain graphs help better understand how a particular disorder can change the connectional facets of the brain, synthesizing a target brain multigraph (i.e, multiple brain graphs) from a single source brain graph is strikingly lacking. Additionally, existing graph generation works mainly learn one model for each target domain which limits their scalability in jointly predicting multiple target domains. Besides, while they consider the global topological scale of a graph (i.e., graph connectivity structure), they overlook the local topology at the node scale (e.g., how central a node is in the graph). To address these limitations, we introduce topology-aware graph GAN architecture (topoGAN), which jointly predicts multiple brain graphs from a single brain graph while preserving the topological structure of each target graph. Its three key innovations are: (i) designing a novel graph adversarial auto-encoder for predicting multiple brain graphs from a single one, (ii) clustering the encoded source graphs in order to handle the mode collapse issue of GAN and proposing a cluster-specific decoder, (iii) introducing a topological loss to force the prediction of topologically sound target brain graphs. The experimental results using five target domains demonstrated the outperformance of our method in brain multigraph prediction from a single graph in comparison with baseline approaches.


title: Quantification of pulmonary involvement in COVID-19 pneumonia by means of a cascade oftwo U-nets: training and assessment on multipledatasets using different annotation criteria

abstract: The automatic assignment of a severity score to the CT scans of patients affected by COVID-19 pneumonia could reduce the workload in radiology departments. This study aims at exploiting Artificial intelligence (AI) for the identification, segmentation and quantification of COVID-19 pulmonary lesions. We investigated the effects of using multiple datasets, heterogeneously populated and annotated according to different criteria. We developed an automated analysis pipeline, the LungQuant system, based on a cascade of two U-nets. The first one (U-net_1) is devoted to the identification of the lung parenchyma, the second one (U-net_2) acts on a bounding box enclosing the segmented lungs to identify the areas affected by COVID-19 lesions. Different public datasets were used to train the U-nets and to evaluate their segmentation performances, which have been quantified in terms of the Dice index. The accuracy in predicting the CT-Severity Score (CT-SS) of the LungQuant system has been also evaluated. Both Dice and accuracy showed a dependency on the quality of annotations of the available data samples. On an independent and publicly available benchmark dataset, the Dice values measured between the masks predicted by LungQuant system and the reference ones were 0.95$\pm$0.01 and 0.66$\pm$0.13 for the segmentation of lungs and COVID-19 lesions, respectively. The accuracy of 90% in the identification of the CT-SS on this benchmark dataset was achieved. We analysed the impact of using data samples with different annotation criteria in training an AI-based quantification system for pulmonary involvement in COVID-19 pneumonia. In terms of the Dice index, the U-net segmentation quality strongly depends on the quality of the lesion annotations. Nevertheless, the CT-SS can be accurately predicted on independent validation sets, demonstrating the satisfactory generalization ability of the LungQuant.


title: Floer Homology: From Generalized Morse-Smale Dynamical Systems to Forman's Combinatorial Vector Fields

abstract: We construct a Floer type boundary operator for generalised Morse-Smale dynamical systems on compact smooth manifolds by counting the number of suitable flow lines between closed (both homoclinic and periodic) orbits and isolated critical points. The same principle works for the discrete situation of general combinatorial vector fields, defined by Forman, on CW complexes. We can thus recover the $\mathbb{Z}_2$ homology of both smooth and discrete structures directly from the flow lines (V-paths) of our vector field.


title: Learning Early Exit Strategies for Additive Ranking Ensembles

abstract: Modern search engine ranking pipelines are commonly based on large machine-learned ensembles of regression trees. We propose LEAR, a novel - learned - technique aimed to reduce the average number of trees traversed by documents to accumulate the scores, thus reducing the overall query response time. LEAR exploits a classifier that predicts whether a document can early exit the ensemble because it is unlikely to be ranked among the final top-k results. The early exit decision occurs at a sentinel point, i.e., after having evaluated a limited number of trees, and the partial scores are exploited to filter out non-promising documents. We evaluate LEAR by deploying it in a production-like setting, adopting a state-of-the-art algorithm for ensembles traversal. We provide a comprehensive experimental evaluation on two public datasets. The experiments show that LEAR has a significant impact on the efficiency of the query processing without hindering its ranking quality. In detail, on a first dataset, LEAR is able to achieve a speedup of 3x without any loss in NDCG1@0, while on a second dataset the speedup is larger than 5x with a negligible NDCG@10 loss (< 0.05%).


title: Machine Collaboration

abstract: We propose a new ensemble framework for supervised learning, called machine collaboration (MaC), using a collection of base machines for prediction tasks. Unlike bagging/stacking (a parallel & independent framework) and boosting (a sequential & top-down framework), MaC is a type of circular & interactive learning framework. The circular & interactive feature helps the base machines to transfer information circularly and update their structures and parameters accordingly. The theoretical result on the risk bound of the estimator from MaC reveals that the circular & interactive feature can help MaC reduce risk via a parsimonious ensemble. We conduct extensive experiments on MaC using both simulated data and 119 benchmark real datasets. The results demonstrate that in most cases, MaC performs significantly better than several other state-of-the-art methods, including classification and regression trees, neural networks, stacking, and boosting.


title: Capturing the diversity of multilingual societies

abstract: Cultural diversity encoded within languages of the world is at risk, as many languages have become endangered in the last decades in a context of growing globalization. To preserve this diversity, it is first necessary to understand what drives language extinction, and which mechanisms might enable coexistence. Here, we study language shift mechanisms using theoretical and data-driven perspectives. A large-scale empirical analysis of multilingual societies using Twitter and census data yields a wide diversity of spatial patterns of language coexistence. It ranges from a mixing of language speakers to segregation with multilinguals on the boundaries of disjoint linguistic domains. To understand how these different states can emerge and, especially, become stable, we propose a model in which language coexistence is reached when learning the other language is facilitated and when bilinguals favor the use of the endangered language. Simulations carried out in a metapopulation framework highlight the importance of spatial interactions arising from people mobility to explain the stability of a mixed state or the presence of a boundary between two linguistic regions. Further, we find that the history of languages is critical to understand their present state.


title: A model for cooperative scientific research inspired by the ant colony algorithm

abstract: Modern scientific research has become largely a cooperative activity in the Internet age. We build a simulation model to understand the population-level creativity based on the heuristic ant colony algorithm. Each researcher has two heuristic parameters characterizing the goodness of his own judgments and his trust on literature. In a population with all kinds of researchers, we find that as the problem scale increases, the contributor distribution significantly shifts from the independent regime of relying on one's own judgments to the cooperative regime of more closely following the literature. The distribution also changes with the stage of the research problem and the computing power available. Our work provides some preliminary understanding and guidance for the dynamical process of cooperative scientific research in various disciplines.


title: A novel method of predictive collision risk area estimation for proactive pedestrian accident prevention system in urban surveillance infrastructure

abstract: Road traffic accidents, especially vehicle pedestrian collisions in crosswalk, globally pose a severe threat to human lives and have become a leading cause of premature deaths. In order to protect such vulnerable road users from collisions, it is necessary to recognize possible conflict in advance and warn to road users, not post facto. A breakthrough for proactively preventing pedestrian collisions is to recognize pedestrian's potential risks based on vision sensors such as CCTVs. In this study, we propose a predictive collision risk area estimation system at unsignalized crosswalks. The proposed system applied trajectories of vehicles and pedestrians from video footage after preprocessing, and then predicted their trajectories by using deep LSTM networks. With use of predicted trajectories, this system can infer collision risk areas statistically, further severity of levels is divided as danger, warning, and relative safe. In order to validate the feasibility and applicability of the proposed system, we applied it and assess the severity of potential risks in two unsignalized spots in Osan city, Korea.


title: Assessing Dialogue Systems with Distribution Distances

abstract: An important aspect of developing dialogue systems is how to evaluate and compare the performance of different systems. Existing automatic evaluation metrics are based on turn-level quality evaluation and use average scores for system-level comparison. In this paper, we propose to measure the performance of a dialogue system by computing the distribution-wise distance between its generated conversations and real-world conversations. Specifically, two distribution-wise metrics, FBD and PRD, are developed and evaluated. Experiments on several dialogue corpora show that our proposed metrics correlate better with human judgments than existing metrics.


title: Power concavity and Dirichlet heat flow

abstract: We show that log-concavity is the weakest power concavity preserved by the Dirichlet heat flow in $N$-dimensional convex domains, where $N\ge 2$ (indeed, we prove that starting with a negative power concave initial datum may result in losing immediately any reminiscence of concavity). Jointly with what we already know, i.e. that log-concavity is the strongest power concavity preserved by the Dirichlet heat flow, we see that log-concavity is indeed the only power concavity preserved by the Dirichlet heat flow.


title: Direct Prediction of Steady-State Flow Fields in Meshed Domain with Graph Networks

abstract: We propose a model to directly predict the steady-state flow field for a given geometry setup. The setup is an Eulerian representation of the fluid flow as a meshed domain. We introduce a graph network architecture to process the mesh-space simulation as a graph. The benefit of our model is a strong understanding of the global physical system, while being able to explore the local structure. This is essential to perform direct prediction and is thus superior to other existing methods.


title: On the local well--posedness of the two component $b$-family of equations

abstract: In this paper we consider the two component $b$-family of equations on $\mathbb R$. We write the equations on a Sobolev type diffeomorphism group. As an application of this formulation we show that the dependence on the initial data is nowhere locally uniformly continuous. In particular it is nowhere locally Lipschitz and nowhere locally H\"older continuous.


title: Local Relation Learning for Face Forgery Detection

abstract: With the rapid development of facial manipulation techniques, face forgery detection has received considerable attention in digital media forensics due to security concerns. Most existing methods formulate face forgery detection as a classification problem and utilize binary labels or manipulated region masks as supervision. However, without considering the correlation between local regions, these global supervisions are insufficient to learn a generalized feature and prone to overfitting. To address this issue, we propose a novel perspective of face forgery detection via local relation learning. Specifically, we propose a Multi-scale Patch Similarity Module (MPSM), which measures the similarity between features of local regions and forms a robust and generalized similarity pattern. Moreover, we propose an RGB-Frequency Attention Module (RFAM) to fuse information in both RGB and frequency domains for more comprehensive local feature representation, which further improves the reliability of the similarity pattern. Extensive experiments show that the proposed method consistently outperforms the state-of-the-arts on widely-used benchmarks. Furthermore, detailed visualization shows the robustness and interpretability of our method.


title: Modelling and Verifying BDI Agents with Bigraphs

abstract: The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents; most verification approaches are based on reasoning about implementations of BDI programming languages. We investigate an alternative approach based on reasoning about BDI agent semantics, through a model of the execution of an agent program. We employ Milner's bigraphs as the modelling framework and present an encoding for the Conceptual Agent Notation (CAN) language - a superset of AgentSpeak featuring declarative goals, concurrency, and failure recovery. We provide an encoding of the syntax and semantics of CAN agents, and give a rigorous proof that the encoding is faithful. Verification is based on the use of mainstream software tools including BigraphER, and a small case study verifying several properties of Unmanned Aerial Vehicles (UAVs) illustrates the framework in action. The executable framework is a foundational step that will enable more advanced reasoning such as plan preference, intention priorities and trade-offs, and interactions with an environment under uncertainty.


title: MCMC-driven importance samplers

abstract: Monte Carlo sampling methods are the standard procedure for approximating complicated integrals of multidimensional posterior distributions in Bayesian inference. In this work, we focus on the class of Layered Adaptive Importance Sampling (LAIS) scheme, which is a family of adaptive importance samplers where Markov chain Monte Carlo algorithms are employed to drive an underlying multiple importance sampling scheme. The modular nature of LAIS allows for different possible implementations, yielding a variety of different performance and computational costs. In this work, we propose different enhancements of the classical LAIS setting in order to increase the efficiency and reduce the computational cost, of both upper and lower layers. The different variants address computational challenges arising in real-world applications, for instance with highly concentrated posterior distributions. Furthermore, we introduce different strategies for designing cheaper schemes, for instance, recycling samples generated in the upper layer and using them in the final estimators in the lower layer. Different numerical experiments, considering several challenging scenarios, show the benefits of the proposed schemes comparing with benchmark methods presented in the literature.


title: Time-Aware Q-Networks: Resolving Temporal Irregularity for Deep Reinforcement Learning

abstract: Deep Reinforcement Learning (DRL) has shown outstanding performance on inducing effective action policies that maximize expected long-term return on many complex tasks. Much of DRL work has been focused on sequences of events with discrete time steps and ignores the irregular time intervals between consecutive events. Given that in many real-world domains, data often consists of temporal sequences with irregular time intervals, and it is important to consider the time intervals between temporal events to capture latent progressive patterns of states. In this work, we present a general Time-Aware RL framework: Time-aware Q-Networks (TQN), which takes into account physical time intervals within a deep RL framework. TQN deals with time irregularity from two aspects: 1) elapsed time in the past and an expected next observation time for time-aware state approximation, and 2) action time window for the future for time-aware discounting of rewards. Experimental results show that by capturing the underlying structures in the sequences with time irregularities from both aspects, TQNs significantly outperform DQN in four types of contexts with irregular time intervals. More specifically, our results show that in classic RL tasks such as CartPole and MountainCar and Atari benchmark with randomly segmented time intervals, time-aware discounting alone is more important while in the real-world tasks such as nuclear reactor operation and septic patient treatment with intrinsic time intervals, both time-aware state and time-aware discounting are crucial. Moreover, to improve the agent's learning capacity, we explored three boosting methods: Double networks, Dueling networks, and Prioritized Experience Replay, and our results show that for the two real-world tasks, combining all three boosting methods with TQN is especially effective.


title: Bargmann representation of quantum absorption refrigerators

abstract: In this work, we solve the quantum absorption refrigerator analytically in the space of holomorphic functions with Gaussian measure . Our approach simplifies the calculations since for a given quantum system the coordinate representation of any quantum state is always more complicated than its corresponding expression written with respect to the phase-space coordinate $z_{i}$. We finally discuss the computational complexity of the holomorphic representation and compare it with the computational complexity of the standard operator method and prove the efficiency of the holomorphic representation in computing some tasks. Our treatment is applicable to all quantum heat engines and refrigerators.


title: Vision based Pedestrian Potential Risk Analysis based on Automated Behavior Feature Extraction for Smart and Safe City

abstract: Despite recent advances in vehicle safety technologies, road traffic accidents still pose a severe threat to human lives and have become a leading cause of premature deaths. In particular, crosswalks present a major threat to pedestrians, but we lack dense behavioral data to investigate the risks they face. Therefore, we propose a comprehensive analytical model for pedestrian potential risk using video footage gathered by road security cameras deployed at such crossings. The proposed system automatically detects vehicles and pedestrians, calculates trajectories by frames, and extracts behavioral features affecting the likelihood of potentially dangerous scenes between these objects. Finally, we design a data cube model by using the large amount of the extracted features accumulated in a data warehouse to perform multidimensional analysis for potential risk scenes with levels of abstraction, but this is beyond the scope of this paper, and will be detailed in a future study. In our experiment, we focused on extracting the various behavioral features from multiple crosswalks, and visualizing and interpreting their behaviors and relationships among them by camera location to show how they may or may not contribute to potential risk. We validated feasibility and applicability by applying it in multiple crosswalks in Osan city, Korea.


title: A characterization of a local vector valued Bollob\'as theorem

abstract: In this paper, we are interested in giving two characterizations for the so-called property {\bf L}$_{o,o}$, a local vector valued Bollob\'as type theorem. We say that $(X, Y)$ has this property whenever given $\eps > 0$ and an operador $T: X \rightarrow Y$, there is $\eta = \eta(\eps, T)$ such that if $x$ satisfies $\|T(x)\| > 1 - \eta$, then there exists $x_0 \in S_X$ such that $x_0 \approx x$ and $T$ itself attains its norm at $x_0$. This can be seen as a strong (although local) Bollob\'as theorem for operators. We prove that the pair $(X, Y)$ has the {\bf L}$_{o,o}$ for compact operators if and only if so does $(X, \K)$ for linear functionals. This generalizes at once some results due to D. Sain and J. Talponen. Moreover, we present a complete characterization for when $(X \pten Y, \K)$ satisfies the {\bf L}$_{o,o}$ for linear functionals under strict convexity or Kadec-Klee property assumptions in one of the spaces. As a consequence, we generalize some results in the literature related to the strongly subdifferentiability of the projective tensor product and show that $(L_p(\mu) \times L_q(\nu); \K)$ cannot satisfy the {\bf L}$_{o,o}$ for bilinear forms.


title: TABBIE: Pretrained Representations of Tabular Data

abstract: Existing work on tabular representation learning jointly models tables and associated text using self-supervised objective functions derived from pretrained language models such as BERT. While this joint pretraining improves tasks involving paired tables and text (e.g., answering questions about tables), we show that it underperforms on tasks that operate over tables without any associated text (e.g., populating missing cells). We devise a simple pretraining objective (corrupt cell detection) that learns exclusively from tabular data and reaches the state-of-the-art on a suite of table based prediction tasks. Unlike competing approaches, our model (TABBIE) provides embeddings of all table substructures (cells, rows, and columns), and it also requires far less compute to train. A qualitative analysis of our model's learned cell, column, and row representations shows that it understands complex table semantics and numerical trends.


title: FDNet: A Deep Learning Approach with Two Parallel Cross Encoding Pathways for Precipitation Nowcasting

abstract: With the goal of predicting the future rainfall intensity in a local region over a relatively short period time, precipitation nowcasting has been a long-time scientific challenge with great social and economic impact. The radar echo extrapolation approaches for precipitation nowcasting take radar echo images as input, aiming to generate future radar echo images by learning from the historical images. To effectively handle complex and high non-stationary evolution of radar echoes, we propose to decompose the movement into optical flow field motion and morphologic deformation. Following this idea, we introduce Flow-Deformation Network (FDNet), a neural network that models flow and deformation in two parallel cross pathways. The flow encoder captures the optical flow field motion between consecutive images and the deformation encoder distinguishes the change of shape from the translational motion of radar echoes. We evaluate the proposed network architecture on two real-world radar echo datasets. Our model achieves state-of-the-art prediction results compared with recent approaches. To the best of our knowledge, this is the first network architecture with flow and deformation separation to model the evolution of radar echoes for precipitation nowcasting. We believe that the general idea of this work could not only inspire much more effective approaches but also be applied to other similar spatiotemporal prediction tasks


title: Strict positive definiteness of convolutional and axially symmetric kernels on d-dimensional spheres

abstract: The paper introduces new sufficient conditions of strict positive definiteness for kernels on d-dimensional spheres which are not radially symmetric but possess specific coefficient structures. The results use the series expansion of the kernel in spherical harmonics. The kernels either have a convolutional form or are axially symmetric with respect to one axis. The given results on convolutional kernels generalise the result derived by Chen et al. [8] for radial kernels. Keywords: strictly positive definite kernels, covariance functions, sphere


title: Berezin-Toeplitz Quantization in Real Polarizations with Toric Singularities

abstract: On a compact K\"ahler manifold $X$, Toeplitz operators determine a deformation quantization $(\operatorname{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ with separation of variables [10] with respect to transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$ as $\hbar \to 0^+$ [15]. The analogous statement is proved for compact symplectic manifolds with transversal non-singular real polarizations [13]. In this paper, we establish the analogous result for transversal singular real polarizations on compact toric symplectic manifolds $X$. Due to toric singularities, half-form correction and localization of our Toeplitz operators are essential. Via norm estimations, we show that these Toeplitz operators determine a star product on $X$ as $\hbar \to 0^+$.


title: Quantitative uniqueness of continuation result related to Hopf's lemma

abstract: The classical Hopf's lemma can be reformulated as uniqueness of continuation result. We aim in the present work to quantify this property. We show precisely that if a solution $u$ of a divergence form elliptic equation attains its maximum at a boundary point $x_0$ then both $L^1$-norms of $u-u(x_0)$ on the domain and on the boundary are bounded, up to a multiplicative constant, by the exterior normal derivative at $x_0$.


title: Bandit based centralized matching in two-sided markets for peer to peer lending

abstract: Sequential fundraising in two sided online platforms enable peer to peer lending by sequentially bringing potential contributors, each of whose decisions impact other contributors in the market. However, understanding the dynamics of sequential contributions in online platforms for peer lending has been an open ended research question. The centralized investment mechanism in these platforms makes it difficult to understand the implicit competition that borrowers face from a single lender at any point in time. Matching markets are a model of pairing agents where the preferences of agents from both sides in terms of their preferred pairing for transactions can allow to decentralize the market. We study investment designs in two sided platforms using matching markets when the investors or lenders also face restrictions on the investments based on borrower preferences. This situation creates an implicit competition among the lenders in addition to the existing borrower competition, especially when the lenders are uncertain about their standing in the market and thereby the probability of their investments being accepted or the borrower loan requests for projects reaching the reserve price. We devise a technique based on sequential decision making that allows the lenders to adjust their choices based on the dynamics of uncertainty from competition over time. We simulate two sided market matchings in a sequential decision framework and show the dynamics of the lender regret amassed compared to the optimal borrower-lender matching and find that the lender regret depends on the initial preferences set by the lenders which could affect their learning over decision making steps.


title: Reliability Testing for Natural Language Processing Systems

abstract: Questions of fairness, robustness, and transparency are paramount to address before deploying NLP systems. Central to these concerns is the question of reliability: Can NLP systems reliably treat different demographics fairly and function correctly in diverse and noisy environments? To address this, we argue for the need for reliability testing and contextualize it among existing work on improving accountability. We show how adversarial attacks can be reframed for this goal, via a framework for developing reliability tests. We argue that reliability testing -- with an emphasis on interdisciplinary collaboration -- will enable rigorous and targeted testing, and aid in the enactment and enforcement of industry standards.


title: Tight multiple twins in permutations

abstract: Two permutations are similar if they have the same length and the same relative order. A collection of $r\ge2$ disjoint, similar subsequences of a permutation $\pi$ form $r$-twins in $\pi$. We study the longest guaranteed length of $r$-twins which are tight in the sense that either each twin alone forms a block or their union does. We address the same question with respect to a random permutation.


title: USM-SED - A Dataset for Polyphonic Sound Event Detection in Urban Sound Monitoring Scenarios

abstract: This paper introduces a novel dataset for polyphonic sound event detection in urban sound monitoring use-cases. Based on isolated sounds taken from the FSD50k dataset, 20,000 polyphonic soundscapes are synthesized with sounds being randomly positioned in the stereo panorama using different loudness levels. The paper gives a detailed discussion of possible application scenarios, explains the dataset generation process in detail, and discusses current limitations of the proposed USM-SED dataset.


title: Coercive Inequalities in Higher-Dimensional Anisotropic Heisenberg Group

abstract: In the setting of higher-dimensional anisotropic Heisenberg group, we compute the fundamental solution for the sub-Laplacian, and we prove Poincar\'e and $\beta-$Logarithmic Sobolev inequalities for measures as a function of this fundamental solution.


title: Evaluation of Hadronic Emission in Starburst Galaxies and Star-forming Galaxies

abstract: In this work, we reanalyzed 11 years of spectral data from the \textit{Fermi} Large Area Telescope (\textit{Fermi}-LAT) of currently observed starburst galaxies (SBGs) and star-forming galaxies (SFGs). We used a one-zone model provided by \textbf{NAIMA} and the hadronic origin to explain the GeV observation data of the SBGs and SFGs. We found that a protonic distribution of a power-law form with an exponential cutoff can explain the spectra of most SBGs and SFGs. However, it cannot explain the spectral hardening components of NGC 1068 and NGC 4945 in the GeV energy band. Therefore, we considered the two-zone model to well explain these phenomena. We summarized the features of various model parameters, including the spectral index, cutoff energy, and protonic total energy. Similar to the evolution of supernova remnants (SNRs) in the Milky Way, we estimated the protonic acceleration limitation inside the SBGs to be likely in the order of 10$^{2}$ TeV using the one-zone model; this is close to those of SNRs in the Milky Way.


title: Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles

abstract: To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learning models. To be applicable to realistic safety-critical systems, the used verification algorithms need to manage the combinatorial explosion resulting from vast variations in the input domain, and be able to verify correctness properties derived from versatile and domain-specific requirements. In this paper, we formalise the VoTE algorithm presented earlier as a tool description, and extend the tool set with mechanisms for systematic scalability studies. In particular, we show a) how the separation of property checking from the core verification engine enables verification of versatile requirements, b) the scalability of the tool, both in terms of time taken for verification and use of memory, and c) that the algorithm has attractive properties that lend themselves well for massive parallelisation. We demonstrate the application of the tool in two case studies, namely digit recognition and aircraft collision avoidance, where the first case study serves to assess the resource utilisation of the tool, and the second to assess the ability to verify versatile correctness properties.


title: Angular analysis of $B^0 \to D^{*-}D_s^{*+}$ with $D_s^{*+} \to D_s^+ \gamma$ decays

abstract: The first full angular analysis of the $B^0 \to D^{*-} D_s^{*+}$ decay is performed using 6 fb$^{-1}$ of $pp$ collision data collected with the LHCb experiment at a centre-of-mass energy of 13 TeV. The $D_s^{*+} \to D_s^+ \gamma$ and $D^{*-} \to \bar{D}^0 \pi^-$ vector meson decays are used with the subsequent $D_s^+ \to K^+ K^- \pi^+$ and $\bar{D}^0 \to K^+ \pi^-$ decays. All helicity amplitudes and phases are measured, and the longitudinal polarisation fraction is determined to be $f_{\rm L} = 0.578 \pm 0.010 \pm 0.011$ with world-best precision, where the first uncertainty is statistical and the second is systematic. The pattern of helicity amplitude magnitudes is found to align with expectations from quark-helicity conservation in $B$ decays. The ratio of branching fractions $[\mathcal{B}(B^0 \to D^{*-} D_s^{*+}) \times \mathcal{B}(D_s^{*+} \to D_s^+ \gamma)]/\mathcal{B}(B^0 \to D^{*-} D_s^+)$ is measured to be $2.045 \pm 0.022 \pm 0.071$ with world-best precision. In addition, the first observation of the Cabibbo-suppressed $B_s^0 \to D^{*-} D_s^+$ decay is made with a significance of seven standard deviations. The branching fraction ratio $\mathcal{B}(B_s^0 \to D^{*-} D_s^+)/\mathcal{B}(B^0 \to D^{*-} D_s^+)$ is measured to be $0.049 \pm 0.006 \pm 0.003 \pm 0.002$, where the third uncertainty is due to limited knowledge of the ratio of fragmentation fractions.


title: Extreme Learning Machine for the Characterization of Anomalous Diffusion from Single Trajectories

abstract: The study of the dynamics of natural and artificial systems has provided several examples of deviations from Brownian behavior, generally defined as anomalous diffusion. The investigation of these dynamics can provide a better understanding of diffusing objects and their surrounding media, but a quantitative characterization from individual trajectories is often challenging. Efforts devoted to improving anomalous diffusion detection using classical statistics and machine learning have produced several new methods. Recently, the anomalous diffusion challenge (AnDi, https://www.andi-challenge.org) was launched to objectively assess these approaches on a common dataset, focusing on three aspects of anomalous diffusion: the inference of the anomalous diffusion exponent; the classification of the diffusion model; and the segmentation of trajectories. In this article, I describe a simple approach to tackle the tasks of the AnDi challenge by combining extreme learning machine and feature engineering (AnDi-ELM). The method reaches satisfactory performance while offering a straightforward implementation and fast training time with limited computing resources, making a suitable tool for fast preliminary screening.

categories: physics.data-an physics.bio-ph q-bio.QM stat.ML


title: Non-Gaussianity of Entanglement Entropy and Correlations of Composite Operators

abstract: This is an extended version of the previous paper arXiv:2103.05303 to study entanglement entropy (EE) of a half space in interacting field theories. In the previous paper, we have proposed a novel method to calculate EE based on the notion of $\mathbb{Z}_M$ gauge theory on Feynman diagrams, and shown that EE consists of two particular contributions, one from a renormalized two-point correlation function in the two-particle irreducible (2PI) formalism and another from interaction vertices. In this paper, we further investigate them in more general field theories and show that the non-Gaussian contributions from vertices can be interpreted as renormalized correlation functions of composite operators.


title: A Binarizing NUV Prior and its Use for M-Level Control and Digital-to-Analog Conversion

abstract: Priors with a NUV representation (normal with unknown variance) have mostly been used for sparsity. In this paper, a novel NUV prior is proposed that effectively binarizes. While such a prior may have many uses, in this paper, we explore its use for discrete-level control (with M $\geq$ 2 levels) including, in particular, a practical scheme for digital-to-analog conversion. The resulting computations, for each planning period, amount to iterating forward-backward Gaussian message passing recursions (similar to Kalman smoothing), with a complexity (per iteration) that is linear in the planning horizon. In consequence, the proposed method is not limited to a short planning horizon and can therefore outperform "optimal" methods. A preference for sparse level switches can easily be incorporated.


title: Optimal Subgraph on Disturbed Network

abstract: During the pandemic of COVID-19, the demand of the transportation systems are drastically changed both qualitatively and quantitatively and the network has become obsolete. In this article, we study the problem of finding an optimal subnetwork that guarantee that (i) the minimal access time from any node of the urban network to the new network is not {\em too large} compared to the original transportation network; (ii) for any itinerary, the delay caused by the deletion of nodes of the transportation network is not {\em too big}; and (iii) the number of nodes of the transportation network has been reduced at least by a known factor. A solution is optimal if it induces a minimal global delay. We model this problem as a Mixed Integer Linear Program before applying the model on a real-case application on the Lyon's buses transportation network.


title: The Adams spectral sequence for the image-of-$J$ spectrum

abstract: We show that if we factor the long exact sequence in cohomology of a cofiber sequence of spectra into short exact sequences, then the $d_2$-differential in the Adams spectral sequence of any one term is related in a precise way to Yoneda composition with the 2-extension given by the complementary terms in the long exact sequence. We use this to give a complete analysis of the Adams spectral sequence for the connective image-of-$J$ spectrum, finishing a calculation that was begun by D. Davis in 1975.


title: On sequences of records generated by planar random walks

abstract: We investigate the statistics of three kinds of records associated with planar random walks, namely diagonal, simultaneous and radial records. The mean numbers of these records grow as universal power laws of time, with respective exponents 1/4, 1/3 and 1/2. The study of diagonal and simultaneous records relies on the underlying renewal structure of the successive hitting times and locations of translated copies of a fixed target. In this sense, this work represents a two-dimensional extension of the analysis made by Feller of ladder points, i.e., records for one-dimensional random walks. This approach yields a variety of analytical asymptotic results, including the full statistics of the numbers of diagonal and simultaneous records, the joint law of the epoch and location of the current diagonal record and the angular distribution of the current simultaneous record. The sequence of radial records cannot be constructed in terms of a renewal process. In spite of this, their mean number is shown to grow with a super-universal square-root law for isotropic random walks in any spatial dimension. Their full distribution is also obtained. Higher-dimensional diagonal and simultaneous records are also briefly discussed.


title: Phase Transitions of the Variety of Random-Field Potts Models

abstract: The phase transitions of random-field q-state Potts models in d=3 dimensions are studied by renormalization-group theory by exact solution of a hierarchical lattice and, equivalently, approximate Migdal-Kadanoff solutions of a cubic lattice. The recursion, under rescaling, of coupled random-field and random-bond (induced under rescaling by random fields) coupled probability distributions is followed to obtain phase diagrams. Unlike the Ising model (q=2), several types of random fields can be defined for q >= 3 Potts models, including random-axis favored, random-axis disfavored, random-axis randomly favored or disfavored cases, all of which are studied. Quantitatively very similar phase diagrams are obtained, for a given q for the three types of field randomness, with the low-temperature ordered phase persisting, increasingly as temperature is lowered, up to random-field threshold in d=3, which is calculated for all temperatures below the zero-field critical temperature. Phase diagrams thus obtained are compared as a function of $q$. The ordered phase in the low-q models reaches higher temperatures, while in the high-q models it reaches higher random fields. This renormalization-group calculation result is physically explained.


title: Free fermions and Schur expansions of multi-Schur functions

abstract: Multi-Schur functions are symmetric functions that generalize the supersymmetric Schur functions, the flagged Schur functions, and the refined dual Grothendieck functions, which have been intensively studied by Lascoux. In this paper, we give a new free-fermionic presentation of them. The multi-Schur functions are indexed by a partition and two ``tuples of tuples'' of indeterminates. We construct a family of linear bases of the fermionic Fock space that are indexed by such data and prove that they correspond to the multi-Schur functions through the boson-fermion correspondence. By focusing on some special bases, which we call refined bases, we give a straightforward method of expanding a multi-Schur function in the refined dual Grothendieck polynomials. We also present a sufficient condition for a multi-Schur function to have its Hall-dual function in the completed ring of symmetric functions.


title: GraphFormers: GNN-nested Transformers for Representation Learning on Textual Graph

abstract: The representation learning on textual graph is to generate low-dimensional embeddings for the nodes based on the individual textual features and the neighbourhood information. Recent breakthroughs on pretrained language models and graph neural networks push forward the development of corresponding techniques. The existing works mainly rely on the cascaded model architecture: the textual features of nodes are independently encoded by language models at first; the textual embeddings are aggregated by graph neural networks afterwards. However, the above architecture is limited due to the independent modeling of textual features. In this work, we propose GraphFormers, where layerwise GNN components are nested alongside the transformer blocks of language models. With the proposed architecture, the text encoding and the graph aggregation are fused into an iterative workflow, {making} each node's semantic accurately comprehended from the global perspective. In addition, a {progressive} learning strategy is introduced, where the model is successively trained on manipulated data and original data to reinforce its capability of integrating information on graph. Extensive evaluations are conducted on three large-scale benchmark datasets, where GraphFormers outperform the SOTA baselines with comparable running efficiency.


title: Analysis and Improvement of Heterogeneous Hardware Support in Docker Images

abstract: Docker images are used to distribute and deploy cloud-native applications in containerised form. A container engine runs them with separated privileges according to namespaces. Recent studies have investigated security vulnerabilities and runtime characteristics of Docker images. In contrast, little is known about the extent of hardware-dependent features in them such as processor-specific trusted execution environments, graphics acceleration or extension boards. This problem can be generalised to missing knowledge about the extent of any hardware-bound instructions within the images that may require elevated privileges. We first conduct a systematic one-year evolution analysis of a sample of Docker images concerning their use of hardware-specific features. To improve the state of technology, we contribute novel tools to manage such images. Our heuristic hardware dependency detector and a hardware-aware Docker executor give early warnings upon missing dependencies instead of leading to silent or untimely failures. Our dataset and tools are released to the research community.


title: Singular perturbation for a two-class Processor-Sharing queue with impatience

abstract: A two-class Processor-Sharing queue with one impatient class is studied. Local exponential decay rates for its stationary distribution (N, M) are established in the heavy traffic regime where the arrival rate of impatient customers grows proportionally to a large factor A. This regime is characterized by two time-scales, so that no general Large Deviations result is applicable. In the framework of singular perturbation methods, we instead assume that an asymptotic expansion of the solution of associated Kolmogorov equations exists for large A and derive it in the form P(N = Ax, M = Ay) ~ g(x,y)/A exp(-A H(x,y)) for x > 0 and y > 0 with explicit functions g and H. This result is then applied to the model of mobile networks proposed in a previous work and accounting for the spatial movement of users. We give further evidence of a unusual growth behavior in heavy traffic in that the stationary mean queue length E(N') and E(M') of each customer-class increases proportionally to E(N') ~ E(M') ~ -log(1-rho) with system load rho tending to 1, instead of the usual 1/(1-rho) growth behavior.


title: How UAVs' Highly Dynamic 3D Movement Improves Network Security?

abstract: Cooperative ad hoc unmanned aerial vehicle (UAV) networks need essential security services to ensure their communication security. Cryptography, as the inseparable tool for providing security services, requires a robust key management system. Alas, the absence of infrastructure in cooperative networks leads to the infeasibility of providing conventional key management systems. Key pre-distribution schemes have shown promising performance in different cooperative networks due to their lightweight nature. However, intermediate decryption-encryption (DE) steps and the lack of key updates are the most concerning issues they suffer from. In this paper, we propose a simple and effective key management algorithm inspired by the idea of key pre-distribution, where it utilizes the highly dynamic UAV node movement in 3D space to provide the key update feature and optimizes the number of intermediate DE steps. Although it is a general model for any mobile ad hoc network, we have selected UAV network as an example domain to show the efficiency of the model given the high mobility. We define the communication density parameter to analytically show that using any highly dynamic random movement pattern leads our algorithm to work effectively. To show the proposed algorithm's effectiveness, we exhaustively analyze its security and performance in the UAV network using the ns-3 network simulator. Results validate our analytical findings and show how the highly dynamic UAV network movement helps our algorithm to provide the key update feature and to optimize the number of DE steps.


title: Searching by Heterogeneous Agents

abstract: In this work we introduce and study a pursuit-evasion game in which the search is performed by heterogeneous entities. We incorporate heterogeneity into the classical edge search problem by considering edge-labeled graphs: once a search strategy initially assigns labels to the searchers, each searcher can be only present on an edge of its own label. We prove that this problem is not monotone even for trees and we give instances in which the number of recontamination events is asymptotically quadratic in the tree size. Other negative results regard the NP-completeness of the monotone, and NP-hardness of an arbitrary (i.e., non-monotone) heterogeneous search in trees. These properties show that this problem behaves very differently from the classical edge search. On the other hand, if all edges of a particular label form a (connected) subtree of the input tree, then we show that optimal heterogeneous search strategy can be computed efficiently.


title: Relationships between the generalized central series of Leibniz algebras

abstract: The purpose of this article is to show a close relationship between the generalized central series of Leibniz algebras. Some analogues of the classical group-theoretical theorems of Schur and Baer for Leibniz algebras are proved.


title: A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

abstract: We study the expressiveness and succinctness of history-deterministic pushdown automata (HD-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of the input word. These are also known as good-for-games pushdown automata. We prove that HD-PDA recognise more languages than deterministic PDA (DPDA) but not all context-free languages (CFL). This class is orthogonal to unambiguous CFL. We further show that HD-PDA can be exponentially more succinct than DPDA, while PDA can be double-exponentially more succinct than HD-PDA. We also study HDness in visibly pushdown automata (VPA), which enjoy better closure properties than PDA, and for which we show that deciding HDness is ExpTime-complete. HD-VPA can be exponentially more succinct than deterministic VPA, while VPA can be exponentially more succinct than HD-VPA. Both of these lower bounds are tight. We then compare HD-PDA with PDA for which composition with games is well-behaved, i.e. good-for-games automata. We show that these two notions coincide, but only if we consider potentially infinitely branching games. Finally, we study the complexity of resolving nondeterminism in HD-PDA. Every HDPDA has a positional resolver, a function that resolves nondeterminism and that is only dependant on the current configuration. Pushdown transducers are sufficient to implement the resolvers of HD-VPA, but not those of HD-PDA. HD-PDA with finite-state resolvers are determinisable.


title: Formation of the first galaxies in the aftermath of the first supernovae

abstract: We perform high-resolution cosmological hydrodynamic simulations to study the formation of the first galaxies that reach the masses of $10^{8-9}~h^{-1}~M_\odot$ at $z=9$. The resolution of the simulations is high enough to resolve minihaloes and allow us to successfully pursue the formation of multiple Population (Pop) III stars, their supernova (SN) explosions, resultant metal-enrichment of the inter-galactic medium (IGM) in the course of the build-up of the system. Metals are ejected into the IGM by multiple Pop III SNe, but some of the metal-enriched gas falls back onto the halo after $\gtrsim 100~\rm Myr$. The star formation history of the first galaxy depends sensitively on the initial mass function (IMF) of Pop III stars. The dominant stellar population transits from Pop III to Pop II at $z\sim 12-15$ in the case of power-law Pop III IMF, ${\rm d}n/{\rm d}M \propto M^{-2.35}$ with the mass range $10-500~M_\odot$. At $z\lesssim 12$, stars are stably formed in the first galaxies with a star formation rate of $\sim 10^{-3}$-$10^{-1}~M_\odot/{\rm yr}$. In contrast, for the case with a flat IMF, gas-deprived first galaxies form due to frequent Pop III pair-instability SNe, resulting in the suppression of subsequent Pop II star formation. In addition, we calculate UV continuum, Ly$\alpha$- and H$\alpha$-line fluxes from the first galaxies. We show that the James Webb Space Telescope will be able to detect both UV continuum, Ly$\alpha$ and H$\alpha$ line emission from first galaxies with halo mass $\gtrsim 10^{9}~M_\odot$ at $z \gtrsim 10$.


title: Challenges and Obstacles Towards Deploying Deep Learning Models on Mobile Devices

abstract: From computer vision and speech recognition to forecasting trajectories in autonomous vehicles, deep learning approaches are at the forefront of so many domains. Deep learning models are developed using plethora of high-level, generic frameworks and libraries. Running those models on the mobile devices require hardware-aware optimizations and in most cases converting the models to other formats or using a third-party framework. In reality, most of the developed models need to undergo a process of conversion, adaptation, and, in some cases, full retraining to match the requirements and features of the framework that is deploying the model on the target platform. Variety of hardware platforms with heterogeneous computing elements, from wearable devices to high-performance GPU clusters are used to run deep learning models. In this paper, we present the existing challenges, obstacles, and practical solutions towards deploying deep learning models on mobile devices.


title: The Perfekt theory of $M$-ideals

abstract: We revisit some ideas of K.-M.~Perfekt who has provided an elegant framework to detect the biduality between function or sequence spaces defined in terms of some $o$- resp.\ $O$-condition. We present new proofs under somewhat weaker assumptions than before and apply the result to Lipschitz spaces.


title: A Novel Falling-Ball Algorithm for Image Segmentation

abstract: Image segmentation refers to the separation of objects from the background, and has been one of the most challenging aspects of digital image processing. Practically it is impossible to design a segmentation algorithm which has 100% accuracy, and therefore numerous segmentation techniques have been proposed in the literature, each with certain limitations. In this paper, a novel Falling-Ball algorithm is presented, which is a region-based segmentation algorithm, and an alternative to watershed transform (based on waterfall model). The proposed algorithm detects the catchment basins by assuming that a ball falling from hilly terrains will stop in a catchment basin. Once catchment basins are identified, the association of each pixel with one of the catchment basin is obtained using multi-criterion fuzzy logic. Edges are constructed by dividing image into different catchment basins with the help of a membership function. Finally closed contour algorithm is applied to find closed regions and objects within closed regions are segmented using intensity information. The performance of the proposed algorithm is evaluated both objectively as well as subjectively. Simulation results show that the proposed algorithms gives superior performance over conventional Sobel edge detection methods and the watershed segmentation algorithm. For comparative analysis, various comparison methods are used for demonstrating the superiority of proposed methods over existing segmentation methods.


title: Asymptotic quasinormal modes of string-theoretical $d$-dimensional black holes

abstract: We compute the quasinormal frequencies of $d$-dimensional spherically symmetric black holes with leading string $\alpha'$ corrections for tensorial gravitational perturbations in the highly damped regime. We solve perturbatively the master differential equation and we compute the monodromies of the master perturbation variable (analytically continued to the complex plane) in different contours, in order to obtain the quasinormal mode spectra. We proceed analogously for the quasinormal modes of test scalar fields. Differently than in Einstein gravity, we obtain distinct results for the two cases.


title: Towards the Doran-Harder-Thompson conjecture via the Gross-Siebert program

abstract: The Doran-Harder-Thompson "gluing/splitting" conjecture unifies mirror symmetry conjectures for Calabi-Yau and Fano varieties, relating fibration structures on Calabi-Yau varieties to the existence of certain types of degenerations on their mirrors. This was studied for the case of Calabi-Yau complete intersections in toric varieties by Doran, Kostiuk and You for the Hori-Vafa mirror construction. In this paper we prove one direction of the conjecture using a modified version of the Gross-Siebert program. This involves a careful study of the implications within tropical geometry and applying modern deformation theory for singular Calabi-Yau varieties.


title: Security Protection in Cooperative Control of Multi-agent Systems

abstract: Due to the wide application of average consensus algorithm, its security and privacy problems have attracted great attention. In this paper, we consider the system threatened by a set of unknown agents that are both "malicious" and "curious", who add additional input signals to the system in order to perturb the final consensus value or prevent consensus, and try to infer the initial state of other agents. At the same time, we design a privacy-preserving average consensus algorithm equipped with an attack detector with a time-varying exponentially decreasing threshold for every benign agent, which can guarantee the initial state privacy of every benign agent, under mild conditions. The attack detector will trigger an alarm if it detects the presence of malicious attackers. An upper bound of false alarm rate in the absence of malicious attackers and the necessary and sufficient condition for there is no undetectable input by the attack detector in the system are given. Specifically, we show that under this condition, the system can achieve asymptotic consensus almost surely when no alarm is triggered from beginning to end, and an upper bound of convergence rate and some quantitative estimates about the error of final consensus value are given. Finally, numerical case is used to illustrate the effectiveness of some theoretical results.


title: Design-to-Robotic-Production of Underground Habitats on Mars

abstract: In order for off-Earth top surface structures built from regolith to protect astronauts from radiation, they need to be several meters thick. Technical University Delft (TUD) proposes to excavate into the ground to create subsurface habitats. By excavating not only natural protection from radiation can be achieved but also thermal insulation because the temperature is more stable underground. At the same time through excavation valuable resources can be mined for through in situ resource utilization (ISRU). The idea is that a swarm of autonomous mobile robots excavate the ground in a sloped downwards spiral movement. The excavated regolith will be mixed with cement, which can be reproduced on Mars through ISRU, in order to create concrete. The concrete is 3D printed/sprayed on the excavated tunnel to reinforce it. As soon as the tunnels are reinforced, the material in-between the tunnels can be removed in order to create a larger cavity that can be used for inhabitation. Proposed approach relies on Design-to-Robotic-Production (D2RP) technology developed at TUD1 for on-Earth applications. The rhizomatic 3D printed structure is a structurally optimized porous shell structure with increased insulation properties. In order to regulate the indoor pressurised environment an inflatable structure is placed in the 3D printed cavity. This inflatable structure is made of materials, which can also be at some point reproduced on Mars through ISRU. Depending on location the habitat and the production system are powered by a system combining solar and kite power. The ultimate goal is to develop an autarkic D2RP system for building subsurface autarkic habitats on Mars from locally obtained materials.


title: Experimental study of the flow structure stability on the bubble surface

abstract: The results of the flow structure visualization experiments conducted on the surface of a single bubble streamlined by uniform flow are presented. It is shown that, at certain critical values for bubble size, flow velocity, and contamination level, the axial symmetry of the surface flow loses its stability in a threshold manner, and the first instability mode in the form of two vortices appears. Below the threshold, the stationary flow on the bubble surface is impossible. The experimental results indicate that the assumption about the axial symmetry of the motion on the bubble surface containing surfactants, which is used in most theoretical and numerical studies, is invalid. Analysis of the results has revealed the most likely reason for the spiral form of the trajectory in the problem of a small rising bubble in the surrounding fluid. For the surfactant-free surface realized in the experiments with isopropyl alcohol, the rising trajectory was a straight line, and no vortex structures were observed on the bubble surface. In the experiments with water, a spiral rising trajectory was observed, and the first instability mode was formed on the bubble surface.


title: Single shot measurement of the photonic band structure in a Floquet-Bloch lattice realised with coupled fiber rings

abstract: Floquet-Bloch lattices are systems in which wave packets are subjet to periodic modulations both in time and space, showing rich dynamics. While this type of lattices is difficult to implement in solid-state physics, optical systems have provided excellent platforms to probe their physics: among other effects, they have revealed genuine phenomena such as the anomalous Floquet topological insulator and the funnelling of light into localised interface modes. Despite the crucial importance of the band dispersion in the photon dynamics and the topological properties of the lattice, the direct experimental measurement of the Floquet-Bloch bands has remained elusive. Here we report the direct measurement of the Floquet-Bloch bands of a photonic lattice with a single shot method. We use a system of two coupled fibre rings that implements a time-multiplexed Floquet-Bloch lattice. By Fourier transforming the impulse response of the lattice we obtain the band structure together with an accurate characterization of the lattice eigenmodes, i. e. the amplitudes and the phases of the Floquet-Bloch eigenvectors over the entire Brillouin zone. Our results open promising perspectives for the observation of topological effects in the linear and nonlinear regime in Floquet systems.


title: Inverse Scale Space Iterations for Non-Convex Variational Problems Using Functional Lifting

abstract: Non-linear filtering approaches allow to obtain decompositions of images with respect to a non-classical notion of scale. The associated inverse scale space flow can be obtained using the classical Bregman iteration applied to a convex, absolutely one-homogeneous regularizer. In order to extend these approaches to general energies with non-convex data term, we apply the Bregman iteration to a lifted version of the functional with sublabel-accurate discretization. We provide a condition for the subgradients of the regularizer under which this lifted iteration reduces to the standard Bregman iteration. We show experimental results for the convex and non-convex case.


title: Experimental determination of pore shapes using phase retrieval from q-space NMR diffraction

abstract: This paper presents a novel approach on solving the phase problem in nuclear magnetic resonance (NMR) diffusion pore imaging, a method, which allows imaging the shape of arbitrary closed pores filled with an NMR-detectable medium for investigation of the microstructure of biological tissue and porous materials. Classical q-space imaging composed of two short diffusion-encoding gradient pulses yields, analogously to diffraction experiments, the modulus squared of the Fourier transform of the pore image which entails an inversion problem: An unambiguous reconstruction of the pore image requires both magnitude and phase. Here, the phase information is recovered from the Fourier modulus by applying a phase retrieval algorithm. This allows omitting experimentally challenging phase measurements using specialized temporal gradient profiles. A combination of the hybrid input-output algorithm and the error reduction algorithm was used with dynamically adapting support (shrinkwrap extension). No a priori knowledge on the pore shape was fed to the algorithm except for a finite pore extent. The phase retrieval approach proved successful for simulated data with and without noise and was validated in phantom experiments with well-defined pores using hyperpolarized xenon gas.