title: Signatures of long-range-correlated disorder in the magnetotransport of ultrathin topological insulators

abstract: In an ultrathin topological insulator (TI) film, a hybridization gap opens in the TI surface states, and the system is expected to become either a trivial insulator or a quantum spin Hall insulator when the chemical potential is within the hybridization gap. Here we show, however, that these insulating states are destroyed by the presence of a large and long-range-correlated disorder potential, which converts the expected insulator into a metal. We perform transport measurements in ultrathin, dual-gated topological insulator films as a function of temperature, gate voltage, and magnetic field, and we observe a metallic-like, non-quantized conductivity, which exhibits a weak antilocalization-like cusp at the low magnetic field and gives way to a nonsaturating linear magnetoresistance at large field. We explain these results by considering the disordered network of electron- and hole-type puddles induced by charged impurities. We argue theoretically that such disorder can produce an insulator-to-metal transition as a function of increasing disorder strength, and we derive a condition on the band gap and the impurity concentration necessary to observe the insulating state. We also explain the linear magnetoresistance in terms of strong spatial fluctuations of the local conductivity, using both numerical simulations and a theoretical scaling argument.


title: Power domination in regular claw-free graphs

abstract: In this paper, we first show that the power domination number of a connected $4$-regular claw-free graph on $n$ vertices is at most $\frac{n+1}{5}$, and the bound is sharp. The statement partly disprove the conjecture presented by Dorbec et al. in SIAM J. Discrete Math., 27:1559-1574, 2013. Then we present a dynamic programming style linear-time algorithm for weighted power domination problem in trees.


title: Valence-Bond-Glass State with Singlet Gap in the Spin-1/2 Square-Lattice Random $J_1$-$J_2$ Heisenberg Antiferromagnet Sr$_2$CuTe$_{1-x}$W$_x$O$_6$

abstract: The double-perovskite compounds Sr$_2$CuTeO$_6$ and Sr$_2$CuWO$_6$ are magnetically described as quasi-two-dimensional spin-1/2 square-lattice $J_1{-}J_2$ Heisenberg antiferromagnets with predominant $J_1$ and $J_2$ exchange interactions, respectively. We report the low-temperature magnetic properties of Sr$_2$CuTe$_{1-x}$W$_x$O$_6$ with randomness in the magnitudes of $J_1$ and $J_2$. It was found that the low-temperature specific heat for $0.1\leq x \leq 0.5$ has a large component proportional to the temperature $T$ above 1.2 K, although the low-temperature specific heat for the two parent systems is approximately proportional to $T^3$. With decreasing temperature below 1.2 K, the $T$-linear component decreases rapidly toward zero, which is insensitive to the magnetic field up to 9 T. This is suggestive of the singlet excitation decoupled from the magnetic field. The NMR spectrum for $x=0.2$ exhibits no long-range order down to 1.8 K. These results indicates that the ground state of Sr$_2$CuTe$_{1-x}$W$_x$O$_6$ is a valence-bond-glass state with singlet gaps.


title: Numerical approximations for the tempered fractional Laplacian: Error analysis and applications

abstract: In this paper, we propose an accurate finite difference method to discretize the $d$-dimensional (for $d\ge 1$) tempered integral fractional Laplacian and apply it to study the tempered effects on the solution of problems arising in various applications. Compared to other existing methods, our method has higher accuracy and simpler implementation. Our numerical method has an accuracy of $O(h^\epsilon)$, for $u \in C^{0, \alpha+\epsilon} (\bar{\Omega})$ if $\alpha < 1$ (or $u \in C^{1, \alpha-1+\epsilon} (\bar{\Omega})$ if $\alpha \ge 1$) with $\epsilon > 0$, suggesting the minimum consistency conditions. The accuracy can be improved to $O(h^2)$, for $u \in C^{2, \alpha+\epsilon} (\bar{\Omega})$ if $\alpha < 1$ (or $u \in C^{3, \alpha - 1 + \epsilon} (\bar{\Omega})$ if $\alpha \ge 1$). Numerical experiments confirm our analytical results and provide insights in solving the tempered fractional Poisson problem. It suggests that to achieve the second order of accuracy, our method only requires the solution $u \in C^{1,1}(\bar{\Omega})$ for any $0<\alpha<2$. Moreover, if the solution of tempered fractional Poisson problems satisfies $u \in C^{p, s}(\bar{\Omega})$ for $p = 0, 1$ and $0<s \le 1$, our method has the accuracy of $O(h^{p+s})$. Since our method yields a (multilevel) Toeplitz stiffness matrix, one can design fast algorithms via the fast Fourier transform for efficient simulations. Finally, we apply it together with fast algorithms to study the tempered effects on the solutions of various tempered fractional PDEs, including the Allen-Cahn equation and Gray-Scott equations.


title: Induced stresses in quasi-spherical elastic vesicles: local and global Laplace-Young law

abstract: On elastic spherical membranes, there is no stress induced by the bending energy and the corresponding Laplace-Young law does not involve the elastic bending stiffness. However, when considering an axially symmetrical perturbation that pinches the sphere, it induces nontrivial stresses on the entire membrane. In this paper we introduce a theoretical framework to examine the stress induced by perturbations of geometry around the sphere. We find the local balance force equations along the normal direction to the vesicle, and along the unit binormal, tangent to the membrane; likewise, the global balance force equation on closed loops is also examined. We analyze the distribution of stresses on the membrane as the budding transition occurs. For closed membranes we obtain the modified Young-Laplace law that appears as a consequence of this perturbation.


title: On the impossibility of solitary Rossby waves in meridionally unbounded domains

abstract: Evolution of weakly nonlinear and slowly varying Rossby waves in planetary atmospheres and oceans is considered within the quasi-geostrophic equation on unbounded domains. When the mean flow profile has a jump in the ambient potential vorticity, localized eigenmodes are trapped by the mean flow with a non-resonant speed of propagation. We address amplitude equations for these modes. Whereas the linear problem is suggestive of a two-dimensional Zakharov-Kuznetsov equation, we found that the dynamics of Rossby waves is effectively linear and moreover confined to zonal waveguides of the mean flow. This eliminates even the ubiquitous Korteweg-de Vries equations as underlying models for spatially localized coherent structures in these geophysical flows.


title: OSSOS: XIII. Fossilized Resonant Dropouts Tentatively Confirm Neptune's Migration was Grainy and Slow

abstract: The migration of Neptune's resonances through the proto-Kuiper belt has been imprinted in the distribution of small bodies in the outer Solar System. Here we analyze five published Neptune migration models in detail, focusing on the high pericenter distance (high-q) trans-Neptunian Objects (TNOs) near Neptune's 5:2 and 3:1 mean-motion resonances, because they have large resonant populations, are outside the main classical belt, and are relatively isolated from other strong resonances. We compare the observationally biased output from these dynamical models with the detected TNOs from the Outer Solar System Origins Survey, via its Survey Simulator. All of the four new OSSOS detections of high-q non-resonant TNOs are on the Sunward side of the 5:2 and 3:1 resonances. We show that even after accounting for observation biases, this asymmetric distribution cannot be drawn from a uniform distribution of TNOs at 2sigma confidence. As shown by previous work, our analysis here tentatively confirms that the dynamical model that uses grainy slow Neptune migration provides the best match to the real high-q TNO orbital data. However, due to extreme observational biases, we have very few high-q TNO discoveries with which to statistically constrain the models. Thus, this analysis provides a framework for future comparison between the output from detailed, dynamically classified Neptune migration simulations and the TNO discoveries from future well-characterized surveys. We show that a deeper survey (to a limiting r-magnitude of 26.0) with a similar survey area to OSSOS could statistically distinguish between these five Neptune migration models.


title: Gate-tunable infrared plasmons in electron-doped single-layer antimony

abstract: We report on a theoretical study of collective electronic excitations in single-layer antimony crystals (antimonene), a novel two-dimensional semiconductor with strong spin-orbit coupling. Based on a tight-binding model, we consider electron-doped antimonene and demonstrate that the combination of spin-orbit effects with external bias gives rise to peculiar plasmon excitations in the mid-infrared spectral range. These excitations are characterized by low losses and negative dispersion at frequencies effectively tunable by doping and bias voltage. The observed behavior is attributed to the spin-splitting of the conduction band, which induces interband resonances, affecting the collective excitations. Our findings open up the possibility to develop plasmonic and optoelectronic devices with high tunability, operating in a technologically relevant spectral range.


title: Nearby high-speed stars in Gaia DR2

abstract: We investigate the nature of nearby (10-15 kpc) high-speed stars in the Gaia DR2 archive identified on the basis of parallax, proper motion and radial velocity. Together with a consideration of their kinematic, orbital, and photometric properties, we develop a novel strategy for evaluating whether high speed stars are statistical outliers of the bound population or unbound stars capable of escaping the Galaxy. Out of roughly 1.5 million stars with radial velocities, proper motions, and 5-sigma parallaxes, we identify just over 100 high-speed stars. Of these, only two have a nearly 100% chance of being unbound, with indication that they are not just bound outliers; both are likely hyper-runaway stars. The rest of the high speed stars are likely statistical outliers. We use the sample of high-speed stars to demonstrate that radial velocity alone provides a poor discriminant of nearby, unbound stars. However, nearby, unbound stars are efficiently identified from the tangential velocity, using just parallax and proper motion. Within the full Gaia DR2 archive of stars with 5-sigma parallax and proper motion but no radial velocity, we identify a sample of 19 with speeds significantly larger than the local escape speed of the Milky Way based on tangential motion alone.


title: Parallax: Sparsity-aware Data Parallel Training of Deep Neural Networks

abstract: The employment of high-performance servers and GPU accelerators for training deep neural network models have greatly accelerated recent advances in deep learning (DL). DL frameworks, such as TensorFlow, MXNet, and Caffe2, have emerged to assist DL researchers to train their models in a distributed manner. Although current DL frameworks scale well for image classification models, there remain opportunities for scalable distributed training on natural language processing (NLP) models. We found that current frameworks show relatively low scalability on training NLP models due to the lack of consideration to the difference in sparsity of model parameters. In this paper, we propose Parallax, a framework that optimizes data parallel training by utilizing the sparsity of model parameters. Parallax introduces a hybrid approach that combines Parameter Server and AllReduce architectures to optimize the amount of data transfer according to the sparsity. Experiments show that Parallax built atop TensorFlow achieves scalable training throughput on both dense and sparse models while requiring little effort from its users. Parallax achieves up to 2.8x, 6.02x speedup for NLP models than TensorFlow and Horovod with 48 GPUs, respectively. The training speed for the image classification models is equal to Horovod and 1.53x faster than TensorFlow.


title: Learning to Write Notes in Electronic Health Records

abstract: Clinicians spend a significant amount of time inputting free-form textual notes into Electronic Health Records (EHR) systems. Much of this documentation work is seen as a burden, reducing time spent with patients and contributing to clinician burnout. With the aspiration of AI-assisted note-writing, we propose a new language modeling task predicting the content of notes conditioned on past data from a patient's medical record, including patient demographics, labs, medications, and past notes. We train generative models using the public, de-identified MIMIC-III dataset and compare generated notes with those in the dataset on multiple measures. We find that much of the content can be predicted, and that many common templates found in notes can be learned. We discuss how such models can be useful in supporting assistive note-writing features such as error-detection and auto-complete.


title: Preparing students for authentic research through open-inquiry laboratory courses

abstract: Authentic research as a method of teaching science is gaining popularity in high schools and colleges. To make this research experience most efficient, students need adequate preparation in traditional science courses. Existing materials available for inquiry-based teaching methods are not intended to prepare a student for independent research. We discuss principles for organization of laboratory classes with this goal in mind and provide examples that we have implemented for algebra-based physics, calculus-based physics, and honors chemistry for high school students.


title: Systematic study of the electronic structure and the magnetic properties of a few-nm-thick epitaxial (Ni1-xCox)Fe2O4 (x = 0 - 1) layers grown on Al2O3(111)/Si(111) using soft X-ray magnetic circular dichroism: effects of cation distribution

abstract: We study the electronic structure and the magnetic properties of epitaxial (Ni1-xCox)Fe2O4(111) layers (x = 0 - 1) with thicknesses d = 1.7 - 5.2 nm grown on Al2O3(111)/Si(111) structures, to achieve a high value of inversion parameter y, which is the inverse-to-normal spinel-structure ratio, and hence to obtain good magnetic properties even when the thickness is thin enough for electron tunneling as a spin filter. We revealed the crystallographic (octahedral Oh or tetrahedral Td) sites and the valences of the Fe, Co, and Ni cations using experimental soft X-ray absorption spectroscopy and X-ray magnetic circular dichroism spectra and configuration-interaction cluster-model calculation. In all the (Ni1-xCox)Fe2O4 layers with d = about 4 nm, all Ni cations occupy the Ni2+ (Oh) site, whereas Co cations occupy the three different Co2+ (Oh), Co2+ (Td), and Co3+ (Oh) sites with constant occupancies. According to these features, the occupancy of the Fe3+ (Oh) cations decreases and that of the Fe3+ (Td) cations increases with decreasing x. Consequently, we obtained a systematic increase of y with decreasing x and achieved the highest y value of 0.91 for the NiFe2O4 layer with d = 3.5 nm. From the d dependences of y and magnetization in the d range of 1.7 - 5.2 nm, a magnetically dead layer is present near the NiFe2O4/Al2O3 interface, but its influence on the magnetization was significantly suppressed compared with the case of CoFe2O4 layers reported previously [Y. K. Wakabayasi et al., Phys. Rev. B 96, 104410 (2017)], due to the high site selectivity of the Ni cations. Since our epitaxial NiFe2O4 layer with d = 3.5 nm has a high y values (0.91) and a reasonably large magnetization (180 emu/cc), it is expected to exhibit a strong spin filter effect, which can be used for efficient spin injection into Si.


title: Low rank representations for quantum simulation of electronic structure

abstract: The quantum simulation of quantum chemistry is a promising application of quantum computers. However, for N molecular orbitals, the $\mathcal{O}(N^4)$ gate complexity of performing Hamiltonian and unitary Coupled Cluster Trotter steps makes simulation based on such primitives challenging. We substantially reduce the gate complexity of such primitives through a two-step low-rank factorization of the Hamiltonian and cluster operator, accompanied by truncation of small terms. Using truncations that incur errors below chemical accuracy, we are able to perform Trotter steps of the arbitrary basis electronic structure Hamiltonian with $\mathcal{O}(N^3)$ gate complexity in small simulations, which reduces to $\mathcal{O}(N^2 \log N)$ gate complexity in the asymptotic regime, while our unitary Coupled Cluster Trotter step has $\mathcal{O}(N^3)$ gate complexity as a function of increasing basis size for a given molecule. In the case of the Hamiltonian Trotter step, these circuits have $\mathcal{O}(N^2)$ depth on a linearly connected array, an improvement over the $\mathcal{O}(N^3)$ scaling assuming no truncation. As a practical example, we show that a chemically accurate Hamiltonian Trotter step for a 50 qubit molecular simulation can be carried out in the molecular orbital basis with as few as 4,000 layers of parallel nearest-neighbor two-qubit gates, consisting of fewer than 100,000 non-Clifford rotations. We also apply our algorithm to iron-sulfur clusters relevant for elucidating the mode of action of metalloenzymes.


title: Randomized box-ball systems, limit shape of rigged configurations and Thermodynamic Bethe ansatz

abstract: We introduce a probability distribution on the set of states in a generalized box-ball system associated with Kirillov-Reshetikhin (KR) crystals of type $A^{(1)}_n$. Their conserved quantities induce $n$-tuple of random Young diagrams in the rigged configurations. We determine their limit shape as the system gets large by analyzing the Fermionic formula by thermodynamic Bethe ansatz. The result is expressed as a logarithmic derivative of a deformed character of the KR modules and agrees with the stationary local energy of the associated Markov process of carriers.


title: CORONAS-F observation of gamma-ray emission from the solar flare on 2003 October 29

abstract: Appreciable hard X-ray (HXR) and gamma-ray emissions in the 0.04 to 150 MeV energy range associated with the 2003 October 29 solar flare (X10/3B) were observed at 20:38 to 20:58 UT by the SONG instrument onboard the CORONAS-F mission. To restore flare gamma-ray spectra we fitted the SONG energy loss spectra with a three-component model of the incident spectrum: (1) a power law in energy, assumed to be due to electron bremsstrahlung; (2) a broad continuum produced by prompt nuclear de-excitation gamma-lines; and (3) a broad gamma-line generated from pion decay. We also restored spectra from the RHESSI data, compared them with the SONG spectra and found a reasonable agreement between these spectra in the 0.1 to 10 MeV energy range. The pion-decay emission was observed from 20:44:20 UT and had its maximum at 20:48 to 20:51 UT. The power-law spectral index of accelerated protons estimated from the ratio between intensities of different components of gamma rays changed with time. The hardest spectrum with a power-law index S = - 3.5 to - 3.6 was observed at 20:48 to 20:51 UT. Time histories of the pion-decay emission and proton spectrum were compared with changes of the locations of flare energy release as shown by RHESSI hard X-ray images and remote H alpha brightening. An apparent temporal correlation between processes of particle acceleration and restructuring of flare magnetic field was found. In particular, the protons were accelerated to sub-relativistic energies after radical change of the character of footpoint motion from a converging motion to a separation motion.


title: Unbalanced St\"{u}ckelberg Holographic Superconductors with Backreaction

abstract: We numerically investigate some properties of unbalanced St\"{u}ckelberg holographic superconductors, by considering backreaction effects of fields on the background geometry. More precisely, we study the impacts of the chemical potential mismatch and St\"{u}ckelberg mechanism on the condensation and conductivity types (electrical, spin, mixed, thermo-electric, thermo-spin and thermal conductivity). Our results show that the St\"{u}ckelberg's model parameters $C_{\alpha}$ and $\alpha$ not only have significant impacts on the phase transition, but also affect the conductivity pseudo-gap and the strength of conductivity fluctuations. Moreover, the effects of these parameters on a system will be gradually reduced as the imbalance grows. We also find that the influence of $\alpha$ on the amplitude of conductivity fluctuations depends on the magnitude of the both $C_{\alpha}$ and $\delta\mu/\mu$ in the electric and thermal conductivity cases. This results in that increasing $\alpha$ can damp the conductivity fluctuations of an unbalanced system in contrast to balanced ones.


title: A Correlative Four-Dimensional Study of Phase Separation at the Subnanoscale to Nanoscale of a Ni-Al Alloy

abstract: The temporal evolution of ordered gamma prime (L12)-precipitates precipitating in a disordered gamma(f.c.c.) matrix is studied in extensive detail for a Ni-12.5 Al at.% alloy aged at 823 K (550 oC), for times ranging from 0.08 to 4096 h. Three-dimensional atom-probe tomography (3-D APT) results are compared to monovacancy-mediated lattice-kinetic Monte Carlo (LKMC1) simulations, which include monovacancy-solute binding energies through 4th nearest-neighbor distances, for the same mean composition and aging temperature. The temporal evolution of the measured values of the mean radius, <R(t)>, number density, aluminum supersaturations, and volume fraction of the gamma prime(L12)-precipitates are compared to the predictions of a modified version of the Lifshitz-Slyozov-Wagner coarsening model due to Calderon, Voorhees et al. The resulting experimental rate constants are used to calculate the Gibbs interfacial free-energy between the gamma(f.c.c.)- and gamma prime(L12)-phases using data from two thermodynamic databases, and its value is compared to all extant values dating from 1966. The diffusion coefficient for coarsening is calculated utilizing the same rate constants and compared to all extant archival diffusivities, not determined from coarsening experiments, and is demonstrated to be the inter-diffusivity, , of Ni and Al. The monovacancy-mediated LKMC1 simulation results are in good agreement with our 3-D APT data. It is demonstrated that the compositional interfacial width, for the {100} interface, between the gamma(f.c.c.)- and gamma prime (L12)-phases, decreases continuously with increasing aging time and <R(t)>, for the 3-D APT results and monovacancy-mediated LKMC1 simulations, in disagreement with an ansatz intrinsic to the trans-interface diffusion-controlled coarsening model, which predicts the opposite trend for binary alloys.


title: Hard X-Ray Constraints on Small-Scale Coronal Heating Events

abstract: Much evidence suggests that the solar corona is heated impulsively, meaning that nanoflares may be ubiquitous in quiet and active regions (ARs). Hard X-ray (HXR) observations with unprecedented sensitivity $>$3~keV are now enabled by focusing instruments. We analyzed data from the \textit{Focusing Optics X-ray Solar Imager (FOXSI)} rocket and the \textit{Nuclear Spectroscopic Telescope Array (NuSTAR)} spacecraft to constrain properties of AR nanoflares simulated by the EBTEL field-line-averaged hydrodynamics code. We generated model X-ray spectra by computing differential emission measures for homogeneous nanoflare sequences with heating amplitudes $H_0$, durations $\tau$, delay times between events $t_N$, and filling factors $f$. The single quiescent AR observed by \textit{FOXSI-2} on 2014 December 11 is well fit by nanoflare sequences with heating amplitudes 0.02 erg cm$^{-3}$ s$^{-1}$ $<$ $H_0$ $<$ 13 erg cm$^{-3}$ s$^{-1}$ and a wide range of delay times and durations. We exclude delays between events shorter than $\sim$900 s at the 90\% confidence level for this region. Three of five regions observed by {\nustar} on 2014 November 1 are well fit by homogeneous nanoflare models, while two regions with higher fluxes are not. Generally, the {\nustar} count spectra are well fit by nanoflare sequences with smaller heating amplitudes, shorter delays, and shorter durations than the allowed \textit{FOXSI-2} models. These apparent discrepancies are likely due to differences in spectral coverage between the two instruments and intrinsic differences among the regions. Steady heating ($t_N$ = $\tau$) was ruled out with $>$99\% confidence for all regions observed by either instrument.


title: Training Compact Neural Networks with Binary Weights and Low Precision Activations

abstract: In this paper, we propose to train a network with binary weights and low-bitwidth activations, designed especially for mobile devices with limited power consumption. Most previous works on quantizing CNNs uncritically assume the same architecture, though with reduced precision. However, we take the view that for best performance it is possible (and even likely) that a different architecture may be better suited to dealing with low precision weights and activations. Specifically, we propose a "network expansion" strategy in which we aggregate a set of homogeneous low-precision branches to implicitly reconstruct the full-precision intermediate feature maps. Moreover, we also propose a group-wise feature approximation strategy which is very flexible and highly accurate. Experiments on ImageNet classification tasks demonstrate the superior performance of the proposed model, named Group-Net, over various popular architectures. In particular, with binary weights and activations, we outperform the previous best binary neural network in terms of accuracy as well as saving more than 5 times computational complexity on ImageNet with ResNet-18 and ResNet-50.


title: Question-Guided Hybrid Convolution for Visual Question Answering

abstract: In this paper, we propose a novel Question-Guided Hybrid Convolution (QGHC) network for Visual Question Answering (VQA). Most state-of-the-art VQA methods fuse the high-level textual and visual features from the neural network and abandon the visual spatial information when learning multi-modal features.To address these problems, question-guided kernels generated from the input question are designed to convolute with visual features for capturing the textual and visual relationship in the early stage. The question-guided convolution can tightly couple the textual and visual information but also introduce more parameters when learning kernels. We apply the group convolution, which consists of question-independent kernels and question-dependent kernels, to reduce the parameter size and alleviate over-fitting. The hybrid convolution can generate discriminative multi-modal features with fewer parameters. The proposed approach is also complementary to existing bilinear pooling fusion and attention based VQA methods. By integrating with them, our method could further boost the performance. Extensive experiments on public VQA datasets validate the effectiveness of QGHC.


title: Courteous Autonomous Cars

abstract: Typically, autonomous cars optimize for a combination of safety, efficiency, and driving quality. But as we get better at this optimization, we start seeing behavior go from too conservative to too aggressive. The car's behavior exposes the incentives we provide in its cost function. In this work, we argue for cars that are not optimizing a purely selfish cost, but also try to be courteous to other interactive drivers. We formalize courtesy as a term in the objective that measures the increase in another driver's cost induced by the autonomous car's behavior. Such a courtesy term enables the robot car to be aware of possible irrationality of the human behavior, and plan accordingly. We analyze the effect of courtesy in a variety of scenarios. We find, for example, that courteous robot cars leave more space when merging in front of a human driver. Moreover, we find that such a courtesy term can help explain real human driver behavior on the NGSIM dataset.


title: Rejection-based sampling of inelastic neutron scattering

abstract: Distributions of inelastically scattered neutrons can be quantum dynamically described by a scattering kernel. We present an accurate and computationally efficient rejection method for sampling a given scattering kernel of any isotropic material. The proposed method produces continuous neutron energy and angular distributions, typically using just a single interpolation per sampling. We benchmark the results of this method against those from accurate analytical models and one of the major neutron transport codes. We also show the results of applying this method to the conventional discrete double differential cross sections.


title: Reconciliation of probabilistic forecasts with an application to wind power

abstract: New methods are proposed for adjusting probabilistic forecasts to ensure coherence with the aggregation constraints inherent in temporal hierarchies. The different approaches nested within this framework include methods that exploit information at all levels of the hierarchy as well as a novel method based on cross-validation. The methods are evaluated using real data from two wind farms in Crete, an application where it is imperative for optimal decisions related to grid operations and bidding strategies to be based on coherent probabilistic forecasts of wind power. Empirical evidence is also presented showing that probabilistic forecast reconciliation improves the accuracy of both point forecasts and probabilistic forecasts.


title: Cognitive system to achieve human-level accuracy in automated assignment of helpdesk email tickets

abstract: Ticket assignment/dispatch is a crucial part of service delivery business with lot of scope for automation and optimization. In this paper, we present an end-to-end automated helpdesk email ticket assignment system, which is also offered as a service. The objective of the system is to determine the nature of the problem mentioned in an incoming email ticket and then automatically dispatch it to an appropriate resolver group (or team) for resolution. The proposed system uses an ensemble classifier augmented with a configurable rule engine. While design of classifier that is accurate is one of the main challenges, we also need to address the need of designing a system that is robust and adaptive to changing business needs. We discuss some of the main design challenges associated with email ticket assignment automation and how we solve them. The design decisions for our system are driven by high accuracy, coverage, business continuity, scalability and optimal usage of computational resources. Our system has been deployed in production of three major service providers and currently assigning over 40,000 emails per month, on an average, with an accuracy close to 90% and covering at least 90% of email tickets. This translates to achieving human-level accuracy and results in a net saving of about 23000 man-hours of effort per annum.


title: Social Community-Aware Content Placement in Wireless Device-to-Device Communication Networks

abstract: In this paper, a novel framework for optimizing the caching of popular user content at the level of wireless user equipments (UEs) is proposed. The goal is to improve content offloading over wireless device-to-device (D2D) communication links. In the considered network, users belong to different social communities while their UEs form a single multi-hop D2D network. The proposed framework allows to exploit the multi-community social context of users for improving the local offloading of cached content in a multihop D2D network. To model the collaborative effect of a set of UEs on content offloading, a cooperative game between the UEs is formulated. For this game, it is shown that the Shapley value (SV) of each UE effectively captures the impact of this UE on the overall content offloading process. To capture the presence of multiple social communities that connect the UEs, a hypergraph model is proposed. Two line graphs, an influence-weighted graph, and a connectivity-weighted graph, are developed for analyzing the proposed hypergaph model. Using the developed line graphs along with the SV of the cooperative game, a precise offloading power metric is derived for each UE within a multi-community, multi-hop D2D network. Then, UEs with high offloading power are chosen as the optimal locations for caching the popular content. Simulation results show that, on the average, the proposed cache placement framework achieves 12%, 19%, and 21% improvements in terms of the number of UEs that received offloaded popular content compared to the schemes based on betweenness, degree, and closeness centrality, respectively.


title: Accelerating wave-propagation algorithms with adaptive mesh refinement using the Graphics Processing Unit (GPU)

abstract: Clawpack is a library for solving nonlinear hyperbolic partial differential equations using high-resolution finite volume methods based on Riemann solvers and limiters. It supports Adaptive Mesh Refinement (AMR), which is essential in solving multi-scale problems. Recently, we added capabilities to accelerate the code by using the Graphics Process Unit (GPU). Routines that manage CPU and GPU AMR data and facilitate the execution of GPU kernels are added. Customized and CPU thread-safe memory managers are designed to manage GPU and CPU memory pools, which is essential in eliminating the overhead of memory allocation and de-allocation. A global reduction is conducted every time step for dynamically adjusting the time step based on Courant number restrictions. Some small GPU kernels are merged into bigger kernels, which greatly reduces kernel launching overhead. A speed-up between $2$ and $3$ for the total running time is observed in an acoustics benchmark problem.


title: Analysis of quasi-Monte Carlo methods for elliptic eigenvalue problems with stochastic coefficients

abstract: We consider the forward problem of uncertainty quantification for the generalised Dirichlet eigenvalue problem for a coercive second order partial differential operator with random coefficients, motivated by problems in structural mechanics, photonic crystals and neutron diffusion. The PDE coefficients are assumed to be uniformly bounded random fields, represented as infinite series parametrised by uniformly distributed i.i.d. random variables. The expectation of the fundamental eigenvalue of this problem is computed by (a) truncating the infinite series which define the coefficients; (b) approximating the resulting truncated problem using lowest order conforming finite elements and a sparse matrix eigenvalue solver; and (c) approximating the resulting finite (but high dimensional) integral by a randomly shifted quasi-Monte Carlo lattice rule, with specially chosen generating vector. We prove error estimates for the combined error, which depend on the truncation dimension $s$, the finite element mesh diameter $h$, and the number of quasi-Monte Carlo samples $N$. Under suitable regularity assumptions, our bounds are of the particular form $\mathcal{O}(h^2+N^{-1+\delta})$, where $\delta>0$ is arbitrary and the hidden constant is independent of the truncation dimension, which needs to grow as $h\to 0$ and $N\to\infty$. Although the eigenvalue problem is nonlinear, which means it is generally considered harder than the analogous source problem, in almost all cases we obtain error bounds that converge at the same rate as the corresponding rate for the source problem. The proof involves a detailed study of the regularity of the fundamental eigenvalue as a function of the random parameters. As a key intermediate result in the analysis, we prove that the spectral gap (between the fundamental and the second eigenvalues) is uniformly positive over all realisations of the random problem.


title: On restriction of unitarizable representations of general linear groups and the non-generic local Gan-Gross-Prasad conjecture

abstract: We prove one direction of a recently posed conjecture by Gan-Gross-Prasad, which predicts the branching laws that govern restriction from p-adic $GL_n$ to $GL_{n-1}$ of irreducible smooth representations within the Arthur-type class. We extend this prediction to the full class of unitarizable representations, by exhibiting a combinatorial relation that must be satisfied for any pair of irreducible representations, in which one appears as a quotient of the restriction of the other. We settle the full conjecture for the cases in which either one of the representations in the pair is generic. The method of proof involves a transfer of the problem, using the Bernstein decomposition and the quantum affine Schur-Weyl duality, into the realm of quantum affine algebras. This restatement of the problem allows for an application of the combined power of a result of Hernandez on cyclic modules together with the Lapid-Minguez criterion from the p-adic setting.


title: The Mechanism of the Ultra-Fast Crystal Growth of Pure Metals from their Melts

abstract: A crystal of pure nickel grows from its melt at a rate that reaches 70 meters per second. This extraordinary growth rate has led to the suggestion that metallic crystals might provide the next generation of phase change materials. The huge crystal growth rates of metals are a consequence of kinetics without activated control, in sharp contrast to the prediction of the classic theory of crystal growth. While the existence of growth kinetics without barriers is now well established in atomic melts, no physical explanation for the absence of an activation barrier to ordering has been established. It is something of a paradox that diffusion in the liquid metal is governed by thermal activation while the movement of the same atoms as they organize into a crystal is not. In this paper we use computer simulations of crystallization in pure metals to explicitly resolve the origin of the growth kinetics without barriers.


title: Black hole as fireplace: limited communications across the horizon

abstract: An insightful viewpoint was proposed by Susskind about AMPS firewall: the region behind the firewall does not exist and the firewall is an extension of the singularity. In this work, we provided a possible picture of this idea by combining Newman's complex metric and Dvali-Gomez BEC black holes, which are Bose-Einstein condensates of N gravitons. The inner space behind the horizon is a realized imaginary space encrusted by the real space outside the horizon. In this way, the singularity extents to the horizon to make a firewall for the infalling observer. Some gravitons escape during the fluctuation of the BEC black hole, resulting in a micro-transparent horizon which makes the firewall exposes slightly to an observer outside the horizon. This picture allows limited communications across the horizon.


title: Asymptotic behavior at infinity of solutions of Monge-Amp\`ere equations in half spaces

abstract: We prove that any convex viscosity solution of $\det D^2u=1 $ outside a bounded domain of $\mathbb{R}^n_+$ tends to a quadratic polynomial at infinity with rate at least $\frac{x_n}{|x|^{n}}$ if $u$ is a quadratic polynomial on $\{x_n=0\}$ and satisfies $ \mu|x|^2\leq u\leq \mu^{-1}|x|^2$ as $|x|\rightarrow \infty$ for some $0<\mu\leq \frac{1}{2}$.


title: On compatible linear connections of two-dimensional generalized Berwald manifolds

abstract: In the paper we present results about generalized Berwald surfaces involving the intrinsic characterization, some topological obstructions for the base manifold and examples.


title: Exact Decoherence and Orthogonal Pointer States Brought by One Degree of Freedom: von Neumann Equation Approach and Examples

abstract: In a quantum measurement setting, it is known that environment-induced decoherence theory describes the emergence of effectively classical features of the quantum system-measuring apparatus composite system when the apparatus is allowed to interact with the environment. In [E.A. Galapon {\it EPL} {\bf 113} 60007 (2016)], a measurement model is found to have the feature of inducing exact decoherence at a finite time via one internal degree of freedom of the apparatus provided that the apparatus is decomposed into a pointer and an inaccessible probe, with the pointer and the probe being in momentum-limited initial states. However, an issue can be raised against the model: while the factorization method of the time evolution operator used there is formally correct, it is not completely rigorous due to some unstated conditions on the validity of the factorization in the Hilbert space of the model. Furthermore, no examples were presented there in implementing the measurement scheme in specific quantum systems. The goal of this paper is to re-examine the model and confirm its features independently by solving the von Neumann equation for the joint state of the composite system as a function of time. This approach reproduces the joint state obtained in the original work, leading to the same conditions for exact decoherence and orthogonal pointer states when the required initial conditions on the probe and pointer are imposed. We illustrate the exact decoherence process in the measurement of observables of a spin-1/2 particle and a quantum harmonic oscillator by using the model.


title: Quantum free fall motion and quantum violation of weak equivalence principle

abstract: The weak equivalence principle (WEP) in the quantum regime has been the subject of many studies with a broad range of approach to the problem. Here we tackle the problem anew through the time of arrival (TOA) operator approach by constructing the time of arrival operator for a non-relativistic and structureless particle that is projected upward in a uniform gravitational field with an intended arrival point below the classical turning point. The TOA-operator is constructed under the constraint that the inertial and gravitational masses are equivalent, and that Galilean invariance is preserved. These constraints are implemented by Weyl-quantization of the corresponding classical time of arrival function for the projectile. The expectation value of the TOA-operator is explicitly shown to be equal to the classical time of arrival plus mass-dependent quantum correction terms, implying incompatibility of the weak equivalence principle with quantum mechanics. The full extent of the violation of the WEP is shown through the mass dependence of time of arrival distribution for the projectile.


title: An anti-correlation between barycentre offsets and velocity dispersion for highest overdensity subhalos in cosmological simulations

abstract: In this paper, we use two hydrodynamic simulations to study the barycentre offsets $r_{{\rm off}}$ between the entire halo and the gas or dark matter subhalo with largest overdensity. We restrict our analysis to those halos with large rescaled offsets, i.e. $r_{{\rm off}}/r_{200}\gtrsim 0.05$. The halos which are less massive and at higher redshifts are more likely to have larger $r_{{\rm off}}/r_{200}$. The 3D velocity dispersion of the subhalos with largest overdensity is found to have a similar mass and redshift dependence as $r_{{\rm off}}/r_{200}$. We also find that the gas subhalos with maximum overdensity and larger gas velocity dispersion $\sigma_{v}^{\rm ICM,sub}/\sigma_{200}$ tend to have smaller barycentre offsets $r_{{\rm off}}/r_{200}$. Similar result is found for the highest overdensity dark matter subhalos but with less significance. This anti-correlation is more significant for the snapshot $z=0$ than $z=0.2$ and $0.5$. The underlying physical mechanism for this anti-correlation remains to be explored.


title: A Unified Framework for Testing High Dimensional Parameters: A Data-Adaptive Approach

abstract: High dimensional hypothesis test deals with models in which the number of parameters is significantly larger than the sample size. Existing literature develops a variety of individual tests. Some of them are sensitive to the dense and small disturbance, and others are sensitive to the sparse and large disturbance. Hence, the powers of these tests depend on the assumption of the alternative scenario. This paper provides a unified framework for developing new tests which are adaptive to a large variety of alternative scenarios in high dimensions. In particular, our framework includes arbitrary hypotheses which can be tested using high dimensional $U$-statistic based vectors. Under this framework, we first develop a broad family of tests based on a novel variant of the $L_p$-norm with $p\in \{1,\dots,\infty\}$. We then combine these tests to construct a data-adaptive test that is simultaneously powerful under various alternative scenarios. To obtain the asymptotic distributions of these tests, we utilize the multiplier bootstrap for $U$-statistics. In addition, we consider the computational aspect of the bootstrap method and propose a novel low-cost scheme. We prove the optimality of the proposed tests. Thorough numerical results on simulated and real datasets are provided to support our theory.


title: Peculiar Behavior of Si Cluster Ions in Solid Al

abstract: A peculiar ion behavior is found in a Si cluster, moving with a speed of ~0.22c (c: speed of light) in a solid Al plasma: the Si ion, moving behind the forward moving Si ion closely in a several angstrom distance in the cluster, feels the wake field generated by the forward Si. The interaction potential on the rear Si may balance the deceleration backward force by itself with the acceleration forward force by the forward Si in the longitudinal moving direction. The forward Si would be decelerated normally. However, the deceleration of the rear Si, moving behind closely, would be reduced significantly, and the rear Si may catch up and overtake the forward moving Si in the cluster during the Si cluster interaction with the high-density Al plasma.


title: A Quillen Theorem B for strict $\infty$-categories

abstract: We prove a generalization of Quillen's Theorem B to strict $\infty$-categories. More generally, we show that under similar hypothesis as for Theorem B, the comma construction for strict $\infty$-categories, that we introduced with Maltsiniotis in a previous paper, is the homotopy pullback with respect to Thomason equivalences. We give several applications of these results, including the construction of new models for certain Eilenberg-Mac Lane spaces.


title: Beyond Pixel Norm-Balls: Parametric Adversaries using an Analytically Differentiable Renderer

abstract: Many machine learning image classifiers are vulnerable to adversarial attacks, inputs with perturbations designed to intentionally trigger misclassification. Current adversarial methods directly alter pixel colors and evaluate against pixel norm-balls: pixel perturbations smaller than a specified magnitude, according to a measurement norm. This evaluation, however, has limited practical utility since perturbations in the pixel space do not correspond to underlying real-world phenomena of image formation that lead to them and has no security motivation attached. Pixels in natural images are measurements of light that has interacted with the geometry of a physical scene. As such, we propose the direct perturbation of physical parameters that underly image formation: lighting and geometry. As such, we propose a novel evaluation measure, parametric norm-balls, by directly perturbing physical parameters that underly image formation. One enabling contribution we present is a physically-based differentiable renderer that allows us to propagate pixel gradients to the parametric space of lighting and geometry. Our approach enables physically-based adversarial attacks, and our differentiable renderer leverages models from the interactive rendering literature to balance the performance and accuracy trade-offs necessary for a memory-efficient and scalable adversarial data augmentation workflow.


title: Cooperation in Evolutionary Public Goods Game on Complex Networks with Topology Change

abstract: The evolution of cooperation among unrelated individuals in human and animal societies remains a challenging issue across disciplines. It is an important subject also in the evolutionary game theory to research how cooperation arises. The subject has been extensively studied especially in Prisonars' dilemma game(PD) and the emergence of cooperation is important subject also in public goods game(PGG). In this article, we consider evolutionary PGG on complex networks where the topology of the networks varies under the infulence of game dynamics. Then we study what effects on the evolution of player's strategies, defection and cooretation and the average payoff does the interaction between the game dynamics and the network topology bring. By investigating them by making computer simulations, we intend to clear in what situations cooperation strategy is promoted or preserved. We also intend to investigate the infuluence of the interaction on the average payoff over all players. Furthermore how initial networks are transformed to final networks by the evolution through the influences of PGG dynamics is invistigated.


title: Permutation patterns in genome rearrangement problems

abstract: In the context of the genome rearrangement problem, we analyze two well known models, namely the block transposition and the prefix block transposition models, by exploiting the connection with the notion of permutation pattern. More specifically, for any $k$, we provide a characterization of the set of permutations having distance $\leq k$ from the identity (which is known to be a permutation class) in terms of what we call generating permutations and we describe some properties of its basis, which allow to compute such a basis for small values of $k$.


title: Randomized Core Reduction for Discrete Ill-Posed Problem

abstract: In this paper, we apply randomized algorithms to approximate the total least squares (TLS) solution of the problem $Ax\approx b$ in the large-scale discrete ill-posed problems. A regularization technique, based on the multiplicative randomization and the subspace iteration, is proposed to obtain the approximate core problem.In the error analysis, we provide upper bounds %in terms of the $(k\!\!+\!\!1)$-th singular value of $A$ for the errors of the solution and the residual of the randomized core reduction. Illustrative numerical examples and comparisons are presented.


title: Weakly symmetric stress equilibration and a posteriori error estimation for linear elasticity

abstract: A stress equilibration procedure for linear elasticity is proposed and analyzed in this paper with emphasis on the behavior for (nearly) incompressible materials. Based on the displacement-pressure approximation computed with a stable finite element pair, it constructs an $H (\text{div})$-conforming, weakly symmetric stress reconstruction. Our focus is on the Taylor-Hood combination of continuous finite element spaces of polynomial degrees $k+1$ and $k$ for the displacement and the pressure, respectively. Our construction leads then to reconstructed stresses by Raviart-Thomas elements of degree $k$ which are weakly symmetric in the sense that its anti-symmetric part is zero tested against continuous piecewise polynomial functions of degree $k$. The computation is performed locally on a set of vertex patches covering the computational domain in the spirit of equilibration \cite{BraSch:08}. Due to the weak symmetry constraint, the local problems need to satisfy consistency conditions associated with all rigid body modes, in contrast to the case of Poisson's equation where only the constant modes are involved. The resulting error estimator is shown to constitute a guaranteed upper bound for the error with a constant that depends only on the shape regularity of the triangulation. Local efficiency, uniformly in the incompressible limit, is deduced from the upper bound by the residual error estimator.


title: Appearance-Based Landmark Selection for Efficient Long-Term Visual Localization

abstract: We present an online landmark selection method for distributed long-term visual localization systems in bandwidth-constrained environments. Sharing a common map for online localization provides a fleet of au- tonomous vehicles with the possibility to maintain and access a consistent map source, and therefore reduce redundancy while increasing efficiency. However, connectivity over a mobile network imposes strict bandwidth constraints and thus the need to minimize the amount of exchanged data. The wide range of varying appearance conditions encountered during long-term visual localization offers the potential to reduce data usage by extracting only those visual cues which are relevant at the given time. Motivated by this, we propose an unsupervised method of adaptively selecting landmarks according to how likely these landmarks are to be observable under the prevailing appear- ance condition. The ranking function this selection is based upon exploits landmark co-observability statistics collected in past traversals through the mapped area. Evaluation is per- formed over different outdoor environments, large time-scales and varying appearance conditions, including the extreme tran- sition from day-time to night-time, demonstrating that with our appearance-dependent selection method, we can significantly reduce the amount of landmarks used for localization while maintaining or even improving the localization performance.


title: Shower centre determination in a high granularity digital sampling calorimeter

abstract: The precise measurement of photon or electron impact position is the prerequisite to reconstruct the origin of two photons events from decay of {\pi}0 and {\eta} mesons or the di-electron channel from quarkonia decay. To facilitate such a measurement, an electromagnetic calorimeter prototype using Monolithic Active Pixel Sensors (MAPS) was build and tested. The 30 $\times$ 30 m$^2$ granularity coupled with an optimized centre of gravity with power law weight method dedicatedly developed for the particle counting digital calorimeter, makes precise reconstruction of impact position of electromagnetic showers to be straightforward. Parameters of the method are optimized and the performance is verified with the GEANT based simulation and the experimental data which were collected at DESY and CERN SPS. The accuracy of the reconstruction of electron or photon impact position can be better than 30 $\mu$m in a broad range of energies.


title: Map Management for Efficient Long-Term Visual Localization in Outdoor Environments

abstract: We present a complete map management process for a visual localization system designed for multi-vehicle long- term operations in resource constrained outdoor environments. Outdoor visual localization generates large amounts of data that need to be incorporated into a lifelong visual map in order to allow localization at all times and under all appearance conditions. Processing these large quantities of data is non- trivial, as it is subject to limited computational and storage capabilities both on the vehicle and on the mapping backend. We address this problem with a two-fold map update paradigm capable of, either, adding new visual cues to the map, or updating co-observation statistics. The former, in combination with offline map summarization techniques, allows enhancing the appearance coverage of the lifelong map while keeping the map size limited. On the other hand, the latter is able to significantly boost the appearance-based landmark selection for efficient online localization without incurring any additional computational or storage burden. Our evaluation in challenging outdoor conditions shows that our proposed map management process allows building and maintaining maps for precise visual localization over long time spans in a tractable and scalable fashion.


title: Constraining Non-thermal Dark Matter by CMB

abstract: A period of early matter domination can give rise to the correct dark matter abundance for a broad range of dark matter annihilation rate $\langle \sigma_{\rm ann} v \rangle_{\rm f}$. Here, we examine this scenario for situations where $\langle \sigma_{\rm ann} v \rangle_{\rm f}$ is below the nominal value for thermal dark matter $3 \times 10^{-26}$ cm$^3$ s$^{-1}$ as possibly indicated by some recent experiments. We show that obtaining the correct relic abundance sets a lower bound on the duration of early matter domination era in this case. On the other hand, provided that the post-inflationary universe has an equation of state characterized by $w \leq 1/3$, the requirement that the scalar spectral index $n_s$ be within the observationally allowed range limits the duration of this epoch from above. By combining these considerations, we show that the current and future cosmic microwave background experiments can tightly constrain the parameter space for this scenario. In particular, models of inflation with a tensor-to-scalar ratio below ${\cal O}(0.01)$ may disfavor non-thermal supersymmetric dark matter from a modulus-driven early matter domination epoch.


title: Connected $k$-factors in bipartite graphs

abstract: Let $k,l$ be two positive integers. An $S_{k,l}$ is a graph obtained from disjoint $K_{1,k}$ and $K_{1,l}$ by adding an edge between the $k$-degree vertex in $K_{1,k}$ and the $l$-degree vertex in $K_{1,l}$. An {\em $S_{k,l}$-free} graph is a graph containing no induced subgraph isomorphic to $S_{k,l}$. In this note, we show that, for any positive integers $k,l$ with $2\leqslant k\leqslant l$, there exists a constant $c=c(k,l)$ such that every connected balanced $S_{k,l}$-free bipartite graph with minimum degree at least $c$ contains a connected $k$-factor.


title: Study of Azimuthal Correlations in the Target Fragmentation Region in p, d, He, C+C, Ta and C+Ne, Cu Collisions at a Momentum of 4.2, 4.5 and 10 AGeV/c

abstract: Azimuthal correlations between the same type of particles (protons or pions) in the target fragmentation region was studied in d, He, C + C, Ta (4.2 AGeV/c), C + Ne, Cu (4.5AGeV/c) and p + C, Ta (10 GeV/c) interactions. The data were obtained from the SKM-200-GIBS streamer chamber and from Propane Bubble Chamber (PBL-500) systems utilized at JINR. Study of multiparticle azimuthal correlations offers unique information about space-time evolution of the interactions. Azimuthal correlations were investigated by using correlation function C($\Delta\phi$)=dN/d($\Delta\phi$), where $\Delta\phi$ represents the angle between the sums of transverse momenta vectors for particles emitted in the forward and backward hemispheres. For protons a "back-to back" ("negative") azimuthal correlations were observed in the above mentioned interactions. The absolute values of the correlation coefficient $|\xi|$ -- the slope parameter of C($\Delta\phi$), strongly depend on the mass number of the target ($A_T$) nuclei in the nucleon-nucleus and nucleus-nucleus collisions. Namely, $|\xi|$ -- decreases with increase of $A_T$ in p+C and p+Ta collisions, while $|\xi|$ decreases from d+C up to C+Ne and then almost does not change with increase of $A_P$, $A_T$ in (d+He)Ta, C+Cu and C+Ta collisions. For pions a "back-to-back" correlations were obtained for a light targets (C, Ne), and a "side-by-side" ("positive") correlations for a heavy targets (Cu, Ta). The $|\xi|$ insignificantly changes with increase of the momenta per nucleon and almost does not change with increase of $A_P$ and $A_T$. Models, used for description of the data -- the Ultra relativistic Quantum Molecular Dynamic (UrQMD) and Quark-Gluon String Model (QGSM), satisfactorily describe the obtained experimental results.


title: A cut finite element method for incompressible two-phase Navier-Stokes flows

abstract: We present a space-time Cut Finite Element Method (CutFEM) for the time-dependent Navier-Stokes equations involving two immiscible incompressible fluids with different viscosities, densities, and with surface tension. The numerical method is able to accurately capture the strong discontinuity in the pressure and the weak discontinuity in the velocity field across evolving interfaces without re-meshing processes or regularization of the problem. We combine the strategy proposed in [P. Hansbo, M. G. Larson, S. Zahedi, Appl. Numer. Math. 85 (2014), 90--114] for the Stokes equations with a stationary interface and the space-time strategy presented in [P. Hansbo, M. G. Larson, S. Zahedi, Comput. Methods Appl. Mech. Engrg. 307 (2016), 96--116]. We also propose a strategy for computing high order approximations of the surface tension force by computing a stabilized mean curvature vector. The presented space-time CutFEM uses a fixed mesh but includes stabilization terms that control the condition number of the resulting system matrix independently of the position of the interface, ensure stability and a convenient implementation of the space-time method based on quadrature in time. Numerical experiments in two and three space dimensions show that the numerical method is able to accurately capture the discontinuities in the pressure and the velocity field across evolving interfaces without requiring the mesh to be conformed to the interface and with good stability properties.


title: Analogies of the Qi formula for some Dowling type numbers

abstract: In the paper, the authors establish explicit formulas for the Dowling numbers and their generalizations in terms of generalizations of the Lah numbers and the Stirling numbers of the second kind. These results gen- eralize the Qi formula for the Bell numbers in terms of the Lah numbers and the Stirling numbers of the second kind.


title: Frustrated Magnetism of the Maple-Leaf-Lattice Antiferromagnet MgMn$_3$O$_7$$\cdot$3H$_2$O

abstract: We present a novel hydrated layered manganate MgMn$_3$O$_7$$\cdot$3H$_2$O as a maple-leaf-lattice (MLL) antiferromagnet candidate. The MLL is obtained by regularly depleting 1/7 of the lattice points from a triangular lattice so that the magnetic connectivity $z = 5$ and is thus intermediately frustrated between the triangular ($z = 6$) and kagom\'e ($z = 4$) lattices. In MgMn$_3$O$_7$$\cdot$3H$_2$O, the Mn$^{4+}$ ions, carrying Heisenberg spin 3/2, form a regular MLL lattice in the quasi-two-dimensional structure. Magnetization and heat capacity measurements using a hydrothermally-prepared powder sample reveal successive antiferromagnetic transitions at 5 and 15 K. A high-field magnetization curve up to 60 T at 1.3 K exhibits a multi-step plateau-like anomaly. We discuss the unique frustration of the MLL antiferromagnet in which the chiraldegree of freedom may play an important role.


title: Distributional Chaos in Random Dynamical Systems

abstract: In this paper, we introduce the notion of distributional chaos and the measure of chaos for random dynamical systems generated by two interval maps. We give some sufficient conditions for a zero measure of chaos and examples of chaotic systems. We demonstrate that the chaoticity of the functions that generate a system does not, in general, affect the chaoticity of the system, i.e., a chaotic system can arise from two nonchaotic functions and vice versa. Finally, we show that distributional chaos for random dynamical system is, in some sense, unstable.


title: Near-equilibrium measurement of quantum size effects using Kelvin probe force microscopy

abstract: In nano-structures such as thin films electron confinement results in the quantization of energy levels in the direction perpendicular to the film. The discretization of the energy levels leads to the oscillatory dependence of many properties on the film thickness due to quantum size effects. Pb on Si(111) is a specially interesting system because a particular relationship between the Pb atomic layer thickness and its Fermi wavelength leads to a periodicity of the oscillation of two atomic layers. Here, we demonstrate how the combination of scanning force microscopy (SFM) and Kelvin probe force microscopy (KPFM) provides a reliable method to monitor the quantum oscillations in the work function of Pb ultra-thin film nano-structures on Si(111). Unlike other techniques, with SFM/KPFM we directly address single Pb islands, determine their height while suppressing the influence of electrostatic forces, and, in addition, simultaneously evaluate their local work function by measurements close to equilibrium, without current-dependent and non-equilibrium effects. Our results evidence even-odd oscillations in the work function as a function of the film thickness that decay linearly with the film thickness, proving that this method provides direct and precise information on the quantum states.


title: Two Higgs Doublets and a Complex Singlet: Disentangling the Decay Topologies and Associated Phenomenology

abstract: We present a systematic study of an extension of the Standard Model (SM) with two Higgs doublets and one complex singlet (2HDM+S). In order to gain analytical understanding of the parameter space, we re-parameterize the 27 parameters in the Lagrangian by quantities more closely related to physical observables: physical masses, mixing angles, trilinear and quadratic couplings, and vacuum expectation values. Embedding the 125\,GeV SM-like Higgs boson observed at the LHC places stringent constraints on the parameter space. In particular, the mixing of the SM-like interaction state with the remaining states is severely constrained, requiring approximate alignment without decoupling in the region of parameter space where the additional Higgs bosons are light enough to be accessible at the LHC. In contrast to 2HDM models, large branching ratios of the heavy Higgs bosons into two lighter Higgs bosons or a light Higgs and a $Z$ boson, so-called Higgs cascade decays, are ubiquitous in the 2HDM+S. Using currently available limits, future projections, and our own collider simulations, we show that combining different final states arising from Higgs cascades would allow to probe most of the interesting region of parameter space with Higgs boson masses up to 1\,TeV at the LHC with $L=3000\,{\rm fb}^{-1}$ of data.


title: An Occam's Razor View on Learning Audiovisual Emotion Recognition with Small Training Sets

abstract: This paper presents a light-weight and accurate deep neural model for audiovisual emotion recognition. To design this model, the authors followed a philosophy of simplicity, drastically limiting the number of parameters to learn from the target datasets, always choosing the simplest earning methods: i) transfer learning and low-dimensional space embedding allows to reduce the dimensionality of the representations. ii) The isual temporal information is handled by a simple score-per-frame selection process, averaged across time. iii) A simple frame selection echanism is also proposed to weight the images of a sequence. iv) The fusion of the different modalities is performed at prediction level (late usion). We also highlight the inherent challenges of the AFEW dataset and the difficulty of model selection with as few as 383 validation equences. The proposed real-time emotion classifier achieved a state-of-the-art accuracy of 60.64 % on the test set of AFEW, and ranked 4th at he Emotion in the Wild 2018 challenge.


title: Geometry of the Spectral Semidistance in Banach Algebras

abstract: Let $A$ be a unital Banach algebra over $\mathbb C$, and suppose that the nonzero spectral values of, respectively, $a\mbox{ and }b\in A$ are discrete sets which cluster at $0\in\mathbb C$, if anywhere. We develop a plane geometric formula for the spectral semidistance of $a$ and $b$ which depends on the two spectra, and the orthogonality relationships between the corresponding sets of Riesz projections associated with the nonzero spectral values. Extending a result of Brits and Raubenheimer, it is further shown that $a$ and $b$ are quasinilpotent equivalent if and only if all the Riesz projections, $p(\alpha,a)$ and $p(\alpha,b)$, correspond. For certain important classes of decomposable operators (compact, Riesz, etc.) the proposed formula reduces the involvement of the underlying Banach space $X$ in the computation of the spectral semidistance, and appears to be a useful alternative to Vasilescu's geometric formula (which requires knowledge of the local spectra of the operators at each $0\not=x\in X$). The apparent advantage gained through the use of a global spectral parameter in the formula aside, the various methods of complex analysis could then be employed to deal with the spectral projections; we give examples illustrating the utility of the main results.


title: Study of short term enhanced TeV $\gamma$- ray emission from Mrk 421 observed with TACTIC on December 28, 2014

abstract: In this work, we report on the detection of enhanced TeV gamma- ray emission from the high synchrotron-peaked blazar Mrk 421 with the TACTIC telescope on the night of December 28, 2014 (MJD 57019). We use data from the TACTIC observations of Mrk 421 for one week during December 25-31, 2014 (MJD 57016-57022) in this study. The TACTIC observation on December 28, 2014 (MJD 57019) alone results in the detection of 86+-17 gamma- ray like events from Mrk 421 with a statistical significance of 5.17sigma in a livetime of ~ 2.2 hours above an energy threshold of 0.85 TeV. The high statistics (higher than three Crab Units) of TeV photons enables us to study the very high energy (VHE) gamma- ray emission from the source at shorter timescales. A minimum variability timescale of ~ 0.72 days is obtained for the TeV gamma- ray emission from Mrk 421 during the above flaring activity of the source. We have also analyzed the contemporaneous data from Fermi-LAT to study the high energy (HE) gamma- ray emission during the high activity state of the source. The HE gamma- ray emission is observed to be increasing after the TeV flaring activity detected with the TACTIC. We also use other near simultaneous archival data available from the Swift-BAT in hard X-rays and from SPOL at Steward Observatory in optical V and R bands to characterize the multi-wavelength emission of Mrk 421 during the high activity state observed at TeV energies. The TeV gamma- ray emission observed on December 28, 2014 (MJD 57019) is found to be more prominant than the emissions in lower energy bands during the same period. The TeV gamma- ray observation of Mrk 421 in high activity state with the TACTIC telescope is also used to understand the physical mechanism for blazar emission under the frame work of the leptonic single zone synchrotron self Compton process.


title: Testing heteroscedasticity for regression models based on projections

abstract: In this paper we propose a new test of heteroscedasticity for parametric regression models and partial linear regression models in high dimensional settings. When the dimension of covariates is large, existing tests of heteroscedasticity perform badly due to the \curse of dimensionality". To attack this problem, we construct a test of heteroscedasticity by using a projection-based empirical process. We study the asymptotic properties of the test statistic under the null hypothesis and alternative hypotheses. It is shown that the test can detect local alternatives departure from the null hypothesis at the fastest possible rate in hypothesis testing. As the limiting null distribution of the test statistic is not distribution free, we propose a residual-based bootstrap. The validity of the bootstrap approximations is investigated. We present some simulation results to show the finite sample performances of the test. Two real data analyses are conducted for illustration.


title: Controlled integration of MoS2 flakes on nanopores by means of electrophoretic deposition

abstract: We propose an easy and robust strategy for the versatile integration of 2D material flakes on plasmonic nanoholes by means of controlled deposition of MoS2 via electrophoretic process. The method can be applied both to simple metallic flat nanostructures and to complex 3D metallic structures both comprising nanoholes. The deposition method allows the decoration of large ordered arrays of plasmonic structures with single or few layers of MoS2. We show that the plasmonic field generated by the nanohole can interact significantly with the 2D layer, thus representing an ideal system for hybrid 2D-Material/Plasmonic investigation. The controlled and ordered integration of 2D materials on plasmonic nanostructures opens a pathway towards, for instance, enhanced light emission; strong coupling from plasmonic hybrid structures; hot electron generation; and sensors based on 2D materials.


title: Phonon number sensitive electromechanics

abstract: We use the strong intrinsic non-linearity of a microwave superconducting qubit with a 4 GHz transition frequency to directly detect and control the energy of a micro-mechanical oscillator vibrating at 25 MHz. The qubit and the oscillator are coupled electrostatically at a rate of approximately $2\pi\times$22 MHz. In this far off-resonant regime, the qubit frequency is shifted by 0.52 MHz per oscillator phonon, or about 14 % of the 3.7 MHz qubit linewidth. The qubit behaves as a vibrational energy detector and from its lineshape we extract the phonon number distribution of the oscillator. We manipulate this distribution by driving number state sensitive sideband transitions and creating profoundly non-thermal states. Finally, by driving the lower frequency sideband transition, we cool the oscillator and increase its ground state population up to 0.48$\pm$0.13, close to a factor of 8 above its value at thermal equilibrium. These results demonstrate a new class of electromechanics experiments that are a promising strategy for quantum non-demolition measurements and non-classical state preparation.


title: Transfinite fractal dimension of trees and hierarchical scale-free graphs

abstract: In this paper, we introduce a new concept: the transfinite fractal dimension of graph sequences motivated by the notion of fractality of complex networks proposed by Song et al. We show that the definition of fractality cannot be applied to networks with `tree-like' structure and exponential growth rate of neighborhoods. However, we show that the definition of fractal dimension could be modified in a way that takes into account the exponential growth, and with the modified definition, the fractal dimension becomes a proper parameter of graph sequences. We find that this parameter is related to the growth rate of trees. We also generalize the concept of box dimension further and introduce the transfinite Cesaro fractal dimension. Using rigorous proofs we determine the optimal box-covering and transfinite fractal dimension of various models: the hierarchical graph sequence model introduced by Komj\'athy and Simon, Song-Havlin-Makse model, spherically symmetric trees, and supercritical Galton-Watson trees.

categories: math.CO cs.DM cs.SI math.PR physics.soc-ph


title: Packing colouring of some classes of cubic graphs

abstract: The packing chromatic number $\chi$ $\rho$ (G) of a graph G is the smallest integer k such that its set of vertices V (G) can be partitioned into k disjoint subsets V 1 ,. .. , V k , in such a way that every two distinct vertices in V i are at distance greater than i in G for every i, 1 $\le$ i $\le$ k. Recently, Balogh, Kostochka and Liu proved that $\chi$ $\rho$ is not bounded in the class of subcubic graphs [Packing chromatic number of subcubic graphs, Discrete Math. 341 (2018), 474483], thus answering a question previously addressed in several papers. However, several subclasses of cubic or subcubic graphs have bounded packing chromatic number. In this paper, we determine the exact value of, or upper and lower bounds on, the packing chromatic number of some classes of cubic graphs, namely circular ladders, and so-called H-graphs and generalised H-graphs.


title: The scaling limit of the $(\nabla+\Delta)$-model

abstract: In this article we study the scaling limit of the interface model on $\mathbb{Z}^d$ where the Hamiltonian is given by a mixed gradient and Laplacian interaction. We show that in any dimension the scaling limit is given by the Gaussian free field. We discuss the appropriate spaces in which the convergence takes place. While in infinite volume the proof is based on Fourier analytic methods, in finite volume we rely on some discrete PDE techniques involving finite-difference approximation of elliptic boundary value problems.


title: Processing time-series of randomly forced self-oscillators: the example of beer bottle whistling

abstract: We present a model-based, output-only parameter identification method for self-sustained oscillators forced by dynamic noise, which we illustrate experimentally with an aeroacoustic setup: a turbulent jet impinging a beer bottle and producing a whistling tone in a finite range of jet angles and velocities. Given a low-order model of the system, the identification analyzes stationary time series of a single observable: acoustic pressure fluctuations in the bottle. As this observable exhibits the characteristics of weakly non-linear self-oscillations, we choose as a minimal model the Van der Pol (VdP) oscillator: a linear acoustic oscillator (bottle) subject to stochastic forcing and non-linear deterministic forcing (turbulent jet). Although very simple, the VdP oscillator driven by random noise proves to be a sufficient phenomenological description of the aeroacoustic limit cycle for model-based linear growth rate identification. The associated stochastic amplitude equation allows us to describe the stochastic fluctuations of the acoustic amplitude resulting from a competition between (i) linear growth rate from the coherent unsteady vortex force, (ii) random forcing from the turbulence, (iii) non-linear saturation of the coherent flapping of the jet. Finally, the associated adjoint Fokker-Planck equation reveals the deterministic potential well and the stochastic forcing intensity governing these random fluctuations. Additional experiments with an external control validate the identification results. We observe that different operating conditions can yield similar statistics but different dynamics, showing that the identification method can disentangle deterministic and stochastic effects in systems forced stochastically. This output-only identification approach can be used in a wide range of phenomena exhibiting stationary self-sustained oscillations in the presence of random forcing.


title: Optimal control theory for quantum electrodynamics: an initial state problem

abstract: In conventional quantum optimal control theory, the parameters that determine an external field are optimised to maximise some predefined function of the trajectory, or of the final state, of a matter system. The situation changes in the case of quantum electrodynamics, where the degrees of freedom of the radiation field are now part of the system. In consequence, instead of optimising an external field, the optimal control question turns into a optimisation problem for the many-body initial state of the combined matter-photon system. In the present work, we develop such a optimal control theory for quantum electrodynamics. We derive the equation that provides the gradient of the target function, which is often the occupation of some given state or subspace, with respect to the control variables that define the initial state. We choose the well-known Dicke model to study the possibilities of this technique. In the weak coupling regime, we find that Dicke states are the optimal matter states to reach Fock number states of the cavity mode with large fidelity, and vice versa, that Fock number states of the photon modes are the optimal states to reach the Dicke states. This picture does not prevail in the strong coupling regime. We have also considered the extended case with more than one mode. In this case, we find that increasing the number of two-level systems allows to reach a larger occupation of entangled photon targets.


title: Age of Information Upon Decisions

abstract: We consider an M/M/1 update-and-decide system where Poisson distributed decisions are made based on the received updates. We propose to characterize the freshness of the received updates at decision epochs with Age upon Decisions (AuD). Under the first-come-first-served policy (FCFS), the closed form average AuD is derived. We show that the average AuD of the system is determined by the arrival rate and the service rate, and is independent of the decision rate. Thus, merely increasing the decision rate does not improve the timeliness of decisions. Nevertheless, increasing the arrival rate and the service rate simultaneously can decrease the average AuD efficiently.


title: Characterization of infinite LSP words and endomorphisms preserving the LSP property

abstract: Answering a question of G. Fici, we give an $S$-adic characterization of thefamily of infinite LSP words, that is, the family of infinite words having all their left special factors as prefixes.More precisely we provide a finite set of morphisms $S$ and an automaton ${\cal A}$ such that an infinite word is LSP if and only if it is $S$-adic and one of its directive words is recognizable by ${\cal A}$.Then we characterize the endomorphisms that preserve the property of being LSP for infinite words.This allows us to prove that there exists no set $S'$ of endomorphisms for which the set of infinite LSP words corresponds to the set of $S'$-adic words. This implies that an automaton is required no matter which set of morphisms is used.


title: On A Mixture Of Brenier and Strassen Theorems

abstract: We give a characterization of optimal transport plans for a variant of the usual quadratic transport cost introduced in [33]. Optimal plans are composition of a deterministic transport given by the gradient of a continuously differentiable convex function followed by a martingale coupling. We also establish some connections with Caffarelli's contraction theorem [14].


title: Kink far below the Fermi level reveals new electron-magnon scattering channel in Fe

abstract: Many properties of real materials can be modeled using ab initio methods within a single-particle picture. However, for an accurate theoretical treatment of excited states, it is necessary to describe electron-electron correlations including interactions with bosons: phonons, plasmons, or magnons. In this work, by comparing spin- and momentum-resolved photoemission spectroscopy measurements to many-body calculations carried out with a newly developed first-principles method, we show that a kink in the electronic band dispersion of a ferromagnetic material can occur at much deeper binding energies than expected (E_b=1.5 eV). We demonstrate that the observed spectral signature reflects the formation of a many-body state that includes a photohole bound to a coherent superposition of renormalized spin-flip excitations. The existence of such a many-body state sheds new light on the physics of the electron-magnon interaction which is essential in fields such as spintronics and Fe-based superconductivity.


title: Achieving Heisenberg-scaling precision with projective measurement on single photons

abstract: It has been suggested that both quantum superpositions and nonlinear interactions are important resources for quantum metrology. However, to date the different roles that these two resources play in the precision enhancement are not well understood. Here, we experimentally demonstrate a Heisenberg-scaling metrology to measure the parameter governing the nonlinear coupling between two different optical modes. The intense mode with n (more than 10^6 in our work) photons manifests its effect through the nonlinear interaction strength which is proportional to its average photon-number. The superposition state of the weak mode, which contains only a single photon, is responsible for both the linear Hamiltonian and the scaling of the measurement precision. By properly preparing the initial state of single photon and making projective photon-counting measurement, the extracted classical Fisher information (FI) can saturate the quantum FI embedded in the combined state after coupling, which is ~ n^2 and leads to a practical precision ~ 1.2/n. Free from the utilization of entanglement, our work paves a way to realize Heisenberg-scaling precision when only a linear Hamiltonian is involved.


title: High throughput screening for spin-gapless semiconductors in quaternary Heusler compounds

abstract: Based on high throughput density functional theory calculations, we performed systematic screening for spin-gapless semiconductors (SGSs) in quaternary Heusler alloys XX 0 YZ (X, X 0 , and Y are transition metal elements without Tc, and Z is one of B, Al, Ga, In, Si, Ge, Sn, Pb, P, As, Sb, and Bi). Following the empirical rule, we focused on compounds with 21, 26, or 28 valence electrons, resulting in 12, 000 possible chemical compositions. After systematically evaluating the thermodynamic, mechanical, and dynamical stabilities, we successfully identified 70 stable SGSs, confirmed by explicit electronic structure calculations with proper magnetic ground states. It is demonstrated that all four types of SGSs can be realized, defined based on the spin characters of the bands around the Fermi energy, and the type-II SGSs show promising transport properties for spintronic applications. The effect of spin-orbit coupling is investigated, resulting in large anisotropic magnetoresistance and anomalous Nernst effects.


title: Ultradifferentiable CR manifolds

abstract: In this article the notion of ultradifferentiable CR manifold is introduced and an ultradifferentiable regularity result for finitely nondegenerate CR mappings is proven. Here ultradifferentiable means with respect to Denjoy-Carleman classes defined by weight sequences. Furthermore the regularity of infinitesimal CR automorphisms on ultradifferentiable abstract CR manifolds is investigated.


title: An Improved Bound for Weak Epsilon-Nets in the Plane

abstract: We show that for any finite set $P$ of points in the plane and $\epsilon>0$ there exist $\displaystyle O\left(\frac{1}{\epsilon^{3/2+\gamma}}\right)$ points in ${\mathbb{R}}^2$, for arbitrary small $\gamma>0$, that pierce every convex set $K$ with $|K\cap P|\geq \epsilon |P|$. This is the first improvement of the bound of $\displaystyle O\left(\frac{1}{\epsilon^2}\right)$ that was obtained in 1992 by Alon, B\'{a}r\'{a}ny, F\"{u}redi and Kleitman for general point sets in the plane.


title: A teaching guide of nuclear physics: the concept of bond

abstract: We propose discussions and hands-on activities for GCSE and A-level students, covering a fundamental aspect of nuclear physics: the concept of bond and the energy released (absorbed) when a bond is created (broken). This is the first of the series of papers named "A teaching guide of nuclear physics", whose main goal is to provide teaching tools and ideas to GCSE and A-level teachers, within a consistent and complete curriculum.


title: Exact Correlation Functions in Conformal Fishnet Theory

abstract: We compute exactly various 4-point correlation functions of shortest scalar operators in bi-scalar planar four-dimensional "fishnet" CFT. We apply the OPE to extract from these functions the exact expressions for the scaling dimensions and the structure constants of all exchanged operators with an arbitrary Lorentz spin. In particular, we determine the conformal data of the simplest unprotected two-magnon operator analogous to the Konishi operator, as well as of the one-magnon operator. We show that at weak coupling 4-point correlation functions can be systematically expanded in terms of harmonic polylogarithm functions and verify our results by explicit calculation of Feynman graphs at a few orders in the coupling. At strong coupling we obtain that the correlation functions exhibit the scaling behaviour typical for semiclassical description hinting at the existence of the holographic dual.


title: Converse theorem on a contraction metric for a periodic orbit

abstract: Contraction analysis uses a local criterion to prove the long-term behaviour of a dynamical system. A contraction metric is a Riemannian metric with respect to which the distance between adjacent solutions contracts. If adjacent solutions in all directions perpendicular to the flow are contracted, then there exists a unique periodic orbit, which is exponentially stable and we obtain a bound on the rate of exponential attraction. In this paper we study the converse question and show that, given an exponentially stable periodic orbit, a contraction metric exists on its basin of attraction and we can recover the bound on the rate of exponential attraction.


title: Versal Normal Form for Nonsemisimple Singularities

abstract: The theory of versal normal form has been playing a role in normal form since the introduction of the concept by V.I. Arnol'd. But there has been no systematic use of it that is in line with the semidirect character of the group of formal transformations on formal vector fields, that is, the linear part should be done completely first, before one computes the nonlinear terms. In this paper we address this issue by giving a complete description of a first order calculation in the case of the two- and three-dimensional irreducible nilpotent cases, which is then followed up by an explicit almost symplectic calculation to find the transformation to versal normal form in a particular fluid dynamics problem and in the celestial mechanics \(L_4\) problem.


title: On a matrix-valued PDE characterizing a contraction metric for a periodic orbit

abstract: The stability and the basin of attraction of a periodic orbit can be determined using a contraction metric, i.e., a Riemannian metric with respect to which adjacent solutions contract. A contraction metric does not require knowledge of the position of the periodic orbit and is robust to perturbations. In this paper we characterize such a Riemannian contraction metric as matrix-valued solution of a linear first-order Partial Differential Equation. This will enable the explicit construction of a contraction metric by numerically solving this equation in future work. In this paper we prove existence and uniqueness of the solution of the PDE and show that it defines a contraction metric.


title: On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation

abstract: We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of the entire system. To do so, our approach introduces a data-structure that i) keeps track of the execution of an automaton, ii) has predictable parameters and size, and iii) guarantees strong eventual consistency. The second approach defines decentralized specifications wherein multiple specifications are provided for separate parts of the system. We study two properties of decentralized specifications pertaining to monitorability and compatibility between specification and architecture. We also present a general algorithm for monitoring decentralized specifications. We map three existing algorithms to our approaches and provide a framework for analyzing their behavior. Furthermore, we introduce THEMIS, a framework for designing such decentralized algorithms and simulating their behavior. We show the usage of THEMIS to compare multiple algorithms and verify the trends predicted by the analysis by studying two scenarios: a synthetic benchmark and a real example.


title: Adaptive Optics for Extremely Large Telescopes

abstract: Adaptive Optics has become a key technology for the largest ground-based telescopes currently under or close to begin of construction. Adaptive optics is an indispensable component and has basically only one task, that is to operate the telescope at its maximum angular resolution, without optical degradations resulting from atmospheric seeing. Based on three decades of experience using adaptive optics usually as an add-on component, all extremely large telescopes and their instrumentation are designed for diffraction limited observations from the very beginning. This review illuminates the various approaches of the Extremely Large Telescope, the Giant Magellan Telescope, and the Thirty-Meter Telescope, to fully integrate adaptive optics in their designs. The article concludes with a brief look into the requirements that high-contrast imaging poses on adaptive optics.


title: Energy flow and momentum under paraxial regime

abstract: The paraxial model of propagation is an approximation to the model described by the d'Alembert equation. It is widely used to describe beam propagation and near-field diffraction patterns. Therefore, its use in optics and acoustics engineering is rather general. On the other hand, energetic balance and momentum in the electromagnetic or acoustic frameworks are well-known and lay in their own physical context. When dealing with paraxial solutions, these analyses are not so clear since paraxial propagation is not supported by the electromagnetic or mechanic theory. The present document establishes the fundamental energy and momentum analysis for paraxial solutions based on the classical approach by studying a Lagrangian density associated to the paraxial equation. Solutions of the paraxial wave equation, such as plane waves, Green's function and Gaussian beams, are studied under this scheme.


title: Some theorems on Leibniz $n$-algebras from the category $\textbf{U}_n(\textbf{Lb})$

abstract: We study the Leibniz $n$-algebra $\textbf{U}_n(\mathfrak{L})$, whose multiplication is defined via the bracket of a Leibniz algebra $\mathfrak{L}$ as $[x_1,\dots,x_n]=[x_1,[\dots, [x_{n-2},[x_{n-1},x_n]]\dots]]$. We show that $\textbf{U}_n(\mathfrak{L})$ is simple if and only if $\mathfrak{L}$ is a simple Lie algebra. An analogue of Levi's theorem for Leibniz algebras in $\textbf{U}_n(\textbf{Lb})$ is established and it is proven that the Leibniz $n$-kernel of $\textbf{U}_n(\mathfrak{L})$ for any semisimple Leibniz algebra $\mathfrak{L}$ is the $n$-algebra $\textbf{U}_n(\mathfrak{L})$.


title: The roll call interpretation of the Shapley value

abstract: The Shapley value is commonly illustrated by roll call votes in which players support or reject a proposal in sequence. If all sequences are equiprobable, a voter's Shapley value can be interpreted as the probability of being pivotal, i.e., to bring about the required majority or to make this impossible for others. We characterize the joint probability distributions over cooperation patterns that permit this roll call interpretation: individual votes may be interdependent but must be exchangeable.


title: Continuous phase spaces and the time evolution of spins: star products and spin-weighted spherical harmonics

abstract: We study continuous phase spaces of single spins and develop a complete description of their time evolution. The time evolution is completely specified by so-called star products. We explicitly determine these star products for general spin numbers using a simplified approach which applies spin-weighted spherical harmonics. This approach naturally relates phase spaces of increasing spin number to their quantum-optical limit and allows for efficient approximations of the time evolution for large spin numbers. We also approximate phase-space representations of certain quantum states that are challenging to calculate for large spin numbers. All of these applications are explored in concrete examples and we outline extensions to coupled spin systems.


title: On the possible common origin of M16 and M17

abstract: It has been suggested that the well-studied giant HII regions M16 and M17 may have had a common origin, being an example of large-scale triggered star formation. While some features of the distribution of the interstellar medium in the region support this interpretation, no definitive detection of an earlier population of massive stars responsible for the triggering has been made thus far. We have carried out observations looking for red supergiants in the area covered by a giant shell seen in HI and CO centered on galactic coordinates $l \sim 14^\circ 5$, $b\sim +1^\circ$ that peaks near the same radial velocity as the bulk of the emission from both giant HII regions, which are located along the shell. Red supergiants have ages in the range expected for the parent association whose most massive members could have triggered the formation of the shell and of the giant HII regions along its rim. Out of a sample of 37 bright red stars, we identify four red supergiants that confirm the existence of massive stars in the age range between $\sim 10$ and $\sim 30$~Myr in the area. At least three of them have Gaia DR2 parallaxes consistent with them being at the same distance as M16 and M17. The evidence of past massive star formation within the area of the gaseous shell lends support to the idea that it was formed by the combined action of stellar winds and ionizing radiation of the precursors of the current red supergiants. These could be the remnants of a richer population, whose most massive members have exploded already as core-collapse supernovae. The expansion of the shell against the surrounding medium, perhaps combined with the overrun of preexisting clouds, is thus a plausible trigger of the formation of a second generation of stars currently responsible for the ionization of M16 and M17.


title: Heavy quasiparticle bands in the underscreened quasiquartet Kondo lattice

abstract: We study the quasiparticle spectrum in an underscreened Kondo-lattice (KL) model that involves a single spin degenerate conduction band and two crystalline-electric-field (CEF) split Kramers doublets coupled by both orbital-diagonal and non-diagonal exchange interactions. We find the three quasiparticle bands of the model using a constrained fermionic mean field approach. While two bands are similar to the one-orbital model a new genuinely heavy band inside the main hybridization gap appears in the quasiquartet model. Its dispersion is due to effective hybridization with conduction states but the bandwidth is controled by the size of the CEF splitting. Furthermore several new indirect and direct hybridztion gaps may be identified. By solving the selfconsistency equation we calculate the CEF- splitting and exchange dependence of effective Kondo low energy scale, hybridization gaps and band widths. We also derive the quasiparticle spectral densities and their partial orbital contributions. We suggest that the two-orbital KL model can exhibit mixed CEF/Kondo excitonic magnetism.