title: Sparktope: linear programs from algorithms

abstract: In a recent paper Avis, Bremner, Tiwary and Watanabe gave a method for constructing linear programs (LPs) based on algorithms written in a simple programming language called Sparks. If an algorithm produces the solution $x$ to a problem in polynomial time and space then the LP constructed is also of polynomial size and its optimum solution contains $x$ as well as a complete execution trace of the algorithm. Their method led us to the construction of a compiler called Sparktope which we describe in this paper. This compiler allows one to generate polynomial sized LPs for problems in P that have exponential extension complexity, such as matching problems in non-bipartite graphs. In this paper we describe Sparktope, the language Sparks, and the assembler instructions and LP constraints it produces. This is followed by two concrete examples, the makespan problem and the problem of testing if a matching in a graph is maximum, both of which are known to have exponential extension complexity. Computational results are given. In discussing these examples we make use of visualization techniques included in Sparktope that may be of independent interest. The extremely large linear programs produced by the compiler appear to be quite challenging to solve using currently available software. Since the optimum LP solutions can be computed independently they may be useful as benchmarks. Further enhancements of the compiler and its application are also discussed.


title: THz deflector using dielectric-lined waveguide for ultra-short bunch measurement in GeV scale

abstract: We propose an RF deflector in the THz regime to measure the bunch length of the ultrashort electron beam in GeV scale by using the dielectric-lined circular waveguide (DLW) structure. We show the design of the deflector and the possible resolution in the attosecond scale with a reasonable input pulse energy of THz. We investigate the short-range wakefield effect in the DLW to the time resolution using the analytical model based on the eigenmode calculation and show the scaling law in terms of the beam size, the bunch length. We found the ideal resolution of the deflector can reach order ${\cal O}(100)~[{\rm as}]$ with pulse energy of several ${\rm mJ}$ with a negligible wakefield effect. Example calculations are given for a structure with the vacuum hole radius of $0.5,\ 0.4,\ 0.3~[{\rm mm}]$, the dielectric constant of $3.75$, the operating frequency of $0.2,\ 0.4,\ 0.6~[{\rm THz}]$, respectively.


title: Comment on "The wave-driven current in coastal canopies" by M. Abdolahpour et al

abstract: Laboratory and field measurements made over the past decade have shown the presence of a strong wave-driven mean current in submerged vegetation canopies. Luhar et al. (2010) suggested that this mean current is analogous to the streaming flow generated in wave boundary layers over bare beds, and developed a simple energy and momentum balance model to predict its magnitude. However, this model predicts that the magnitude of the mean current does not depend on canopy spatial density, which is inconsistent with the measurements made by Abdolahpour et al. (2017) in recent laboratory experiments. Motivated by observations that the wave-driven mean flow is most pronounced at the canopy interface, Abdolahpour et al. (2017) proposed an alternate explanation for its origin: that it is driven by the vertical heterogeneity in orbital motion created by canopy drag. Such heterogeneity can give rise to incomplete particle orbits near the canopy interface and a Lagrangian mean current analogous to Stokes drift in the direction of wave propagation. A model guided by this physical insight and dimensional analysis is able to generate much more accurate predictions. This comment aims to reconcile these two different models for the wave-driven mean flow in submerged canopies.


title: A Novel GDP Prediction Technique based on Transfer Learning using CO2 Emission Dataset

abstract: In the last 150 years, CO2 concentration in the atmosphere has increased from 280 parts per million to 400 parts per million. This has caused an increase in the average global temperatures by nearly 0.7 degree centigrade due to the greenhouse effect. However, the most prosperous states are the highest emitters of greenhouse gases (specially, CO2). This indicates a strong relationship between gaseous emissions and the gross domestic product (GDP) of the states. Such a relationship is highly volatile and nonlinear due to its dependence on the technological advancements and constantly changing domestic and international regulatory policies and relations. To analyse such vastly nonlinear relationships, soft computing techniques has been quite effective as they can predict a compact solution for multi-variable parameters without any explicit insight into the internal system functionalities. This paper reports a novel transfer learning based approach for GDP prediction, which we have termed as Domain Adapted Transfer Learning for GDP Prediction. In the proposed approach per capita GDP of different nations is predicted using their CO2 emissions via a model trained on the data of any developed or developing economy. Results are comparatively presented considering three well-known regression methods such as Generalized Regression Neural Network, Extreme Learning Machine and Support Vector Regression. Then the proposed approach is used to reliably estimate the missing per capita GDP of some of the war-torn and isolated countries.


title: $\Gamma$-limit for two-dimensional charged magnetic zigzag domain walls

abstract: Charged domain walls are a type of domain walls in thin ferromagnetic films which appear due to global topological constraints. The non-dimensionalized micromagnetic energy for a uniaxial thin ferromagnetic film with in-plane magnetization $m \in \mathbb{S}^1$ is given by \begin{align*} E_\epsilon[m] \ = \ \epsilon\|\nabla m\|_{L^2}^2 + \frac {1}{\epsilon} \|m \cdot e_2\|_{L^2}^2 + \frac{\pi\lambda}{2|\ln\epsilon|} \|\nabla \cdot (m-M)\|_{\dot H^{-\frac{1}{2}}}^2, \end{align*} where magnetization in $e_1$-direction is globally preferred and where $M$ is an arbitrary fixed background field to ensure global neutrality of magnetic charges. We consider a material in the form a thin strip and enforce a charged domain wall by suitable boundary conditions on $m$. In the limit $\epsilon \to 0$ and for fixed $\lambda> 0$, corresponding to the macroscopic limit, we show that the energy $\Gamma$-converges to a limit energy where jump discontinuities of the magnetization are penalized anisotropically. In particular, in the subcritical regime $\lambda \leq 1$ one-dimensional charged domain walls are favorable, in the supercritical regime $\lambda > 1$ the limit model allows for zigzaging two-dimensional domain walls.


title: An Overview of Self-Similar Traffic: Its Implications in the Network Design

abstract: The knowledge about the true nature of the traffic in computer networking is a key requirement in the design of such networks. The phenomenon of self-similarity is a characteristic of the traffic of current client/server packet networks in LAN/WAN environments dominated by network technologies such as Ethernet and the TCP/IP protocol stack. The development of networks traffic simulators, which take into account this attribute, is necessary for a more realistic description the traffic on these networks and their use in the design of resources (contention elements) and protocols of flow control and network congestion. In this scenario it is recommended do not adopt standard traffic models of the Poisson type.


title: A stochastic epidemic model of COVID-19 disease

abstract: To model the evolution of diseases with extended latency periods and the presence of asymptomatic patients like COVID-19, we define a simple discrete time stochastic SIR-type epidemic model. We include both latent periods as well as the presence of quarantine areas, to capture the evolutionary dynamics of such diseases.


title: A heat equation with memory: large-time behavior

abstract: We study the large-time behavior in all $L^p$ norms and in different space-time scales of solutions to a heat equation with a Caputo $\alpha$-time derivative posed in $\mathbb{R}^N$. The initial data are assumed to be integrable, and, when required, to be also in $L^p$. A main difficulty in the analysis comes from the singularity in space at the origin of the fundamental solution of the equation when~$N>1$. The rate of decay in $L^p$ norm in the characteristic scale, $|x|\asymp t^{\alpha/2}$, dictated by the scaling invariance of the equation, is $t^{-\frac{\alpha N}{2}(1-\frac1p)}$. In compact sets it is $t^{-\alpha/2}$ for $N=1$, $t^{-\alpha}$ for $N\ge 3$, and $t^{-\alpha}\log t$ in the critical dimension $N=2$. In intermediate scales, going to infinity but more slowly than $t^{\alpha/2}$, we have an intermediate decay rate. In fast scales, going to infinity faster than $t^{\alpha/2}$, there is no universal rate, valid for all solutions, as we will show by means of some examples. Anyway, in such scales solutions decay faster than in the characteristic one. When divided by the decay rate, solutions behave for large times in the characteristic scale like $M$ times the fundamental solution, where $M$ is the integral of the initial datum. The situation is very different in compact sets, where they converge to the Newtonian potential of the initial datum if $N\ge 3$, one of the main novelties of the paper, and to a constant if $N=1,2$. In intermediate scales they approach a multiple of the fundamental solution of the Laplacian if $N\ge 3$, and a constant in low dimensions. The asymptotic behavior in scales that go to infinity faster than the characteristic one depends strongly on the behavior of the initial datum at infinity. We give results for certain initial data with specific decays.


title: Anisotropic relaxation in NADH excited states studied by polarization-modulation pump-probe transient spectroscopy

abstract: We present the results of experimental and theoretical studies of fast anisotropic relaxation and rotational diffusion in the first electron excited state of biological coenzyme NADH in water-ethanol solutions. The experiments have been carried out by means of a novel polarization-modulation transient method and fluorescence polarization spectroscopy. For interpretation of the experimental results a model of the anisotropic relaxation in terms of scalar and vector properties of transition dipole moments and based on the Born-Oppenheimer approximation has been developed. The results obtained suggest that the dynamics of anisotropic rovibronic relaxation in NADH under excitation with 100~fs pump laser pulses can be characterised by a single vibration relaxation time $\tau_v$ laying in the range 2--15~ps and a single rotation diffusion time $\tau_r$ laying in the range 100--450~ps a subject of ethanol concentration. The dependence of the times $\tau_v$ and $\tau_r$ on the solution polarity (static permittivity) and viscosity has been determined and analyzed. Limiting values of an important parameter $\langle P_2(\cos\theta(t))\rangle$ describing the rotation of the transition dipole moment in the course of vibrational relaxation has been determined from experiment as function of the ethanol concentration and analyzed.


title: Insider Threat Detection Based on Stress Recognition Using Keystroke Dynamics

abstract: Insider threat is one of the most pressing threats in the field of information security as it leads to huge financial losses by the companies. Most of the proposed methods for detecting this threat require expensive and invasive equipment, which makes them difficult to use in practice. In this paper, we present a non-invasive method for detecting insider threat based on stress recognition using keystroke dynamics assuming that intruder experiences stress during making illegal actions, which affects the behavioral characteristics. Proposed method uses both supervised and unsupervised machine learning algorithms. As the results show, stress can provide highly valuable information for insider threat detection.


title: The computerization of archaeology: survey on AI techniques

abstract: This paper analyses the application of artificial intelligence techniques to various areas of archaeology and more specifically: a) The use of software tools as a creative stimulus for the organization of exhibitions; the use of humanoid robots and holographic displays as guides that interact and involve museum visitors; b) The analysis of methods for the classification of fragments found in archaeological excavations and for the reconstruction of ceramics, with the recomposition of the parts of text missing from historical documents and epigraphs; c) The cataloguing and study of human remains to understand the social and historical context of belonging with the demonstration of the effectiveness of the AI techniques used; d) The detection of particularly difficult terrestrial archaeological sites with the analysis of the architectures of the Artificial Neural Networks most suitable for solving the problems presented by the site; the design of a study for the exploration of marine archaeological sites, located at depths that cannot be reached by man, through the construction of a freely explorable 3D version.


title: Star Edge-Coloring of Square Grids

abstract: A star edge-coloring of a graph $G$ is a proper edge-coloring without bichromatic paths or cycles of length four. The smallest integer $k$ such that $G$ admits a star edge-coloring with $k$ colors is the star chromatic index of $G$. In the seminal paper on the topic, Dvo\v{r}\'{a}k, Mohar, and \v{S}\'{a}mal asked if the star chromatic index of complete graphs is linear in the number of vertices and gave an almost linear upper bound. Their question remains open, and consequently, to better understand the behavior of the star chromatic index, this parameter has been studied for a number of other classes of graphs. In this paper, we consider star edge-colorings of square grids; namely, the Cartesian products of paths and cycles and the Cartesian products of two cycles. We improve previously established bounds and, as a main contribution, we prove that the star chromatic index of graphs in both classes is either $6$ or $7$ except for prisms. Additionally, we give a number of exact values for many considered graphs.


title: An accurate methodology for surface tension modeling in OpenFOAM

abstract: In this paper a numerical methodology for surface tension modeling is presented, with an emphasis on the implementation in the OpenFOAM framework. The methodology relies on a combination of (i) a well-balanced approach based on the Ghost Fluid Method (GFM), including the jump of density and pressure directly in the numerical discretization of the pressure equation, and (ii) Height Functions to evaluate the interface curvature, implemented, to the authors' knowledge, for the first time in OpenFOAM. The method is able to significantly reduce spurious currents (almost to machine accuracy) for a stationary droplet, showing second order convergence both for the curvature and the interface shape. Accurate results are also obtained for additional test cases such as translating droplets, capillary oscillations and rising bubbles, for which numerical results are comparable to what obtained by other numerical codes in the same conditions. Finally, the Height Functions method is extended to include the treatment of contact angles, both for sessile droplets and droplets suspended under the effect of gravity, showing a very good agreement with the theoretical prediction. The code works in parallel mode and details on the actual implementation in OpenFOAM are included to facilitate the reproducibility of the results.


title: Interface-resolved simulation of the evaporation and combustion of a fuel droplet suspended in normal gravity

abstract: An interface-resolved simulation of the combustion of a fuel droplet suspended in normal gravity is presented in this work, followed by an extensive analysis on the physical aspects involved. The modeling is based on DropletSMOKE++, a multiphase solver developed for the modeling of droplet vaporization and combustion in convective conditions. A wide range of phenomena can be described by the model, including the interface advection, the phase-change, the combustion chemistry, non-ideal thermodynamics and multicomponent mixtures. To our knowledge, this is the most detailed simulation performed on this configuration, providing a useful theoretical and numerical support for the experimental activity on this field. A recent experimental work is used as a reference, in which a methanol droplet is suspended on a quartz fiber and ignited at different oxygen concentrations. The numerical analysis offers a detailed insight into the physics of the problem and a satisfactory agreement with the experiments in terms of diameter decay, radial temperature profiles and sensitivity to the oxygen concentration. The vaporization rate is affected by the thermal conduction from the fiber, due to the high temperatures involved. Moreover, the fiber perturbs the flame itself, providing quenching at its surface. The combustion physics is compared to the one predicted at zero-gravity, evidencing a lower standoff-ratio, a higher flame temperature and an intense internal circulation. The distribution of the species around the droplet shows (i) a local accumulation of intermediate oxidation products at the fiber surface and (ii) water absorption in the liquid phase, affecting the vaporization rate.


title: DropletSMOKE++: a comprehensive multiphase CFD framework for the evaporation of multidimensional fuel droplets

abstract: This paper aims at presenting the DropletSMOKE++ solver, a comprehensive multidimensional computational framework for the evaporation of fuel droplets, under the influence of a gravity field and an external fluid flow. The Volume Of Fluid (VOF) methodology is adopted to dynamically track the interface, coupled with the solution of energy and species equations. The evaporation rate is directly evaluated based on the vapor concentration gradient at the phase boundary, with no need of semi-empirical evaporation sub-models. The strong surface tension forces often prevent to model small droplets evaporation, because of the presence of parasitic currents. In this work we by-pass the problem, eliminating surface tension and introducing a centripetal force toward the center of the droplet. This expedient represents a major novelty of this work, which allows to numerically hang a droplet on a fiber in normal gravity conditions without modeling surface tension. Parasitic currents are completely suppressed, allowing to accurately model the evaporation process whatever the droplet size. DropletSMOKE++ shows an excellent agreement with the experimental data in a wide range of operating conditions, for various fuels and initial droplet diameters, both in natural and forced convection. The comparison with the same cases modeled in microgravity conditions highlights the impact of an external fluid flow on the evaporation mechanism, especially at high pressures. Non-ideal thermodynamics for phase-equilibrium is included to correctly capture evaporation rates at high pressures, otherwise not well predicted by an ideal gas assumption. Finally, the presence of flow circulation in the liquid phase is discussed, as well as its influence on the internal temperature field. DropletSMOKE++ will be released as an open-source code, open to contributions from the scientific community.


title: Photonic radio frequency and microwave integration based on a multi-wavelength 49GHz Kerr microcomb source

abstract: We demonstrate a photonic RF integrator based on an integrated soliton crystal microcomb source. By multicasting and progressively delaying the input RF signal using a transversal structure, the input RF signal is integrated discretely. Up to 81 wavelengths are provided by the microcomb source, which enable a large integration time window of 6.8 ns, together with a time resolution as fast as 84 ps. We perform signal integration of a diverse range of input RF signals including Gaussian pulses with varying time widths, dual pulses with varying time intervals and a square waveform. The experimental results show good agreement with theory. These results verify our microcomb-based integrator as a competitive approach for RF signal integration with high performance and potentially lower cost and footprint.


title: Photonic RF channelizer based on a 90 wavelength optical soliton crystal 49GHz Kerr microcomb

abstract: We report a broadband radio frequency (RF) channelizer with up to 92 channels using a coherent microcomb source. A soliton crystal microcomb, generated by a 49 GHz micro-ring resonator (MRR), is used as a multi-wavelength source. Due to its ultra-low comb spacing, up to 92 wavelengths are available in the C band, yielding a broad operation bandwidth. Another high-Q MRR is employed as a passive optical periodic filter to slice the RF spectrum with a high resolution of 121.4 MHz. We experimentally achieve an instantaneous RF operation bandwidth of 8.08 GHz and verify RF channelization up to 17.55 GHz via thermal tuning. Our approach is a significant step towards the monolithically integrated photonic RF receivers with reduced complexity, size, and unprecedented performance, which is important for wide RF applications ranging from broadband analog signal processing to digital-compatible signal detection.


title: Stochastic Bottleneck: Rateless Auto-Encoder for Flexible Dimensionality Reduction

abstract: We propose a new concept of rateless auto-encoders (RL-AEs) that enable a flexible latent dimensionality, which can be seamlessly adjusted for varying distortion and dimensionality requirements. In the proposed RL-AEs, instead of a deterministic bottleneck architecture, we use an over-complete representation that is stochastically regularized with weighted dropouts, in a manner analogous to sparse AE (SAE). Unlike SAEs, our RL-AEs employ monotonically increasing dropout rates across the latent representation nodes such that the latent variables become sorted by importance like in principal component analysis (PCA). This is motivated by the rateless property of conventional PCA, where the least important principal components can be discarded to realize variable rate dimensionality reduction that gracefully degrades the distortion. In contrast, since the latent variables of conventional AEs are equally important for data reconstruction, they cannot be simply discarded to further reduce the dimensionality after the AE model is trained. Our proposed stochastic bottleneck framework enables seamless rate adaptation with high reconstruction performance, without requiring predetermined latent dimensionality at training. We experimentally demonstrate that the proposed RL-AEs can achieve variable dimensionality reduction while achieving low distortion compared to conventional AEs.


title: Geometrical Bounds of the Irreversibility in Markovian Systems

abstract: We derive geometrical bounds on the irreversibility in both quantum and classical Markovian open systems that satisfy the detailed balance condition. Using information geometry, we prove that irreversible entropy production is bounded from below by a modified Wasserstein distance between the initial and final states, thus strengthening the Clausius inequality in the reversible-Markov case. The modified metric can be regarded as a discrete-state generalization of the Wasserstein metric, which has been used to bound dissipation in continuous-state Langevin systems. Notably, the derived bounds can be interpreted as the quantum and classical speed limits, implying that the associated entropy production constrains the minimum time of transforming a system state. We illustrate the results on several systems and show that a tighter bound than the Carnot bound for the efficiency of quantum heat engines can be obtained.


title: Distinct Ultrafast Electronic and Magnetic Response in M-edge Magnetic Circular Dichroism

abstract: Experimental investigations of ultrafast magnetization dynamics increasingly employ resonant magnetic spectroscopy in the ultraviolet spectral range. Besides allowing to disentangle the element-specific transient response of functional magnetic systems, these techniques also promise to access attosecond to few-femtosecond dynamics of spin excitations. Here, we report on a systematic study of transient magnetic circular dichroism (MCD) on the transition metals Fe, Co and Ni as well as on a FeNi and GdFe alloy and reveal a delayed onset between the electronic and magnetic response. Supported by \textit{ab-initio} calculations, we attribute our observation to a transient energy shift of the absorption and MCD spectra at the corresponding elemental resonances due to non-equilibrium changes of electron occupations.


title: Characterization of wetting using topological principles

abstract: Hypothesis Understanding wetting behavior is of great importance for natural systems and technological applications. The traditional concept of contact angle, a purely geometrical measure related to curvature, is often used for characterizing the wetting state of a system. It can be determined from Young's equation by applying equilibrium thermodynamics. However, whether contact angle is a representative measure of wetting for systems with significant complexity is unclear. Herein, we hypothesize that topological principles based on the Gauss-Bonnet theorem could yield a robust measure to characterize wetting. Theory and Experiments We introduce a macroscopic contact angle based on the deficit curvature of the fluid interfaces that are imposed by contacts with other immiscible phases. We perform sessile droplet simulations followed by multiphase experiments for porous sintered glass and Bentheimer sandstone to assess the sensitivity and robustness of the topological approach and compare the results to other traditional approaches. Findings We show that the presented topological principle is consistent with thermodynamics under the simplest conditions through a variational analysis. Furthermore, we elucidate that at sufficiently high image resolution the proposed topological approach and local contact angle measurements are comparable. While at lower resolutions, the proposed approach provides more accurate results being robust to resolution-based effects. Overall, the presented concepts open new pathways to characterize the wetting state of complex systems and theoretical developments to study multiphase systems.


title: Green functions and propagation in the Bopp-Podolsky electrodynamics

abstract: In this paper, we investigate the so-called Bopp-Podolsky electrodynamics. The Bopp-Podolsky electrodynamics is a prototypical gradient field theory with weak nonlocality in space and time. The Bopp-Podolsky electrodynamics is a Lorentz and gauge invariant generalization of the Maxwell electrodynamics. We derive the retarded Green functions, first derivatives of the retarded Green functions, retarded potentials, retarded electromagnetic field strengths, generalized Lienard-Wiechert potentials and the corresponding electromagnetic field strengths in the framework of the Bopp-Podolsky electrodynamics for three, two and one spatial dimensions. We investigate the behaviour of these electromagnetic fields in the neighbourhood of the light cone. In the Bopp-Podolsky electrodynamics, the retarded Green functions and their first derivatives show fast decreasing oscillations inside the forward light cone.


title: Pay as You Go: A Generic Crypto Tolling Architecture

abstract: The imminent pervasive adoption of vehicular communication, based on dedicated short-range technology (ETSI ITS G5 or IEEE WAVE), 5G, or both, will foster a richer service ecosystem for vehicular applications. The appearance of new cryptography based solutions envisaging digital identity and currency exchange are set to stem new approaches for existing and future challenges. This paper presents a novel tolling architecture that harnesses the availability of 5G C-V2X connectivity for open road tolling using smartphones, IOTA as the digital currency and Hyperledger Indy for identity validation. An experimental feasibility analysis is used to validate the proposed architecture for secure, private and convenient electronic toll payment.


title: Efficiency analysis for quantitative MRI of T1 and T2 relaxometry methods

abstract: This study presents a comparison of quantitative MRI methods based on an efficiency metric that quantifies their intrinsic ability to extract information about tissue parameters. Under a regime of unbiased parameter estimates, an intrinsic efficiency metric $\eta$ was derived for fully-sampled experiments which can be used to both optimize and compare sequences. Here we optimize and compare several steady-state and transient gradient-echo based qMRI methods, such as magnetic resonance fingerprinting (MRF), for joint T1 and T2 mapping. The impact of undersampling was also evaluated, assuming incoherent aliasing that is treated as noise by parameter estimation. In-vivo validation of the efficiency metric was also performed. Transient methods such as MRF can be up to 3.5 times more efficient than steady-state methods, when spatial undersampling is ignored. If incoherent aliasing is treated as noise during least-squares parameter estimation, the efficiency is reduced in proportion to the SNR of the data, with reduction factors of 5 often seen for practical SNR levels. In-vivo validation showed a very good agreement between the theoretical and experimentally predicted efficiency. This work presents and validates an efficiency metric to optimize and compare the performance of qMRI methods. Transient methods were found to be intrinsically more efficient than steady-state methods, however the effect of spatial undersampling can significantly erode this advantage.


title: TripPy: A Triple Copy Strategy for Value Independent Neural Dialog State Tracking

abstract: Task-oriented dialog systems rely on dialog state tracking (DST) to monitor the user's goal during the course of an interaction. Multi-domain and open-vocabulary settings complicate the task considerably and demand scalable solutions. In this paper we present a new approach to DST which makes use of various copy mechanisms to fill slots with values. Our model has no need to maintain a list of candidate values. Instead, all values are extracted from the dialog context on-the-fly. A slot is filled by one of three copy mechanisms: (1) Span prediction may extract values directly from the user input; (2) a value may be copied from a system inform memory that keeps track of the system's inform operations; (3) a value may be copied over from a different slot that is already contained in the dialog state to resolve coreferences within and across domains. Our approach combines the advantages of span-based slot filling methods with memory methods to avoid the use of value picklists altogether. We argue that our strategy simplifies the DST task while at the same time achieving state of the art performance on various popular evaluation sets including Multiwoz 2.1, where we achieve a joint goal accuracy beyond 55%.


title: Multi-Resolution POMDP Planning for Multi-Object Search in 3D

abstract: Robots operating in households must find objects on shelves, under tables, and in cupboards. In such environments, it is crucial to search efficiently at 3D scale while coping with limited field of view and the complexity of searching for multiple objects. Principled approaches to object search frequently use Partially Observable Markov Decision Process (POMDP) as the underlying framework for computing search strategies, but constrain the search space in 2D. In this paper, we present a POMDP formulation for multi-object search in a 3D region with a frustum-shaped field-of-view. To efficiently solve this POMDP, we propose a multi-resolution planning algorithm based on online Monte-Carlo tree search. In this approach, we design a novel octree-based belief representation to capture uncertainty of the target objects at different resolution levels, then derive abstract POMDPs at lower resolutions with dramatically smaller state and observation spaces. Evaluation in a simulated 3D domain shows that our approach finds objects more efficiently and successfully compared to a set of baselines without resolution hierarchy in larger instances under the same computational requirement. We demonstrate our approach on a mobile robot to find objects placed at different heights in two 10m$^2 \times 2$m regions by moving its base and actuating its torso.


title: Bayesian estimation and prediction for certain mixtures

abstract: For two vast families of mixture distributions and a given prior, we provide unified representations of posterior and predictive distributions. Model applications presented include bivariate mixtures of Gamma distributions labelled as Kibble-type, non-central Chi-square and F distributions, the distribution of $R^2$ in multiple regression, variance mixture of normal distributions, and mixtures of location-scale exponential distributions including the multivariate Lomax distribution. An emphasis is also placed on analytical representations and the relationships with a host of existing distributions and several hypergeomtric functions of one or two variables.


title: Exploring Exploration: Comparing Children with RL Agents in Unified Environments

abstract: Research in developmental psychology consistently shows that children explore the world thoroughly and efficiently and that this exploration allows them to learn. In turn, this early learning supports more robust generalization and intelligent behavior later in life. While much work has gone into developing methods for exploration in machine learning, artificial agents have not yet reached the high standard set by their human counterparts. In this work we propose using DeepMind Lab (Beattie et al., 2016) as a platform to directly compare child and agent behaviors and to develop new exploration techniques. We outline two ongoing experiments to demonstrate the effectiveness of a direct comparison, and outline a number of open research questions that we believe can be tested using this methodology.


title: Multipolar Origin of the Unexpected Transverse Force Resulting from Two-Wave Interference

abstract: We propose a theoretical study on the electromagnetic forces resulting from the superposition of a TE and TM plane waves interacting with a sphere. Specifically, we first show that, under such an illumination condition, the sphere is subjected to a force transverse to the propagation direction of the waves. We then analyze the physical origin of this counter-intuitive behavior using a multipolar decomposition of the electromagnetic modes involved in that scattering process. This analysis reveals that interference effects, due to the two-wave illumination, lead to a Kerker-like asymmetric scattering behavior resulting in this peculiar transverse force.


title: Nonlinear parameter-gauge coupling approach to generalization of generalized Thouless pumps and $-1$-form anomaly

abstract: We study the nontrivial topology of the parameter space of general $U(1)$-symmetric fermionic non-degenerately gapped system and its consequences on the transport properties in arbitrary dimensions. By a nonlinear parameter-gauge topological response theory, we find that such nontrivial topology can impose quantization constraints on the charge transport in the presence of background fluxes or, more generally, instantons in general dimensions and our result generalizes the Thouless pump and its higher dimensional generalizations. We also show that these nontrivial transport properties are related to an unconventional quantum anomaly, which generalizes $-1$-form anomalies. This anomaly imposes non-perturbative ingappabilities of various types of spatial interfaces or time-dependent system evolution.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Microstructure evolution and thermal stability of equiatomic CoCrFeNi films on (0001)alpha-Al2O3

abstract: Homogeneous face-centered cubic (fcc) polycrystalline CoCrFeNi films were deposited at room temperature on (0001)alpha-Al2O3 (c-sapphire). Phase and morphological stability of 200 to 670 nm thick films were investigated between 973 K and 1423 K. The fcc-phase persists while the original <111> texture of 30-100 nm wide columnar grains evolves into ~10 or ~1000 micron wide grains. Only the grains having specific orientation relationships to the sapphire grow; as in the case of pure fcc metal (M) films 4 orientation relationships (OR) are found: OR1 (M(111)[1-10]//alpha-Al2O3 (0001)[1-100]) and OR2 (M(111)[1-10]//alpha-Al2O3 (0001)[11-20]) and their twin-related variants (OR1t and OR2t). Below 1000 K, the film microstructure stabilizes into 10 micron wide OR1 and OR1t twin grains independent of film thickness. Above 1000 K, the OR2 and OR2t grains expand to sizes exceeding more than a 1000 times the film thickness. Upon annealing, the films either retain their integrity or break-up depending on the competing kinetics of grain growth and grain boundary grooving. Triple junctions of the grain boundaries, the major actors in film stability, were tracked. Thinner films and higher temperatures favor film break-up by dewetting from the holes grooved at the triple junctions down to the substrate. The grain boundaries of the OR2 and OR2t grains migrate fast enough to overcome the nucleation of holes from which break-up could initiate. The growth of the OR2 and OR2t grains in this complex alloy is faster than in pure fcc metals at equivalent homologous annealing temperatures.


title: Feedback-assisted Femtosecond Pulsed Laser Ablation of Non-Planar Metal Surfaces: Fabrication of Optical Apertures on Tapered Fibers for Optical Neural Interfaces

abstract: We propose a feedback-assisted direct laser writing method to perform laser ablation of fiber optics devices in which their light-collection signal is used to optimize their properties. A femtosecond-pulsed laser beam is used to ablate a metal coating deposited around a tapered optical fiber, employed to show the suitability of the approach to pattern devices with small radius of curvature. During processing, the same pulses generate two-photon fluorescence in the surrounding environment and the signal is monitored to identify different patterning regimes over time through spectral analysis. The employed fs beam mostly interacts with the metal coating, leaving almost intact the underlying silica and enabling fluorescence to couple with a specific subset of guided modes, as verified by far-field analysis. Although the method is described here for tapered optical fibers used to obtain efficient light collection in the field of optical neural interfaces, it can be easily extended to other waveguides-based devices and represents a general approach to support the implementation closed-loop laser ablation system of fiber optics.


title: Transport and hydrodynamics in the chiral limit

abstract: We analyze the evolution of hydrodynamic fluctuations for QCD matter below $T_c$ in the chiral limit, where the pions (the Goldstone modes) must be treated as additional non-abelian superfluid degrees of freedom, reflecting the broken $SU_L(2) \times SU_R(2)$ symmetry of the theory. In the presence of a finite pion mass $m_{\pi}$, the hydrodynamic theory is ordinary hydrodynamics at long distances, and superfluid-like at short distances. The presence of the superfluid degrees of freedom then gives specific contributions to the bulk viscosity, the shear viscosity, and diffusion coefficients of the ordinary theory at long distances which we compute. This determines, in some cases, the leading dependence of the transport parameters of QCD on the pion mass. We analyze the predictions of this computation, as the system approaches the $O(4)$ critical point.


title: Quaternion-based bilinear factor matrix norm minimization for color image inpainting

abstract: As a new color image representation tool, quaternion has achieved excellent results in the color image processing, because it treats the color image as a whole rather than as a separate color space component, thus it can make full use of the high correlation among RGB channels. Recently, low-rank quaternion matrix completion (LRQMC) methods have proven very useful for color image inpainting. In this paper, we propose three novel LRQMC methods based on three quaternion-based bilinear factor (QBF) matrix norm minimization models. Specifically, we define quaternion double Frobenius norm (Q-DFN), quaternion double nuclear norm (Q-DNN) and quaternion Frobenius/nuclear norm (Q-FNN), and then show their relationship with quaternion-based matrix Schatten-p (Q- Schatten-p ) norm for certain p values. The proposed methods can avoid computing quaternion singular value decompositions (QSVD) for large quaternion matrices, and thus can effectively reduce the calculation time compared with existing (LRQMC) methods. The experimental results demonstrate the superior performance of the proposed methods over some state-of-the-art low-rank (quaternion) matrix completion methods.


title: A Frequency-Domain Stability Method for Reset Systems

abstract: Nowadays, the demand for an alternative to linear PID controllers has increased because of the rising expectations of the high-precision industry. The potential of reset controllers to solve this important challenge has been extensively demonstrated in the literature. However, similarly to other non-linear controllers, the stability analysis for these controllers is complex and relies on parametric models of the systems which may hinder the applicability of these controllers in industry. The well-known Hbeta method tries to solve this significant issue. However, assessing the H\b{eta} condition in the frequency-domain is complex, especially for high dimensional plants. In addition, it cannot be used to assess UBIBS stability of reset control systems in the case of reseting to non-zero values. These problems have been solved in this paper for the first order reset elements, and an easy-to-use frequency approach for assessing stability of reset control systems is proposed. The effectiveness of the proposed approach is demonstrated through a practical example.


title: Residues and currents from singular forms on complex manifolds

abstract: Using methods from the theory of residue currents we provide asymptotic expansions of certain divergent integrals on complex manifolds. We express the coefficients in these expansions with the conjugate Dolbeault residue, introduced by Felder and Kazhdan, and define a new residue which we call the Aeppli residue.


title: Multiscale Bayesian Survival Analysis

abstract: We consider Bayesian nonparametric inference in the right-censoring survival model, where modeling is made at the level of the hazard rate. We derive posterior limiting distributions for linear functionals of the hazard, and then for `many' functionals simultaneously in appropriate multiscale spaces. As an application, we derive Bernstein-von Mises theorems for the cumulative hazard and survival functions, which lead to asymptotically efficient confidence bands for these quantities. Further, we show optimal posterior contraction rates for the hazard in terms of the supremum norm. In medical studies, a popular approach is to model hazards a priori as random histograms with possibly dependent heights. This and more general classes of arbitrarily smooth prior distributions are considered as applications of our theory. A sampler is provided for possibly dependent histogram posteriors. Its finite sample properties are investigated on both simulated and real data experiments.


title: Some results on the class of unbounded Dunford-Pettis operators

abstract: We introduce and study the class of unbounded DunfordPettis operators. As consequences, we give basic properties and derive interesting results about the duality, domination problem and relationship with other known classes of operators.


title: Swift J004427.3-734801- a probable Be/white dwarf system in the Small Magellanic Cloud

abstract: Swift J004427.3-734801 is an X-ray source in the Small Magellanic Cloud (SMC) that was first discovered as part of the Swift S-CUBED programme in January 2020. It was not detected in any of the previous 3 years worth of observations. The accurate positional determination from the X-ray data have permitted an optical counterpart to be identified which has the characteristics of an O9V-B2III star. Evidence for the presence of an IR excess and significant I-band variability strongly suggest that this is an OBe type star. Over 17 years worth of optical monitoring by the OGLE project reveal periods of time in which quasi-periodic optical flares occur at intervals of ~21.5d. The X-ray data obtained from the S-CUBED project reveal a very soft spectrum, too soft to be that from accretion on to a neutron star or black hole. It is suggested here that this a rarely identified Be star-white dwarf binary in the SMC.


title: The global geometrical property of jet events in high-energy nuclear collisions

abstract: We present the first theoretical study of medium modifications of the global geometrical pattern, i.e., transverse sphericity ($S_{\perp}$) distribution of jet events with parton energy loss in relativistic heavy-ion collisions. In our investigation, POWHEG+PYTHIA is employed to make an accurate description of transverse sphericity in the p+p baseline, which combines the next-to-leading order (NLO) pQCD calculations with the matched parton shower (PS). The Linear Boltzmann Transport (LBT) model of the parton energy loss is implemented to simulate the in-medium evolution of jets. We calculate the event normalized transverse sphericity distribution in central Pb+Pb collisions at the LHC, and give its medium modifications. An enhancement of transverse sphericity distribution at small $S_{\perp}$ region but a suppression at large $S_{\perp}$ region are observed in A+A collisions as compared to their p+p references, which indicates that in overall the geometry of jet events in Pb+Pb becomes more pencil-like. We demonstrate that for events with 2 jets in the final-state of heavy-ion collisions, the jet quenching makes the geometry more sphere-like with medium-induced gluon radiation. However, for events with $\ge 3$~jets, parton energy loss in the QCD medium leads to the events more pencil-like due to jet number reduction, where less energetic jets may lose their energies and then fall off the jet selection kinematic cut. These two effects offset each other and in the end result in more jetty events in heavy-ion collisions relative to that in p+p.


title: Khovanov homology detects $T(2,6)$

abstract: We show if $L$ is any link in $S^3$ whose Khovanov homology is isomorphic to the Khovanov homology of $T(2,6)$ then $L$ is isotopic to $T(2,6)$. We show this for unreduced Khovanov homology with $\mathbb{Z}$ coefficients.


title: Dynamical collapse of cylindrical symmetric Dipolar Bose-Einstein condensates

abstract: We study the formation of singularities for cylindrical symmetric solutions to the Gross-Pitaevskii equation describing a dipolar Bose-Einstein condensate. We prove that solutions arising from initial data with energy below the energy of the Ground State and that do not scatter collapse in finite time. The main tools to prove our result are the variational characterization of the Ground State energy, suitable localized virial identities for cylindrical symmetric functions, and general integral and pointwise estimates for operators involving powers of the Riesz transforms.


title: Generating PBHs and small-scale GWs in two-field models of inflation

abstract: Primordial black holes (PBHs) generated by gravitational collapse of large primordial overdensities can be a fraction of the observed dark matter. In this paper, we introduce a mechanism to produce a large peak in the primordial power spectrum (PPS) in two-field inflationary models characterized by two stages of inflation based on a large non-canonical kinetic coupling. This mechanism is generic to several two-field inflationary models, due to a temporary tachyonic instability of the isocurvature perturbations at the transition between the two stages of inflation. We numerically compute the primordial perturbations from largest scales to the small scales corresponding to that of PBHs using an extension of BINGO (BI-spectra and Non-Gaussianity Operator). Moreover we numerically compute the stochastic background of gravitational waves (SBGW) produced by second order scalar perturbations within frequencies ranging from nano-Hz to KHz that covers the observational scales corresponding to Pulsar Timing Arrays, Square Kilometer Array to that of Einstein telescope. We discuss the prospect of its detection by these proposed and upcoming gravitational waves experiments.


title: Holes with hats and Erd\H{o}s-Hajnal

abstract: A "hole-with-hat" in a graph $G$ is an induced subgraph of $G$ that consists of a cycle of length at least four, together with one further vertex that has exactly two neighbours in the cycle, adjacent to each other, and the "house" is the smallest, on five vertices. It is not known whether there exists $\epsilon>0$ such that every graph $G$ containing no house has a clique or stable set of cardinality at least $|G|^\epsilon$; this is one of the three smallest open cases of the Erd\H{o}s-Hajnal conjecture and has been the subject of much study. We prove that there exists $\epsilon>0$ such that every graph $G$ with no hole-with-hat has a clique or stable set of cardinality at least $|G|^\epsilon$


title: Matrix-valued Aleksandrov--Clark measures and Carath\'{e}odory angular derivatives

abstract: This paper deals with families of matrix-valued Aleksandrov--Clark measures $\{\boldsymbol{\mu}^\alpha\}_{\alpha\in\mathcal{U}(n)}$, corresponding to purely contractive $n\times n$ matrix functions $b$ on the unit disc of the complex plane. We do not make other apriori assumptions on $b$. In particular, $b$ may be non-inner and/or non-extreme. The study of such families is mainly motivated from applications to unitary finite rank perturbation theory. A description of the absolutely continuous parts of $\boldsymbol{\mu}^\alpha$ is a rather straightforward generalization of the well-known results for the scalar case ($n=1$). The results and proofs for the singular parts of matrix-valued $\boldsymbol{\mu}^\alpha$ are more complicated than in the scalar case, and constitute the main focus of this paper. We discuss matrix-valued Aronszajn--Donoghue theory concerning the singular parts of the Clark measures, as well as Carath\'{e}odory angular derivatives of matrix-valued functions and their connections with atoms of $\boldsymbol{\mu}^\alpha$. These results are far from being straightforward extensions from the scalar case: new phenomena specific to the matrix-valued case appear here. New ideas, including the notion of directionality, are required in statements and proofs.


title: Tuning of a Class of Reset Elements Using Pseudo-Sensitivities

abstract: Currently, the demand for a better alternative to linear PID controllers is increasing due to the rising expectations of the high-tech industry. In literature, it has been shown that Constant in gain Lead in phase (CgLp) compensators, which are a type of reset element, have high potential to improve the performance of systems. Although there are few works which investigate tuning of these compensators, the high order harmonics and steady-state performances have not yet been considered in these methods. Recently, a frequencydomain framework has been developed to analyze closed-loop performances of reset control systems which includes high order harmonics. In this paper, this frequency-domain framework is combined with loop-shaping constraints to provide a reliable frequency-domain tuning method for CgLp compensators. Finally, different performance metrics of a CgLp compensator are compared with those of a PID controller on a precision positioning stage. The results show that the presented tuning method is effective, and the system with the CgLp compensator achieves superior dynamic performance to that of the PID controller.


title: The OSSS Method in Percolation Theory

abstract: In 2017, Duminil-Copin et al. introduced the OSSS method to study properties of diverse percolation models. This document aims to introduce the reader to this new method. It contains a introduction to percolation theory, then concentrates on the case of Poisson-Boolean percolation. The majority of this document is dedicated to an detailed analysis of [DRT18]. This work is the result of an internship in Summer 2019 with Jean-Baptiste Gou\'er\'e at the University of Tours.


title: Defect-related states in MAPbI$_3$ halide perovskite single crystals revealed by the photoluminescence excitation spectroscopy

abstract: The MAPbI$_3$ halide perovskite single crystals are studied at 5 K temperature using the photoluminescence excitation spectroscopy. Two non-interacting types of states are determined: bound excitons and defect-related states. Excitation of the crystal with light energy below the bound exciton resonance reveals the complex low-density defects emission, otherwise hidden by the emission of bound excitons. A way to separate these defect-related luminescence spectra is proposed, and the thorough study of this emission regime is carried out. The results of this study opens an area of low-density defects and dopants exploration in halide perovskite semiconductors.


title: Marginally jammed states of hard disks in a one-dimensional channel

abstract: We have studied a class of marginally jammed states in a system of hard disks confined in a narrow channel---a quasi-one-dimensional system---whose exponents are not those predicted by theories valid in the infinite dimensional limit. The exponent $\gamma$ which describes the distribution of small gaps takes the value $1$ rather than the infinite dimensional value $0.41269\dots$. Our work shows that there exist jammed states not found within the tiling approach of Ashwin and Bowles. The most dense of these marginal states is an unusual state of matter that is asymptotically crystalline.


title: The chemistry of cosmic dust analogues from C, C$_2$, and C$_2$H$_2$ in C-rich circumstellar envelopes

abstract: Interstellar carbonaceous dust is mainly formed in the innermost regions of circumstellar envelopes around carbon-rich asymptotic giant branch (AGB) stars. In these highly chemically stratified regions, atomic and diatomic carbon, along with acetylene are the most abundant species after H$_2$ and CO. In a previous study, we addressed the chemistry of carbon (C and C$_2$) with H$_2$ showing that acetylene and aliphatic species form efficiently in the dust formation region of carbon-rich AGBs whereas aromatics do not. Still, acetylene is known to be a key ingredient in the formation of linear polyacetylenic chains, benzene and polycyclic aromatic hydrocarbons (PAHs), as shown by previous experiments. However, these experiments have not considered the chemistry of carbon (C and C$_2$) with C$_2$H$_2$. In this work, by employing a sufficient amount of acetylene, we investigate its gas-phase interaction with atomic and diatomic carbon. We show that the chemistry involved produces linear polyacetylenic chains, benzene and other PAHs, which are observed with high abundances in the early evolutionary phase of planetary nebulae. More importantly, we have found a non-negligible amount of pure and hydrogenated carbon clusters as well as aromatics with aliphatic substitutions, both being a direct consequence of the addition of atomic carbon. The incorporation of alkyl substituents into aromatics can be rationalized by a mechanism involving hydrogen abstraction followed by methyl addition. All the species detected in gas phase are incorporated into the nanometric sized dust analogues, which consist of a complex mixture of sp, sp$^2$ and sp$^3$ hydrocarbons with amorphous morphology.


title: High-Contrast Reflection Tomography with Total-Variation Constraints

abstract: Inverse scattering is the process of estimating the spatial distribution of the scattering potential of an object by measuring the scattered wavefields around it. In this paper, we consider reflection tomography of high contrast objects that commonly occurs in ground-penetrating radar, exploration geophysics, terahertz imaging, ultrasound, and electron microscopy. Unlike conventional transmission tomography, the reflection regime is severely ill-posed since the measured wavefields contain far less spatial frequency information of the target object. We propose a constrained incremental frequency inversion framework that requires no side information from a background model of the object. Our framework solves a sequence of regularized least-squares subproblems that ensure consistency with the measured scattered wavefield while imposing total-variation and non-negativity constraints. We propose a proximal Quasi-Newton method to solve the resulting subproblem and devise an automatic parameter selection routine to determine the constraint of each subproblem. We validate the performance of our approach on synthetic low-resolution phantoms and with a mismatched forward model test on a high-resolution phantom.


title: Explicit matrix coefficients and test vectors for discrete series representations

abstract: For the discrete series representations of ${\rm GL}(n)$ over a non-archimedean local field $F$, we define a notion of functions similar to "zonal spherical functions" for unramified principal series. We prove the existence of such functions in the level $0$ case. As for unramified principal series, they give rise to explicit coefficients. We deduce a local proof of Matringe's criterion of distinction of discrete series, in the level $0$ case, for the Galois symmetric space ${\rm GL}(n,F)/{\rm GL}(n,F_0 )$, for any unramified quadratic extension $F/F_0$. We also exhibit explicit test vectors when these representations are distinguished.


title: Automatic Detection and Recognition of Individuals in Patterned Species

abstract: Visual animal biometrics is rapidly gaining popularity as it enables a non-invasive and cost-effective approach for wildlife monitoring applications. Widespread usage of camera traps has led to large volumes of collected images, making manual processing of visual content hard to manage. In this work, we develop a framework for automatic detection and recognition of individuals in different patterned species like tigers, zebras and jaguars. Most existing systems primarily rely on manual input for localizing the animal, which does not scale well to large datasets. In order to automate the detection process while retaining robustness to blur, partial occlusion, illumination and pose variations, we use the recently proposed Faster-RCNN object detection framework to efficiently detect animals in images. We further extract features from AlexNet of the animal's flank and train a logistic regression (or Linear SVM) classifier to recognize the individuals. We primarily test and evaluate our framework on a camera trap tiger image dataset that contains images that vary in overall image quality, animal pose, scale and lighting. We also evaluate our recognition system on zebra and jaguar images to show generalization to other patterned species. Our framework gives perfect detection results in camera trapped tiger images and a similar or better individual recognition performance when compared with state-of-the-art recognition techniques.


title: Comparison geometry of holomorphic bisectional curvature for Kaehler manifolds and limit spaces

abstract: We give an analog of triangle comparison for Kaehler manifolds with a lower bound on the holomorphic bisectional curvature. We show that the condition passes to noncollapsed Gromov-Hausdorff limits. We discuss tangent cones and singular Kaehler spaces.


title: Regular Tur\'an numbers of complete bipartite graphs

abstract: Let $\mathrm{rex}(n, F)$ denote the maximum number of edges in an $n$-vertex graph that is regular and does not contain $F$ as a subgraph. We give lower bounds on $\mathrm{rex}(n, F)$, that are best possible up to a constant factor, when $F$ is one of $C_4$, $K_{2,t}$, $K_{3,3}$ or $K_{s,t}$ when $t>s!$.


title: Multiple-bias sensitivity analysis using bounds

abstract: Unmeasured confounding, selection bias, and measurement error are well-known sources of bias in epidemiologic research. Methods for assessing these biases have their own limitations. Many quantitative sensitivity analysis approaches consider each type of bias individually, while more complex approaches are harder to implement or require numerous assumptions. By failing to consider multiple biases at once, researchers can underestimate -- or overestimate -- their joint impact. We show that it is possible to bound the total composite bias due to these three sources, and to use that bound to assess the sensitivity of a risk ratio to any combination of these biases. We derive bounds for the total composite bias under a variety of scenarios, providing researchers with tools to assess their total potential impact. We apply this technique to a study where unmeasured confounding and selection bias are both concerns, and to another study in which possible differential exposure misclassification and unmeasured confounding are concerns. We also show that a "multi-bias E-value" can describe the minimal strength of joint bias-parameter association necessary for an observed risk ratio to be compatible with a null causal effect (or with other pre-specified effect sizes). This may provide intuition about the relative impacts of each type of bias. The approach we describe is easy to implement with minimal assumptions, and we provide R functions to do so.


title: Coordinate sections of generic Hankel matrices

abstract: One deals with degenerations by coordinate sections of the square generic Hankel matrix over a field $k$ of characteristic zero, along with its main related structures, such as the determinant of the matrix, the ideal generated by its partial derivatives, the polar map defined by these derivatives, the Hessian matrix and the ideal of the submaximal minors of the matrix. It is proved that the polar map is dominant for any such degenerations, and not homaloidal in the generic case. The problem of whether the determinant $f$ of the matrix is a factor of the Hessian with the (Segre) expected multiplicity is considered, for which the expected lower bound of the dual variety of $V(f)$ is established.


title: Axionlike-particle generation by laser-plasma interaction

abstract: The hypothetical axion and axion-like particles, feebly coupled with photon, have not yet been found in any experiment. With the improvement of laser technique, much stronger but shorter quasi-static electric and magnetic fields can be created in laboratory using laser-plasma interaction, compared to the fields of large magnets, to help the search of axion. In this article, we discuss the feasibility of ALPs exploration using planarly or cylindrically symmetric laser-plasma fields as background and an x-ray free-electron laser as probe. Both the probe and the background fields are polarized such that the existence of ALPs in the corresponding parameter space will cause polarization rotation of the probe, which can be detected with high accuracy. Besides, a structured field in the plasma creates a tunable transverse profile for the interaction and improves the signal-to-noise ratio via phase-matching mechanism. The ALP mass discussed in this article ranges from $10^{-3}$ eV to 1 keV. Some simple schemes and estimations on ALP production and polarization rotation of probe photon are given, which reveals the possibility of future laser-plasma ALP source in laboratory.


title: A Quantum Algorithm To Locate Unknown Hashgrams

abstract: Quantum computing has evolved quickly in recent years and is showing significant benefits in a variety of fields, especially in the realm of cybersecurity. The combination of software used to locate the most frequent hashes and $n$-grams that identify malicious software could greatly benefit from a quantum algorithm. By loading the table of hashes and $n$-grams into a quantum computer we can speed up the process of mapping $n$-grams to their hashes. The first phase will be to use KiloGram to find the top-$k$ hashes and $n$-grams for a large malware corpus. From here, the resulting hash table is then loaded into a quantum simulator. A quantum search algorithm is then used search among every permutation of the entangled key and value pairs to find the desired hash value. This prevents one from having to re-compute hashes for a set of $n$-grams, which can take on average $O(MN)$ time, whereas the quantum algorithm could take $O(\sqrt{N})$ in the number of table lookups to find the desired hash values.


title: Dependence structure estimation using Copula Recursive Trees

abstract: We construct the COpula Recursive Tree (CORT) estimator: a flexible, consistent, piecewise linear estimator of a copula, leveraging the patchwork copula formalization and various piecewise constant density estimators. While the patchwork structure imposes a grid, the CORT estimator is data-driven and constructs the (possibly irregular) grid recursively from the data, minimizing a chosen distance on the copula space. The addition of the copula constraints makes usual density estimators unusable, whereas the CORT estimator is only concerned with dependence and guarantees the uniformity of margins. Refinements such as localized dimension reduction and bagging are developed, analyzed, and tested through simulated data.


title: Perfect matchings and Hamiltonicity in the Cartesian product of cycles

abstract: A pairing of a graph $G$ is a perfect matching of the complete graph having the same vertex set as $G$. If every pairing of $G$ can be extended to a Hamiltonian cycle of the underlying complete graph using only edges from $G$, then $G$ has the PH-property. A somewhat weaker property is the PMH-property, whereby every perfect matching of $G$ can be extended to a Hamiltonian cycle of $G$. In an attempt to characterise all 4-regular graphs having the PH-property, we answer a question made in 2015 by Alahmadi et al. by showing that the Cartesian product $C_p\square C_q$ of two cycles on $p$ and $q$ vertices does not have the PMH-property, except for $C_4\square C_4$ which is known to have the PH-property.


title: Review of Text Style Transfer Based on Deep Learning

abstract: Text style transfer is a hot issue in recent natural language processing,which mainly studies the text to adapt to different specific situations, audiences and purposes by making some changes. The style of the text usually includes many aspects such as morphology, grammar, emotion, complexity, fluency, tense, tone and so on. In the traditional text style transfer model, the text style is generally relied on by experts knowledge and hand-designed rules, but with the application of deep learning in the field of natural language processing, the text style transfer method based on deep learning Started to be heavily researched. In recent years, text style transfer is becoming a hot issue in natural language processing research. This article summarizes the research on the text style transfer model based on deep learning in recent years, and summarizes, analyzes and compares the main research directions and progress. In addition, the article also introduces public data sets and evaluation indicators commonly used for text style transfer. Finally, the existing characteristics of the text style transfer model are summarized, and the future development trend of the text style transfer model based on deep learning is analyzed and forecasted.


title: An almost sure invariance principle for some classes of non-stationary mixing sequences

abstract: In this note we (in particular) prove an almost sure invariance principle (ASIP) for non-stationary and uniformly bounded sequences of random variables which are exponentially fast $\phi$-mixing. The obtained rate is of order $o(V_n^{\frac14+\del})$ for an arbitrary $\del>0$, where $V_n$ is the variance of the underlying partial sums $S_n$. For certain classes of inhomogeneous Markov chains we also prove a vector-valued ASIP with similar rates.


title: Ionisation processes and laser induced periodic surface structures in dielectrics with mid-infrared femtosecond laser pulses

abstract: Irradiation of solids with ultrashort pulses and laser processing in the mid-Infrared (mid-IR) spectral region is a yet predominantly unexplored field with a large potential for a wide range of applications. In this work, laser driven physical phenomena associated with processes following irradiation of fused silica (SiO2) with ultrashort laser pulses in the mid-IR region are investigated in detail. A multiscale modelling approach is performed that correlates conditions for formation of perpendicular or parallel to the laser polarisation low spatial frequency periodic surface structures for low and high intensity mid-IR pulses (not previously explored in dielectrics at those wavelengths), respectively. Results demonstrate a remarkable domination of tunneling effects in the photoionisation rate and a strong influence of impact ionisation for long laser wavelengths. The methodology presented in this work is aimed to shed light on the fundamental mechanisms in a previously unexplored spectral area and allow a systematic novel surface engineering with strong mid-IR fields for advanced industrial laser applications.

categories: cond-mat.mtrl-sci physics.app-ph physics.comp-ph physics.flu-dyn


title: Weak Sequential Completeness of Uniform Algebras

abstract: We give a simple, elementary proof that a uniform algebra is weakly sequentially complete if and only if it is finite-dimensional.


title: A note on causality conditions on covering spacetimes

abstract: A number of techniques in Lorentzian geometry, such as those used in the proofs of singularity theorems, depend on certain smooth coverings retaining interesting global geometric properties, including causal ones. In this note we give explicit examples showing that, unlike some of the more commonly adopted rungs of the causal ladder such as strong causality or global hyperbolicity, less-utilized conditions such as causal continuity or causal simplicity do not in general pass to coverings, as already speculated by one of the authors (EM). As a consequence, any result which relies on these causality conditions transferring to coverings must be revised accordingly. In particular, some amendments in the statement and proof of a version of the Gannon-Lee singularity theorem previously given by one of us (IPCS) are also presented here that address a gap in its original proof.


title: Generating Solutions of Ricci-Based gravity theories from General Relativity

abstract: We generalize the algorithm that establishes the correspondence between metric-affine Eddington-inspired Born-Infeld (EiBI) gravity and General Relativity (GR) to any bosonic matter sector. Along the way, a polished version of the proof of existence of a metric compatible frame associated to any metric-affine Ricci-Based Gravity (RBG) is presented. Particular attention is given to the problem of generating solutions of a RBG from the GR conterpart, providing a general recipe for the EiBI case. This extends previous results obtained for specific matter that included anisotropic fluids, scalar fields and electromagnetic fields.


title: Isogenies of elliptic curves over function fields

abstract: We prove two theorems concerning isogenies of elliptic curves over function fields. The first one describes the variation of the height of the $j$-invariant in an isogeny class. The second one is an "isogeny estimate", providing an explicit bound on the degree of a minimal isogeny between two isogenous elliptic curves. We also give several corollaries of these two results.


title: Restricted maximum-likelihood method for learning latent variance components in gene expression data with known and unknown confounders

abstract: Random effect models are popular statistical models for detecting and correcting spurious sample correlations due to hidden confounders in genome-wide gene expression data. In applications where some confounding factors are known, estimating simultaneously the contribution of known and latent variance components in random effect models is a challenge that has so far relied on numerical gradient-based optimizers to maximize the likelihood function. This is unsatisfactory because the resulting solution is poorly characterized and the efficiency of the method may be suboptimal. Here we prove analytically that maximum-likelihood latent variables can always be chosen orthogonal to the known confounding factors, in other words, that maximum-likelihood latent variables explain sample covariances not already explained by known factors. Based on this result we propose a restricted maximum-likelihood method which estimates the latent variables by maximizing the likelihood on the restricted subspace orthogonal to the known confounding factors, and show that this reduces to probabilistic PCA on that subspace. The method then estimates the variance-covariance parameters by maximizing the remaining terms in the likelihood function given the latent variables, using a newly derived analytic solution for this problem. Compared to gradient-based optimizers, our method attains greater or equal likelihood values, can be computed using standard matrix operations, results in latent factors that don't overlap with any known factors, and has a runtime reduced by several orders of magnitude. Hence the restricted maximum-likelihood method facilitates the application of random effect modelling strategies for learning latent variance components to much larger gene expression datasets than possible with current methods.


title: Extremely symmetric primes

abstract: We introduce extremely symmetric primes and provide some elementary properties of these.


title: An effective local-global principle for algebraic varieties and the sum product problem in finite fields

abstract: We use recent results about linking the number of zeros on algebraic varieties over $\mathbb{C}$, defined by polynomials with integer coefficients, and on their reductions modulo sufficiently large primes to study congruences with products and reciprocals of linear forms. This allows us to make some progress towards a question of B. Murphy, G. Petridis, O. Roche-Newton, M. Rudnev and I. D. Shkredov (2019) on an extreme case of the Erd\H{o}s-Szemer\'{e}di conjecture in finite fields.


title: A short proof of the infinitesimal Hilbertianity of the weighted Euclidean space

abstract: We provide a quick proof of the following known result: the Sobolev space associated with the Euclidean space, endowed with the Euclidean distance and an arbitrary Radon measure, is Hilbert. Our new approach relies upon the properties of the Alberti-Marchese decomposability bundle. As a consequence of our arguments, we also prove that if the Sobolev norm is closable on compactly-supported smooth functions, then the reference measure is absolutely continuous with respect to the Lebesgue measure.


title: Harvesting and Refining Question-Answer Pairs for Unsupervised QA

abstract: Question Answering (QA) has shown great success thanks to the availability of large-scale datasets and the effectiveness of neural models. Recent research works have attempted to extend these successes to the settings with few or no labeled data available. In this work, we introduce two approaches to improve unsupervised QA. First, we harvest lexically and syntactically divergent questions from Wikipedia to automatically construct a corpus of question-answer pairs (named as RefQA). Second, we take advantage of the QA model to extract more appropriate answers, which iteratively refines data over RefQA. We conduct experiments on SQuAD 1.1, and NewsQA by fine-tuning BERT without access to manually annotated data. Our approach outperforms previous unsupervised approaches by a large margin and is competitive with early supervised models. We also show the effectiveness of our approach in the few-shot learning setting.


title: Centrality of odd unitary $K_2$-functor

abstract: Let $(R, \Delta)$ be an odd form algebra. We show that the unitary Steinberg group $\mathrm{StU}(R, \Delta)$ is a crossed module over the odd unitary group $\mathrm U(R, \Delta)$ in two major cases: if the odd form algebra has a free orthogonal hyperbolic family satisfying a local stable rank condition and if the odd form algebra is sufficiently isotropic and quasi-finite. The proof uses only elementary localization techniques in terms of pro-groups.


title: Freeze-in Dirac neutrinogenesis: thermal leptonic CP asymmetry

abstract: We present a freeze-in realization of the Dirac neutrinogenesis in which the decaying particle that generates the lepton-number asymmetry is in thermal equilibrium. As the right-handed Dirac neutrinos are produced non-thermally, the lepton-number asymmetry is accumulated and partially converted to the baryon-number asymmetry via the rapid sphaleron transitions. The necessary CP-violating condition can be fulfilled by a purely thermal kinetic phase from the wavefunction correction in the lepton-doublet sector, which has been neglected in most leptogenesis-based setup. Furthermore, this condition necessitates a preferred flavor basis in which both the charged-lepton and neutrino Yukawa matrices are non-diagonal. To protect such a proper Yukawa structure from the basis transformations in flavor space prior to the electroweak gauge symmetry breaking, we can resort to a plethora of model buildings aimed at deciphering the non-trivial Yukawa structures. Interestingly, based on the well-known tri-bimaximal mixing with a minimal correction from the charged-lepton or neutrino sector, we find that a simultaneous explanation of the baryon-number asymmetry in the Universe and the low-energy neutrino oscillation observables can be attributed to the mixing angle and the CP-violating phase introduced in the minimal correction.


title: BigO: A public health decision support system for measuring obesogenic behaviors of children in relation to their local environment

abstract: Obesity is a complex disease and its prevalence depends on multiple factors related to the local socioeconomic, cultural and urban context of individuals. Many obesity prevention strategies and policies, however, are horizontal measures that do not depend on context-specific evidence. In this paper we present an overview of BigO (http://bigoprogram.eu), a system designed to collect objective behavioral data from children and adolescent populations as well as their environment in order to support public health authorities in formulating effective, context-specific policies and interventions addressing childhood obesity. We present an overview of the data acquisition, indicator extraction, data exploration and analysis components of the BigO system, as well as an account of its preliminary pilot application in 33 schools and 2 clinics in four European countries, involving over 4,200 participants.


title: Training robust neural networks using Lipschitz bounds

abstract: Due to their susceptibility to adversarial perturbations, neural networks (NNs) are hardly used in safety-critical applications. One measure of robustness to such perturbations in the input is the Lipschitz constant of the input-output map defined by an NN. In this work, we propose a framework to train multi-layer NNs while at the same time encouraging robustness by keeping their Lipschitz constant small, thus addressing the robustness issue. More specifically, we design an optimization scheme based on the Alternating Direction Method of Multipliers that minimizes not only the training loss of an NN but also its Lipschitz constant resulting in a semidefinite programming based training procedure that promotes robustness. We design two versions of this training procedure. The first one includes a regularizer that penalizes an accurate upper bound on the Lipschitz constant. The second one allows to enforce a desired Lipschitz bound on the NN at all times during training. Finally, we provide two examples to show that the proposed framework successfully increases the robustness of NNs.


title: A Robust Bayesian Copas Selection Model for Quantifying and Correcting Publication Bias

abstract: The validity of conclusions from meta-analysis is potentially threatened by publication bias. Most existing procedures for correcting publication bias assume normality of the study-specific effects that account for between-study heterogeneity. However, this assumption may not be valid, and the performance of these bias correction procedures can be highly sensitive to departures from normality. Further, there exist few measures to quantify the magnitude of publication bias based on selection models. In this paper, we address both of these issues. First, we explore the use of heavy-tailed distributions for the study-specific effects within a Bayesian hierarchical framework. The deviance information criterion (DIC) is used to determine the appropriate distribution to use for conducting the final analysis. Second, we develop a new measure to quantify the magnitude of publication bias based on Hellinger distance. Our measure is easy to interpret and takes advantage of the estimation uncertainty afforded naturally by the posterior distribution. We illustrate our proposed approach through simulation studies and meta-analyses on lung cancer and antidepressants. To assess the prevalence of publication bias, we apply our method to 1500 meta-analyses of dichotomous outcomes in the Cochrane Database of Systematic Reviews. Our methods are implemented in the publicly available R package RobustBayesianCopas.


title: A Bernoulli Mixture Model to Understand and Predict Children Longitudinal Wheezing Patterns

abstract: In this research, we estimate that around $27.99(\pm2.15)\%$ of the population has experienced wheezing before turning 1 in the United Kingdom. Furthermore, the Bernoulli Mixture Model classification is found to work best with $K=4$ clusters in order to better balance the separability of the clusters with their explanatory nature, based on a cohort of $N=1184$. The probability of the group of parents in the $j$th cluster to say that their children have wheezed during the $i$th age is assumed $P_{ij} \sim \text{Beta}(1/2, 1/2)$, the probabilities of assignment to each cluster is $R \sim \text{Dirichlet}_K(\alpha)$, the assignment of the $n$th patient to each cluster is $Z_n\ |\ R \sim \text{Categorical}(R)$, and the $n$th patient wheezed during the $i$th age is $X_{in}\ |\ P_{ij}, Z_n \sim \text{Bernoulli}(P_{i,Z_n})$; where $i\in\{1,\dots,6\}$, $j\in\{1,\dots,K\}$, and $n\in\{1,\dots, N\}$. The classification is then performed through the E-M optimization algorithm. We found that this clustering method groups efficiently the patients with late-childhood wheezing, persistent wheezing, early-childhood wheezing, and none or sporadic wheezing. Furthermore, we found that this method is not dependent on the data-set, and can include data-sets with missing entries.


title: Properties of triangulated and quotient categories arising from $n$-Calabi-Yau triples

abstract: The original definition of cluster algebras by Fomin and Zelevinsky has been categorified and generalised in several ways over the course of the past 20 years, giving rise to cluster theory. This study lead to Iyama and Yang's generalised cluster categories $\mathcal{T}/\mathcal{T}^{fd}$ coming from $n$-Calabi-Yau triples $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$. In this paper, we use some classic tools of homological algebra to give a deeper understanding of such categories $\mathcal{T}/\mathcal{T}^{fd}$. Let $k$ be a field, $n\geq 3$ an integer and $\mathcal{T}$ a $k$-linear triangulated category with a triangulated subcategory $\mathcal{T}^{fd}$ and a subcategory $\mathcal{M}=\text{add}(M)$ such that $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$ is an $n$-Calabi-Yau triple. In this paper, we prove some properties of the triangulated categories $\mathcal{T}$ and $\mathcal{T}/\mathcal{T}^{fd}$. Our first result gives a relation between the Hom-spaces in these categories, using limits and colimits. Our second result is a Gap Theorem in $\mathcal{T}$, showing when the truncation triangles split. Moreover, we apply our two theorems to present an alternative proof to a result by Guo, originally stated in a more specific setup of dg $k$-algebras $A$ and subcategories of the derived category of dg $A$-modules. This proves that $\mathcal{T}/\mathcal{T}^{fd}$ is Hom-finite and $(n-1)$-Calabi-Yau, its object $M$ is $(n-1)$-cluster tilting and the endomorphism algebras of $M$ over $\mathcal{T}$ and over $\mathcal{T}/\mathcal{T}^{fd}$ are isomorphic. Note that these properties make $\mathcal{T}/\mathcal{T}^{fd}$ a generalisation of the cluster category.


title: Groupwise Multimodal Image Registration using Joint Total Variation

abstract: In medical imaging it is common practice to acquire a wide range of modalities (MRI, CT, PET, etc.), to highlight different structures or pathologies. As patient movement between scans or scanning session is unavoidable, registration is often an essential step before any subsequent image analysis. In this paper, we introduce a cost function based on joint total variation for such multimodal image registration. This cost function has the advantage of enabling principled, groupwise alignment of multiple images, whilst being insensitive to strong intensity non-uniformities. We evaluate our algorithm on rigidly aligning both simulated and real 3D brain scans. This validation shows robustness to strong intensity non-uniformities and low registration errors for CT/PET to MRI alignment. Our implementation is publicly available at https://github.com/brudfors/coregistration-njtv.


title: Learning Adaptive Exploration Strategies in Dynamic Environments Through Informed Policy Regularization

abstract: We study the problem of learning exploration-exploitation strategies that effectively adapt to dynamic environments, where the task may change over time. While RNN-based policies could in principle represent such strategies, in practice their training time is prohibitive and the learning process often converges to poor solutions. In this paper, we consider the case where the agent has access to a description of the task (e.g., a task id or task parameters) at training time, but not at test time. We propose a novel algorithm that regularizes the training of an RNN-based policy using informed policies trained to maximize the reward in each task. This dramatically reduces the sample complexity of training RNN-based policies, without losing their representational power. As a result, our method learns exploration strategies that efficiently balance between gathering information about the unknown and changing task and maximizing the reward over time. We test the performance of our algorithm in a variety of environments where tasks may vary within each episode.


title: Machine Learning and Deep Learning methods for predictive modelling from Raman spectra in bioprocessing

abstract: In chemical processing and bioprocessing, conventional online sensors are limited to measure only basic process variables like pressure and temperature, pH, dissolved O and CO$_2$ and viable cell density (VCD). The concentration of other chemical species is more difficult to measure, as it usually requires an at-line or off-line approach. Such approaches are invasive and slow compared to on-line sensing. It is known that different molecules can be distinguished by their interaction with monochromatic light, producing different profiles for the resulting Raman spectrum, depending on the concentration. Given the availability of reference measurements for the target variable, regression methods can be used to model the relationship between the profile of the Raman spectra and the concentration of the analyte. This work focused on pretreatment methods of Raman spectra for the facilitation of the regression task using Machine Learning and Deep Learning methods, as well as the development of new regression models based on these methods. In the majority of cases, this allowed to outperform conventional Raman models in terms of prediction error and prediction robustness.


title: GraCIAS: Grassmannian of Corrupted Images for Adversarial Security

abstract: Input transformation based defense strategies fall short in defending against strong adversarial attacks. Some successful defenses adopt approaches that either increase the randomness within the applied transformations, or make the defense computationally intensive, making it substantially more challenging for the attacker. However, it limits the applicability of such defenses as a pre-processing step, similar to computationally heavy approaches that use retraining and network modifications to achieve robustness to perturbations. In this work, we propose a defense strategy that applies random image corruptions to the input image alone, constructs a self-correlation based subspace followed by a projection operation to suppress the adversarial perturbation. Due to its simplicity, the proposed defense is computationally efficient as compared to the state-of-the-art, and yet can withstand huge perturbations. Further, we develop proximity relationships between the projection operator of a clean image and of its adversarially perturbed version, via bounds relating geodesic distance on the Grassmannian to matrix Frobenius norms. We empirically show that our strategy is complementary to other weak defenses like JPEG compression and can be seamlessly integrated with them to create a stronger defense. We present extensive experiments on the ImageNet dataset across four different models namely InceptionV3, ResNet50, VGG16 and MobileNet models with perturbation magnitude set to {\epsilon} = 16. Unlike state-of-the-art approaches, even without any retraining, the proposed strategy achieves an absolute improvement of ~ 4.5% in defense accuracy on ImageNet.


title: Lifetimes of Confined Optical Phonons and the Shape of a Raman Peak in Disordered Nanoparticles: I. Analytical Treatment

abstract: Microscopic description of Raman spectra in nanopowders of nonpolar crystals is accomplished by developing the theory of disorder-induced broadening of optical vibrational eigenmodes. Analytical treatment of this problem is performed, and line shape and width are determined as functions of phonon quantum numbers, nanoparticle shape, size, and the strength of disorder. The results are found to be strongly dependent on either the broadened line is separated or it is overlapped with other lines of the spectrum. Three models of disorder, i.e. weak point-like impurities, weak smooth random potential and strong rare impurities are investigated in details. The possibility to form the phonon-impurity bound state is also studied.


title: A Residual Based A Posteriori Error Estimators for AFC Schemes for Convection-Diffusion Equations

abstract: In this work, we propose a residual-based a posteriori error estimator for algebraic flux-corrected (AFC) schemes for stationary convection-diffusion equations. A global upper bound is derived for the error in the energy norm for a general choice of the limiter, which defines the nonlinear stabilization term. In the diffusion-dominated regime, the estimator has the same convergence properties as the true error. A second approach is discussed, where the upper bound is derived in a posteriori way using the Streamline Upwind Petrov Galerkin (SUPG) estimator proposed in \cite{JN13}. Numerical examples study the effectivity index and the adaptive grid refinement for two limiters in two dimensions.


title: Wave-particle duality using the Compton effect

abstract: Thought experiments based on the double-slit interferometer had a crucial role to develop ideas concerning the wave-particle duality and the Bohr's complementarity principle. Ideally, a slit with a sufficiently low mass recoils due to the passage of the photon. This motion denounces the path taken by the light and suppresses any attempt to observe an interference pattern. In real life, however, available which-way information in such a setup is significantly impaired by the typical magnitudes of photons and slits, making the verification of the effect almost impossible. Here, we extend this discussion by applying similar ideas to the Mach-Zehnder interferometer. That is, we study the consequences of the beam-splitter recoil, during the passage of the photon, over the interference pattern produced by the device. Unlike the double-slit experiment, this recoil can now be encoded in the wavelength of the photon itself, which, in principle, is more easily accessed. Fortuitously, the model used to describe the interaction between the idealized beam-splitter and the photon clearly indicates that an interferometer based on Compton's effect could be build to study wave-particle duality. We follow this hint, finding realistic experimental parameters needed to observe the trade-off between wave and corpuscular behaviors in such a modified interferometer.


title: Optimal Covid-19 Pool Testing with a priori Information

abstract: As humanity struggles to contain the global Covid-19 infection, prophylactic actions are grandly slowed down by the shortage of testing kits. Governments have taken several measures to work around this shortage: the FDA has become more liberal on the approval of Covid-19 tests in the US. In the UK emergency measures allowed to increase the daily number of locally produced test kits to 100,000. China has recently launched a massive test manufacturing program. However, all those efforts are very insufficient and many poor countries are still under threat. A popular method for reducing the number of tests consists in pooling samples, i.e. mixing patient samples and testing the mixed samples once. If all the samples are negative, pooling succeeds at a unitary cost. However, if a single sample is positive, failure does not indicate which patient is infected. This paper describes how to optimally detect infected patients in pools, i.e. using a minimal number of tests to precisely identify them, given the a priori probabilities that each of the patients is healthy. Those probabilities can be estimated using questionnaires, supervised machine learning or clinical examinations. The resulting algorithms, which can be interpreted as informed divide-and-conquer strategies, are non-intuitive and quite surprising. They are patent-free. Co-authors are listed in alphabetical order.


title: Extensions of the finite nonperiodic Toda lattices with indefinite metrics

abstract: In this paper, we firstly construct a weakly coupled Toda lattices with indefinite metrics which consist of $2N$ different coupled Hamiltonian systems. Afterwards, we consider the iso-spectral manifolds of extended tridiagonal Hessenberg matrix with indefinite metrics what is an extension of a strict tridiagonal matrix with indefinite metrics. For the initial value problem of the extended symmetric Toda hierarchy with indefinite metrics, we introduce the inverse scattering procedure in terms of eigenvalues by using the Kodama's method. In this article, according to the orthogonalization procedure of Szeg\"{o}, the relationship between the $\tau$-function and the given Lax matrix is also discussed. We can verify the results derived from the orthogonalization procedure with a simple example. After that, we construct a strongly coupled Toda lattices with indefinite metrics and derive its tau structures. At last, we generalize the weakly coupled Toda lattices with indefinite metrics to the $Z_{n}$-Toda lattices with indefinite metrics.


title: Evading the Grossman-Nir bound with $\Delta I=3/2$ new physics

abstract: Rare kaon decays with missing energy, $K\to\pi$+$E_{\rm miss}$, have received considerable attention because their rates can be calculated quite precisely within the standard model (SM), where the missing energy is carried away by an undetected neutrino-antineutrino pair. Beyond the SM, clean theoretical predictions can also be made regarding these processes. One such prediction is the so-called Grossman-Nir (GN) bound, which states that the branching fractions of the $K_L$ and $K^+$ modes must satisfy the relation $\mathcal{B}(K_L\to\pi^0$+$E_{\rm miss})\lesssim4.3\,\mathcal{B}(K^+\to\pi^+$+$E_{\rm miss})$ and applies within and beyond the SM, as long as the hadronic transitions change isospin by $\Delta I=1/2$. In this paper we extend the study of these modes to include new-physics scenarios where the missing energy is due to unobserved lepton-number-violating neutrino pairs, invisible light new scalars, or pairs of such scalars. The new interactions are assumed to arise above the electroweak scale and described by an effective field theory. We explore the possibility of violating the GN bound through $\Delta I=3/2$ contributions to the $K\to\pi$ transitions within these scenarios and find that large violations are only possible in the case where the missing energy is due to an invisible light new scalar.


title: Characterizing nonlocality of pure symmetric three-qubit states

abstract: We explore nonlocality of three-qubit pure symmetric states shared between Alice, Bob and Charlie using the Clauser-Horne-Shimony-Holt (CHSH) inequality. We make use of the elegant parametrization in the canonical form of these states, proposed by Meill and Meyer (Phys. Rev. A, 96, 062310 (2017)) based on Majorana geometric representation. The reduced two-qubit states, extracted from an arbitrary pure entangled symmetric three-qubit state do not violate the CHSH inequality and hence they are CHSH-local. However, when Alice and Bob perform a CHSH test, after conditioning over measurement results of Charlie, nonlocality of the state is revealed. We have also shown that two different families of three-qubit pure symmetric states, consisting of two and three distinct spinors (qubits) respectively, can be distinguished based on the strength of violation in the conditional CHSH nonlocality test. Furthermore, we identify six of the 46 classes of tight Bell inequalities in the three-party, two-setting, two-outcome i.e., (3,2,2) scenario (Phys. Rev. A 94, 062121 (2016)). Among the two inequivalent families of three-qubit pure symmetric states, only the states belonging to three distinct spinor class show maximum violations of these six tight Bell inequalities.