title: An algorithm for removing sensitive information: application to race-independent recidivism prediction

abstract: Predictive modeling is increasingly being employed to assist human decision-makers. One purported advantage of replacing or augmenting human judgment with computer models in high stakes settings-- such as sentencing, hiring, policing, college admissions, and parole decisions-- is the perceived "neutrality" of computers. It is argued that because computer models do not hold personal prejudice, the predictions they produce will be equally free from prejudice. There is growing recognition that employing algorithms does not remove the potential for bias, and can even amplify it if the training data were generated by a process that is itself biased. In this paper, we provide a probabilistic notion of algorithmic bias. We propose a method to eliminate bias from predictive models by removing all information regarding protected variables from the data to which the models will ultimately be trained. Unlike previous work in this area, our framework is general enough to accommodate data on any measurement scale. Motivated by models currently in use in the criminal justice system that inform decisions on pre-trial release and parole, we apply our proposed method to a dataset on the criminal histories of individuals at the time of sentencing to produce "race-neutral" predictions of re-arrest. In the process, we demonstrate that a common approach to creating "race-neutral" models-- omitting race as a covariate-- still results in racially disparate predictions. We then demonstrate that the application of our proposed method to these data removes racial disparities from predictions with minimal impact on predictive accuracy.


title: Revisiting the factorization theorem for $\rho \gamma^{*} \to \pi(\rho)$ at twist 3

abstract: We revisit the proof of the perturbative QCD factorization for the exclusive processes $\rho \gamma^{\star} \to \pi(\rho)$ at the two-parton twist-3 level. It is pointed out that the residual collinear divergences observed in the literature, which break the factorization of the above processes at the considered accuracy, are attributed to the improper insertion of the Fierz identity for factorizing the fermion flow. We show that the factorization theorem indeed holds at the two-parton twist-3 level after the mishandling is corrected.


title: Fairness Comparison of Uplink NOMA and OMA

abstract: In this paper, we compare the resource allocation fairness of uplink communications between non-orthogonal multiple access (NOMA) schemes and orthogonal multiple access (OMA) schemes. Through characterizing the contribution of the individual user data rate to the system sum rate, we analyze the fundamental reasons that NOMA offers a more fair resource allocation than that of OMA in asymmetric channels. Furthermore, a fairness indicator metric based on Jain's index is proposed to measure the asymmetry of multiuser channels. More importantly, the proposed metric provides a selection criterion for choosing between NOMA and OMA for fair resource allocation. Based on this discussion, we propose a hybrid NOMA-OMA scheme to further enhance the users fairness. Simulation results confirm the accuracy of the proposed metric and demonstrate the fairness enhancement of the proposed hybrid NOMA-OMA scheme compared to the conventional OMA and NOMA schemes.


title: End-to-end Binary Representation Learning via Direct Binary Embedding

abstract: Learning binary representation is essential to large-scale computer vision tasks. Most existing algorithms require a separate quantization constraint to learn effective hashing functions. In this work, we present Direct Binary Embedding (DBE), a simple yet very effective algorithm to learn binary representation in an end-to-end fashion. By appending an ingeniously designed DBE layer to the deep convolutional neural network (DCNN), DBE learns binary code directly from the continuous DBE layer activation without quantization error. By employing the deep residual network (ResNet) as DCNN component, DBE captures rich semantics from images. Furthermore, in the effort of handling multilabel images, we design a joint cross entropy loss that includes both softmax cross entropy and weighted binary cross entropy in consideration of the correlation and independence of labels, respectively. Extensive experiments demonstrate the significant superiority of DBE over state-of-the-art methods on tasks of natural object recognition, image retrieval and image annotation.


title: Predicting with limited data - Increasing the accuracy in VIS-NIR diffuse reflectance spectroscopy by SMOTE

abstract: Diffuse reflectance spectroscopy is a powerful technique to predict soil properties. It can be used in situ to provide data inexpensively and rapidly compared to the standard laboratory measurements. Because most spectral data bases contain air-dried samples scanned in the laboratory, field spectra acquired in situ are either absent or rare in calibration data sets. However, when models are calibrated on air-dried spectra, prediction using field spectra are often inaccurate. We propose a framework to calibrate partial least squares models when field spectra are rare using synthetic minority oversampling technique (SMOTE). We calibrated a model to predict soil organic carbon content using air-dried spectra spiked with synthetic field spectra. The root mean-squared error of prediction decreased from 6.18 to 2.12 mg g$^{-1}$ and $R^2$ increased from $-$0.53 to 0.82 compared to the model calibrated on air-dried spectra only.


title: On the implementation of NLO high energy factorization in single inclusive forward hadron production

abstract: Single inclusive particle production cross sections in high energy hadron collisions at forward rapidity are an important benchmark process for the CGC picture of small x QCD. Recent calculations of this process have not led to a stable perturbative expansion for this quantity at high transverse momenta. We consider the quark channel production cross section using the new rapidity factorization procedure proposed by Iancu et al. We show that for fixed coupling one does indeed obtain a physically meaningful cross section which is positive and reduces in a controlled way to previous leading order calculations. We also consider a running coupling that depends on the transverse momentum of the produced particle. This gives a stable result which, however, is not fully consistent with previous leading order calculations that use a coordinate space running coupling.


title: On Combinatorial Properties of Points and Polynomial Curves

abstract: Many combinatorial properties of a point set in the plane are determined by the set of possible partitions of the point set by a line. Their essential combinatorial properties are well captured by the axioms of oriented matroids. In fact, Goodman and Pollack (Journal of Combinatorial Theory, Series A, Volume 37, pp. 257-293, 1984) proved that the axioms of oriented matroids of rank $3$ completely characterize the sets of possible partitions arising from a natural topological generalization of configurations of points and lines. In this paper, we introduce a new class of oriented matroids, called degree-$k$ oriented matroids, which captures essential combinatorial properties of the possible partitions of point sets in the plane by the graphs of polynomial functions of degree $k$. We prove that the axiom of degree-$k$ oriented matroids completely characterizes the sets of possible partitions arising from a natural topological generalization of configurations formed by points and the graphs of polynomial functions degree $k$. It turns out that the axiom of degree-$k$ oriented matroids coincides with the axiom of ($k+2$)-signotopes, which was introduced by Felsner and Weil (Discrete Applied Mathematics, Volume 109, pp. 67-94, 2001) in a completely different context. Our result gives a two-dimensional geometric interpretation for ($k+2$)-signotopes and also for single element extensions of cyclic hyperplane arrangements in $\mathbb{R}^{n-k-3}$.


title: Aggregation of BiTe Monolayer on Bi$_2$Te$_3$(111) Induced by Diffusion of Intercalated Atoms in van der Waals Gap

abstract: We report a post-growth aging mechanism of Bi$_2$Te$_3$(111) films with scanning tunneling microscopy in combination with density functional theory calculation. It is found that a monolayered structure with a squared lattice symmetry gradually aggregates from surface steps. Theoretical calculations indicate that the van der Waals (vdW) gap not only acts as a natural reservoir for self-intercalated Bi and Te atoms, but also provides them easy diffusion pathways. Once hopping out of the gap, these defective atoms prefer to develop into a two dimensional BiTe superstructure on the Bi$_2$Te$_3$(111) surface driven by positive energy gain. Considering the common nature of weakly bonding between vdW layers, we expect such unusual diffusion and aggregation of the intercalated atoms may be of general importance for most kinds of vdW layered materials.


title: Anisotropic super-paramagnetism in cobalt implanted rutile-TiO2 single crystals

abstract: We study the magnetic properties of single crystals of rutile TiO2 implanted with cobalt for various fluences. The temperature variation of zero field cooled(ZFC) and field cooled (FC) magnetization shows a much higher blocking temperature (TB) along [1-10]. Similarly the scaling of magnetization isotherms above TB is seen only when the field is parallel to [1-10] direction. With field along this direction, the magnetization shows near saturation at a much smaller field compared to that of[001] direction. The Co nanoclusters possess an "easy" and "hard axis" of magnetization coupled by the magneto crystalline anisotropy of secondary phases of cobalt with TiO2. In addition, at T=2 K we observe a crossover in the magnetization vs field isotherms between the two field directions in the samples which has been attributed to the anisotropic paramagnetism arising from cobalt present in 2+ ionic state with S = 3/2.


title: General dynamical properties of cosmological models with nonminimal kinetic coupling

abstract: We consider cosmological dynamics in the theory of gravity with the scalar field possessing the nonminimal kinetic coupling to curvature given as $\eta G^{\mu\nu}\phi_{,\mu}\phi_{,\nu}$, where $\eta$ is an arbitrary coupling parameter, and the scalar potential $V(\phi)$ which assumed to be as general as possible. With an appropriate dimensionless parametrization we represent the field equations as an autonomous dynamical system which contains ultimately only one arbitrary function $\chi (x)= 8 \pi \vert \eta \vert V(x/\sqrt{8 \pi})$ with $x=\sqrt{8 \pi}\phi$. Then, assuming the rather general properties of $\chi(x)$, we analyze stationary points and their stability, as well as all possible asymptotical regimes of the dynamical system. It has been shown that for a broad class of $\chi(x)$ there exist attractors representing three accelerated regimes of the Universe evolution, including de Sitter expansion (or late-time inflation), the Little Rip scenario, and the Big Rip scenario. As the specific examples, we consider a power-law potential $V(\phi)=M^4(\phi/\phi_0)^\sigma$, Higgs-like potential $V(\phi)=\frac{\lambda}{4}(\phi^2-\phi_0^2)^2$, and exponential potential $V(\phi)=M^4 e^{-\phi/\phi_0}$.


title: Comparison of the Deep-Learning-Based Automated Segmentation Methods for the Head Sectioned Images of the Virtual Korean Human Project

abstract: This paper presents an end-to-end pixelwise fully automated segmentation of the head sectioned images of the Visible Korean Human (VKH) project based on Deep Convolutional Neural Networks (DCNNs). By converting classification networks into Fully Convolutional Networks (FCNs), a coarse prediction map, with smaller size than the original input image, can be created for segmentation purposes. To refine this map and to obtain a dense pixel-wise output, standard FCNs use deconvolution layers to upsample the coarse map. However, upsampling based on deconvolution increases the number of network parameters and causes loss of detail because of interpolation. On the other hand, dilated convolution is a new technique introduced recently that attempts to capture multi-scale contextual information without increasing the network parameters while keeping the resolution of the prediction maps high. We used both a standard FCN and a dilated convolution based FCN for semantic segmentation of the head sectioned images of the VKH dataset. Quantitative results showed approximately 20% improvement in the segmentation accuracy when using FCNs with dilated convolutions.


title: Two-Weight and a Few Weights Trace Codes over $\mathbb{F}_{q}+u\mathbb{F}_{q}$

abstract: Let $p$ be a prime number, $q=p^s$ for a positive integer $s$. For any positive divisor $e$ of $q-1$, we construct an infinite family codes of size $q^{2m}$ with few Lee-weight. These codes are defined as trace codes over the ring $R=\mathbb{F}_q + u\mathbb{F}_q$, $u^2 = 0$. Using Gauss sums, their Lee weight distributions are provided. When $\gcd(e,m)=1$, we obtain an infinite family of two-weight codes over the finite field $\mathbb{F}_q$ which meet the Griesmer bound. Moreover, when $\gcd(e,m)=2, 3$ or $4$ we construct new infinite family codes with at most five-weight.


title: Quaternionic quantum walks of Szegedy type and zeta functions of graphs

abstract: We define a quaternionic extension of the Szegedy walk on a graph and study its right spectral properties. The condition for the transition matrix of the quaternionic Szegedy walk on a graph to be quaternionic unitary is given. In order to derive the spectral mapping theorem for the quaternionic Szegedy walk, we derive a quaternionic extension of the determinant expression of the second weighted zeta function of a graph. Our main results determine explicitly all the right eigenvalues of the quaternionic Szegedy walk by using complex right eigenvalues of the corresponding doubly weighted matrix. We also show the way to obtain eigenvectors corresponding to right eigenvalues derived from those of doubly weighted matrix.


title: Quantum thermodynamics from the nonequilibrium dynamics of open systems: energy, heat capacity and the third law

abstract: We take the perspective of open quantum systems and examine from their nonequilibrium dynamics the conditions when the physical quantities, their relations and the laws of thermodynamics become well defined and viable for quantum many body systems. We first describe how an open system nonequilibrium dynamics (ONEq) approach is different from the closed combined system + environment in a global thermal state (CGTs) setup. Only after the open system equilibrates will it be amenable to conventional thermodynamics descriptions, thus quantum thermodynamics (QTD) comes at the end rather than assumed in the beginning. We see the open system approach having the advantage of dealing with nonequilibrium processes as many experiments in the near future will call for. Because it spells out the conditions of QTD's existence it can also aid us in addressing the basic issues in quantum thermodynamics from first principles in a systematic way. We then study one broad class of open quantum systems where the full nonequilibrium dynamics can be solved exactly, that of the quantum Brownian motion of $N$ strongly coupled harmonic oscillators, interacting strongly with a scalar field environment. Here we focus on the internal energy, heat capacity and the Third Law. We show for this class of physical models, amongst other findings, the extensive property of the internal energy, the positivity of the heat capacity and the validity of the Third Law from the perspective of the behavior of the heat capacity toward zero temperature. These conclusions obtained from exact solutions and quantitative analysis clearly disprove claims of negative specific heat in such systems and dispel allegations that in such systems the validity of the Third Law of thermodynamics relies on quantum entanglement.


title: Concentration inequalities for measures of a Boolean model

abstract: We consider a Boolean model $Z$ driven by a Poisson particle process $\eta$ on a metric space $\mathbb{Y}$. We study the random variable $\rho(Z)$, where $\rho$ is a (deterministic) measure on $\mathbb{Y}$. Due to the interaction of overlapping particles, the distribution of $\rho(Z)$ cannot be described explicitly. In this note we derive concentration inequalities for $\rho(Z)$. To this end we first prove two concentration inequalities for functions of a Poisson process on a general phase space.


title: A short note about diffuse Bieberbach groups

abstract: We consider low dimensional diffuse Bieberbach groups. In particular we classify diffuse Bieberbach groups up to dimension 6. We also answer a question from [S. Kionke, J. Raimbault, On geometric aspects of diffuse groups, Doc. Math. 21 (2016), page 887] about minimal dimension of a non-diffuse Bieberbach group which does not contain three-dimensional Hantzsche-Wendt group.


title: Real interpolation with variable exponent

abstract: We present the real interpolation with variable exponent and we prove the basic properties in analogy to the classical real interpolation. More precisely, we prove that under some additional conditions, this method can be reduced to the case of fixed exponent. An application, we give the real interpolation of variable Besov and Lorentz spaces as introduced recently in Almeida and H\"ast\"o (J. Funct. Anal. 258 (5) 1628--2655, 2010) and L. Ephremidze et al. (Fract. Calc. Appl. Anal. 11 (4) (2008), 407--420).


title: Steiner 3-diameter, maximum degree and size of a graph

abstract: The Steiner $k$-diameter $sdiam_k(G)$ of a graph $G$, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical diameter. When $k=2$, $sdiam_2(G)=diam(G)$ is the classical diameter. The problem of determining the minimum size of a graph of order $n$ whose diameter is at most $d$ and whose maximum is $\ell$ was first introduced by Erd\"{o}s and R\'{e}nyi. In this paper, we generalize the above problem for Steiner $k$-diameter, and study the problem of determining the minimum size of a graph of order $n$ whose Steiner $3$-diameter is at most $d$ and whose maximum is at most $\ell$.


title: Implications for the origin of early-type dwarf galaxies --- the discovery of rotation in isolated, low-mass early-type galaxies

abstract: We present the discovery of rotation in quenched, low-mass early-type galaxies that are isolated. This finding challenges the claim that (all) rotating dwarf early-type galaxies in clusters were once spiral galaxies that have since been harassed and transformed into early-type galaxies. Our search of the Sloan Digital Sky Survey data within the Local volume ($z<0.02$) has yielded a sample of 46 galaxies with a stellar mass $M_\star \lesssim 5\times10^9$ M$_\odot$ (median $M_\star \sim 9.29 \times 10^8$ M$_\odot$), a low H$\alpha$ equivalent width EW$_{{\rm H}\alpha}< 2$ \AA, and no massive neighbour ($M_{\star}\gtrsim3 \times 10^{10}$ M$_{\odot}$) within a velocity interval of $\Delta V = 500$ km s$^{-1}$ and a projected distance of $\sim$1 Mpc. Nine of these galaxies were subsequently observed with Keck ESI and their radial kinematics are presented here. These extend out to the half-light radius $R_e$ in the best cases, and beyond $R_e/2$ for all. They reveal a variety of behaviours similar to those of a comparison sample of early-type dwarf galaxies in the Virgo cluster observed by Toloba et al. Both samples have similar frequencies of slow and fast rotators, as well as kinematically decoupled cores. This, and especially the finding of rotating quenched low-mass galaxies in isolation, reveals that the early-type dwarfs in galaxy clusters need not be harassed or tidally stirred spiral galaxies.


title: Quality of joint remote preparation of an arbitrary two-qubit state under the effect of noise

abstract: We address the issue of improving the quality of the joint remote preparation of an arbitrary two-qubit in case four qubits of the quantum channel which consists of a GHZ state and a GHZ-like one are subjected to noises. Two controlling parameters are added, one in the quantum channel and other in the measurement of the second sender, in order to optimize the averaged fidelities. The results from analyzing the behaviors of the optimal averaged fidelities show that there are essentially two different ways for the optimization of the efficiency of the protocol. The first is simply choosing suitably the quantum channel as well as the measurement in which the desired fidelity can be found in large values of noisy parameters. The second is by means of interactions between qubits and dissipative environments whose result is more noises more fidelity.


title: What Uncertainties Do We Need in Bayesian Deep Learning for Computer Vision?

abstract: There are two major types of uncertainty one can model. Aleatoric uncertainty captures noise inherent in the observations. On the other hand, epistemic uncertainty accounts for uncertainty in the model -- uncertainty which can be explained away given enough data. Traditionally it has been difficult to model epistemic uncertainty in computer vision, but with new Bayesian deep learning tools this is now possible. We study the benefits of modeling epistemic vs. aleatoric uncertainty in Bayesian deep learning models for vision tasks. For this we present a Bayesian deep learning framework combining input-dependent aleatoric uncertainty together with epistemic uncertainty. We study models under the framework with per-pixel semantic segmentation and depth regression tasks. Further, our explicit uncertainty formulation leads to new loss functions for these tasks, which can be interpreted as learned attenuation. This makes the loss more robust to noisy data, also giving new state-of-the-art results on segmentation and depth regression benchmarks.


title: Lectures on EW Standard Model

abstract: In this set of four lectures I will discuss some aspects of the Standard Model (SM) as a quantum field theory and related phenomenological observations which have played a crucial role in establishing the $SU(2)_{L} \times U(1)_{Y}$ gauge theory as the correct description of Electro-Weak (EW) interactions. I will first describe in brief the idea of EW unification as well as basic aspects of the Higgs mechanism of spontaneous symmetry breaking. After this I will discuss anomaly cancellation, custodial symmetry and implications of the high energy behavior of scattering amplitudes for the particle spectrum of the EW theory. This will be followed up by a discussion of the 'indirect' constraints on the SM particle masses such as $M_{c}, M_{t}$ and $M_{h}$ from various precision EW measurements. I will end by discussing the theoretical limits on $M_{h}$ and implications of the observed Higgs mass for the SM and beyond.


title: Wave Manipulations by Coherent Perfect Channeling

abstract: We report experimental and theoretical investigations of coherent perfect channeling (CPC), a process that two incoming coherent waves in waveguides are completely channeled into one or two other waveguides with little energy dissipation via strong coherent interaction between the two waves mediated by a deep subwavelength dimension scatterer at the common junction of the waveguides. Two such scatterers for acoustic waves are discovered, one confirmed by experiments and the other predicted by theory, and their scattering matrices are formulated. Scatterers with other CPC scattering matrices are explored, and preliminary investigations of their properties are conducted. The scattering matrix formulism makes it possible to extend the applicable domain of CPC to other scalar waves, such as electromagnetic waves and quantum wavefunctions.


title: Classification of COPD with Multiple Instance Learning

abstract: Chronic obstructive pulmonary disease (COPD) is a lung disease where early detection benefits the survival rate. COPD can be quantified by classifying patches of computed tomography images, and combining patch labels into an overall diagnosis for the image. As labeled patches are often not available, image labels are propagated to the patches, incorrectly labeling healthy patches in COPD patients as being affected by the disease. We approach quantification of COPD from lung images as a multiple instance learning (MIL) problem, which is more suitable for such weakly labeled data. We investigate various MIL assumptions in the context of COPD and show that although a concept region with COPD-related disease patterns is present, considering the whole distribution of lung tissue patches improves the performance. The best method is based on averaging instances and obtains an AUC of 0.742, which is higher than the previously reported best of 0.713 on the same dataset. Using the full training set further increases performance to 0.776, which is significantly higher (DeLong test) than previous results.


title: Transfer Learning by Asymmetric Image Weighting for Segmentation across Scanners

abstract: Supervised learning has been very successful for automatic segmentation of images from a single scanner. However, several papers report deteriorated performances when using classifiers trained on images from one scanner to segment images from other scanners. We propose a transfer learning classifier that adapts to differences between training and test images. This method uses a weighted ensemble of classifiers trained on individual images. The weight of each classifier is determined by the similarity between its training image and the test image. We examine three unsupervised similarity measures, which can be used in scenarios where no labeled data from a newly introduced scanner or scanning protocol is available. The measures are based on a divergence, a bag distance, and on estimating the labels with a clustering procedure. These measures are asymmetric. We study whether the asymmetry can improve classification. Out of the three similarity measures, the bag similarity measure is the most robust across different studies and achieves excellent results on four brain tissue segmentation datasets and three white matter lesion segmentation datasets, acquired at different centers and with different scanners and scanning protocols. We show that the asymmetry can indeed be informative, and that computing the similarity from the test image to the training images is more appropriate than the opposite direction.


title: The Suppression and Promotion of Magnetic Flux Emergence in Fully Convective Stars

abstract: Evidence of surface magnetism is now observed on an increasing number of cool stars. The detailed manner by which dynamo-generated magnetic fields giving rise to starspots traverse the convection zone still remains unclear. Some insight into this flux emergence mechanism has been gained by assuming bundles of magnetic field can be represented by idealized thin flux tubes (TFTs). Weber & Browning (2016) have recently investigated how individual flux tubes might evolve in a 0.3 solar-mass M dwarf by effectively embedding TFTs in time-dependent flows representative of a fully convective star. We expand upon this work by initiating flux tubes at various depths in the upper 50-75% of the star in order to sample the differing convective flow pattern and differential rotation across this region. Specifically, we comment on the role of differential rotation and time-varying flows in both the suppression and promotion of the magnetic flux emergence process.


title: Rainbow tensor model with enhanced symmetry and extreme melonic dominance

abstract: We introduce and briefly analyze the rainbow tensor model where all planar diagrams are melonic. This leads to considerable simplification of the large N limit as compared to that of the matrix model: in particular, what are dressed in this limit are propagators only, which leads to an oversimplified closed set of Schwinger-Dyson equations for multi-point correlators. We briefly touch upon the Ward identities, the substitute of the spectral curve and the AMM/EO topological recursion and their possible connections to Connes-Kreimer theory and forest formulas.


title: Breakings of the neutrino mu-tau reflection symmetry

abstract: The neutrino $\mu$-$\tau$ reflection symmetry has been attracting a lot of attention as it predicts the interesting results $\theta^{}_{23} = \pi/4$ and $\delta = \pm \pi/2$. But it is reasonable to consider breakings of such a symmetry either from the theoretical considerations or on the basis of experimental results. We thus perform a systematic study for the possible symmetry-breaking patterns and their implications for the mixing parameters. The general treatment is applied to some specific symmetry breaking arising from the renormalization group effects for illustration.


title: Universal Extra Dimensions and the Graviton Portal to Dark Matter

abstract: The Universal Extra Dimension (UED) paradigm is particularly attractive as it not only includes a natural candidate for the Dark Matter particle but also addresses several issues related to particle physics. Non-observations at the Large Hadron Collider, though, has brought the paradigm into severe tension. However, a particular 5-dimensional UED model emerges from a six-dimensional space-time with nested warping. The $AdS_6$ bulk protects both the Higgs mass as well as the UED scale without invoking unnatural parameter values. The graviton excitations in the sixth direction open up new (co-)annihilation channels for the Dark Matter particle, thereby allowing for phenomenological consistency, otherwise denied to the minimal UED scenario. The model leads to unique signatures in both satellite-based experiments as well as the LHC.


title: Label Stability in Multiple Instance Learning

abstract: We address the problem of \emph{instance label stability} in multiple instance learning (MIL) classifiers. These classifiers are trained only on globally annotated images (bags), but often can provide fine-grained annotations for image pixels or patches (instances). This is interesting for computer aided diagnosis (CAD) and other medical image analysis tasks for which only a coarse labeling is provided. Unfortunately, the instance labels may be unstable. This means that a slight change in training data could potentially lead to abnormalities being detected in different parts of the image, which is undesirable from a CAD point of view. Despite MIL gaining popularity in the CAD literature, this issue has not yet been addressed. We investigate the stability of instance labels provided by several MIL classifiers on 5 different datasets, of which 3 are medical image datasets (breast histopathology, diabetic retinopathy and computed tomography lung images). We propose an unsupervised measure to evaluate instance stability, and demonstrate that a performance-stability trade-off can be made when comparing MIL classifiers.


title: Equilibrated flux a posteriori error estimates in $L^2(H^1)$-norms for high-order discretizations of parabolic problems

abstract: We consider the a posteriori error analysis of fully discrete approximations of parabolic problems based on conforming $hp$-finite element methods in space and an arbitrary order discontinuous Galerkin method in time. Using an equilibrated flux reconstruction, we present a posteriori error estimates yielding guaranteed upper bounds on the $L^2(H^1)$-norm of the error, without unknown constants and without restrictions on the spatial and temporal meshes. It is known from the literature that the analysis of the efficiency of the estimators represents a significant challenge for $L^2(H^1)$-norm estimates. Here we show that the estimator is bounded by the $L^2(H^1)$-norm of the error plus the temporal jumps under the one-sided parabolic condition $h^2 \lesssim \tau$. This result improves on earlier works that required stronger two-sided hypotheses such as $h \simeq \tau$ or $h^2\simeq \tau$; instead our result now encompasses the practically relevant case for computations and allows for locally refined spatial meshes. The constants in our bounds are robust with respect to the mesh and time-step sizes, the spatial polynomial degrees, and also with respect to refinement and coarsening between time-steps, thereby removing any transition condition.


title: Hyperbolicity cones and imaginary projections

abstract: Recently, the authors and de Wolff introduced the imaginary projection of a polynomial $f\in\mathbb{C}[\mathbf{z}]$ as the projection of the variety of $f$ onto its imaginary part, $\mathcal{I}(f) \ = \ \{\text{Im}(\mathbf{z}) \, : \, \mathbf{z} \in \mathcal{V}(f) \}$. Since a polynomial $f$ is stable if and only if $\mathcal{I}(f) \cap \mathbb{R}_{>0}^n \ = \ \emptyset$, the notion offers a novel geometric view underlying stability questions of polynomials. In this article, we study the relation between the imaginary projections and hyperbolicity cones, where the latter ones are only defined for homogeneous polynomials. Building upon this, for homogeneous polynomials we provide a tight upper bound for the number of components in the complement $\mathcal{I}(f)^{c}$ and thus for the number of hyperbolicity cones of $f$. And we show that for $n \ge 2$, a polynomial $f$ in $n$ variables can have an arbitrarily high number of strictly convex and bounded components in $\mathcal{I}(f)^{c}$.


title: Analysis of $\gamma\gamma\to ZH$ within the CSM concept

abstract: We study the modifications of the $\gamma\gamma\to ZH$ amplitudes and cross sections generated by Higgs and top quark compositeness in particular within the CSM concept. We insist on the particular interest of polarized photon-photon collisions which should allow to identify the origin of the large observable differences between various, CSM conserving or CSM violating, compositeness possibilities.


title: Neural Programming by Example

abstract: Programming by Example (PBE) targets at automatically inferring a computer program for accomplishing a certain task from sample input and output. In this paper, we propose a deep neural networks (DNN) based PBE model called Neural Programming by Example (NPBE), which can learn from input-output strings and induce programs that solve the string manipulation problems. Our NPBE model has four neural network based components: a string encoder, an input-output analyzer, a program generator, and a symbol selector. We demonstrate the effectiveness of NPBE by training it end-to-end to solve some common string manipulation problems in spreadsheet systems. The results show that our model can induce string manipulation programs effectively. Our work is one step towards teaching DNN to generate computer programs.


title: Nonconservative higher-order hydrodynamic modulation instability

abstract: The modulation instability (MI) is a universal mechanism that is responsible for the disintegration of weakly nonlinear narrow-banded wave fields and the emergence of localized extreme events in dispersive media. The instability dynamics is naturally triggered, when unstable energy side-bands located around the main energy peak are excited and then follow an exponential growth law. As a consequence of four wave mixing effect, these primary side-bands generate an infinite number of additional side-bands, forming a triangular side-band cascade. After saturation, it is expected that the system experiences a return to initial conditions followed by a spectral recurrence dynamics. Much complex nonlinear wave field motion is expected, when the secondary or successive side-band pair that are created are also located in the finite instability gain range around the main carrier frequency peak. This latter process is referred to as higher-order MI. We report a numerical and experimental study that confirm observation of higher-order MI dynamics in water waves. Furthermore, we show that the presence of weak dissipation may counter-intuitively enhance wave focusing in the second recurrent cycle of wave amplification. The interdisciplinary weakly nonlinear approach in addressing the evolution of unstable nonlinear waves dynamics may find significant resonance in other nonlinear dispersive media in physics, such as optics, solids, superfluids and plasma.


title: Second descent and rational points on Kummer varieties

abstract: A powerful method pioneered by Swinnerton-Dyer allows one to study rational points on pencils of curves of genus 1 by combining the fibration method with a sophisticated form of descent. A variant of this method, first used by Skorobogatov and Swinnerton-Dyer in 2005, can be applied to study rational points on Kummer varieties. In this paper we extend the method to include an additional step of second descent. Assuming finiteness of the relevant Tate-Shafarevich groups, we use the extended method to show that the Brauer-Manin obstruction is the only obstruction to the Hasse principle on Kummer varieties associated to abelian varieties with all rational 2-torsion, under mild additional hypotheses.


title: On the Unhappiness of Software Developers

abstract: The happy-productive worker thesis states that happy workers are more productive. Recent research in software engineering supports the thesis, and the ideal of flourishing happiness among software developers is often expressed among industry practitioners. However, the literature suggests that a cost-effective way to foster happiness and productivity among workers could be to limit unhappiness. Psychological disorders such as job burnout and anxiety could also be reduced by limiting the negative experiences of software developers. Simultaneously, a baseline assessment of (un)happiness and knowledge about how developers experience it are missing. In this paper, we broaden the understanding of unhappiness among software developers in terms of (1) the software developer population distribution of (un)happiness, and (2) the causes of unhappiness while developing software. We conducted a large-scale quantitative and qualitative survey, incorporating a psychometrically validated instrument for measuring (un)happiness, with 2220 developers, yielding a rich and balanced sample of 1318 complete responses. Our results indicate that software developers are a slightly happy population, but the need for limiting the unhappiness of developers remains. We also identified 219 factors representing causes of unhappiness while developing software. Our results, which are available as open data, can act as guidelines for practitioners in management positions and developers in general for fostering happiness on the job. We suggest considering happiness in future studies of both human and technical aspects in software engineering.


title: Moment conditions in strong laws of large numbers for multiple sums and random measures

abstract: The validity of the strong law of large numbers for multiple sums $S_n$ of independent identically distributed random variables $Z_k$, $k\leq n$, with $r$-dimensional indices is equivalent to the integrability of $|Z|(\log^+|Z|)^{r-1}$, where $Z$ is the typical summand. We consider the strong law of large numbers for more general normalisations, without assuming that the summands $Z_k$ are identically distributed, and prove a multiple sum generalisation of the Brunk--Prohorov strong law of large numbers. In the case of identical finite moments of irder $2q$ with integer $q\geq1$, we show that the strong law of large numbers holds with the normalisation $\|n_1\cdots n_r\|^{1/2}(\log n_1\cdots\log n_r)^{1/(2q)+\varepsilon}$ for any $\varepsilon>0$. The obtained results are also formulated in the setting of ergodic theorems for random measures, in particular those generated by marked point processes.


title: Statistical Multiplexing of Computations in C-RAN with Tradeoffs in Latency and Energy

abstract: In the Cloud Radio Access Network (C-RAN) architecture, the baseband signals from multiple remote radio heads are processed in a centralized baseband unit (BBU) pool. This architecture allows network operators to adapt the BBU's computational resources to the aggregate access load experienced at the BBU, which can change in every air-interface access frame. The degree of savings that can be achieved by adapting the resources is a tradeoff between savings, adaptation frequency, and increased queuing time. If the time scale for adaptation of the resource multiplexing is greater than the access frame duration, then this may result in additional access latency and limit the energy savings. In this paper we investigate the tradeoff by considering two extreme time-scales for the resource multiplexing: (i) long-term, where the computational resources are adapted over periods much larger than the access frame durations; (ii) short-term, where the adaption is below the access frame duration. We develop a general C-RAN queuing model that describes the access latency and show, for Poisson arrivals, that long-term multiplexing achieves savings comparable to short-term multiplexing, while offering low implementation complexity.


title: Exceptionally strong phonon scattering by B substitution in cubic SiC

abstract: We use ab-initio calculations to predict the thermal conductivity of cubic SiC with different types of defects. An excellent quantitative agreement with previous experimental measurements is found. The results unveil that B$_\mathrm{C}$ substitution has a much stronger effect than any of the other defect types in 3C-SiC, including vacancies. This finding contradicts the prediction of the classical mass-difference model of impurity scattering, according to which the effects of B$_\mathrm{C}$ and N$_\mathrm{C}$ would be similar and much smaller than that of the C vacancy. The strikingly different behavior of the B$_\mathrm{C}$ defect arises from a unique pattern of resonant phonon scattering caused by the broken structural symmetry around the B impurity.


title: It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton

abstract: The following problem is shown undecidable: given regular languages L,K of finite trees, decide if there exists a deterministic tree-walking automaton which accepts all trees in L and rejects all trees in K. The proof uses a technique of Kopczy\'nski from LICS 2016.


title: Quantum sensing of rotation velocity based on transverse field Ising model

abstract: We study a transverse-field Ising model (TFIM) in a rotational reference frame. We find that the effective Hamiltonian of the TFIM of this system depends on the system's rotation velocity. Since the rotation contributes an additional transverse field, the dynamics of TFIM sensitively responses to the rotation velocity at the critical point of quantum phase transition. This observation means that the TFIM can be used for quantum sensing of rotation velocity that can sensitively detect rotation velocity of the total system at the critical point. It is found that the resolution of the quantum sensing scheme we proposed is characterized by the half-width of Loschmidt echo of the dynamics of TFIM when it couples to a quantum system S. And the resolution of this quantum sensing scheme is proportional to the coupling strength \delta between the quantum system S and the TFIM, and to the square root of the number of spins N belonging the TFIM.


title: Inverse scattering at fixed energy for radial magnetic Schr{\"o}dinger operators with obstacle in dimension two

abstract: We study an inverse scattering problem at fixed energy for radial magnetic Schr{\"o}dinger operators on R^2 \ B(0, r\_0), where r\_0 is a positive and arbitrarily small radius. We assume that the magnetic potential A satisfies a gauge condition and we consider the class C of smooth, radial and compactly supported electric potentials and magnetic fields denoted by V and B respectively. If (V, B) and (\tilde{V} , \tilde{B}) are two couples belonging to C, we then show that if the corresponding phase shifts $\delta$\_l and \tilde{$\delta$}\_l (i.e. the scattering data at fixed energy) coincide for all l $\in$ L, where L $\subset$ N^$\star$ satisfies the M{\"u}ntz condition \sum\_{l$\in$L} \frac{1}{l} = +$\infty$, then V (x) = \tilde{V}(x) and B(x) = \tilde{B}(x) outside the obstacle B(0, r\_0). The proof use the Complex Angular Momentum method and is close in spirit to the celebrated B{\"o}rg-Marchenko uniqueness Theorem.


title: The GPD H-tilde and spin correlations in wide-angle Compton scattering

abstract: Wide-angle Compton scattering (WACS) is discussed within the handbag approach in which the amplitudes are given by products of hard subprocess amplitudes and form factors, specific to Compton scattering, which represent 1/x-moments of generalized parton distributions (GPDs). The quality of our present knowledge of these form factors and of the underlying GPDs is examined. As will be discussed in some detail the form factor R_A and the underlying GPD H-tilde are poorly known. It is argued that future data on the spin correlations A_{LL} and/or K_{LL} will allow for an extraction of R_A which can be used to constrain the large -t behavior of H-tilde.


title: APP-Hom Method for Box Constrained Quadratic Programming

abstract: In this paper, based on a $Q$-linear convergence analysis and an estimate of the linear convergence factor of the proximal point (PP) algorithm for solving box constrained quadratic programming (BQP) problems, an accelerated proximal point (APP) algorithm for solving BQP problems is presented. To solve the strictly convex BQP problems in each step of the APP algorithm, an efficient homotopy method, which tracks the solution path of a parametric quadratic program, is given. The algorithm with APP algorithm as outer iteration and the homotopy method as inner iteration is named by APP-Hom. The inner homotopy method is efficient by implementing, a warm-start technique based on the accelerated proximal gradient (APG) method, an $\varepsilon$-relaxation technique for checking prime and dual feasibility and determining/correcting the active set. Numerical tests for randomly generated dense and sparse BQPs, BQPs arising from image deblurring, BQPs in SVM, as well as discretized obstacle problem, elastic-plastic torsion problem, and the journal bearing problem show that the APP algorithm takes much less steps than the PP algorithm, the homotopy method is very efficient for strictly-convex BQP, and in consequence, that the APP-Hom is very efficient for non-convex BQP.


title: Zero-Shot Recognition using Dual Visual-Semantic Mapping Paths

abstract: Zero-shot recognition aims to accurately recognize objects of unseen classes by using a shared visual-semantic mapping between the image feature space and the semantic embedding space. This mapping is learned on training data of seen classes and is expected to have transfer ability to unseen classes. In this paper, we tackle this problem by exploiting the intrinsic relationship between the semantic space manifold and the transfer ability of visual-semantic mapping. We formalize their connection and cast zero-shot recognition as a joint optimization problem. Motivated by this, we propose a novel framework for zero-shot recognition, which contains dual visual-semantic mapping paths. Our analysis shows this framework can not only apply prior semantic knowledge to infer underlying semantic manifold in the image feature space, but also generate optimized semantic embedding space, which can enhance the transfer ability of the visual-semantic mapping to unseen classes. The proposed method is evaluated for zero-shot recognition on four benchmark datasets, achieving outstanding results.


title: On the Importance of Super-Gaussian Speech Priors for Machine-Learning Based Speech Enhancement

abstract: For enhancing noisy signals, machine-learning based single-channel speech enhancement schemes exploit prior knowledge about typical speech spectral structures. To ensure a good generalization and to meet requirements in terms of computational complexity and memory consumption, certain methods restrict themselves to learning speech spectral envelopes. We refer to these approaches as machine-learning spectral envelope (MLSE)-based approaches. In this paper we show by means of theoretical and experimental analyses that for MLSE-based approaches, super-Gaussian priors allow for a reduction of noise between speech spectral harmonics which is not achievable using Gaussian estimators such as the Wiener filter. For the evaluation, we use a deep neural network (DNN)-based phoneme classifier and a low-rank nonnegative matrix factorization (NMF) framework as examples of MLSE-based approaches. A listening experiment and instrumental measures confirm that while super-Gaussian priors yield only moderate improvements for classic enhancement schemes, for MLSE-based approaches super-Gaussian priors clearly make an important difference and significantly outperform Gaussian priors.


title: On doubly universal functions

abstract: Let $(\lambda\_n)$ be a strictly increasing sequence of positive integers. Inspired by the notions of topological multiple recurrence and disjointness in dynamical systems, Costakis and Tsirivas have recently established that there exist power series $\sum\_{k\geq 0}a\_kz^k$ with radius of convergence 1 such that the pairs of partial sums $\{(\sum\_{k=0}^na\_kz^k,\sum\_{k=0}^{\lambda\_n}a\_kz^k): n=1,2,\dots\}$ approximate all pairs of polynomials uniformly on compact subsets $K\subset\{z\in\mathbb{C} :| z|\textgreater{}1\},$ with connected complement, if and only if $\limsup\_{n}\frac{\lambda\_n}{n}=+\infty.$ In the present paper, we give a new proof of this statement avoiding the use of advanced tools of potential theory. It allows to obtain the algebraic genericity of the set of such power series and to study the case of doubly universal infinitely differentiable functions. Further we show that the Ces\`aro means of partial sums of power series with radius of convergence 1 cannot be frequently universal.


title: Valley-Polarized Exciton Dynamics in Exfoliated Monolayer WSe$_2$

abstract: Semiconducting transition metal dichalcogenide monolayers have emerged as promising candidates for future valleytronics-based quantum information technologies. Two distinct momentum-states of tightly-bound electron-hole pairs in these materials can be deterministically initialized via irradiation with circularly polarized light. Here, we investigate the ultrafast dynamics of such a valley polarization in monolayer tungsten diselenide by means of time-resolved Kerr reflectometry. The observed Kerr signal in our sample stems exclusively from charge-neutral excitons. Our findings support the picture of a fast decay of the valley polarization of bright excitons due to radiative recombination, intra-conduction-band spin-flip transitions, intervalley-scattering processes, and the formation of long-lived valley-polarized dark states.


title: Local Times of Gaussian Processes

abstract: The aim of this work is to define and perform a study of local times of all Gaussian processes that have an integral representation over a real interval (that maybe infinite). Very rich, this class of Gaussian processes, contains Volterra processes (and thus fractional Brownian motion), multifractional Brownian motions as well as processes, the regularity of which varies along the time. Using the White Noise-based anticipative stochastic calculus with respect to Gaussian processes developed in [Leb17], we first establish a Tanaka formula. This allows us to define both weighted and non-weighted local times and finally to provide occupation time formulas for both these local times. A complete comparison of the Tanaka formula as well as the results on Gaussian local times we present here, is made with the ones proposed in [MV05, LN12, SV14].


title: Sensitivity of CLIC at 380 GeV to the top FCNC decay $t\rightarrow cH$

abstract: In the Standard Model (SM), flavour changing neutral current (FCNC) top decays, possible at loop level only, are very strongly suppressed. Observation of any such decay would be a direct signature of physics beyond the SM. Large enhancements are possible in many "new physics" scenarios and the largest enhancement is in most cases expected for the $t\rightarrow cH$ decay. A full study for CLIC was based on the WHIZARD simulation of FCNC top decays within the 2HDM(III) model. Beam polarization and beam-induced background were taken into account. Top pair production events with the FCNC decay $t\rightarrow cH$ can be identified based on kinematic constrains and flavour tagging information. Due to a large overlap in the kinematic space with standard top pair events, the final signal selection-efficiency is small, at the 10% level. Expected limits on $BR(t\rightarrow cH)\times BR(H\rightarrow b\bar{b})$ are compared with earlier results based on parton level simulation.


title: Knudsen pump inspired by Crookes radiometer with a specular wall

abstract: A rarefied gas is considered in a channel consisting of two infinite parallel plates between which an evenly spaced array of smaller plates is arranged normal to the channel direction. Each of these smaller plates is assumed to possess one ideally specularly reflective and one ideally diffusively reflective side. When the temperature of the small plates differs from the temperature of the sidewalls of the channel, these boundary conditions result in a temperature profile around the edges of each small plate which breaks the reflection symmetry along the channel direction. This in turn results in a force on each plate and a net gas flow along the channel. The situation is analysed numerically using the direct simulation Monte Carlo (DSMC) method and compared with analytical results where available. The influence of the ideally specularly reflective wall is assessed by comparing with simulations using a finite accommodation coefficient at the corresponding wall. The configuration bears some similarity with a Crookes radiometer, where a non-symmetric temperature profile at the radiometer vanes is generated by different temperatures on each side of the vane, resulting in a motion of the rotor. The described principle may find applications in pumping gas on small scales driven by temperature gradients.


title: Emission of non-classical radiation by inelastic Cooper pair tunneling

abstract: We show that a properly dc-biased Josephson junction in series with two microwave resonators of different frequencies emits photon pairs in the resonators. By measuring auto- and inter-correlations of the power leaking out of the resonators, we demonstrate two-mode amplitude squeezing below the classical limit. This non-classical microwave light emission is found to be in quantitative agreement with our theoretical predictions, up to an emission rate of 2 billion photon pairs per second.


title: PAL-Hom method for QP and an application to LP

abstract: In this paper, a proximal augmented Lagrangian homotopy (PAL-Hom) method for solving convex quadratic programming problems is proposed. This method takes the proximal augmented Lagrangian method as the outer iteration. To solve the proximal augmented Lagrangian subproblems, a homotopy method is presented as the inner iteration. The homotopy method tracks the piecewise-linear solution path of a parametric quadratic programming problem whose start problem takes an approximate solution as its solution and the target problem is the subproblem to be solved. To improve the performance of the homotopy method, the accelerated proximal gradient method is used to obtain a fairly good approximate solution that implies a good prediction of the optimal active set. Moreover, a sorting technique for the Cholesky factor update as well as an $\varepsilon$-relaxation technique for checking primal-dual feasibility and correcting the active sets are presented to improve the efficiency and robustness of the homotopy method. Simultaneously, a proximal-point-based AL-Hom method which is shown to converge in finite number of steps, is applied to linear programming. Numerical experiments on randomly generated problems and the problems from the CUTEr and Netlib test collections, support vector machines (SVMs) and contact problems of elasticity demonstrate that PAL-Hom is faster than the active-set methods and the parametric active set methods and is competitive to the interior-point methods and the specialized algorithms designed for specific models (e.g., sequential minimal optimization (SMO) method for SVMs).


title: Complexity of Verifying Nonblockingness in Modular Supervisory Control

abstract: Complexity analysis becomes a common task in supervisory control. However, many results of interest are spread across different topics. The aim of this paper is to bring several interesting results from complexity theory and to illustrate their relevance to supervisory control by proving new nontrivial results concerning nonblockingness in modular supervisory control of discrete event systems modeled by finite automata.


title: A Constructive Approach to the Finite Wavelet Frames over Prime Fields

abstract: In this article, we present a constructive method for computing the frame coefficients of finite wavelet frames over prime fields using tools from computational harmonic analysis and group theory.


title: Edge fracture in complex fluids

abstract: We study theoretically the edge fracture instability in sheared complex fluids, by means of linear stability analysis and direct nonlinear simulations. We derive an exact analytical expression for the onset of edge fracture in terms of the shear-rate derivative of the fluid's second normal stress difference, the shear-rate derivative of the shear stress, the jump in shear stress across the interface between the fluid and the outside medium (usually air), the surface tension of that interface, and the rheometer gap size. We provide a full mechanistic understanding of the edge fracture instability, carefully validated against our simulations. These findings, which are robust with respect to choice of rheological constitutive model, also suggest a possible route to mitigating edge fracture, potentially allowing experimentalists to achieve and accurately measure stronger flows than hitherto.


title: Compact operator semigroups applied to dynamical systems

abstract: In this paper we develop a systematic theory of compact operator semigroups on locally convex vector spaces. In particular we prove new and generalized versions of the mean ergodic theorem and apply them to different notions of mean ergodicity appearing in topological dynamics.


title: Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test

abstract: We explore multi-round quantum memoryless communication protocols. These are restricted version of multi-round quantum communication protocols. The "memoryless" term means that players forget history from previous rounds, and their behavior is obtained only by input and message from the opposite player. The model is interesting because this allows us to get lower bounds for models like automata, Ordered Binary Decision Diagrams and streaming algorithms. At the same time, we can prove stronger results with this restriction. We present a lower bound for quantum memoryless protocols. Additionally, we show a lower bound for Disjointness function for this model. % As an application of communication complexity results, we consider Quantum Ordered Read-$k$-times Branching Programs ($k$-QOBDD). Our communication complexity result allows us to get lower bound for $k$-QOBDD and to prove hierarchies for sublinear width bounded error $k$-QOBDDs, where $k=o(\sqrt{n})$. Furthermore, we prove a hierarchy for polynomial size bounded error $k$-QOBDDs for constant $k$. This result differs from the situation with an unbounded error where it is known that an increase of $k$ does not give any advantage.


title: Complexity of Infimal Observable Superlanguages

abstract: The infimal prefix-closed, controllable and observable superlanguage plays an essential role in the relationship between controllability, observability and co-observability -- the central notions of supervisory control theory. Existing algorithms for its computation are exponential and it is not known whether a polynomial algorithm exists. In this paper, we study the state complexity of this language. State complexity of a language is the number of states of the minimal DFA for the language. For a language of state complexity $n$, we show that the upper-bound state complexity on the infimal prefix-closed and observable superlanguage is $2^n + 1$ and that this bound is asymptotically tight. It proves that there is no algorithm computing a DFA of the infimal prefix-closed and observable superlanguage in polynomial time. Our construction further shows that such a DFA can be computed in time $O(2^n)$. The construction involves NFAs and a computation of the supremal prefix-closed sublanguage. We study the computation of the supremal prefix-closed sublanguage and show that there is no polynomial-time algorithm that computes an NFA of the supremal prefix-closed sublanguage of a language given as an NFA even if the language is unary.


title: Tunable Indirect-Direct Transition of Few-Layer SnSe via Interface Engineering

abstract: Tin Selenide (SnSe) is one of the best thermoelectric materials reported to date. The possibility of growing few-layer SnSe helped boost the interest in this long-known, earth abundant material. Pristine SnSe in bulk, mono- and few-layer forms are reported to have indirect electronic bandgaps. Possible indirect-direct transition in SnSe is attractive for its optoelectronic-related applications. Based on the results from first principles Density Functional Theory (DFT) calculations, we carefully analyzed electronic band structures of bulk, and bilayer SnSe with various interlayer stackings. We report the possible stacking-dependent indirect-direct transition of bilayer SnSe. By further analysis, our results reveal that it is the directionality of interlayer interactions that determine the critical features of their electronic band structures. In fact, by engineering the interface stacking between layers, it is possible to achieve few-layer SnSe with direct electronic band gap. This study provides fundamental insights to design few-layer SnSe and SnSe heterostructures for electronic/optoelectronic applications, where the interface geometry plays a fundamental role in device performance.


title: A GNS construction of three-dimensional abelian Dijkgraaf-Witten theories

abstract: We give a detailed account of the so-called "universal construction" that aims to extend invariants of closed manifolds, possibly with additional structure, to topological field theories and show that it amounts to a generalization of the GNS construction. We apply this construction to an invariant defined in terms of the groupoid cardinality of groupoids of bundles to recover Dijkgraaf-Witten theories, including the vector spaces obtained as a linearization of spaces of principal bundles.


title: Finding a Feasible Initial Solution for Flatness-Based Multi-Link Manipulator Motion Planning under State and Control Constraints

abstract: In this paper, we present a method to initialize at a feasible point and unfailingly solve a non-convex optimization problem in which a set-point motion is planned for a multi-link manipulator under state and control constraints. We construct an initial feasible solution by analyzing the final time effect for feasibility problems of flatness based motion planning problems. More specifically, we first find a feasible time-optimal trajectory under state constraints without a control constraint by solving a linear programming problem. Then, we find a feasible trajectory under control constraints by scaling the trajectory. To evaluate the practical applicability of the proposed method, we did numerical experiments to solve a multi-link manipulator motion planning problem by combining the method with recursive inverse dynamics algorithms.


title: Large Margin Object Tracking with Circulant Feature Maps

abstract: Structured output support vector machine (SVM) based tracking algorithms have shown favorable performance recently. Nonetheless, the time-consuming candidate sampling and complex optimization limit their real-time applications. In this paper, we propose a novel large margin object tracking method which absorbs the strong discriminative ability from structured output SVM and speeds up by the correlation filter algorithm significantly. Secondly, a multimodal target detection technique is proposed to improve the target localization precision and prevent model drift introduced by similar objects or background noise. Thirdly, we exploit the feedback from high-confidence tracking results to avoid the model corruption problem. We implement two versions of the proposed tracker with the representations from both conventional hand-crafted and deep convolution neural networks (CNNs) based features to validate the strong compatibility of the algorithm. The experimental results demonstrate that the proposed tracker performs superiorly against several state-of-the-art algorithms on the challenging benchmark sequences while runs at speed in excess of 80 frames per second. The source code and experimental results will be made publicly available.


title: Hilbert space and ground state structure of bilayer quantum Hall systems at $\nu=2/\lambda$

abstract: We analyze the Hilbert space and ground state structure of bilayer quantum Hall (BLQH) systems at fractional filling factors $\nu=2/\lambda$ ($\lambda$ odd) and we also study the large $SU(4)$ isospin-$\lambda$ limit. The model Hamiltonian is an adaptation of the $\nu=2$ case [Z.F. Ezawa {\it et al.}, Phys. Rev. {B71} (2005) 125318] to the many-body situation (arbitrary $\lambda$ flux quanta per electron). The semiclassical regime and quantum phase diagram (in terms of layer distance, Zeeeman, tunneling, etc, control parameters) is obtained by using previously introduced Grassmannian $\mathbb{G}^4_{2}=U(4)/[U(2)\times U(2)]$ coherent states as variational states. The existence of three quantum phases (spin, canted and ppin) is common to any $\lambda$, but the phase transition points depend on $\lambda$, and the instance $\lambda=1$ is recovered as a particular case. We also analyze the quantum case through a numerical diagonalization of the Hamiltonian and compare with the mean-field results, which give a good approximation in the spin and ppin phases but not in the canted phase, where we detect exactly $\lambda$ energy level crossings between the ground and first excited state for given values of the tunneling gap. An energy band structure at low and high interlayer tunneling (spin and ppin phases, respectively) also appears depending on angular momentum and layer population imbalance quantum numbers.


title: Steerable Discrete Fourier Transform

abstract: Directional transforms have recently raised a lot of interest thanks to their numerous applications in signal compression and analysis. In this letter, we introduce a generalization of the discrete Fourier transform, called steerable DFT (SDFT). Since the DFT is used in numerous fields, it may be of interest in a wide range of applications. Moreover, we also show that the SDFT is highly related to other well-known transforms, such as the Fourier sine and cosine transforms and the Hilbert transforms.


title: On packing chromatic number of subcubic outerplanar graphs

abstract: Although it has recently been proved that the packing chromatic number is unbounded on the class of subcubic graphs, there exists subclasses in which the packing chromatic number is finite (and small). These subclasses include subcubic trees, base-3 Sierpi{\'n}ski graphs and hexagonal lattices.In this paper we are interested in the packing chromatic number of subcubic outerplanar graphs. We provide asymptotic bounds depending on structural properties of the outerplanar graphs and determine sharper bounds for some classes of subcubic outerplanar graphs.


title: Tail asymptotics of signal-to-interference ratio distribution in spatial cellular network models

abstract: We consider a spatial stochastic model of wireless cellular networks, where the base stations (BSs) are deployed according to a simple and stationary point process on $\mathbb{R}^d$, $d\ge2$. In this model, we investigate tail asymptotics of the distribution of signal-to-interference ratio (SIR), which is a key quantity in wireless communications. In the case where the path-loss function representing signal attenuation is unbounded at the origin, we derive the exact tail asymptotics of the SIR distribution under an appropriate sufficient condition. While we show that widely-used models based on a Poisson point process and on a determinantal point process meet the sufficient condition, we also give a counterexample violating it. In the case of bounded path-loss functions, we derive a logarithmically asymptotic upper bound on the SIR tail distribution for the Poisson-based and $\alpha$-Ginibre-based models. A logarithmically asymptotic lower bound with the same order as the upper bound is also obtained for the Poisson-based model.


title: Quantum dot self-assembly driven by a surfactant-induced morphological instability

abstract: In strained heteroepitaxy, two-dimensional (2D) layers can exhibit a critical thickness at which three-dimensional (3D) islands self-assemble, relieving misfit strain at the cost of an increased surface area. Here we show that such a morphological phase transition can be induced on-demand using surfactants. We explore Bi as a surfactant in the growth of InAs on GaAs(110), and find that the presence of surface Bi induces Stranski-Krastanov growth of 3D islands, while growth without Bi always favors 2D layer formation. Exposing a static two monolayer thick InAs layer to Bi rapidly transforms the layer into 3D islands. Density functional theory calculations reveal that Bi reduces the energetic cost of 3D island formation by modifying surface energies. These 3D nanostructures behave as optically active quantum dots. This work illustrates how surfactants can enable quantum dot self-assembly where it otherwise would not occur.


title: Tits Endomorphisms and Buildings of Type $F_4$

abstract: The fixed point building of a polarity of a Moufang quadrangle of type $F_4$ is a Moufang set, as is the fixed point building of a semi-linear automorphism of order $2$ of a Moufang octagon that stabilizes at least two panels of one type but none of the other. We show that these two classes of Moufang sets are, in fact, the same, that each member of this class can be constructed as the fixed point building of a group of order $4$ acting on a building of type $F_4$ and that the group generated by all the root groups of any one of these Moufang sets is simple.


title: Noncyclic geometric phases and helicity transitions for neutrino oscillations in a magnetic field

abstract: We show that neutrino spin and spin-flavor transitions involve nonvanishing geometric phases. The geometric character of neutrino spin rotation is explored by studying the neutrino spin trajectory in the projective Hilbert space representation and its relation to the geometric phase. Analytical expressions are derived for noncyclic geometric phases. Several calculations are performed for different cases of rotating and nonrotating magnetic fields in the context of solar neutrinos and neutrinos produced inside neutron stars. Also the effects of adiabaticity, critical magnetic fields and cross boundary effects in the case of neutrinos emanating out of neutron stars are examined.


title: Fonduer: Knowledge Base Construction from Richly Formatted Data

abstract: We focus on knowledge base construction (KBC) from richly formatted data. In contrast to KBC from text or tabular data, KBC from richly formatted data aims to extract relations conveyed jointly via textual, structural, tabular, and visual expressions. We introduce Fonduer, a machine-learning-based KBC system for richly formatted data. Fonduer presents a new data model that accounts for three challenging characteristics of richly formatted data: (1) prevalent document-level relations, (2) multimodality, and (3) data variety. Fonduer uses a new deep-learning model to automatically capture the representation (i.e., features) needed to learn how to extract relations from richly formatted data. Finally, Fonduer provides a new programming model that enables users to convert domain expertise, based on multiple modalities of information, to meaningful signals of supervision for training a KBC system. Fonduer-based KBC systems are in production for a range of use cases, including at a major online retailer. We compare Fonduer against state-of-the-art KBC approaches in four different domains. We show that Fonduer achieves an average improvement of 41 F1 points on the quality of the output knowledge base---and in some cases produces up to 1.87x the number of correct entries---compared to expert-curated public knowledge bases. We also conduct a user study to assess the usability of Fonduer's new programming model. We show that after using Fonduer for only 30 minutes, non-domain experts are able to design KBC systems that achieve on average 23 F1 points higher quality than traditional machine-learning-based KBC approaches.


title: Emergence of quasiparticle Bloch states in artificial crystals crafted atom-by-atom

abstract: The interaction of electrons with a periodic potential of atoms in crystalline solids gives rise to band structure. The band structure of existing materials can be measured by photoemission spectroscopy and accurately understood in terms of the tight-binding model, however not many experimental approaches exist that allow to tailor artificial crystal lattices using a bottom-up approach. The ability to engineer and study atomically crafted designer materials by scanning tunnelling microscopy and spectroscopy (STM/STS) helps to understand the emergence of material properties. Here, we use atom manipulation of individual vacancies in a chlorine monolayer on Cu(100) to construct one- and two-dimensional structures of various densities and sizes. Local STS measurements reveal the emergence of quasiparticle bands, evidenced by standing Bloch waves, with tuneable dispersion. The experimental data are understood in terms of a tight-binding model combined with an additional broadening term that allows an estimation of the coupling to the underlying substrate.


title: XMM-Newton and NuSTAR simultaneous X-ray observations of IGR J11215-5952

abstract: We report the results of an XMM-Newton and NuSTAR coordinated observation of the Supergiant Fast X-ray Transient (SFXT) IGRJ11215-5952, performed on February 14, 2016, during the expected peak of its brief outburst, which repeats every about 165 days. Timing and spectral analysis were performed simultaneously in the energy band 0.4-78 keV. A spin period of 187.0 +/- 0.4 s was measured, consistent with previous observations performed in 2007. The X-ray intensity shows a large variability (more than one order of magnitude) on timescales longer than the spin period, with several luminous X-ray flares which repeat every 2-2.5 ks, some of which simultaneously observed by both satellites. The broad-band (0.4-78 keV) time-averaged spectrum was well deconvolved with a double-component model (a blackbody plus a power-law with a high energy cutoff) together with a weak iron line in emission at 6.4 keV (equivalent width, EW, of 40+/-10 eV). Alternatively, a partial covering model also resulted in an adequate description of the data. The source time-averaged X-ray luminosity was 1E36 erg/s (0.1-100 keV; assuming 7 kpc). We discuss the results of these observations in the framework of the different models proposed to explain SFXTs, supporting a quasi-spherical settling accretion regime, although alternative possibilities (e.g. centrifugal barrier) cannot be ruled out.


title: Mean field limits for nonlinear spatially extended hawkes processes with exponential memory kernels

abstract: We consider spatially extended systems of interacting nonlinear Hawkes processes modeling large systems of neurons placed in Rd and study the associated mean field limits. As the total number of neurons tends to infinity, we prove that the evolution of a typical neuron, attached to a given spatial position, can be described by a nonlinear limit differential equation driven by a Poisson random measure. The limit process is described by a neural field equation. As a consequence, we provide a rigorous derivation of the neural field equation based on a thorough mean field analysis.


title: Approximation numbers of composition operators on the Hardy space of the infinite polydisk

abstract: We study the composition operators of the Hardy space on D $\infty$ $\cap$ {\ell} 1 , the {\ell} 1 part of the infinite polydisk, and the behavior of their approximation numbers.


title: Searching for planetary signals in Doppler time series: a performance evaluation of tools for periodograms analysis

abstract: We carry out a comparative analysis of the performance of three algorithms widely used to identify significant periodicities in radial-velocity (RV) datasets: the Generalised Lomb-Scargle Periodogram (GLS), its modified version based on Bayesian statistics (BGLS), and the multi-frequency periodogram scheme called FREquency DEComposer (FREDEC). We apply the algorithms to a suite of numerical simulations of (single and multiple) low-amplitude Keplerian RV signals induced by low-mass companions around M-dwarf primaries. The global performance of the three period search approaches is quite similar in the limit of an idealized, best-case scenario (single planets, circular orbits, white noise). However, GLS, BGLS and FREDEC are not equivalent when it comes to the correct identification of more complex signals (including correlated noise of stellar origin, eccentric orbits, multiple planets), with variable degrees of efficiency loss as a function of system parameters and degradation in completeness and reliability levels. The largest discrepancy is recorded in the number of false detections: the standard approach of residual analyses adopted for GLS and BGLS translates in large fractions of false alarms ($\sim30\%$) in the case of multiple systems, as opposed to $\sim10\%$ for the FREDEC approach of simultaneous multi-frequency search. Our results reinforce the need for the strengthening and further development of the most aggressive and effective {\it ab initio} strategies for the robust identification of low-amplitude planetary signals in RV datasets, particularly now that RV surveys are beginning to achieve sensitivity to potentially habitable Earth-mass planets around late-type stars.


title: Conversion of Thermal Equilibrium States into Superpositions of Macroscopically Distinct States

abstract: A simple procedure for obtaining superpositions of macroscopically distinct states is proposed and analyzed. We find that a thermal equilibrium state can be converted into such a state when a single global measurement of a macroscopic observable, such as the total magnetization, is made. This method is valid for systems with macroscopic degrees of freedom and finite (including zero) temperature. The superposition state is obtained with a high (low) probability when the measurement is made with a high (low) resolution. We find that this method is feasible in an experiment.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech physics.atom-ph


title: Stacking order dynamic in the quasi-two-dimensional dichalcogenide 1T-TaS$_2$ probed with MeV ultrafast electron diffraction

abstract: Transitions between different charge density wave (CDW) states in quasi-two-dimensional materials may be accompanied also by changes in the inter-layer stacking of the CDW. Using MeV ultrafast electron diffraction, the out-of-plane stacking order dynamics in the quasi-two-dimensional dichalcogenide 1T-TaS$_2$ is investigated for the first time. From the intensity of the CDW satellites aligned around the commensurate $l$ = 1/6 characteristic stacking order, it is found out that this phase disappears with a 0.5 ps time constant. Simultaneously, in the same experiment, the emergence of the incommensurate phase, with a slightly slower 2.0 ps time constant, is determined from the intensity of the CDW satellites aligned around the incommensurate $l$ = 1/3 characteristic stacking order. These results might be of relevance in understanding the metallic character of the laser-induced metastable "hidden" state recently discovered in this compound.


title: MHD simulations of oscillating cusp-filling tori around neutron stars -- missing upper kHz QPO

abstract: We performed axisymmetric, grid-based, ideal magnetohydrodynamic (MHD) simulations of oscillating cusp-filling tori orbiting a non-rotating neutron star. A pseudo-Newtonian potential was used to construct the constant angular momentum tori in equilibrium. The inner edge of the torus is terminated by a "cusp" in the effective potential. The initial motion of the model tori was perturbed with uniform sub-sonic vertical and diagonal velocity fields. As the configuration evolved in time, we measured the mass accretion rate on the neutron star surface and obtained the power spectrum. The prominent mode of oscillation in the cusp torus is the radial epicyclic mode. It would appear that vertical oscillations are suppressed by the presence of the cusp. From our analysis it follows that the mass accretion rate carries a modulation imprint of the oscillating torus, and hence so does the boundary layer luminosity.


title: Interferometric confirmation of "water fountain" candidates

abstract: Water fountain stars (WFs) are evolved objects with water masers tracing high-velocity jets (up to several hundreds of km s$^{-1}$). They could represent one of the first manifestations of collimated mass-loss in evolved objects and thus, be a key to understanding the shaping mechanisms of planetary nebulae. Only 13 objects had been confirmed so far as WFs with interferometer observations. We present new observations with the Australia Telescope Compact Array and archival observations with the Very Large Array of four objects that are considered to be WF candidates, mainly based on single-dish observations. We confirm IRAS 17291-2147 and IRAS 18596+0315 (OH 37.1-0.8) as bona fide members of the WF class, with high-velocity water maser emission consistent with tracing bipolar jets. We argue that IRAS 15544-5332 has been wrongly considered as a WF in previous works, since we see no evidence in our data nor in the literature that this object harbours high-velocity water maser emission. In the case of IRAS 19067+0811, we did not detect any water maser emission, so its confirmation as a WF is still pending. With the result of this work, there are 15 objects that can be considered confirmed WFs. We speculate that there is no significant physical difference between WFs and obscured post-AGB stars in general. The absence of high-velocity water maser emission in some obscured post-AGB stars could be attributed to a variability or orientation effect.


title: Harmonic Mean Iteratively Reweighted Least Squares for Low-Rank Matrix Recovery

abstract: We propose a new iteratively reweighted least squares (IRLS) algorithm for the recovery of a matrix $X \in \mathbb{C}^{d_1\times d_2}$ of rank $r \ll\min(d_1,d_2)$ from incomplete linear observations, solving a sequence of low complexity linear problems. The easily implementable algorithm, which we call harmonic mean iteratively reweighted least squares (HM-IRLS), optimizes a non-convex Schatten-$p$ quasi-norm penalization to promote low-rankness and carries three major strengths, in particular for the matrix completion setting. First, we observe a remarkable global convergence behavior of the algorithm's iterates to the low-rank matrix for relevant, interesting cases, for which any other state-of-the-art optimization approach fails the recovery. Secondly, HM-IRLS exhibits an empirical recovery probability close to $1$ even for a number of measurements very close to the theoretical lower bound $r (d_1 +d_2 -r)$, i.e., already for significantly fewer linear observations than any other tractable approach in the literature. Thirdly, HM-IRLS exhibits a locally superlinear rate of convergence (of order $2-p$) if the linear observations fulfill a suitable null space property. While for the first two properties we have so far only strong empirical evidence, we prove the third property as our main theoretical result.


title: On non-commuting graph of a finite ring

abstract: The non-commuting graph $\Gamma_R$ of a finite ring $R$ with center $Z(R)$ is a simple undirected graph whose vertex set is $R \setminus Z(R)$ and two distinct vertices $a$ and $b$ are adjacent if and only if $ab \ne ba$. In this paper, we show that $\Gamma_R$ is not isomorphic to certain graphs of any finite non-commutative ring $R$. Some connections between $\Gamma_R$ and commuting probability of $R$ are also obtained. Further, it is shown that the non-commuting graphs of two $\mathbb{Z}$-isoclinic rings are isomorphic if the centers of the rings have same order


title: Light fragment production at CERN Super Proton Synchrotron

abstract: Recent data on the deutron and $^3$He production in central Pb+Pb collisions at the CERN Super Proton Synchrotron (SPS) energies measured by the NA49 collaboration are analyzed within the model of the three-fluid dynamics (3FD) complemented by the coalescence model for the light-fragment production. The simulations are performed with different equations of state---with and without deconfinement transition. It is found that scenarios with the deconfinement transition are preferable for reproduction rapidity distributions of deuterons and $^3$He, the corresponding results well agree with the experimental data. At the same time the calculated transverse-mass spectra of $^3$He at midrapidity do not that nice agree with the experimental data. The latter apparently indicates that coalescence coefficients should be temperature and/or momentum dependent.


title: Analogue Hawking radiation in an exactly solvable model of BEC

abstract: Hawking radiation, the spontaneous emission of thermal photons from an event horizon, is one of the most intriguing and elusive predictions of field theory in curved spacetimes. A formally analogue phenomenon occurs at the supersonic transition of a fluid: in this respect, ultracold gases stand out among the most promising systems but the theoretical modelling of this effect has always been carried out in semiclassical approximation, borrowing part of the analysis from the gravitational analogy. Here we discuss the exact solution of a one-dimensional Bose gas flowing against an obstacle, showing that spontaneous phonon emission (the analogue of Hawking radiation) is predicted without reference to the gravitational analogy. Long after the creation of the obstacle, the fluid settles into a stationary state displaying the emission of sound waves (phonons) in the upstream direction. A careful analysis shows that a precise correspondence between this phenomenon and the spontaneous emission of radiation from an event horizon requires additional conditions to be met in future experiments aimed at identifying the occurrence of the Hawking-like mechanism in Bose-Einstein condensates.


title: A Relational Logic for Higher-Order Programs

abstract: Relational program verification is a variant of program verification where one can reason about two programs and as a special case about two executions of a single program on different inputs. Relational program verification can be used for reasoning about a broad range of properties, including equivalence and refinement, and specialized notions such as continuity, information flow security or relative cost. In a higher-order setting, relational program verification can be achieved using relational refinement type systems, a form of refinement types where assertions have a relational interpretation. Relational refinement type systems excel at relating structurally equivalent terms but provide limited support for relating terms with very different structures. We present a logic, called Relational Higher Order Logic (RHOL), for proving relational properties of a simply typed $\lambda$-calculus with inductive types and recursive definitions. RHOL retains the type-directed flavour of relational refinement type systems but achieves greater expressivity through rules which simultaneously reason about the two terms as well as rules which only contemplate one of the two terms. We show that RHOL has strong foundations, by proving an equivalence with higher-order logic (HOL), and leverage this equivalence to derive key meta-theoretical properties: subject reduction, admissibility of a transitivity rule and set-theoretical soundness. Moreover, we define sound embeddings for several existing relational type systems such as relational refinement types and type systems for dependency analysis and relative cost, and we verify examples that were out of reach of prior work.


title: Hubble Space Telescope Observations of BALQSO Ton 34 Reveal a Connection between the Broad Line Region and the BAL Outflow

abstract: Ton 34 recently transitioned from non-absorbing quasar into a BALQSO.Here, we report new HST-STIS observations of this quasar. Along with CIV absorption, we also detect absorption by NV+Ly alpha and possibly OVI+Ly beta. We follow the evolution of the CIV BAL, and find that, for the slower outflowing material, the absorption trough varies little (if at all) on a rest-frame timescale of 2 yr. However, we detect a strong deepening of the absorption in the gas moving at larger velocities (-20,000 - -23,000 km s-1). The data is consistent with a multistreaming flow crossing our line of sight to the source. The transverse velocity of the flow should be few thousand km s-1, similar to the rotation velocity of the BLR gas (2,600 km s-1). By simply assuming Keplerian motion, these two components must have similar locations, pointing to a common outflow forming the BLR and the BAL. We speculate that BALs, mini-BALs, and NALs, are part of a common, ubiquitous, accretion-disk outflow in AGN, but become observable depending on the viewing angle towards the flow. The absorption troughs suggest a wind covering only 20% of the emitting source, implying a maximum size of 10^-3 pc for the clouds forming the BAL/BLR medium. This is consistent with constraints of the BLR clouds from X-ray occultations. Finally, we suggest that the low excitation broad emission lines detected in the spectra of this source lie beyond the wind, and this gas is probably excited by the shock of the BAL wind with the surrounding medium.


title: A positive proportion of elements of mapping class groups is pseudo-Anosov

abstract: In the Cayley graph of the mapping class group of a closed surface, with respect to any generating set, we look at a ball of large radius centered on the identity vertex, and at the proportion among the vertices in this ball representing pseudo-Anosov elements. A well-known conjecture states that this proportion should tend to one as the radius tends to infinity. We prove that it stays bounded away from zero. We also prove similar results for a large class of subgroups of the mapping class group.


title: Average whenever you meet: Opportunistic protocols for community detection

abstract: Consider the following asynchronous, opportunistic communication model over a graph $G$: in each round, one edge is activated uniformly and independently at random and (only) its two endpoints can exchange messages and perform local computations. Under this model, we study the following random process: The first time a vertex is an endpoint of an active edge, it chooses a random number, say $\pm 1$ with probability $1/2$; then, in each round, the two endpoints of the currently active edge update their values to their average. We show that, if $G$ exhibits a two-community structure (for example, two expanders connected by a sparse cut), the values held by the nodes will collectively reflect the underlying community structure over a suitable phase of the above process, allowing efficient and effective recovery in important cases. In more detail, we first provide a first-moment analysis showing that, for a large class of almost-regular clustered graphs that includes the stochastic block model, the expected values held by all but a negligible fraction of the nodes eventually reflect the underlying cut signal. We prove this property emerges after a mixing period of length $\mathcal O(n\log n)$. We further provide a second-moment analysis for a more restricted class of regular clustered graphs that includes the regular stochastic block model. For this case, we are able to show that most nodes can efficiently and locally identify their community of reference over a suitable time window. This results in the first opportunistic protocols that approximately recover community structure using only polylogarithmic work per node. Even for the above class of regular graphs, our second moment analysis requires new concentration bounds on the product of certain random matrices that are technically challenging and possibly of independent interest.


title: ttH, ttZ and ttW measurements at LHC and top quark compositeness

abstract: This note is an attempt to interpret some excesses, not yet significant due to systematics, observed by ATLAS and CMS in various analyses related to the standard channels ttH, ttZ and ttW. It is argued, within a composite interpretation of top particles, that such excesses are not necessarily related to these channels themselves, although this is not excluded, but due to the underlying presence of either vector-like heavy quarks tprime,bprime or to final states as predicted in composite theories. The outcome of this discussion is that although it will not be easy to reach an exclusive interpretation, the data collected at 13 TeV may establish the origin of this effect as coming from the four top quark topology.


title: Data driven partition-of-unity copulas with applications to risk management

abstract: We present a constructive and self-contained approach to data driven general partition-of-unity copulas that were recently introduced in the literature. In particular, we consider Bernstein-, negative binomial and Poisson copulas and present a solution to the problem of fitting such copulas to highly asymmetric data.


title: Equiangular subspaces in Euclidean spaces

abstract: A set of lines through the origin is called equiangular if every pair of lines defines the same angle, and the maximum size of an equiangular set of lines in $\mathbb{R}^n$ was studied extensively for the last 70 years. In this paper, we study analogous questions for $k$-dimensional subspaces. We discuss natural ways of defining the angle between $k$-dimensional subspaces and correspondingly study the maximum size of an equiangular set of $k$-dimensional subspaces in $\mathbb{R}^n$. Our bounds extend and improve a result of Blokhuis.


title: Perfect hedging in rough Heston models

abstract: Rough volatility models are known to reproduce the behavior of historical volatility data while at the same time fitting the volatility surface remarkably well, with very few parameters. However, managing the risks of derivatives under rough volatility can be intricate since the dynamics involve fractional Brownian motion. We show in this paper that surprisingly enough, explicit hedging strategies can be obtained in the case of rough Heston models. The replicating portfolios contain the underlying asset and the forward variance curve, and lead to perfect hedging (at least theoretically). From a probabilistic point of view, our study enables us to disentangle the infinite-dimensional Markovian structure associated to rough volatility models.


title: Single-photon double ionization: renormalized-natural-orbital theory vs multi-configurational Hartree-Fock

abstract: The $N$-particle wavefunction has too many dimensions for a direct time propagation of a many-body system according to the time-dependent Schr\"odinger equation (TDSE). On the other hand, time-dependent density functional theory (TDDFT) tells us that the single-particle density is, in principle, sufficient. However, a practicable equation of motion (EOM) for the accurate time evolution of the single-particle density is unknown. It is thus an obvious idea to propagate a quantity which is not as reduced as the single-particle density but less dimensional than the $N$-body wavefunction. Recently, we have introduced time-dependent renormalized-natural-orbital theory (TDRNOT). TDRNOT is based on the propagation of the eigenfunctions of the one-body reduced density matrix (1-RDM), the so-called natural orbitals. In this paper we demonstrate how TDRNOT is related to the multi-configurational time-dependent Hartree-Fock (MCTDHF) approach. We also compare the performance of MCTDHF and TDRNOT vs the TDSE for single-photon double ionization (SPDI) of a 1D helium model atom. SPDI is one of the effects where TDDFT does not work in practice, especially if one is interested in correlated photoelectron spectra, for which no explicit density functional is known.


title: Deep learning with convolutional neural networks for EEG decoding and visualization

abstract: PLEASE READ AND CITE THE REVISED VERSION at Human Brain Mapping: http://onlinelibrary.wiley.com/doi/10.1002/hbm.23730/full Code available here: https://github.com/robintibor/braindecode