title: Few Sample Knowledge Distillation for Efficient Network Compression

abstract: Deep neural network compression techniques such as pruning and weight tensor decomposition usually require fine-tuning to recover the prediction accuracy when the compression ratio is high. However, conventional fine-tuning suffers from the requirement of a large training set and the time-consuming training procedure. This paper proposes a novel solution for knowledge distillation from label-free few samples to realize both data efficiency and training/processing efficiency. We treat the original network as "teacher-net" and the compressed network as "student-net". A 1x1 convolution layer is added at the end of each layer block of the student-net, and we fit the block-level outputs of the student-net to the teacher-net by estimating the parameters of the added layers. We prove that the added layer can be merged without adding extra parameters and computation cost during inference. Experiments on multiple datasets and network architectures verify the method's effectiveness on student-nets obtained by various network pruning and weight decomposition methods. Our method can recover student-net's accuracy to the same level as conventional fine-tuning methods in minutes while using only 1% label-free data of the full training data.


title: Attention Boosted Sequential Inference Model

abstract: Attention mechanism has been proven effective on natural language processing. This paper proposes an attention boosted natural language inference model named aESIM by adding word attention and adaptive direction-oriented attention mechanisms to the traditional Bi-LSTM layer of natural language inference models, e.g. ESIM. This makes the inference model aESIM has the ability to effectively learn the representation of words and model the local subsentential inference between pairs of premise and hypothesis. The empirical studies on the SNLI, MultiNLI and Quora benchmarks manifest that aESIM is superior to the original ESIM model.


title: PHENIX measurements of low momentum direct photon radiation

abstract: The versatility of RHIC allowed the PHENIX collaboration to measure low momentum direct photons from small systems, such as p+p, p+A, d+Au at $\sqrt{s_{NN}} = $200 GeV as well as from large A+A systems, such as Au+Au and Cu+Cu at 200 GeV and Au+Au at 62.4 GeV and 39 GeV. In these measurements PHENIX has discovered a large excess over the scaled p+p yield of direct photons in A+A collisions, and a non-zero excess over the scaled p+p yield in central p+A collisions. Another PHENIX discovery is that at low-$p_{T}$ the integrated yield of direct photons, $dN_{\gamma}/dy$, from large systems follows a universal scaling as a function of the charged-particle multiplicity, $(dN_{ch}/d\eta)^{\alpha}$, with $\alpha = 1.25$. The observed scaling properties of direct photons from these systems show that the photon production yield increases faster than the charged-particle multiplicity.


title: Special functions with mod n symmetry and kaleidoscope of quantum coherent states

abstract: The set of mod $n$ functions associated with primitive roots of unity and discrete Fourier transform is introduced. These functions naturally appear in description of superposition of coherent states related with regular polygon, which we call kaleidoscope of quantum coherent states. Displacement operators for kaleidoscope states are obtained by mod $n$ exponential functions with operator argument and non-commutative addition formulas. Normalization constants, average number of photons, Heinsenberg uncertainty relations and coordinate representation of wave functions with mod n symmetry are expressed in a compact form by these functions.


title: MLIC: A MaxSAT-Based framework for learning interpretable classification rules

abstract: The wide adoption of machine learning approaches in the industry, government, medicine and science has renewed the interest in interpretable machine learning: many decisions are too important to be delegated to black-box techniques such as deep neural networks or kernel SVMs. Historically, problems of learning interpretable classifiers, including classification rules or decision trees, have been approached by greedy heuristic methods as essentially all the exact optimization formulations are NP-hard. Our primary contribution is a MaxSAT-based framework, called MLIC, which allows principled search for interpretable classification rules expressible in propositional logic. Our approach benefits from the revolutionary advances in the constraint satisfaction community to solve large-scale instances of such problems. In experimental evaluations over a collection of benchmarks arising from practical scenarios, we demonstrate its effectiveness: we show that the formulation can solve large classification problems with tens or hundreds of thousands of examples and thousands of features, and to provide a tunable balance of accuracy vs. interpretability. Furthermore, we show that in many problems interpretability can be obtained at only a minor cost in accuracy. The primary objective of the paper is to show that recent advances in the MaxSAT literature make it realistic to find optimal (or very high quality near-optimal) solutions to large-scale classification problems. The key goal of the paper is to excite researchers in both interpretable classification and in the CP community to take it further and propose richer formulations, and to develop bespoke solvers attuned to the problem of interpretable ML.


title: Improving Similarity Search with High-dimensional Locality-sensitive Hashing

abstract: We propose a new class of data-independent locality-sensitive hashing (LSH) algorithms based on the fruit fly olfactory circuit. The fundamental difference of this approach is that, instead of assigning hashes as dense points in a low dimensional space, hashes are assigned in a high dimensional space, which enhances their separability. We show theoretically and empirically that this new family of hash functions is locality-sensitive and preserves rank similarity for inputs in any `p space. We then analyze different variations on this strategy and show empirically that they outperform existing LSH methods for nearest-neighbors search on six benchmark datasets. Finally, we propose a multi-probe version of our algorithm that achieves higher performance for the same query time, or conversely, that maintains performance of prior approaches while taking significantly less indexing time and memory. Overall, our approach leverages the advantages of separability provided by high-dimensional spaces, while still remaining computationally efficient


title: Generating an equidistributed net on a unit n-sphere using random rotations

abstract: We develop a randomized algorithm (that succeeds with high probability) for generating an $\epsilon$-net in a sphere of dimension n. The basic scheme is to pick $O(n \ln(1/n) + \ln(1/\delta))$ random rotations and take all possible words of length $O(n \ln(1/\epsilon))$ in the same alphabet and act them on a fixed point. We show this set of points is equidistributed at a scale of $\epsilon$. Our main application is to approximate integration of Lipschitz functions over an n-sphere.


title: HashFlow For Better Flow Record Collection

abstract: Collecting flow records is a common practice of network operators and researchers for monitoring, diagnosing and understanding a network. Traditional tools like NetFlow face great challenges when both the speed and the complexity of the network traffic increase. To keep pace up, we propose HashFlow, a tool for more efficient and accurate collection and analysis of flow records. The central idea of HashFlow is to maintain accurate records for elephant flows, but summarized records for mice flows, by applying a novel collision resolution and record promotion strategy to hash tables. The performance bound can be analyzed with a probabilistic model, and with this strategy, HashFlow achieves a better utilization of space, and also more accurate flow records, without bringing extra complexity. We have implemented HashFlow, as well as several latest flow measurement algorithms such as FlowRadar, HashPipe and ElasticSketch, in a P4 software switch. Then we use traces from different operational networks to evaluate them. In these experiments, for various types of traffic analysis applications, HashFlow consistently demonstrates a clearly better performance against its state-of-the-art competitors. For example, using a small memory of 1 MB, HashFlow can accurately record around 55K flows, which is often 12.5% higher than the others. For estimating the sizes of 50K flows, HashFlow achieves a relative error of around 11.6%, while the estimation error of the best competitor is 42.9% higher. It detects 96.1% of the heavy hitters out of 250K flows with a size estimation error of 5.6%, which is 11.3% and 73.7% better than the best competitor respectively. At last, we show these merits of HashFlow come with almost no degradation of throughput.


title: Symmetric self-shrinkers for the fractional mean curvature flow

abstract: We show existence of homothetically shrinking solutions of the fractional mean curvature flow, whose boundary consists in a prescribed numbers of concentric spheres. We prove that all these solutions, except from the ball, are dynamically unstable.


title: A note on free vector balleans

abstract: A vector balleans is a vector space over $\mathbb{R}$ endowed with a coarse structure in such a way that the vector operations are coarse mappings. We prove that, for every ballean $(X, \mathcal{E})$, there exists the unique free vector ballean $\mathbb{V}(X, \mathcal{E})$ and describe the coarse structure of $\mathbb{V}(X, \mathcal{E})$. It is shown that normality of $\mathbb{V}(X, \mathcal{E})$ is equivalent to metrizability of $(X, \mathcal{E})$.


title: On minimal decay at infinity of Hardy-weights

abstract: We study the behaviour of Hardy-weights for a class of variational quasi-linear elliptic operators of $p$-Laplacian type. In particular, we obtain necessary sharp decay conditions at infinity on the Hardy-weights in terms of their integrability with respect to certain integral weights. Some of the results are extended also to nonsymmetric linear elliptic operators. Applications to various examples are discussed as well.


title: Influence of composition and heating schedules on compatibility of FeCrAl alloys with high-temperature steam

abstract: FeCrAl alloys are proposed and being intensively investigated as alternative accident tolerant fuel (ATF) cladding for nuclear fission application. Herein, the influence of major alloy elements (Cr and Al), reactive element effect and heating schedules on the oxidation behavior of FeCrAl alloys in steam up to 1500{\deg}C was examined. In case of transient ramp tests, catastrophic oxidation, i.e. rapid and complete consumption of the alloy, occurred during temperature ramp up to above 1200{\deg}C for specific alloys. The maximum compatible temperature of FeCrAl alloys in steam increases with raising Cr and Al content, decreasing heating rates during ramp period and doping of yttrium. Isothermal oxidation resulted in catastrophic oxidation at 1400{\deg}C for all examined alloys. However, formation of a protective alumina scale at 1500{\deg}C was ascertained despite partial melting. The occurrence of catastrophic oxidation seems to be controlled by dynamic competitive mechanisms between mass transfer of Al from the substrate and transport of oxidizing gas through the scale both toward the metal/oxide scale interface.


title: Investigation of surface homogeneity of (3200) Phaethon

abstract: Time-series multi-band photometry and spectrometry were performed in Nov.-Dec. 2017 to investigate the homogeneity of the surface of asteroid (3200) Phaethon. We found that Phaethon is a B-type asteroid, in agreement with previous studies, and that it shows no evidence for rotational color variation. The sub-solar latitude during our observation period was approximately 55 degree S, which corresponded to the southern hemisphere of Phaethon. Thus, we found that the southern hemisphere of Phaethon has a homogeneous surface. We compared our spectra with existing spectral data to examine the latitudinal surface properties of Phaethon. The result showed that it doesn't have a latitudinal color variation. To explain this observation, we investigated the solar-radiation heating effect on Phaethon, and the result suggested that Phaethon underwent a uniform thermal metamorphism regardless of latitude, which was consistent with our observations. Based on this result, we discuss the homogeneity of the surface of Phaethon.


title: Voting and Bribing in Single-Exponential Time

abstract: We introduce a general problem about bribery in voting systems. In the $\mathcal{R}$-Multi-Bribery problem, the goal is to bribe a set of voters at minimum cost such that a desired candidate wins the perturbed election under the voting rule R. Voters assign prices for withdrawing their vote, for swapping the positions of two consecutive candidates in their preference order, and for perturbing their approval count to favour candidates. As our main result, we show that $\mathcal{R}$-Multi-Bribery is fixed-parameter tractable parameterized by the number of candidates for many natural voting rules $\mathcal{R}$, including Kemeny rule, all scoring protocols, maximin rule, Bucklin rule, fallback rule, SP-AV, and any C1 rule. In particular, our result resolves the parameterized complexity of $\mathcal{R}$-Swap Bribery for all those voting rules, thereby solving a long-standing open problem and "Challenge #2" of the "Nine Research Challenges in Computational Social Choice" by Bredereck et al. Further, our algorithm runs in single-exponential time for arbitrary cost; it thus improves the earlier double-exponential time algorithm by Dorn and Schlotter that is restricted to the uniform-cost case for all scoring protocols, the maximin rule, and Bucklin rule.


title: Termination of $\lambda$$\Pi$ modulo rewriting using the size-change principle (work in progress)

abstract: The Size-Change Termination principle was first introduced to study the termination of first-order functional programs. In this work, we show that it can also be used to study the termination of higher-order rewriting in a system of dependent types extending LF.


title: f(Ricci) gravity

abstract: f(Ricci) gravity is a special kind of higher curvature gravity whose bulk Lagrangian density is the trace of a matrix-valued function of the Ricci tensor. It is shown that, under some mild constraints, f(Ricci) gravity admits Einstein manifolds as exact vacuum solutions, and can be ghost free around maximally symmetric Einstein vacua. It is also shown that the entropy for spherically symmetric black holes in f(Ricci) gravity calculated via Wald's method and the boundary Noether charge approach proposed by Majhi and Padmanabhan are in good agreement.


title: Explainable and Explicit Visual Reasoning over Scene Graphs

abstract: We aim to dismantle the prevalent black-box neural architectures used in complex visual reasoning tasks, into the proposed eXplainable and eXplicit Neural Modules (XNMs), which advance beyond existing neural module networks towards using scene graphs --- objects as nodes and the pairwise relationships as edges --- for explainable and explicit reasoning with structured knowledge. XNMs allow us to pay more attention to teach machines how to "think", regardless of what they "look". As we will show in the paper, by using scene graphs as an inductive bias, 1) we can design XNMs in a concise and flexible fashion, i.e., XNMs merely consist of 4 meta-types, which significantly reduce the number of parameters by 10 to 100 times, and 2) we can explicitly trace the reasoning-flow in terms of graph attentions. XNMs are so generic that they support a wide range of scene graph implementations with various qualities. For example, when the graphs are detected perfectly, XNMs achieve 100% accuracy on both CLEVR and CLEVR CoGenT, establishing an empirical performance upper-bound for visual reasoning; when the graphs are noisily detected from real-world images, XNMs are still robust to achieve a competitive 67.5% accuracy on VQAv2.0, surpassing the popular bag-of-objects attention models without graph structures.


title: Chore division on a graph

abstract: The paper considers fair allocation of indivisible nondisposable items that generate disutility (chores). We assume that these items are placed in the vertices of a graph and each agent's share has to form a connected subgraph of this graph. Although a similar model has been investigated before for goods, we show that the goods and chores settings are inherently different. In particular, it is impossible to derive the solution of the chores instance from the solution of its naturally associated fair division instance. We consider three common fair division solution concepts, namely proportionality, envy-freeness and equitability, and two individual disutility aggregation functions: additive and maximum based. We show that deciding the existence of a fair allocation is hard even if the underlying graph is a path or a star. We also present some efficiently solvable special cases for these graph topologies.


title: Majorana multipole response of topological superconductors

abstract: In contrast to elementary Majorana particles, emergent Majorana fermions (MFs) in condensed-matter systems may have electromagnetic multipoles. We developed a general theory of magnetic multipoles for surface helical MFs on time-reversal-invariant superconductors. The results show that the multipole response is governed by crystal symmetry, and that a one-to-one correspondence exists between the symmetry of Cooper pairs and the representation of magnetic multipoles under crystal symmetry. The latter property provides a way to identify nonconventional pairing symmetry via the magnetic response of surface MFs. We also find that most helical MFs exhibit a magnetic-dipole response, but those on superconductors with spin-3/2 electrons may display a magnetic-octupole response in leading order, which uniquely characterizes high-spin superconductors. Detection of such an octupole response provides direct evidence of high-spin superconductivity, such as in half-Heusler superconductors.


title: Kinematics of Subclusters in Star Cluster Complexes: Imprint of their Parental Molecular Clouds

abstract: Star cluster complexes such as the Carina Nebula can have formed in turbulent giant molecular clouds. We perform a series of $N$-body simulations starting from subclustering initial conditions based on hydrodynamic simulations of turbulent molecular clouds. These simulations finally result in the formation of star cluster complexes consisting of several subclusters (clumps). We obtain the inter-clump velocity distribution, the size of the region, and the mass of the most massive cluster in our simulated complex and compare the results with observed ones (the Carina Nebula and NGC 2264). The one-dimensional inter-clump velocity dispersion obtained from our simulations is $2.9\pm0.3$ and $1.4\pm0.4$ km s$^{-1}$ for the Carina- and NGC 2264-like models, respectively, which are consistent with those obtained from Gaia Data Release 2: 2.35 and 0.99 km s$^{-1}$ for the Carina Nebula and NGC 2264, respectively. We estimate that the masses of the parental molecular clouds for the Carina Nebula and the NGC 2264 are $4\times 10^5$ and $4\times 10^4M_{\odot}$, respectively.


title: Enhancing Label-Driven Deep Deformable Image Registration with Local Distance Metrics for State-of-the-Art Cardiac Motion Tracking

abstract: While deep learning has achieved significant advances in accuracy for medical image segmentation, its benefits for deformable image registration have so far remained limited to reduced computation times. Previous work has either focused on replacing the iterative optimization of distance and smoothness terms with CNN-layers or using supervised approaches driven by labels. Our method is the first to combine the complementary strengths of global semantic information (represented by segmentation labels) and local distance metrics that help align surrounding structures. We demonstrate significant higher Dice scores (of 86.5\%) for deformable cardiac image registration compared to classic registration (79.0\%) as well as label-driven deep learning frameworks (83.4\%).


title: Affinity of NJL$_2$ and NJL$_{4}$ model results on duality and pion condensation in chiral asymmetric dense quark matter

abstract: In this paper we investigate the phase structure of a (1+1) and (3+1)-dimensional quark model with four-quark interaction and in the presence of baryon ($\mu_B$), isospin ($\mu_I$) and chiral isospin ($\mu_{I5}$) chemical potentials. It is shown that the chemical potential $\mu_{I5}$ promotes the appearance of the charged PC phase with nonzero baryon density. Results of both models are qualitatively the same, this fact enhances one's confidence in %the faith in the obtained predictions. It is established that in the large-$N_c$ limit ($N_c$ is the number of colored quarks) there exists a duality correspondence between the chiral symmetry breaking phase and the charged pion condensation one.


title: Temporal Cloak without Synchronization

abstract: Considered to only exist in the fairy tales in the past, invisibility cloaks have been successively converted into reality no matter in the spatial domain or temporal domain. Inspired by the spatial cloaking, time gaps are utilized to hide temporal events. However, a sophisticated synchronization for cloaking is indispensable in these cloaking techniques, therefore leaving inconvenience for the realization of the temporal cloak. Here, by exploiting temporal Talbot effect, we propose a brand new scheme and concept to achieve a temporal cloak without any synchronization for cloaking process, under which the intensity-modulated event is directly turned into invisibility in intensity through temporal averaging effect induced by the Talbot effect. We successfully realize temporal cloak for periodic and pseudo-random signals respectively. We also find that the higher order temporal Talbot effect is beneficial to cloaking performance. Moreover, it is feasible to recover the data from the intensity-cloaked waveform. This method and its concept render a distinct perspective for temporal cloak, extend temporal cloak to the pulsed-wave and promote the development of confidential communication.


title: A BGK model for charge transport in graphene

abstract: The Boltzmann equation describes the detailed microscopic behaviour of a dilute gas, and represents the basis of the kinetic theory of gases. In order to reduce the difficulties in solving the Boltzmann equation, simple expressions of a collision operator have been proposed to replace the true Boltzmann integral term. These new equations are called kinetic models. The most popular and widely used kinetic model is the Bhatnagar-Gross-Krook (BGK) model. In this work we propose and analyse a BGK model for charge transport in graphene.


title: Symmetry selective Dynamic Casimir Effect in One-Dimensional Photonic Crystals

abstract: Real photon pairs can be created in a dynamic cavity with periodically modulated refractive index of the constituent media or oscillating boundaries. This effect is called Dynamic Casimir effect (DCE), which represents one of the most amazing predictions of quantum field theory. Here, we investigate DCE in a dynamic one-dimensional photonic crystal system with both temporal and spatial modulation of the refractive index profile. Such a system can resonantly generate photons at driving frequencies equal to even or odd integer times of that of the fundamental cavity mode governed by the symmetry of the spatial modulation. We further observe interesting spectral and scaling behaviors for photons excited at the band edge. Our discovery introduces a new degree of freedom to enhance the efficiency of DCE.


title: Wronskian Appell Polynomials and Symmetric Functions

abstract: We study Wronskians of Appell polynomials indexed by integer partitions. These families of polynomials appear in rational solutions of certain Painlev\'e equations and in the study of exceptional orthogonal polynomials. We determine their derivatives, their average and variance with respect to Plancherel measure, and introduce several recurrence relations. In addition, we prove an integrality conjecture for Wronskian Hermite polynomials previously made by the first and last authors. Our proofs all exploit strong connections with the theory of symmetric functions.


title: Accurate electronic and optical properties of hexagonal germanium for optoelectronic applications

abstract: High-quality defect-free lonsdaleite Si and Ge can now be grown on hexagonal nanowire substrates. These hexagonal phases of group-IV semiconductors have been predicted to exhibit improved electronic and optical properties for optoelectronic applications. While lonsdaleite Si is a well-characterized indirect semiconductor, experimental data and reliable calculations on lonsdaleite Ge are scarce and not consistent regarding the nature of its gap. Using ab initio density-functional theory, we calculate accurate structural, electronic, and optical properties for hexagonal Ge. Given the well-known sensitivity of electronic-structure calculations for Ge to the underlying approximations, we systematically test the performance of several exchange-correlation functionals, including meta-GGA and hybrid functionals. We first validate our approach for cubic Ge, obtaining atomic geometries and band structures in excellent agreement with available experimental data. Then, the same approach is applied to predict electronic and optical properties of lonsdaleite Ge. We portray lonsdaleite Ge as a direct semiconductor with only weakly dipole-active lowest optical transitions, small band gap, huge crystal-field splitting, and strongly anisotropic effective masses. The unexpectedly small direct gap and the oscillator strengths of the lowest optical transitions are explained in terms of symmetry and back-folding of energy bands of the diamond structure.


title: Few-shot Object Detection via Feature Reweighting

abstract: Conventional training of a deep CNN based object detector demands a large number of bounding box annotations, which may be unavailable for rare categories. In this work we develop a few-shot object detector that can learn to detect novel objects from only a few annotated examples. Our proposed model leverages fully labeled base classes and quickly adapts to novel classes, using a meta feature learner and a reweighting module within a one-stage detection architecture. The feature learner extracts meta features that are generalizable to detect novel object classes, using training data from base classes with sufficient samples. The reweighting module transforms a few support examples from the novel classes to a global vector that indicates the importance or relevance of meta features for detecting the corresponding objects. These two modules, together with a detection prediction module, are trained end-to-end based on an episodic few-shot learning scheme and a carefully designed loss function. Through extensive experiments we demonstrate that our model outperforms well-established baselines by a large margin for few-shot object detection, on multiple datasets and settings. We also present analysis on various aspects of our proposed model, aiming to provide some inspiration for future few-shot detection works.


title: A (0,2) mirror duality

abstract: We construct a class of exactly solved (0,2) heterotic compactifications, similar to the (2,2) models constructed by Gepner. We identify these as special points in moduli spaces containing geometric limits described by non-linear sigma models on complete intersection Calabi-Yau spaces in toric varieties, equipped with a bundle whose rank is strictly greater than that of the tangent bundle. These moduli spaces do not in general contain a locus exhibiting (2,2) supersymmetry. A quotient procedure at the exactly solved point realizes the mirror isomorphism, as was the case for Gepner models. We find a geometric interpretation of the mirror duality in the context of hybrid models.


title: Localization for gapped Dirac Hamiltionians with random perturbations: Application to graphene antidot lattices

abstract: In this paper we study random perturbations of first order elliptic operators with periodic potentials. We are mostly interested in Hamiltonians modeling graphene antidot lattices with impurities. The unperturbed operator $H_0 := D_S + V_0$ is the sum of a Dirac-like operator $D_S$ plus a periodic matrix valued potential $V_0$, and is assumed to have an open gap. The random potential $V_\omega$ is of Anderson-type with independent, identically distributed coupling constants and moving centers, with absolutely continuous probability distributions. We prove band edge localization, namely that there exists an interval of energies in the unperturbed gap where the almost sure spectrum of the family $H_\omega := H_0 + V_\omega$ is dense pure point, with exponentially decaying eigenfunctions, that give rise to dynamical localization.


title: Equidistributed periodic orbits of $C^\infty$-generic three-dimensional Reeb flows

abstract: We prove that, for a $C^\infty$-generic contact form $\lambda$ adapted to a given contact distribution on a closed three-manifold, there exists a sequence of periodic Reeb orbits which is equidistributed with respect to $d\lambda$. This is a quantitative refinement of the $C^\infty$-generic density theorem for three-dimensional Reeb flows, which was previously proved by the author. The proof is based on the volume theorem in embedded contact homology (ECH) by Cristofaro-Gardiner, Hutchings, Ramos, and inspired by the argument of Marques-Neves-Song, who proved a similar equidistribution result for minimal hypersurfaces. We also discuss a question about generic behavior of periodic Reeb orbits "representing" ECH homology classes, and give a partial affirmative answer to a toy model version of this question which concerns boundaries of star-shaped toric domains.


title: Computational efficiency of numerical integration methods for the tangent dynamics of many-body Hamiltonian systems in one and two spatial dimensions

abstract: We investigate the computational performance of various numerical methods for the integration of the equations of motion and the variational equations for some typical classical many-body models of condensed matter physics: the Fermi-Pasta-Ulam-Tsingou (FPUT) chain and the one- and two-dimensional disordered, discrete nonlinear Schr\"odinger equations (DDNLS). In our analysis we consider methods based on Taylor series expansion, Runge-Kutta discretization and symplectic transformations. The latter have the ability to exactly preserve the symplectic structure of Hamiltonian systems, which results in keeping bounded the error of the system's computed total energy. We perform extensive numerical simulations for several initial conditions of the studied models and compare the numerical efficiency of the used integrators by testing their ability to accurately reproduce characteristics of the systems' dynamics and quantify their chaoticity through the computation of the maximum Lyapunov exponent. We also report the expressions of the implemented symplectic schemes and provide the explicit forms of the used differential operators. Among the tested numerical schemes the symplectic integrators $ABA864$ and $SRKN^a_{14}$ exhibit the best performance, respectively for moderate and high accuracy levels in the case of the FPUT chain, while for the DDNLS models $s9\mathcal{ABC}6$ and $s11\mathcal{ABC}6$ (moderate accuracy), along with $s17\mathcal{ABC}8$ and $s19\mathcal{ABC}8$ (high accuracy) proved to be the most efficient schemes.


title: spGARCH: An R-Package for Spatial and Spatiotemporal ARCH models

abstract: In this paper, a general overview on spatial and spatiotemporal ARCH models is provided. In particular, we distinguish between three different spatial ARCH-type models. In addition to the original definition of Otto et al. (2016), we introduce an exponential spatial ARCH model in this paper. For this new model, maximum-likelihood estimators for the parameters are proposed. In addition, we consider a new complex-valued definition of the spatial ARCH process. From a practical point of view, the use of the R-package spGARCH is demonstrated. To be precise, we show how the proposed spatial ARCH models can be simulated and summarize the variety of spatial models, which can be estimated by the estimation functions provided in the package. Eventually, we apply all procedures to a real-data example.


title: Laser Mode Bifurcations Induced by $\mathcal{PT}$-Breaking Exceptional Points

abstract: A laser consisting of two independently-pumped resonators can exhibit mode bifurcations that evolve out of the exceptional points (EPs) of the linear system at threshold. The EPs are non-Hermitian degeneracies occurring at the parity/time-reversal ($\mathcal{PT}$) symmetry breaking points of the threshold system. Above threshold, the EPs become bifurcations of the nonlinear zero-detuned laser modes, which can be most easily observed by making the gain saturation intensities in the two resonators substantially different. Small pump variations can then switch abruptly between different laser behaviors, e.g. between below-threshold and $\mathcal{PT}$-broken single-mode operation.


title: Measurement of Diffractive and Exclusive processes

abstract: With excellent performance the Compact Muon Solenoid (CMS) experiment has made a number of key observations in the diffractive and exclusive processes and hence in probing the Standard model in a unique way. This presentation will cover recent results on the measurement of diffractive and exclusive processes using data recorded by CMS detector at the LHC.


title: Learning to Take Directions One Step at a Time

abstract: We present a method to generate a video sequence given a single image. Because items in an image can be animated in arbitrarily many different ways, we introduce as control signal a sequence of motion strokes. Such control signal can be automatically transferred from other videos, e.g., via bounding box tracking. Each motion stroke provides the direction to the moving object in the input image and we aim to train a network to generate an animation following a sequence of such directions. To address this task we design a novel recurrent architecture, which can be trained easily and effectively thanks to an explicit separation of past, future and current states. As we demonstrate in the experiments, our proposed architecture is capable of generating an arbitrary number of frames from a single image and a sequence of motion strokes. Key components of our architecture are an autoencoding constraint to ensure consistency with the past and a generative adversarial scheme to ensure that images look realistic and are temporally smooth. We demonstrate the effectiveness of our approach on the MNIST, KTH, Human3.6M, Push and Weizmann datasets.


title: Multi-level integration for meson propagators

abstract: The computation of many correlation functions in lattice QCD is severely hindered by a signal-to-noise problem. Recent developments in the factorization of both the fermion propagator and determinant pave the way for the implementation of multi-level Monte Carlo integration techniques for lattice QCD. In these proceedings we introduce new strategies for the estimation of the factorized contribution to the connected and disconnected diagrams for meson two-point functions. An estimator for the factorized connected diagram is constructed sequentially for a two-level integration scheme. For the disconnected diagram, we introduce an improved estimator by performing a frequency-splitting of traces, applicable with or without multi-level integration. Preliminary results in the quenched theory with a two-level integration scheme are presented.


title: Variations on the Boman covering lemma

abstract: We explore some variants of the Boman covering lemma, and their relationship to the boundedness properties of the maximal operator. Let $1 < p < \infty$ and let $q$ be its conjugate exponent. We prove that the strong type $(q,q)$ of the uncentered maximal operator, by itself, implies certain generalizations of the Boman covering lemma for the exponent $p$, and in turn, these generalizations entail the weak type $(q,q)$ of the centered maximal operator. We show by example that it is possible for the uncentered maximal operator to be unbounded for all $1 < s < \infty$, while the conclusion of the lemma holds for every $1 < p < \infty$; thus, the latter condition is much weaker. Also, the boundedness of the centered maximal operator entails weak versions of the lemma.


title: Constraints on $H_0$ from WMAP and baryon acoustic osillation measurements

abstract: We report the constraints of $H_0$ obtained from Wilkinson Microwave Anisotropy Probe (WMAP) combined with the latest baryonic acoustic oscillations (BAO) measurements. We use the BAO measurements from the 6dF Galaxy Survey (6dFGS), the SDSS DR7 main galaxies sample (MGS), the BOSS DR12 galaxies and the eBOSS DR14 quasars. Adding the recent BAO measurements to the cosmic microwave background (CMB) data from WMAP, we constrain cosmological parameters $\Omega_m=0.298\pm0.005$, $H_0=68.36^{+0.53}_{-0.52}$ km s$^{-1}$ Mpc$^{-1}$, $\sigma_8=0.8170^{+0.0159}_{-0.0175}$ in a spatially flat $\Lambda$ cold dark matter ($\Lambda$CDM) model, and $\Omega_m=0.302\pm0.008$, $H_0=67.63\pm1.30$ km s$^{-1}$ Mpc$^{-1}$, $\sigma_8=0.7988^{+0.0345}_{-0.0338}$ in a spatially flat $w$CDM model, respectively. The combined constraint on $w$ from CMB and BAO in a spatially flat $w$CDM model is $w=-0.96\pm0.07$. Our measured $H_0$ results prefer a value lower than 70 km s$^{-1}$ Mpc$^{-1}$, consistent with the recent data on CMB constraints from Planck (2018), but in $3.1\sim 3.5\sigma$ tension with local measurements of Riess et al. (2018) in $\Lambda$CDM and $w$CDM framework, respectively. Compared with the WMAP alone analysis, the WMPA+BAO analysis reduces the error bar by 75.4% in $\Lambda$CDM model and 95.3% in $w$CDM model.


title: Semi-purity for cycles with modulus

abstract: In this paper, we prove a form of purity property for the $(\mathbb{P}^1, \infty)$-invariant replacement $h_0^{\overline{\square}}(\mathfrak{X})$ of the Yoneda object $\mathbb{Z}_{\rm tr} (\mathfrak{X})$ for a modulus pair $\mathfrak{X}=(\overline{X}, X_\infty)$ over a field $k$, consisting of a smooth projective $k$-scheme and an effective Cartier divisor on it. As application, we prove the analogue in the modulus setting of Voevodsky's fundamental theorem on the homotopy invariance of the cohomology of homotopy invariant sheaves with transfers, based on a main result of "Purity of reciprocity sheaves" arXiv:1704.02442. This plays an essential role in the development of the theory of motives with modulus, and among other things implies the existence of a homotopy $t$-structure on the category $\mathbf{MDM}^{\rm eff}(k)$ of Kahn-Saito-Yamazaki.


title: An enhanced computational feature selection method for medical synonym identification via bilingualism and multi-corpus training

abstract: Medical synonym identification has been an important part of medical natural language processing (NLP). However, in the field of Chinese medical synonym identification, there are problems like low precision and low recall rate. To solve the problem, in this paper, we propose a method for identifying Chinese medical synonyms. We first selected 13 features including Chinese and English features. Then we studied the synonym identification results of each feature alone and different combinations of the features. Through the comparison among identification results, we present an optimal combination of features for Chinese medical synonym identification. Experiments show that our selected features have achieved 97.37% precision rate, 96.00% recall rate and 97.33% F1 score.


title: Learning to Compose Dynamic Tree Structures for Visual Contexts

abstract: We propose to compose dynamic tree structures that place the objects in an image into a visual context, helping visual reasoning tasks such as scene graph generation and visual Q&A. Our visual context tree model, dubbed VCTree, has two key advantages over existing structured object representations including chains and fully-connected graphs: 1) The efficient and expressive binary tree encodes the inherent parallel/hierarchical relationships among objects, e.g., "clothes" and "pants" are usually co-occur and belong to "person"; 2) the dynamic structure varies from image to image and task to task, allowing more content-/task-specific message passing among objects. To construct a VCTree, we design a score function that calculates the task-dependent validity between each object pair, and the tree is the binary version of the maximum spanning tree from the score matrix. Then, visual contexts are encoded by bidirectional TreeLSTM and decoded by task-specific models. We develop a hybrid learning procedure which integrates end-task supervised learning and the tree structure reinforcement learning, where the former's evaluation result serves as a self-critic for the latter's structure exploration. Experimental results on two benchmarks, which require reasoning over contexts: Visual Genome for scene graph generation and VQA2.0 for visual Q&A, show that VCTree outperforms state-of-the-art results while discovering interpretable visual context structures.


title: Fab Four Effective Field Theory Treatment

abstract: The article addresses the John interaction from Fab Four class of Horndeski models from the effective field theory point of view. Models with this interaction are heavily constrained by gravitational wave speed observations, so it is important to understand, if these constraints hold in the effective field theory framework. We show that John interaction induces new terms quadratic in curvature at the level of the effective (classical) action. These new terms generate additional low energy scalar and spin-2 gravitational degrees of freedom. Some of them have a non-vanishing decay width and some are ghosts. Discussion of these features is given


title: Bayesian Spatial Inversion and Conjugate Selection Gaussian Prior Models

abstract: We introduce the concept of conjugate prior models for a given likelihood function in Bayesian spatial inversion. The conjugate class of prior models can be selection extended and still remain conjugate. We demonstrate the generality of selection Gaussian prior models, representing multi-modality, skewness and heavy-tailedness. For Gauss-linear likelihood functions, the posterior model is also selection Gaussian. The model parameters of the posterior pdf are explisite functions of the model parameters of the likelihood and prior models - and the actual observations, of course. Efficient algorithms for simulation of and prediction for the selection Gaussian posterior pdf are defined. Inference of the model parameters in the selection Gaussian prior pdf, based on one training image of the spatial variable, can be reliably made by a maximum likelihood criterion and numerical optimization. Lastly, a seismic inversion case study is presented, and improvements of $ 20$-$40\%$ in prediction mean-square-error, relative to traditional Gaussian inversion, are found.


title: On algorithmic unsolvability of the problem embeddability of algebraic varieties over a field of characteristic zero

abstract: We show that for two afii varieties over an arbitrary field of characteristic zero, there is no general form of an algorithm for checking the presence of an embedding of one algebraic variety in another. Moreover, we establish this for affine varieties whose coordinate rings are given by generators and defining relations. Moreover, one of these varieties can be taken as an affine space, and in the case of a field of real numbers, an affine line.


title: MedSim: A Novel Semantic Similarity Measure in Bio-medical Knowledge Graphs

abstract: We present MedSim, a novel semantic SIMilarity method based on public well-established bio-MEDical knowledge graphs (KGs) and large-scale corpus, to study the therapeutic substitution of antibiotics. Besides hierarchy and corpus of KGs, MedSim further interprets medicine characteristics by constructing multi-dimensional medicine-specific feature vectors. Dataset of 528 antibiotic pairs scored by doctors is applied for evaluation and MedSim has produced statistically significant improvement over other semantic similarity methods. Furthermore, some promising applications of MedSim in drug substitution and drug abuse prevention are presented in case study.


title: Improving Medical Short Text Classification with Semantic Expansion Using Word-Cluster Embedding

abstract: Automatic text classification (TC) research can be used for real-world problems such as the classification of in-patient discharge summaries and medical text reports, which is beneficial to make medical documents more understandable to doctors. However, in electronic medical records (EMR), the texts containing sentences are shorter than that in general domain, which leads to the lack of semantic features and the ambiguity of semantic. To tackle this challenge, we propose to add word-cluster embedding to deep neural network for improving short text classification. Concretely, we first use hierarchical agglomerative clustering to cluster the word vectors in the semantic space. Then we calculate the cluster center vector which represents the implicit topic information of words in the cluster. Finally, we expand word vector with cluster center vector, and implement classifiers using CNN and LSTM respectively. To evaluate the performance of our proposed method, we conduct experiments on public data sets TREC and the medical short sentences data sets which is constructed and released by us. The experimental results demonstrate that our proposed method outperforms state-of-the-art baselines in short sentence classification on both medical domain and general domain.


title: Influence of Demand and Generation Uncertainty on the Operational Efficiency of Smart Grids

abstract: To ensure the smooth and near optimal operation of storage and controllable generation in a grid with a high share of renewable energies, it is important to have accurate forecasts for load and generation. But even with the advanced forecasts available today, the prediction error can have a significant impact on the operation performance of the system. This paper compares and analyzes the impact of the prediction-error on the operational performance in case of a small virtual power plant.


title: Approach for Semi-automatic Construction of Anti-infective Drug Ontology Based on Entity Linking

abstract: Ontology can be used for the interpretation of natural language. To construct an anti-infective drug ontology, one needs to design and deploy a methodological step to carry out the entity discovery and linking. Medical synonym resources have been an important part of medical natural language processing (NLP). However, there are problems such as low precision and low recall rate. In this study, an NLP approach is adopted to generate candidate entities. Open ontology is analyzed to extract semantic relations. Six-word vector features and word-level features are selected to perform the entity linking. The extraction results of synonyms with a single feature and different combinations of features are studied. Experiments show that our selected features have achieved a precision rate of 86.77%, a recall rate of 89.03% and an F1 score of 87.89%. This paper finally presents the structure of the proposed ontology and its relevant statistical data.


title: Interactive Full Image Segmentation by Considering All Regions Jointly

abstract: We address interactive full image annotation, where the goal is to accurately segment all object and stuff regions in an image. We propose an interactive, scribble-based annotation framework which operates on the whole image to produce segmentations for all regions. This enables sharing scribble corrections across regions, and allows the annotator to focus on the largest errors made by the machine across the whole image. To realize this, we adapt Mask-RCNN into a fast interactive segmentation framework and introduce an instance-aware loss measured at the pixel-level in the full image canvas, which lets predictions for nearby regions properly compete for space. Finally, we compare to interactive single object segmentation on the COCO panoptic dataset. We demonstrate that our interactive full image segmentation approach leads to a 5% IoU gain, reaching 90% IoU at a budget of four extreme clicks and four corrective scribbles per region.


title: A Knowledge Graph Based Solution for Entity Discovery and Linking in Open-Domain Questions

abstract: Named entity discovery and linking is the fundamental and core component of question answering. In Question Entity Discovery and Linking (QEDL) problem, traditional methods are challenged because multiple entities in one short question are difficult to be discovered entirely and the incomplete information in short text makes entity linking hard to implement. To overcome these difficulties, we proposed a knowledge graph based solution for QEDL and developed a system consists of Question Entity Discovery (QED) module and Entity Linking (EL) module. The method of QED module is a tradeoff and ensemble of two methods. One is the method based on knowledge graph retrieval, which could extract more entities in questions and guarantee the recall rate, the other is the method based on Conditional Random Field (CRF), which improves the precision rate. The EL module is treated as a ranking problem and Learning to Rank (LTR) method with features such as semantic similarity, text similarity and entity popularity is utilized to extract and make full use of the information in short texts. On the official dataset of a shared QEDL evaluation task, our approach could obtain 64.44% F1 score of QED and 64.86% accuracy of EL, which ranks the 2nd place and indicates its practical use for QEDL problem.


title: Reducing bias in the analysis of solution-state NMR data with dynamics detectors

abstract: Nuclear magnetic resonance (NMR) is sensitive to dynamics on a wide range of correlation times. Recently, we have shown that analysis of relaxation rates via fitting to a correlation function with a small number of exponential terms could yield a biased characterization of molecular motion in solid-state NMR, due to limited sensitivity of experimental data to certain ranges of correlation times. We introduced an alternative approach based on 'detectors' in solid-state NMR, for which detector responses characterize motion for a range of correlation times, and reduce potential bias resulting from the use of simple models for the motional correlation functions. Here, we show that similar bias can occur in the analysis of solution-state NMR relaxation data. We have thus adapted the detector approach to solution-state NMR, specifically separating overall tumbling motion from internal motions and accounting for contributions of chemical exchange to transverse relaxation. We demonstrate that internal protein motions can be described with detectors when the overall motion and the internal motions are statistically independent. We illustrate the detector analysis on ubiquitin with typical relaxation data sets recorded at a single or at multiple high magnetic fields, and compare with results of model-free analysis. We also compare our methodology to LeMaster's method of dynamics analysis.


title: Constructing Ontology-Based Cancer Treatment Decision Support System with Case-Based Reasoning

abstract: Decision support is a probabilistic and quantitative method designed for modeling problems in situations with ambiguity. Computer technology can be employed to provide clinical decision support and treatment recommendations. The problem of natural language applications is that they lack formality and the interpretation is not consistent. Conversely, ontologies can capture the intended meaning and specify modeling primitives. Disease Ontology (DO) that pertains to cancer's clinical stages and their corresponding information components is utilized to improve the reasoning ability of a decision support system (DSS). The proposed DSS uses Case-Based Reasoning (CBR) to consider disease manifestations and provides physicians with treatment solutions from similar previous cases for reference. The proposed DSS supports natural language processing (NLP) queries. The DSS obtained 84.63% accuracy in disease classification with the help of the ontology.


title: A Comparison of Automatic Differentiation and Continuous Sensitivity Analysis for Derivatives of Differential Equation Solutions

abstract: Derivatives of differential equation solutions are commonly for parameter estimation, fitting neural differential equations, and as model diagnostics. However, with a litany of choices and a Cartesian product of potential methods, it can be difficult for practitioners to understand which method is likely to be the most effective on their particular application. In this manuscript we investigate the performance characteristics of Discrete Local Sensitivity Analysis implemented via Automatic Differentiation (DSAAD) against continuous adjoint sensitivity analysis. Non-stiff and stiff biological and pharmacometric models, including a PDE discretization, are used to quantify the performance of sensitivity analysis methods. Our benchmarks show that on small systems of ODEs (approximately $<100$ parameters+ODEs), forward-mode DSAAD is more efficient than both reverse-mode and continuous forward/adjoint sensitivity analysis. The scalability of continuous adjoint methods is shown to be more efficient than discrete adjoints and forward methods after crossing this size range. These comparative studies demonstrate a trade-off between memory usage and performance in the continuous adjoint methods that should be considered when choosing the technique, while numerically unstable backsolve techniques from the machine learning literature are demonstrated as unsuitable for most scientific models. The performance of adjoint methods is shown to be heavily tied to the reverse-mode AD method, with tape-based AD methods shown to be 2 orders of magnitude slower on nonlinear partial differential equations than static AD techniques. These results also demonstrate the applicability of DSAAD to differential-algebraic equations, delay differential equations, and hybrid differential equation systems, showcasing an ease of implementation advantage for DSAAD approaches.


title: An Evolutionary Hierarchical Interval Type-2 Fuzzy Knowledge Representation System (EHIT2FKRS) for Travel Route Assignment

abstract: Urban Traffic Networks are characterized by high dynamics of traffic flow and increased travel time, including waiting times. This leads to more complex road traffic management. The present research paper suggests an innovative advanced traffic management system based on Hierarchical Interval Type-2 Fuzzy Logic model optimized by the Particle Swarm Optimization (PSO) method. The aim of designing this system is to perform dynamic route assignment to relieve traffic congestion and limit the unexpected fluctuation effects on traffic flow. The suggested system is executed and simulated using SUMO, a well-known microscopic traffic simulator. For the present study, we have tested four large and heterogeneous metropolitan areas located in the cities of Sfax, Luxembourg, Bologna and Cologne. The experimental results proved the effectiveness of learning the Hierarchical Interval type-2 Fuzzy logic using real time particle swarm optimization technique PSO to accomplish multiobjective optimality regarding two criteria: number of vehicles that reach their destination and average travel time. The obtained results are encouraging, confirming the efficiency of the proposed system.


title: Learning to generate filters for convolutional neural networks

abstract: Conventionally, convolutional neural networks (CNNs) process different images with the same set of filters. However, the variations in images pose a challenge to this fashion. In this paper, we propose to generate sample-specific filters for convolutional layers in the forward pass. Since the filters are generated on-the-fly, the model becomes more flexible and can better fit the training data compared to traditional CNNs. In order to obtain sample-specific features, we extract the intermediate feature maps from an autoencoder. As filters are usually high dimensional, we propose to learn a set of coefficients instead of a set of filters. These coefficients are used to linearly combine the base filters from a filter repository to generate the final filters for a CNN. The proposed method is evaluated on MNIST, MTFL and CIFAR10 datasets. Experiment results demonstrate that the classification accuracy of the baseline model can be improved by using the proposed filter generation method.


title: Computational Graph Approach for Detection of Composite Human Activities

abstract: Existing work in human activity detection classifies physical activities using a single fixed-length subset of a sensor signal. However, temporally consecutive subsets of a sensor signal are not utilized. This is not optimal for classifying physical activities (composite activities) that are composed of a temporal series of simpler activities (atomic activities). A sport consists of physical activities combined in a fashion unique to that sport. The constituent physical activities and the sport are not fundamentally different. We propose a computational graph architecture for human activity detection based on the readings of a triaxial accelerometer. The resulting model learns 1) a representation of the atomic activities of a sport and 2) to classify physical activities as compositions of the atomic activities. The proposed model, alongside with a set of baseline models, was tested for a simultaneous classification of eight physical activities (walking, nordic walking, running, soccer, rowing, bicycling, exercise bicycling and lying down). The proposed model obtained an overall mean accuracy of 77.91% (population) and 95.28% (personalized). The corresponding accuracies of the best baseline model were 73.52% and 90.03%. However, without combining consecutive atomic activities, the corresponding accuracies of the proposed model were 71.52% and 91.22%. The results show that our proposed model is accurate, outperforms the baseline models and learns to combine simple activities into complex activities. Composite activities can be classified as combinations of atomic activities. Our proposed architecture is a basis for accurate models in human activity detection.


title: KLEVER: An experiment to measure BR($K_L\to\pi^0\nu\bar{\nu}$) at the CERN SPS

abstract: Precise measurements of the branching ratios for the flavor-changing neutral current decays $K\to\pi\nu\bar{\nu}$ can provide unique constraints on CKM unitarity and, potentially, evidence for new physics. It is important to measure both decay modes, $K^+\to\pi^+\nu\bar{\nu}$ and $K_L\to\pi^0\nu\bar{\nu}$, since different new physics models affect the rates for each channel differently. The goal of the NA62 experiment at the CERN SPS is to measure the BR for the charged channel to within 10%. For the neutral channel, the BR has never been measured. KOTO, an experiment at J-PARC, should have enough data for the first observation of the decay by about 2021. We are designing the KLEVER experiment to measure BR($K_L\to\pi^0\nu\bar{\nu}$) to $\sim$20% using a high-energy neutral beam at the CERN SPS starting in Run 4. The boost from the high-energy beam facilitates the rejection of background channels such as $K_L\to\pi^0\pi^0$ by detection of the additional photons in the final state. On the other hand, the layout poses particular challenges for the design of the small-angle vetoes, which must reject photons from $K_L$ decays escaping through the beam pipe amidst an intense background from soft photons and neutrons in the beam. Background from $\Lambda \to n\pi^0$ decays in the beam must also be kept under control. We present findings from our design studies, with an emphasis on the challenges faced and the potential sensitivity for the measurement of BR($K_L\to\pi^0\nu\bar{\nu}$).


title: Five-dimensional Super-Yang-Mills and its Kaluza-Klein tower

abstract: We compactify the abelian 6d (1,0) tensor multiplet on a circle bundle, thus reducing the theory down to 5d SYM while keeping all the KK modes. This abelian classical field theory, when interpreted suitably, has a nonlocal superconformal symmetry. Furthermore, a nonabelian generalization, where all the KK modes are kept, is possible for the nonlocal superconformal symmetry, whereas for the local superconformal symmetry we can only realize a subgroup.


title: Multireference Stochastic Coupled Cluster

abstract: We describe a modification of the stochastic coupled cluster algorithm that allows the use of multiple reference determinants. By considering the secondary references as excitations of the primary reference and using them to change the acceptance criteria for selection and spawning, we obtain a simple form of stochastic multireference coupled cluster which preserves the appealing aspects of the single reference approach. The method is able to successfully describe strongly correlated molecular systems using few references and low cluster truncation levels, showing promise as a tool to tackle strong correlation in more general systems. Moreover, it allows simple and comprehensive control of the included references and excitors thereof, and this flexibility can be taken advantage of to gain insight into some of the inner workings of established electronic structure methods.


title: On slow solar wind with high Alfv\'enicity: from composition and microphysics to spectral properties

abstract: Alfv\'enic fluctuations are very common features in the solar wind and are found especially within the main portion of fast wind streams while the slow wind usually is less Alfv\'enic and more variable. In general, fast and slow wind show many differences which span from the large scale structure to small scale phenomena including also a different turbulent behaviour. Recent studies, however, have shown that even slow wind can be sometimes highly Alfv\'enic with fluctuations as large as those of the fast wind. The present study is devoted to present many facets of this Alfv\'enic slow solar wind including for example the study of the source regions and their connection to coronal structures, large-scale properties and micro-scale phenomena and also impact on the spectral features. This study will be conducted performing a comparative analysis with the typical slow wind and with the fast wind. It has been found that the fast wind and the Alfv\'enic slow wind share common characteristics, probably attributable to their similar solar origin, i.e. coronal-hole solar wind. Given these similarities, it is suggested that in the Alfv\'enic slow wind a major role is played by the super-radial expansion responsible for the lower velocity. Relevant implications of these new findings for the upcoming Solar Orbiter and Solar Probe Plus missions, and more in general for turbulence measurements close to the Sun, will be discussed.

categories: physics.space-ph astro-ph.SR physics.data-an physics.plasm-ph


title: A Generalization of the Katzman-Zhang Algorithm

abstract: In this paper, we study the notion of special ideals. We generalize the results on those as well as the algorithm obtained for finite dimensional power series rings by Mordechai Katzman and Wenliang Zhang to finite dimensional polynomial rings.


title: Gravitational wave and collider probes of a triplet Higgs sector with a low cutoff

abstract: We study the scalar triplet extension of the standard model with a low cutoff, preventing large corrections to the quadratic masses that would otherwise worsen the hierarchy problem. We explore the reach of LISA to test the parameter space region of the scalar potential (not yet excluded by Higgs to diphoton measurements) in which the electroweak phase transition is strongly first-order and produces sizeable gravitational waves. We also demonstrate that the collider phenomenology of the model is drastically different from its renormalizable counterpart. We study the reach of the LHC in ongoing searches and project bounds for the HL-LHC. Likewise, we develop a dedicated analysis to test the key but still unexplored signature of pair-production of charged scalars decaying to third-generation quarks: $pp\rightarrow t\overline{b} (\overline{t}b), b\overline{b}$. These results apply straightforwardly to other extensions of the Higgs sector such as the 2HDM/MSSM.


title: Josephson vortices in a long Josephson junction formed by phase twist in a polariton superfluid

abstract: Quantum fluids of light are an emerging platform for energy efficient signal processing, ultra-sensitive interferometry and quantum simulators at elevated temperatures. Here we demonstrate the optical control of the topological excitations induced in a large polariton condensate, realising the bosonic analog of a long Josephson junction and reporting the first observation of bosonic Josephson vortices. When a phase difference is imposed at the boundaries of the condensate, two extended regions become separated by a sharp $\pi$-slippage of the phase and a solitonic depletion of the density, forming an insulating barrier with a suppressed order parameter. The superfluid behavior, that is a smooth phase gradient across the system instead of the sharp phase jump, is recovered at higher polariton densities and it is mediated by the nucleation of Josephson vortices within the barrier. Our results contribute to the understanding of dissipation and stability of elementary excitations in macroscopic quantum systems.


title: Planar Brownian motion and Gaussian multiplicative chaos

abstract: We construct the analogue of Gaussian multiplicative chaos measures for the local times of planar Brownian motion by exponentiating the square root of the local times of small circles. We also consider a flat measure supported on points whose local time is within a constant of the desired thickness level and show a simple relation between the two objects. Our results extend those of Bass, Burdzy and Khoshnevisan and in particular cover the entire $L^1$-phase or subcritical regime. These results allow us to obtain a nondegenerate limit for the appropriately rescaled size of thick points, thereby considerably refining estimates of Dembo, Peres, Rosen and Zeitouni.


title: Jacob's ladders, crossbreeding and new synergetic formulas for the class of more complicated external parts of $\zeta$-factorization formulas

abstract: In this paper we obtain new canonical synergetic formula, namely an $\zeta$-analogue of next elementary trigonometric formula. This one describes cooperative interactions between corresponding class of elementary functions and the Riemann's zeta-function on a class of disconnected sets on the critical line.


title: Basic and extendable framework for effective charge transport in electrochemical systems

abstract: We consider basic and easily extendible transport formulations for lithium batteries consisting of an anode (Li-foil), a separator (polymer electrolyte), and a composite cathode (composed of electrolyte and intercalation particles). Our mathematical investigations show the following novel features: (i) \emph{complete and very basic description of mixed transport processes} relying on a neutral, binary symmetric electrolyte resulting in a non-standard Poisson equation for the electric potential together with interstitial diffusion approximated by classical diffusion; (ii) \emph{ upscaled and basic composite cathode equations allowing to take geometric and material features of electrodes into account}; (iii) \emph{the derived effective macroscopic model can be numerically solved with well-known numerical strategies for homogeneous domains} and hence does not require to solve a high-dimensional numerical problem or to depend on a computationally involved multiscale discretisation strategies where highly heterogeneous and realistic, nonlinear, and reactive boundary conditions are still unexplored. We believe that the here proposed basic and easily extendible formulations will serve as a basic and simple setup towards a systematic theoretical and experimental understanding of complex electrochemical systems and their optimization, e.g. Li-batteries.


title: A distributed data warehouse system for astroparticle physics

abstract: A distributed data warehouse system is one of the actual issues in the field of astroparticle physics. Famous experiments, such as TAIGA, KASCADE-Grande, produce tens of terabytes of data measured by their instruments. It is critical to have a smart data warehouse system on-site to store the collected data for further distribution effectively. It is also vital to provide scientists with a handy and user-friendly interface to access the collected data with proper permissions not only on-site but also online. The latter case is handy when scientists need to combine data from different experiments for analysis. In this work, we describe an approach to implementing a distributed data warehouse system that allows scientists to acquire just the necessary data from different experiments via the Internet on demand. The implementation is based on CernVM-FS with additional components developed by us to search through the whole available data sets and deliver their subsets to users' computers.


title: Revealing the nature of non-equilibrium phase transitions with quantum trajectories

abstract: A damped and driven collective spin system is analyzed by using quantum state diffusion. This approach allows for a mostly analytical treatment of the investigated non-equilibrium quantum many body dynamics, which features a phase transition in the thermodynamical limit. The exact results obtained in this work, which are free of any finite size defects, provide a complete understanding of the model. Moreover, the trajectory framework gives an intuitive picture of the two phases occurring, revealing a spontaneously broken symmetry and allowing for a qualitative and quantitative characterization of the phases. We determine exact critical exponents, investigate finite size scaling, and explain a remarkable non-algebraic behaviour at the transition in terms of torus hopping.


title: Nonperturbative functional renormalization-group approach to the sine-Gordon model and the Lukyanov-Zamolodchikov conjecture

abstract: We study the quantum sine-Gordon model within a nonperturbative functional renormalization-group approach (FRG). This approach is benchmarked by comparing our findings for the soliton and lightest breather (soliton-antisoliton bound state) masses to exact results. We then examine the validity of the Lukyanov-Zamolodchikov conjecture for the expectation value $\langle e^{\frac{i}{2}n\beta\varphi}\rangle$ of the exponential fields in the massive phase ($n$ is integer and $2\pi/\beta$ denotes the periodicity of the potential in the sine-Gordon model). We find that the minimum of the relative and absolute disagreements between the FRG results and the conjecture is smaller than 0.01.


title: The Problem of Boltzmann Brains and How Bohmian Mechanics Helps Solve It

abstract: Most versions of classical physics imply that if the 4-volume of the entire space-time is infinite or at least extremely large, then random fluctuations in the matter will by coincidence create copies of us in remote places, so called "Boltzmann brains." That is a problem because it leads to the wrong prediction that _we_ should be Boltzmann brains. The question arises, how can any theory avoid making this wrong prediction? In quantum physics, it turns out that the discussion requires a formulation of quantum theory that is more precise than the orthodox interpretation. Using Bohmian mechanics for this purpose, we point out a possible solution to the problem based on the phenomenon of "freezing" of configurations.


title: A formula for $F$-Polynomials in terms of $C$-Vectors and Stabilization of $F$-Polynomials

abstract: Given a quiver associated to a cluster algebra and a sequence of vertices, iterative mutation leads to $F$-Polynomials which appear in numerous places in the cluster algebraic literature. The coefficients of the monomials in these $F$-Polynomials are difficult to understand and have been an area of study for many years. In this paper, we present a general closed-form formula for these coefficients in terms of elementary manipulations with $C$-matrices. We then demonstrate the effectiveness of the formula by using it to derive simple explicit formulas for $F$-Polynomials of specific classes of quivers and mutation sequences. Work has been done to do these cases in ad-hoc combinatorial ways, but our formula recovers and improves known formulas with a general method. Secondly, we investigate convergence of $F$-polynomials. In themselves, they do not converge, but by changing bases using the $C$-matrix, they conjecturally do. Since our formula relates $C$-matrix entries to coefficients, we are able to apply it to make considerable progress on the conjecture. Specifically, we show stability for green mutation sequences. Finally, we look at exact formulas for these stable deformed $F$-polynomials in instances where they illustrate properties that the $F$-polynomials themselves do not.


title: New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)

abstract: A $(a,b)$-coloring of a graph $G$ associates to each vertex a $b$-subset of a set of $a$ colors in such a way that the color-sets of adjacent vertices are disjoint. We define general reduction tools for $(a,b)$-coloring of graphs for $2\le a/b\le 3$. In particular, using necessary and sufficient conditions for the existence of a $(a,b)$-coloring of a path with prescribed color-sets on its end-vertices, more complex $(a,b)$-colorability reductions are presented. The utility of these tools is exemplified on finite triangle-free induced subgraphs of the triangular lattice for which McDiarmid-Reed's conjecture asserts that they are all $(9,4)$-colorable. Computations on millions of such graphs generated randomly show that our tools allow to find a $(9,4)$-coloring for each of them except for one specific regular shape of graphs (that can be $(9,4)$-colored by an easy ad-hoc process). We thus obtain computational evidence towards the conjecture of McDiarmid\&Reed.


title: Identifying orbital angular momentum of light in quantum wells

abstract: Generation and detection of structured light have recently been the subject of intense study, aiming to realize high-capacity optical storage and continuous-variable quantum technologies. Here, we present a scheme to extract the orbital angular momentum content of Laguerre-Gaussian light beams in a double-$\Lambda$ four level system of GaAs/AlGaAs multiple quantum wells. Arising from a quantum interference term, absorption of a non-vortex probe field depends upon the azimuthal phase of vortex fields so that both magnitude and sign of the azimuthal index/indices can be mapped into the absorption profile.


title: Picard group of moduli of curves of low genus in positive characteristic

abstract: We compute the Picard group of the moduli stack of smooth curves of genus $g$ for $3\leq g\leq 5$, using methods of equivariant intersection theory. We base our proof on the computation of some relations in the integral Chow ring of certain moduli stacks of smooth complete intersections. As a byproduct, we compute the cycle classes of some divisors on $\mathcal{M}_g$.


title: The Alpha-Heston Stochastic Volatility Model

abstract: We introduce an affine extension of the Heston model where the instantaneous variance process contains a jump part driven by $\alpha$-stable processes with $\alpha\in(1,2]$. In this framework, we examine the implied volatility and its asymptotic behaviors for both asset and variance options. Furthermore, we examine the jump clustering phenomenon observed on the variance market and provide a jump cluster decomposition which allows to analyse the cluster processes.


title: Variations of the elephant random walk

abstract: In the classical simple random walk the steps are independent, viz., the walker has no memory. In contrast, in the elephant random walk which was introduced by Sch\"utz and Trimper in 2004, the walker remembers the whole past, and the next step always depends on the whole path so far. Our main aim is to prove analogous results when the elephant has only a restricted memory, for example remembering only the most remote step(s), the most recent step(s) or both. We also extend the models to cover more general step sizes.


title: Doily as Subgeometry of a Set of Nonunimodular Free Cyclic Submodules

abstract: It is shown that there exists a particular associative ring with unity of order 16 such that the relations between nonunimodular free cyclic submodules of its two-dimensional free left module can be expressed in terms of the structure of the generalized quadrangle of order two. Such a doily-centered geometric structure is surmised to be of relevance for quantum information.


title: An aeroacoustic investigation into the effect of self-oscillating trailing edge flaplets

abstract: The aeroacoustics of a NACA 0012 aerofoil with an array of self-oscillating flexible flaplets attached on the trailing edge has been investigated at low to moderate chord based Reynolds number (50,000 -- 350,000) and at geometric angles of attack from $\alpha_g = 0^\circ$ -- $20^\circ$. When the aerofoil is untripped, tonal peaks are observed on the baseline aerofoil. When the passive flaplets are attached to the pressure side of the aerofoil, the tonal peak is removed. If the flaplets are then placed on the suction side, the tonal peak is reduced, but not removed. It is therefore hypothesised that the flaplets on the pressure side modifies the laminar separation bubble situated on the pressure side of the aerofoil, a key mechanism for tonal noise. Throughout all cases, both tripped and untripped, a low frequency (0.1 kHz -- 0.6 kHz) noise reduction and a slight increase at higher frequencies (>2 kHz) is seen. This gives an average overall sound pressure level (OSPL) reduction of 1.5 -- 2 dB for the flaplets affixed to the pressure side. The cases where the tonal noise component is removed an OSPL reduction of up to 20 dB can be seen.


title: Evolution of spectral and temporal properties of MAXI J1836-194 during 2011 outburst

abstract: We study transient Galatic black hole candidate MAXI~J1836-194 during its 2011 outburst using RXTE/PCA archival data. 2.5-25~keV spectra are fitted with Two Component Advective Flow (TCAF) model fits file as an additive table local model in XSPEC. From TCAF model spectral fits, physical parameters such as Keplerian disk rate, sub-Keplerian halo rate, shock location and compression ratio are extracted directly for better understanding of accretion processes around the BHC during this outburst. Low frequency quasi-periodic oscillation (QPO) are observed sporadically during the entire epoch of the outburst, with a general trend of increasing frequency during rising and decreasing frequency during declining phases of the outburst, as in other transient BHCs. The nature of the variation of the accretion rate ratio (ratio of halo and disk rates) and QPOs (if observed), allows us to properly classify entire epoch of the outburst into following two spectral state, such as hard (HS), hard-intermediate (HIMS). These states are observed in the sequence of HS (Ris.) $\rightarrow$ HIMS (Ris.) $\rightarrow$ HIMS (Dec.) $\rightarrow$ HS (Dec.). This outburst of MAXI~J1836-194 could be termed as `failed' outburst, since no observation of soft (SS) and soft-intermediate (SIMS) spectral state are found during the entire outburst.


title: Magnetic control of polariton spin transport

abstract: We show the full control of the polarization dynamics of a propagating exciton-polariton condensate in a planar microcavity by using a magnetic field applied in the Voigt geometry. The change of the spin-beat frequency, the suppression of the optical spin Hall effect and the rotation of the polarization pattern by the magnetic field are theoretically reproduced by accounting for the magneto-induced mixing of exciton-polariton and dark, spin forbidden, exciton states.


title: Probing excited-state quantum phase transition in a quantum many body system via out-of-time-ordered correlator

abstract: As a measure of information scrambling and quantum chaos, out-of-time-ordered correlator (OTOC) plays more and more important role in many different fields of physics. In this work, we verify that the OTOC can also be used as a prober of the excited-state quantum phase transition (ESQPT) in a quantum many body system. By using the exact diagonalization method, we examine the dynamical properties of OTOC in the Lipkin model, which undergoes an ESQPT. We demonstrate that the OTOC exhibits a remarkable distinct evolution behaviors in different phases of ESQPT. Therefore, the presence of an ESQPT in the quantum many body system can be clearly signaled by the different dynamical behaviors of the OTOC. In particular, we show that the steady state value of the OTOC serves as the order parameter of the ESQPT. Our results highlight the connections between the OTOC and ESQPT, which enable one to use OTOC for experimental tests ESQPTs in quantum many body systems.


title: Difference hierarchies and duality with an application to formal languages

abstract: The notion of a difference hierarchy, first introduced by Hausdorff, plays an important role in many areas of mathematics, logic and theoretical computer science such as descriptive set theory, complexity theory, and the theory of regular languages and automata. From a lattice theoretic point of view, the difference hierarchy over a bounded distributive lattice stratifies the Boolean algebra generated by it according to the minimum length of difference chains required to describe the Boolean elements. While each Boolean element is given by a finite difference chain, there is no canonical such writing in general. We show that, relative to the filter completion, or equivalently, the lattice of closed upsets of the dual Priestley space, each Boolean element over the lattice has a canonical minimum length decomposition into a Hausdorff difference. As a corollary each Boolean element over a (co-)Heyting algebra has a canonical difference chain. With a further generalization of this result involving a directed family of adjunctions with meet-semilattices, we give an elementary proof of the fact that a regular language is given by a Boolean combination of purely universal sentences using arbitrary numerical predicates if and only if it is given by a Boolean combination of purely universal sentences using only regular numerical predicates.


title: Local Temporal Bilinear Pooling for Fine-grained Action Parsing

abstract: Fine-grained temporal action parsing is important in many applications, such as daily activity understanding, human motion analysis, surgical robotics and others requiring subtle and precise operations in a long-term period. In this paper we propose a novel bilinear pooling operation, which is used in intermediate layers of a temporal convolutional encoder-decoder net. In contrast to other work, our proposed bilinear pooling is learnable and hence can capture more complex local statistics than the conventional counterpart. In addition, we introduce exact lower-dimension representations of our bilinear forms, so that the dimensionality is reduced with neither information loss nor extra computation. We perform intensive experiments to quantitatively analyze our model and show the superior performances to other state-of-the-art work on various datasets.


title: An Empirical Study towards Understanding How Deep Convolutional Nets Recognize Falls

abstract: Detecting unintended falls is essential for ambient intelligence and healthcare of elderly people living alone. In recent years, deep convolutional nets are widely used in human action analysis, based on which a number of fall detection methods have been proposed. Despite their highly effective performances, the behaviors of how the convolutional nets recognize falls are still not clear. In this paper, instead of proposing a novel approach, we perform a systematical empirical study, attempting to investigate the underlying fall recognition process. We propose four tasks to investigate, which involve five types of input modalities, seven net instances and different training samples. The obtained quantitative and qualitative results reveal the patterns that the nets tend to learn, and several factors that can heavily influence the performances on fall recognition. We expect that our conclusions are favorable to proposing better deep learning solutions to fall detection systems.


title: Stages of dynamics in the Fermi-Pasta-Ulam system as probed by the first Toda integral

abstract: We investigate the long term evolution of trajectories in the Fermi-Pasta-Ulam (FPU) system, using as a probe the first non--trivial integral $J$ in the hierarchy of integrals of the corresponding Toda lattice model. To this end we perform simulations of FPU--trajectories for various classes of initial conditions produced by the excitation of isolated modes, packets, as well as `generic' (random) initial data. For initial conditions corresponding to localized energy excitations, $J$ exhibits variations yielding `sigmoid' curves similar to observables used in literature, e.g. the `spectral entropy' or various types of `correlation functions'. However, $J(t)$ is free of fluctuations inherent in such observables, hence it constitutes an ideal observable for probing the timescales involved in the stages of FPU dynamics. We observe two fundamental timescales: i) the `time of stability' (in which, roughly, FPU trajectories behave like Toda), and ii) the `time to equilibrium' (beyond which energy equipartition is reached). Below a specific energy crossover, both times are found to scale exponentially as an inverse power of the specific energy. However, this crossover goes to zero with increasing the degrees of freedom $N$ as $\varepsilon _c \sim N^{-b}$, with $b \in [1.5, 2.5]$. For `generic data' initial conditions, instead, $J(t)$ allows to quantify the continuous in time slow diffusion of the FPU trajectories in a direction transverse to the Toda tori.


title: POEM: Pricing Longer for Edge Computing in the Device Cloud

abstract: Multiple access mobile edge computing has been proposed as a promising technology to bring computation services close to end users, by making good use of edge cloud servers. In mobile device clouds (MDC), idle end devices may act as edge servers to offer computation services for busy end devices. Most existing auction based incentive mechanisms in MDC focus on only one round auction without considering the time correlation. Moreover, although existing single round auctions can also be used for multiple times, users should trade with higher bids to get more resources in the cascading rounds of auctions, then their budgets will run out too early to participate in the next auction, leading to auction failures and the whole benefit may suffer. In this paper, we formulate the computation offloading problem as a social welfare optimization problem with given budgets of mobile devices, and consider pricing longer of mobile devices. This problem is a multiple-choice multi-dimensional 0-1 knapsack problem, which is a NP-hard problem. We propose an auction framework named MAFL for long-term benefits that runs a single round resource auction in each round. Extensive simulation results show that the proposed auction mechanism outperforms the single round by about 55.6% on the revenue on average and MAFL outperforms existing double auction by about 68.6% in terms of the revenue.


title: Entrance laws at the origin of self-similar Markov processes in high dimensions

abstract: In this paper we consider the problem of finding entrance laws at the origin for self-similar Markov processes in $\mathbb{R}^d$, killed upon hitting the origin. Under mild assumptions, we show the existence of an entrance law and the convergence to this law when the process is started close to the origin. We obtain an explicit description of the process started from the origin as the time reversal of the original self-similar Markov process conditioned to hit the origin.


title: Gamma positivity of the Descent based Eulerian polynomial in positive elements of Classical Weyl Groups

abstract: The classical Eulerian polynomials $A_n(t)$ are known to be gamma positive. Define the positive Eulerian polynomial $A_n^+(t)$ as the polynomial obtained when we sum descents over the alternating group. We show that $A_n^+(t)$ is gamma positive iff $n \equiv 0,1$ (mod 4). When $n \equiv 2$ (mod 4) we show that $A_n^+(t)$ can be written as a sum of two gamma positive polynomials while if $n \equiv 3$ (mod 4), we show that $A_n^+(t)$ can be written as a sum of three gamma positive polynomials. Similar results are shown when we consider the positive type-D and type-D Eulerian polynomials.


title: Weighted norm inequalities for generalized Fourier-type transforms and applications

abstract: We obtain necessary and sufficient conditions on weights for the generalized Fourier-type transforms to be bounded between weighted $L^p-L^q$ spaces. As an important example, we investigate transforms with kernel of power type, as for instance the sine, Hankel or $\mathscr{H}_\alpha$ transforms. The obtained necessary and sufficient conditions are given in terms of weights, but not in terms of their decreasing rearrangements, as in several previous investigations.


title: Rational curves on complete intersection Calabi-Yau 3-folds

abstract: We prove the following results. If $X_3$ is a generic complete intersection Calabi-Yau 3-fold, (1) then for each natural number $d$ there exists a rational map \par\hspace{1 cc} $c\in Hom_{bir}(\mathbf P^1, X_3)$ of $deg(c(\mathbf P^1))=d$, (2) further more all such $c$ are immersions satisfying \begin{equation} N_{c(\mathbf P^1)/ X_3}\simeq \mathcal O_{\mathbf P^1}(-1)\oplus \mathcal O_{\mathbf P^1}(-1).


title: Formation and Evolution of Primordial Black Hole Binaries in the Early Universe

abstract: The abundance of primordial black holes (PBHs) in the mass range $0.1 - 10^3 M_\odot$ can potentially be tested by gravitational wave observations due to the large merger rate of PBH binaries formed in the early universe. To put the estimates of the latter on a firmer footing, we first derive analytical PBH merger rate for general PBH mass functions while imposing a minimal initial comoving distance between the binary and the PBH nearest to it, in order to pick only initial configurations where the binary would not get disrupted. We then study the formation and evolution of PBH binaries before recombination by performing N-body simulations. We find that the analytical estimate based on the tidally perturbed 2-body system strongly overestimates the present merger rate when PBHs comprise all dark matter, as most initial binaries are disrupted by the surrounding PBHs. This is mostly due to the formation of compact N-body systems at matter-radiation equality. However, if PBHs make up a small fraction of the dark matter, $f_{\rm PBH} \lesssim 10\%$, these estimates become more reliable. In that case, the merger rate observed by LIGO imposes the strongest constraint on the PBH abundance in the mass range $2 - 160 M_\odot$. Finally, we argue that, even if most initial PBH binaries are perturbed, the present BH-BH merger rate of binaries formed in the early universe is larger than $\mathcal{O}(10)\,{\rm Gpc}^{-3} {\rm yr}^{-1}\, f_{\rm PBH}^3$


title: Decrystallization of CH3NH3PbI3 perovskite crystals via polarity dependent localized charges

abstract: Despite soaring performance of organic-inorganic hybrid perovskite materials in recent years, the mechanism of their decomposition at actual operation condition has been elusive. Herein, we elucidated the decrystallization process of CH3NH3PbI3 perovskite crystals via localized charges and identified polarity-dependent degradation pathway by carrying out time-evolution measurements for absorption spectra of perovskite films with underlying different charge transport layers and ab initio molecular dynamics calculations. It was found that the carrier polarity (hole-rich or electron-rich) inside the perovskite films played a critical role in the degradation rate, and polarity-dependent degradation pathway strongly depended on the combination of surrounding gaseous molecules. The hole-rich perovskite films degraded more rapidly in the existence of H2O than the electron-rich one, while the degradation trend became opposite in only-oxygen ambient. Strikingly, the hole-rich one was extremely weak to atmospheric air containing both H2O and O2, whereas the MAPbI3 film with excessive electrons rather stabilized in air. Ab initio molecular dynamics (AIMD) simulation was also done to find the detailed degradation pathway of MAPbI3 under atmosphere for different polarity of localized charge, which are in good agreement with experimental results. Furthermore, X-ray assisted spectroscopic measurements confirmed the production of Pb(OH)I as predicted from the simulation result.


title: Efficient atom selection strategy for iterative sparse approximations

abstract: We propose a low-computational strategy for the efficient implementation of the "atom selection step" in sparse representation algorithms. The proposed procedure is based on simple tests enabling to identify subsets of atoms which cannot be selected. Our procedure applies on both discrete or continuous dictionaries. Experiments performed on DOA and Gaussian deconvolution problems show the computational gain induced by the proposed approach.


title: Existence and non-existence of global solutions for semilinear heat equations and inequalities on sub-Riemannian manifolds, and Fujita exponent on unimodular Lie groups

abstract: In this paper we study the global well-posedness of the following Cauchy problem on a sub-Riemannian manifold $M$: \begin{equation*} \begin{cases} u_{t}-\mathfrak{L}_{M} u=f(u), \;x\in M, \;t>0, \\u(0,x)=u_{0}(x), \;x\in M, \end{cases} \end{equation*} for $u_{0}\geq 0$, where $\mathfrak{L}_{M}$ is a sub-Laplacian of $M$. In the case when $M$ is a connected unimodular Lie group $\mathbb G$, which has polynomial volume growth, we obtain a critical Fujita exponent, namely, we prove that all solutions of the Cauchy problem with $u_{0}\not\equiv 0$, blow up in finite time if and only if $1<p\leq p_{F}:=1+2/D$ when $f(u)\simeq u^{p}$, where $D$ is the global dimension of $\mathbb G$. In the case $1<p<p_{F}$ and when $f:[0,\infty)\to [0,\infty)$ is a locally integrable function such that $f(u)\geq K_{2}u^{p}$ for some $K_{2}>0$, we also show that the differential inequality $$ u_{t}-\mathfrak{L}_{M} u\geq f(u) $$ does not admit any nontrivial distributional (a function $u\in L^{p}_{loc}(Q)$ which satisfies the differential inequality in $\mathcal{D}^{\prime}(Q)$) solution $u\geq 0$ in $Q:=(0,\infty)\times\mathbb G$. Furthermore, in the case when $\mathbb G$ has exponential volume growth and $f:[0,\infty)\to[0,\infty)$ is a continuous increasing function such that $f(u)\leq K_{1}u^{p}$ for some $K_{1}>0$, we prove that the Cauchy problem has a global, classical solution for $1<p<\infty$ and some positive $u_{0}\in L^{q}(\mathbb G)$ with $1\leq q<\infty$. Moreover, we also discuss all these results in more general settings of sub-Riemannian manifolds $M$.


title: Two Fra\"iss\'e-style theorems for homomorphism-homogeneous relational structures

abstract: In this paper, we state and prove two Fra\"{i}ss\'{e}-style results that cover existence and uniqueness properties for twelve of the eighteen different notions of homomorphism-homogeneity as introduced by Lockett and Truss, and provide forward directions and implications for the remaining six cases. Following these results, we completely determine the extent to which the countable homogeneous undirected graphs (as classified by Lachlan and Woodrow) are homomorphism-homogeneous; we also provide some insight into the directed graph case.


title: A new alternating direction trust region method based on conic model for solving unconstrained optimization

abstract: In this paper, a new alternating direction trust region method based on conic model is used to solve unconstrained optimization problems. By use of the alternating direction method, the new conic model trust region subproblem is solved by two steps in two orthogonal directions. This new idea overcomes the shortcomings of conic model subproblem which is difficult to solve. Then the global convergence of the method under some reasonable conditions is established. Numerical experiment shows that this method may be better than the dogleg method to solve the subproblem, especially for large-scale problems.


title: Stacked Dense U-Nets with Dual Transformers for Robust Face Alignment

abstract: Facial landmark localisation in images captured in-the-wild is an important and challenging problem. The current state-of-the-art revolves around certain kinds of Deep Convolutional Neural Networks (DCNNs) such as stacked U-Nets and Hourglass networks. In this work, we innovatively propose stacked dense U-Nets for this task. We design a novel scale aggregation network topology structure and a channel aggregation building block to improve the model's capacity without sacrificing the computational complexity and model size. With the assistance of deformable convolutions inside the stacked dense U-Nets and coherent loss for outside data transformation, our model obtains the ability to be spatially invariant to arbitrary input face images. Extensive experiments on many in-the-wild datasets, validate the robustness of the proposed method under extreme poses, exaggerated expressions and heavy occlusions. Finally, we show that accurate 3D face alignment can assist pose-invariant face recognition where we achieve a new state-of-the-art accuracy on CFP-FP.