title: Tight Hamilton cycles in cherry quasirandom $3$-uniform hypergraphs

abstract: We employ the absorbing-path method in order to prove two results regarding the emergence of tight Hamilton cycles in the so called {\em two-path} or {\em cherry}-quasirandom $3$-graphs. Our first result asserts that for any fixed real $\alpha >0$, cherry-quasirandom $3$-graphs of sufficiently large order $n$ having minimum $2$-degree at least $\alpha (n-2)$ have a tight Hamilton cycle. Our second result concerns the minimum $1$-degree sufficient for such $3$-graphs to have a tight Hamilton cycle. Roughly speaking, we prove that for every $d,\alpha >0$ satisfying $d + \alpha >1$, any sufficiently large $n$-vertex such $3$-graph $H$ of density $d$ and minimum $1$-degree at least $\alpha \binom{n-1}{2}$, has a tight Hamilton cycle.


title: Locating the critical end point using the linear sigma model coupled to quarks

abstract: We use the linear sigma model coupled to quarks to compute the effective potential beyond the mean field approximation, including the contribution of the ring diagrams at finite temperature and baryon density. We determine the model couplings and use them to study the phase diagram in the baryon chemical potential-temperature plane and to locate the Critical End Point.


title: Distance scaling of electric-field noise in a surface-electrode ion trap

abstract: We investigate anomalous ion-motional heating, a limitation to multi-qubit quantum-logic gate fidelity in trapped-ion systems, as a function of ion-electrode separation. Using a multi-zone surface-electrode trap in which ions can be held at five discrete distances from the metal electrodes, we measure power-law dependencies of the electric-field noise experienced by the ion on the ion-electrode distance $d$. We find a scaling of approximately $d^{-4}$ regardless of whether the electrodes are at room temperature or cryogenic temperature, despite the fact that the heating rates are approximately two orders of magnitude smaller in the latter case. Through auxiliary measurements using application of noise to the electrodes, we rule out technical limitations to the measured heating rates and scalings. We also measure frequency scaling of the inherent electric-field noise close to $1/f$ at both temperatures. These measurements eliminate from consideration anomalous-heating models which do not have a $d^{-4}$ distance dependence, including several microscopic models of current interest.


title: Non-integrability of a system with the Dyson Potential

abstract: In this paper it is shown that the Hamiltonian system with Dyson potential is analytical non-integrable and formal non-integrable. The approach is based on the following: when a system has a family of periodic solutions around an equilibrium and if the period function is infinitely branched then the system has non additional analytic first integral. We prove formal non-integrability using Ziglin-Moralez-Ruiz-Ramis theory.


title: Modeling the Multiple Sclerosis Brain Disease Using Agents: What Works and What Doesn't?

abstract: The human brain is one of the most complex living structures in the known Universe. It consists of billions of neurons and synapses. Due to its intrinsic complexity, it can be a formidable task to accurately depict brain's structure and functionality. In the past, numerous studies have been conducted on modeling brain disease, structure, and functionality. Some of these studies have employed Agent-based approaches including multiagent-based simulation models as well as brain complex networks. While these models have all been developed using agent-based computing, however, to our best knowledge, none of them have employed the use of Agent-Oriented Software Engineering (AOSE) methodologies in developing the brain or disease model. This is a problem because without due process, developed models can miss out on important requirements. AOSE has the unique capability of merging concepts from multiagent systems, agent-based modeling, artificial intelligence, besides concepts from distributed systems. AOSE involves the various tested software engineering principles in various phases of the model development ranging from analysis, design, implementation, and testing phases. In this paper, we employ the use of three different AOSE methodologies for modeling the Multiple Sclerosis brain disease namely GAIA, TROPOS, and MASE. After developing the models, we further employ the use of Exploratory Agent-based Modeling (EABM) to develop an actual model replicating previous results as a proof of concept. The key objective of this study is to demonstrate and explore the viability and effectiveness of AOSE methodologies in the development of complex brain structure and cognitive process models. Our key finding include demonstration that AOSE methodologies can be considerably helpful in modeling various living complex systems, in general, and the human brain, in particular.


title: Asymptotic Behaviours Given by Elliptic Functions in $P_I$--$P_V$

abstract: Following the study of complex elliptic-function-type asymptotic behaviours of the Painlev\'e equations by Boutroux and Joshi and Kruskal for $P_I$ and $P_{II}$, we provide new results for elliptic-function-type behaviours admitted by $P_{III}$, $P_{IV}$, and $P_{V}$, in the limit as the independent variable $z$ approaches infinity. We show how the Hamiltonian $E_{\rm J}$ of each equation $\rm P_{\rm J}$, $\rm J=I, \ldots , V$, varies across a local period parallelogram of the leading-order behaviour, by applying the method of averaging in the complex $z$-plane. Surprisingly, our results show that all the equations $P_I-P_{V}$ share the same modulation of $E$ to the first two orders.


title: Delineation of Skin Strata in Reflectance Confocal Microscopy Images using Recurrent Convolutional Networks with Toeplitz Attention

abstract: Reflectance confocal microscopy (RCM) is an effective, non-invasive pre-screening tool for skin cancer diagnosis, but it requires extensive training and experience to assess accurately. There are few quantitative tools available to standardize image acquisition and analysis, and the ones that are available are not interpretable. In this study, we use a recurrent neural network with attention on convolutional network features. We apply it to delineate skin strata in vertically-oriented stacks of transverse RCM image slices in an interpretable manner. We introduce a new attention mechanism called Toeplitz attention, which constrains the attention map to have a Toeplitz structure. Testing our model on an expert labeled dataset of 504 RCM stacks, we achieve 88.17% image-wise classification accuracy, which is the current state-of-art.


title: InclusiveFaceNet: Improving Face Attribute Detection with Race and Gender Diversity

abstract: We demonstrate an approach to face attribute detection that retains or improves attribute detection accuracy across gender and race subgroups by learning demographic information prior to learning the attribute detection task. The system, which we call InclusiveFaceNet, detects face attributes by transferring race and gender representations learned from a held-out dataset of public race and gender identities. Leveraging learned demographic representations while withholding demographic inference from the downstream face attribute detection task preserves potential users' demographic privacy while resulting in some of the best reported numbers to date on attribute detection in the Faces of the World and CelebA datasets.


title: Fundamental Principles in Bacterial Physiology - History, Recent progress, and the Future with Focus on Cell Size Control: A Review

abstract: Bacterial physiology is a branch of biology that aims to understand overarching principles of cellular reproduction. Many important issues in bacterial physiology are inherently quantitative, and major contributors to the field have often brought together tools and ways of thinking from multiple disciplines. This article presents a comprehensive overview of major ideas and approaches developed since the early 20th century for anyone who is interested in the fundamental problems in bacterial physiology. This article is divided into two parts. In the first part (Sections 1 to 3), we review the first `golden era' of bacterial physiology from the 1940s to early 1970s and provide a complete list of major references from that period. In the second part (Sections 4 to 7), we explain how the pioneering work from the first golden era has influenced various rediscoveries of general quantitative principles and significant further development in modern bacterial physiology. Specifically, Section 4 presents the history and current progress of the `adder' principle of cell size homeostasis. Section 5 discusses the implications of coarse-graining the cellular protein composition, and how the coarse-grained proteome `sectors' re-balance under different growth conditions. Section 6 focuses on physiological invariants, and explains how they are the key to understanding the coordination between growth and the cell cycle underlying cell size control in steady-state growth. Section 7 overviews how the temporal organization of all the internal processes enables balanced growth. In the final Section 8, we conclude by discussing the remaining challenges for the future in the field.


title: 3D Facial Action Units Recognition for Emotional Expression

abstract: The muscular activities caused the activation of certain AUs for every facial expression at the certain duration of time throughout the facial expression. This paper presents the methods to recognise facial Action Unit (AU) using facial distance of the facial features which activates the muscles. The seven facial action units involved are AU1, AU4, AU6, AU12, AU15, AU17 and AU25 that characterises happy and sad expression. The recognition is performed on each AU according to rules defined based on the distance of each facial points. The facial distances chosen are extracted from twelve facial features. Then the facial distances are trained using Support Vector Machine (SVM) and Neural Network (NN). Classification result using SVM is presented with several different SVM kernels while result using NN is presented for each training, validation and testing phase.


title: Kernel entropy estimation for linear processes

abstract: Let $\{X_n: n\in \mathbb{N}\}$ be a linear process with bounded probability density function $f(x)$. We study the estimation of the quadratic functional $\int_{\mathbb{R}} f^2(x)\, dx$. With a Fourier transform on the kernel function and the projection method, it is shown that, under certain mild conditions, the estimator \[ \frac{2}{n(n-1)h_n} \sum_{1\le i<j\le n}K\left(\frac{X_i-X_j}{h_n}\right) \] has similar asymptotical properties as the i.i.d. case studied in Gin\'{e} and Nickl (2008) if the linear process $\{X_n: n\in \mathbb{N}\}$ has the defined short range dependence. We also provide an application to $L^2_2$ divergence and the extension to multivariate linear processes. The simulation study for linear processes with Gaussian and $\alpha$-stable innovations confirms our theoretical results. As an illustration, we estimate the $L^2_2$ divergences among the density functions of average annual river flows for four rivers and obtain promising results.


title: CP-odd Higgs Boson Production in $e\gamma$ Collisions

abstract: We investigate the CP-odd Higgs boson production via two-photon processes in $e\gamma$ collisions. The CP-odd Higgs boson, which we denote as $A^0$, is expected to appear in the Two-Higgs Doublet Models (2HDM) as a minimal extension of Higgs sector for which the Minimal Supersymmetric Standard Model (MSSM) is a special case. The scattering amplitude for $e\gamma\rightarrow eA^0$ is evaluated at the electroweak one-loop level. The dominant contribution comes only from top-quark loops when $A^0$ boson is rather light and $\tan\beta$ is not large. There are no contributions from the $W$-boson and $Z$-boson loops nor from the scalar top-quark (stop) loops. The differential cross section for the $A^0$ production is analysed.


title: Spin waves and stability of zigzag order in the Hubbard model with spin-dependent hopping terms - Application to the honeycomb lattice compounds ${\rm Na_2 Ir O_3}$ and ${\rm \alpha - Ru Cl_3}$

abstract: Spin waves in the zigzag ordered state on a honeycomb lattice are investigated within a Hubbard model with spin-dependent hopping terms. Roles of the emergent Kitaev, Heisenberg, Dzyaloshinskii-Moriya, and symmetric-off-diagonal spin interactions are investigated on the stability of the zigzag order. While the DM interactions are found to destabilize the zigzag order, the secondary spin-dependent hopping terms (associated with structural distortions) are shown to strongly stabilize the zigzag order and account for magnetocrystalline anisotropy, easy axis, and spin wave gap. The calculated spin wave dispersion and energy scale are in good agreement with inelastic neutron scattering measurements on $\rm \alpha - RuCl_3$ and $\rm Na_2 Ir O_3$.


title: Twisted hyperk\"ahler symmetries and hyperholomorphic line bundles

abstract: In this paper we propose and investigate in full generality new notions of (continuous, non-isometric) symmetry on hyperk\"ahler spaces. These can be grouped into two categories, corresponding to the two basic types of continuous hyperk\"ahler isometries which they deform: tri-Hamiltonian isometries, on one hand, and rotational isometries, on the other. The first category of deformations gives rise to Killing spinors and generate what are known as hidden hyperk\"ahler symmetries. The second category gives rise to hyperholomorphic line bundles over the hyperk\"ahler manifolds on which they are defined and, by way of the Atiyah-Ward correspondence, to holomorphic line bundles over their twistor spaces endowed with meromorphic connections, generalizing similar structures found in the purely rotational case by Haydys and Hitchin. Examples of hyperk\"ahler metrics with this type of symmetry include the c-map metrics on cotangent bundles of affine special K\"ahler manifolds with generic prepotential function, and the hyperk\"ahler constructions on the total spaces of certain integrable systems proposed by Gaiotto, Moore and Neitzke in connection with the wall-crossing formulas of Kontsevich and Soibelman, to which our investigations add a new layer of geometric understanding.


title: Graph Homomorphism Reconfiguration and Frozen $H$-Colourings

abstract: For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $\varphi$ and $\psi$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=\varphi$, $f_m=\psi$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i<m$ and $uv\in E(G)$? If the graph $G$ is loop-free, then this is the equivalent to asking whether it possible to transform $\varphi$ into $\psi$ by changing the colour of one vertex at a time such that all intermediate mappings are $H$-colourings. In the affirmative, we say that $\varphi$ reconfigures to $\psi$. Currently, the complexity of deciding whether an $H$-colouring $\varphi$ reconfigures to an $H$-colouring $\psi$ is only known when $H$ is a clique, a circular clique, a $C_4$-free graph, or in a few other cases which are easily derived from these. We show that this problem is PSPACE-complete when $H$ is an odd wheel. An important notion in the study of reconfiguration problems for $H$-colourings is that of a frozen $H$-colouring; i.e. an $H$-colouring $\varphi$ such that $\varphi$ does not reconfigure to any $H$-colouring $\psi$ such that $\psi\neq \varphi$. We obtain an explicit dichotomy theorem for the problem of deciding whether a given graph $G$ admits a frozen $H$-colouring. The hardness proof involves a reduction from a CSP problem which is shown to be NP-complete by establishing the non-existence of a certain type of polymorphism.


title: A 3D Coarse-to-Fine Framework for Volumetric Medical Image Segmentation

abstract: In this paper, we adopt 3D Convolutional Neural Networks to segment volumetric medical images. Although deep neural networks have been proven to be very effective on many 2D vision tasks, it is still challenging to apply them to 3D tasks due to the limited amount of annotated 3D data and limited computational resources. We propose a novel 3D-based coarse-to-fine framework to effectively and efficiently tackle these challenges. The proposed 3D-based framework outperforms the 2D counterpart to a large margin since it can leverage the rich spatial infor- mation along all three axes. We conduct experiments on two datasets which include healthy and pathological pancreases respectively, and achieve the current state-of-the-art in terms of Dice-S{\o}rensen Coefficient (DSC). On the NIH pancreas segmentation dataset, we outperform the previous best by an average of over 2%, and the worst case is improved by 7% to reach almost 70%, which indicates the reliability of our framework in clinical applications.


title: InverseNet: Solving Inverse Problems with Splitting Networks

abstract: We propose a new method that uses deep learning techniques to solve the inverse problems. The inverse problem is cast in the form of learning an end-to-end mapping from observed data to the ground-truth. Inspired by the splitting strategy widely used in regularized iterative algorithm to tackle inverse problems, the mapping is decomposed into two networks, with one handling the inversion of the physical forward model associated with the data term and one handling the denoising of the output from the former network, i.e., the inverted version, associated with the prior/regularization term. The two networks are trained jointly to learn the end-to-end mapping, getting rid of a two-step training. The training is annealing as the intermediate variable between these two networks bridges the gap between the input (the degraded version of output) and output and progressively approaches to the ground-truth. The proposed network, referred to as InverseNet, is flexible in the sense that most of the existing end-to-end network structure can be leveraged in the first network and most of the existing denoising network structure can be used in the second one. Extensive experiments on both synthetic data and real datasets on the tasks, motion deblurring, super-resolution, and colorization, demonstrate the efficiency and accuracy of the proposed method compared with other image processing algorithms.


title: Closed-loop field development with multipoint geostatistics and statistical performance assessment

abstract: Closed-loop field development (CLFD) optimization is a comprehensive framework for optimal development of subsurface resources. CLFD involves three major steps: 1) optimization of full development plan based on current set of models, 2) drilling new wells and collecting new spatial and temporal (production) data, 3) model calibration based on all data. This process is repeated until the optimal number of wells is drilled. This work introduces an efficient CLFD implementation for complex systems described by multipoint geostatistics (MPS). Model calibration is accomplished in two steps: conditioning to spatial data by a geostatistical simulation method, and conditioning to production data by optimization-based PCA. A statistical procedure is presented to assess the performance of CLFD. Methodology is applied to an oil reservoir example for 25 different true-model cases. Application of a single-step of CLFD, improved the true NPV in 64%--80% of cases. The full CLFD procedure (with three steps) improved the true NPV in 96% of cases, with an average improvement of 37%.


title: Many body localization-delocalization transition in quantum Sherrington-Kirkpatrick model

abstract: We analyze many-body localization (MBL) to delocalization transition in Sherrington-Kirkpatrick (SK) model of Ising spin glass (SG) in the presence of a transverse field $\Gamma$. Based on energy resolved analysis, which is of relevance for a closed quantum system, we show that the quantum SK model has many-body mobility edges separating MBL phase which is non-ergodic and non-thermal from the delocalized phase which is ergodic and thermal. The range of the delocalized regime increases with increase in the strength of $\Gamma$ and eventually for $\Gamma$ larger than $\Gamma_{CP}$ the entire many-body spectrum is delocalized. We show that the Renyi entropy is almost independent of the system size in the MBL phase, hinting towards an area law in this infinite range model while the delocalized phase shows volume law scaling of Renyi entropy. We further obtain spin glass transition curve in energy density $\epsilon$-$\Gamma$ plane from the collapse of eigenstate spin susceptibility. We demonstrate that in most of the parameter regime SG transition occurs close to the MBL transition indicating that the SG phase is non-ergodic and non-thermal while the paramagnetic phase is delocalized and thermal.


title: Tensors, Learning, and 'Kolmogorov Extension' for Finite-alphabet Random Vectors

abstract: Estimating the joint probability mass function (PMF) of a set of random variables lies at the heart of statistical learning and signal processing. Without structural assumptions, such as modeling the variables as a Markov chain, tree, or other graphical model, joint PMF estimation is often considered mission impossible - the number of unknowns grows exponentially with the number of variables. But who gives us the structural model? Is there a generic, `non-parametric' way to control joint PMF complexity without relying on a priori structural assumptions regarding the underlying probability model? Is it possible to discover the operational structure without biasing the analysis up front? What if we only observe random subsets of the variables, can we still reliably estimate the joint PMF of all? This paper shows, perhaps surprisingly, that if the joint PMF of any three variables can be estimated, then the joint PMF of all the variables can be provably recovered under relatively mild conditions. The result is reminiscent of Kolmogorov's extension theorem - consistent specification of lower-dimensional distributions induces a unique probability measure for the entire process. The difference is that for processes of limited complexity (rank of the high-dimensional PMF) it is possible to obtain complete characterization from only three-dimensional distributions. In fact not all three-dimensional PMFs are needed; and under more stringent conditions even two-dimensional will do. Exploiting multilinear algebra, this paper proves that such higher-dimensional PMF completion can be guaranteed - several pertinent identifiability results are derived. It also provides a practical and efficient algorithm to carry out the recovery task. Judiciously designed simulations and real-data experiments on movie recommendation and data classification are presented to showcase the effectiveness of the approach.


title: Distributed Stratified Locality Sensitive Hashing for Critical Event Prediction in the Cloud

abstract: The availability of massive healthcare data repositories calls for efficient tools for data-driven medicine. We introduce a distributed system for Stratified Locality Sensitive Hashing to perform fast similarity-based prediction on large medical waveform datasets. Our implementation, for an ICU use case, prioritizes latency over throughput and is targeted at a cloud environment. We demonstrate our system on Acute Hypotensive Episode prediction from Arterial Blood Pressure waveforms. On a dataset of $1.37$ million points, we show scaling up to $40$ processors and a $21\times$ speedup in number of comparisons to parallel exhaustive search at the price of a $10\%$ Matthews correlation coefficient (MCC) loss. Furthermore, if additional MCC loss can be tolerated, our system achieves speedups up to two orders of magnitude.


title: Tunneling from the past horizon

abstract: We investigate a tunneling and emission process of a thin-shell from a Schwarzschild black hole, where the shell was initially located beyond the Einstein-Rosen bridge and finally appears at the right side of the Penrose diagram. In order to obtain such a solution, we should assume that the areal radius of the black hole horizon increases after the tunneling. Hence, there is a parameter range such that the tunneling rate is exponentially enhanced, rather than suppressed. We may have two interpretations regarding this. First, such a tunneling process from the past horizon is improbable by physical reasons; second, such a tunneling is possible in principle, but in order to obtain a stable Einstein-Rosen bridge, one needs to restrict the parameter spaces. If such a process is allowed, this can be a non-perturbative contribution to Einstein-Rosen bridges as well as eternal black holes.


title: The full chracterazation of the graphs with a L-eigenvalue of multiplicity $n-3$

abstract: Let $\mathcal{G}(n,k)$ be the set of connected graphs of order $n$ with one of the Laplacian eigenvalue having multiplicity $k$. It is well known that $\mathcal{G}(n,n-1)=\{K_n\}$. The graphs of $\mathcal{G}(n,n-2)$ are determined by Das, and the graphs of $\mathcal{G}(n,n-3)$ with four distinct Laplacian eigenvalues are determined by Mohammadian et al. In this paper, we determine the graphs of $\mathcal{G}(n,n-3)$ with three distinct Laplacian eigenvalues, and then the full characterization of the graphs in $\mathcal{G}(n,n-3)$ is completed.


title: Dilaton Black Hole Entropy from Entropy Function Formalism

abstract: It has been shown that the entropy function formalism is an efficient way to calculate the entropy of black holes in string theory. We check this formalism for the extremal charged dilaton black hole. We find the general four-derivative correction on the black hole entropy from the value of the entropy function at its extremum point.


title: An upper bound on the size of avoidance couplings

abstract: We show that a coupling of non-colliding simple random walkers on the complete graph on $n$ vertices can include at most $n - \log n$ walkers. This improves the only previously known upper bound of $n-2$ due to Angel, Holroyd, Martin, Wilson, and Winkler ({\it Electron.~Commun.~Probab.~18}, 2013). The proof considers couplings of i.i.d.~sequences of Bernoulli random variables satisfying a similar avoidance property, for which there is separate interest. Our bound in this setting should be closer to optimal.


title: Power-Traffic Coordinated Operation for Bi-Peak Shaving and Bi-Ramp Smoothing -A Hierarchical Data-Driven Approach

abstract: With the rapid adoption of distributed photovoltaics (PVs) in certain regions, issues such as lower net load valley during the day and more steep ramping of the demand after sunset start to challenge normal operations at utility companies. Urban transportation systems also have high peak congestion periods and steep ramping because of traffic patterns. We propose using the emerging electric vehicles (EVs) and the charing/discharging stations (CDSs) to coordinate the operation between power distribution system (PDS) and the urban transportation system (UTS), therefore, the operation challenges in each system can be mitigated by utilizing the flexibility of the other system. We conducted the simulation and numerical analysis using the IEEE 8,500-bus for the PDS and the Sioux Falls system with about 10,000 cars for the UTS. Two systems are simulated jointly to demonstrate the feasibility and effectiveness of the proposed approach.


title: HeCS-red: Dense Hectospec Surveys of redMaPPer-Selected Clusters

abstract: We use dense redshift surveys to explore the properties of galaxy clusters selected from the redMaPPer catalog of overdensities of red galaxies. Our new survey, HeCS-red (Hectospec Cluster Survey of red-sequence selected clusters), includes 10,589 new or remeasured redshifts from MMT/Hectospec observations of redMaPPer clusters at redshifts $z$=0.08-0.25 with large estimated richnesses (richness estimate $\lambda >64$). Our spectra confirm that each of these candidate clusters corresponds to an overdensity in redshift space. The redMaPPer photometric redshifts have a slight bias towards higher redshifts. We measure the scaling relation between velocity dispersion $\sigma_p$ and redMaPPer richness estimates $\lambda$. The observed relation shows intrinsic scatter of 24\% in velocity dispersion at fixed richness, and a range of a factor of two in measured $\sigma_p$ at fixed richness. We extend our analysis to HeCS-red-ext, a sample that includes several clusters selected by X-ray flux or SZ signal. The heterogeneous sample of 121 clusters in HeCS-red-ext shows similar intrinsic scatter, but the range of $\sigma_p$ at fixed richness increases to a factor of three. We evaluate the membership probability estimates $P_{mem}$ for individual galaxies provided by redMaPPer. The spectroscopic membership fraction is larger than $P_{mem}$ for $0.05\leq P_{mem}\leq 0.7$; conversely, it is smaller than $P_{mem}$ at $P_{mem}\geq 0.8$. We compare spectroscopic richness estimates to redMaPPer richness estimates and find good agreement on average, but a range of a factor of two in spectroscopic richness at fixed redMaPPer richness. Overall, within the high-richness and low-redshift cut of our sample, spectroscopically estimated parameters such as velocity dispersion correlate well with photometric richness estimates, although the relations contain substantial scatter.


title: Real-time Semantic Image Segmentation via Spatial Sparsity

abstract: We propose an approach to semantic (image) segmentation that reduces the computational costs by a factor of 25 with limited impact on the quality of results. Semantic segmentation has a number of practical applications, and for most such applications the computational costs are critical. The method follows a typical two-column network structure, where one column accepts an input image, while the other accepts a half-resolution version of that image. By identifying specific regions in the full-resolution image that can be safely ignored, as well as carefully tailoring the network structure, we can process approximately 15 highresolution Cityscapes images (1024x2048) per second using a single GTX 980 video card, while achieving a mean intersection-over-union score of 72.9% on the Cityscapes test set.


title: On the Hardness of Deriving the Arithmetic Mean Component Competitive Ratio

abstract: For the multi-objective time series search problem, Hasegawa and Itoh [Theoretical Computer Science, Vo.718, pp.58-66, 2018] presented the best possible online algorithm balanced price policy (BPP for short) for any monotone function $f: R^k \to R$. Specifically, the competitive ratio with respect to the monotone function $f(c_{1},\ldots,c_{k})=(c_{1}+\cdots+c_{k})/k$ is referred to as the arithmetic mean component competitive ratio. Hasegawa and Itoh derived the closed formula of the arithmetic mean component competitive ratio for $k=2$, but it has not been known for any integer $k \geq 3$. In this paper, we show that it is NP-hard to derive closed formulas of the arithmetic mean component competitive ratio for general integer $k\geq 2$. On the the hand, we derive closed formulas of the arithmetic mean component competitive ratio for $k=3$ and $k=4$.


title: Spin-resolved electron waiting times in a quantum dot spin valve

abstract: We study the electronic waiting time distributions (WTDs) in a non-interacting quantum dot spin valve by varying spin polarization and the noncollinear angle between the magnetizations of the leads using scattering matrix approach. Since the quantum dot spin valve involves two channels (spin up and down) in both the incoming and outgoing channels, we study three different kinds of WTDs, which are two-channel WTD, spin-resolved single-channel WTD and cross-channel WTD. We analyze the behaviors of WTDs in short times, correlated with the current behaviors for different spin polarizations and noncollinear angles. Cross-channel WTD reflects the correlation between two spin channels and can be used to characterize the spin transfer torque process. We study the influence of the earlier detection on the subsequent detection from the perspective of cross-channel WTD, and define the influence degree quantity as the cumulative absolute difference between cross-channel WTDs and first passage time distributions to quantitatively characterize the spin flip process. The influence degree shows a similar behavior with spin transfer torque and can be a new pathway to characterize spin correlation in spintronics system.


title: Micro Hand Gesture Recognition System Using Ultrasonic Active Sensing

abstract: In this paper, we propose a micro hand gesture recognition system and methods using ultrasonic active sensing. This system uses micro dynamic hand gestures for recognition to achieve human-computer interaction (HCI). The implemented system, called hand-ultrasonic gesture (HUG), consists of ultrasonic active sensing, pulsed radar signal processing, and time-sequence pattern recognition by machine learning. We adopt lower frequency (300 kHz) ultrasonic active sensing to obtain high resolution range-Doppler image features. Using high quality sequential range-Doppler features, we propose a state-transition-based hidden Markov model for gesture recognition. This method achieves a recognition accuracy of nearly 90\% by using symbolized range-Doppler features and significantly reduces the computational complexity and power consumption. Furthermore, to achieve higher classification accuracy, we utilize an end-to-end neural network model and obtain a recognition accuracy of 96.32\%. In addition to offline analysis, a real-time prototype is released to verify our method's potential for application in the real world.


title: $R$-band host galaxy contamination of TeV $\gamma$-ray blazar Mrk 501: effects of the aperture size and seeing

abstract: We simulated the $R$-band contribution of the host galaxy of TeV $\gamma$-ray BL Lac object Mrk 501 in different aperture sizes and seeing conditions . The intensive observations were run with the 1.02 m optical telescope at Yunnan Observatories from 2010 May 15 to 18. Based on the host subtraction data presented in Nilsson et al. (2007), the subtraction of host galaxy contamination results in significant seeing-brightness correlations. These correlations would lead to illusive large amplitude variations at short timescales, which will mask the intrinsic micro variability, thus gives rise to difficulty in detecting the intrinsic micro variability. Both aperture size and seeing condition influence the flux measurements, but aperture size impact the result more significantly. Based on the parameters of elliptical galaxy provided in Nilsson et al. (1999), we simulated the host contributions of Mrk 501 in the different aperture sizes and seeing conditions. Our simulation data of the host galaxy obviously weaken these significant seeing-brightness correlations for the host-subtracted brightness of Mrk 501, and can help us discover the intrinsic short timescale micro variability. The pure nuclear flux is $\sim$ 8.0 $\rm{mJy}$ in \emph{R} band, i.e., AGN has a magnitude of $R\sim13^{m}_{\cdot}96$.


title: Ensemble Prediction of a Halo Coronal Mass Ejection Using Heliospheric Imagers

abstract: The Solar TErrestrial RElations Observatory (STEREO) and its heliospheric imagers (HI) have provided us the possibility to enhance our understanding of the interplanetary propagation of coronal mass ejections (CMEs). HI-based methods are able to forecast arrival times and speeds at any target and use the advantage of tracing a CME's path of propagation up to 1 AU. In our study we use the ELEvoHI model for CME arrival prediction together with an ensemble approach to derive uncertainties in the modeled arrival time and impact speed. The CME from 3 November 2010 is analyzed by performing 339 model runs that are compared to in situ measurements from lined-up spacecraft MESSENGER and STEREO-B. Remote data from STEREO-B showed the CME as halo event, which is comparable to an HI observer situated at L1 and observing an Earth-directed CME. A promising and easy approach is found by using the frequency distributions of four ELEvoHI output parameters, drag parameter, background solar wind speed, initial distance and speed. In this case study, the most frequent values of these outputs lead to the predictions with the smallest errors. Restricting the ensemble to those runs, we are able to reduce the mean absolute arrival time error from $3.5 \pm 2.6$ h to $1.6 \pm 1.1$ h at 1 AU. Our study suggests that L1 may provide a sufficient vantage point for an Earth-directed CME, when observed by HI, and that ensemble modeling could be a feasible approach to use ELEvoHI operationally.


title: Terahertz spectroscopy and global analysis of the rotational spectrum of doubly deuterated Amidogen radical ND$_{2}$

abstract: The deuteration mechanism of molecules in the interstellar medium (ISM) is still being debated. Observations of deuterium-bearing species in several astronomical sources represent a powerful tool to improve our understanding of the interstellar chemistry. The doubly deuterated form of the astrophysically interesting Amidogen radical could be a target of detection in space. In this work, the rotational spectrum of the ND$_{2}$ radical in its ground vibrational and electronic $X^{2}B_{1}$ states has been investigated between 588 and 1131 GHz using a frequency modulation millimeter/submillimeter-wave spectrometer. The ND$_{2}$ has been produced in a free-space glass absorption cell by discharging a mixture of ND$_{3}$ and Ar. Sixty-four new transition frequencies involving $J$ values from 2 to 5 and $K_{a}$ values from 0 to 4 have been measured. A global analysis including all the previous field-free pure rotational data has been performed, allowing for a more precise determination of a very large number of spectroscopic parameters. Accurate predictions of rotational transition frequencies of ND$_{2}$ are now available from a few GHz up to several THz.


title: On a conjecture of Karasev

abstract: Karasev conjectured that for any set of $3k$ lines in general position in the plane, which is partitioned into $3$ color classes of equal size $k$, the set can be partitioned into $k$ colorful 3-subsets such that all the triangles formed by the subsets have a point in common. Although the general conjecture is false, we show that Karasev's conjecture is true for lines in convex position. We also discuss possible generalizations of this result.


title: K{\"a}hler geometry of horosymmetric varieties, and application to Mabuchi's K-energy functional

abstract: We introduce a class of almost homogeneous varieties contained in the class of spherical varieties and containing horospherical varieties as well as complete symmetric varieties. We develop K{\"a}hler geometry on these varieties, with applications to canonical metrics in mind, as a generalization of the Guillemin-Abreu-Donaldson geometry of toric varieties. Namely we associate convex functions with hermitian metrics on line bundles, and express the curvature form in terms of this function, as well as the corresponding Monge-Amp{\`e}re volume form and scalar curvature. We then provide an expression for the Mabuchi functional and derive as an application a combinatorial sufficient condition of properness similar obtained by Li, Zhou and Zhu on group compactifications.


title: A double competitive strategy based learning automata algorithm

abstract: Learning Automata (LA) are considered as one of the most powerful tools in the field of reinforcement learning. The family of estimator algorithms is proposed to improve the convergence rate of LA and has made great achievements. However, the estimators perform poorly on estimating the reward probabilities of actions in the initial stage of the learning process of LA. In this situation, a lot of rewards would be added to the probabilities of non-optimal actions. Thus, a large number of extra iterations are needed to compensate for these wrong rewards. In order to improve the speed of convergence, we propose a new P-model absorbing learning automaton by utilizing a double competitive strategy which is designed for updating the action probability vector. In this way, the wrong rewards can be corrected instantly. Hence, the proposed Double Competitive Algorithm overcomes the drawbacks of existing estimator algorithms. A refined analysis is presented to show the $\epsilon-optimality$ of the proposed scheme. The extensive experimental results in benchmark environments demonstrate that our proposed learning automata perform more efficiently than the most classic LA $SE_{RI}$ and the current fastest LA $DGCPA^{*}$.


title: $L^p$-$L^q$ Maximal Regularity for some Operators Associated with Linearized Incompressible Fluid-Rigid Body Problems

abstract: We study an unbounded operator arising naturally after linearizing the system modelling the motion of a rigid body in a viscous incompressible fluid. We show that this operator is $\mathcal{R}$ sectorial in $L^q$ for every $q\in (1,\infty)$, thus it has the maximal $L^p$-$L^q$ regularity property. Moreover, we show that the generated semigroup is exponentially stable with respect to the $L^q$ norm. Finally, we use the results to prove the global existence for small initial data, in an $L^p$-$L^q$ setting, for the original nonlinear problem.


title: Detection Limit for Optically Sensing Specific Protein Interactions in Free-solution

abstract: Optical molecular sensing techniques are often limited by the refractive index change associated with the probed interactions. In this work, we present a closed form analytical model to estimate the magnitude of optical refractive index change arising from protein-protein interactions. The model, based on the Maxwell Garnett effective medium theory and first order chemical kinetics serves as a general framework for estimating the detection limits of optical sensing of molecular interactions. The model is applicable to situations where one interacting species is immobilized to a surface, as commonly done, or to emerging techniques such as Back-Scattering Interferometry (BSI) where both interacting species are un-tethered. Our findings from this model point to the strong role of as yet unidentified factors in the origin of the BSI signal resulting in significant deviation from linear optical response.


title: Functors of wrapped Fukaya categories from Lagrangian correspondences

abstract: We study wrapped Floer theory on product Liouville manifolds and prove that the wrapped Fukaya categories defined with respect to two different kinds of natural Hamiltonians and almost complex structures are equivalent. The implication is we can do quilted version of wrapped Floer theory, based on which we then construct functors between wrapped Fukaya categories of Liouville manifolds from certain classes of Lagrangian correspondences, by enlarging the wrapped Fukaya categories appropriately, allowing exact cylindrical Lagrangian immersions. For applications, we present a general K\"{u}nneth formula, and also identify the Viterbo restriction functor with the functor associated to the completed graph of embedding of a Liouville sub-domain.


title: Cauchy, infinitesimals and ghosts of departed quantifiers

abstract: Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson's frameworks. The latter provides closer proxies for the procedures of the classical masters. Thus, Leibniz's distinction between assignable and inassignable numbers finds a proxy in the distinction between standard and nonstandard numbers in Robinson's framework, while Leibniz's law of homogeneity with the implied notion of equality up to negligible terms finds a mathematical formalisation in terms of standard part. It is hard to provide parallel formalisations in a Weierstrassian framework but scholars since Ishiguro have engaged in a quest for ghosts of departed quantifiers to provide a Weierstrassian account for Leibniz's infinitesimals. Euler similarly had notions of equality up to negligible terms, of which he distinguished two types: geometric and arithmetic. Euler routinely used product decompositions into a specific infinite number of factors, and used the binomial formula with an infinite exponent. Such procedures have immediate hyperfinite analogues in Robinson's framework, while in a Weierstrassian framework they can only be reinterpreted by means of paraphrases departing significantly from Euler's own presentation. Cauchy gives lucid definitions of continuity in terms of infinitesimals that find ready formalisations in Robinson's framework but scholars working in a Weierstrassian framework bend over backwards either to claim that Cauchy was vague or to engage in a quest for ghosts of departed quantifiers in his work. Cauchy's procedures in the context of his 1853 sum theorem (for series of continuous functions) are more readily understood from the viewpoint of Robinson's framework, where one can exploit tools such as the pointwise definition of the concept of uniform convergence. Keywords: historiography; infinitesimal; Latin model; butterfly model


title: Improved DC Programming Approaches for Solving the Quadratic Eigenvalue Complementarity Problem

abstract: In this paper, we discuss the solution of a Quadratic Eigenvalue Complementarity Problem (QEiCP) by using Difference of Convex (DC) programming approaches. We first show that QEiCP can be represented as dc programming problem. Then we investigate different dc programming formulations of QEiCP and discuss their dc algorithms based on a well-known method -- DCA. A new local dc decomposition is proposed which aims at constructing a better dc decomposition regarding to the specific feature of the target problem in some neighborhoods of the iterates. This new procedure yields faster convergence and better precision of the computed solution. Numerical results illustrate the efficiency of the new dc algorithms in practice.


title: A new exponential upper bound for the Erd\H{o}s-Ginzburg-Ziv constant

abstract: Naslund used Tao's slice rank bounding method to give new exponential upper bounds for the Erd\H{o}s--Ginzburg-Ziv constant of finite Abelian groups of high rank. In our short manuscript we improve slightly Naslund's upper bounds. We extend Naslund's results and prove new exponential upper bounds for the Erd\H{o}s--Ginzburg-Ziv constant of arbitrary finite Abelian groups. Our main results depend on a conjecture about Property D.


title: Efficient determination of optimised multi-arm multi-stage experimental designs with control of generalised error-rates

abstract: Primarily motivated by the drug development process, several publications have now presented methodology for the design of multi-arm multi-stage experiments with normally distributed outcome variables of known variance. Here, we extend these past considerations to allow the design of what we refer to as an abcd multi-arm multi-stage experiment. We provide a proof of how strong control of the a-generalised type-I familywise error-rate can be ensured. We then describe how to attain the power to reject at least b out of c false hypotheses, which is related to controlling the b-generalised type-II familywise error-rate. Following this, we detail how a design can be optimised for a scenario in which rejection of any d null hypotheses brings about termination of the experiment. We achieve this by proposing a highly computationally efficient approach for evaluating the performance of a candidate design. Finally, using a real clinical trial as a motivating example, we explore the effect of the design's control parameters on the statistical operating characteristics.


title: Impact of Massive Neutrinos and Dark Radiation on the High-redshift Cosmic Web. I. Lyman-Alpha Forest Observables

abstract: With upcoming high-quality data from surveys such as the Extended Baryon Oscillation Spectroscopic Survey (eBOSS) or the Dark Energy Spectroscopic Instrument (DESI), improving the theoretical modeling and gaining a deeper understanding of the effects of neutrinos and dark radiation on structure formation at small scales are necessary, to obtain robust constraints free from systematic biases. Using a novel suite of hydrodynamical simulations that incorporate dark matter, baryons, massive neutrinos, and dark radiation, we present a detailed study of their impact on Lyman-Alpha forest observables. In particular, we accurately measure the tomographic evolution of the shape and amplitude of the small-scale matter and flux power spectra and search for unique signatures along with preferred scales where a neutrino mass detection may be feasible. We then investigate the thermal state of the intergalactic medium (IGM) through the temperature-density relation. Our findings suggest that at k~5h/Mpc the suppression on the matter power spectrum induced by M_nu=0.1 eV neutrinos can reach ~4% at z~3 when compared to a massless neutrino cosmology, and ~10% if a massless sterile neutrino is included; surprisingly, we also find good agreement (~2%) with some analytic predictions. For the 1D flux power spectrum, the highest response to free-streaming effects is achieved at k~0.005 s/km when M_nu=0.1 eV; this k-limit falls in the Lyman-Alpha forest regime, making the small-scale 1D flux power spectrum an excellent probe for detecting neutrino and dark radiation imprints. Our results indicate that the IGM at z~3 provides the best sensitivity to active and sterile neutrinos.


title: Excitonic physics in a Dirac quantum dot

abstract: We present a description of vacuum polarization in a circular Dirac quantum dot in two spatial dimensions assuming $\alpha$ - the relative strength of the Coulomb interaction small enough to render an approximation with a single electron (hole) lowest energy level relevant. Applying this approximation, we find that for $ \alpha_c \approx 1.05$ the lowest level is half-filled irrespective of the number of flavors that are present. The ground state can be represented as a superposition of particular (even number) excitonic states which constitute an excitonic cloud that evolves in a crossover manner. The ground state is degenerate with an intervalley excitonic state at $ \alpha_c \approx 1.05$, a critical strength, that in our approximation marks a point with single electron and exciton resonances.


title: Optimal Algorithms for Distributed Optimization

abstract: In this paper, we study the optimal convergence rate for distributed convex optimization problems in networks. We model the communication restrictions imposed by the network as a set of affine constraints and provide optimal complexity bounds for four different setups, namely: the function $F(\xb) \triangleq \sum_{i=1}^{m}f_i(\xb)$ is strongly convex and smooth, either strongly convex or smooth or just convex. Our results show that Nesterov's accelerated gradient descent on the dual problem can be executed in a distributed manner and obtains the same optimal rates as in the centralized version of the problem (up to constant or logarithmic factors) with an additional cost related to the spectral gap of the interaction matrix. Finally, we discuss some extensions to the proposed setup such as proximal friendly functions, time-varying graphs, improvement of the condition numbers.


title: Sobol Tensor Trains for Global Sensitivity Analysis

abstract: Sobol indices are a widespread quantitative measure for variance-based global sensitivity analysis, but computing and utilizing them remains challenging for high-dimensional systems. We propose the tensor train decomposition (TT) as a unified framework for surrogate modeling and global sensitivity analysis via Sobol indices. We first overview several strategies to build a TT surrogate of the unknown true model using either an adaptive sampling strategy or a predefined set of samples. We then introduce and derive the Sobol tensor train, which compactly represents the Sobol indices for all possible joint variable interactions which are infeasible to compute and store explicitly. Our formulation allows efficient aggregation and subselection operations: we are able to obtain related indices (closed, total, and superset indices) at negligible cost. Furthermore, we exploit an existing global optimization procedure within the TT framework for variable selection and model analysis tasks. We demonstrate our algorithms with two analytical engineering models and a parallel computing simulation data set.


title: Context-Awareness Enhances 5G Multi-Access Edge Computing Reliability

abstract: The fifth generation (5G) mobile telecommunication network is expected to support Multi- Access Edge Computing (MEC), which intends to distribute computation tasks and services from the central cloud to the edge clouds. Towards ultra-responsive, ultra-reliable and ultra-low-latency MEC services, the current mobile network security architecture should enable a more decentralized approach for authentication and authorization processes. This paper proposes a novel decentralized authentication architecture that supports flexible and low-cost local authentication with the awareness of context information of network elements such as user equipment and virtual network functions. Based on a Markov model for backhaul link quality, as well as a random walk mobility model with mixed mobility classes and traffic scenarios, numerical simulations have demonstrated that the proposed approach is able to achieve a flexible balance between the network operating cost and the MEC reliability.


title: Empirical comparison of three models for determining market clearing prices in Turkish day-ahead electricity market

abstract: Bidders in day-ahead electricity markets want to sell/buy electricity when their bids generate positive surplus and not to take an action when the reverse holds. However, non-convexities in these markets cause conflicts between the actions that the bidders want to take and the actual market results. In this work, we investigate the non-convex market clearing problem of Turkish market operator and propose three different rule sets. The first rule set allows both rejection of bids with positive surplus and acceptance of bids with negative surplus. The second and the third sets only allow one of these conflicted cases. By using total surplus maximization as the objective, we formulate three models and statistically explore their performance with the real data taken from Turkish market operator.


title: Flexible Installability of Android Apps with App-level Virtualization based Decomposition

abstract: With the popularity of smartphones, users are heavily dependent on mobile applications for daily work and entertainments. However, mobile apps are becoming more and more complicated with more features and increasing size, part of which may be redundant to users. Due to the limitation of current installation mechanism, users have to download full-size applications instead of enjoy only the wanted features. Such full-size apps may consume more resources, including CPU, memory, and energy, which may hurt users' enthusiasm for further installation. We first conduct an empirical study to characterize used features when users interact with mobile applications, and find that users only consume a small set features of target apps. To address this problem, we present AppStarscream, which offers to decompose and run Android apps with app-level virtualization. We have implemented a prototype system and evaluated it with real-world apps showing that AppStarscream is efficient and practical.


title: Demystifying Mobile Web Browsing under Multiple Protocols

abstract: With the popularity of mobile devices, such as smartphones, tablets, users prefer visiting Web pages on mobile devices. Meanwhile, HTTP(S) plays as the major protocol to deliver Web contents, and has served the Web well for more than 15 years. However, as the Web pages grow increasingly complex to provide more content and functionality, the shortcomings and inflexibility of HTTP become more and more urgent to solve, e.g., the sluggish page load, insecure content, redundant transfer, etc. SPDY and HTTP/2 are promoted to solve the shortcomings and inflexibilities of HTTP/1.x. We are interested in how Web pages perform on smartphones with different protocols, including HTTP, HTTPS, SPDY, and HTTP/2. In this paper, we divide our experiments into two parts. First, in order to simplify our analysis, we develop our own HTTP client ignoring complicated process in real browsers to fetch synthetic Web pages with pre-specified object sizes and object numbers with different protocols, respectively. Meanwhile, we emulate different network conditions between client and server using Traffic Control. In order to test with real browsers, we clone Alexa top 200 websites, which have the corresponding mobile version, into our local host. Meanwhile, we control mobile Chrome browser to load those Web pages with different protocols and emulate different network conditions using Traffic Control. We identify how Web page characteristics and network conditions affect Web performance on smartphones for each protocol. We also conduct experiments on a low-end device to observe if a less powerful processor could affect Web page performance for each protocol.


title: Shape Complementarity Analysis for Objects of Arbitrary Shape

abstract: The basic problem of shape complementarity analysis appears fundamental to applications as diverse as mechanical design, assembly automation, robot motion planning, micro- and nano-fabrication, protein-ligand binding, and rational drug design. However, the current challenge lies in the lack of a general mathematical formulation that applies to objects of arbitrary shape. We propose that a measure of shape complementarity can be obtained from the extent of approximate overlap between shape skeletons. A space-continuous implicit generalization of the skeleton, called the skeletal density function (SDF) is defined over the Euclidean space that contains the individual assembly partners. The SDF shape descriptors capture the essential features that are relevant to proper contact alignment, and are considerably more robust than the conventional explicit skeletal representations. We express the shape complementarity score as a convolution of the individual SDFs. The problem then breaks down to a global optimization of the score over the configuration space of spatial relations, which can be efficiently implemented using fast Fourier transforms (FFTs) on nonequispaced samples. We demonstrate the effectiveness of the scoring approach for several examples from 2D peg-in-hole alignment to more complex 3D examples in mechanical assembly and protein docking. We show that the proposed method is reliable, inherently robust against small perturbations, and effective in steering gradient-based optimization.


title: Calculation of the ratios and absolute rates of the $\Xi_b^- \to \pi^- (D_s^- ) \ \Xi_c^0 (2790) \left(\Xi_c^0 (2815) \right)$ and $\Xi_b^- \to \bar{\nu}_l l \ \Xi_c^0 (2790) \left(\Xi_c^0 (2815) \right)$ decays

abstract: In this work we calculate the ratios of rates of the $\Xi_b$ nonleptonic and semileptonic decays into the $\Xi_c$(2790) and $\Xi_c$(2815) ($\Xi_c^*$) resonances. These resonances are dynamically generated from the pseudoscalar-baryon and vector-baryon interactions, whose mixing is done using the chiral Weinberg-Tomozawa (WT) meson-baryon interaction extended to four flavors. The first part of the decay is a weak decay that we analyze through their quark constituents where it is noted that only the heavy quarks ($b$ and $c$) participate in the interaction, leaving the light pair ($ds$) as spectators. This first decay then produces a meson-baryon pair that creates the $\Xi_c^*$ through the WT interaction. We then proceed to calculate the decay rates to $\Xi_c$(2790) and $\Xi_c$(2815) for both the nonleptonic and semileptonic cases and then calculate the ratios between them. We do this calculation nonrelativistically and fully relativistically and notice that, even though both approaches yield somewhat different results in the rates, the ratios are very similar (difference on the order of 1\%) in both cases. The absolute values of the decay rates are also successfully calculated by obtaining the rates between our decays and $\Lambda_b \to \pi (D_s ) \ \Lambda_c (2595) \left(\Lambda_c (2625) \right)$ and $\Lambda_b \to \bar{\nu}_l l \ \Lambda_c (2595) \left(\Lambda_c (2625) \right)$ for which there are experimental results, since the momentum transfer is similar such we can cancel out the influence of the quark wave functions in the ratios.


title: Blackbody radiation shift assessment for a lutetium ion clock

abstract: We measure the dynamic differential scalar polarizabilities at 10.6 $\mu$m for two candidate clock transitions in $^{176}\mathrm{Lu}^+$. The fractional black body radiation (BBR) shifts at 300 K for the $^1S_0 \leftrightarrow {^3D_1}$ and $^1S_0 \leftrightarrow {^3D_2}$ transitions are evaluated to be $-1.36\,(9) \times 10^{-18}$ and $2.70 \,(21) \times10^{-17}$, respectively. The former is the lowest of any established optical atomic clock.


title: A quantitative inverse theorem for the $U^4$ norm over finite fields

abstract: A remarkable result of Bergelson, Tao and Ziegler implies that if $c>0$, $k$ is a positive integer, $p\geq k$ is a prime, $n$ is sufficiently large, and $f:\mathbb F_p^n\to\mathbb C$ is a function with $\|f\|_\infty\leq 1$ and $\|f\|_{U^k}\geq c$, then there is a polynomial $\pi$ of degree at most $k-1$ such that $\mathbb E_xf(x)\omega^{-\pi(x)}\geq c'$, where $\omega=\exp(2\pi i/p)$ and $c'>0$ is a constant that depends on $c,k$ and $p$ only. A version of this result for low-characteristic was also proved by Tao and Ziegler. The proofs of these results do not yield a lower bound for $c'$. Here we give a different proof in the high-characteristic case when $k=4$, which enables us to give an explicit estimate for $c'$. The bound we obtain is roughly doubly exponential in the other parameters.


title: A Systematic Evaluation of Static API-Misuse Detectors

abstract: Application Programming Interfaces (APIs) often have usage constraints, such as restrictions on call order or call conditions. API misuses, i.e., violations of these constraints, may lead to software crashes, bugs, and vulnerabilities. Though researchers developed many API-misuse detectors over the last two decades, recent studies show that API misuses are still prevalent. Therefore, we need to understand the capabilities and limitations of existing detectors in order to advance the state of the art. In this paper, we present the first-ever qualitative and quantitative evaluation that compares static API-misuse detectors along the same dimensions, and with original author validation. To accomplish this, we develop MUC, a classification of API misuses, and MUBenchPipe, an automated benchmark for detector comparison, on top of our misuse dataset, MUBench. Our results show that the capabilities of existing detectors vary greatly and that existing detectors, though capable of detecting misuses, suffer from extremely low precision and recall. A systematic root-cause analysis reveals that, most importantly, detectors need to go beyond the naive assumption that a deviation from the most-frequent usage corresponds to a misuse and need to obtain additional usage examples to train their models. We present possible directions towards more-powerful API-misuse detectors.


title: Spatial Modulation Aided Layered Division Multiplexing: A Spectral Efficiency Perspective

abstract: In this paper, spatial modulation (SM) is introduced to layered division multiplexing (LDM) systems for enlarging the spectral efficiency over broadcasting transmission. Firstly, the SM aided LDM (SM-LDM) system is proposed, in which different layered services utilize SM for terrestrial broadcasting transmission with different power levels. Then a spectral efficiency (SE) analysis framework for SM-LDM systems is proposed, which is suitable for the SM-LDM systems with linear combining. Moreover, the closed-form SE lower bound of SM-LDM systems with maximum ratio combining (MRC) is derived, which is based on this framework. Since the theoretical SE analysis of single transmit antenna (TA) LDM systems with MRC and spatial multiplexing (SMX) aided LDM systems with MRC lacks a closed-form expression, the closed-form SE is also derived for these systems. Monte Carlo simulations are provided to verify the tightness of our proposed SE lower bound. Furthermore, it can be shown via simulations that our proposed SM-LDM systems always have a better SE performance than single-TA LDM systems, which can even outperform the SE of SMX aided LDM (SMX-LDM) systems.


title: Deep Learning for Metagenomic Data: using 2D Embeddings and Convolutional Neural Networks

abstract: Deep learning (DL) techniques have had unprecedented success when applied to images, waveforms, and texts to cite a few. In general, when the sample size (N) is much greater than the number of features (d), DL outperforms previous machine learning (ML) techniques, often through the use of convolution neural networks (CNNs). However, in many bioinformatics ML tasks, we encounter the opposite situation where d is greater than N. In these situations, applying DL techniques (such as feed-forward networks) would lead to severe overfitting. Thus, sparse ML techniques (such as LASSO e.g.) usually yield the best results on these tasks. In this paper, we show how to apply CNNs on data which do not have originally an image structure (in particular on metagenomic data). Our first contribution is to show how to map metagenomic data in a meaningful way to 1D or 2D images. Based on this representation, we then apply a CNN, with the aim of predicting various diseases. The proposed approach is applied on six different datasets including in total over 1000 samples from various diseases. This approach could be a promising one for prediction tasks in the bioinformatics field.


title: The effect of inhomogeneous phase on the critical temperature of smart meta-superconductor MgB2

abstract: The critical temperature (TC) of MgB2, one of the key factors limiting its application, is highly desired to be improved. On the basis of the meta-material structure, we prepared a smart meta-superconductor structure consisting of MgB2 micro-particles and inhomogeneous phases by an ex situ process. The effect of inhomogeneous phase on the TC of smart meta-superconductor MgB2 was investigated. Results showed that the onset temperature (Ton C) of doping samples was lower than those of pure MgB2. However, the offset temperature (Toff C) of the sample doped with Y2O3:Eu3+ nanosheets with a thickness of 2~3 nm which is much less than the coherence length of MgB2 is 1.2 K higher than that of pure MgB2. The effect of the applied electric field on the TC of sample was also studied. Results indicated that with the increase of current, Ton C is slightly increased in the samples doping with different inhomogeneous phases. When increasing current, the Toff C of the samples doped with nonluminous inhomogeneous phases was decreased. However, the Toff C of the luminescent inhomogeneous phase doping samples increased and then decreased as increasing current.


title: Temporal Stream Logic: Synthesis beyond the Bools

abstract: Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize. Synthesis tools usually fail for such systems because the state space resulting from the discretization of the data is too large. We introduce TSL, a new temporal logic that separates control and data. We provide a CEGAR-based synthesis approach for the construction of implementations that are guaranteed to satisfy a TSL specification for all possible instantiations of the data processing functions. TSL provides an attractive trade-off for synthesis. On the one hand, synthesis from TSL, unlike synthesis from standard temporal logics, is undecidable in general. On the other hand, however, synthesis from TSL is scalable, because it is independent of the complexity of the handled data. Among other benchmarks, we have successfully synthesized a music player Android app and a controller for an autonomous vehicle in the Open Race Car Simulator (TORCS.)


title: Structure of nuclear C*-algebras: From quasidiagonality to classification, and back again

abstract: I give an overview of recent developments in the structure and classification theory of separable, simple, nuclear C*-algebras. I will in particular focus on the role of quasidiagonality and amenability for classification, and on the regularity conjecture and its interplay with internal and external approximation properties.


title: A bilinear version of Bogolyubov's theorem

abstract: A theorem of Bogolyubov states that for every dense set $A$ in $\mathbb{Z}_N$ we may find a large Bohr set inside $A+A-A-A$. In this note, motivated by the work on a quantitative inverse theorem for the Gowers $U^4$ norm, we prove a bilinear variant of this result in vector spaces over finite fields. Namely, if we start with a dense set $A \subset \mathbb{F}^n_p \times \mathbb{F}^n_p$ and then take rows (respectively columns) of $A$ and change each row (respectively column) to the set difference of it with itself, repeating this procedure several times, we obtain a bilinear analogue of a Bohr set inside the resulting set, namely the zero set of a biaffine map from $\mathbb{F}^n_p \times \mathbb{F}^n_p$ to a $\mathbb{F}_p$-vector space of bounded dimension. An almost identical result was proved independently by Bienvenu and L\^e.


title: The $1/N$ expansion of the symmetric traceless and the antisymmetric tensor models in rank three

abstract: We prove rigorously that the symmetric traceless and the antisymmetric tensor models in rank three with tetrahedral interaction admit a $1/N$ expansion, and that at leading order they are dominated by melon diagrams. This proves the recent conjecture of I. Klebanov and G. Tarnopolsky in JHEP 10 (2017) 037 [arXiv:1706.00839], which they checked numerically up to 8th order in the coupling constant.


title: Learning Deep Representations for Word Spotting Under Weak Supervision

abstract: Convolutional Neural Networks have made their mark in various fields of computer vision in recent years. They have achieved state-of-the-art performance in the field of document analysis as well. However, CNNs require a large amount of annotated training data and, hence, great manual effort. In our approach, we introduce a method to drastically reduce the manual annotation effort while retaining the high performance of a CNN for word spotting in handwritten documents. The model is learned with weak supervision using a combination of synthetically generated training data and a small subset of the training partition of the handwritten data set. We show that the network achieves results highly competitive to the state-of-the-art in word spotting with shorter training times and a fraction of the annotation effort.


title: Changing-look AGNs or short-lived radio sources?

abstract: The evolution of extragalactic radio sources has been a fundamental problem in the study of active galactic nuclei for many years. A standard evolutionary model has been created based on observations of a wide range of radio sources. In the general scenario of the evolution, the younger and smaller Gigahertz-Peaked Spectrum (GPS) and Compact Steep Spectrum (CSS) sources become large-scale FRI and FRII objects. However, a growing number of observations of low power radio sources suggests that the model cannot explain all their properties and there are still some aspects of the evolutionary path that remain unclear. There are indications, that some sources may be short-lived objects on timescales of $10^4$ - $10^5$ years. Those objects represent a new population of active galaxies. Here, we present the discovery of several radio transient sources on timescales of 5-20 years, largely associated with renewed AGN (Active Galactic Nucleus) activity. These changing-look AGNs possibly represent behaviour typical for many active galaxies.


title: Cosmological Simulations in Exascale Era

abstract: The architecture of Exascale computing facilities, which involves millions of heterogeneous processing units, will deeply impact on scientific applications. Future astrophysical HPC applications must be designed to make such computing systems exploitable. The ExaNeSt H2020 EU-funded project aims to design and develop an exascale ready prototype based on low-energy-consumption ARM64 cores and FPGA accelerators. We participate to the design of the platform and to the validation of the prototype with cosmological N-body and hydrodynamical codes suited to perform large-scale, high-resolution numerical simulations of cosmic structures formation and evolution. We discuss our activities on astrophysical applications to take advantage of the underlying architecture.


title: On the Simultaneous Minimum Spanning Trees Problem

abstract: Simultaneous Embedding with Fixed Edges (SEFE) is a problem where given $k$ planar graphs we ask whether they can be simultaneously embedded so that the embedding of each graph is planar and common edges are drawn the same. Problems of SEFE type have inspired questions of Simultaneous Geometrical Representations and further derivations. Based on this motivation we investigate the generalization of the simultaneous paradigm on the classical combinatorial problem of minimum spanning trees. Given $k$ graphs with weighted edges, such that they have a common intersection, are there minimum spanning trees of the respective graphs such that they agree on the intersection? We show that the unweighted case is polynomial-time solvable while the weighted case is only polynomial-time solvable for $k=2$ and it is NP-complete for $k\geq 3$.


title: Utilizing Domain Knowledge in End-to-End Audio Processing

abstract: End-to-end neural network based approaches to audio modelling are generally outperformed by models trained on high-level data representations. In this paper we present preliminary work that shows the feasibility of training the first layers of a deep convolutional neural network (CNN) model to learn the commonly-used log-scaled mel-spectrogram transformation. Secondly, we demonstrate that upon initializing the first layers of an end-to-end CNN classifier with the learned transformation, convergence and performance on the ESC-50 environmental sound classification dataset are similar to a CNN-based model trained on the highly pre-processed log-scaled mel-spectrogram features.


title: Simulation Study of an LWFA-based Electron Injector for AWAKE Run 2

abstract: The AWAKE experiment aims to demonstrate preservation of injected electron beam quality during acceleration in proton-driven plasma waves. The short bunch duration required to correctly load the wakefield is challenging to meet with the current electron injector system, given the space available to the beamline. An LWFA readily provides short-duration electron beams with sufficient charge from a compact design, and provides a scalable option for future electron acceleration experiments at AWAKE. Simulations of a shock-front injected LWFA demonstrate a 43 TW laser system would be sufficient to produce the required charge over a range of energies beyond 100 MeV. LWFA beams typically have high peak current and large divergence on exiting their native plasmas, and optimisation of bunch parameters before injection into the proton-driven wakefields is required. Compact beam transport solutions are discussed.


title: Fast-SSC-Flip Decoding of Polar Codes

abstract: Polar codes are widely considered as one of the most exciting recent discoveries in channel coding. For short to moderate block lengths, their error-correction performance under list decoding can outperform that of other modern error-correcting codes. However, high-speed list-based decoders with moderate complexity are challenging to implement. Successive-cancellation (SC)-flip decoding was shown to be capable of a competitive error-correction performance compared to that of list decoding with a small list size, at a fraction of the complexity, but suffers from a variable execution time and a higher worst-case latency. In this work, we show how to modify the state-of-the-art high-speed SC decoding algorithm to incorporate the SC-flip ideas. The algorithmic improvements are presented as well as average execution-time results tailored to a hardware implementation. The results show that the proposed fast-SSC-flip algorithm has a decoding speed close to an order of magnitude better than the previous works while retaining a comparable error-correction performance.


title: Considerations in the Time-Energy Uncertainty Relation from the Viewpointt of Hypothesis Testing

abstract: It is difficult to discriminate between the state of initial time $t_0$ and that of time $t_0+\Delta t$. The task of discriminating between the two states can be interpreted as the hypothesis testing problem as to a state $\rho$ deciding whether $\rho$ is $\rho_{t_0}$ or$\rho_{t_0+\Delta t}$ We show the process of optimization of this hypotheses testing and the condition that discrimination between the two states become difficult even when optimized test was executed. In addition, We consider time-enegy uncertainty relation from the viewpoint of optimized hypotheses testing. Optimization consists of two steps. The first step is to optimize the decision rule based on the outcome of the given measurement by the Neyman-Pearson theorem. The second step is to select optimum measurement in order to maximize the power of test. The optimum measurement is proved to be $\{ |0\rangle \langle 0|,1-|0\rangle \langle 0|\}$ and the power of test in the optimized test holds $\gamma_{Max}=1-\exp(-\frac{2n}{\hbar^2}\Delta t^2\Delta H^2)+o(\Delta t^2)$ when $\Delta t \ll 1$ satisfies,where n is the number of the data. It will be impossible to discriminate between the two states when the power of this test declines. This condition becomes $\frac{2n}{\hbar^2}\Delta t^2\Delta H^2\ll 1$ in the optimized hypotheses testing. It is remarkable that the optimum measurement is composed of the operators $Q_0$ and $1-Q_0$ in the proof of time-energy uncertainty relation. Namely, the time-energy uncertainty relation presents the time interval in which even the optimum measurement hardly detect modification of the initial state .


title: Tuning the pairing interaction in a $d$-wave superconductor by paramagnons injected through interfaces

abstract: Unconventional superconductivity and magnetism are intertwined on a microscopic level in a wide class of materials. A new approach to this most fundamental and hotly debated issue focuses on the role of interactions between superconducting electrons and bosonic fluctuations at the interface between adjacent layers in heterostructures. Here we fabricate hybrid superlattices consisting of alternating atomic layers of heavy-fermion superconductor CeCoIn$_5$ and antiferromagnetic (AFM) metal CeRhIn$_5$, in which the AFM order can be suppressed by applying pressure. We find that the superconducting and AFM states coexist in spatially separated layers, but their mutual coupling via the interface significantly modifies the superconducting properties. An analysis of upper critical fields reveals that near the critical pressure where AFM order vanishes, the force binding superconducting electron-pairs acquires an extremely strong-coupling nature. This demonstrates that superconducting pairing can be tuned non-trivially by magnetic fluctuations (paramagnons) injected through the interface, leading to maximization of the pairing interaction.


title: Solitonic Josephson thermal transport

abstract: We explore the coherent thermal transport sustained by solitons through a long Josephson junction, as a thermal gradient across the system is established. We observe that a soliton causes the heat current through the system to increase. Correspondingly, the junction warms up in correspondence of the soliton, with temperature peaks up to, e.g., approximately 56 mK for a realistic Nb-based proposed setup at a bath temperature Tbath = 4.2 K. The thermal effects on the dynamics of the soliton are also discussed. Markedly, this system inherits the topological robustness of the solitons. In view of these results, the proposed device can effectively find an application as a superconducting thermal router in which the thermal transport can be locally mastered through solitonic excitations, which positions can be externally controlled through a magnetic field and a bias current.


title: Quantitative imaging of anisotropic material properties with vectorial ptychography

abstract: Following the recent establishment of the formalism of vectorial ptychography [Ferrand et al., Opt. Lett. 40, 5144 (2015)], first measurements are reported in the optical range, demonstrating the capability of the proposed method to map the four parameters of the Jones matrix of an anisotropic specimen, and therefore to quantify a wide range of optical material properties, including power transmittance, optical path difference, diattenuation, retardance, and fast-axis orientation.


title: On the dimension of Schur multiplier of Lie algebras of maximal class

abstract: The paper is devoted to obtain an upper bound for the Schur multiplier of nilpotent Lie algebras of maximal class. It improves the later upper bounds on the Schur multiplier of such Lie algebras.


title: Global very weak solutions to a chemotaxis-fluid system with nonlinear diffusion

abstract: We consider the chemotaxis-fluid system \begin{align}\label{star}\tag{$\diamondsuit$} \left\{ \begin{array}{r@{\,}c@{\,}c@{\ }l@{\quad}l@{\quad}l@{\,}c} n_{t}&+&u\cdot\!\nabla n&=\Delta n^m-\nabla\!\cdot(n\nabla c),\ &x\in\Omega,& t>0,\\ c_{t}&+&u\cdot\!\nabla c&=\Delta c-c+n,\ &x\in\Omega,& t>0,\\ u_{t}&+&(u\cdot\nabla)u&=\Delta u+\nabla P+n\nabla\phi,\ &x\in\Omega,& t>0,\\ &&\nabla\cdot u&=0,\ &x\in\Omega,& t>0, \end{array}\right. \end{align} in a bounded domain $\Omega\subset\mathbb{R}^3$ with smooth boundary and $m>1$. Assuming $m>\frac{4}{3}$ and sufficiently regular nonnegative initial data, we ensure the existence of global solutions to the no-flux-Dirichlet boundary value problem for \eqref{star} under a suitable notion of very weak solvability, which in different variations has been utilized in the literature before. Comparing this with known results for the fluid-free setting of \eqref{star} the condition appears to be optimal with respect to global existence. In case of the stronger assumption $m>\frac{5}{3}$ we moreover establish the existence of at least one global weak solution in the standard sense. In our analysis we investigate a functional of the form $\int_{\Omega}\! n^{m-1}+\int_{\Omega}\! c^2$ to obtain a spatio-temporal $L^2$ estimate on $\nabla n^{m-1}$, which will be the starting point in deriving a series of compactness properties for a suitably regularized version of \eqref{star}. As the regularity information obtainable from these compactness results vary depending on the size of $m$, we will find that taking $m>\frac{5}{3}$ will yield sufficient regularity to pass to the limit in the integrals appearing in the weak formulation, while for $m>\frac{4}{3}$ we have to rely on milder regularity requirements making only very weak solutions attainable.


title: EPIC - Easy Parameter Inference in Cosmology: The user's guide to the MCMC sampler

abstract: Easy Parameter Inference in Cosmology (EPIC) is another Markov Chain Monte Carlo (MCMC) sampler for Cosmology. It is implemented in Python and provides Bayesian parameter inference and model comparison based on the Bayesian evidence. The Parallel Tempering algorithm is included, which can help in the exploration of posterior distributions with two or more separated peaks. Adaptive routines for obtaining better efficiency with fine-tuned algorithms are being developed and will be available in future versions. In this user's guide, I give general instructions for installation and usage, including examples, and show how to modify the code in order to add new datasets and models.


title: Topology of posets with special partial matchings

abstract: Special partial matchings (SPMs) are a generalisation of Brenti's special matchings. Let a \emph{pircon} be a poset in which every non-trivial principal order ideal is finite and admits an SPM. Thus pircons generalise Marietti's zircons. We prove that every open interval in a pircon is a PL ball or a PL sphere. It is then demonstrated that Bruhat orders on certain twisted identities and quasiparabolic $W$-sets constitute pircons. Together, these results extend a result of Can, Cherniavsky, and Twelbeck, prove a conjecture of Hultman, and confirm a claim of Rains and Vazirani.


title: Test-particle dynamics in general spherically symmetric black hole spacetimes

abstract: To date, the most precise tests of general relativity have been achieved through pulsar timing, albeit in the weak-field regime. Since pulsars are some of the most precise and stable "clocks" in the Universe, present observational efforts are focused on detecting pulsars in the vicinity of supermassive black holes (most notably in our Galactic Centre), enabling pulsar timing to be used as an extremely precise probe of strong-field gravity. In this paper a mathematical framework to describe test-particle dynamics in general black hole spacetimes is presented, and subsequently used to study a binary system comprising a pulsar orbiting a black hole. In particular, taking into account the parameterization of a general spherically symmetric black hole metric, general analytic expressions for both the advance of the periastron and for the orbital period of a massive test particle are derived. Furthermore, these expressions are applied to four representative cases of solutions arising in both general relativity and in alternative theories of gravity. Finally, this framework is applied to the Galactic Centre $S$-stars and four distinct pulsar toy models. It is shown that by adopting a fully general-relativistic description of test-particle motion which is independent of any particular theory of gravity, observations of pulsars can help impose better constraints on alternative theories of gravity than is presently possible.


title: Stability of Travelling Waves for Reaction-Diffusion Equations with Multiplicative Noise

abstract: We consider reaction-diffusion equations that are stochastically forced by a small multiplicative noise term. We show that spectrally stable travelling wave solutions to the deterministic system retain their orbital stability if the amplitude of the noise is sufficiently small. By applying a stochastic phase-shift together with a time-transform, we obtain a semilinear sPDE that describes the fluctuations from the primary wave. We subsequently develop a semigroup approach to handle the nonlinear stability question in a fashion that is closely related to modern deterministic methods.


title: Probe $CP$-violating $H\gamma\gamma$ coupling through interferometry

abstract: The diphoton invariant mass distribution of interference between $gg\to H \to \gamma\gamma$ and $gg\to \gamma\gamma$ is almost antisymmetric around the Higgs mass $M_H$. We propose a new observable $A_{\text{int}}$ to quantify this effect, which is a ratio of a sign-reversed integral around $M_H$ ( e.g. $\int^{M_H}_{M_H-5~\mbox{GeV}} -\int_{M_H}^{M_H+5~\mbox{GeV}}$) and the cross section of the Higgs signal. We study $A_{\text{int}}$ both in Standard Model (SM) and new physics with various $CP$-violating $H\gamma\gamma$ couplings. The $A_{\text{int}}$ in SM could reach a value of $10\%$, while for $CP$-violating $H\gamma\gamma$ couplings $A_{\text{int}}$ could range from $10\%$ to $-10\%$, which is probable to be detected in HL-LHC experiment. The $A_{\text{int}}$ with both $CP$-violating $H\gamma\gamma$ and $Hgg$ couplings are also studied and its value range is further extended.


title: Deformable Shape Completion with Graph Convolutional Autoencoders

abstract: The availability of affordable and portable depth sensors has made scanning objects and people simpler than ever. However, dealing with occlusions and missing parts is still a significant challenge. The problem of reconstructing a (possibly non-rigidly moving) 3D object from a single or multiple partial scans has received increasing attention in recent years. In this work, we propose a novel learning-based method for the completion of partial shapes. Unlike the majority of existing approaches, our method focuses on objects that can undergo non-rigid deformations. The core of our method is a variational autoencoder with graph convolutional operations that learns a latent space for complete realistic shapes. At inference, we optimize to find the representation in this latent space that best fits the generated shape to the known partial input. The completed shape exhibits a realistic appearance on the unknown part. We show promising results towards the completion of synthetic and real scans of human body and face meshes exhibiting different styles of articulation and partiality.


title: GANosaic: Mosaic Creation with Generative Texture Manifolds

abstract: This paper presents a novel framework for generating texture mosaics with convolutional neural networks. Our method is called GANosaic and performs optimization in the latent noise space of a generative texture model, which allows the transformation of a content image into a mosaic exhibiting the visual properties of the underlying texture manifold. To represent that manifold, we use a state-of-the-art generative adversarial method for texture synthesis, which can learn expressive texture representations from data and produce mosaic images with very high resolution. This fully convolutional model generates smooth (without any visible borders) mosaic images which morph and blend different textures locally. In addition, we develop a new type of differentiable statistical regularization appropriate for optimization over the prior noise space of the PSGAN model.


title: Together or Alone: The Price of Privacy in Collaborative Learning

abstract: Machine learning algorithms have reached mainstream status and are widely deployed in many applications. The accuracy of such algorithms depends significantly on the size of the underlying training dataset; in reality a small or medium sized organization often does not have the necessary data to train a reasonably accurate model. For such organizations, a realistic solution is to train their machine learning models based on their joint dataset (which is a union of the individual ones). Unfortunately, privacy concerns prevent them from straightforwardly doing so. While a number of privacy-preserving solutions exist for collaborating organizations to securely aggregate the parameters in the process of training the models, we are not aware of any work that provides a rational framework for the participants to precisely balance the privacy loss and accuracy gain in their collaboration. In this paper, by focusing on a two-player setting, we model the collaborative training process as a two-player game where each player aims to achieve higher accuracy while preserving the privacy of its own dataset. We introduce the notion of Price of Privacy, a novel approach for measuring the impact of privacy protection on the accuracy in the proposed framework. Furthermore, we develop a game-theoretical model for different player types, and then either find or prove the existence of a Nash Equilibrium with regard to the strength of privacy protection for each player. Using recommendation systems as our main use case, we demonstrate how two players can make practical use of the proposed theoretical framework, including setting up the parameters and approximating the non-trivial Nash Equilibrium.


title: Minimum length uncertainty relations in the presence of dark energy

abstract: We introduce a dark energy-modified minimum length uncertainty relation (DE-MLUR) or dark energy uncertainty principle (DE-UP) for short. The new relation is structurally similar to the MLUR introduced by K{\' a}rolyh{\' a}zy (1968), and reproduced by Ng and van Dam (1994) using alternative arguments, but with a number of important differences. These include a dependence on the de Sitter horizon, which may be expressed in terms of the cosmological constant as $l_{\rm dS} \sim 1/\sqrt{\Lambda}$. Applying the DE-UP to both charged and neutral particles, we obtain estimates of two limiting mass scales, expressed in terms of the fundamental constants $\left\{G,c,\hbar,\Lambda, e\right\}$. Evaluated numerically, the charged particle limit corresponds to the order of magnitude value of the electron mass ($m_e$), while the neutral particle limit is consistent with current experimental bounds on the mass of the electron neutrino ($m_{\nu_e}$). Possible cosmological consequences of the DE-UP are considered and we note that these lead naturally to a holographic relation between the bulk and the boundary of the Universe. Low and high energy regimes in which dark energy effects may dominate canonical quantum behaviour are identified and the possibility of testing the model using near-future experiments is briefly discussed.


title: Calculus of Variations with Differential Forms

abstract: We study integrals of the form $\int_{\Omega}f\left( d\omega\right)$, where $1\leq k\leq n$, $f:\Lambda^{k}\rightarrow\mathbb{R}$ is continuous and $\omega$ is a $\left(k-1\right)$-form. We introduce the appropriate notions of convexity, namely ext. one convexity, ext. quasiconvexity and ext. polyconvexity. We study their relations, give several examples and counterexamples. We finally conclude with an application to a minimization problem.


title: Singular values and non-repelling cycles for entire transcendental maps

abstract: Let $f$ be a map with bounded set of singular values for which periodic dynamic rays exist and land. We prove that each non-repelling cycle is associated to a singular orbit which cannot accumulate on any other non-repelling cycle. When $f$ has finitely many singular values this implies a refinement of the Fatou-Shishikura inequality. Our approach is combinatorial in the spirit of the approach used by [Ki00], [BCL+16] for polynomials.


title: A Short Solution to the Many-Player Silent Duel with Arbitrary Consolation Prize

abstract: The classical constant-sum 'silent duel' game had two antagonistic marksmen walking towards each other. A more friendly formulation has two equally skilled marksmen approaching targets at which they may silently fire at distances of their own choice. The winner, who gets a unit prize, is the marksman who hits his target at the greatest distance; if both miss, they share the prize (each gets a 'consolation prize' of one half). In another formulation, if they both miss they each get zero. More generally we can consider more than two marksmen and an arbitrary consolation prize. This non-constant sum game may be interpreted as a research tournament where the entrant who successfully solves the hardest problem wins the prize. We give the first complete solution to the many-player problem with arbitrary consolation prize: moreover (by taking particular values for the consolation prize), our theorem incorporates various special results in the literature, and our proof is simpler than any of these.


title: Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties

abstract: Probabilistic timed automata (PTAs) are timed automata (TAs) extended with discrete probability distributions.They serve as a mathematical model for a wide range of applications that involve both stochastic and timed behaviours. In this work, we consider the problem of model-checking linear \emph{dense-time} properties over {PTAs}. In particular, we study linear dense-time properties that can be encoded by TAs with infinite acceptance criterion.First, we show that the problem of model-checking PTAs against deterministic-TA specifications can be solved through a product construction. Based on the product construction, we prove that the computational complexity of the problem with deterministic-TA specifications is EXPTIME-complete. Then we show that when relaxed to general (nondeterministic) TAs, the model-checking problem becomes undecidable.Our results substantially extend state of the art with both the dense-time feature and the nondeterminism in TAs.


title: News on the X-ray emission from hot subdwarf stars

abstract: In latest years, the high sensitivity of the instruments on-board the XMM-Newton and Chandra satellites allowed us to explore the properties of the X-ray emission from hot subdwarf stars. The small but growing sample of X-ray detected hot subdwarfs includes binary systems, in which the X-ray emission is due to wind accretion onto a compact companion (white dwarf or neutron star), as well as isolated sdO stars, in which X-rays are probably due to shock instabilities in the wind. X-ray observations of these low-mass stars provide information which can be useful for our understanding of the weak winds of this type of stars and can lead to the discovery of particularly interesting binary systems. Here we report the most recent results we have recently obtained in this research area.


title: Inductive spikes and gamma-ray flares from the Crab Nebula

abstract: The ~400 MeV flaring emission from the Crab Nebula is naturally explained as the result of an abrupt reduction in the mass-loading of the pulsar wind. Very few particles are then available to carry the current required to maintain wave activity, causing them to achieve high Lorentz factors. When they penetrate the Nebula, a tightly beamed, high luminosity burst of hard gamma-rays results, with characteristics similar to the observed flares. This mechanism may operate in other powerful pulsars, such as J0537-6910 (PWN N 157B), B0540-69, B1957+20 and J0205+6449 (3C 58).


title: Exterior convexity and classical calculus of variations

abstract: We study the relation between various notions of exterior convexity introduced in Bandyopadhyay-Dacorogna-Sil \cite{BDS1} with the classical notions of rank one convexity, quasiconvexity and polyconvexity. To this end, we introduce a projection map, which generalizes the alternating projection for two-tensors in a new way and study the algebraic properties of this map. We conclude with a few simple consequences of this relation which yields new proofs for some of the results discussed in Bandyopadhyay-Dacorogna-Sil \cite{BDS1}.