title: Toward Understanding the Origin of Asteroid Geometries: Variety in Shapes Produced by Equal-Mass Impacts

abstract: More than a half of asteroids in the main belt have irregular shapes with the ratios of the minor to major axis lengths less than 0.6. One of the mechanisms to create such shapes is collisions between asteroids. The relationship between shapes of collisional outcomes and impact conditions such as impact velocities may provide information on the collisional environments and its evolutionary stages when those asteroids are created. In this study, we perform numerical simulations of collisional destruction of asteroids with radii 50 km and subsequent gravitational reaccumulation using Smoothed Particle Hydrodynamics for elastic dynamics with self-gravity, a model of fracture of rock, and a model of friction of completely damaged rock. We systematically vary the impact velocity from 50 m/s to 400 m/s and the impact angle from 5 degrees to 45 degrees. We investigate shapes of the largest remnants resulting from collisional simulations. As a result, various shapes (bilobed, spherical, flat, elongated, and hemispherical shapes) are formed through equal-mass and low-velocity (50 - 400 m/s) impacts. We clarify a range of the impact angle and velocity to form each shape. Our results indicate that irregular shapes, especially flat shapes, of asteroids with diameters larger than 80 km are likely to be formed through similar-mass and low-velocity impacts, which are likely to occur in the primordial environment prior to the formation of Jupiter.


title: A Memory Controller with Row Buffer Locality Awareness for Hybrid Memory Systems

abstract: Non-volatile memory (NVM) is a class of promising scalable memory technologies that can potentially offer higher capacity than DRAM at the same cost point. Unfortunately, the access latency and energy of NVM is often higher than those of DRAM, while the endurance of NVM is lower. Many DRAM-NVM hybrid memory systems use DRAM as a cache to NVM, to achieve the low access latency, low energy, and high endurance of DRAM, while taking advantage of the large capacity of NVM. A key question for a hybrid memory system is what data to cache in DRAM to best exploit the advantages of each technology while avoiding the disadvantages of each technology as much as possible. We propose a new memory controller design that improves hybrid memory performance and energy efficiency. We observe that both DRAM and NVM banks employ row buffers that act as a cache for the most recently accessed memory row. Accesses that are row buffer hits incur similar latencies (and energy consumption) in both DRAM and NVM, whereas accesses that are row buffer misses incur longer latencies (and higher energy consumption) in NVM than in DRAM. To exploit this, we devise a policy that caches heavily-reused data that frequently misses in the NVM row buffers into DRAM. Our policy tracks the row buffer miss counts of recently-used rows in NVM, and caches in DRAM the rows that are predicted to incur frequent row buffer misses. Our proposed policy also takes into account the high write latencies of NVM, in addition to row buffer locality and more likely places the write-intensive pages in DRAM instead of NVM.


title: Z+jet correlation with NLO-matched parton-shower and jet-medium interaction in high-energy nuclear collisions

abstract: The impact of jet quenching on $Z^0$-tagged jets in relativistic heavy-ion collisions at the Large Hadron Collider (LHC) is investigated. We employ Sharpa Monte Carlo program that combines next-to-leading order matrix elements with matched resummation of parton shower to compute the initial $Z^0$+jet production. The Linear Boltzmann Transport (LBT) model is then used to simulate the propagation, energy attenuation of and medium response induced by jet partons in the quark-gluon plasma. With both higher-order corrections and matched soft/collinear radiation as well as a sophisticated treatment of parton energy loss and medium response in LBT, our numerical calculations can provide the best description so far of all available observables of $Z^0$+jet simultaneously in both p+p and Pb+Pb collisions, in particular, the shift of the distribution in transverse momentum asymmetry $x_{\rm jZ}=p_T^{\rm jet}/p_T^Z$, the modification of azimuthal angle correlation in $\Delta\phi_{\rm{j}Z}=|\phi_{\rm jet}-\phi_Z|$ and the overall suppression of average number of $Z^0$-tagged jets per boson $R_{\rm jZ}$ at $\sqrt s =5.02$ TeV as measured by the CMS experiment. We also show that higher-order corrections to $Z^0$+jet production play an indispensable role in understanding $Z^0$+jet azimuthal angle correlation at small and intermediate $\Delta\phi_{\rm jZ}$, and momentum imbalance at small $x_{\rm jZ}$. Jet quenching of the sub-leading jets is shown to lead to suppression of $Z^0$+jet correlation at small azimuthal angle difference $\Delta\phi_{\rm jZ}$ and at small $x_{\rm jZ}$.


title: Limit sets for convex cocompact groups in higher rank symmetric spaces

abstract: We show that every limit point of a Zariski dense discrete subgroup $\Gamma$ of the isometry group of a symmetric space of noncompact type is conical if and only if $\Gamma$ is convex cocompact.


title: High-Performance and Energy-Effcient Memory Scheduler Design for Heterogeneous Systems

abstract: When multiple processor cores (CPUs) and a GPU integrated together on the same chip share the off-chip DRAM, requests from the GPU can heavily interfere with requests from the CPUs, leading to low system performance and starvation of cores. Unfortunately, state-of-the-art memory scheduling algorithms are ineffective at solving this problem due to the very large amount of GPU memory traffic, unless a very large and costly request buffer is employed to provide these algorithms with enough visibility across the global request stream. Previously-proposed memory controller (MC) designs use a single monolithic structure to perform three main tasks. First, the MC attempts to schedule together requests to the same DRAM row to increase row buffer hit rates. Second, the MC arbitrates among the requesters (CPUs and GPU) to optimize for overall system throughput, average response time, fairness and quality of service. Third, the MC manages the low-level DRAM command scheduling to complete requests while ensuring compliance with all DRAM timing and power constraints. This paper proposes a fundamentally new approach, called the Staged Memory Scheduler (SMS), which decouples the three primary MC tasks into three significantly simpler structures that together improve system performance and fairness. Our evaluation shows that SMS provides 41.2% performance improvement and fairness improvement compared to the best previous state-of-the-art technique, while enabling a design that is significantly less complex and more power-efficient to implement.


title: Prospects for Declarative Mathematical Modeling of Complex Biological Systems

abstract: Declarative modeling uses symbolic expressions to represent models. With such expressions one can formalize high-level mathematical computations on models that would be difficult or impossible to perform directly on a lower-level simulation program, in a general-purpose programming language. Examples of such computations on models include model analysis, relatively general-purpose model-reduction maps, and the initial phases of model implementation, all of which should preserve or approximate the mathematical semantics of a complex biological model. The potential advantages are particularly relevant in the case of developmental modeling, wherein complex spatial structures exhibit dynamics at molecular, cellular, and organogenic levels to relate genotype to multicellular phenotype. Multiscale modeling can benefit from both the expressive power of declarative modeling languages and the application of model reduction methods to link models across scale. Based on previous work, here we define declarative modeling of complex biological systems by defining the operator algebra semantics of an increasingly powerful series of declarative modeling languages including reaction-like dynamics of parameterized and extended objects; we define semantics-preserving implementation and semantics-approximating model reduction transformations; and we outline a "meta-hierarchy" for organizing declarative models and the mathematical methods that can fruitfully manipulate them.


title: Edge-induced radiation force and torque on a cylindrically-radiating active acoustic source near a rigid corner-space

abstract: This work examines the physical effect of the edge-induced acoustic radiation force and torque on an acoustically radiating circular source, located near a rigid corner. Assuming harmonic (linear) radiating waves of the source, vibrating in monopole or dipole radiation modes near a rigid corner-space in a non-viscous fluid, the modal series expansion method in cylindrical coordinates, the classical method of images and the translational addition theorem are applied to obtain the mathematical expressions for the radiation force and torque components in exact closed-form partial-wave series. Computational results illustrate the theory, and examine some of the conditions where the radiation force and torque components vanish, which has the potential to achieve total motion suppression (i.e., translation or rotation). Furthermore, depending on the size parameter of the source and the distances from the rigid corner space, these physical observables take positive or negative values, anticipating the prediction of pulling/pushing motions toward the corner space, and possible spinning of the source clockwise or counter-clockwise. The present analysis and its results are useful in some applications related to the manipulation of an active carrier or ultrasound contrast agents near a corner space or chamber walls at a right angle.


title: Automatic Documentation of ICD Codes with Far-Field Speech Recognition

abstract: Documentation errors increase healthcare costs and cause unnecessary patient deaths. As the standard language for diagnoses and billing, ICD codes serve as the foundation for medical documentation worldwide. Despite the prevalence of electronic medical records, hospitals still witness high levels of ICD miscoding. In this paper, we propose to automatically document ICD codes with far-field speech recognition. Far-field speech occurs when the microphone is located several meters from the source, as is common with smart homes and security systems. Our method combines acoustic signal processing with recurrent neural networks to recognize and document ICD codes in real time. To evaluate our model, we collected a far-field speech dataset of ICD-10 codes and found our model to achieve 87% accuracy with a BLEU score of 85%. By sampling from an unsupervised medical language model, our method is able to outperform existing methods. Overall, this work shows the potential of automatic speech recognition to provide efficient, accurate, and cost-effective healthcare documentation.


title: Scale-free Resilience of Real Traffic Jams

abstract: The concept of resilience can be realized in natural and engineering systems, representing the ability of system to adapt and recover from various disturbances. Although resilience is a critical property needed for understanding and managing the risks and collapses of transportation system, an accepted and useful definition of resilience for urban traffic as well as its statistical property under perturbations is still missing. Here we define city traffic resilience based on the spatio-temporal clusters of congestion in real traffic, and find that the resilience follows a scale free distribution in two-dimensional city road networks and one-dimensional highways, with different exponents, but similar exponents in different days and different cities. The traffic resilience is also revealed to have a novel scaling relation between the cluster size of the spatio-temporal jam and its recovery duration, independent of microscopic details. Our findings of universal traffic resilience can provide indication towards better understanding and designing these complex engineering systems under internal and external disturbances.


title: A pilot survey for transients and variables with the Australian Square Kilometre Array Pathfinder

abstract: We present a pilot search for variable and transient sources at 1.4 GHz with the Australian Square Kilometre Array Pathfinder (ASKAP). The search was performed in a 30 deg$^{2}$ area centred on the NGC 7232 galaxy group over 8 epochs and observed with a near-daily cadence. The search yielded nine potential variable sources, rejecting the null hypothesis that the flux densities of these sources do not change with 99.9% confidence. These nine sources displayed flux density variations with modulation indices m $\geq 0.1$ above our flux density limit of 1.5 mJy. They are identified to be compact AGN/quasars or galaxies hosting an AGN, whose variability is consistent with refractive interstellar scintillation. We also detect a highly variable source with modulation index m $ > 0.5$ over a time interval of a decade between the Sydney University Molonglo Sky Survey (SUMSS) and our latest ASKAP observations. We find the source to be consistent with the properties of long-term variability of a quasar. No transients were detected on timescales of days and we place an upper limit $\rho < 0.01$ deg$^{2}$ with 95% confidence for non-detections on near-daily timescales. The future VAST-Wide survey with 36-ASKAP dishes will probe the transient phase space with a similar cadence to our pilot survey, but better sensitivity, and will detect and monitor rarer brighter events.


title: Non-Intrusive Signature Extraction for Major Residential Loads

abstract: The data collected by smart meters contain a lot of useful information. One potential use of the data is to track the energy consumptions and operating statuses of major home appliances.The results will enable homeowners to make sound decisions on how to save energy and how to participate in demand response programs. This paper presents a new method to breakdown the total power demand measured by a smart meter to those used by individual appliances. A unique feature of the proposed method is that it utilizes diverse signatures associated with the entire operating window of an appliance for identification. As a result, appliances with complicated middle process can be tracked. A novel appliance registration device and scheme is also proposed to automate the creation of appliance signature database and to eliminate the need of massive training before identification. The software and system have been developed and deployed to real houses in order to verify the proposed method.


title: Higher Nash Blowups of $A_3$-Singularity

abstract: We show that the $ n $-th Nash blowup of the toric surface singularity of type $ A_3 $ is singular for any $ n > 0 $. It was known that the normalization of the $ n $-th Nash blowup of a toric variety is also a toric variety associated to the Gr\"{o}bner fan of a certain ideal $ J_n $. In our case, we prove that the Gr\"{o}bner fan contains a non-regular cone. We determine minimal generators of the initial ideal of $ J_n $ with respect to a certain monomial ordering, and show that the reduced Gr\"{o}bner basis of $ J_n $ has polynomials of certain forms for each $ n $.


title: Gaia DR2 Gravitational Lens Systems I: New lensed quasar candidates around known quasars

abstract: Context. Strong gravitationally lensed quasars are among the most interesting and useful observable extragalactic phenomena. Because their study constitutes a unique tool in various fields of astronomy, they are highly sought, not without difficulty. Indeed, even in this era of all-sky surveys, their recognition remains a great challenge, with barely a few hundred currently known systems. Aims. In this work we aim to detect new strongly lensed quasar candidates in the recently published Gaia Data Release 2 (DR2), which is the highest spatial resolution astrometric and photometric all-sky survey, attaining effective resolutions from 0.4" to 2.2". Methods. We cross-matched a merged list of quasars and candidates with the Gaia DR2 and found 1,839,143 counterparts within 0.5". We then searched matches with more than two Gaia DR2 counterparts within 6". We further narrowed the resulting list using astrometry and photometry compatibility criteria between the Gaia DR2 counterparts. A supervised machine learning method, Extremely Randomized Trees, is finally adopted to assign to each remaining system a probability of being lensed. Results. We report the discovery of three quadruply-imaged quasar candidates that are fully detected in Gaia DR2. These are the most promising new quasar lens candidates from Gaia DR2 and a simple singular isothermal ellipsoid lens model is able to reproduce their image positions to within $\sim$1 mas. This letter demonstrates the gravitational lens discovery potential of Gaia.


title: Relational to RDF Data Exchange in Presence of a Shape Expression Schema

abstract: We study the relational to RDF data exchange problem, where the tar- get constraints are specified using Shape Expression schema (ShEx). We investi- gate two fundamental problems: 1) consistency which is checking for a given data exchange setting whether there always exists a solution for any source instance, and 2) constructing a universal solution which is a solution that represents the space of all solutions. We propose to use typed IRI constructors in source-to- target tuple generating dependencies to create the IRIs of the RDF graph from the values in the relational instance, and we translate ShEx into a set of target dependencies. We also identify data exchange settings that are key covered, a property that is decidable and guarantees consistency. Furthermore, we show that this property is a sufficient and necessary condition for the existence of universal solutions for a practical subclass of weakly-recursive ShEx.


title: Local weak solvability of a moving boundary problem describing swelling along a halfline

abstract: We obtain the local well-posedness of a moving boundary problem that describes the swelling of a pocket of water within an infinitely thin elongated pore. Our result involves fine a priori estimates of the moving boundary evolution, Banach fixed point arguments as well as an application of the general theory of evolution equations governed by subdifferentials.


title: Extracting morphometric information from rat sciatic nerve using optical coherence tomography

abstract: We apply three optical coherence tomography (OCT) image analysis techniques to extract morphometric information from OCT images obtained on peripheral nerves of rat. The accuracy of each technique is evaluated against histological measurements accurate to +/-1 um. The three OCT techniques are: 1) average depth resolved profile (ADRP); 2) autoregressive spectral estimation (AR-SE); and, 3) correlation of the derivative spectral estimation (CoD-SE). We introduce a scanning window to the ADRP technique which provides transverse resolution, and improves epineurium thickness estimates - with the number of analysed images showing agreement with histology increasing from 2/10 to 5/10 (Kruskal-Wallis test, {\alpha} = 0.05). A new method of estimating epineurium thickness, using the AR-SE technique, showed agreement with histology in 6/10 analysed images (Kruskal-Wallis test, {\alpha} = 0.05). Using a tissue sample in which histology identified two fascicles with an estimated difference in mean fibre diameter of 4 um, the AR-SE and CoD-SE techniques both correctly identified the fascicle with larger fibre diameter distribution but incorrectly estimated the magnitude of this difference as 0.5um. The ability of OCT signal analysis techniques to extract accurate morphometric details from peripheral nerve is promising but restricted in depth by scattering in adipose and neural tissues.


title: Collapsed speech segment detection and suppression for WaveNet vocoder

abstract: In this paper, we propose a technique to alleviate the quality degradation caused by collapsed speech segments sometimes generated by the WaveNet vocoder. The effectiveness of the WaveNet vocoder for generating natural speech from acoustic features has been proved in recent works. However, it sometimes generates very noisy speech with collapsed speech segments when only a limited amount of training data is available or significant acoustic mismatches exist between the training and testing data. Such a limitation on the corpus and limited ability of the model can easily occur in some speech generation applications, such as voice conversion and speech enhancement. To address this problem, we propose a technique to automatically detect collapsed speech segments. Moreover, to refine the detected segments, we also propose a waveform generation technique for WaveNet using a linear predictive coding constraint. Verification and subjective tests are conducted to investigate the effectiveness of the proposed techniques. The verification results indicate that the detection technique can detect most collapsed segments. The subjective evaluations of voice conversion demonstrate that the generation technique significantly improves the speech quality while maintaining the same speaker similarity.


title: A remark on convolution products for quiver Hecke algebras

abstract: In this paper, we investigate a connection between convolution products for quiver Hecke algebras and tensor products for quantum groups. We give a categorification of the natural projection $ \pi_{\lambda, \mu} : V_{\mathbb{A}}(\lambda)^\vee \otimes_{\mathbb{A}} V_\mathbb{A}(\mu)^\vee \twoheadrightarrow V_\mathbb{A}(\lambda+ \mu)^\vee $ sending the tensor product of the highest weight vectors to the highest weight vector in terms of convolution products. When the quiver Hecke algebra is symmetric and the base field is of characteristic $0$, we obtain a positivity condition on some coefficients associated with the projection $\pi_{\lambda, \mu}$ and the upper global basis, and prove several results related to the crystal bases. We then apply our results to finite type $A$ using the homogeneous simple modules $\mathcal{S}^T$ indexed by one-column tableaux $T$.


title: Generation, estimation, and protection of novel quantum states of spin systems

abstract: This thesis deals with the generation, estimation and preservation of novel quantum states of two and three qubits, on an NMR quantum information processor. Using the maximum likelihood ansatz, we have developed a method for state estimation such that the reconstructed density matrix does not have negative eigenvalues and the errors are within the space of valid density operators. Due to interactions with the environment, unwanted changes occur in the system, leading to decoherence. Controlling decoherence is one of the biggest challenges to be overcome to build quantum computers. We have used several experimental strategies to decouple the quantum system from its environment. These strategies are based on how much we know about system-environment interaction and what states we want to preserve. We first consider a case where we are aware of the system state but have no knowledge about its interaction with the environment. We demonstrate the efficacy of the super-Zeno scheme to tackle decoherence in this case. Then we consider a situation where only the subspace is known to which the system state belongs. To address such a situation we used a nested Uhrig dynamical decoupling scheme. Next, we consider situations where we have knowledge of the state of the system as well as its interaction with the environment. In such situations, since the noise model is known, decoupling strategies can be explicitly designed to cancel this noise. Using these decoupling strategies, we can experimentally extend the lifetime of time-invariant discord of two-qubit Bell-diagonal states and are also able to preserve the entanglement of three NMR qubits, to a remarkable extent.


title: optimParallel: an R Package Providing Parallel Versions of the Gradient-Based Optimization Methods of optim()

abstract: The R package optimParallel provides a parallel version of the gradient-based optimization methods of optim(). The main function of the package is optimParallel(), which has the same usage and output as optim(). Using optimParallel() can significantly reduce optimization times. We introduce the R package and illustrate its implementation, which takes advantage of the lexical scoping mechanism of R.


title: Dimensional reduction in driven disordered systems

abstract: We investigate the critical behavior of disordered systems transversely driven at a uniform and steady velocity. An intuitive argument predicts that the long-distance physics of $D$-dimensional driven disordered systems at zero temperature is the same as that of the corresponding $(D-1)$-dimensional pure systems in thermal equilibrium. This result is analogous to the well-known dimensional reduction property in thermal equilibrium, which states the equivalence between $D$-dimensional disordered systems and $(D-2)$-dimensional pure systems. To clarify the condition that the dimensional reduction holds, we perform the functional renormalization group analysis of elastic manifolds transversely driven in random media. We argue that the nonanalytic behavior in the second cumulant of the renormalized disorder leads to the breakdown of the dimensional reduction. We further found that the roughness exponent is equal to the dimensional reduction value for the single component case, but it is not for the multi-component cases.


title: Learning Optimal Reserve Price against Non-myopic Bidders

abstract: We consider the problem of learning optimal reserve price in repeated auctions against non-myopic bidders, who may bid strategically in order to gain in future rounds even if the single-round auctions are truthful. Previous algorithms, e.g., empirical pricing, do not provide non-trivial regret rounds in this setting in general. We introduce algorithms that obtain small regret against non-myopic bidders either when the market is large, i.e., no bidder appears in a constant fraction of the rounds, or when the bidders are impatient, i.e., they discount future utility by some factor mildly bounded away from one. Our approach carefully controls what information is revealed to each bidder, and builds on techniques from differentially private online learning as well as the recent line of works on jointly differentially private algorithms.


title: Summation formulas for Fox-Wright function

abstract: By means of inversion techniques and several known hypergeometric series identities, summation formulas for Fox-Wright function are explored. They give some new hypergeometric series identities when the parameters are specified.


title: Equivalent Lipschitz surrogates for zero-norm and rank optimization problems

abstract: This paper proposes a mechanism to produce equivalent Lipschitz surrogates for zero-norm and rank optimization problems by means of the global exact penalty for their equivalent mathematical programs with an equilibrium constraint (MPECs). Specifically, we reformulate these combinatorial problems as equivalent MPECs by the variational characterization of the zero-norm and rank function, show that their penalized problems, yielded by moving the equilibrium constraint into the objective, are the global exact penalization, and obtain the equivalent Lipschitz surrogates by eliminating the dual variable in the global exact penalty. These surrogates, including the popular SCAD function in statistics, are also difference of two convex functions (D.C.) if the function and constraint set involved in zero-norm and rank optimization problems are convex. We illustrate an application by designing a multi-stage convex relaxation approach to the rank plus zero-norm regularized minimization problem.


title: Superfluid weight and Berezinskii-Kosterlitz-Thouless temperature of spin-imbalanced and spin-orbit-coupled Fulde-Ferrell phases in lattice systems

abstract: We study the superfluid weight $D^s$ and Berezinskii-Kosterlitz-Thouless (BKT) transition temperatures $T_{BKT}$ in case of exotic Fulde-Ferrell (FF) superfluid states in lattice systems. We consider spin-imbalanced systems with and without spin-orbit coupling (SOC) accompanied with in-plane Zeeman field. By applying mean-field theory, we derive general equations for $D^s$ and $T_{BKT}$ in the presence of SOC and the Zeeman fields for 2D Fermi-Hubbard lattice models, and apply our results to a 2D square lattice. We show that conventional spin-imbalanced FF states without SOC can be observed at finite temperatures and that FF phases are further stabilized against thermal fluctuations by introducing SOC. We also propose how topologically non-trivial SOC-induced FF phases could be identified experimentally by studying the total density profiles. Furthermore, the relative behavior of transverse and longitudinal superfluid weight components and the role of the geometric superfluid contribution are discussed.


title: Analytical evaluation of relativistic molecular integrals. II. Computational aspect for relativistic molecular auxiliary functions

abstract: The Slater-type orbital basis with non-integer principal quantum numbers is a physically and mathematically motivated choice for molecular electronic structure calculations in both non-relativistic and relativistic theory. The non-analyticity of these orbitals at $r=0$, however, requires analytical relations for multi-center integrals to be derived. This is nearly insurmountable. Previous papers by present authors eliminated this difficulty. Highly accurate results can be achieved by the procedure described in these papers, which place no restrictions on quantum numbers in all ranges of orbital parameters. The purpose of this work is to investigate computational aspects of the formulae given in the previous paper. It is to present a method which helps to increase computational efficiency. In terms of the processing time, evaluation of integrals over Slater-type orbitals with non-integer principal quantum numbers are competitive with those over Slater-type orbitals with integer principal quantum numbers.


title: Many-body localization, thermalization, and entanglement

abstract: Thermalizing quantum systems are conventionally described by statistical mechanics at equilibrium. However, not all systems fall into this category, with many body localization providing a generic mechanism for thermalization to fail in strongly disordered systems. Many-body localized (MBL) systems remain perfect insulators at non-zero temperature, which do not thermalize and therefore cannot be described using statistical mechanics. In this Colloquium we review recent theoretical and experimental advances in studies of MBL systems, focusing on the new perspective provided by entanglement and non-equilibrium experimental probes such as quantum quenches. Theoretically, MBL systems exhibit a new kind of robust integrability: an extensive set of quasi-local integrals of motion emerges, which provides an intuitive explanation of the breakdown of thermalization. A description based on quasi-local integrals of motion is used to predict dynamical properties of MBL systems, such as the spreading of quantum entanglement, the behavior of local observables, and the response to external dissipative processes. Furthermore, MBL systems can exhibit eigenstate transitions and quantum orders forbidden in thermodynamic equilibrium. We outline the current theoretical understanding of the quantum-to-classical transition between many-body localized and ergodic phases, and anomalous transport in the vicinity of that transition. Experimentally, synthetic quantum systems, which are well-isolated from an external thermal reservoir, provide natural platforms for realizing the MBL phase. We review recent experiments with ultracold atoms, trapped ions, superconducting qubits, and quantum materials, in which different signatures of many-body localization have been observed. We conclude by listing outstanding challenges and promising future research directions.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: MacNeille completion and Buchholz' Omega rule for parameter-free second order logics

abstract: Buchholz' Omega-rule is a way to give a syntactic, possibly ordinal-free proof of cut elimination for various subsystems of second order arithmetic. Our goal is to understand it from an algebraic point of view. Among many proofs of cut elimination for higher order logics, Maehara and Okada's algebraic proofs are of particular interest, since the essence of their arguments can be algebraically described as the (Dedekind-)MacNeille completion together with Girard's reducibility candidates. Interestingly, it turns out that the $\Omega$-rule, formulated as a rule of logical inference, finds its algebraic foundation in the MacNeille completion. In this paper, we consider the parameter-free fragments LIP0, LIP1, LIP2, ... of the second order intuitionistic logic, that correspond to the arithmetical theories ID0, ID1, ID2, ... of iterated inductive definitions up to omega. In this setting, we observe a formal connection between the Omega-rule and the MacNeille completion, that leads to a way of interpreting second order quantifiers in a first order way in Heyting-valued semantics, called the Omega-interpretation. Based on this, we give an algebraic proof of cut elimination for LIPn for every n<omega that can be locally formalized in IDn. As a consequence, we obtain an equivalence between the cut elimination for LIPn and the 1-consistency of IDn that holds in a weak theory of arithmetic.


title: Staircase Network: structural language identification via hierarchical attentive units

abstract: Language recognition system is typically trained directly to optimize classification error on the target language labels, without using the external, or meta-information in the estimation of the model parameters. However labels are not independent of each other, there is a dependency enforced by, for example, the language family, which affects negatively on classification. The other external information sources (e.g. audio encoding, telephony or video speech) can also decrease classification accuracy. In this paper, we attempt to solve these issues by constructing a deep hierarchical neural network, where different levels of meta-information are encapsulated by attentive prediction units and also embedded into the training progress. The proposed method learns auxiliary tasks to obtain robust internal representation and to construct a variant of attentive units within the hierarchical model. The final result is the structural prediction of the target language and a closely related language family. The algorithm reflects a "staircase" way of learning in both its architecture and training, advancing from the fundamental audio encoding to the language family level and finally to the target language level. This process not only improves generalization but also tackles the issues of imbalanced class priors and channel variability in the deep neural network model. Our experimental findings show that the proposed architecture outperforms the state-of-the-art i-vector approaches on both small and big language corpora by a significant margin.


title: Wall-attached structures of velocity fluctuations in a turbulent boundary layer

abstract: Wall turbulence is a ubiquitous phenomenon in nature and engineering application, yet predicting such turbulence is difficult due to its complexity. High-Reynolds-number turbulence, which includes most practical flows, is particularly complicated because of its wide range of scales. Although the attached-eddy hypothesis postulated by Townsend can be used to predict turbulence intensities and serves as a unified theory for the asymptotic behaviors of turbulence, the presence of attached structures has not been confirmed.Here, we demonstrate the logarithmic region of turbulence intensity by identifying wall-attached structures of velocity fluctuations ($u_i$) through direct numerical simulation of a moderate-Reynolds-number boundary layer ($Re_\tau \approx 1000$). The wall-attached structures are self-similar with respect to their heights ($l_y$), and in particular the population density of the streamwise component ($u$) scales inversely with $l_y$, which is reminiscent of the hierarchy of attached eddies. The turbulent intensities contained within the wall-parallel components ($u$ and $w$) exhibit the logarithmic behavior. The tall attached structures ($l_y^+ > 100$) of $u$ are composed of multiple uniform momentum zones (UMZs) with a long streamwise extent, whereas those of the cross-stream components ($v$ and $w$) are relatively short with a comparable width, suggesting the presence of tall vortical structures associated with multiple UMZs. The magnitudes of the near-wall peak observed in the streamwise turbulent intensity increase with increasing $l_y$, reflecting nested hierarchies of the attached $u$ structures. These findings suggest that the identified structures are prime candidates for Townsend's attached-eddy hypothesis and serve as cornerstones for understanding the multiscale phenomena of high-Reynolds-number boundary layers.


title: Electrically tuneable nonlinear anomalous Hall effect in two-dimensional transition-metal dichalcogenides WTe2 and MoTe2

abstract: We studied the nonlinear electric response in WTe2 and MoTe2 monolayers. When the inversion symmetry is breaking but the the time-reversal symmetry is preserved, a second-order Hall effect called the nonlinear anomalous Hall effect (NLAHE) emerges owing to the nonzero Berry curvature on the nonequilibrium Fermi surface. We reveal a strong NLAHE with a Hall-voltage that is quadratic with respect to the longitudinal current. The optimal current direction is normal to the mirror plane in these two-dimensional (2D) materials. The NLAHE can be sensitively tuned by an out-of-plane electric field, which induces a transition from a topological insulator to a normal insulator. Crossing the critical transition point, the magnitude of the NLAHE increases, and its sign is reversed. Our work paves the way to discover exotic nonlinear phenomena in inversion-symmetry-breaking 2D materials.


title: Nonlinear multivalued Duffing systems

abstract: We consider a multivalued nonlinear Duffing system driven by a nonlinear nonhomogeneous differential operator. We prove existence theorems for both the convex and nonconvex problems (according to whether the multivalued perturbation is convex valued or not). Also, we show that the solutions of the nonconvex problem are dense in those of the convex (relaxation theorem). Our work extends the recent one by Kalita-Kowalski (JMAA, https://doi.org/10.1016/j.jmaa. 2018.01.067).


title: Numerical estimation of wavefront error breakdown in adaptive optics

abstract: Adaptive optics (AO) system performance is improved using post-processing techniques, such as point spread function (PSF) deconvolution. The PSF estimation involves characterization of the different wavefront (WF) error sources in the AO system. We propose a numerical error breakdown estimation tool that allows studying AO error source behavior such as their correlations. We also propose a new analytical model for anisoplanatism and bandwidth errors that were validated with the error breakdown estimation tool. This model is the first step for a complete AO residual error model that is expressed in deformable mirror space, leading to practical usage such as PSF reconstruction or turbulent parameters identification. We have developed in the computing platform for adaptive optics systems (COMPASS) code, which is an end-to-end simulation code using graphics processing units (GPU) acceleration, an estimation tool that provides a comprehensive error breakdown by the outputs of a single simulation run. We derive the various contributors from the end-to-end simulator at each iteration step: this method provides temporal buffers of each contributor. Then, we use this tool to validate a new model of anisoplanatism and bandwidth errors including their correlation. This model is based on a statistical approach that computes the error covariance matrices using structure functions. A correlation analysis shows significant correlations between some contributors, especially WF measurement deviation error and bandwidth error due to centroid gain, and the well-known correlation between bandwidth and anisoplanatism errors is also retrieved. The model we propose for the two latter errors shows an SR and EE difference of about one percent compared to the end-to-end simulation, even if some approximations exist.


title: Explaining Constraint Interaction: How to Interpret Estimated Model Parameters under Alternative Scaling Methods

abstract: In this paper, we explain the reasons behind constraint interaction, which is the phenomenon that the results of testing equality constraints may depend heavily on the scaling method used. We find that the scaling methods interfere with the testing procedures because scaling methods determine which transformations of population quantities model parameters actually estimate. We therefore also develop rules on how to correctly interpret estimates of model parameters under alternative scaling methods.


title: Wave-like blow-up for semilinear wave equations with scattering damping and negative mass term

abstract: In this paper we establish blow-up results and lifespan estimates for semilinear wave equations with scattering damping and negative mass term for subcritical power, which is the same as that of the corresponding problem without mass term, and also the same as that of the corresponding problem without both damping and mass term. For this purpose, we have to use the comparison argument twice, due to the damping and mass term, in additional to a key multiplier. Finally, we get the desired results by an iteration argument.


title: Stochastic Model Predictive Control for Autonomous Mobility on Demand

abstract: This paper presents a stochastic, model predictive control (MPC) algorithm that leverages short-term probabilistic forecasts for dispatching and rebalancing Autonomous Mobility-on-Demand systems (AMoD, i.e. fleets of self-driving vehicles). We first present the core stochastic optimization problem in terms of a time-expanded network flow model. Then, to ameliorate its tractability, we present two key relaxations. First, we replace the original stochastic problem with a Sample Average Approximation (SAA), and characterize the performance guarantees. Second, we separate the controller into two separate parts to address the task of assigning vehicles to the outstanding customers separate from that of rebalancing. This enables the problem to be solved as two totally unimodular linear programs, and thus easily scalable to large problem sizes. Finally, we test the proposed algorithm in two scenarios based on real data and show that it outperforms prior state-of-the-art algorithms. In particular, in a simulation using customer data from DiDi Chuxing, the algorithm presented here exhibits a 62.3 percent reduction in customer waiting time compared to state of the art non-stochastic algorithms.


title: Acute lymphoblastic leukemia may develop as a result of rapid transformation of a lymphoblast triggered by repeated bone-remodeling during bone-growth

abstract: Acute lymphoblastic leukemia (ALL) and chronic lymphocytic leukemia (CLL) are two major forms of leukemia that arise from lymphoid cells (LCs). ALL occurs mostly in children and CLL occurs mainly in old people. However, the Philadelphia-chromosome-positive ALL (Ph+-ALL) and the Ph-like ALL occur in both children and adults. To understand childhood leukemia/lymphoma, we have recently proposed two hypotheses on the causes and the mechanism of cell transformation of a LC. Hypothesis A is: repeated bone-remodeling during bone-growth and bone-repair may be a source of cell injuries of marrow cells including hematopoietic stem cells (HSCs), myeloid cells, and LCs. Hypothesis B is: a LC may have three pathways on transformation: a slow, a rapid, and an accelerated. We discuss in the present paper the developing mechanisms of ALL and CLL by these hypotheses. Having a peak incidence in young children, ALL may develop mainly as a result of rapid cell transformation of a lymphoblast (or pro-lymphocyte). Differently, Ph+-ALL and Ph-like ALL may develop as results of transformation of a lymphoblast via accelerated pathway. Occurring mainly in adults, CLL may be a result of transformation of a memory B-cell via slow pathway. By causing cell injuries of HSCs and LCs, repeated bone-remodeling during bone-growth and bone-repair may be related to the cell transformation of a LC. In conclusion, ALL may develop as a result of cell transformation of a lymphoblast via rapid or accelerated pathway; and repeated bone-remodeling during bone-growth may be a trigger for the cell transformation of a lymphoblast in a child.


title: Analytic and numeric computation of edge states and conductivity of a Kane-Mele nanoribbon

abstract: We compute analytic expressions for the edge states in a zigzag Kane-Mele nanoribbon (KMNR) by solving the eigenvalue equations in presence of intrinsic and Rashba spin-orbit couplings. Owing to the P-T symmetry of the Hamiltonian the edge states are protected by topological invariance and hence are found to be robust. We have done a systematic study for each of the above cases, for example, a pristine graphene, graphene with an intrinsic spin-orbit coupling, graphene with a Rashba spin-orbit coupling, a Kane-Mele nanoribbon and supported our results on the robustness of the edge states by analytic computation of the electronic probability amplitudes, the local density of states (LDOS), band structures and the conductance spectra.


title: Quantum holography with biphotons of high dimensionality

abstract: We report results of two-photon quantum holography where spatial information stored in phase holograms is retrieved by measuring quantum spatial correlations between two images formed by spatially entangled twin photons with a dimensionality of 1790 in the two-dimensional transverse space. In our experiments, the entire flux of spontaneous down converted photons illuminates the phase holograms and the photons of pairs signal-idler transmitted by the holograms are detected separately in far field on two electron-multiplying charge coupled device cameras.


title: Pediatric lymphoma may develop by "one-step" cell transformation of a lymphoid cell

abstract: Lymphomas are a large group of neoplasms developed from lymphoid cells (LCs) in lymph nodes (LNs) or lymphoid tissues (LTs). Some forms of lymphomas, including Burkitt lymphoma (BL), ALK+ anaplastic large cell lymphoma (ALK+-ALCL), and T-cell lymphoblastic lymphoma/leukemia (T-LBL), occur mainly in children and teenagers. Hodgkin's lymphoma (HL) has a peak incidence at age 20s. To understand pediatric lymphoma, we have recently proposed two hypotheses on the causes and the mechanism of cell transformation of a LC. Hypothesis A is: repeated bone-remodeling during bone-growth and bone-repair may be a source of cell injuries of marrow cells including hematopoietic stem cells (HSCs), myeloid cells, and LCs, and thymic involution may be a source of damage to the developing T-cells in thymus. Hypothesis B is: a LC may have three pathways on transformation: a slow, a rapid, and an accelerated. In this paper, we discuss pediatric lymphomas by this hypothesis. Having a peak incidence at young age, BL, T-LBL, ALK+-ALCL, and HL develop more likely as a result of rapid transformation of a LC. In BL, ALK+-ALCL, and HL, the cell transformations may be triggered by severe viral infections. In T-LBL, the cell transformation may be related to thymic involution. Occurring in both adults and children, diffuse large B-cell lymphoma (DLBCL) may develop via slow or accelerated pathway. In conclusion, pediatric lymphoma may develop as a result of "one-step" cell transformation of a LC, and severe viral infections may be the main trigger for the rapid transformation of a LC in a LN/LT.


title: A Computational Study of the Collapse of a Cloud with 12500 Gas Bubbles in a Liquid

abstract: We investigate the process of cloud cavitation collapse through large-scale simulation of a cloud composed of 12500 gas bubbles. A finite volume scheme is used on a structured Cartesian grid to solve the Euler equations, and the bubbles are discretized by a diffuse interface method. We investigate the propagation of the collapse wave front through the cloud and provide comparisons to simplified models. We analyze the flow field to identify each bubble of the cloud and its associated microjet. We find that the oscillation frequency of the bubbles and the velocity magnitude of the microjets depend on the local strength of the collapse wave and hence on the radial position of the bubbles in the cloud. At the same time, the direction of the microjets is influenced by the distribution of the bubbles in its vicinity. Finally, an analysis of the pressure pulse spectrum shows that the pressure pulse rate is well captured by an exponential law.


title: Embedding Camassa-Holm equations in incompressible Euler

abstract: In this article, we show how to embed the so-called CH2 equations into the geodesic flow of the Hdiv metric in 2D, which, itself, can be embedded in the incompressible Euler equation of a non compact Riemannian manifold. The method consists in embedding the incompressible Euler equation with a potential term coming from classical mechanics into incompressible Euler of a manifold and seeing the CH2 equation as a particular case of such fluid dynamic equation.


title: Visualizing mitochondrial FoF1-ATP synthase as the target of the immunomodulatory drug Bz-423

abstract: Targeting the mitochondrial enzyme FoF1-ATP synthase and modulating its catalytic activities with small molecules is a promising new approach for treatment of autoimmune diseases. The immuno-modulatory compound Bz-423 is such a drug that binds to subunit OSCP of the mitochondrial FoF1-ATP synthase and induces apoptosis via increased reactive oxygen production in coupled, actively respiring mitochondria. Here we review the experimental progress to reveal the binding of Bz-423 to the mitochondrial target and discuss how subunit rotation of FoF1-ATP synthase is affected by Bz-423. Briefly, we report how F\"orster resonance energy transfer (FRET) can be employed to colocalize the enzyme and the fluorescently tagged Bz-423 within the mitochondria of living cells with nanometer resolution.


title: Evidence for unresolved exoplanet-hosting binaries in Gaia DR2

abstract: This note describes an effort to detect additional stellar sources in known transiting exoplanet (TEP) systems, which are unresolved or barely resolved in the Gaia Data Release 2 (DR2) catalogue. The presence of multiple unresolved stars in photometric and spectroscopic observations of a transiting planetary system biases measurements of the planet's radius, mass, and atmospheric conditions. In addition to the effect on individual planetary systems, the presence of unresolved stars across the sample of known exoplanets biases our overall understanding of planetary systems, due to the systematic underestimation of both masses and radii. This work uses the Astrometric Goodness of Fit in the Along-Scan direction (GOF_AL) and the Astrometric Excess Noise as indicators of poorly-resolved binaries. Many known close binaries in the exoplanet host star sample have highly significant GOF_AL and Astrometric Excess Noise values, such as WASP-20AB with Astrometric Excess Noise significant at $4720\sigma$ and GOF_AL=124.


title: Development of pediatric myeloid leukemia may be related to the repeatedbone-remodeling during bone-growth

abstract: Acute myeloid leukemia (AML) and chronic myeloid leukemia (CML) are two major formsof leukemia developed from myeloid cells (MCs). To understand why AML and CML occurin children, we analyzed the causes and the mechanism of cell transformation of a MC. I. Forthe MCs in marrow cavity, repeated bone-remodeling during bone-growth may be a source ofcell injuries. II. As a type of blood cell, a MC may have higher survivability from DNAchanges and require obtaining fewer cancerous properties for cell transformation than a tissuecell. III. Point DNA mutations (PDMs) and chromosome changes (CCs) are the two majortypes of DNA changes. CCs have three subtypes by effects on a cell: great effect CCs(GECCs), mild-effect CCs (MECCs), and intermediate-effect CCs (IECCs). A GECC affectsone or more genes and can alone trigger cell transformation. PDMs/MECCs are mostly mildand can accumulate in cells. Some of the PDMs/MECCs contribute to cell transformation. AnIECC affects one or more genes and participates in cell transformation. IV. Based on II andIII, we hypothesize that a MC may have two pathways on transformation: a slow and anaccelerated. Slow pathway is driven by accumulation of PDMs/MECCs. Accelerated pathwayis driven by accumulation of PDMs/MECCs/IECC(s). A transformation via slow pathwayoccurs at old age; whereas that via accelerated pathway occurs at any age. Thus, CML andpediatric AML may develop via accelerated pathway, and adult AML may develop via bothpathways. In conclusion, pediatric AML and CML may develop as a result of transformationof a MC via accelerated pathway; and repeated bone-remodeling for bone-growth may be atrigger for the transformation of a MC in a child.


title: Hamiltonian sparsification and gap-simulations

abstract: Analog quantum simulations---simulations of one Hamiltonian by another---is one of the major goals in the noisy intermediate-scale quantum computation (NISQ) era, and has many applications in quantum complexity. We initiate the rigorous study of the physical resources required for such simulations, where we focus on the task of Hamiltonian sparsification. The goal is to find a simulating Hamiltonian $\tilde{H}$ whose underlying interaction graph has bounded degree (this is called degree-reduction) or much fewer edges than that of the original Hamiltonian $H$ (this is called dilution). We set this study in a relaxed framework for analog simulations that we call gap-simulation, where $\tilde{H}$ is only required to simulate the groundstate(s) and spectral gap of $H$ instead of its full spectrum, and we believe it is of independent interest. Our main result is a proof that in stark contrast to the classical setting, general degree-reduction is impossible in the quantum world, even under our relaxed notion of gap-simulation. The impossibility proof relies on devising counterexample Hamiltonians and applying a strengthened variant of Hastings-Koma decay of correlations theorem. We also show a complementary result where degree-reduction is possible when the strength of interactions is allowed to grow polynomially. Furthermore, we prove the impossibility of the related sparsification task of generic Hamiltonian dilution, under a computational hardness assumption. We also clarify the (currently weak) implications of our results to the question of quantum PCP. Our work provides basic answers to many of the "first questions" one would ask about Hamiltonian sparsification and gap-simulation; we hope this serves a good starting point for future research of these topics.


title: Benchmarking semiclassical approaches to strong-field QED: nonlinear Compton scattering in intense laser pulses

abstract: The recoil associated with photon emission is key to the dynamics of ultrarelativistic electrons in strong electromagnetic fields, as are found in high-intensity laser-matter interactions and astrophysical environments such as neutron star magnetospheres. When the energy of the photon becomes comparable to that of the electron, it is necessary to use quantum electrodynamics (QED) to describe the dynamics accurately. However, computing the appropriate scattering matrix element from strong-field QED is not generally possible due to multiparticle effects and the complex structure of the electromagnetic fields. Therefore these interactions are treated semiclassically, coupling probabilistic emission events to classical electrodynamics using rates calculated in the locally constant field approximation. Here we provide comprehensive benchmarking of this approach against the exact QED calculation for nonlinear Compton scattering of electrons in an intense laser pulse. We find agreement at the percentage level between the photon spectra, as well as between the models' predictions of absorption from the background field, for normalized amplitudes $a_0 > 5$. We discuss possible routes towards improved numerical methods and the implications of our results for the study of QED cascades.


title: A Subquadratic Algorithm for 3XOR

abstract: Given a set $X$ of $n$ binary words of equal length $w$, the 3XOR problem asks for three elements $a, b, c \in X$ such that $a \oplus b=c$, where $ \oplus$ denotes the bitwise XOR operation. The problem can be easily solved on a word RAM with word length $w$ in time $O(n^2 \log{n})$. Using Han's fast integer sorting algorithm (2002/2004) this can be reduced to $O(n^2 \log{\log{n}})$. With randomization or a sophisticated deterministic dictionary construction, creating a hash table for $X$ with constant lookup time leads to an algorithm with (expected) running time $O(n^2)$. At present, seemingly no faster algorithms are known. We present a surprisingly simple deterministic, quadratic time algorithm for 3XOR. Its core is a version of the Patricia trie for $X$, which makes it possible to traverse the set $a \oplus X$ in ascending order for arbitrary $a\in \{0, 1\}^{w}$ in linear time. Furthermore, we describe a randomized algorithm for 3XOR with expected running time $O(n^2\cdot\min\{\log^3{w}/w, (\log\log{n})^2/\log^2 n\})$. The algorithm transfers techniques to our setting that were used by Baran, Demaine, and P\u{a}tra\c{s}cu (2005/2008) for solving the related int3SUM problem (the same problem with integer addition in place of binary XOR) in expected time $o(n^2)$. As suggested by Jafargholi and Viola (2016), linear hash functions are employed. The latter authors also showed that assuming 3XOR needs expected running time $n^{2-o(1)}$ one can prove conditional lower bounds for triangle enumeration just as with 3SUM. We demonstrate that 3XOR can be reduced to other problems as well, treating the examples offline SetDisjointness and offline SetIntersection, which were studied for 3SUM by Kopelowitz, Pettie, and Porat (2016).


title: Imputation of mixed data with multilevel singular value decomposition

abstract: Statistical analysis of large data sets offers new opportunities to better understand many processes. Yet, data accumulation often implies relaxing acquisition procedures or compounding diverse sources. As a consequence, such data sets often contain mixed data, i.e. both quantitative and qualitative and many missing values. Furthermore, aggregated data present a natural \textit{multilevel} structure, where individuals or samples are nested within different sites, such as countries or hospitals. Imputation of multilevel data has therefore drawn some attention recently, but current solutions are not designed to handle mixed data, and suffer from important drawbacks such as their computational cost. In this article, we propose a single imputation method for multilevel data, which can be used to complete either quantitative, categorical or mixed data. The method is based on multilevel singular value decomposition (SVD), which consists in decomposing the variability of the data into two components, the between and within groups variability, and performing SVD on both parts. We show on a simulation study that in comparison to competitors, the method has the great advantages of handling data sets of various size, and being computationally faster. Furthermore, it is the first so far to handle mixed data. We apply the method to impute a medical data set resulting from the aggregation of several data sets coming from different hospitals. This application falls in the framework of a larger project on Trauma patients. To overcome obstacles associated to the aggregation of medical data, we turn to distributed computation. The method is implemented in an R package.


title: A Linear-Time Approximation Algorithm for the Orthogonal Terrain Guarding Problem

abstract: In this paper, we consider the 1.5-dimensional orthogonal terrain guarding problem. In this problem, we assign an x-monotone chain T because each edge is either horizontal or vertical, and determine the minimal number of vertex guards for all vertices of T. A vertex vi sees a point p on T if the line segment connecting vi to p is on or above T. We provide an optimal algorithm with O(n) for a subproblem of the orthogonal terrain guarding problem. In this subproblem, we determine the minimal number of vertex guards for all right(left) convex verteices of T. Finally, we provide a 2-approximation algorithm that solves the 1.5-dimensional orthogonal terrain guarding problem in O(n).


title: Fundamentals of Parameterized Complexity Revisited

abstract: Flum and Grohe define a parameter (parameterization) as a function $\kappa$ which maps words over a given alphabet to natural numbers. They require such functions to be polynomial-time computable. We show how this technical restriction can be lifted without breaking the theory. More specifically, instead of $\kappa$ we consider the set of languages that it bounds as parameterization and define the basic notions of parameterized complexity in terms of promise problems, which completely replace slices. One advantage of this formalization is that it becomes possible to interpret any complexity-theoretic concept which can be considered on a restricted set of inputs as a parameterized concept. Moreover, this formalization provides a unified way to apply the parameterization paradigm to other kinds of complexity such as enumeration or approximation by simply defining promise problems.


title: BPS operators in $\mathcal{N}=4$ $SO(N)$ super Yang-Mills theory: plethysms, dominoes and words

abstract: Permutations and associated algebras allow the construction of half and quarter BPS operators in maximally supersymmetric Yang Mills theory with $U(N)$, $SO(N)$ and $Sp(N) $ gauge groups. The construction leads to bases for the operators, labelled by Young diagrams and associated group theory data, which have been shown to be orthogonal under the inner product defined by the free field two-point functions. In this paper, we study in detail the orientifold projection map between the Young diagram basis for $U(N)$ theories and the Young diagram basis for $ SO(N)$ (and $ Sp(N)$) half-BPS operators. We find a simple connection between this map and the plethystic refinement of the Littlewood Richardson coefficients which couple triples of Young diagrams where two of them are identical. This plethystic refinement is known to be computable using an algorithm based on domino tilings of Young diagrams. We discuss the domino combinatorics of the orientifold projection map in terms of giant graviton branes. The permutation construction of $SO(N)$ operators is used to find large N generating functions. The structure of these generating functions is elucidated using the combinatorics of words, organised according to their periodicity. Aperiodic words in the $U(N)$ theory are Lyndon words and an $SO(N)$ analogue of Lyndon words is defined using a minimal periodicity condition. We calculate the normalization factor for the orthogonal basis of Young diagram operators in the baryonic sector of $SO(N)$.


title: Colouring $(P_r+P_s)$-Free Graphs

abstract: The $k$-Colouring problem is to decide if the vertices of a graph can be coloured with at most $k$ colours for a fixed integer $k$ such that no two adjacent vertices are coloured alike. If each vertex u must be assigned a colour from a prescribed list $L(u) \subseteq \{1,\cdots, k\}$, then we obtain the List $k$-Colouring problem. A graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. We continue an extensive study into the complexity of these two problems for $H$-free graphs. The graph $P_r+P_s$ is the disjoint union of the $r$-vertex path $P_r$ and the $s$-vertex path $P_s$. We prove that List $3$-Colouring is polynomial-time solvable for $(P_2+P_5)$-free graphs and for $(P_3+P_4)$-free graphs. Combining our results with known results yields complete complexity classifications of $3$-Colouring and List $3$-Colouring on $H$-free graphs for all graphs $H$ up to seven vertices.


title: Shape and size dependence of dipolar plasmonic resonance of nanoparticles

abstract: The aim of this paper is to present a new approach, based on singular volume integral equations, in order to compute the size dependency of plasmonic resonances. The paper also provides rigorous derivations of the extinction and absorption cross sections for elliptical particles.


title: Magneto-Stark-effect of yellow excitons in cuprous oxide

abstract: We investigate and compare experimental and numerical excitonic spectra of the yellow series in cuprous oxide Cu$_2$O in the Voigt configuration and thus partially extend the results from Schweiner et al. [Phys. Rev. B 95, 035202 (2017)], who only considered the Faraday configuration. The main difference between the configurations is given by an additional effective electric field in the Voigt configuration, caused by the motion of the exciton through the magnetic field. This Magneto-Stark effect was already postulated by Gross et al. and Thomas et al. in 1961 [Sov. Phys. Solid State 3, 221 (1961); Phys. Rev. 124, 657 (1961)]. Group theoretical considerations show that the field most of all significantly increases the number of allowed lines by decreasing the symmetry of the system. This conclusion is supported by both the experimental and numerical data.


title: Connectivity and edge-bipancyclicity of hamming shell

abstract: An Any graph obtained by deleting a Hamming code of length n from a n-cube Qn is called as a Hamming shell. It is well known that a Hamming shell is vertex-transitive, edge-transitive, distance preserving. Moreover, it is Hamiltonian and connected. In this paper, we prove that a Hamming shell is edge-bipancyclic and (n-1)-connected.


title: Biaxial strain in atomically thin transition metal dichalcogenides

abstract: Strain engineering in single-layer semiconducting transition metal dichalcogenides aims to tune their bandgap energy and to modify their optoelectronic properties by the application of external strain. In this paper we study transition metal dichalcogenides monolayers deposited on polymeric substrates under the application of biaxial strain, both tensile and compressive. We can control the amount of biaxial strain applied by letting the substrate thermally expand or compress by changing the substrate temperature. After modelling the substrate-dependent strain transfer process with a finite elements simulation, we performed micro-differential spectroscopy of four transition metal dichalcogenides monolayers (MoS2, MoSe2, WS2, WSe2) under the application of biaxial strain and measured their optical properties. For tensile strain we observe a redshift of the bandgap that reaches a value as large as 94 meV/% in the case of single-layer WS2 deposited on polypropylene. The observed bandgap shifts as a function of substrate extension/compression follow the order WS2 > WSe2 > MoS2 > MoSe2.


title: Flag structures on real 3-manifolds

abstract: We define flag structures on a real three manifold M as the choice of two complex lines on the complexified tangent space at each point of M. We suppose that the plane field defined by the complex lines is a contact plane and construct an adapted connection on an appropriate principal bundle. This includes path geometries and CR structures as special cases. We prove that the null curvature models are given by totally real submanifolds in the flag space SL(3, C)/B, where B is the subgroup of upper triangular matrices. We also define a global invariant which is analogous to the Chern-Simons secondary class invariant for three manifolds with a Riemannian structure and to the Burns-Epstein invariant in the case of CR structures. It turns out to be constant on homotopy classes of totally real immersions in flag space.


title: VLC Systems with Fixed-Rate Transmissions under Statistical Queueing Constraints

abstract: Cross-layer analysis has been gaining an increasing attention as a powerful tool to study and assess different quality-of-service (QoS) mechanisms in wireless networks. Regarding the physical and data-link layers, in this paper we provide a cross-layer study for visible light communication (VLC) systems operating under statistical QoS constraints, which are inflicted as limits on the delay violation and buffer overflow probabilities. We assume that the VLC access point (AP) is unaware of the channel conditions, thus the AP sends the data at a fixed rate. Under this assumption, and considering an ON-OFF data source, we employ the maximum average data arrival rate at the AP buffer and the non-asymptotic bounds on buffering delay as the main performance measures. Through numerical results, we illustrate the impacts of different physical and data-link parameters on the system performance.


title: Regularization of self inductance

abstract: We introduce several methods to define the self-inductance of a single loop as the regularization of divergent integrals which we obtain by applying Neumann (or Weber) formula for the mutual inductance of a pair of loops to the case when two loops are identical.


title: Functional calculus of operators with heat kernel bounds on non-doubling manifolds with ends

abstract: Let $\Delta$ be the Laplace--Beltrami operator acting on a non-doubling manifold with two ends $\mathbb R^m \sharp \mathcal R^n$ with $m > n \ge 3$. Let $\frak{h}_t(x,y)$ be the kernels of the semigroup $e^{-t\Delta}$ generated by $\Delta$. We say that a non-negative self-adjoint operator $L$ on $L^2(\mathbb R^m \sharp \mathcal R^n)$ has a heat kernel with upper bound of Gaussian type if the kernel $h_t(x,y)$ of the semigroup $e^{-tL}$ satisfies $ h_t(x,y) \le C \frak{h}_{\alpha t}(x,y)$ for some constants $C$ and $\alpha$. This class of operators includes the Schr\"odinger operator $L = \Delta + V$ where $V$ is an arbitrary non-negative potential. We then obtain upper bounds of the Poisson semigroup kernel of $L$ together with its time derivatives and use them to show the weak type $(1,1)$ estimate for the holomorphic functional calculus $\frak{M}(\sqrt{L})$ where $\frak{M}(z)$ is a function of Laplace transform type. Our result covers the purely imaginary powers $L^{is}, s \in \mathbb R$, as a special case and serves as a model case for weak type $(1,1)$ estimates of singular integrals with non-smooth kernels on non-doubling spaces.


title: Identities in unitriangular and gossip monoids

abstract: We establish a criterion for a semigroup identity to hold in the monoid of $n \times n$ upper unitriangular matrices with entries in a commutative semiring $S$. This criterion is combinatorial modulo the arithmetic of the multiplicative identity element of $S$. In the case where $S$ is idempotent, the generated variety is the variety $\mathbf{J_{n-1}}$, which by a result of Volkov is generated by any one of: the monoid of unitriangular Boolean matrices, the monoid $R_n$ of all reflexive relations on an $n$ element set, or the Catalan monoid $C_n$. We propose $S$-matrix analogues of these latter two monoids in the case where $S$ is an idempotent semiring whose multiplicative identity element is the `top' element with respect to the natural partial order on $S$, and show that each generates $\mathbf{J_{n-1}}$. As a consequence we obtain a complete solution to the finite basis problem for lossy gossip monoids.


title: The Tensor Track V: Holographic Tensors

abstract: We review the fast developing subject of tensor models for the NAdS$_2$/NCFT$_1$ holographic correspondence. We include a brief review of the Sachdev-Ye-Kitaev (SYK) model and then focus on the associated quantum mechanical tensor models (GW and CTKT). We examine their main features and how they compare with SYK. To end, we discuss different extensions: the large $D$ limit of matrix-tensor models, the large $N$ expansion of symmetric/antisymmetric tensors, the use of probes, the construction of a bilocal action for tensors, some attempts to extend the above models to higher dimensions and a proposal to break the tensor symmetry.


title: A complexity dichotomy for Matching Cut in (bipartite) graphs of fixed diameter

abstract: In a graph, a matching cut is an edge cut that is a matching. Matching Cut is the problem of deciding whether or not a given graph has a matching cut, which is known to be NP-complete even when restricted to bipartite graphs. It has been proved that Matching Cut is polynomially solvable for graphs of diameter two. In this paper, we show that, for any fixed integer $d\ge 3$, Matching Cut is NP-complete in the class of graphs of diameter $d$. This resolves an open problem posed by Borowiecki and Jesse-J\'ozefczyk in [Matching cutsets in graphs of diameter $2$, Theoretical Computer Science 407 (2008) 574-582]. We then show that, for any fixed integer $d\ge 4$, Matching Cut is NP-complete even when restricted to the class of bipartite graphs of diameter $d$. Complementing the hardness results, we show that Matching Cut is polynomial-time solvable in the class of bipartite graphs of diameter at most three, and point out a new and simple polynomial-time algorithm solving Matching Cut in graphs of diameter $2$.


title: The space of coset partitions of $F_n$ and Herzog-Sch\"onheim conjecture

abstract: Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Sch\"onheim conjectured that if $\{H_i\alpha_i\}_{i=1}^{i=s}$, $\alpha_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Sch\"onheim conjecture for free groups of finite rank. We define $Y$ the space of coset partitions of $F_n$ and show $Y$ is a metric space with interesting properties. In a previous paper, we gave some sufficient conditions on the coset partition of $F_n$ that ensure the conjecture is satisfied. Here, we show that each coset partition of $F_n$, which satisfies one of these conditions, has a neighborhood $U$ in $Y$ such that all the partitions in $U$ satisfy also the conjecture.


title: Electrostatic potential variations on stellarator magnetic surfaces in low collisionality regimes

abstract: The component of the neoclassical electrostatic potential that is non-constant on the magnetic surface, that we denote by $\tilde\varphi$, can affect radial transport of highly charged impurities, and this has motivated its inclusion in some modern neoclassical codes. The number of neoclassical simulations in which $\tilde\varphi$ is calculated is still scarce, partly because they are usually demanding in terms of computational resources, especially at low collisionality. In this paper the size, the scaling with collisionality and with aspect ratio, and the structure of $\tilde\varphi$ on the magnetic surface are analytically derived in the $1/\nu$, $\sqrt{\nu}$ and superbanana-plateau regimes of stellarators close to omnigeneity; i. e. stellarators that have been optimized for neoclassical transport. It is found that the largest $\tilde\varphi$ that the neoclassical equations admit scales linearly with the inverse aspect ratio and with the size of the deviation from omnigeneity. Using a model for a perturbed omnigeneous configuration, the analytical results are verified and illustrated with calculations by the code KNOSOS. The techniques, results and numerical tools employed in this paper can be applied to neoclassical transport problems in tokamaks with broken axisymmetry.


title: Fast and scalable learning of neuro-symbolic representations of biomedical knowledge

abstract: In this work we address the problem of fast and scalable learning of neuro-symbolic representations for general biological knowledge. Based on a recently published comprehensive biological knowledge graph (Alshahrani, 2017) that was used for demonstrating neuro-symbolic representation learning, we show how to train fast (under 1 minute) log-linear neural embeddings of the entities. We utilize these representations as inputs for machine learning classifiers to enable important tasks such as biological link prediction. Classifiers are trained by concatenating learned entity embeddings to represent entity relations, and training classifiers on the concatenated embeddings to discern true relations from automatically generated negative examples. Our simple embedding methodology greatly improves on classification error compared to previously published state-of-the-art results, yielding a maximum increase of $+0.28$ F-measure and $+0.22$ ROC AUC scores for the most difficult biological link prediction problem. Finally, our embedding approach is orders of magnitude faster to train ($\leq$ 1 minute vs. hours), much more economical in terms of embedding dimensions ($d=50$ vs. $d=512$), and naturally encodes the directionality of the asymmetric biological relations, that can be controlled by the order with which we concatenate the embeddings.


title: Deviation equation in Riemann-Cartan spacetime

abstract: We derive a generalized deviation equation in Riemann-Cartan spacetime. The equation describes the dynamics of the connecting vector which links events on two general adjacent world lines. Our result is valid for any theory in a Riemann-Cartan background, in particular, it is applicable to a large class of gravitational theories which go beyond the general relativistic framework.


title: An existence result for dissipative nonhomogeneous hyperbolic equations via a minimization approach

abstract: We discuss a purely variational approach to the study of a wide class of second order nonhomogeneous dissipative hyperbolic PDEs. Precisely, we focus on the wave-like equations that present also a nonzero source term and a first-order-in-time linear term. The paper carries on the research program initiated in (Serra&Tilli'12), and developed in (Serra&Tilli'16), (Tentarelli&Tilli '18), on the De Giorgi approach to hyperbolic equations.


title: High-concurrence time-bin entangled photon pairs from optimized Bragg-reflection waveguides

abstract: Semiconductor Bragg-reflection waveguides are well-established sources of correlated photon pairs as well as promising candidates for building up integrated quantum optics devices. Here, we use such a source with optimized non-linearity for preparing time-bin entangled photons in the telecommunication wavelength range. By taking advantage of pulsed state preparation and efficient free-running single-photon detection, we drive our source at low pump powers, which results in a strong photon-pair correlation. The tomographic reconstruction of the state's density matrix reveals that our source exhibits a high degree of entanglement. We extract a concurrence of $88.9\pm 1.8\%$ and a fidelity of $94.2 \pm 0.9\%$ with respect to a Bell state.


title: Demand-Weighted Completeness Prediction for a Knowledge Base

abstract: In this paper we introduce the notion of Demand-Weighted Completeness, allowing estimation of the completeness of a knowledge base with respect to how it is used. Defining an entity by its classes, we employ usage data to predict the distribution over relations for that entity. For example, instances of person in a knowledge base may require a birth date, name and nationality to be considered complete. These predicted relation distributions enable detection of important gaps in the knowledge base, and define the required facts for unseen entities. Such characterisation of the knowledge base can also quantify how usage and completeness change over time. We demonstrate a method to measure Demand-Weighted Completeness, and show that a simple neural network model performs well at this prediction task.


title: Effect of noncommutativity on the spectrum of free particle and harmonic oscillator in rotationally invariant noncommutative phase space

abstract: We consider rotationally invariant noncommutative algebra with tensors of noncommutativity constructed with the help of additional coordinates and momenta. The algebra is equivalent to well known noncommutative algebra of canonical type. In the noncommutative phase space with rotational symmetry influence of noncommutativity on the spectrum of free particle and spectrum of harmonic oscillator is studied up to the second order in the parameters of noncommutativity. We find that because of momentum noncommutativity the spectrum of free particle is discrete and corresponds to the spectrum of harmonic oscillator in the ordinary space (space with commutative coordinates and commutative momenta). We obtain the spectrum of the harmonic oscillator in the rotationally invariant noncommutative phase space and conclude that noncommutativity of coordinates affects on its mass. The frequency of the oscillator is affected by the coordinate noncommutativity and the momentum noncommutativity. On the basis of the results, the eigenvalues of squared length operator are found and restrictions on the value of length in noncommutative phase space with rotational symmetry are analyzed.


title: A Merit Function Approach for Evolution Strategies

abstract: In this paper, we extend a class of globally convergent evolution strategies to handle general constrained optimization problems. The proposed framework handles relaxable constraints using a merit function approach combined with a specific restoration procedure. The unrelaxable constraints in our framework, when present, are treated either by using the extreme barrier function or through a projection approach. The introduced extension guaranties to the regarded class of evolution strategies global convergence properties for first order stationary constraints. Preliminary numerical experiments are carried out on a set of known test problems as well as on a multidisciplinary design optimization problem


title: Coronal mass ejections as a new indicator of the active Sun

abstract: Coronal mass ejections (CMEs) have become one of the key indicators of solar activity, especially in terms of the consequences of the transient events in the heliosphere. Although CMEs are closely related to the sunspot number (SSN), they are also related to other closed magnetic regions on the Sun such as quiescent filament regions. This makes CMEs a better indicator of solar activity. While sunspots mainly represent the toroidal component of solar magnetism, quiescent filaments (and hence CMEs associated with them) connect the toroidal and poloidal components via the rush-to-the-pole (RTTP) phenomenon. Taking the end of RTTP in each hemisphere as an indicator of solar polarity reversal, it is shown that the north-south reversal asymmetry has a quasi-periodicity of 3-5 solar cycles. Focusing on the geospace consequences of CMEs, it is shown that the maximum CME speeds averaged over Carrington rotation period show good correlation with geomagnetic activity indices such as Dst and aa.


title: Sign inversion in the terahertz photoconductivity of single-walled carbon nanotube films

abstract: In recent years, there have been conflicting reports regarding the ultrafast photoconductive response of films of single walled carbon nanotubes (CNTs), which apparently exhibit photoconductivities that can differ even in sign. Here, we observe explicitly that the THz photoconductivity of CNT films is a highly variable quantity which correlates with the length of the CNTs, while the chirality distribution has little influence. Moreover, by comparing the photo-induced change in THz conductivity with heat-induced changes, we show that both occur primarily due to heat-generated modification of the Drude electron relaxation rate, resulting in a broadening of the plasmonic resonance present in finite-length metallic and doped semiconducting CNTs. This clarifies the nature of the photo-response of CNT films and demonstrates the need to carefully consider the geometry of the CNTs, specifically the length, when considering them for application in optoelectronic devices.


title: Deterministic walks in random environment

abstract: Motivated by the random Lorentz gas, we study deterministic walks in random environment and show that (in simple, yet relevant, cases) they can be reduced to a class of random walks in random environment where the jump probability depends (weakly) on the past. In addition, we prove few basic results (hopefully the germ of a general theory) on the latter, purely probabilistic, model.


title: Experimental Verification and Analysis of Dynamic Loop Scheduling in Scientific Applications

abstract: Scientific applications are often irregular and characterized by large computationally-intensive parallel loops. Dynamic loop scheduling (DLS) techniques improve the performance of computationally-intensive scientific applications via load balancing of their execution on high-performance computing (HPC) systems. Identifying the most suitable choices of data distribution strategies, system sizes, and DLS techniques which improve the performance of a given application, requires intensive assessment and a large number of exploratory native experiments (using real applications on real systems), which may not always be feasible or practical due to associated time and costs. In such cases, simulative experiments are more appropriate for studying the performance of applications. This motivates the question of How realistic are the simulations of executions of scientific applications using DLS on HPC platforms? In the present work, a methodology is devised to answer this question. It involves the experimental verification and analysis of the performance of DLS in scientific applications. The proposed methodology is employed for a computer vision application executing using four DLS techniques on two different HPC plat- forms, both via native and simulative experiments. The evaluation and analysis of the native and simulative results indicate that the accuracy of the simulative experiments is strongly influenced by the approach used to extract the computational effort of the application (FLOP- or time-based), the choice of application model representation into simulation (data or task parallel), and the available HPC subsystem models in the simulator (multi-core CPUs, memory hierarchy, and network topology). The minimum and the maximum percent errors achieved between the native and the simulative experiments are 0.95% and 8.03%, respectively.


title: Lifting Coalgebra Modalities and $\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories

abstract: A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\mathsf{MELL}$), known as a \emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known as a linear exponential comonad). Inspired by Blute and Scott's work on categories of modules of Hopf algebras as models of linear logic, we study categories of algebras of monads (also known as Eilenberg-Moore categories) as models of $\mathsf{MELL}$. We define a $\mathsf{MELL}$ lifting monad on a linear category as a Hopf monad -- in the Brugui{\`e}res, Lack, and Virelizier sense -- with a special kind of mixed distributive law over the monoidal coalgebra modality. As our main result, we show that the linear category structure lifts to the category of algebras of $\mathsf{MELL}$ lifting monads. We explain how groups in the category of coalgebras of the monoidal coalgebra modality induce $\mathsf{MELL}$ lifting monads and provide a source for such groups from enrichment over abelian groups. Along the way we also define mixed distributive laws of symmetric comonoidal monads over symmetric monoidal comonads and lifting differential category structure.


title: Complex Berry phase instability in PT-symmetric coupled waveguides

abstract: We show that the analogue of the geometric phase for non-Hermitian coupled waveguides with PT-symmetry and at least one periodically varying parameter can be purely imaginary, and will consequently result in the manifestation of an instability in the system. The instability peaks seen in the spectrum of the system's eigenstates after evolution along the waveguides can be directly mapped to the spectrum of the derivative of the geometric function. The instabilities are magnified as the exceptional point of the system is approached, and non-adiabatic effects begin to appear. As the system cannot evolve adiabatically in the vicinity of the exceptional point, PT-symmetry will be observed breaking earlier than theoretically predicted.


title: Analytic Analysis of Narrowband IoT Coverage Enhancement Approaches

abstract: The introduction of Narrowband Internet of Things (NB-IoT) as a cellular IoT technology aims to support massive Machine-Type Communications applications. These applications are characterized by massive connections from a large number of low-complexity and low-power devices. One of the goals of NB-IoT is to improve coverage extension beyond existing cellular technologies. In order to do that, NB-IoT introduces transmission repetitions and different bandwidth allocation configurations in uplink. These new transmission approaches yield many transmission options in uplink. In this paper, we propose analytical expressions that describe the influence of these new approaches in the transmission. Our analysis is based on the Shannon theorem. The transmission is studied in terms of the required Signal to Noise Ratio, bandwidth utilization, and energy per transmitted bit. Additionally, we propose an uplink link adaptation algorithm that contemplates these new transmission approaches. The conducted evaluation summarizes the influence of these approaches. Furthermore, we present the resulting uplink link adaptation from our proposed algorithm sweeping the device's coverage.


title: Uncertainty-Reality Complementarity and Entropic Uncertainty Relations

abstract: Reality of quantum observables, a feature of long-standing interest within foundations of quantum mechanics, has recently been quantified and deeply studied by means of entropic measures [Phys. Rev. A 97, 022107 (2018)]. However, there is no state-independent "reality trade-off" between noncommuting observables, as in certain systems all observables are real [Europhys. Lett. 112, 40005 (2015)]. We show that the entropic uncertainty relation in the presence of quantum memory [Nature Phys. 6, 659 (2010)] perfectly supplements the discussed notion of reality, rendering trade-offs between reality and quantum uncertainty. State-independent complementarity inequalities involving entropic measures of both, uncertainty and reality, for two observables are presented.


title: WAAW Csound

abstract: This paper describes Web Assembly Audio Worklet (WAAW) Csound, one of the implementations of WebAudio Csound. We begin by introducing the background to this current implementation, stemming from the two first ports of Csound to the web platform using Native Clients and asm.js. The technology of Web Assembly is then introduced and discussed in its more relevant aspects. The AudioWorklet interface of Web Audio API is explored, together with its use in WAAW Csound. We complement this discussion by considering the overarching question of support for multiple platforms, which implement different versions of Web Audio. Some initial examples of the system are presented to illustrate various potential applications. Finally, we complement the paper by discussing current issues that are fundamental for this project and others that rely on the development of a robust support for WASM-based audio computing.


title: Towards the Automation of Metamorphic Testing in Model Transformations

abstract: Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is correct is a manual and error-prone task, this is referred to as the oracle problem in the software testing literature. The correctness of the model transformation program is crucial for the proper generation of its output, so it should be tested. Metamorphic testing is a testing technique to alleviate the oracle problem consisting on exploiting the relations between different inputs and outputs of the program under test, so-called metamorphic relations. In this paper we give an insight into our approach to generically define metamorphic relations for model transformations, which can be automatically instantiated given any specific model transformation.


title: Dynamical response of Bose-Einstein condensates to oscillating gravitational fields

abstract: A description of the dynamical response of uniformly trapped Bose-Einstein condensates (BECs) to oscillating external gravitational fields is developed, with the inclusion of damping. Two different effects that can lead to the creation of phonons in the BEC are identified; direct driving and parametric driving. Additionally, the oscillating gravitational field couples phonon modes, which can lead to the transition of excitations between modes. The special case of the gravitational field of a small, oscillating sphere located closely to the BEC is considered. It is shown that measurement of the effects may be possible for oscillating source masses down to the milligram scale, with a signal to noise ratio of the order of 10. To this end, noise terms and variations of experimental parameters are discussed and generic experimental parameters are given for specific atom species. The results of this article suggest the utility of BECs as sensors for the gravitational field of very small oscillating objects which may help to pave the way towards gravity experiments with masses in the quantum regime.

categories: quant-ph gr-qc physics.atom-ph physics.ins-det


title: Regularity for the Dirichlet problem on BD

abstract: We establish that the Dirichlet problem for convex linear growth functionals on $BD$, the functions of bounded deformation, gives rise to the same unconditional Sobolev and partial $C^{1,\alpha}$-regularity theory as presently available for the full gradient Dirichlet problem on $BV$. By Ornstein's Non-Inequality, $BV$ is a proper subspace of $BD$, and full gradient techniques known from the $BV$-situation do not apply here. In particular, applying to all generalised minima (i.e., minima of a suitably relaxed problem) despite their non-uniqueness and reaching the ellipticity ranges known from the $BV$-case, this paper extends previous results by Kristensen and the author (Gmeineder, F.; Kristensen, J.: Sobolev regularity for convex functionals on BD. J. Calc. Var. (2019) 58:56) in an optimal way.


title: The XUV environments of exoplanets from Jupiter-size to super-Earth

abstract: Planets that reside close-in to their host star are subject to intense high-energy irradiation. Extreme-ultraviolet (EUV) and X-ray radiation (together, XUV) is thought to drive mass loss from planets with volatile envelopes. We present $\textit{XMM-Newton}$ observations of six nearby stars hosting transiting planets in tight orbits (with orbital period, $P_\text{orb} < 10\,$d), wherein we characterise the XUV emission from the stars and subsequent irradiation levels at the planets. In order to reconstruct the unobservable EUV emission, we derive a new set of relations from Solar $\textit{TIMED/SEE}$ data that are applicable to the standard bands of the current generation of X-ray instruments. From our sample, WASP-80b and HD$\,$149026b experience the highest irradiation level, but HAT-P-11b is probably the best candidate for Ly$\,\alpha$ evaporation investigations because of the system's proximity to the Solar System. The four smallest planets have likely lost a greater percentage of their mass over their lives than their larger counterparts. We also detect the transit of WASP-80b in the near ultraviolet with the Optical Monitor on $\textit{XMM-Newton}$.


title: New iron-based multiferroics with improper ferroelectricity

abstract: In this contribution to the special issue on magnetoelectrics and their applications, we focus on some single phase multiferroics theoretically predicted and/or experimentally discovered by the authors in recent years. In these materials, iron is the common core element. However, these materials are conceptually different from the mostly-studied BiFeO$_3$, since their ferroelectricity is improper. Our reviewed materials are not simply repeating one magnetoelectric mechanism, but cover multiple branches of improper ferroelectricity, including the magnetism-driven ferroelectrics, geometric ferroelectric, as well as electronic ferroelectric driven by charge ordering. In this sense, these iron-based improper ferroelectrics can be an encyclopaedic playground to explore the comprehensive physics of multiferroics and magnetoelectricity. Furthermore, the unique characteristics of iron's $3d$ orbitals make some of their magnetoelectric properties quite prominent, comparing with the extensively-studied Mn-based improper multiferroics. In addition, these materials establish the crossover between multiferroics and other fields of functional materials, which enlarges the application scope of multiferroics.


title: Slant submanifolds of Golden Riemannian manifolds

abstract: In this paper, we study slant submanifolds of Riemannian manifolds with Golden structure. A Riemannian manifold $(\tilde{M},\tilde{g},{\varphi})$ is called a Golden Riemannian manifold if the $(1,1)$ tensor field ${\varphi}$ on $\tilde{M}$ is a golden structure, that is ${\varphi}^{2}={\varphi}+I$ and the metric $\tilde{g}$ is ${\varphi}-$ compatible. First, we get some new results for submanifolds of a Riemannian manifold with Golden structure. Later we characterize slant submanifolds of a Riemannian manifold with Golden structure and provide some non-trivial examples of slant submanifolds of Golden Riemannian manifolds.