title: Observation of planar Hall effect in Type-II Dirac semimetal PtTe$_{2}$

abstract: We report experimental observation of the Planar Hall effect (PHE) in a type-II Dirac semimetal PtTe$_2$. This unusual Hall effect is not expected in nonmagnetc materials such as PtTe$_2$, and has been observed previously mostly in magnetic semiconductors or metals. Remarkably, the PHE in PtTe$_2$ can be observed up to temperatures near room temperature which indicates the robustness of the effect. This is in contrast to the chiral anomaly induced negative longitudnal magnetoresistance (LMR), which can be observed only in the low temperature regime and is sensitive to extrinsic effects, such as current jetting and chemical inhomogeneities in crystals of high mobility. Planar Hall effect on the other hand is a purely intrinsic effect generated by the Berry curvature in Weyl semimetals. Additionally, the PHE is observed for PtTe$_2$ even though the Dirac node is $\approx 0.8$~eV away from the Fermi level. Thus our results strongly indicate that PHE can be used as a crucial transport diagnostic for topological character even for band structures with Dirac nodes slightly away from the Fermi energy.


title: Non-attracting Regions of Local Minima in Deep and Wide Neural Networks

abstract: Understanding the loss surface of neural networks is essential for the design of models with predictable performance and their success in applications. Experimental results suggest that sufficiently deep and wide neural networks are not negatively impacted by suboptimal local minima. Despite recent progress, the reason for this outcome is not fully understood. Could deep networks have very few, if at all, suboptimal local optima? or could all of them be equally good? We provide a construction to show that suboptimal local minima (i.e., non-global ones), even though degenerate, exist for fully connected neural networks with sigmoid activation functions. The local minima obtained by our construction belong to a connected set of local solutions that can be escaped from via a non-increasing path on the loss curve. For extremely wide neural networks of decreasing width after the wide layer, we prove that every suboptimal local minimum belongs to such a connected set. This provides a partial explanation for the successful application of deep neural networks. In addition, we also characterize under what conditions the same construction leads to saddle points instead of local minima for deep neural networks.


title: Turbulent route to two-dimensional soft crystals

abstract: We investigate the effects of a two-dimensional, incompressible, turbulent flow on mono-disperse soft granular particles and show the emergence of a crystalline phase due to the interplay of Stokesian drag (measured through the Stokes number) and short-range inter-particle interactions. We quantify this phase through the bond order parameter and local density fluctuations and find a sharp transition between the crystalline and non-crystalline phase as a function of the Stokes number. Furthermore, the nature of preferential concentration, as characterised by the radial distribution function and the correlation dimension $D_2$, is significantly different from that of particle-laden flows in the absence of repulsive potentials.


title: Feedback alignment in deep convolutional networks

abstract: Ongoing studies have identified similarities between neural representations in biological networks and in deep artificial neural networks. This has led to renewed interest in developing analogies between the backpropagation learning algorithm used to train artificial networks and the synaptic plasticity rules operative in the brain. These efforts are challenged by biologically implausible features of backpropagation, one of which is a reliance on symmetric forward and backward synaptic weights. A number of methods have been proposed that do not rely on weight symmetry but, thus far, these have failed to scale to deep convolutional networks and complex data. We identify principal obstacles to the scalability of such algorithms and introduce several techniques to mitigate them. We demonstrate that a modification of the feedback alignment method that enforces a weaker form of weight symmetry, one that requires agreement of weight sign but not magnitude, can achieve performance competitive with backpropagation. Our results complement those of Bartunov et al. (2018) and Xiao et al. (2018b) and suggest that mechanisms that promote alignment of feedforward and feedback weights are critical for learning in deep networks.


title: Search for a heavy resonance decaying to a top quark and a vector-like top quark in the lepton+jets final state in pp collisions at $\sqrt{s} =$ 13 TeV

abstract: A search is presented for a heavy spin-1 resonance Z' decaying to a top quark and a vector-like top quark partner T in the lepton+jets final state. The search is performed using a data set of pp collisions at a centre-of-mass energy of 13 TeV corresponding to an integrated luminosity of 35.9 fb$^{-1}$ as recorded by the CMS experiment at the CERN LHC in the year 2016. The analysis is optimised for final states arising from the T decay modes to a top quark and a Higgs or Z boson (T $\to$ Ht, Zt). The event selection makes use of resolved and merged top quark decay products, as well as decays of boosted Higgs bosons and Z and W bosons using jet substructure techniques. No significant deviation from the standard model background expectation is observed. Exclusion limits on the product of the cross section and branching fraction for Z' $\to$ ttT, T $\to$ Ht, Zt, Wb are presented for various combinations of the Z' resonance mass and the vector-like T quark mass. These results represent the most stringent limits to date for the decay mode Z' $\to$ tT $\to$ tHt. In a benchmark model with extra dimensions, invoking a heavy spin-1 resonance G$^*$, masses of the G$^*$ between 1.5 and 2.3 TeV and between 2.0 and 2.4 TeV are excluded for T masses of 1.2 and 1.5 TeV, respectively.


title: Cluster radioactivity of $^{294}_{118}$Og$_{176}$

abstract: According to theory, cluster radioactivity becomes an important decay mode in superheavy nuclei. In this work, we predict that the strongly-asymmetric fission, or cluster emission, is in fact the dominant fission channel for $^{294}_{118}$Og$_{176}$, which is currently the heaviest synthetic isotope known. Our theoretical approach incorporates important features of fission dynamics, including quantum tunneling and stochastic dynamics up to scission. We show that, despite appreciable differences in static fission properties such as fission barriers and spontaneous fission lifetimes, the prediction of cluster radioactivity in $^{294}_{118}$Og$_{176}$ is robust with respect to the details of calculations, including the choice of energy density functional, collective inertia, and the strength of the dissipation term.


title: Multiple testing with persistent homology

abstract: In this paper we propose a computationally efficient multiple hypothesis testing procedure for persistent homology. The computational efficiency of our procedure is based on the observation that one can empirically simulate a null distribution that is universal across many hypothesis testing applications involving persistence homology. Our observation suggests that one can simulate the null distribution efficiently based on a small number of summaries of the collected data and use this null in the same way that p-value tables were used in classical statistics. To illustrate the efficiency and utility of the null distribution we provide procedures for rejecting acyclicity with both control of the Family-Wise Error Rate (FWER) and the False Discovery Rate (FDR). We will argue that the empirical null we propose is very general conditional on a few summaries of the data based on simulations and limit theorems for persistent homology for point processes.


title: Performance Evaluation of Big Data Processing Strategies for Neuroimaging

abstract: Neuroimaging datasets are rapidly growing in size as a result of advancements in image acquisition methods, open-science and data sharing. However, the adoption of Big Data processing strategies by neuroimaging processing engines remains limited. Here, we evaluate three Big Data processing strategies (in-memory computing, data locality and lazy evaluation) on typical neuroimaging use cases, represented by the BigBrain dataset. We contrast these various strategies using Apache Spark and Nipype as our representative Big Data and neuroimaging processing engines, on Dell EMC's Top-500 cluster. Big Data thresholds were modelled by comparing the data-write rate of the application to the filesystem bandwidth and number of concurrent processes. This model acknowledges the fact that page caching provided by the Linux kernel is critical to the performance of Big Data applications. Results show that in-memory computing alone speeds-up executions by a factor of up to 1.6, whereas when combined with data locality, this factor reaches 5.3. Lazy evaluation strategies were found to increase the likelihood of cache hits, further improving processing time. Such important speed-up values are likely to be observed on typical image processing operations performed on images of size larger than 75GB. A ballpark speculation from our model showed that in-memory computing alone will not speed-up current functional MRI analyses unless coupled with data locality and processing around 280 subjects concurrently. Furthermore, we observe that emulating in-memory computing using in-memory file systems (tmpfs) does not reach the performance of an in-memory engine, presumably due to swapping to disk and the lack of data cleanup. We conclude that Big Data processing strategies are worth developing for neuroimaging applications.


title: A numerical calculation of the electronic specific heat for the compound Sr$_2$RuO$_4$ below its superconducting transition temperature

abstract: In this work, a numerical study of the superconducting specific heat of the unconventional multiband superconductor Strontium Ruthenate is performed. Two band gaps models are employed, and the results rendered for each of them are compared. One of the models, previously proposed by one of the authors to explain the experimental temperature behavior of the ultrasound attenuation, considers two gaps with point nodes of different magnitude on different gap surface sheets, while the other one is an isotropic and line node model, reported in the literature for describing quantitatively experimental specific heat data. The superconducting density of states DOS is computed by employing these two models and then, a detailed numerical study of the electronic specific heat, that includes the contribution from the different Fermi sheets, is carried out. It is found that the calculated point node model specific heat temperature behavior shows an excellent agreement with the existent Sr$_2$RuO$_4$ experimental data at zero field, particularly, it is obtained that the observed specific heat jump at T$_c$ is precisely reproduced. Also, it is found that the sum of the contributions from the different bands fits quantitatively the measured specific heat data. The results in this work evidence that the Sr$_2$RuO$_4$ superconducting states are of unconventional nature, corresponding to those of a point node superconductor, and show the importance of taking into account the multiband nature of the material when calculating thermodynamic superconducting quantities.


title: Symmetry Field Breaking Effects in Sr$_2$RuO$_4$

abstract: In this work, after reviewing the theory of the elastic properties of Strontium ruthenate, an extension suitable to explain the sound speed experiments of Lupien et. al. \protect\cite{lup2} and Clifford et. al. \protect\cite{clif1} is carried out. It is found that the discontinuity in the elastic constant C$_{66}$ gives unambiguous experimental evidence that the \sr superconducting order parameter $\Psi$ has two components and shows a broken time-reversal symmetry state. A detailed study of the elastic behavior is performed by means of a phenomenological theory employing the Ginzburg-Landau formalism.


title: Period relations for Riemann surfaces with many automorphisms

abstract: By employing the theory of vector-valued automorphic forms for non-unitarizable representations, we provide a new bound for the number of linear relations with algebraic coefficients between the periods of an algebraic Riemann surface with many automorphisms. The previous best-known general bound for this number was the genus of the Riemann surface, a result due to Wolfart. Our new bound significantly improves on this estimate, and it can be computed explicitly from the canonical representation of the Riemann surface. As observed by Shiga and Wolfart, this bound may then be used to estimate the dimension of the endomorphism algebra of the Jacobian of the Riemann surface. We demonstrate with a few examples how this improved bound allows one, in some instances, to actually compute the dimension of this endomorphism algebra, and to determine whether the Jacobian has complex multiplication.


title: Projection inequalities for antichains

abstract: A set $A \subseteq {\mathbb{R}}^n$ is called an antichain (resp. antichain) if it does not contain two distinct elements ${\mathbf x}=(x_1,\ldots, x_n)$ and ${\mathbf y}=(y_1,\ldots, y_n)$ satisfying $x_i\le y_i$ (resp. $x_i < y_i$) for all $i\in \{1,\ldots,n\}$. We show that the Hausdorff dimension of a weak antichain $A$ in the $n$-dimensional unit cube $[0,1]^n$ is at most $n-1$ and that the $(n-1)$-dimensional Hausdorff measure of $A$ is at most $n$, which are the best possible bounds. This result is derived as a corollary of the following {\it projection inequality}, which may be of independent interest: The $(n-1)$-dimensional Hausdorff measure of a (weak) antichain $A\subseteq [0, 1]^n$ cannot exceed the sum of the $(n-1)$-dimensional Hausdorff measures of the $n$ orthogonal projections of $A$ onto the facets of the unit $n$-cube containing the origin. For the proof of this result we establish a discrete variant of the projection inequality applicable to weak antichains in ${\mathbb Z}^n$ and combine it with ideas from geometric measure theory.


title: Temperature dependence of resistivity at the transition to a charge density wave state in rare-earth tritellurides

abstract: About a half of the Fermi surface in rare-earth tritellurides RT e3 becomes gapped below the transition to a charge-density-wave (CDW) state, as revealed by ARPES data. However, the observed jump in resistivity during the CDW transition is less than 20%. Previously this phenomenon was explained by hypothesizing a very slow evolution of CDW energy gap below transition temperature in RTe3 compounds, which contradicts the X-ray measurements. Here we show that this weak change in resistivity can be explained in the framework of standard mean-field temperature dependence of the CDW energy gap in agreement with X-ray data. The change of resistivity caused by CDW is weak because the decrease in conducting electron density at the Fermi level is almost compensated by the decrease in their scattering rate. We calculate resistivity in RTe3 compounds using the Boltzmann transport equation and the mean-field description of the CDW state, and obtain a good agreement with experimental data.


title: Instantons on hyperk\"ahler manifolds

abstract: An instanton $(E, D)$ on a (pseudo-)hyperk\"ahler manifold $M$ is a vector bundle $E$ associated to a principal $G$-bundle with a connection $D$ whose curvature is pointwise invariant under the quaternionic structures of $T_x M, \ x\in M$, and thus satisfies the Yang-Mills equations. Revisiting a construction of solutions, we prove a local bijection between gauge equivalence classes of instantons on $M$ and equivalence classes of certain holomorphic functions taking values in the Lie algebra of $G^\mathbb{C}$ defined on an appropriate $SL_2(\mathbb{C})$-bundle over $M$. Our reformulation affords a streamlined proof of Uhlenbeck's Compactness Theorem for instantons on (pseudo-)hyperk\"ahler manifolds.


title: HoVer-Net: Simultaneous Segmentation and Classification of Nuclei in Multi-Tissue Histology Images

abstract: Nuclear segmentation and classification within Haematoxylin & Eosin stained histology images is a fundamental prerequisite in the digital pathology work-flow. The development of automated methods for nuclear segmentation and classification enables the quantitative analysis of tens of thousands of nuclei within a whole-slide pathology image, opening up possibilities of further analysis of large-scale nuclear morphometry. However, automated nuclear segmentation and classification is faced with a major challenge in that there are several different types of nuclei, some of them exhibiting large intra-class variability such as the tumour cells. Additionally, some of the nuclei are often clustered together. To address these challenges, we present a novel convolutional neural network for simultaneous nuclear segmentation and classification that leverages the instance-rich information encoded within the vertical and horizontal distances of nuclear pixels to their centres of mass. These distances are then utilised to separate clustered nuclei, resulting in an accurate segmentation, particularly in areas with overlapping instances. Then for each segmented instance, the network predicts the type of nucleus via a devoted up-sampling branch. We demonstrate state-of-the-art performance compared to other methods on multiple independent multi-tissue histology image datasets. As part of this work, we introduce a new dataset of Haematoxylin & Eosin stained colorectal adenocarcinoma image tiles, containing 24,319 exhaustively annotated nuclei with associated class labels.


title: Bound states of a pair of particles on the half-line with a general interaction potential

abstract: In this paper we study an interacting two-particle system on the positive half-line. We focus on spectral properties of the Hamiltonian for a large class of two-particle potentials. We characterize the essential spectrum and prove, as a main result, the existence of eigenvalues below the bottom of it. We also prove that the discrete spectrum contains only finitely many eigenvalues.


title: Proactive Video Chunks Caching and Processing for Latency and Cost Minimization in Edge Networks

abstract: Recently, the growing demand for rich multimedia content such as Video on Demand (VoD) has made the data transmission from content delivery networks (CDN) to end-users quite challenging. Edge networks have been proposed as an extension to CDN networks to alleviate this excessive data transfer through caching and to delegate the computation tasks to edge servers. To maximize the caching efficiency in the edge networks, different Mobile Edge Computing (MEC) servers assist each others to effectively select which content to store and the appropriate computation tasks to process. In this paper, we adopt a collaborative caching and transcoding model for VoD in MEC networks. However, unlike other models in the literature, different chunks of the same video are not fetched and cached in the same MEC server. Instead, neighboring servers will collaborate to store and transcode different video chunks and consequently optimize the limited resources usage. Since we are dealing with chunks caching and processing, we propose to maximize the edge efficiency by studying the viewers watching pattern and designing a probabilistic model where chunks popularities are evaluated. Based on this model, popularity-aware policies, namely Proactive caching policy (PcP) and Cache replacement Policy (CrP), are introduced to cache only highest probably requested chunks. In addition to PcP and CrP, an online algorithm (PCCP) is proposed to schedule the collaborative caching and processing. The evaluation results prove that our model and policies give better performance than approaches using conventional replacement policies. This improvement reaches up to 50% in some cases.


title: A Logarithmic Barrier Method For Proximal Policy Optimization

abstract: Proximal policy optimization(PPO) has been proposed as a first-order optimization method for reinforcement learning. We should notice that an exterior penalty method is used in it. Often, the minimizers of the exterior penalty functions approach feasibility only in the limits as the penalty parameter grows increasingly large. Therefore, it may result in the low level of sampling efficiency. This method, which we call proximal policy optimization with barrier method (PPO-B), keeps almost all advantageous spheres of PPO such as easy implementation and good generalization. Specifically, a new surrogate objective with interior penalty method is proposed to avoid the defect arose from exterior penalty method. Conclusions can be draw that PPO-B is able to outperform PPO in terms of sampling efficiency since PPO-B achieved clearly better performance on Atari and Mujoco environment than PPO.


title: Point-like Rashba interactions as singular self-adjoint extensions of the Schr\"{o}dinger operator in one dimension

abstract: We consider singular self-adjoint extensions for the Schr\"{o}dinger operator of spin-$1/2$ particle in one dimension. The corresponding boundary conditions at a singular point are obtained. There are boundary conditions with the spin-flip mechanism, i.e. for these point-like interactions the spin operator does not commute with the Hamiltonian. One of these extensions is the analog of zero-range $\delta$-potential. The other one is the analog of so called $\delta^{(1)}$-interaction. We show that in physical terms such contact interactions can be identified as the point-like analogues of Rashba Hamiltonian (spin-momentum coupling) due to material heterogeneity of different types. The dependence of the transmissivity of some simple devices on the strength of the Rashba coupling parameter is discussed. Additionally, we show how these boundary conditions can be obtained in the non-relativistic limit of Dirac Hamiltonian.


title: Measurement and interpretation of differential cross sections for Higgs boson production at $\sqrt{s} =$ 13 TeV

abstract: Differential Higgs boson (H) production cross sections are sensitive probes for physics beyond the standard model. New physics may contribute in the gluon-gluon fusion loop, the dominant Higgs boson production mechanism at the LHC, and manifest itself through deviations from the distributions predicted by the standard model. Combined spectra for the H $\to$ $\gamma\gamma$, H $\to$ ZZ, and H $\to$ $\mathrm{b\overline{b}}$ decay channels and the inclusive Higgs boson production cross section are presented, based on proton-proton collision data recorded with the CMS detector at $\sqrt{s} =$ 13 TeV corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The transverse momentum spectrum is used to place limits on the Higgs boson couplings to the top, bottom, and charm quarks, as well as its direct coupling to the gluon field. No significant deviations from the standard model are observed in any differential distribution. The measured total cross section is 61.1 $\pm$ 6.0 (stat) $\pm$ 3.7 (syst) pb, and the precision of the measurement of the differential cross section of the Higgs boson transverse momentum is improved by about 15% with respect to the H $\to$ $\gamma\gamma$ channel alone.


title: A Mini-review on Vector-like Leptonic Dark Matter, Neutrino Mass and Collider Signatures

abstract: We review a class of models in which the Standard Model (SM) is augmented by vector-like leptons: one doublet and a singlet, which are odd under an unbroken discrete $Z_2$ symmetry. As a result, the neutral component of these additional vector-like leptons are stable and behave as dark matter. We study the phenomenological constraints on the model parameters and elucidate the parameter space for relic density, direct detection and collider signatures of dark matter. In such models, we further add a scalar triplet of hypercharge two and study the consequences. In particular, after electro weak symmetry breaking (EWSB), the triplet scalar gets an induced vacuum expectation value (vev), which yield Majorana masses not only to the light neutrinos but also to vector-like leptonic doublet DM. Due to the Majorana mass of DM, the $Z$ mediated elastic scattering with nucleon is forbidden and hence allowing the model to survive from stringent direct search bound. The DM without scalar triplet lives in a small singlet-doublet leptonic mixing region ($\sin\theta \le 0.1$) due to large contribution from singlet component and have small mass difference ($\Delta m \sim 10$ GeV) with charged companion, the NLSP (next to lightest stable particle), to aid co-annihilation for yielding correct relic density. Both these observations change to certain extent in presence of scalar triplet to aid observability of hadronically quiet leptonic final states at LHC, while one may also confirm/rule-out the model through displaced vertex signal of NLSP, a characteristic signature of the model in relic density and direct search allowed parameter space.


title: Coupling-assisted Landau-Majorana-Stuckelberg-Zener transition in two-interacting-qubit systems

abstract: We analyse a system of two interacting spin-qubits subjected to a Landau-Majorana-St\"uckelberg-Zener (LMSZ) ramp. We prove that LMSZ transitions of the two spin-qubits are possible without an external transverse static field since its role is played by the coupling between the spin-qubits. We show how such a physical effect could be exploited to estimate the strength of the interaction between the two spin-qubits and to generate entangled states of the system by appropriately setting the slope of the ramp. Moreover, the study of effects of the coupling parameters on the time-behaviour of the entanglement is reported. Finally, our symmetry-based approach allows us to discuss also effects stemming from the presence of a classical noise or non-Hermitian dephasing terms.


title: Classification using Ensemble Learning under Weighted Misclassification Loss

abstract: Binary classification rules based on covariates typically depend on simple loss functions such as zero-one misclassification. Some cases may require more complex loss functions. For example, individual-level monitoring of HIV-infected individuals on antiretroviral therapy (ART) requires periodic assessment of treatment failure, defined as having a viral load (VL) value above a certain threshold. In some resource limited settings, VL tests may be limited by cost or technology, and diagnoses are based on other clinical markers. Depending on scenario, higher premium may be placed on avoiding false-positives which brings greater cost and reduced treatment options. Here, the optimal rule is determined by minimizing a weighted misclassification loss/risk. We propose a method for finding and cross-validating optimal binary classification rules under weighted misclassification loss. We focus on rules comprising a prediction score and an associated threshold, where the score is derived using an ensemble learner. Simulations and examples show that our method, which derives the score and threshold jointly, more accurately estimates overall risk and has better operating characteristics compared with methods that derive the score first and the cutoff conditionally on the score especially for finite samples.


title: Dirac cone in a non-honeycomb surface alloy

abstract: We demonstrate unexpected occurrence of linear bands resembling Dirac cone at the zone-center of Au$_2$Sn surface alloy with $\left( \begin{smallmatrix} 2&1\\ 1&3 \end{smallmatrix} \right)$ surface structure formed by deposition of about 0.9 ML Sn on Au(111) at elevated temperature. The surface exhibits an oblique symmetry with unequal lattice constants making it the first two dimensional surface alloy to exhibit Dirac cone with a non-honeycomb lattice.


title: Non-invasive measuring method of skin temperature based on skin sensitivity index and deep learning

abstract: In human-centered intelligent building, real-time measurements of human thermal comfort play critical roles and supply feedback control signals for building heating, ventilation, and air conditioning (HVAC) systems. Due to the challenges of intra- and inter-individual differences and skin subtleness variations, there is no satisfactory solution for thermal comfort measurements until now. In this paper, a non-invasive measuring method based on skin sensitivity index and deep learning (NISDL) was proposed to measure real-time skin temperature. A new evaluating index, named skin sensitivity index (SSI), was defined to overcome individual differences and skin subtleness variations. To illustrate the effectiveness of SSI proposed, two multi-layers deep learning framework (NISDL method I and II) was designed and the DenseNet201 was used for extracting features from skin images. The partly personal saturation temperature (NIPST) algorithm was use for algorithm comparisons. Another deep learning algorithm without SSI (DL) was also generated for algorithm comparisons. Finally, a total of 1.44 million image data was used for algorithm validation. The results show that 55.6180% and 52.2472% error values (NISDL method I, II) are scattered at [0, 0.25), and the same error intervals distribution of NIPST is 35.3933%.


title: The limit of artificial intelligence: Can machines be rational?

abstract: This paper studies the question on whether machines can be rational. It observes the existing reasons why humans are not rational which is due to imperfect and limited information, limited and inconsistent processing power through the brain and the inability to optimize decisions and achieve maximum utility. It studies whether these limitations of humans are transferred to the limitations of machines. The conclusion reached is that even though machines are not rational advances in technological developments make these machines more rational. It also concludes that machines can be more rational than humans.


title: On the Structure of Limiting Flocks in Hydrodynamic Euler Alignment Models

abstract: The goal of this note is to study limiting behavior of a self-organized continuous flock evolving according to the 1D hydrodynamic Euler Alignment model. We provide a series of quantitative estimates that show how far the density of the limiting flock is from a uniform distribution. The key quantity that controls density distortion is the entropy $\mathcal{H} = \int \rho \log \rho \,\mbox{d}x$, and the measure of deviation from uniformity is given by a well-known conserved quantity $e = u' + \mathcal{L}_\psi \rho$, where $u$ is velocity and $\mathcal{L}_\psi $ is the communication operator with kernel $\psi$. The cases of Lipschitz, singular geometric, and topological kernels are covered in the study.


title: On the Milnor formula in arbitrary characteristic

abstract: The Milnor formula $\mu=2\delta-r+1$ relates the Milnor number $\mu$, the double point number $\delta$ and the number $r$ of branches of a plane curve singularity. It holds over the fields of characteristic zero. Melle and Wall based on a result by Deligne proved the inequality $\mu\geq 2\delta-r+1$ in arbitrary characteristic and showed that the equality $\mu=2\delta-r+1$ characterizes the singularities with no wild vanishing cycles. In this note we give an account of results on the Milnor formula in characteristic $p$. It holds if the plane singularity is Newton non-degenerate (Boubakri et al. Rev. Mat. Complut. (2010) 25) or if $p$ is greater than the intersection number of the singularity with its generic polar (Nguyen H.D., Annales de l'Institut Fourier, Tome 66 (5) (2016)). Then we improve our result on the Milnor number of irreducible singularities (Bull. London Math. Soc. 48 (2016)). Our considerations are based on the properties of polars of plane singularities in characteristic $p$.


title: Assessing the predictability of Medicanes in ECMWF ensemble forecasts using an object-based approach

abstract: The predictability of eight southern European tropical-like cyclones, seven of which Medicanes, is studied evaluating ECMWF operational ensemble forecasts against operational analysis data. Forecast cyclone trajectories are compared to the cyclone trajectory in the analysis by means of a dynamic time warping technique, which allows to find a match in terms of their overall spatio-temporal similarity. Each storm is treated as an object and its forecasts are analysed using metrics that describe intensity, symmetry, compactness, and upper-level thermal structure. This object-based approach allows to focus on specific storm features, while tolerating their shifts in time and space to some extent. The compactness and symmetry of the storms are generally underpredicted, especially at long lead times. However, forecast accuracy tends to strongly improve at short lead times, indicating that the ECMWF ensemble forecast model can adequately reproduce Medicanes, albeit only few days in advance. In particular, late forecasts which have been initialised when the cyclone has already developed are distinctly more accurate than earlier forecasts in predicting its kinematic and thermal structure, confirming previous findings of high sensitivity of Medicane simulations to initial conditions. Findings reveal a markedly non-gradual evolution of ensemble forecasts with lead time. Specifically, a rapid increase in the probability of cyclone occurrence ("forecast jump") is seen in most cases, generally between 5 and 7 days lead time. Jumps are also found for ensemble median and/or spread for storm thermal structure forecasts. This behaviour is compatible with the existence of predictability barriers. On the other hand, storm position forecasts often exhibit a consistent spatial distribution of storm position uncertainty and bias between consecutive forecasts.


title: Non-Linear Thermovoltage in a Single-Electron Transistor

abstract: We perform direct thermovoltage measurements in a single-electron transistor, using on-chip local thermometers, both in the linear and non-linear regimes. Using a model which accounts for co-tunneling, we find excellent agreement with the experimental data with no free parameters even when the temperature difference is larger than the average temperature (far-from-linear regime). This allows us to confirm the sensitivity of the thermovoltage on co-tunneling and to find that in the non-linear regime the temperature of the metallic island is a crucial parameter. Surprisingly, the metallic island tends to overheat even at zero net charge current, resulting in a reduction of the thermovoltage.


title: Higher-Order Spectral Clustering under Superimposed Stochastic Block Model

abstract: Higher-order motif structures and multi-vertex interactions are becoming increasingly important in studies that aim to improve our understanding of functionalities and evolution patterns of networks. To elucidate the role of higher-order structures in community detection problems over complex networks, we introduce the notion of a Superimposed Stochastic Block Model (SupSBM). The model is based on a random graph framework in which certain higher-order structures or subgraphs are generated through an independent hyperedge generation process, and are then replaced with graphs that are superimposed with directed or undirected edges generated by an inhomogeneous random graph model. Consequently, the model introduces controlled dependencies between edges which allow for capturing more realistic network phenomena, namely strong local clustering in a sparse network, short average path length, and community structure. We proceed to rigorously analyze the performance of a number of recently proposed higher-order spectral clustering methods on the SupSBM. In particular, we prove non-asymptotic upper bounds on the misclustering error of spectral community detection for a SupSBM setting in which triangles or 3-uniform hyperedges are superimposed with undirected edges. As part of our analysis, we also derive new bounds on the misclustering error of higher-order spectral clustering methods for the standard SBM and the 3-uniform hypergraph SBM. Furthermore, for a non-uniform hypergraph SBM model in which one directly observes both edges and 3-uniform hyperedges, we obtain a criterion that describes when to perform spectral clustering based on edges and when on hyperedges, based on a function of hyperedge density and observation quality.


title: Response to Wright et al. 2018: Even more serious problems with NEOWISE

abstract: Wright et al. 2018 (W2018) responded to certain criticisms of the NEOWISE results raised by Myhrvold (2018a, 2018b) in a preprint submitted for publication to Icarus. This paper responds to W2018 and has been updated to address comments from two rounds of peer review at Icarus. Points raised by Wright et al. during peer review and in recent publications are also addressed. The response here presents issues of broad interest to the planetary science community. W2018 acknowledges some of the most serious issues identified by Myhrvold, including the importance of Kirchhoff's law and the misrepresentation of diameters copied from previous radar, occultation, and spacecraft observations as NEOWISE thermal modeling results. W2018 confirms copying ROS diameters for 117 asteroids but does not report actual modeled diameters or the identity of the asteroids involved. W2018 confirms that many NEOWISE "fit" curves do not pass near the data points they claimed to fit. W2018 reveals more serious problems with NEOWISE results than had previously been understood. Wright et al. belatedly disclose a software bug, found and corrected in 2011, that apparently corrupted the vast majority of NEOWISE results, which have yet to be corrected. W2018 asserts that the bug had rare and small impacts on results but elsewhere provides analysis that directly contradicts this claim. We learn from W2018 that H values used by NEOWISE were not taken from the literature, as claimed, but rather derived by fitting data, a method inconsistent with prior NEOWISE papers and practice in thermal modeling. The systematic underestimation of WISE observation errors shown in Myhrvold 2018b is confirmed with a new analysis of repeated observation of calibration stars. Each argument in W2018 is shown here to be mistaken. Ultimately, W2018 reveals why the results of the empirical examination that Myhrvold published were important.


title: Tricks of the light: the remarkable power of laser tweezers to dissect complex biological questions

abstract: On 2 October 2018 Goran Hansson, Secretary General of the Royal Swedish Academy of Sciences, announced that the Nobel Prize in Physics would be jointly awarded to Arthur Ashkin, Gerard Mourou and Donna Strickland, for their groundbreaking inventions in the field of laser physics. Strickland and Mourou shared one half of the prize for their pioneering work in generating high-intensity, ultra-short optical pulses. The recipient of the other half was Arthur Ashkin for his seminal work leading to the development of optical tweezers, also referred to as optical traps or laser tweezers, and their applications to an enormous range of biological systems. As discussed below, laser tweezers are a remarkable class of optical force transduction tools which have had a profound effect in enabling several complex biological questions to be addressed impenetrable using other existing technologies.


title: Interest-Aware Delivery for Mobile Social Networks: A TRACE-driven Approach

abstract: We envision future mobile networks to be human-centric supporting interest-aware delivery, where an interest maybe based on behavior, such as mobility pattern, location, or web browsing (or user profile) such as affiliation, attributes, or activity. An essential capability in future networks will be the ability to provide scalable group communication. Current communication paradigms, including unicast and multicast, require explicit identification of destination nodes (through node IDs or group membership protocols), while directory services translate logical, interest-specific queries into destination IDs where parties are then connected using interest-oblivious protocols. The power and scalability of such paradigms is quite limited in the context of future, highly dynamic mobile social networks, where it is desirable in many scenarios to support implicit membership based on interest. In such scenarios, membership in interest-groups is not explicitly expressed by users, it is rather autonomously inferred by network protocols based on behavioral profiles. This removes the dependence on third parties (via directory lookup), the need for explicit expression of interest (or human intervention), and minimizes delivery overhead to uninterested users. While existing types of social networks will likely evolve in the context of mobile networks, we provide a novel paradigm of communication, deviating significantly from existing approaches and subsequently enabling qualitatively different capabilities for future services in mobile societies. In addition, our services and protocol design philosophy begins by analyzing the context in which the service is to be deployed, unlike most existing wireless networking approaches of designing general purpose protocols.


title: Alternative Fan-beam Backprojection and Adjoint Operators

abstract: We present in this work alternative analytic formulations for the fan-beam tomographic backprojection operation and its associated adjoint transform in standard (equiangular) and linear (equidistant) detector geometries. The proposed formulations are obtained from a recent backprojection theorem in parallel tomography. Such formulations are written as a Bessel-Neumann series in the frequency domain that can be implemented as an $O(N^{2.3729})$ matrix multiplication. Proofs are provided together with numerical simulations compared with conventional fan-beam $O(N^{3})$ backprojection representations showing more robustness when dealing with highly noisy data.


title: Modular Symmetries and the Swampland Conjectures

abstract: Recent string theory tests of swampland ideas like the distance or the dS conjectures have been performed at weak coupling. Testing these ideas beyond the weak coupling regime remains challenging. We propose to exploit the modular symmetries of the moduli effective action to check swampland constraints beyond perturbation theory. As an example we study the case of heterotic 4d $\mathcal{N}=1$ compactifications, whose non-perturbative effective action is known to be invariant under modular symmetries acting on the K\"ahler and complex structure moduli, in particular $SL(2,Z)$ T-dualities (or subgroups thereof) for 4d heterotic or orbifold compactifications. Remarkably, in models with non-perturbative superpotentials, the corresponding duality invariant potentials diverge at points at infinite distance in moduli space. The divergence relates to towers of states becoming light, in agreement with the distance conjecture. We discuss specific examples of this behavior based on gaugino condensation in heterotic orbifolds. We show that these examples are dual to compactifications of type I' or Horava-Witten theory, in which the $SL(2,Z)$ acts on the complex structure of an underlying 2-torus, and the tower of light states correspond to D0-branes or M-theory KK modes. The non-perturbative examples explored point to potentials not leading to weak coupling at infinite distance, but rather diverging in the asymptotic corners of moduli space, dynamically forbidding the access to points with global symmetries. We perform a study of general modular invariant potentials and find that there are dS maxima and saddle points but no dS minima, and that all examples explored obey the refined dS conjecture.


title: Are smooth pseudopotentials a good choice for representing short-range interactions?

abstract: When seeking a numerical representation of a quantum-mechanical multiparticle problem it is tempting to replace a singular short-range interaction by a smooth finite-range pseudopotential. Finite basis set expansions, e.g.~in Fock space, are then guaranteed to converge exponentially. The need to faithfully represent the artificial length scale of the pseudopotential, however, places a costly burden on the basis set. Here we discuss scaling relations for the required size of the basis set and demonstrate the basis set convergence on the example of a two-dimensional system of few fermions with short-range $s$-wave interactions in a harmonic trapping potential. In particular we show that the number of harmonic-oscillator basis functions needed to reach a regime of exponential convergence for a Gaussian pseudopotential scales with the fourth power of the pseudopotential length scale, which can be improved to quadratic scaling when the basis functions are re-scaled appropriately. Numerical examples for three fermions with up to a few hundred single-particle basis functions are presented and implications for the feasibility of accurate numerical multi-particle simulations of interacting ultra-cold atom systems are discussed.


title: Physics of Luminous Transient Light Curves: A New Relation Between Peak Time and Luminosity

abstract: Simplified analytic methods are frequently used to model the light curves of supernovae and other energetic transients and to extract physical quantities, such as the ejecta mass and amount of radioactive heating. The applicability and quantitative accuracy of these models, however, have not been clearly delineated. Here we carry out a systematic study comparing certain analytic models to numerical radiation transport calculations. We show that the neglect of time-dependent diffusion limits the accuracy of common Arnett-like analytic models, and that the widely-applied Arnett's rule for inferring radioactive mass does not hold in general, with an error that increases for models with longer diffusion times or more centralized heating. We present new analytic relations that accurately relate the peak time and luminosity of an observed light curve to the physical ejecta and heating parameters. We further show that recombination and the spatial distribution of heating modify the peak of the light curve and that these effects can be accounted for by varying a single dimensionless parameter in the new relations. The results presented should be useful for estimating the physical properties of a wide variety of transient phenomena.


title: q-deformed Character Theory for Infinite-Dimensional Symplectic and Orthogonal Groups

abstract: The classification of irreducible, spherical characters of the infinite-dimensional unitary/orthogonal/symplectic groups can be obtained by finding all possible limits of normalized, irreducible characters of the corresponding finite-dimensional groups, as the rank tends to infinity. We solve a q-deformed version of the latter problem for orthogonal and symplectic groups, extending previously known results for the unitary group. The proof is based on novel determinantal and double-contour integral formulas for the q-specialized characters.


title: Tailoring Product Ownership in Large-Scale Agile

abstract: In large-scale agile projects, product owners undertake a range of challenging and varied activities beyond those conventionally associated with that role. Using in-depth research interviews from 93 practitioners working in cross-border teams, from 21 organisations, our rich empirical data offers a unique international perspective into product owner activities. We found that the leaders of large-scale agile projects create product owner teams. Product owner team members undertake sponsor, intermediary and release plan master activities to manage scale. They undertake communicator and traveller activities to manage distance and technical architect, governor and risk assessor activities to manage governance. Based on our findings, we describe product owner behaviors that are valued by experienced product owners and their line managers.


title: New tab page recommendations cause a strong suppression of exploratory web browsing behaviors

abstract: Through a combination of experimental and simulation results, we illustrate that passive recommendations encoded in typical computer user-interfaces (UIs) can subdue users' natural proclivity to access diverse information sources. Inspired by traditional demonstrations of a part-set cueing effect in the cognitive science literature, we performed an online experiment manipulating the operation of the 'New Tab' page for consenting volunteers over a two month period. Examination of their browsing behavior reveals that typical frequency and recency-based methods for displaying websites in these displays subdues users' propensity to access infrequently visited pages compared to a situation wherein no web page icons are displayed on the new tab page. Using a carefully designed simulation study, representing user behavior as a random walk on a graph, we inferred quantitative predictions about the extent to which discovery of new sources of information may be hampered by personalized 'New Tab' recommendations in typical computer UIs. We show that our results are significant at the individual level and explain the potential consequences of the observed suppression in web-exploration.


title: Nonlinear Dynamics of Spherical Shells Buckling under Step Pressure

abstract: Dynamic buckling is addressed for complete elastic spherical shells subject to a rapidly applied step in external pressure. Insights from the perspective of nonlinear dynamics reveal essential mathematical features of the buckling phenomena. To capture the strong buckling imperfection-sensitivity, initial geometric imperfections in the form of an axisymmetric dimple at each pole are introduced. Dynamic buckling under the step pressure is related to the quasi-static buckling pressure. Both loadings produce catastrophic collapse of the shell for conditions in which the pressure is prescribed. Damping plays an important role in dynamic buckling because of the time-dependent nonlinear interaction among modes, particularly the interaction between the spherically symmetric 'breathing' mode and the buckling mode. In this paper we argue that the precise frequency dependence of the damping does not matter as most of the damping happens at a single frequency (the breathing frequency). In general, there is not a unique step pressure threshold separating responses associated with buckling from those that do not buckle. Instead there exists a cascade of buckling thresholds, dependent on the damping and level of imperfection, separating pressures for which buckling occurs from those for which it does not occur. For shells with small and moderately small imperfections the dynamic step buckling pressure can be substantially below the quasi-static buckling pressure.


title: Controlling light polarization by swirling surface plasmons

abstract: Light polarization is a key aspect of modern optics. Current methods for polarization control utilize birefringence and dichroism of anisotropic materials or of arrays of anisotropically shaped nanostructures. Based on collective optical effects, the resulting components remain much larger than the wavelength of light, which limits design strategies. Here, we present a travelling-wave plasmonic antenna that overcomes this limit using a gold-coated helical nanowire non-radiatively fed with a dipolar aperture nanoantenna. Our non-resonant hybrid nanoantenna enables tightly confined circularly polarized light by swirling surface plasmons on the subwavelength scale and taking advantage of optical spin-orbit interaction. Four closely packed circularly polarized light sources of opposite handedness and tunable intensities are demonstrated. By reaching near-field interaction between neighboring nanoantennas, we obtain a highly miniaturized wave plate whose polarization properties have never previously been demonstrated.


title: Predicting the broad lines polarization emitted by supermassive binary black holes

abstract: Some Type-1 active galactic nuclei (AGNs) are showing extremely asymmetric Balmer lines with the broad peak redshifted or blueshifted by thousands of km/s. These AGNs may be good candidates for supermassive binary black holes (SMBBHs). The complex line shapes can be very well due to the complex kinematics of the two broad line regions (BLRs). Therefore another methods should be applied to confirm the SMBBHs. One of them is spectropolarimetry. We rely on numerical modeling of the polarimetry of binary black holes systems since polarimetry is sensitive to geometry, in order to find specific influence of supermassive binary black hole (SMBBH) geometry and dynamics on polarized parameters across the broad line profiles. We apply our method to SMBBHs in which both components are assumed to be AGNs with distances at the sub-pc scale. We use a Monte Carlo radiative transfer code that simulates the geometry, dynamics and emission of a binary system where two black holes are getting increasingly closer. Each gravitational well is accompanied by its own BLR and the whole system is surrounded by an accretion flow from the distant torus. We examine the emission line deformation and predict the polarization that could be observed. We model broad line polarization for various BLR geometries with complex kinematics. We find that the presence of SMBBHs can produce complex polarization angle profiles and strongly affect the polarized and unpolarized line profiles. Depending on the phase of the SMBBH, the resulting double-peaked emission lines either show red or blue peak dominance, or both the peak can have the same intensity. In some cases, the whole line profile appears as a single Gaussian line, hiding the true nature of the source. Our results suggest that observations with the high resolution spectropolarimetry of optical broad emission lines could play an important role in detecting sub-pc SMBBHs.


title: Generalized minimum distance functions and algebraic invariants of Geramita ideals

abstract: Motivated by notions from coding theory, we study the generalized minimum distance (GMD) function $\delta_I(d,r)$ of a graded ideal $I$ in a polynomial ring over an arbitrary field using commutative algebraic methods. It is shown that $\delta_I$ is non-decreasing as a function of $r$ and non-increasing as a function of $d$. For vanishing ideals over finite fields, we show that $\delta_I$ is strictly decreasing as a function of $d$ until it stabilizes. We also study algebraic invariants of Geramita ideals. Those ideals are graded, unmixed, $1$-dimensional and their associated primes are generated by linear forms. We also examine GMD functions of complete intersections and show some special cases of two conjectures of Toh\u{a}neanu--Van Tuyl and Eisenbud-Green-Harris.


title: Characterization of second type plane foliations using Newton polygons

abstract: In this article we characterize the foliations that have the same Newton polygon that their union of formal separatrices, they are the foliations called of the second type. In the case of cuspidal foliations studied by Loray, we precise this characterization using the Poincar\'e-Hopf index. This index also characterizes the cuspidal foliations having the same desingularization that the union of its separatrices. Finally we give necessary and sufficient conditions when these cuspidal foliations are generalized curves, and a characterization when they have only one separatrix.


title: High-resolution photoemission on Sr2RuO4 reveals correlation-enhanced effective spin-orbit coupling and dominantly local self-energies

abstract: We explore the interplay of electron-electron correlations and spin-orbit coupling in the model Fermi liquid Sr2RuO4 using laser-based angle-resolved photoemission spectroscopy. Our precise measurement of the Fermi surface confirms the importance of spin-orbit coupling in this material and reveals that its effective value is enhanced by a factor of about two, due to electronic correlations. The self-energies for the $\beta$ and $\gamma$ sheets are found to display significant angular dependence. By taking into account the multi-orbital composition of quasiparticle states, we determine self-energies associated with each orbital component directly from the experimental data. This analysis demonstrates that the perceived angular dependence does not imply momentum-dependent many-body effects, but arises from a substantial orbital mixing induced by spin-orbit coupling. A comparison to single-site dynamical mean-field theory further supports the notion of dominantly local orbital self-energies, and provides strong evidence for an electronic origin of the observed non-linear frequency dependence of the self-energies, leading to `kinks' in the quasiparticle dispersion of Sr2RuO4.


title: Gaussian fluctuations for products of random matrices

abstract: We study global fluctuations for singular values of $M$-fold products of several right-unitarily invariant $N \times N$ random matrix ensembles. As $N \to \infty$, we show the fluctuations of their height functions converge to an explicit Gaussian field, which is log-correlated for $M$ fixed and has a white noise component for $M \to \infty$ jointly with $N$. Our technique centers on the study of the multivariate Bessel generating functions of these spectral measures, for which we prove a central limit theorem for global fluctuations via certain conditions on the generating functions. We apply our approach to a number of ensembles, including square roots of Wishart, Jacobi, and unitarily invariant positive definite matrices with fixed spectrum, using a detailed asymptotic analysis of multivariate Bessel functions to verify the necessary conditions.


title: What Is the Value Added by Using Causal Machine Learning Methods in a Welfare Experiment Evaluation?

abstract: Recent studies have proposed causal machine learning (CML) methods to estimate conditional average treatment effects (CATEs). In this study, I investigate whether CML methods add value compared to conventional CATE estimators by re-evaluating Connecticut's Jobs First welfare experiment. This experiment entails a mix of positive and negative work incentives. Previous studies show that it is hard to tackle the effect heterogeneity of Jobs First by means of CATEs. I report evidence that CML methods can provide support for the theoretical labor supply predictions. Furthermore, I document reasons why some conventional CATE estimators fail and discuss the limitations of CML methods.


title: Single Silicon Vacancy Centers in 10-Nanometer Diamonds for Quantum Information Applications

abstract: Ultra-small, low-strain, artificially produced diamonds with an internal, active color center have substantial potential for quantum information processing and biomedical applications. Thus, it is of great importance to be able to artificially produce such diamonds. Here, we report on the high-pressure, high-temperature synthesis of such nanodiamonds about 10 nm in size and containing an optically active, single silicon-vacancy color center. Using special sample preparation technique, we were able to prepare samples containing single nanodiamonds on the surface. By correlating atomic-force microscope images and confocal optical images we verified presents of optically active color centers in single nanocrystals, and using second-order correlation measurements proved single-photon emission statistics of this nanodiamonds. This color centers have non-blinking, spectrally narrow emission with narrow distribution of spectral width and positions of zero-phonon line thus proving high quality of the nanodiamonds produced


title: Deep Clustering Based on a Mixture of Autoencoders

abstract: In this paper we propose a Deep Autoencoder MIxture Clustering (DAMIC) algorithm based on a mixture of deep autoencoders where each cluster is represented by an autoencoder. A clustering network transforms the data into another space and then selects one of the clusters. Next, the autoencoder associated with this cluster is used to reconstruct the data-point. The clustering algorithm jointly learns the nonlinear data representation and the set of autoencoders. The optimal clustering is found by minimizing the reconstruction loss of the mixture of autoencoder network. Unlike other deep clustering algorithms, no regularization term is needed to avoid data collapsing to a single point. Our experimental evaluations on image and text corpora show significant improvement over state-of-the-art methods.


title: Hyperbolic four-manifolds with vanishing Seiberg-Witten invariants

abstract: We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces.


title: Fuzzy Difference-in-Discontinuities: Identification Theory and Application to the Affordable Care Act

abstract: This paper explores the use of a fuzzy regression discontinuity design where multiple treatments are applied at the threshold. The identification results show that, under the very strong assumption that the change in the probability of treatment at the cutoff is equal across treatments, a difference-in-discontinuities estimator identifies the treatment effect of interest. The point estimates of the treatment effect using a simple fuzzy difference-in-discontinuities design are biased if the change in the probability of a treatment applying at the cutoff differs across treatments. Modifications of the fuzzy difference-in-discontinuities approach that rely on milder assumptions are also proposed. Our results suggest caution is needed when applying before-and-after methods in the presence of fuzzy discontinuities. Using data from the National Health Interview Survey, we apply this new identification strategy to evaluate the causal effect of the Affordable Care Act (ACA) on older Americans' health care access and utilization.


title: Harer-Zagier generating functions, the Redfield-Polya cycle index and Cohen semilinear congruences

abstract: Harer-Zagier generating functions for Euler characteristics of moduli spaces of curves contain $n$-necklace polynomials. Taylor expansions for these polynomials depend on numbers of solutions of Cohen semilinear congruences.


title: Conformal Group Actions on Generalized Kuramoto Oscillators

abstract: This paper unifies the recent results on generalized Kuramoto Model reductions. Lohe took a coupled system of $N$ bodies on $S^d$ governed by the Kuramoto equations $\dot{x_i} = \Omega x_i + X - \langle x_i, X \rangle x_i$ and used the method of Watanabe and Strogatz to reduce this system to $d + \frac{d(d-1)}{2}$ equations. Using a model of rigid rotations on a sphere as a guide, we show that the reduction is described by a smooth path in the Lie group of conformal transformations on the sphere, which is diffeomorphic to $SO(d) \times D^d$. Seeing the reduction this way allows us to apply geometric and topological reasoning in order to understand qualitative behavior of the Kuramoto Model.


title: A submission to the 2020 update of the European Strategy for Particle Physics on behalf of the COMET, MEG, Mu2e and Mu3e collaborations

abstract: Charged-lepton flavour-violating (cLFV) processes offer deep probes for new physics with discovery sensitivity to a broad array of new physics models - SUSY, Higgs Doublets, Extra Dimensions, and, particularly, models explaining the neutrino mass hierarchy and the matter-antimatter asymmetry of the universe via leptogenesis. The most sensitive probes of cLFV utilize high-intensity muon beams to search for $\mu \rightarrow e$ transitions. We summarize the status of muon-cLFV experiments currently under construction at PSI, Fermilab, and J-PARC. These experiments offer sensitivity to effective new physics mass scales approaching O($10^4$) TeV/c$^2$. Further improvements are possible and next-generation experiments, using upgraded accelerator facilities at PSI, Fermilab, and J-PARC, could begin data taking within the next decade. In the case of discoveries at the LHC, they could distinguish among alternative models; even in the absence of direct discoveries, they could establish new physics. These experiments both complement and extend the searches at the LHC.


title: G-graded irreducibility and the index of reducibility

abstract: Let $R$ be a commutative Noetherian ring graded by a torsionfree abelian group $G$. We introduce the notion of $G$-graded irreducibility and prove that $G$-graded irreducibility is equivalent to irreducibility in the usual sense. This is a generalization of Chen and Kim's result in the $\mathbb{Z}$-graded case. We also discuss the concept of the index of reducibility and give an inequality for the indices of reducibility between any radical non-graded ideal and its largest graded subideal.


title: Blow-up and lifespan estimate to a nonlinear wave equation in Schwarzschild spacetime

abstract: In \cite{Luk}, Luk proved global existence for semilinear wave equations in Kerr spacetime with small angular momentum($a\ll M$) \[ \Box_{g_K}\phi=F(\partial \phi), \] when the quadratic nonlinear term satisfies the null condition. In this work, we will show that if the null condition does not hold, at most we can have almost global existence for semilinear wave equations with quadratic nonlinear term in Schwarzschild spacetime, which is the special case of Kerr with $a=0$ \[ \Box_{g_S}\phi=(\partial_t\phi)^2, \] where $\Box_{g_S}$ denotes the D'Alembert operator associated with Schwarzschild metric. What is more, if the power of the nonlinear term is replaced with $p$ satisfying $3/2\le p< 2$, we still can show blow-up, no matter how small the initial data are. We do not have to assume that the support of the data should be far away from the event horizon.


title: Reflexive modules on normal Gorenstein Stein surfaces, their deformations and moduli

abstract: In this paper we generalize Artin-Verdier, Esnault and Wunram construction of McKay correspondence to arbitrary Gorenstein surface singularities. The key idea is the definition and a systematic use of a degeneracy module, which is an enhancement of the first Chern class construction via a degeneracy locus. We study also deformation and moduli questions. Among our main result we quote: a full classification of special reflexive MCM modules on normal Gorenstein surface singularities in terms of divisorial valuations centered at the singularity, a first Chern class determination at an adequate resolution of singularities, construction of moduli spaces of special reflexive modules, a complete classification of Gorenstein normal surface singularities in representation types, and a study on the deformation theory of MCM modules and its interaction with their pullbacks at resolutions. For the proof of these theorems we prove several isomorphisms between different deformation functors that we expect that will be useful in further work.


title: Towards Robust Human Activity Recognition from RGB Video Stream with Limited Labeled Data

abstract: Human activity recognition based on video streams has received numerous attentions in recent years. Due to lack of depth information, RGB video based activity recognition performs poorly compared to RGB-D video based solutions. On the other hand, acquiring depth information, inertia etc. is costly and requires special equipment, whereas RGB video streams are available in ordinary cameras. Hence, our goal is to investigate whether similar or even higher accuracy can be achieved with RGB-only modality. In this regard, we propose a novel framework that couples skeleton data extracted from RGB video and deep Bidirectional Long Short Term Memory (BLSTM) model for activity recognition. A big challenge of training such a deep network is the limited training data, and exploring RGB-only stream significantly exaggerates the difficulty. We therefore propose a set of algorithmic techniques to train this model effectively, e.g., data augmentation, dynamic frame dropout and gradient injection. The experiments demonstrate that our RGB-only solution surpasses the state-of-the-art approaches that all exploit RGB-D video streams by a notable margin. This makes our solution widely deployable with ordinary cameras.


title: Multi-Stream LDPC Decoder on GPU of Mobile Devices

abstract: Low-density parity check (LDPC) codes have been extensively applied in mobile communication systems due to their excellent error correcting capabilities. However, their broad adoption has been hindered by the high complexity of the LDPC decoder. Although to date, dedicated hardware has been used to implement low latency LDPC decoders, recent advancements in the architecture of mobile processors have made it possible to develop software solutions. In this paper, we propose a multi-stream LDPC decoder designed for a mobile device. The proposed decoder uses graphics processing unit (GPU) of a mobile device to achieve efficient real-time decoding. The proposed solution is implemented on an NVIDIA Tegra board as a system on a chip (SoC), where our results indicate that we can control the load on the central processing units through the multi-stream structure.


title: Strong electron-boson coupling in the iron-based superconductor BaFe1.9Pt0.1As2 revealed by infrared spectroscopy

abstract: Understanding the formation of Cooper pairs in iron-based superconductors is one of the most important topics in condensed matter physics. In conventional superconductors, the electron-phonon interaction leads to the formation of Cooper pairs. In conventional strong-coupling superconductors like lead (Pb), the features due to electron-phonon interaction are evident in the infrared absorption spectra. Here we investigate the infrared absorption spectra of the iron arsenide superconductor BaFe1.9Pt0.1As2. We find that this superconductor has fully gapped (nodeless) Fermi surfaces, and we observe the strong-coupling electron-boson interaction features in the infrared absorption spectra. Through modeling with the Eliashberg function based on Eliashberg theory, we obtain a good quantitative description of the energy gaps and the strong-coupling features. The full Eliashberg equations are solved to check the self-consistency of the electron-boson coupling spectrum, the largest energy gap, and the transition temperature (Tc). Our experimental data and analysis provide compelling evidence that superconductivity in BaFe1.9Pt0.1As2 is induced by the coupling of electrons to a low-energy bosonic mode that does not originate solely from phonons.


title: Vector bundles and cohomotopies of spin 5-manifolds

abstract: The purpose of this paper is two-fold: On the one side we would like to close a gap on the classification of vector bundles over $5$-manifolds. Therefore it will be necessary to study quaternionic line bundles over $5$-manifolds which are in $1-1$ correspondence to elements in the first cohomotopy group $\pi^4(M)=[M,S^4]$ of $M$. From previous results this group fits into a short exact sequence, which splits into $H^4(M;\mathbb Z)\oplus\mathbb Z_2$ if $M$ is spin. The second intent is to provide a bordism theoretic splitting map for this short exact sequence, which will lead to a $\mathbb Z_2$-invariant for quaternionic line bundles. This invariant is related to the generalized Kervaire semi-characteristic.


title: Construction of a Natural Transformation from a Classical to a Quantum 0-Species

abstract: A natural transformation $\mathfrak{J}$ between functors valued in the category $\mathfrak{Chdv}_{0}$ is assembled. $\mathfrak{Chdv}_{0}$ is obtained by replacing both the categories $\mathrm{ptls}$ and $\mathrm{ptsa}$ with the category of topological linear spaces in the defining properties of the category $\mathfrak{Chdv}$ introduced in one of our previous papers. By letting a $\mathfrak{dp}$-valued functor be (classical) quantum whenever every its value is a dynamical pattern whose set map takes values in the set of (commutative) noncommutative topological unital $\ast-$algebras, and letting a (classical) quantum $0$-species be a $\mathfrak{Chdv}_{0}$-valued functor factorizing through the canonical functor from $\mathfrak{dp}$ to $\mathfrak{Chdv}_{0}$ into a (classical) quantum $\mathfrak{dp}$-valued functor, we have that the domain and codomain of $\mathfrak{J}$ are a classical and a quantum $0$-species respectively.


title: Effect of annealing treatment on the structural, optical and magnetic properties of ZnSe thin films grown by spray pyrolysis

abstract: Many investigations and reviews show that II-VI compound semiconductor 1-D nanostructures have a great potential for the future electronic and optoelectronic applications. As an important II-VI semiconductor, ZnSe is one of the most significant materials with prominent applications in this issue. In the present work, we firstly provide a comprehensive investigation of the magnetic properties like magnetization and magnetic susceptibility of ZnSe nanostructures as a 1-D quantum many body. The magnetic study of this metal reveals a ferromagnetic-antifferomagnetic transition upon cooling. Magnetization shows a step-like behavior with pronounced plateaus in a specific magnetic field interval at low temperature. This subject has not been investigated in the previous works. In the experimental part, thin films of ZnSe are deposited on glass substrates (at two different substrate temperature) by the spray pyrolysis technique and annealed in vacuum at $400^\circ$C for 1 hour. Hereby, we investigate the morphology, structural and optical properties of ZnSe thin films using field emission scanning electron microscope (FE-SEM), X-ray diffraction (XRD) and UV-vis spectrophotometer measurements. XRD analysis reveal that annealed films grown on glass substrate at $400^\circ$C are polycrystalline in nature with cubic zincblene structure. By annealing, the grains size, the diameter and density of the particles increase. The UV-vis measurements display a red-shift of the absorption edge from the as-deposited to annealed ZnSe thin films as compared to its value for the ZnSe thin films. The band-gaps of the annealed samples are estimated about 2.71 eV, which are in consistence with the band gap of ZnSe thin films. The average transmittance of the annealed samples are over 80 $\%$ close to the infrared wavelength range.


title: The Weak Null Condition in Free-evolution Schemes for Numerical Relativity: Dual Foliation GHG with Constraint Damping

abstract: All strategies for the treatment of future null-infinity in numerical relativity involve some form of regularization of the field equations. In a recent proposal that relies on the dual foliation formalism this is achieved by the use of an asymptotically Minkowskian generalized harmonic tensor basis. For the scheme to work however, derivatives of certain coordinate light-speeds must decay fast enough. Presently, we generalize the method of asymptotic expansions for nonlinear wave equations to treat first order symmetric hyperbolic systems. We then use this heuristic tool to extract the expected rates of decay of the metric near null-infinity in a free-evolution setting. We show, within the asymptotic expansion, that by carefully modifying the non-principal part of the field equations by the addition of constraints, we are able to obtain optimal decay rates even when the constraints are violated. The light-speed condition can hence be satisfied, which paves the way for the explicit numerical treatment of future null-infinity. We then study the behavior of the Trautman-Bondi mass under the decay results predicted by the asymptotic expansion. Naively the mass seems to be unbounded, but we see first that the divergent terms can be replaced with a combination of the constraints and the Einstein field equations, and second that the Bondi mass loss formula is recovered within the framework. Both of the latter results hold in the presence of small constraint violations.


title: Adapting BH to One- and Two-Way Classified Structures of Hypotheses

abstract: Multiple testing literature contains ample research on controlling false discoveries for hypotheses classified according to one criterion, which we refer to as one-way classified hypotheses. Although simultaneous classification of hypotheses according to two different criteria, resulting in two-way classified hypotheses, do often occur in scientific studies, no such research has taken place yet, as far as we know, under this structure. This article produces procedures, both in their oracle and data-adaptive forms, for controlling the overall false discovery rate (FDR) across all hypotheses effectively capturing the underlying one- or two-way classification structure. They have been obtained by using results associated with weighted Benjamini-Hochberg (BH) procedure in their more general forms providing guidance on how to adapt the original BH procedure to the underlying one- or two-way classification structure through an appropriate choice of the weights. The FDR is maintained non-asymptotically by our proposed procedures in their oracle forms under positive regression dependence on subset of null $p$-values (PRDS) and in their data-adaptive forms under independence of the $p$-values. Possible control of FDR for our data-adaptive procedures in certain scenarios involving dependent $p$-values have been investigated through simulations. The fact that our suggested procedures can be superior to contemporary practices has been demonstrated through their applications in simulated scenarios and to real-life data sets. While the procedures proposed here for two-way classified hypotheses are new, the data-adaptive procedure obtained for one-way classified hypotheses is alternative to and often more powerful than those proposed in Hu et al. (2010).


title: Vibration can enhance stick-slip behavior for granular friction

abstract: We experimentally study the frictional behavior of a two-dimensional slider pulled slowly over a granular substrate comprised of photoelastic disks. The slider is vibrated at frequencies ranging from 0 to 30 Hz in a direction parallel to sliding. The applied vibrations have constant peak acceleration, which results in constant average friction levels. Surprisingly, we find that stick-slip behavior, where stress slowly builds up and is released in intermittent slips, is enhanced as the frequency of vibration is increased. Our results suggest that increasing the frequency of vibration may help to combine many smaller rearrangements into fewer, but larger, avalanche-like slips, a mechanism unique to granular systems. We also examine the manner in which the self affine character of the force curves evolves with frequency, and we find additional support for this interpretation.


title: Fast and Efficient Bulk Multicasting over Dedicated Inter-Datacenter Networks

abstract: Several organizations have built multiple datacenters connected via dedicated wide area networks over which large inter-datacenter transfers take place. This includes tremendous volumes of bulk multicast traffic generated as a result of data and content replication. Although one can perform these transfers using a single multicast forwarding tree, that can lead to poor performance as the slowest receiver on each tree dictates the completion time for all receivers. Using multiple trees per transfer each connected to a subset of receivers alleviates this concern. The choice of multicast trees also determines the total bandwidth usage. To further improve the performance, bandwidth over dedicated inter-datacenter networks can be carved for different multicast trees over specific time periods to avoid congestion and minimize the average receiver completion times. In this paper, we break this problem into the three sub-problems of partitioning, tree selection, and rate allocation. We present an algorithm called QuickCast which is computationally fast and allows us to significantly speed up multiple receivers per bulk multicast transfer with control over extra bandwidth consumption. We evaluate QuickCast against a variety of synthetic and real traffic patterns as well as real WAN topologies. Compared to performing bulk multicast transfers as separate unicast transfers, QuickCast achieves up to $3.64\times$ reduction in mean completion times while at the same time using $0.71\times$ the bandwidth. Also, QuickCast allows the top $50\%$ of receivers to complete between $3\times$ to $35\times$ faster on average compared with when a single forwarding multicast tree is used for data delivery.


title: Feral Curves and Minimal Sets

abstract: Here we prove that for each Hamiltonian function $H\in \mathcal{C}^\infty(\mathbb{R}^4, \mathbb{R})$ defined on the standard symplectic $(\mathbb{R}^4, \omega_0)$, for which $M:=H^{-1}(0)$ is a non-empty compact regular energy level, the Hamiltonian flow on $M$ is not minimal. That is, we prove there exists a closed invariant subset of the Hamiltonian flow in $M$ that is neither $\emptyset$ nor all of $M$. This answers the four dimensional case of a twenty year old question of Michel Herman, part of which can be regarded as a special case of the Gottschalk Conjecture. Our principal technique is the introduction and development of a new class of pseudoholomorphic curve in the "symplectization" $\mathbb{R} \times M$ of framed Hamiltonian manifolds $(M, \lambda, \omega)$. We call these feral curves because they are allowed to have infinite (so-called) Hofer energy, and hence may limit to invariant sets more general than the finite union of periodic orbits. Standard pseudoholomorphic curve analysis is inapplicable without energy bounds, and thus much of this manuscript is devoted to establishing properties of feral curves, such as area and curvature estimates, energy thresholds, compactness, asymptotic properties, etc.


title: Asymptotic behavior of positive solutions to a nonlinear biharmonic equation near isolated singularities

abstract: In this paper, we consider the asymptotic behavior of positive solutions of the biharmonic equation $$ \Delta^2 u = u^p~~~~~~~in ~ B_1 \backslash \{0\}$$ with an isolated singularity, where the punctured ball $B_1 \backslash \{0\} \subset \mathbb{R}^n$ with $n\geq 5$ and $\frac{n}{n-4} < p < \frac{n+4}{n-4}$. This equation is relevant for the $Q$-curvature problem in conformal geometry. We classify isolated singularities of positive solutions and describe the asymptotic behavior of positive singular solutions without the sign assumption for $-\Delta u$. We also give a new method to prove removable singularity theorem for nonlinear higher order equations.


title: Frobenius-Perron dimensions of integral $\Bbb Z_+$-rings and applications

abstract: We introduce the notion of the Frobenius-Perron dimension of an integral $\Bbb Z_+$-ring and give some applications of this notion to classification of finite dimensional quasi-Hopf algebras with a unique nontrivial simple module, and of quasi-Hopf and Hopf algebras of prime dimension $p$.


title: An Optimal High-Order Tensor Method for Convex Optimization

abstract: This paper is concerned with finding an optimal algorithm for minimizing a composite convex objective function. The basic setting is that the objective is the sum of two convex functions: the first function is smooth with up to the d-th order derivative information available, and the second function is possibly non-smooth, but its proximal tensor mappings can be computed approximately in an efficient manner. The problem is to find -- in that setting -- the best possible (optimal) iteration complexity for convex optimization. Along that line, for the smooth case (without the second non-smooth part in the objective), Nesterov (1983) proposed an optimal algorithm for the first-order methods (d=1) with iteration complexity O( 1 / k^2 ). A high-order tensor algorithm with iteration complexity of O( 1 / k^{d+1} ) was proposed by Baes (2009) and Nesterov (2018). In this paper, we propose a new high-order tensor algorithm for the general composite case, with the iteration complexity of O( 1 / k^{(3d+1)/2} ), which matches the lower bound for the d-th order methods as established in Nesterov (2018), and Shamir et al. (2018), and hence is optimal. Our approach is based on the Accelerated Hybrid Proximal Extragradient (A-HPE) framework proposed in Monteiro and Svaiter (2013), where a bisection procedure is installed for each A-HPE iteration. At each bisection step a proximal tensor subproblem is approximately solved, and the total number of bisection steps per A-HPE iteration is bounded by a logarithmic factor in the precision required.


title: Monte Carlo simulation of 3-star lattice polymers pulled from an adsorbing surface

abstract: We study uniform 3-star polymers with one branch tethered to an attractive surface and another branch pulled by a force away from the surface. Each branch of the 3-star lattice is modelled as a self-avoiding walk on the simple cubic lattice with one endpoint of each branch joined at a common node. Recent theoretical work (Ref.~1) found four phases for this system: free, fully adsorbed, ballistic and mixed. The mixed phase occurs between the ballistic and fully adsorbed phase. We investigate this system by using the flatPERM Monte Carlo algorithm with special restrictions on the endpoint moves to simulate 3-stars up to branch length 128. We provide numerical evidence of the four phases and in particular that the ballistic-mixed and adsorbed-mixed phase boundaries are first-order transitions. The position of the ballistic-mixed and adsorbed-mixed boundaries are found at the expected location in the asymptotic regime of large force and large surface-monomer interaction energy. These results indicate that the flatPERM algorithm is suitable for simulating star lattice polymers and opens up new avenues for numerical study of non-linear lattice polymers.


title: Bright Type IIP Supernovae in Low-Metallicity Galaxies

abstract: We present measurements of the pseudo-equivalent width of the Fe II,$\lambda$5018 absorption feature in the spectra of 12 Type IIP supernovae (SNe II) in low luminosity ($M>-17$) dwarf host galaxies. The Fe II,$\lambda$5018 line has been suggested to be a useful diagnostic of the metallicity of the SN progenitor stars. The events in our sample were discovered photometrically by the Pan-STARRS Survey for Transients (PSST), and classified spectroscopically by us. Comparing our sample to 24 literature SNe II, we find that those in low luminosity hosts have significantly weaker Fe II features, with a probability of $10^{-4}$ that the two samples are drawn from the same distribution. Since low-mass galaxies are expected to contain a lower fraction of metals, our findings are consistent with a metallicity dependence for Fe II,$\lambda$5018, and therefore support the use of this line as a metallicity probe, in agreement with a number of recent works. In addition, we find that the SNe in faint (low-metallicity) hosts may be more luminous on average than those in the literature sample, suggesting possible physical differences between Type IIP SNe at low and high metallicity. However, accurate determinations of host galaxy extinction will be needed to quantify such an effect.

categories: astro-ph.SR astro-ph.CO astro-ph.GA astro-ph.HE


title: Perturbations of Christoffel-Darboux kernels. I: detection of outliers

abstract: Two central objects in constructive approximation, the Christoffel-Darboux kernel and the Christoffel function, are encoding ample information about the associated moment data and ultimately about the possible generating measures. We develop a multivariate theory of the Christoffel-Darboux kernel in C^d, with emphasis on the perturbation of Christoffel functions and their level sets with respect to perturbations of small norm or low rank. The statistical notion of leverage score provides a quantitative criterion for the detection of outliers in large data. Using the refined theory of Bergman orthogonal polynomials, we illustrate the main results, including some numerical simulations, in the case of finite atomic perturbations of area measure of a 2D region. Methods of function theory of a complex variable and (pluri)potential theory are widely used in the derivation of our perturbation formulas.


title: Transfer of a quantum state from a photonic qubit to a gate-defined quantum dot

abstract: Interconnecting well-functioning, scalable stationary qubits and photonic qubits could substantially advance quantum communication applications and serve to link future quantum processors. Here, we present two protocols for transferring the state of a photonic qubit to a single-spin and to a two-spin qubit hosted in gate-defined quantum dots (GDQD). Both protocols are based on using a localized exciton as intermediary between the photonic and the spin qubit. We use effective Hamiltonian models to describe the hybrid systems formed by the the exciton and the GDQDs and apply simple but realistic noise models to analyze the viability of the proposed protocols. Using realistic parameters, we find that the protocols can be completed with a success probability ranging between 85-97%.


title: A Robust Deep Learning Approach for Automatic Classification of Seizures Against Non-seizures

abstract: Identifying epileptic seizures through analysis of the electroencephalography (EEG) signal becomes a standard method for the diagnosis of epilepsy. Manual seizure identification on EEG by trained neurologists is time-consuming, labor-intensive and error-prone, and a reliable automatic seizure/non-seizure classification method is needed. One of the challenges in automatic seizure/non-seizure classification is that seizure morphologies exhibit considerable variabilities. In order to capture essential seizure patterns, this paper leverages an attention mechanism and a bidirectional long short-term memory (BiLSTM) to exploit both spatial and temporal discriminating features and overcome seizure variabilities. The attention mechanism is to capture spatial features according to the contributions of different brain regions to seizures. The BiLSTM is to extract discriminating temporal features in the forward and the backward directions. Cross-validation experiments and cross-patient experiments over the noisy data of CHB-MIT are performed to evaluate our proposed approach. The obtained average sensitivity of 87.00%, specificity of 88.60% and precision of 88.63% in cross-validation experiments are higher than using the current state-of-the-art methods, and the standard deviations of our approach are lower. The evaluation results of cross-patient experiments indicate that, our approach has better performance compared with the current state-of-the-art methods and is more robust across patients.


title: Efficient wide-field FLIM

abstract: Nanosecond temporal resolution enables new methods for wide-field imaging like time-of-flight, gated detection, and fluorescence lifetime. The optical efficiency of existing approaches, however, presents challenges for low-light applications common to fluorescence microscopy and single-molecule imaging. We demonstrate the use of Pockels cells for wide-field image gating with nanosecond temporal resolution and high photon collection efficiency. Two temporal frames are obtained by combining a Pockels cell with a pair of polarizing beam-splitters. We show multi-label fluorescence lifetime imaging microscopy (FLIM), single-molecule lifetime spectroscopy, and fast single-frame FLIM at the camera frame rate with $10^3 - 10^5$ times higher throughput than single photon counting. Finally, we demonstrate a space-to-time image multiplexer using a re-imaging optical cavity with a tilted mirror to extend the Pockels cell technique to multiple temporal frames. These methods enable nanosecond imaging with standard optical systems and sensors, opening a new temporal dimension for low-light microscopy.


title: Propagation of singularities on AdS spacetimes for general boundary conditions and the holographic Hadamard condition

abstract: We consider the Klein-Gordon equation on asymptotically anti-de Sitter spacetimes subject to Neumann or Robin (or Dirichlet) boundary conditions, and prove propagation of singularities along generalized broken bicharacteristics. The result is formulated in terms of conormal regularity relative to a twisted Sobolev space. We use this to show the uniqueness, modulo regularising terms, of parametrices with prescribed b-wavefront set. Furthermore, in the context of quantum fields, we show a similar result for two-point functions satisfying a holographic Hadamard condition on the b-wavefront set.


title: The Inviscid Limit of the Navier-Stokes Equations with Kinematic and Navier Boundary Conditions

abstract: We are concerned with the inviscid limit of the Navier-Stokes equations on bounded regular domains in $\mathbb{R}^3$ with the kinematic and Navier boundary conditions. We first establish the existence and uniqueness of strong solutions in the class $C([0,T_\star); H^r(\Omega; \mathbb{R}^3)) \cap C^1([0,T_\star); H^{r-2}(\Omega;\mathbb{R}^3))$ with some $T_\star>0$ for the initial-boundary value problem with the kinematic and Navier boundary conditions on $\partial \Omega$ and divergence-free initial data in the Sobolev space $H^r(\Omega; \mathbb{R}^3)$ for $r\geq 2$. Then, for the strong solution with $H^{r+1}$--regularity in the spatial variables, we establish the inviscid limit in $H^r(\Omega; \mathbb{R}^3)$ uniformly on $[0,T_\star)$ for $r > \frac{5}{2}$. This shows that the boundary layers do not develop up to the highest order Sobolev norm in $H^{r}(\Omega;\mathbb{R}^3)$ in the inviscid limit. Furthermore, we present an intrinsic geometric proof for the failure of the strong inviscid limit under a non-Navier slip-type boundary condition.


title: Primary Pseudoperfect Numbers, Arithmetic Progressions, and the Erd\H{o}s-Moser Equation

abstract: A primary pseudoperfect number (PPN) is an integer $K > 1$ such that the reciprocals of $K$ and its prime factors sum to 1. PPNs arise in studying perfectly weighted graphs and singularities of algebraic surfaces, and are related to Sylvester's sequence, Giuga numbers, Zn\'am's problem, the inheritance problem, and Curtiss's bound on solutions of a unit fraction equation. Here we show $K \equiv 6 \pmod{6^2}$ if $6\mid K$, and uncover a remarkable $7$-term arithmetic progression of residues modulo $6^2\cdot8$ in the sequence of known PPNs. On that basis, we pose a conjecture which leads to a conditional proof of the new record lower bound $k>10^{3.99\times10^{20}}$ on any non-trivial solution to the Erd\H{o}s-Moser Diophantine equation $1^n + 2^n + \dotsb + k^n = (k+1)^n$.


title: The Doping effect of Chalcogen on the Two-Dimensional Ferromagnetic Material Chromium Tribromide

abstract: Recently the discovery of magnetic order in two-dimensional monolayer chromium trihalides opens the new research field in two-dimensional materials. We use first-principles calculations to systematically examine the doping effect of chalcogen on CrBr3. In the case of S-doping, four stable configurations, Cr2Br5S, Cr2Br4S2-A, Cr2Br4S2-B and Cr2Br3S3-A, are predicted to be ferromagnetic semiconductors. It is found that the new bands appearing in the original bandgap are made up of S-p and Cr-d-egorbits, lead to the obvious reduce of bandgap and the enhanced optical absorption in the visible range. Due to the decrease of valence electron after chalcogen doping, the magnetic moment also decreases with the increase of S atoms, and the character of ferromagnetic semiconductor is always hold in a wide range of strain. The results shown that monolayer CrBr3with chalcogen doping supply a effectual way to control the magnetism and extend the optoelectronic applications.


title: Simultaneous prediction of atomic structure and stability of nanoclusters in a wide area of compositions

abstract: We present a universal method for the large-scale prediction of the atomic structure of clusters. Our algorithm performs the joint evolutionary search for all clusters in a given area of the compositional space and takes advantage of structural similarities frequently observed in clusters of close compositions. The resulting speedup is up to 50 times compared to current methods. This enables the first-principles studies of multi-component clusters with full coverage of a wide range of compositions. As an example, we report an unprecedented first-principles global optimization of 315 SinOm clusters with n<=15 and m<=20. The obtained map of Si-O cluster stability shows the existence of both expected (SiO2)n and unexpected (e.g. Si4O18) stable ("magic") clusters, which can be important for miscellaneous applications.


title: Comparator automata in quantitative verification

abstract: The notion of comparison between system runs is fundamental in formal verification. This concept is implicitly present in the verification of qualitative systems, and is more pronounced in the verification of quantitative systems. In this work, we identify a novel mode of comparison in quantitative systems: the online comparison of the aggregate values of two sequences of quantitative weights. This notion is embodied by comparator automata (comparators, in short), a new class of automata that read two infinite sequences of weights synchronously and relate their aggregate values. We show that aggregate functions that can be represented with B\"uchi automaton result in comparators that are finite-state and accept by the B\"uchi condition as well. Such $\omega$-regular comparators further lead to generic algorithms for a number of well-studied problems, including the quantitative inclusion and winning strategies in quantitative graph games with incomplete information, as well as related non-decision problems, such as obtaining a finite representation of all counterexamples in the quantitative inclusion problem. We study comparators for two aggregate functions: discounted-sum and limit-average. We prove that the discounted-sum comparator is $\omega$-regular iff the discount-factor is an integer. Not every aggregate function, however, has an $\omega$-regular comparator. Specifically, we show that the language of sequence-pairs for which limit-average aggregates exist is neither $\omega$-regular nor $\omega$-context-free. Given this result, we introduce the notion of prefix-average as a relaxation of limit-average aggregation, and show that it admits $\omega$-context-free comparators i.e. comparator automata expressed by B\"uchi pushdown automata.