title: Planetary tidal interactions and the rotational evolution of low-mass stars. The Pleiades' anomaly

abstract: The surface angular velocity evolution of low-mass stars is now globally understood and the main physical mechanisms involved in it are observationally quite constrained. Additionally, recent observations showed anomalies in the rotation period distribution of open clusters main sequence early K-type stars that cannot be reproduced by current angular momentum evolution model. In this work, we study the parameter space of star-planet system's configurations to investigate if including the tidal star-planet interaction in angular momentum evolution models could reproduce these rotation period distribution's anomalies. To study this effect, we use a parametric angular momentum evolution model that allows for core-envelope decoupling and angular momentum extraction by magnetized stellar wind that we coupled to an orbital evolution code where we take into account the torque due to the tides raised on the star by the planet. We explore different stellar and planetary configurations (stellar mass from 0.5 to 1.0 $\rm M_{\odot}$ and planetary mass from 10 $\rm M_{\oplus}$ to 13 $\rm M_{\rm jup}$) to study their effect on the planetary orbital and stellar rotational evolution. The stellar angular momentum is the most impacted by the star-planet interaction when the planet is engulfed during the early main sequence phase. Thus, if a close-in Jupiter mass planet is initially located around 50\% of the stellar corotation radius, a kink in the rotational period distribution opens around late and early K-type stars during the early main sequence phase. Tidal star-planet interactions can create a kink in the rotation period distribution of low-mass stars, which could possibly account for unexpected scatter seen in the rotational period distribution of young stellar clusters.


title: Regularization of Rational Group Actions

abstract: We give a modern proof of the Regularization Theorem of Andr\'e Weil which says that for every rational action of an algebraic group $G$ on a variety $X$ there exist a variety $Y$ with a regular action of $G$ and a $G$-equivariant birational map $X \to Y$. Moreover, we show that a rational action of $G$ on an affine variety $X$ with the property that each $g$ from a dense subgroup of $G$ induces a regular automorphism of $X$, is a regular action.


title: Comment on "Dirac electrons in a dodecagonal graphene quasicrystal"

abstract: In a recent letter, Ahn and Moon, et al. (2018) studied the quantum states of Dirac electrons in a two-dimensional structure realized by epitaxial growth of twisted bilayer graphene rotated exactly 30 degrees. They claim this structure to be a graphene quasicrystal with dodecagonal quasicrystalline order. However, as we show in this comment, it is not a quasicrystalline structure, but a Moire pattern.


title: Impact of the Hall effect in star formation and the issue of angular momentum conservation

abstract: We present an implementation of the Hall term in the non-ideal magnetohydrodynamics equations into the adaptive-mesh-refinement code RAMSES to study its impact on star formation. Recent works show that the Hall effect heavily influences the regulation of the angular momentum in collapsing dense cores, strengthening or weakening the magnetic braking. Our method consists of a modification of the two-dimensional constrained transport scheme. Our scheme shows convergence of second-order in space and the frequency of the propagation of whistler waves is accurate. We confirm previous results, namely that during the collapse, the Hall effect generates a rotation of the fluid with a direction in the mid-plane that depends on the sign of the Hall resistivity, while counter-rotating envelopes develop on each side of the mid-plane. However, we find that the predictability of our numerical results is severely limited. The angular momentum is not conserved in any of our dense core-collapse simulations with the Hall effect: a large amount of angular momentum is generated within the first Larson core, a few hundred years after its formation, without compensation by the surrounding gas. This issue is not mentioned in previous studies and may be correlated to the formation of the accretion shock on the Larson core. We expect that this numerical effect could be a serious issue in star formation simulations.


title: simNet: Stepwise Image-Topic Merging Network for Generating Detailed and Comprehensive Image Captions

abstract: The encode-decoder framework has shown recent success in image captioning. Visual attention, which is good at detailedness, and semantic attention, which is good at comprehensiveness, have been separately proposed to ground the caption on the image. In this paper, we propose the Stepwise Image-Topic Merging Network (simNet) that makes use of the two kinds of attention at the same time. At each time step when generating the caption, the decoder adaptively merges the attentive information in the extracted topics and the image according to the generated context, so that the visual information and the semantic information can be effectively combined. The proposed approach is evaluated on two benchmark datasets and reaches the state-of-the-art performances.(The code is available at https://github.com/lancopku/simNet)


title: Precision measurements of $\sigma_{B}(e^+e^- \to K_{S}^{0}K^{\pm}\pi^{\mp})$ at center-of-mass energies between 3.8 and 4.6 GeV

abstract: Using data samples collected by the BESIII detector operating at the BEPCII storage ring, we measure the $e^+e^- \to K_{S}^{0}K^{\pm}\pi^{\mp}$ Born cross sections at center-of-mass energies between 3.8 and 4.6\,GeV, corresponding to a luminosity of about 5.0~fb$^{-1}$. The results are compatible with the BABAR measurements, but with the precision significantly improved. A simple $1/s^n$ dependence for the continuum process can describe the measured cross sections, but a better fit is obtained by an additional resonance near 4.2\,GeV, which could be an excited charmonium or a charmonium-like state.


title: Stars of Empty Simplices

abstract: Let $X=\{x_1,\ldots,x_n\} \subset \mathbb R^d$ be an $n$-element point set in general position. For a $k$-element subset $\{x_{i_1},\ldots,x_{i_k}\} \subset X$ let the degree ${\rm deg}_k(x_{i_1},\ldots,x_{i_k})$ be the number of empty simplices $\{x_{i_1},\ldots,x_{i_{d+1}}\} \subset X$ containing no other point of $X$. The $k$-degree of the set $X$, denoted ${\rm deg}_k(X)$, is defined as the maximum degree over all $k$-element subset of $X$. We show that if $X$ is a random point set consisting of $n$ independently and uniformly chosen points from a compact set $K$ then ${\rm deg}_d(X)=\Theta(n)$, improving results previously obtained by B\'ar\'any, Marckert and Reitzner [Many empty triangles have a common edge, Discrete Comput. Geom., 2013] and Temesvari [Moments of the maximal number of empty simplices of a random point set, Discrete Comput. Geom., 2018] and giving the correct order of magnitude with a significantly simpler proof. Furthermore, we investigate ${\rm deg}_k(X)$. In the case $k=1$ we prove that ${\rm deg}_1(X)=\Theta(n^{d-1})$.


title: Amplitudes Involving Massive States Using Pure Spinor Formalism

abstract: Same amplitudes evaluated independently using RNS and pure spinor formalism are expected to agree. While for massless states, this fact has been firmly established, for massive states such an explicit check has been lacking so far. We compute all massless-massless-massive 3-point functions in open supertrings in pure spinor formalism for the first massive states and compare them with the corresponding RNS results. We fix the normalization of the vertex operators of the massive states by comparing same set of 3-point functions for a fixed ordering in the two formalisms. Once fixed, the subsequent 3-point functions for each inequivalent ordering match exactly. This extends the explicit demonstration of equivalence of pure spinor and RNS formalism from massless states to first massive states.


title: Transition threshold for the 2-D Couette flow in a finite channel

abstract: In this paper, we study the transition threshold problem for the 2-D Navier-Stokes equations around the Couette flow $(y,0)$ at large Reynolds number $Re$ in a finite channel. We develop a systematic method to establish the resolvent estimates of the linearized operator and space-time estimates of the linearized Navier-Stokes equations. In particular, three kinds of important effects: enhanced dissipation, inviscid damping and boundary layer, are integrated into the space-time estimates in a sharp form. As an application, we prove that if the initial velocity $v_0$ satisfies $\|v_0-(y, 0)\|_{H^2}\le cRe^{-\frac 12}$ for some small $c$ independent of $Re$, then the solution of the 2-D Navier-Stokes equations remains within $O(Re^{-\frac 12})$ of the Couette flow for any time.


title: Counting maximally broken Morse trajectories on aspherical manifolds

abstract: We prove a lower bound on the number of maximally broken trajectories of the negative gradient flow of a Morse-Smale function on a closed aspherical manifold in terms of integral (torsion) homology.


title: Nucleon-pion-state contamination in lattice calculations of the axial form factors of the nucleon

abstract: The nucleon-pion-state contribution to QCD two- and three-point functions used in the calculation of the axial form factors of the nucleon are studied in chiral perturbation theory. For physically small quark masses the nucleon-pion states are expected to dominante the excited-state contamination at large euclidean time separations. To leading order in chiral perturbation theory the results depend on two experimentally well-known low-energy constants only and the nucleon-pion-state contribution can be reliably estimated. The nucleon-pion-state contribution to the axial form factor $G_{\rm A}(Q^2)$ is at the 5 percent level for source-sink separations of 2 fm and shows almost no dependence on the momentum transfer $Q^2$. In contrast, for the induced pseudo scalar form factor $G_{\rm P}(Q^2)$ the nucleon-pion-state contribution shows a rather strong dependence on $Q^2$ and leads to a 10 to 40 percent underestimation of $G_{\rm P}(Q^2)$ at small momentum transfers. Applying the ChPT results to recent lattice data generated by the PACS collaboration we find agreement with experimental data and the predictions of the pion-pole dominance model.


title: A possible explanation of vanishing halo velocity bias

abstract: Recently Chen et al. (2018, ApJ, 861, 58) accurately determined the volume weighted halo velocity bias in simulations, and found that the deviation of velocity bias from unity is much weaker than the peak model prediction. Here we present a possible explanation of this vanishing velocity bias. The starting point is that, halos are peaks in the low redshift {\it non-Gaussian} density field with smoothing scale $R_{\Delta}$ (virial radius), instead of peaks in the high redshift initial {\it Gaussian} density field with a factor of $\mathcal{O}(\Delta^{1/3})$ larger smoothing scale. Based on the approximation that the density field can be Gaussianized by a local and monotonic transformation, we extend the peak model to the non-Gaussian density field and derive the analytical expression of velocity dispersion and velocity power spectrum of these halos. The predicted deviation of velocity bias from unity is indeed much weaker than the previous prediction, and the agreement with the simulation results is significantly improved.


title: Lieb-Schultz-Mattis type theorems for quantum spin chains without continuous symmetry

abstract: We prove that a quantum spin chain with half-odd-integral spin cannot have a unique ground state with a gap, provided that the interaction is short ranged, translation invariant, and possesses time-reversal symmetry or ${\mathbb Z}_2 \times {\mathbb Z}_2$ symmetry (i.e., the symmetry with respect to the $\pi$ rotations of spins about the three orthogonal axes). The proof is based on the deep analogy between the matrix product state formulation and the representation of the Cuntz algebra in the von Neumann algebra $\pi({\mathcal A}_{R})''$ constructed from the ground state restricted to the right half-infinite chain.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: Human migration patterns in large scale spatial with the resume data

abstract: Researches on the human mobility have made great progress in many aspects, but the long-term and long-distance migration behavior is lack of in-depth and extensive research because of the difficult in accessing to household data. In this paper, we use the resume data to discover the human migration behavior on the large scale scope. It is found that the asymmetry in the flow structure which reflects the influence of population competition is caused by the difference of attractiveness among cities. This flow structure can be approximately described by the gravity model of spatial economics. Besides, the value of scaling exponent of distance function in the gravity model is less than the value of short-term travel behavior. It means that, compared with the short-term travel behavior, the long-term human migration behavior is less sensitive. Moreover, the scaling coefficients of each variable in the gravity model are investigated. The result shows that the economic level is a mainly factor on the migration.


title: Dynamics of conservative peakons in a system of Popowicz

abstract: We consider a two-component Hamiltonian system of partial differential equations with quadratic nonlinearities introduced by Popowicz, which has the form of a coupling between the Camassa-Holm and Degasperis-Procesi equations. Despite having reductions to these two integrable partial differential equations, the Popowicz system itself is not integrable. Nevertheless, as one of the authors showed with Irle, it admits distributional solutions of peaked soliton (peakon) type, with the dynamics of $N$ peakons being determined by a Hamiltonian system on a phase space of dimension $3N$. As well as the trivial case of a single peakon ($N=1$), the case $N=2$ is Liouville integrable. We present the explicit solution for the two-peakon dynamics, and describe some of the novel features of the interaction of peakons in the Popowicz system.


title: Defects in h-BN tunnel barrier for local electrostatic probing of two dimensional materials

abstract: Defects in hexagonal boron nitride (h-BN) layer can facilitate tunneling current through thick h-BN tunneling barriers. We have investigated such current-mediating defects as local probes for materials in two dimensional heterostructure stacks. Besides $IV$ characteristics and negative differential conductance, we have characterized the electrical properties of h-BN defects in vertical graphene-h-BN-Cr/Au tunnel junctions in terms of low frequency current noise. Our results indicate a charge sensitivity of 1.5$\times$$ 10^-5$e/$\sqrt Hz$ at 10 $Hz$, which is equal to good metallic single electron transistors. The noise spectra at low frequency are governed by a few two-level fluctuators. For variations in electrochemical potential, we achieve a sensitivity of 0.8$\mu$eV/$\sqrt Hz$.


title: Comparing Attention-based Convolutional and Recurrent Neural Networks: Success and Limitations in Machine Reading Comprehension

abstract: We propose a machine reading comprehension model based on the compare-aggregate framework with two-staged attention that achieves state-of-the-art results on the MovieQA question answering dataset. To investigate the limitations of our model as well as the behavioral difference between convolutional and recurrent neural networks, we generate adversarial examples to confuse the model and compare to human performance. Furthermore, we assess the generalizability of our model by analyzing its differences to human inference,


title: Don't Give Me the Details, Just the Summary! Topic-Aware Convolutional Neural Networks for Extreme Summarization

abstract: We introduce extreme summarization, a new single-document summarization task which does not favor extractive strategies and calls for an abstractive modeling approach. The idea is to create a short, one-sentence news summary answering the question "What is the article about?". We collect a real-world, large-scale dataset for this task by harvesting online articles from the British Broadcasting Corporation (BBC). We propose a novel abstractive model which is conditioned on the article's topics and based entirely on convolutional neural networks. We demonstrate experimentally that this architecture captures long-range dependencies in a document and recognizes pertinent content, outperforming an oracle extractive system and state-of-the-art abstractive approaches when evaluated automatically and by humans.


title: Automorphisms of Kronrod-Reeb graphs of Morse functions on compact surfaces

abstract: Let $M$ be a connected orientable compact surface, $f:M\to\mathbb{R}$ be a Morse function, and $\mathcal{D}_{\mathrm{id}}(M)$ be the group of difeomorphisms of $M$ isotopic to the identity. Denote by $\mathcal{S}'(f)=\{f\circ h = f\mid h\in\mathcal{D}_{\mathrm{id}}(M)\}$ the subgroup of $\mathcal{D}_{\mathrm{id}}(M)$ consisting of difeomorphisms "preserving" $f$, i.e. the stabilizer of $f$ with respect to the right action of $\mathcal{D}_{\mathrm{id}}(M)$ on the space $\mathcal{C}^{\infty}(M,\mathbb{R})$ of smooth functions on $M$. Let also $\mathbf{G}(f)$ be the group of automorphisms of the Kronrod-Reeb graph of $f$ induced by diffeomorphisms belonging to $\mathcal{S}'(f)$. This group is an important ingredient in determining the homotopy type of the orbit of $f$ with respect to the above action of $\mathcal{D}_{\mathrm{id}}(M)$ and it is trivial if $f$ is "generic", i.e. has at most one critical point at each level set $f^{-1}(c)$, $c\in\mathbb{R}$. For the case when $M$ is distinct from $2$-sphere and $2$-torus we present a precise description of the family $\mathbf{G}(M,\mathbb{R})$ of isomorphism classes of groups $\mathbf{G}(f)$, where $f$ runs over all Morse functions on $M$, and of its subfamily $\mathbf{G}^{smp}(M,\mathbb{R}) \subset \mathbf{G}(M,\mathbb{R})$ consisting of groups corresponding to simple Morse functions, i.e. functions having at most one critical point at each connected component of each level set. In fact, $\mathbf{G}(M,\mathbb{R})$, (resp. $\mathbf{G}^{smp}(M,\mathbb{R})$), coincides with the minimal family of isomorphism classes of groups containing the trivial group and closed with respect to direct products and also with respect to wreath products "from the top" with arbitrary finite cyclic groups, (resp. with group $\mathbb{Z}_2$ only).


title: Hadamard full propelinear codes with associated group $C_{2t}\times C_2$; rank and kernel

abstract: We introduce the Hadamard full propelinear codes that factorize as direct product of groups such that their associated group is $C_{2t}\times C_2$. We study the rank, the dimension of the kernel, and the structure of these codes. For several specific parameters we establish some links from circulant Hadamard matrices and the nonexistence of the codes we study. We prove that the dimension of the kernel of these codes is bounded by 3 if the code is nonlinear. We also get an equivalence between circulant complex Hadamard matrix and a type of Hadamard full propelinear code, and we find a new example of circulant complex Hadamard matrix of order 16.


title: AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs

abstract: The aliasing question (can two reference expressions point, during an execution, to the same object?) is both one of the most critical in practice, for applications ranging from compiler optimization to programmer verification, and one of the most heavily researched, with many hundreds of publications over several decades. One might then expect that good off-the-shelf solutions are widely available, ready to be plugged into a compiler or verifier. This is not the case. In practice, efficient and precise alias analysis remains an open problem. We present a practical tool, AutoAlias, which can be used to perform automatic alias analysis for object-oriented programs. Based on the theory of "duality semantics", an application of Abstract Interpretation ideas, it is directed at object-oriented languages and has been implemented for Eiffel as an addition to the EiffelStudio environment. It offers variable-precision analysis, controllable through the choice of a constant that governs the number of fix point iterations: a higher number means better precision and higher computation time. All the source code of AutoAlias, as well as detailed results of analyses reported in this article, are publicly available. Practical applications so far have covered a library of data structures and algorithms and a library for GUI creation. For the former, AutoAlias achieves a precision appropriate for practical purposes and execution times in the order of 25 seconds for about 8000 lines of intricate code. For the GUI library, AutoAlias produces the alias analysis in around 232 seconds for about 150000 lines of intricate code.


title: $\mathcal{R}_{0}$ fails to predict the outbreak potential in the presence of natural-boosting immunity

abstract: Time varying susceptibility of host at individual level due to waning and boosting immunity is known to induce rich long-term behavior of disease transmission dynamics. Meanwhile, the impact of the time varying heterogeneity of host susceptibility on the shot-term behavior of epidemics is not well-studied, even though the large amount of the available epidemiological data are the short-term epidemics. Here we constructed a parsimonious mathematical model describing the short-term transmission dynamics taking into account natural-boosting immunity by reinfection, and obtained the explicit solution for our model. We found that our system show "the delayed epidemic", the epidemic takes off after negative slope of the epidemic curve at the initial phase of epidemic, in addition to the common classification in the standard SIR model, i.e., "no epidemic" as $\mathcal{R}_{0}\leq1$ or normal epidemic as $\mathcal{R}_{0}>1$. Employing the explicit solution we derived the condition for each classification.


title: Generalisation in humans and deep neural networks

abstract: We compare the robustness of humans and current convolutional deep neural networks (DNNs) on object recognition under twelve different types of image degradations. First, using three well known DNNs (ResNet-152, VGG-19, GoogLeNet) we find the human visual system to be more robust to nearly all of the tested image manipulations, and we observe progressively diverging classification error-patterns between humans and DNNs when the signal gets weaker. Secondly, we show that DNNs trained directly on distorted images consistently surpass human performance on the exact distortion types they were trained on, yet they display extremely poor generalisation abilities when tested on other distortion types. For example, training on salt-and-pepper noise does not imply robustness on uniform white noise and vice versa. Thus, changes in the noise distribution between training and testing constitutes a crucial challenge to deep learning vision systems that can be systematically addressed in a lifelong machine learning approach. Our new dataset consisting of 83K carefully measured human psychophysical trials provide a useful reference for lifelong robustness against image degradations set by the human visual system.


title: AutoFrame: Automatic Frame Inference for Object-Oriented Languages

abstract: Automatic program verification has made tremendous strides, but is not yet for the masses. How do we make it less painful? This article addresses one of the obstacles: the need to specify explicit "frame clauses", expressing what properties are left unchanged by an operation. It is fair enough to ask the would-be (human) prover to state what each operation changes, and how, but the (mechanical) prover also requires knowledge of what it does not change. The process of specifying and verifying these properties is tedious and error-prone, and must be repeated whenever the software evolves. it is also hard to justify, since all the information about what the code changes is in the code itself. The AutoFrame tool presented here performs this analysis entirely automatically. It applies to object-oriented programming, where the issue is compounded by aliasing: if x is aliased to y, any update to x.a also affects y.a, even though the updating instruction usually does not even mention y. This aspect turns out to be the most delicate, and is addressed in AutoFrame by taking advantage of a companion tool, AutoAlias, which performs sound and sufficiently precise alias analysis, also in an entirely automatic way. Some practical results of AutoFrame so far are: (1) the automatic reconstruction (in about 25 seconds on an ordinary laptop) of the exact frame clauses, a total of 169 clauses, for an 8,000-line data structures and algorithms library which was previously (with the manually written frame clauses) verified for functional correctness using a mechanical program prover; and (2) the automatic generation (in less than 4 minutes) of frame conditions for a 150,000-line graphical and GUI library. The source code of AutoFrame and these examples are available for download.


title: Inversion of two cyclotomic matrices

abstract: Let $n\ge 3$ be a square-free natural number. We explicitly describe the inverses of the matrices $$ (2\sin(2\pi jk^*/n))_{j,k} \enspace \mbox{ and }\enspace (2\cos(2\pi jk^*/n))_{j,k}, $$ where $k^*$ denotes a multiplicative inverse of $k$ mod $n$ and $j,k$ run through the set $\{l; 1\le l\le n/2, (l,n)=1\}$. These results are based on the theory of Gauss sums.


title: The ALMA-PILS survey: Isotopic composition of oxygen-containing complex organic molecules toward IRAS 16293-2422B

abstract: This paper presents a systematic survey of the deuterated and 13C isotopologues of a variety of oxygen-bearing complex organic molecules on Solar System scales toward the protostar IRAS 16293-2422B. We use the data from an unbiased molecular line survey between 329 and 363 GHz from the Atacama Large Millimeter/submillimeter Array (ALMA). The observations probe scales of 60 AU where most of the organic molecules have sublimated off dust grains and are present in the gas-phase. The complex organic molecules can be divided into two groups with one group, the simpler species, showing a D/H ratio of approximately 2% and the other, the more complex species, D/H ratios of 4-8%. This division may reflect the formation time of each species in the ices before or during warm-up/infall of material through the protostellar envelope. No significant differences are seen in the deuteration of different functional groups for individual species, possibly a result of the short time-scale for infall through the innermost warm regions where exchange reactions between different species may be taking place. The species show differences in excitation temperatures between 125 K and 300 K. This likely reflects the binding energies/sublimation temperatures of the individual species, in good agreement to what has previously been found for high-mass sources. For dimethyl ether, the 12C/13C ratio is found to be lower by up to a factor of 2 compared to typical ISM values similar to what has previously been inferred for glycolaldehyde. The results point to the importance of ice surface chemistry for the formation of these complex organic molecules at different stages in the evolution of embedded protostars and demonstrate the use of accurate isotope measurements for understanding the history of individual species.


title: What Makes Natural Scene Memorable?

abstract: Recent studies on image memorability have shed light on the visual features that make generic images, object images or face photographs memorable. However, a clear understanding and reliable estimation of natural scene memorability remain elusive. In this paper, we provide an attempt to answer: "what exactly makes natural scene memorable". Specifically, we first build LNSIM, a large-scale natural scene image memorability database (containing 2,632 images and memorability annotations). Then, we mine our database to investigate how low-, middle- and high-level handcrafted features affect the memorability of natural scene. In particular, we find that high-level feature of scene category is rather correlated with natural scene memorability. Thus, we propose a deep neural network based natural scene memorability (DeepNSM) predictor, which takes advantage of scene category. Finally, the experimental results validate the effectiveness of DeepNSM.


title: Learning from Positive and Unlabeled Data under the Selected At Random Assumption

abstract: For many interesting tasks, such as medical diagnosis and web page classification, a learner only has access to some positively labeled examples and many unlabeled examples. Learning from this type of data requires making assumptions about the true distribution of the classes and/or the mechanism that was used to select the positive examples to be labeled. The commonly made assumptions, separability of the classes and positive examples being selected completely at random, are very strong. This paper proposes a weaker assumption that assumes the positive examples to be selected at random, conditioned on some of the attributes. To learn under this assumption, an EM method is proposed. Experiments show that our method is not only very capable of learning under this assumption, but it also outperforms the state of the art for learning under the selected completely at random assumption.


title: Gd pyrochlore under a staggered molecular field in Gd$_2$Ir$_2$O$_7$

abstract: The influence of a staggered molecular field in frustrated rare-earth pyrochlores, produced via the magnetic iridium occupying the transition metal site, can generate exotic ground states, such as the fragmentation of the magnetization in the Ho compound. At variance with the Ising Ho$^{3+}$ moment, we focus on the behavior of the quasi isotropic magnetic moment of the Gd$^{3+}$ ion at the rare-earth site. By means of macroscopic measurements and neutron scattering, we find a complex situation where different components of the magnetic moment contribute to two antiferromagnetic non-collinear arrangements: a high temperature all in - all out order induced by the Ir molecular field, and Palmer and Chalker correlations that tend to order at much lower temperatures. This is enabled by the anisotropic nature of the Gd-Gd interactions and requires a weak easy-plane anisotropy of the Gd$^{3+}$ moment due to the mixing of the ground state with multiplets of higher spectral terms.


title: Escape of High Energy Particles from Bow-Shock Pulsar Wind Nebulae

abstract: The detection of bright X-ray features and large TeV halos around old pulsars that have escaped their parent Supernova Remnants and are interacting directly with the ISM, suggest that high energy particles, more likely high energy pairs, can escape from these systems, and that this escape if far more complex than a simple diffusive model can predict. Here we present for the first time a detailed analysis of how high energy particles escape from the head of the bow shock. In particular we focus our attention on the role of the magnetic field geometry, and the inclination of the pulsar spin axis with respect to the direction of the pulsar kick velocity. We show that asymmetries in the escape pattern of charged particles are common, and they are strongly energy dependent. More interestingly we show that the flow of particles from bow-shock pulsar wind nebulae is likely to be charge separated, which might have profound consequences on the way such flow interacts with the ISM magnetic field, driving local turbulence.


title: A Nitsche-based formulation for fluid-structure interactions with contact

abstract: We derive a Nitsche-based formulation for fluid-structure interaction (FSI) problems with contact. The approach is based on the work of Chouly and Hild [SIAM Journal on Numerical Analysis. 2013;51(2):1295--1307] for contact problems in solid mechanics. We present two numerical approaches, both of them formulating the FSI interface and the contact conditions simultaneously in equation form on a joint interface-contact surface $\Gamma(t)$. The first approach uses a relaxation of the contact conditions to allow for a small mesh-dependent gap between solid and wall. The second alternative introduces an artificial fluid below the contact surface. The resulting systems of equations can be included {in a consistent fashion} within a monolithic variational formulation, which prevents the so-called "chattering" phenomenon. To deal with the topology changes in the fluid domain at the time of impact, we use a fully Eulerian approach for the FSI problem. We compare the effect of slip and no-slip interface conditions and study the performance of the method by means of numerical examples.


title: Clausal Abstraction for DQBF (full version)

abstract: Dependency quantified Boolean formulas (DQBF) is a logic admitting existential quantification over Boolean functions, which allows us to elegantly state synthesis problems in verification such as the search for invariants, programs, or winning regions of games. In this paper, we lift the clausal abstraction algorithm for quantified Boolean formulas (QBF) to DQBF. Clausal abstraction for QBF is an abstraction refinement algorithm that operates on a sequence of abstractions that represent the different quantifier levels. For DQBF we need to generalize this principle to partial orders of abstractions. The two challenges to overcome are: (1) Clauses may contain literals with incomparable dependencies, which we address by the recently proposed proof rule called Fork Extension, and (2) existential variables may have spurious dependencies, which we prevent by tracking consistency requirements during the execution. Our implementation dCAQE solves significantly more formulas than the existing DQBF algorithms.


title: The complexity of homeomorphism relations on some classes of compacta

abstract: We prove that the homeomorphism relation between compact spaces can be continuously reduced to the homeomorphism equivalence relation between absolute retracts which strengthens and simplifies recent results of Chang and Gao, and Cie\'sla. It follows then that the homeomorphism relation of absolute retracts is Borel bireducible with the universal orbit equivalence relation. We also prove that the homeomorphism relation between regular continua is classifiable by countable structures and hence it is Borel bireducible with the universal orbit equivalence relation of the permutation group on a countable set. On the other hand we prove that the homeomorphism relation between rim-finite metrizable compacta is not classifiable by countable structures.


title: Analysis of vertex-contained high energy neutrino events for the KM3NeT/ARCA detector

abstract: KM3NeT is a research infrastructure housing the next generation neutrino detectors in the depths of the Mediterranean Sea. The ARCA detector, which is currently under construction, is optimized for searches for neutrinos from astrophysical sources as well as measurements of the diffuse astrophysical flux. The unambiguous detection of neutrinos of extraterrestrial origin by IceCube has led to the first measurement of a high energy astrophysical neutrino flux. The properties of sea water allow for a measurement of the neutrino direction with an excellent angular resolution for both track and cascade events. Here a method to differentiate track and shower events and a method to reject the atmospheric muon background from starting track-like events are combined in one analysis. The analysis on the discovery potential of KM3NeT/ARCA for a diffuse astrophysical neutrino flux using events with the reconstructed vertex inside the detector volume will be presented.


title: Sentence Embeddings in NLI with Iterative Refinement Encoders

abstract: Sentence-level representations are necessary for various NLP tasks. Recurrent neural networks have proven to be very effective in learning distributed representations and can be trained efficiently on natural language inference tasks. We build on top of one such model and propose a hierarchy of BiLSTM and max pooling layers that implements an iterative refinement strategy and yields state of the art results on the SciTail dataset as well as strong results for SNLI and MultiNLI. We can show that the sentence embeddings learned in this way can be utilized in a wide variety of transfer learning tasks, outperforming InferSent on 7 out of 10 and SkipThought on 8 out of 9 SentEval sentence embedding evaluation tasks. Furthermore, our model beats the InferSent model in 8 out of 10 recently published SentEval probing tasks designed to evaluate sentence embeddings' ability to capture some of the important linguistic properties of sentences.


title: On the convergence of optimistic policy iteration for stochastic shortest path problem

abstract: In this paper, we prove some convergence results of a special case of optimistic policy iteration algorithm for stochastic shortest path problem. We consider both Monte Carlo and $TD(\lambda)$ methods for the policy evaluation step under the condition that the termination state will eventually be reached almost surely.


title: Intrinsic wavelet regression for surfaces of Hermitian positive definite matrices

abstract: This paper develops intrinsic wavelet denoising methods for surfaces of Hermitian positive definite matrices, with in mind the application to nonparametric estimation of the time-varying spectral matrix of a multivariate locally stationary time series. First, we construct intrinsic average-interpolating wavelet transforms acting directly on surfaces of Hermitian positive definite matrices in a curved Riemannian manifold with respect to an affine-invariant metric. Second, we derive the wavelet coefficient decay and linear wavelet thresholding convergence rates of intrinsically smooth surfaces of Hermitian positive definite matrices, and investigate practical nonlinear thresholding of wavelet coefficients based on their trace in the context of intrinsic signal plus noise models in the Riemannian manifold. The finite-sample performance of nonlinear tree-structured trace thresholding is assessed by means of simulated data, and the proposed intrinsic wavelet methods are used to estimate the time-varying spectral matrix of a nonstationary multivariate electroencephalography (EEG) time series recorded during an epileptic brain seizure.


title: Identifiability of Complete Dictionary Learning

abstract: Sparse component analysis (SCA), also known as complete dictionary learning, is the following problem: Given an input matrix $M$ and an integer $r$, find a dictionary $D$ with $r$ columns and a matrix $B$ with $k$-sparse columns (that is, each column of $B$ has at most $k$ non-zero entries) such that $M \approx DB$. A key issue in SCA is identifiability, that is, characterizing the conditions under which $D$ and $B$ are essentially unique (that is, they are unique up to permutation and scaling of the columns of $D$ and rows of $B$). Although SCA has been vastly investigated in the last two decades, only a few works have tackled this issue in the deterministic scenario, and no work provides reasonable bounds in the minimum number of samples (that is, columns of $M$) that leads to identifiability. In this work, we provide new results in the deterministic scenario when the data has a low-rank structure, that is, when $D$ is (under)complete. While previous bounds feature a combinatorial term $r \choose k$, we exhibit a sufficient condition involving $\mathcal{O}(r^3/(r-k)^2)$ samples that yields an essentially unique decomposition, as long as these data points are well spread among the subspaces spanned by $r-1$ columns of $D$. We also exhibit a necessary lower bound on the number of samples that contradicts previous results in the literature when $k$ equals $r-1$. Our bounds provide a drastic improvement compared to the state of the art, and imply for example that for a fixed proportion of zeros (constant and independent of $r$, e.g., 10\% of zero entries in $B$), one only requires $\mathcal{O}(r)$ data points to guarantee identifiability.


title: Learning behavioral context recognition with multi-stream temporal convolutional networks

abstract: Smart devices of everyday use (such as smartphones and wearables) are increasingly integrated with sensors that provide immense amounts of information about a person's daily life such as behavior and context. The automatic and unobtrusive sensing of behavioral context can help develop solutions for assisted living, fitness tracking, sleep monitoring, and several other fields. Towards addressing this issue, we raise the question: can a machine learn to recognize a diverse set of contexts and activities in a real-life through joint learning from raw multi-modal signals (e.g. accelerometer, gyroscope and audio etc.)? In this paper, we propose a multi-stream temporal convolutional network to address the problem of multi-label behavioral context recognition. A four-stream network architecture handles learning from each modality with a contextualization module which incorporates extracted representations to infer a user's context. Our empirical evaluation suggests that a deep convolutional network trained end-to-end achieves an optimal recognition rate. Furthermore, the presented architecture can be extended to include similar sensors for performance improvements and handles missing modalities through multi-task learning without any manual feature engineering on highly imbalanced and sparsely labeled dataset.


title: Transport in a thin topological insulator with potential and magnetic barriers

abstract: We study transport across either a potential or a magnetic barrier which is placed on the top surface of a three-dimensional thin topological insulator (TI). For such thin TIs, the top and bottom surfaces interact via a coupling $\lambda$ which influences the transport properties of junctions constructed out of them. We find that for junctions hosting a potential barrier, the differential conductance oscillates with the barrier strength. The period of these oscillations doubles as the coupling $\lambda$ changes from small values to a value close to the energy of the incident electrons. In contrast, for junctions with a magnetic barrier, the conductance approaches a non-zero constant as the barrier strength is increased. This feature is in contrast to the case of transport across a single TI surface where the conductance approaches zero as the strength of a magnetic barrier is increased. We also study the spin currents for these two kinds of barriers; in both cases, the spin current is found to have opposite signs on the top and bottom surfaces. Thus this system can be used to split applied charge currents to spin currents with opposite spin orientations which can be collected by applying opposite spin-polarized leads to the two surfaces. We show that several of these features of transport across finite width barriers can be understood analytically by studying the $\delta$-function barrier limit. We discuss experiments which may test our theory.


title: Optical Lattices with Higher-order Exceptional Points by Non-Hermitian Coupling

abstract: Exceptional points (EPs) are degeneracies in open wave systems with coalescence of at least two energy levels and their corresponding eigenstates. In higher dimensions, more complex EP physics not found in two-state systems is observed. We consider the emergence and interaction of multiple EPs in a four coupled optical waveguides system by non-Hermitian coupling showing a unique EP formation pattern in a phase diagram. In addition, absolute phase rigidities are computed to show the mixing of the different states in definite parameter regimes. Our results could be potentially important for developing further understanding of EP physics in higher dimensions via generalized paradigm of nonHermitian coupling for a new generation of parity-time (PT) devices.


title: Accurate solution method for the Maxey-Riley equation, and the effects of Basset history

abstract: The Maxey-Riley equation has been extensively used by the fluid dynamics community to study the dynamics of small inertial particles in fluid flow. However, most often, the Basset history force in this equation is neglected. Including the Basset force in numerical solutions of particulate flows involves storage requirements which rapidly increase in time. Thus the significance of the Basset history force in the dynamics has not been understood. In this paper, we show that the Maxey-Riley equation in its entirety can be exactly mapped as a forced, time-dependent Robin boundary condition of the one-dimensional heat equation, and solved using the Unified Transform Method. We obtain the exact solution for a general homogeneous time-dependent flow field, and apply it to a range of physically relevant situations. In a particle coming to a halt in a quiescent environment, the Basset history force speeds up the decay as stretched-exponential at short time while slowing it down to a power-law relaxation, $\sim t^{-3/2}$, at long time. A particle settling under gravity is shown to relax even more slowly to its terminal velocity ($\sim t^{-1/2}$), whereas this relaxation would be expected to take place exponentially fast if the history term were to be neglected. For a general flow, our approach makes possible a numerical scheme for arbitrary but smooth flows without increasing memory demands and with spectral accuracy. We use our numerical scheme to solve an example spatially varying flow of inertial particles in the vicinity of a point vortex. We show that the critical radius for caustics formation shrinks slightly due to history effects. Our scheme opens up a method for future studies to include the Basset history term in their calculations to spectral accuracy, without astronomical storage costs. Moreover our results indicate that the Basset history can affect dynamics significantly.


title: Probing CP violating Higgs sectors via the precision measurement of coupling constants

abstract: We study how effects of the CP violation can be observed indirectly by precision measurements of Higgs boson couplings at a future Higgs factory such as the international linear collider. We consider two Higgs doublet models with the softly broken discrete symmetry. We find that by measuring the Higgs boson couplings very precisely we are able to distinguish the two Higgs doublet model with CP violation from the CP conserving one.


title: Bernoulli disjointness and maximally almost periodic groups

abstract: We show that any discrete group containing an infinite, normal, maximally almost periodic subgroup has the Bernoulli Disjointness Property, or BDJ. Also, any group containing enough infinite normal subgroups to separate points has the BDJ. Lastly, any group admitting a minimal free proximal flow has the BDJ.


title: Solving Partition Problems Almost Always Requires Pushing Many Vertices Around

abstract: A fundamental graph problem is to recognize whether the vertex set of a graph $G$ can be bipartitioned into sets $A$ and $B$ such that $G[A]$ and $G[B]$ satisfy properties $\Pi_A$ and $\Pi_B$, respectively. This so-called $(\Pi_A,\Pi_B)$-Recognition problem generalizes amongst others the recognition of $3$-colorable, bipartite, split, and monopolar graphs. In this paper, we study whether certain fixed-parameter tractable $(\Pi_A,\Pi_B)$-Recognition problems admit polynomial kernels. In our study, we focus on the first level above triviality, where $\Pi_A$ is the set of $P_3$-free graphs (disjoint unions of cliques, or cluster graphs), the parameter is the number of clusters in the cluster graph $G[A]$, and $\Pi_B$ is characterized by a set $\mathcal{H}$ of connected forbidden induced subgraphs. We prove that, under the assumption that NP is not a subset of coNP/poly, \textsc{$(\Pi_A,\Pi_B)$-Recognition} admits a polynomial kernel if and only if $\mathcal{H}$ contains a graph with at most $2$ vertices. In both the kernelization and the lower bound results, we exploit the properties of a pushing process, which is an algorithmic technique used recently by Heggerness et al. and by Kanj et al. to obtain fixed-parameter algorithms for many cases of $(\Pi_A,\Pi_B)$-Recognition, as well as several other problems.


title: Learning Multilingual Word Embeddings in Latent Metric Space: A Geometric Approach

abstract: We propose a novel geometric approach for learning bilingual mappings given monolingual embeddings and a bilingual dictionary. Our approach decouples learning the transformation from the source language to the target language into (a) learning rotations for language-specific embeddings to align them to a common space, and (b) learning a similarity metric in the common space to model similarities between the embeddings. We model the bilingual mapping problem as an optimization problem on smooth Riemannian manifolds. We show that our approach outperforms previous approaches on the bilingual lexicon induction and cross-lingual word similarity tasks. We also generalize our framework to represent multiple languages in a common latent space. In particular, the latent space representations for several languages are learned jointly, given bilingual dictionaries for multiple language pairs. We illustrate the effectiveness of joint learning for multiple languages in zero-shot word translation setting. Our implementation is available at https://github.com/anoopkunchukuttan/geomm .


title: Generation of Gaussian Schell-model fields as mixtures of their coherent modes

abstract: Gaussian Schell-model fields are examples of spatially partially coherent fields, which in recent years have found several unique applications. The existing techniques for generating Gaussian Schell-model (GSM) fields are based on introducing randomness in a spatially completely coherent field and are limited in terms of control and precision with which GSM fields can be generated. In contrast, we demonstrate an experimental technique that is based on the coherent mode representation of GSM fields. By generating individual coherent modes and mixing them in proportion fixed by their coherent mode representation, we experimentally demonstrate generation of several GSM fields. Since our technique involves only mixing of coherent eigenmodes and does not involve introducing randomness from outside, it provides much better control and precision with which GSM fields with a given set of parameter could be generated.


title: Micro-dynamics of neutral flow induced dusty plasma flow

abstract: We present a detailed experimental study of gas flow induced motion of dust particles in a DC glow discharge plasma. The characteristics of the dust dynamics are investigated as a function of the differential gas flow rate, the background neutral pressure, the dust particle size as well as the neutral species of the gas. The experiments have been carried out in the table top Dusty Plasma Experimental (DPEx) device in which a plasma is created between a disk shaped anode and a grounded cathode in a $\Pi$-shaped pyrex glass tube. The asymptotic steady state flow velocity of the injected micron sized dust particles is found to increase with an increase of neutral flow velocity and decrease with an increase in the background pressure. Furthermore, this velocity is seen to be independent of the size of the dust particles but decreases with an increase in the mass of the background gas. A simple theoretical model, based on estimates of the various forces acting on the dust particles, is used to elucidate the role of neutrals in the flow dynamics of the dust particles. Our experiments thus provide a detailed microscopic understanding of some of the past phenomenological observations of dust flows in the DPEx device and can prove useful in future experimental implementations of dust flow experiments.


title: Field Formulation of Parzen Data Analysis

abstract: The Parzen window density is a well-known technique, associating Gaussian kernels with data points. It is a very useful tool in data exploration, with particular importance for clustering schemes and image analysis. This method is presented here within a formalism containing scalar fields, such as the density function and its potential, and their corresponding gradients. The potential is derived from the density through the dependence of the latter on the common scale parameter of all Gaussian kernels. The loci of extrema of the density and potential scalar fields are points of interest which obey a variation condition on a novel indicator function. They serve as focal points of clustering methods depending on maximization of the density, or minimization of the potential, accordingly. The mixed inter-dependencies of the different fields in d-dim data-space and 1-d scale-space, are discussed. They lead to a Schr\H{o}dinger equation in d-dim, and to a diffusion equation in (d+1)-dim


title: Adaptive Structural Learning of Deep Belief Network for Medical Examination Data and Its Knowledge Extraction by using C4.5

abstract: Deep Learning has a hierarchical network architecture to represent the complicated feature of input patterns. The adaptive structural learning method of Deep Belief Network (DBN) has been developed. The method can discover an optimal number of hidden neurons for given input data in a Restricted Boltzmann Machine (RBM) by neuron generation-annihilation algorithm, and generate a new hidden layer in DBN by the extension of the algorithm. In this paper, the proposed adaptive structural learning of DBN was applied to the comprehensive medical examination data for the cancer prediction. The prediction system shows higher classification accuracy (99.8% for training and 95.5% for test) than the traditional DBN. Moreover, the explicit knowledge with respect to the relation between input and output patterns was extracted from the trained DBN network by C4.5. Some characteristics extracted in the form of IF-THEN rules to find an initial cancer at the early stage were reported in this paper.


title: Dynamical systems theory for causal inference with application to synthetic control methods

abstract: In this paper, we adopt results in nonlinear time series analysis for causal inference in dynamical settings.~Our motivation is policy analysis with panel data, particularly through the use of "synthetic control" methods. These methods regress pre-intervention outcomes of the treated unit to outcomes from a pool of control units, and then use the fitted regression model to estimate causal effects post-intervention. In this setting, we propose to screen out control units that have a weak dynamical relationship to the treated unit. In simulations, we show that this method can mitigate bias from "cherry-picking" of control units, which is usually an important concern. We illustrate on real-world applications, including the tobacco legislation example of \citet{Abadie2010}, and Brexit.


title: Stochastic Attraction-Repulsion Embedding for Large Scale Image Localization

abstract: This paper tackles the problem of large-scale image-based localization (IBL) where the spatial location of a query image is determined by finding out the most similar reference images in a large database. For solving this problem, a critical task is to learn discriminative image representation that captures informative information relevant for localization. We propose a novel representation learning method having higher location-discriminating power. It provides the following contributions: 1) we represent a place (location) as a set of exemplar images depicting the same landmarks and aim to maximize similarities among intra-place images while minimizing similarities among inter-place images; 2) we model a similarity measure as a probability distribution on L_2-metric distances between intra-place and inter-place image representations; 3) we propose a new Stochastic Attraction and Repulsion Embedding (SARE) loss function minimizing the KL divergence between the learned and the actual probability distributions; 4) we give theoretical comparisons between SARE, triplet ranking and contrastive losses. It provides insights into why SARE is better by analyzing gradients. Our SARE loss is easy to implement and pluggable to any CNN. Experiments show that our proposed method improves the localization performance on standard benchmarks by a large margin. Demonstrating the broad applicability of our method, we obtained the third place out of 209 teams in the 2018 Google Landmark Retrieval Challenge. Our code and model are available at https://github.com/Liumouliu/deepIBL.


title: Improving Cross-Lingual Word Embeddings by Meeting in the Middle

abstract: Cross-lingual word embeddings are becoming increasingly important in multilingual NLP. Recently, it has been shown that these embeddings can be effectively learned by aligning two disjoint monolingual vector spaces through linear transformations, using no more than a small bilingual dictionary as supervision. In this work, we propose to apply an additional transformation after the initial alignment step, which moves cross-lingual synonyms towards a middle point between them. By applying this transformation our aim is to obtain a better cross-lingual integration of the vector spaces. In addition, and perhaps surprisingly, the monolingual spaces also improve by this transformation. This is in contrast to the original alignment, which is typically learned such that the structure of the monolingual spaces is preserved. Our experiments confirm that the resulting cross-lingual embeddings outperform state-of-the-art models in both monolingual and cross-lingual evaluation tasks.


title: Quarkonium in-medium properties from realistic lattice NRQCD

abstract: We present the final results of our high statistics study on the properties of bottomonium and charmonium at finite temperature. We focus on the temperature range around the crossover transition $150\leq T\leq 410$MeV, relevant for current heavy ion collision experiments. The QCD medium degrees of freedom which consist of dynamical u,d, and s quarks and gluons are captured by realistic state-of-the art ($m_\pi\approx 161$MeV) lattice QCD simulations of the HotQCD collaboration. For the heavy quarks we deploy the non-relativistic effective field theory of QCD, NRQCD. The in-medium properties of quarkonium are deduced from their spectral functions, which are reconstructed using improved and novel Bayesian approaches. Through a systematic analysis we shed light on the origin of the discrepancies in melting temperatures previously reported in the literature, showing that they are owed to underestimated methods uncertainties of the deployed spectral reconstructions. Our simulations corroborate a picture of sequential in-medium modification, ordered according to the vacuum binding energy of the states. As a central quantitative result, our study reveals how the mass of the heavy quarkonium ground state reduces as temperature increases. The observed spectral modifications are interpreted in the light of, and compared to previous studies based on the complex lattice potential for heavy quarkonium. Thus for the first time we provide a robust picture of in-medium heavy quarkonium modification in the quark-gluon plasma consistent among different non-relativistic methods. We also critically discuss the perspectives for improving on these results.


title: Amobee at IEST 2018: Transfer Learning from Language Models

abstract: This paper describes the system developed at Amobee for the WASSA 2018 implicit emotions shared task (IEST). The goal of this task was to predict the emotion expressed by missing words in tweets without an explicit mention of those words. We developed an ensemble system consisting of language models together with LSTM-based networks containing a CNN attention mechanism. Our approach represents a novel use of language models (specifically trained on a large Twitter dataset) to predict and classify emotions. Our system reached 1st place with a macro $\text{F}_1$ score of 0.7145.


title: The melting column as a filter of mantle trace-element heterogeneity

abstract: The observed variability of trace-element concentration in basaltic lavas and melt inclusions carries information about heterogeneity in the mantle. The difficulty is to disentangle the contributions of source heterogeneity (i.e., spatial variability of mantle composition before melting) and process heterogeneity (i.e., spatial and temporal variability in melt transport). Here we investigate the end-member hypothesis that variability arises due to source heterogeneity alone. We model the attenuation of trace-element variability introduced into the bottom of a one-dimensional, steady-state melting column. Our results show that the melting column can be considered to be a filter that attenuates variability according to the wavelength of heterogeneity, the partition coefficient of the trace element, melt productivity and the efficiency of melt segregation. We further show that while the model can be fit to the observations, this requires assumptions inconsistent with constraints on the timescales of magma assembly. Hence, we falsify the end-member hypothesis and, instead, conclude that observed variability requires heterogeneity of melt transport. This might take the form of channels or waves and would almost certainly interact with source heterogeneity.


title: Sparsity in Deep Neural Networks - An Empirical Investigation with TensorQuant

abstract: Deep learning is finding its way into the embedded world with applications such as autonomous driving, smart sensors and aug- mented reality. However, the computation of deep neural networks is demanding in energy, compute power and memory. Various approaches have been investigated to reduce the necessary resources, one of which is to leverage the sparsity occurring in deep neural networks due to the high levels of redundancy in the network parameters. It has been shown that sparsity can be promoted specifically and the achieved sparsity can be very high. But in many cases the methods are evaluated on rather small topologies. It is not clear if the results transfer onto deeper topologies. In this paper, the TensorQuant toolbox has been extended to offer a platform to investigate sparsity, especially in deeper models. Several practical relevant topologies for varying classification problem sizes are investigated to show the differences in sparsity for activations, weights and gradients.


title: Reverse Mathematics of topology: dimension, paracompactness, and splittings

abstract: Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, i.e. non-set-theoretic, mathematics. As suggested by the title, this paper deals with the study of the topological notions of dimension and paracompactness, inside Kohlenbach's higher-order RM. As to splittings, there are some examples in RM of theorems $A, B, C$ such that $A\leftrightarrow(B\wedge C)$, i.e. $A$ can be split into two independent (fairly natural) parts $B$ and $C$, and the aforementioned topological notions give rise to a number of splittings involving highly natural $A, B, C$. Nonetheless, the higher-order picture is markedly different from the second-one: in terms of comprehension axioms, the proof in higher-order RM of e.g. the paracompactness of the unit interval requires full second-order arithmetic, while the second-order/countable version of paracompactness of the unit interval is provable in the base theory of second-order RM. We obtain similarly 'exceptional' results for the Urysohn identity, the Lindel\"of lemma, and partitions of unity. We show that our results exhibit a certain robustness, in that they do not depend on the exact definition of cover, even in the absence of the axiom of choice.


title: Transparent Tx and Rx Waveform Processing for 5G New Radio Mobile Communications

abstract: Several different waveform processing techniques have been studied and proposed for the 5G new radio (NR) physical layer, to support new mixed numerology and asynchronous services. The evaluation and comparison of these different techniques is commonly based on matched waveform processing in the transmitter and receiver units. In this article, it is shown that different techniques can be flexibly mixed, allowing to separately optimize complexity-performance trade-offs for transmitter and receiver implementations. Mixing of different waveform processing techniques is possible by setting adequate requirements for transmitter and receiver baseband processing allowing transparent design. The basic framework of how transmitter and receiver units can be independently applied and evaluated in the context of transparent design and an extensive set of examples of the achievable radio link performance with unmatched transmitter and receiver waveform processing are provided. The discussed approach and solutions simplify standardization, improve transparent transmitter and receiver coexistence, and allow future-proof evolution path for performance improvements in 5G NR physical layer hardware and algorithm design.


title: The numerical computation of unstable manifolds for infinite dimensional dynamical systems by embedding techniques

abstract: In this work we extend the novel framework developed by Dellnitz, Hessel-von Molo and Ziessler to the computation of finite dimensional unstable manifolds of infinite dimensional dynamical systems. To this end, we adapt a set-oriented continuation technique developed by Dellnitz and Hohmann for the computation of such objects of finite dimensional systems with the results obtained in the work of Dellnitz, Hessel-von Molo and Ziessler. We show how to implement this approach for the analysis of partial differential equations and illustrate its feasibility by computing unstable manifolds of the one-dimensional Kuramoto-Sivashinsky equation as well as for the Mackey-Glass delay differential equation.


title: A Directed Information Learning Framework for Event-Driven M2M Traffic Prediction

abstract: Burst of transmissions stemming from event-driven traffic in machine type communication (MTC) can lead to congestion of random access resources, packet collisions, and long delays. In this paper, a directed information (DI) learning framework is proposed to predict the source traffic in event-driven MTC. By capturing the history of transmissions during past events by a sequence of binary random variables, the DI between different machine type devices (MTDs) is calculated and used for predicting the set of possible MTDs that are likely to report an event. Analytical and simulation results show that the proposed DI learning method can reveal the correlation between transmission from different MTDs that report the same event, and the order in which they transmit their data. The proposed algorithm and the presented results show that the DI can be used to implement effective predictive resource allocation for event-driven MTC.


title: Open-minded imitation can achieve near-optimal vaccination coverage

abstract: Studies of voluntary vaccination decisions by rational individuals predict that the population will reach a Nash equilibrium with vaccination coverage below the societal optimum. Human decision-making involves mechanisms in addition to rational calculations of self-interest, such as imitation of successful others. Previous research had shown that imitation alone cannot achieve better results. Under realistic choices of the parameters it may lead to equilibrium vaccination coverage even below the Nash equilibrium. However, these findings rely on the widely accepted use of Fermi functions for modeling the probabilities of switching to another strategy. We consider here a more general functional form of the switching probabilities. It is consistent with functions that give best fits for empirical data in a widely cited psychological experiment and involves one additional parameter $\alpha$. This parameter can be loosely interpreted as a degree of open-mindedness. We found both by means of simulations and analytically that sufficiently high values of $\alpha$ will drive the equilibrium vaccination coverage arbitrarily close to the societal optimum.


title: Feature selection for transient stability assessment based on kernelized fuzzy rough sets and memetic algorithm

abstract: A new feature selection method based on kernelized fuzzy rough sets (KFRS) and the memetic algorithm (MA) is proposed for transient stability assessment of power systems. Considering the possible real-time information provided by wide-area measurement systems, a group of system-level classification features are extracted from the power system operation parameters to build the original feature set. By defining a KFRS-based generalized classification function as the separability criterion, the memetic algorithm based on binary differential evolution (BDE) and Tabu search (TS) is employed to obtain the optimal feature subsets with the maximized classification capability. The proposed method may avoid the information loss caused by the feature discretization process of the rough-set based attribute selection, and comprehensively utilize the advantages of BDE and TS to improve the solution quality and search efficiency. The effectiveness of the proposed method is validated by the application results on the New England 39-bus power system and the southern power system of Hebei province.


title: SPULTRA: Low-Dose CT Image Reconstruction with Joint Statistical and Learned Image Models

abstract: Low-dose CT image reconstruction has been a popular research topic in recent years. A typical reconstruction method based on post-log measurements is called penalized weighted-least squares (PWLS). Due to the underlying limitations of the post-log statistical model, the PWLS reconstruction quality is often degraded in low-dose scans. This paper investigates a shifted-Poisson (SP) model based likelihood function that uses the pre-log raw measurements that better represents the measurement statistics, together with a data-driven regularizer exploiting a Union of Learned TRAnsforms (SPULTRA). Both the SP induced data-fidelity term and the regularizer in the proposed framework are nonconvex. The proposed SPULTRA algorithm uses quadratic surrogate functions for the SP induced data-fidelity term. Each iteration involves a quadratic subproblem for updating the image, and a sparse coding and clustering subproblem that has a closed-form solution. The SPULTRA algorithm has a similar computational cost per iteration as its recent counterpart PWLS-ULTRA that uses post-log measurements, and it provides better image reconstruction quality than PWLS-ULTRA, especially in low-dose scans.


title: Atom spectra of graded rings and sheafification in toric geometry

abstract: We prove that the atom spectrum, which is a topological space associated to an arbitrary abelian category introduced by Kanda, of the category of finitely presented graded modules over a graded ring $R$ is given as a union of the homogeneous spectrum of $R$ with some additional points, which we call non-standard points. This description of the atom spectrum helps in understanding the sheafification process in toric geometry: if $S$ is the Cox ring of a normal toric variety $X$ without torus factors, then a finitely presented graded $S$-module sheafifies to zero if and only if its atom support consists only of points in the atom spectrum of $S$ which either lie in the vanishing locus of the irrelevant ideal of $X$ or are non-standard.


title: Empirical likelihood for linear models with spatial errors

abstract: For linear models with spatial errors, the empirical likelihood ratio statistics are constructed for the parameters of the models. It is shown that the limiting distributions of the empirical likelihood ratio statistics are chi-squared distributions, which are used to construct confidence regions for the parameters of the models.


title: Theoretical Foundations of the A2RD Project: Part I

abstract: This article identifies and discusses the theoretical foundations that were considered in the design of the A2RD model. In addition to the points considered, references are made to the studies available and considered in the approach.


title: An Auto-Encoder Matching Model for Learning Utterance-Level Semantic Dependency in Dialogue Generation

abstract: Generating semantically coherent responses is still a major challenge in dialogue generation. Different from conventional text generation tasks, the mapping between inputs and responses in conversations is more complicated, which highly demands the understanding of utterance-level semantic dependency, a relation between the whole meanings of inputs and outputs. To address this problem, we propose an Auto-Encoder Matching (AEM) model to learn such dependency. The model contains two auto-encoders and one mapping module. The auto-encoders learn the semantic representations of inputs and responses, and the mapping module learns to connect the utterance-level representations. Experimental results from automatic and human evaluations demonstrate that our model is capable of generating responses of high coherence and fluency compared to baseline models. The code is available at https://github.com/lancopku/AMM


title: An Empirical Study of Architecting for Continuous Delivery and Deployment

abstract: Recently, many software organizations have been adopting Continuous Delivery and Continuous Deployment (CD) practices to develop and deliver quality software more frequently and reliably. Whilst an increasing amount of the literature covers different aspects of CD, little is known about the role of software architecture in CD and how an application should be (re-) architected to enable and support CD. We have conducted a mixed-methods empirical study that collected data through in-depth, semi-structured interviews with 21 industrial practitioners from 19 organizations, and a survey of 91 professional software practitioners. Based on a systematic and rigorous analysis of the gathered qualitative and quantitative data, we present a conceptual framework to support the process of (re-) architecting for CD. We provide evidence-based insights about practicing CD within monolithic systems and characterize the principle of "small and independent deployment units" as an alternative to the monoliths. Our framework supplements the architecting process in a CD context through introducing the quality attributes (e.g., resilience) that require more attention and demonstrating the strategies (e.g., prioritizing operations concerns) to design operations-friendly architectures. We discuss the key insights (e.g., monoliths and CD are not intrinsically oxymoronic) gained from our study and draw implications for research and practice.


title: The Martin Gardner Polytopes

abstract: In the chapter "Magic with a Matrix" in \emph{Hexaflexagons and Other Mathematical Diversions} (1988), Martin Gardner describes a delightful "party trick" to fill the squares of a $d$-by-$d$ chessboard with nonnegative integers such that the sum of the numbers covered by any placement of $d$ nonthreatening rooks is a given number $N$. We consider such chessboards from a geometric perspective which gives rise to a family of lattice polytopes. The polyhedral structure of these Gardner polytopes explains the underlying trick and enables us to count such chessboards for given $N$ in three different ways. We also observe a curious duality that relates Gardner polytopes to Birkhoff polytopes.


title: Beyond expectation: Deep joint mean and quantile regression for spatio-temporal problems

abstract: Spatio-temporal problems are ubiquitous and of vital importance in many research fields. Despite the potential already demonstrated by deep learning methods in modeling spatio-temporal data, typical approaches tend to focus solely on conditional expectations of the output variables being modeled. In this paper, we propose a multi-output multi-quantile deep learning approach for jointly modeling several conditional quantiles together with the conditional expectation as a way to provide a more complete "picture" of the predictive density in spatio-temporal problems. Using two large-scale datasets from the transportation domain, we empirically demonstrate that, by approaching the quantile regression problem from a multi-task learning perspective, it is possible to solve the embarrassing quantile crossings problem, while simultaneously significantly outperforming state-of-the-art quantile regression methods. Moreover, we show that jointly modeling the mean and several conditional quantiles not only provides a rich description about the predictive density that can capture heteroscedastic properties at a neglectable computational overhead, but also leads to improved predictions of the conditional expectation due to the extra information and a regularization effect induced by the added quantiles.


title: Measuring surface charge: why experimental characterization and molecular modeling should be coupled

abstract: Surface charge controls many static and dynamic properties of soft matter and micro/nanofluidic systems, but its unambiguous measurement forms a challenge. Standard characterization methods typically probe an effective surface charge, which provides limited insight into the distribution and dynamics of charge across the interface, and which cannot predict consistently all surface-charge-governed properties. New experimental approaches provide local information on both structure and transport, but models are typically required to interpret raw data. Conversely, molecular dynamics simulations have helped showing the limits of standard models and developing more accurate ones, but their reliability is limited by the empirical interaction potentials they are usually based on. This review highlights recent developments and limitations in both experimental and computational research focusing on the liquid-solid interface. Based on recent studies, we make the case that coupling of experiments and simulations is pivotal tomitigate methodological shortcomings and address open problems pertaining to charged interfaces.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph


title: Discovery of Strongly Inverted Metallicity Gradients in Dwarf Galaxies at $z$$\sim$2

abstract: We report the first sub-kiloparsec spatial resolution measurements of strongly inverted gas-phase metallicity gradients in two dwarf galaxies at $z$$\sim$2. The galaxies have stellar masses $\sim$$10^9M_\odot$, specific star-formation rate $\sim$20 Gyr$^{-1}$, and global metallicity $12+\log({\rm O/H})\sim8.1$ (1/4 solar), assuming the Maiolino et al. (2008) strong line calibrations of OIII/Hb and OII/Hb. Their metallicity radial gradients are measured to be highly inverted, i.e., 0.122$\pm$0.008 and 0.111$\pm$0.017 dex/kpc, which is hitherto unseen at such small masses in similar redshift ranges. From the Hubble Space Telescope observations of the source nebular emission and stellar continuum, we present the 2-dimensional spatial maps of star-formation rate surface density, stellar population age, and gas fraction, which show that our galaxies are currently undergoing rapid mass assembly via disk inside-out growth. More importantly, using a simple chemical evolution model, we find that the gas fractions for different metallicity regions cannot be explained by pure gas accretion. Our spatially resolved analysis based on a more advanced gas regulator model results in a spatial map of net gaseous outflows, triggered by active central starbursts, that potentially play a significant role in shaping the spatial distribution of metallicity by effectively transporting stellar nucleosynthesis yields outwards. The relation between wind mass loading factors and stellar surface densities measured in different regions of our galaxies shows that a single type of wind mechanism, driven by either energy or momentum conservation, cannot explain the entire galaxy. These sources present a unique constraint on the effects of gas flows on the early phase of disk growth from the perspective of spatially resolved chemical evolution within individual systems.


title: Exploring non minimal Universal Extra Dimensional Model at the LHC

abstract: We study the collider phenomenology of non minimal universal extra dimensional (nmUED) model in the context of the Large Hadron Collider at CERN. nmUED is an incarnation of the Standard Model in $(4+1)$ space-time dimensions compactified on an $\bf{S_1}/\bf{Z_2}$ orbifold supplemented with boundary localized operators with unknown coefficients. These coefficients parametrize the radiative corrections which are somehow arbitrary due to the lack of knowledge of the cut-off scale of such effective theory. It is possible to tune the masses and couplings of the Kaluza Klein (KK) excitations by tuning these parameters. Two scenarios with different mass hierarchies among the KK-excitations have been considered. A detailed study of production cross-sections and different decay modes of KK-particles are also presented. We calculate the correlated bounds on masses of KK-particles using the LHC $nl + mj + E\!\!\!\!/_T$ data (in case of production of strongly interacting particles) and $3l + E\!\!\!\!/_T$ data (in case of electroweak productions). We work in a KK-parity conserving scenario where the lightest KK-particle is a potential dark (DM) matter candidate. We use the additional constraints coming from the observed DM relic density of the universe to identify the allowed parameter space. The current status of a nmUED model in the light of DM direct detection data is also examined. The present investigation reveals that production and subsequent leptonic decays of KK-electroweak gauge bosons as massive as 1 TeV, lead to observable trilepton signature with a luminosity of 1 ab$^{-1}$ which will be realized in near future.


title: Discriminative Representation Combinations for Accurate Face Spoofing Detection

abstract: Three discriminative representations for face presentation attack detection are introduced in this paper. Firstly we design a descriptor called spatial pyramid coding micro-texture (SPMT) feature to characterize local appearance information. Secondly we utilize the SSD, which is a deep learning framework for detection, to excavate context cues and conduct end-to-end face presentation attack detection. Finally we design a descriptor called template face matched binocular depth (TFBD) feature to characterize stereo structures of real and fake faces. For accurate presentation attack detection, we also design two kinds of representation combinations. Firstly, we propose a decision-level cascade strategy to combine SPMT with SSD. Secondly, we use a simple score fusion strategy to combine face structure cues (TFBD) with local micro-texture features (SPMT). To demonstrate the effectiveness of our design, we evaluate the representation combination of SPMT and SSD on three public datasets, which outperforms all other state-of-the-art methods. In addition, we evaluate the representation combination of SPMT and TFBD on our dataset and excellent performance is also achieved.


title: Attentive Sequence to Sequence Translation for Localizing Clips of Interest by Natural Language Descriptions

abstract: We propose a novel attentive sequence to sequence translator (ASST) for clip localization in videos by natural language descriptions. We make two contributions. First, we propose a bi-directional Recurrent Neural Network (RNN) with a finely calibrated vision-language attentive mechanism to comprehensively understand the free-formed natural language descriptions. The RNN parses natural language descriptions in two directions, and the attentive model attends every meaningful word or phrase to each frame, thereby resulting in a more detailed understanding of video content and description semantics. Second, we design a hierarchical architecture for the network to jointly model language descriptions and video content. Given a video-description pair, the network generates a matrix representation, i.e., a sequence of vectors. Each vector in the matrix represents a video frame conditioned by the description. The 2D representation not only preserves the temporal dependencies of frames but also provides an effective way to perform frame-level video-language matching. The hierarchical architecture exploits video content with multiple granularities, ranging from subtle details to global context. Integration of the multiple granularities yields a robust representation for multi-level video-language abstraction. We validate the effectiveness of our ASST on two large-scale datasets. Our ASST outperforms the state-of-the-art by $4.28\%$ in Rank$@1$ on the DiDeMo dataset. On the Charades-STA dataset, we significantly improve the state-of-the-art by $13.41\%$ in Rank$@1,IoU=0.5$.


title: Recovering the Principle of Relativity from the Cosmic Fabric Model of Space

abstract: We extend the descriptive power of the Cosmic Fabric model of space developed by Tenev and Horstemeyer (2018) to include moving observers by demonstrating that all reference frames are phenomenologically equivalent with one another and transform between each other via the Lorentz transformations. Our approach is similar to that of Lorentz (1892), which was used to explain the negative outcome of the Michelson-Morley {\ae}ther detection experiment (Michelson and Morley 1887), except that we deduce the notions of length contraction and time dilation from the postulates of the Cosmic Fabric model. Our result is valid for the continuum length scale at which, by definition, the cosmic fabric can be described mathematically as a continuum. Herein, we also discuss the length-scale dependent nature of the Cosmic Fabric model as a possible way to relate gravitational and quantum theories.


title: Positive solutions of quasilinear elliptic equations with exponential nonlinearity combined with convection term

abstract: We establish the existence of positive solutions for a nonlinear elliptic Dirichlet problem in dimension $N$ involving the $N$-Laplacian. The nonlinearity considered depends on the gradient of the unknown function and an exponential term. In such case, variational methods cannot be applied. Our approach is based on approximation scheme, where we consider a new class of normed spaces of finite dimension. As a particular case, we extended the result achieved by De Araujo and Montenegro [2016] for any $N>2$.


title: Compact Linearization for Binary Quadratic Problems Comprising Linear Constraints

abstract: In this paper, the compact linearization approach originally proposed for binary quadratic programs with assignment constraints is generalized to such programs with arbitrary linear equations and inequalities that have positive coefficients and right hand sides. Quadratic constraints may exist in addition, and the technique may as well be applied if these impose the only nonlinearities, i.e., the objective function is linear. We present special cases of linear constraints (along with prominent combinatorial optimization problems where these occur) such that the associated compact linearization yields a linear programming relaxation that is provably as least as strong as the one obtained with a classical linearization method. Moreover, we show how to compute a compact linearization automatically which might be used, e.g., by general-purpose mixed-integer programming solvers.


title: A New Proof Concerning Quasi-Tilted Algebras

abstract: Let $\Lambda$ be a quasi-tilted algebra. If $\Lambda$ is representation-finite, it was shown by Happel, Reiten, and Smal{\o} that $\Lambda$ is tilted. We provide a new, short proof of this result.


title: 2DR: Towards Fine-Grained 2-D RFID Touch Sensing

abstract: In this paper, we introduce 2DR, a single RFID tag which can seamlessly sense two-dimensional human touch using off-the-shelf RFID readers. Instead of using a two-dimensional tag array to sense human finger touch on a surface, 2DR only uses one or two RFID chip(s), which reduces the manufacturing cost and makes the tag more suitable for printing on flexible materials. The key idea behind 2DR is to design a custom-shape antenna and classify human finger touch based on unique phase information using statistical learning. We printed 2DR tag on FR-4 substrate and use off-the-shelf UHF-RFID readers (FCC frequency band) to sense different touch activities. Experiments show great potential of our design. Moreover, 2DR can be further extended to 3D by building stereoscopic model.


title: Internet of Entities (IoE): a Blockchain-based Distributed Paradigm to Security

abstract: The exponential growth of wireless-based solutions, such as those related to the mobile smart devices (e.g., smart-phones and tablets) and Internet of Things (IoT) devices, has lead to countless advantages in every area of our society. Such a scenario has transformed the world a few decades back, dominated by latency, into a new world based on an efficient real-time interaction paradigm.Recently, cryptocurrency have contributed to this technological revolution, the fulcrum of which are a decentralization model and a certification function offered by the so-called blockchain infrastructure, which make it possible to certify the financial transactions, anonymously. However, it should be observed how this challenging scenario has generated new security problems directly related to the involved new technologies (e.g., e-commerce frauds, mobile bot-net attacks, blockchain DoS attacks, cryptocurrency scams, etc.). In this context, we can acknowledge that the scientific community efforts are usually oriented toward specific solutions, instead to exploit all the available technologies, synergistically, in order to define more efficient security paradigms. This paper aims to indicate a possible approach able to improve the security of people and things by introducing a novel paradigm to security defined Internet of Entities (IoE). It is a mechanism for the localization of people and things, which exploits both the huge number of existing wireless-based devices and the blockchain-based distributed ledger technology, overcoming the limits of traditional localization approaches, but without jeopardizing the user privacy. Its operation is based on two core elements with interchangeable roles, entities and trackers, which can be very common elements such as smart-phones, tablets, and IoT devices, and its implementation requires minimal efforts thanks to the existing infrastructures and devices.


title: Randomized Signal Processing with Continuous Frames

abstract: This paper focuses on signal processing tasks in which the signal is transformed from the signal space to a higher dimensional coefficient space (also called phase space) using a continuous frame, processed in the coefficient space, and synthesized to an output signal. We show how to approximate such methods, termed phase space signal processing methods, using a Monte Carlo method. As opposed to standard discretizations of continuous frames, based on sampling discrete frames from the continuous system, the proposed Monte Carlo method is directly a quadrature approximation of the continuous frame. We show that the Monte Carlo method allows working with highly redundant continuous frames, since the number of samples required for a certain accuracy is proportional to the dimension of the signal space, and not to the dimension of the phase space. Moreover, even though the continuous frame is highly redundant, the Monte Carlo samples are spread uniformly, and hence represent the coefficient space more faithfully than standard frame discretizations.


title: Exponential inequalities for nonstationary Markov Chains

abstract: Exponential inequalities are main tools in machine learning theory. To prove exponential inequalities for non i.i.d random variables allows to extend many learning techniques to these variables. Indeed, much work has been done both on inequalities and learning theory for time series, in the past 15 years. However, for the non independent case, almost all the results concern stationary time series. This excludes many important applications: for example any series with a periodic behavior is non-stationary. In this paper, we extend the basic tools of Dedecker and Fan (2015) to nonstationary Markov chains. As an application, we provide a Bernstein-type inequality, and we deduce risk bounds for the prediction of periodic autoregressive processes with an unknown period.


title: Quantum Holonomies and the Heisenberg Group

abstract: Quantum holonomies of closed paths on the torus $T^2$ are interpreted as elements of the Heisenberg group $H_1$. Group composition in $H_1$ corresponds to path concatenation and the group commutator is a deformation of the relator of the fundamental group $\pi_1$ of $T^2$, making explicit the signed area phases between quantum holonomies of homotopic paths. Inner automorphisms of $H_1$ adjust these signed areas, and the discrete symplectic transformations of $H_1$ generate the modular group of $T^2$.


title: The Complexity of Student-Project-Resource Matching-Allocation Problems

abstract: I settle the computational complexity of student-project-resource matching-allocation problems, in which students and resources are assigned to projects \citep{pc2017}. A project's capacity for students is endogenously determined by the resources allocated to it. I show that finding a nonwasteful matching is $\text{FP}^{\text{NP}}[\text{log}]$-hard, and deciding a stable matching is $\text{NP}^{\text{NP}}$-complete. To obtain these results, I introduce two new problems: (i) \textsc{ParetoPartition}, shown $\text{FP}^{\text{NP}}[\text{poly}]$-hard and also strongly $\text{FP}^{\text{NP}}[\text{log}]$-hard, and (ii) \textsc{$\forall\exists$-4-Partition}, shown strongly $\text{NP}^{\text{NP}}$-complete.


title: Asymptotic structure incorporating double and triple decks, original version

abstract: The stagnation point flow toward a rotating disk of finite radius is known to develop -- near the edge of the disk -- into a triple deck structure when the flow is strictly a stagnation point flow, and into a double deck structure when the flow is strictly a rotating disk flow. It is shown here that the transfer from one structure to another is singular; requiring matching of two main decks. The double deck structure is, in essence, a triple deck structure with collapsing upper deck.


title: Colour field densities of the quark-antiquark excited flux tubes in SU(3) lattice QCD

abstract: We combine techniques previously utilised to study flux tube field density profiles and to study the excited spectrum of the gluonic fields produced by a static quark-antiquark pair. Working with pure gauge SU(3) fields discretised in a lattice, we utilise Wilson loops with a large basis of gluonic spacelike Wilson lines to include different excitations of the quark-antiquark flux tube. To increase the signal over noise ratio, we use the multihit technique in the temporal Wilson lines and the APE smearing in spatial Wilson lines. The number of gluonic operators combined with the space points where we compute the flux tube densities turns out to be very large, and we resort to GPUs and to CUDA codes. Computing the effective mass plot from the diagonalized correlation matrix, we separate the excitations with different two-dimensional angular momentum, parity and radial quantum numbers. We then compute the colour field density profiles for all the components of the colour electric and colour magnetic fields. We analyse our results for the first excitations of the flux tube and search for signals of novel phenomena beyond the Nambu-Goto string model, such as a longitudinal mode or an explicit gluon.


title: Evidence of Coulomb interaction induced Lifshitz transition and robust hybrid Weyl semimetal in Td MoTe2

abstract: Using soft x-ray angle-resolved photoemission spectroscopy we probed the bulk electronic structure of Td MoTe2. We found that on-site Coulomb interaction leads to a Lifshitz transition, which is essential for a precise description of the electronic structure. A hybrid Weyl semimetal state with a pair of energy bands touching at both type-I and type-II Weyl nodes is indicated by comparing the experimental data with theoretical calculations. Unveiling the importance of Coulomb interaction opens up a new route to comprehend the unique properties of MoTe2, and is significant for understanding the interplay between correlation effects, strong spin-orbit coupling and superconductivity in this van der Waals material.


title: Detecting strong cliques

abstract: A strong clique in a graph is a clique intersecting every maximal independent set. We study the computational complexity of six algorithmic decision problems related to strong cliques in graphs and almost completely determine their complexity in the classes of chordal graphs, weakly chordal graphs, line graphs and their complements, and graphs of maximum degree at most three. Our results rely on connections with matchings and relate to several graph properties studied in the literature, including well-covered graphs, localizable graphs, and general partition graphs.