title: General polytopal H(div) conformal finite elements and their discretisation spaces

abstract: We present a class of discretisation spaces and H(div)-conformal elements that can be built on any polytope. Bridging the flexibility of the Virtual Element spaces towards the element's shape with the divergence properties of the Raviart-Thomas elements on the boundaries, the designed frameworks offer a wide range of H(div)-conformal discretisations. As those elements are set up through degrees of freedom, their definitions are easily amenable to the properties the approximated quantities are wished to fulfill. Furthermore, we show that one straightforward restriction of this general setting share its properties with the classical Raviart-Thomas elements at each interface, for any order and any polytopial shape. Then, to close the introduction of those new elements by an example, we investigate the shape of the basis functions corresponding to particular elements in the two dimensional case.


title: Acoustic Scene Classification Based on a Large-margin Factorized CNN

abstract: In this paper, we present an acoustic scene classification framework based on a large-margin factorized convolutional neural network (CNN). We adopt the factorized CNN to learn the patterns in the time-frequency domain by factorizing the 2D kernel into two separate 1D kernels. The factorized kernel leads to learn the main component of two patterns: the long-term ambient and short-term event sounds which are the key patterns of the audio scene classification. In training our model, we consider the loss function based on the triplet sampling such that the same audio scene samples from different environments are minimized, and simultaneously the different audio scene samples are maximized. With this loss function, the samples from the same audio scene are clustered independently of the environment, and thus we can get the classifier with better generalization ability in an unseen environment. We evaluated our audio scene classification framework using the dataset of the DCASE challenge 2019 task1A. Experimental results show that the proposed algorithm improves the performance of the baseline network and reduces the number of parameters to one third. Furthermore, the performance gain is higher on unseen data, and it shows that the proposed algorithm has better generalization ability.


title: Making sense of relativistic composition of velocities

abstract: What does it mean to ``add'' velocities relativistically -- clarification of the conceptual problems, new derivations of the related formulas, and identification of the source of the non-associativity of the standard vector version of the addition formula are addressed.


title: Trajectory Advancement for Robot Stand-up with Human Assistance

abstract: Physical interactions are inevitable part of human-robot collaboration tasks and rather than exhibiting simple reactive behaviors to human interactions, collaborative robots need to be endowed with intuitive behaviors. This paper proposes a trajectory advancement approach that facilitates advancement along a reference trajectory by leveraging assistance from helpful interaction wrench present during human-robot collaboration. We validate our approach through experiments in simulation with iCub.


title: Binomial Edge Ideals of Generalized block graphs

abstract: We classify generalized block graphs whose binomial edge ideals admit a unique extremal Betti number. We prove that the Castelnuovo-Mumford regularity of binomial edge ideals of generalized block graphs is bounded below by $m(G)+1$, where $m(G)$ is the number of minimal cut sets of the graph $G$ and obtain an improved upper bound for the regularity in terms of the number of maximal cliques and pendant vertices of $G$.


title: Dynamic Graph Configuration with Reinforcement Learning for Connected Autonomous Vehicle Trajectories

abstract: Traditional traffic optimization solutions assume that the graph structure of road networks is static, missing opportunities for further traffic flow optimization. We are interested in optimizing traffic flows as a new type of graph-based problem, where the graph structure of a road network can adapt to traffic conditions in real time. In particular, we focus on the dynamic configuration of traffic-lane directions, which can help balance the usage of traffic lanes in opposite directions. The rise of connected autonomous vehicles offers an opportunity to apply this type of dynamic traffic optimization at a large scale. The existing techniques for optimizing lane-directions are however not suitable for dynamic traffic environments due to their high computational complexity and the static nature. In this paper, we propose an efficient traffic optimization solution, called Coordinated Learning-based Lane Allocation (CLLA), which is suitable for dynamic configuration of lane-directions. CLLA consists of a two-layer multi-agent architecture, where the bottom-layer agents use a machine learning technique to find a suitable configuration of lane-directions around individual road intersections. The lane-direction changes proposed by the learning agents are then coordinated at a higher level to reduce the negative impact of the changes on other parts of the road network. Our experimental results show that CLLA can reduce the average travel time significantly in congested road networks. We believe our method is general enough to be applied to other types of networks as well.


title: Deep learning for Aerosol Forecasting

abstract: Reanalysis datasets combining numerical physics models and limited observations to generate a synthesised estimate of variables in an Earth system, are prone to biases against ground truth. Biases identified with the NASA Modern-Era Retrospective Analysis for Research and Applications, Version 2 (MERRA-2) aerosol optical depth (AOD) dataset, against the Aerosol Robotic Network (AERONET) ground measurements in previous studies, motivated the development of a deep learning based AOD prediction model globally. This study combines a convolutional neural network (CNN) with MERRA-2, tested against all AERONET sites. The new hybrid CNN-based model provides better estimates validated versus AERONET ground truth, than only using MERRA-2 reanalysis.

categories: cs.LG cs.CV physics.ao-ph physics.data-an stat.ML


title: Weakly Labeled Sound Event Detection Using Tri-training and Adversarial Learning

abstract: This paper considers a semi-supervised learning framework for weakly labeled polyphonic sound event detection problems for the DCASE 2019 challenge's task4 by combining both the tri-training and adversarial learning. The goal of the task4 is to detect onsets and offsets of multiple sound events in a single audio clip. The entire dataset consists of the synthetic data with a strong label (sound event labels with boundaries) and real data with weakly labeled (sound event labels) and unlabeled dataset. Given this dataset, we apply the tri-training where two different classifiers are used to obtain pseudo labels on the weakly labeled and unlabeled dataset, and the final classifier is trained using the strongly labeled dataset and weakly/unlabeled dataset with pseudo labels. Also, we apply the adversarial learning to reduce the domain gap between the real and synthetic dataset. We evaluated our learning framework using the validation set of the task4 dataset, and in the experiments, our learning framework shows a considerable performance improvement over the baseline model.


title: Relativistic kinematic approach to the classical ideal gas

abstract: he necessary and sufficient conditions for a unit time-like vector field to be the unit velocity of a classical ideal gas are obtained. In a recent paper [Coll, Ferrando and S\'aez, Phys. Rev D {\bf 99} (2019)] we have offered a purely hydrodynamic description of a classical ideal gas. Here we take one more step in reducing the number of variables necessary to characterize these media by showing that a plainly kinematic description can be obtained. We apply the results to obtain test solutions to the hydrodynamic equation that model the evolution in local thermal equilibrium of a classical ideal gas. \end{abstract}


title: Early Prediction of Sepsis From Clinical Datavia Heterogeneous Event Aggregation

abstract: Sepsis is a life-threatening condition that seriously endangers millions of people over the world. Hopefully, with the widespread availability of electronic health records (EHR), predictive models that can effectively deal with clinical sequential data increase the possibility to predict sepsis and take early preventive treatment. However, the early prediction is challenging because patients' sequential data in EHR contains temporal interactions of multiple clinical events. And capturing temporal interactions in the long event sequence is hard for traditional LSTM. Rather than directly applying the LSTM model to the event sequences, our proposed model firstly aggregates heterogeneous clinical events in a short period and then captures temporal interactions of the aggregated representations with LSTM. Our proposed Heterogeneous Event Aggregation can not only shorten the length of clinical event sequence but also help to retain temporal interactions of both categorical and numerical features of clinical events in the multiple heads of the aggregation representations. In the PhysioNet/Computing in Cardiology Challenge 2019, with the team named PKU_DLIB, our proposed model, in high efficiency, achieved utility score (0.321) in the full test set.


title: Transition between Macroscopic Steady Slippage and Creep Motion in a System with Velocity-Dependent Friction Stress

abstract: We investigate the propagation of a slip front in a visco-elastic body on a rigid substrate. The body is one-dimensional, and the loading stress is applied at one end. By employing a local friction law that has a quadratic form of the slip velocity and gives vanishing friction stress at vanishing velocity or above a certain velocity, we show analytically that macroscopic steady slippage and creep motion can be understood in a single framework. The critical values of the end-loading stress causing macroscopic steady slippage and the slip-front propagation velocity appear are obtained. These values are completely determined by the gradient of the slip velocity-friction curve at the vanishing friction stress. These results are extended to more general friction laws, and found to be consistent with numerical calculations. Furthermore, we discuss some seismological implications based on the analytical and numerical results.


title: Tidally-Induced Radius Inflation of Sub-Neptunes

abstract: Recent work suggests that many short-period super-Earth and sub-Neptune planets may have significant spin axis tilts ("obliquities"). When planets are locked in high-obliquity states, the tidal dissipation rate may increase by several orders of magnitude. This intensified heat deposition within the planets' interiors should generate significant structural consequences, including atmospheric inflation leading to larger transit radii. Using up-to-date radius estimates from Gaia Data Release 2, we show evidence for $\sim50\%$ larger average radii of planets wide of first-order mean-motion resonances, a population of planets with a theorized frequent occurrence of high obliquities. We investigate whether this radius trend could be a signature of obliquity tides. Using an adaptation of the Modules for Experiments in Stellar Astrophysics (MESA) stellar evolution toolkit, we model the atmospheric evolution of sub-Neptune-mass planets in response to additional internal heat from obliquity tides. The degree of radius inflation predicted by the models is $\sim10\%-100\%$ for tidal luminosities $\gtrsim 10^{-5}$ of the incident stellar power; this degree of inflation is broadly consistent with the observations and can approximately be described by power law relationships. We present a few case studies of very low density "super-puff" planets -- Kepler-79 d, Kepler-31 c, and Kepler-27 b -- and show that they are strong candidates for potentially having undergone tidally-induced radius inflation. We also discuss how the discrepancy between the two populations of planets with masses derived from radial velocities and transit timing variations is connected to the radius distribution features we have identified. Altogether, the calculations in this work confirm that tidal dissipation has non-negligible consequences for the structural properties of short-period sub-Neptunes.


title: Kaon-box contribution to the anomalous magnetic moment of the muon

abstract: We present results for the charged kaon-box contributions to the hadronic light-by-light (HLBL) correction of the muon's anomalous magnetic moment. To this end we determine the kaon electromagnetic form factor within the functional approach to QCD using Dyson-Schwinger and Bethe-Salpeter equations and evaluate the kaon-box contribution as defined in the dispersive approach to HLBL. As an update to previous work we also re-evaluate the charged pion-box contribution taking effects due to isospin breaking into account. Our results are $a_\mu^{\pi^\pm-\text{box}} = -15.7 \,(2)(3) \times 10^{-11}$ and $a_\mu^{K^\pm-\text{box}} = -0.48 \,(2)(4) \times 10^{-11}$ thus confirming the large suppression of box contributions beyond the leading pion box.


title: Warm brane inflation with an exponential potential: A consistent realization away from the swampland

abstract: It has very recently been realized that coupling branes to higher dimensional quantum gravity theories and considering the consistency of what lives on the branes, one is able to understand whether such theories can belong either to the swampland or to the landscape. In this regard, in the present work, we study a warm inflation model embedded in the Randall-Sundrum braneworld scenario. It is explicitly shown that this model belongs to the landscape by supporting a strong dissipative regime with an inflaton steep exponential potential. The presence of extra dimension effects from the braneworld allow achieving this strong dissipative regime, which is shown to be both theoretically and observationally consistent. In fact, such strong dissipation effects, which decrease towards the end of inflation, together with the extra dimension effect, allow the present realization to simultaneously satisfy all previous restrictions imposed on such a model and to evade the recently proposed swampland conjectures. The present implementation of this model, in terms of an exponential potential for the scalar field, makes it also a possible candidate for describing the late-time Universe in the context of a dissipative quintessential inflation model and we discuss this possibility in the Conclusions.


title: Feedback Motion Plan Verification for Vehicles with Bounded Curvature Constraints

abstract: The kinematic approximation of Dubin's Vehicle has been largely exploited in the formulation of various motion planning methods. In the majority of these methods, planning and control phases are decoupled, and the burden of rejecting disturbances is left to the controller. An alternative to this approach is the use of a feedback motion plan, where for each state there is a specific pre-computed action that will be executed. This planning approach provides the ability to verify all trajectories off-line. The verification can be performed using backward reachability, which provides the set of configurations from which a region is reachable. In this paper, we formulate a verification process that relies on the computation of the backward reachable set using geometric principles. In addition to the theoretical foundation of the method, we provide a numerical implementation of the method and we illustrate a practical example.


title: Characterizing the Value Functions of Polynomial Games

abstract: We provide a characterization of the set of real-valued functions that can be the value function of some polynomial game. Specifically, we prove that a function $u : \dR \to \dR$ is the value function of some polynomial game if and only if $u$ is a continuous piecewise rational function.


title: Federated Learning for Coalition Operations

abstract: Machine Learning in coalition settings requires combining insights available from data assets and knowledge repositories distributed across multiple coalition partners. In tactical environments, this requires sharing the assets, knowledge and models in a bandwidth-constrained environment, while staying in conformance with the privacy, security and other applicable policies for each coalition member. Federated Machine Learning provides an approach for such sharing. In its simplest version, federated machine learning could exchange training data available among the different coalition members, with each partner deciding which part of the training data from other partners to accept based on the quality and value of the offered data. In a more sophisticated version, coalition partners may exchange models learnt locally, which need to be transformed, accepted in entirety or in part based on the quality and value offered by each model, and fused together into an integrated model. In this paper, we examine the challenges present in creating federated learning solutions in coalition settings, and present the different flavors of federated learning that we have created as part of our research in the DAIS ITA. The challenges addressed include dealing with varying quality of data and models, determining the value offered by the data/model of each coalition partner, addressing the heterogeneity in data representation, labeling and AI model architecture selected by different coalition members, and handling the varying levels of trust present among members of the coalition. We also identify some open problems that remain to be addressed to create a viable solution for federated learning in coalition environments.


title: Report on the 2019 Lattice Diversity and Inclusivity Survey

abstract: We report on the results of a survey to assess diversity and inclusivity in the Lattice community as one of the duties of a newly formed Committee on Diversity and Inclusivity in the Lattice community.


title: Roaming at Constant Kinetic Energy: Chesnavich's Model and the Hamiltonian Isokinetic Thermostat

abstract: We consider the roaming mechanism for chemical reactions under the nonholonomic constraint of constant kinetic energy. Our study is carried out in the context of the Hamiltonian isokinetic thermostat applied to Chesnavich's model for an ion-molecule reaction. Through an analysis of phase space structures we show that imposing the nonholonomic constraint does not prevent the system from exhibiting roaming dynamics, and that the origin of the roaming mechanism turns out to be analogous to that found in the previously studied Hamiltonian case.


title: Superexponential stabilizability of evolution equations of parabolic type via bilinear control

abstract: We prove rapid stabilizability to the ground state solution for a class of abstract parabolic equations of the form \begin{equation*} u'(t)+Au(t)+p(t)Bu(t)=0,\qquad t\geq0 \end{equation*} where the operator $-A$ is a self-adjoint accretive operator on a Hilbert space and $p(\cdot)$ is the control function. The proof is based on a linearization argument. We prove that the linearized system is exacly controllable and we apply the moment method to build a control $p(\cdot)$ that steers the solution to the ground state in finite time. Finally, we use such a control to bring the solution of the nonlinear equation arbitrarily close to the ground state solution with doubly exponential rate of convergence. We give several applications of our result to different kinds of parabolic equations.


title: Practical Product Code Construction of Polar Codes

abstract: In this paper, we study the connection between polar codes and product codes. Our analysis shows that the product of two polar codes is again a polar code, and we provide guidelines to compute its frozen set on the basis of the frozen sets of the component polar codes. Moreover, we show how polar codes can be described as irregular product codes. We propose a two-step decoder for long polar codes taking advantage of this dual nature to heavily reduce decoding latency. Finally, we show that the proposed decoding technique outperforms both standard polar codes and state-of-the-art codes for optical communications under latency constraints.


title: Detection of the nearest Jupiter analog in radial velocity and astrometry data

abstract: The presence of Jupiter is crucial to the architecture of the Solar System and models underline this to be a generic feature of planetary systems. We find the detection of the difference between the position and motion recorded by the contemporary astrometric satellite Gaia and its precursor Hipparcos can be used to discover Jupiter-like planets. We illustrate how observations of the nearby star $\varepsilon$ Indi A giving astrometric and radial velocity data can be used to independently find the orbit of its suspected companion. The radial velocity and astrometric data provide complementary detections which allow for a much stronger solution than either technique would provide individually. We quantify $\varepsilon$ Indi A b as the closest Jupiter-like exoplanet with a mass of 3 $M_{Jup}$ on a slightly eccentric orbit with an orbital period of 45 yr. While other long-period exoplanets have been discovered, $\varepsilon$ Indi A b provides a well constrained mass and along with the well-studied brown dwarf binary in orbit around $\varepsilon$ Indi A means that the system provides a benchmark case for our understanding of the formation of gas giant planets and brown dwarfs.


title: The asymptotic profile of an eta-theta quotient related to entanglement entropy in string theory

abstract: In this paper we investigate a certain eta-theta quotient which appears in the partition function of entanglement entropy. Employing Wright's circle method, we give its bivariate asymptotic profile.


title: Filter-free single-photon quantum dot resonance fluorescence in an integrated cavity-waveguide device

abstract: Semiconductor quantum dots embedded in micro-pillar cavities are excellent emitters of single photons when pumped resonantly. Often, the same spatial mode is used to both resonantly excite a quantum dot and to collect the emitted single photons, requiring cross-polarization to reduce the uncoupled scattered laser light. This inherently reduces the source brightness to 50 %. Critically, for some quantum applications the total efficiency from generation to detection must be over 50 %. Here, we demonstrate a resonant-excitation approach to creating single photons that is free of any cross-polarization, and in fact any filtering whatsoever. It potentially increases single-photon rates and collection efficiencies, and simplifies operation. This integrated device allows us to resonantly excite single quantum-dot states in several cavities in the plane of the device using connected waveguides, while the cavity-enhanced single-photon fluorescence is directed vertical (off-chip) in a Gaussian mode. We expect this design to be a prototype for larger chip-scale quantum photonics.


title: Recursion and Hamiltonian operators for integrable nonabelian difference equations

abstract: In this paper, we carry out the algebraic study of integrable differential-difference equations whose field variables take values in an associative (but not commutative) algebra. We adapt the Hamiltonian formalism to nonabelian difference Laurent polynomials and describe how to obtain a recursion operator from the Lax representation of an integrable nonabelian differential-difference system. As an application, we propose a novel family of integrable equations: the nonabelian Narita-Itoh-Bogoyavlensky lattice, for which we construct their recursion operators and Hamiltonian operators and prove the locality of infinitely many commuting symmetries generated from their highly nonlocal recursion operators. Finally, we discuss the nonabelian version of several integrable difference systems, including the relativistic Toda chain and Ablowitz-Ladik lattice.


title: Cortical-inspired Wilson-Cowan-type equations for orientation-dependent contrast perception modelling

abstract: We consider the evolution model proposed in [9, 6] to describe illusory contrast perception phenomena induced by surrounding orientations. Firstly, we highlight its analogies and differences with the widely used Wilson-Cowan equations [48], mainly in terms of efficient representation properties. Then, in order to explicitly encode local directional information, we exploit the model of the primary visual cortex (V1) proposed in [20] and largely used over the last years for several image processing problems [24,38,28]. The resulting model is thus defined in the space of positions and orientation and it is capable to describe assimilation and contrast visual bias at the same time. We report several numerical tests showing the ability of the model to reproduce, in particular, orientation-dependent phenomena such as grating induction and a modified version of the Poggendorff illusion. For this latter example, we empirically show the existence of a set of threshold parameters differentiating from inpainting to perception-type reconstructions and describing long-range connectivity between different hypercolumns in V1.


title: Learning to Predict Layout-to-image Conditional Convolutions for Semantic Image Synthesis

abstract: Semantic image synthesis aims at generating photorealistic images from semantic layouts. Previous approaches with conditional generative adversarial networks (GAN) show state-of-the-art performance on this task, which either feed the semantic label maps as inputs to the generator, or use them to modulate the activations in normalization layers via affine transformations. We argue that convolutional kernels in the generator should be aware of the distinct semantic labels at different locations when generating images. In order to better exploit the semantic layout for the image generator, we propose to predict convolutional kernels conditioned on the semantic label map to generate the intermediate feature maps from the noise maps and eventually generate the images. Moreover, we propose a feature pyramid semantics-embedding discriminator, which is more effective in enhancing fine details and semantic alignments between the generated images and the input semantic layouts than previous multi-scale discriminators. We achieve state-of-the-art results on both quantitative metrics and subjective evaluation on various semantic segmentation datasets, demonstrating the effectiveness of our approach.


title: Development of Deep Learning Methods for Inflow Turbulence Generation

abstract: The present work proposes an inflow turbulence generation strategy using deep learning methods. This is achieved with the help of an autoencoder architecture with two different types of operational layers in the latent-space: a fully connected multi-layer perceptron and convolutional long short-term memory layers. A wall-resolved large eddy simulation of a turbulent channel flow at a high Reynolds number is performed to create a large database of instantaneous snapshots of turbulent flow-fields used to train neural networks. The training is performed with sequences of instantaneous snapshots so as to learn a snapshot at the next time instant. For the present work, velocity and pressure fluctuations are used for training to produce the same parameters at the next time instant. Within the autoencoders, different types of methods like average pooling and strided convolutions are tested for the reduction of spatial dimensions. For convolutional neural networks, the physical boundary conditions are implemented in the form of symmetric as well as periodic paddings. A priori simulations are performed with the trained deep learning models to check the accuracy of turbulence statistics produced. It is found that the use of convolutional long short-term memory layers in the latent space improved the quality of statistics, although issues related to stability for longer times are observed. Though instantaneous snapshots of the target flow are required for training, these a priori simulations suggest that the deep learning methods for generating inflow turbulence are one of the possible alternatives to existing methods.


title: Quantum speed limits and the maximal rate of information production

abstract: The Bremermann-Bekenstein bound sets a fundamental upper limit on the rate with which information can be processed. However, the original treatment heavily relies on cosmological properties and plausibility arguments. In the present analysis, we derive equivalent statements by relying on only two fundamental results in quantum information theory and quantum dynamics -- Fannes inequality and the quantum speed limit. As main results, we obtain Bremermann-Bekenstein-type bounds for the rate of change of the von Neumann entropy in quantum systems undergoing open system dynamics, and for the rate of change of the Shannon information over some logical basis in unitary quantum evolution.


title: A unified description of hydrophilic and superhydrophobic surfaces in terms of the wetting and drying transitions of liquids

abstract: Clarifying the factors that control the contact angle of a liquid on a solid substrate is a long-standing scientific problem pertinent across physics, chemistry and materials science. Progress has been hampered by the lack of a comprehensive and unified understanding of the physics of wetting and drying phase transitions. Using various theoretical and simulational techniques applied to realistic fluid models, we elucidate how the character of these transitions depends sensitively on both the range of fluid-fluid and substrate-fluid interactions and the temperature. Our calculations uncover previously unrecognised classes of surface phase diagram which differ from that established for simple lattice models and often assumed to be universal. The differences relate both to the topology of the phase diagram and to the nature of the transitions, with a remarkable feature being a difference between drying and wetting transitions which persists even in the approach to the bulk critical point. Most experimental and simulational studies of liquids at a substrate belong to one of these previously unrecognised classes. We predict that while there appears to be nothing particularly special about water with regard to its wetting and drying behavior, superhydrophobic behavior should be more readily observable in experiments conducted at high temperatures than at room temperature.


title: ODE guided Neural Data Augmentation Techniques for Time Series Data and its Benefits on Robustness

abstract: Exploring adversarial attack vectors and studying their effects on machine learning algorithms has been of interest to researchers. Deep neural networks working with time series data have received lesser interest compared to their image counterparts in this context. In a recent finding, it has been revealed that current state-of-the-art deep learning time series classifiers are vulnerable to adversarial attacks. In this paper, we introduce two local gradient based and one spectral density based time series data augmentation techniques. We show that a model trained with data obtained using our techniques obtains state-of-the-art classification accuracy on various time series benchmarks. In addition, it improves the robustness of the model against some of the most common corruption techniques,such as Fast Gradient Sign Method (FGSM) and Basic Iterative Method (BIM).


title: An efficient method for grand-canonical twist averaging in quantum Monte Carlo calculations

abstract: We introduce a simple but efficient method for grand-canonical twist averaging in quantum Monte Carlo calculations. By evaluating the thermodynamic grand potential instead of the ground state total energy, we greatly reduce the sampling errors caused by twist-dependent fluctuations in the particle number. We apply this method to the electron gas and to metallic lithium, aluminum, and solid atomic hydrogen. We show that, even when using a small number of twists, grand-canonical twist averaging of the grand potential produces better estimates of ground state energies than the widely used canonical twist-averaging approach.


title: Lecture notes on CAT(0) cube complexes

abstract: These notes grew out of two lectures I have given on CAT(0) cube complexes. I've tried to keep the material elementary and self-contained in order to keep the material easily accessible and to provide an elementary introduction on the topic for advanced bachelor students or early master students with little to no previous knowledge on geometric group theory or CAT(0) geometry.


title: REVE: Regularizing Deep Learning with Variational Entropy Bound

abstract: Studies on generalization performance of machine learning algorithms under the scope of information theory suggest that compressed representations can guarantee good generalization, inspiring many compression-based regularization methods. In this paper, we introduce REVE, a new regularization scheme. Noting that compressing the representation can be sub-optimal, our first contribution is to identify a variable that is directly responsible for the final prediction. Our method aims at compressing the class conditioned entropy of this latter variable. Second, we introduce a variational upper bound on this conditional entropy term. Finally, we propose a scheme to instantiate a tractable loss that is integrated within the training procedure of the neural network and demonstrate its efficiency on different neural networks and datasets.


title: On Siegel's problem for E-functions

abstract: Siegel defined in 1929 two classes of power series, the E-functions and G-functions, which generalize the Diophantine properties of the exponential and logarithmic functions respectively. In 1949, he asked whether any E-function can be represented as a polynomial with algebraic coefficients in a finite number of hypergeometric E-functions with rational parameters. The case of E-functions of differential order less than 2 was settled in the affirmative by Gorelov in 2004, but Siegel's question is open for higher order. We prove here that if Siegel's question has a positive answer, then the ring G of values taken by analytic continuations of G-functions at algebraic points must be a subring of the relatively "small" ring H generated by algebraic numbers, $1/\pi$ and the values of the derivatives of the Gamma function at rational points. Because that inclusion seems unlikely (and contradicts standard conjectures), this points towards a negative answer to Siegel's question in general. As intermediate steps, we first prove that any element of G is a coefficient of the asymptotic expansion of a suitable E-function, which completes previous results of ours. We then prove (in two steps) that the coefficients of the asymptotic expansion of an hypergeometric E-function with rational parameters are in H. Finally, we prove a similar result for G-functions.


title: AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness

abstract: In this paper we exploit the utility of the triangle symbol which has a complicated expression in terms of spider diagrams in ZX-calculus, and its role within the ZX-representation of AND-gates in particular. First, we derive spider nest identities which are of key importance to recent developments in quantum circuit optimisation and T-count reduction in particular. Then, using the same rule set, we prove a completeness theorem for quantum Boolean circuits (QBCs) whose rewriting rules can be directly used for a new method of T-count reduction. We give an algorithm based on this method and show that the results of our algorithm outperform the results of all the previous best non-probabilistic algorithms.


title: Fonctions dont les int\'egrales orbitales et celles de leurs transform\'ees de Fourier sont \`a support topologiquement nilpotent

abstract: Let $F$ be a $p$-adic field and let $G$ be a connected reductive group defined over $F$. We assume $p$ is big. Denote $\mathfrak{g}$ the Lie algebra of $G$. To each vertex $s$ of the reduced Bruhat-Tits' building of $G$, we associate as usual a reductive Lie algebra $\mathfrak{g}_{s}$ defined over the residual field ${\mathbb F}_{q}$. We normalize suitably a Fourier-transform $f\mapsto \hat{f}$ on $C_{c}^{\infty}(\mathfrak{g}(F))$. We study the subspace of functions $f\in C_{c}^{\infty}(\mathfrak{g}(F))$ such that the orbital integrals of $f$ and of $\hat{f}$ are $0$ for each element of $ \mathfrak{g}(F)$ which is not topologically nilpotent. This space is related to the characteristic functions of the character-sheaves on the spaces $\mathfrak{g}_{s}({\mathbb F}_{q})$, for each vertex $s$, which are cuspidal and with nilpotent support. We prove that our subspace behave well under endoscopy.


title: Elementos da teoria de aprendizagem de m\'aquina supervisionada

abstract: This is a set of lecture notes for an introductory course (advanced undergaduates or the 1st graduate course) on foundations of supervised machine learning (in Portuguese). The topics include: the geometry of the Hamming cube, concentration of measure, shattering and VC dimension, Glivenko-Cantelli classes, PAC learnability, universal consistency and the k-NN classifier in metric spaces, dimensionality reduction, universal approximation, sample compression. There are appendices on metric and normed spaces, measure theory, etc., making the notes self-contained. Este \'e um conjunto de notas de aula para um curso introdut\'orio (curso de gradua\c{c}\~ao avan\c{c}ado ou o 1o curso de p\'os) sobre fundamentos da aprendizagem de m\'aquina supervisionada (em Portugu\^es). Os t\'opicos incluem: a geometria do cubo de Hamming, concentra\c{c}\~ao de medida, fragmenta\c{c}\~ao e dimens\~ao de Vapnik-Chervonenkis, classes de Glivenko-Cantelli, aprendizabilidade PAC, consist\^encia universal e o classificador k-NN em espa\c{c}os m\'etricos, redu\c{c}\~ao de dimensionalidade, aproxima\c{c}\~ao universal, compress\~ao amostral. H\'a ap\^endices sobre espa\c{c}os m\'etricos e normados, teoria de medida, etc., tornando as notas autosuficientes.


title: Introduction to SU(2) recoupling theory and graphical methods for loop quantum gravity

abstract: We present a pedagogical introduction to SU(2) recoupling theory, focusing on those aspects of the topic which are useful for practical calculations in loop quantum gravity. In particular, we give a self-contained presentation of the powerful graphical formalism, which is an indispensable tool for performing computations in the spin network basis of loop quantum gravity. The use of the graphical techniques in loop quantum gravity is illustrated by several detailed example calculations. Plenty of exercises are included for the benefit of the ambitious student.


title: Flybys in protoplanetary discs: II. Observational signatures

abstract: Tidal encounters in star clusters perturb discs around young protostars. In Cuello et al. (2019a, Paper I) we detailed the dynamical signatures of a stellar flyby in both gas and dust. Flybys produce warped discs, spirals with evolving pitch angles, increasing accretion rates, and disc truncation. Here we present the corresponding observational signatures of these features in optical/near-infrared scattered light and (sub-) millimeter continuum and CO line emission. Using representative prograde and retrograde encounters for direct comparison, we post-process hydrodynamical simulations with radiative transfer methods to generate a catalogue of multi-wavelength observations. This provides a reference to identify flybys in recent near-infrared and sub-millimetre observations (e.g., RW Aur, AS 205, HV Tau & DO Tau, FU Ori, V2775 Ori, and Z CMa).


title: Enhancing the LBNF Physics Programs With A high-resolution Magnetized Detector

abstract: The Long-Baseline Neutrino Facility (LBNF) offers an unprecedented intensity for neutrino physics. We discuss a proposal to enhance the LBNF physics programs at Fermilab with the addition of a high-resolution magnetized detector at the near site. The detector is largely based upon reusing an existing superconducting magnet and electromagnetic calorimeter, supplemented with a new low-density straw tube tracker. We also discuss the physics opportunities of the proposed design for the long-baseline oscillation analysis, as well as for precision measurements of (anti)neutrino interactions.


title: Affect-aware thermal comfort provision in intelligent buildings

abstract: Predominant thermal comfort provision technologies are energy-hungry, and yet they perform crudely because they overlook the requisite precursors to thermal comfort. They also fail to exclusively cool or heat the parts of the body (e.g., the wrist, the feet, and the head) that influence the most a person's thermal comfort satisfaction. Instead, they waste energy by heating or cooling the whole room. This research investigates the influence of neck-coolers on people's thermal comfort perception and proposes an effective method that delivers thermal comfort depending on people's heart rate variability (HRV). Moreover, because thermal comfort is idiosyncratic and depends on unforeseeable circumstances, only person-specific thermal comfort models are adequate for this task. Unfortunately, using person-specific models would be costly and inflexible for deployment in, e.g., a smart building because a system that uses person-specific models would require collecting extensive training data from each person in the building. As a compromise, we devise a hybrid, cost-effective, yet satisfactory technique that derives a personalized person-specific-like model from samples collected from a large population. For example, it was possible to double the accuracy of a generic model (from 47.77% to 96.11%) using only 400 person-specific calibration samples. Finally, we propose a practical implementation of a real-time thermal comfort provision system that uses this strategy and highlighted its advantages and limitations.


title: Immersive Analytics of Large Dynamic Networks via Overview and Detail Navigation

abstract: Analysis of large dynamic networks is a thriving research field, typically relying on 2D graph representations. The advent of affordable head mounted displays however, sparked new interest in the potential of 3D visualization for immersive network analytics. Nevertheless, most solutions do not scale well with the number of nodes and edges and rely on conventional fly- or walk-through navigation. In this paper, we present a novel approach for the exploration of large dynamic graphs in virtual reality that interweaves two navigation metaphors: overview exploration and immersive detail analysis. We thereby use the potential of state-of-the-art VR headsets, coupled with a web-based 3D rendering engine that supports heterogeneous input modalities to enable ad-hoc immersive network analytics. We validate our approach through a performance evaluation and a case study with experts analyzing a co-morbidity network.


title: Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages

abstract: Web applications continue to be a favorite target for hackers due to a combination of wide adoption and rapid deployment cycles, which often lead to the introduction of high impact vulnerabilities. Static analysis tools are important to search for bugs automatically in the program source code, supporting developers on their removal. However, building these tools requires programming the knowledge on how to discover the vulnerabilities. This paper presents an alternative approach in which tools learn to detect flaws automatically by resorting to artificial intelligence concepts, more concretely to natural language processing. The approach employs a sequence model to learn to characterize vulnerabilities based on an annotated corpus. Afterwards, the model is utilized to discover and identify vulnerabilities in the source code. It was implemented in the DEKANT tool and evaluated experimentally with a large set of PHP applications and WordPress plugins. Overall, we found several hundred vulnerabilities belonging to 12 classes of input validation vulnerabilities, where 62 of them were zero-day.


title: Learning Generalisable Omni-Scale Representations for Person Re-Identification

abstract: An effective person re-identification (re-ID) model should learn feature representations that are both discriminative, for distinguishing similar-looking people, and generalisable, for deployment across datasets without any adaptation. In this paper, we develop novel CNN architectures to address both challenges. First, we present a re-ID CNN termed omni-scale network (OSNet) to learn features that not only capture different spatial scales but also encapsulate a synergistic combination of multiple scales, namely omni-scale features. The basic building block consists of multiple convolutional streams, each detecting features at a certain scale. For omni-scale feature learning, a unified aggregation gate is introduced to dynamically fuse multi-scale features with channel-wise weights. OSNet is lightweight as its building blocks comprise factorised convolutions. Second, to improve generalisable feature learning, we introduce instance normalisation (IN) layers into OSNet to cope with cross-dataset discrepancies. Further, to determine the optimal placements of these IN layers in the architecture, we formulate an efficient differentiable architecture search algorithm. Extensive experiments show that, in the conventional same-dataset setting, OSNet achieves state-of-the-art performance, despite being much smaller than existing re-ID models. In the more challenging yet practical cross-dataset setting, OSNet beats most recent unsupervised domain adaptation methods without using any target data. Our code and models are released at \texttt{https://github.com/KaiyangZhou/deep-person-reid}.


title: Sizing of a PV/Battery System Through Stochastic Control and Plant Aggregation

abstract: The objective of this work is to reduce the storage dimensions required to operate a coupled photovoltaic (PV) and Battery Energy Storage System (BESS) in an electricity market, while keeping the same level of performance. Performance is measured either with the amount of errors between the energy sold on the market and the actual generation of the PV/BESS i.e. the imbalance, or directly with the revenue generated on the electricity market from the PV/BESS operation. Two solutions are proposed and tested to reduce the BESS size requirement. The first solution is to participate in electricity markets with an aggregation of several plants instead of a single plant, which effectively reduces the uncertainty of the PV power generation. The second is to participate in an intra-day market to reduce the BESS usage. To evaluate the effects of these two solutions on the BESS size requirement, we simulate the control of the PV/BESS system in an electricity market.


title: Re-examination of the rare decay $B_s \to \phi \mu^+ \mu^-$ using holographic light-front QCD

abstract: We calculate the Standard Model (SM) predictions for the differential branching ratio of the rare $B_s \to \phi\mu^+ \mu^-$ decays using $B_s \to \phi$ transition form factors (TFFs) obtained using holographic light-front QCD (hQCD) instead of the traditional QCD sum rules (QCDSR) . Our predictions for the differential branching ratio is in better agreement with the LHCb data. Also, we find that the hQCD prediction for $R_{K^*\phi}$, the ratio of the branching fraction of $B \to K^* \mu^+ \mu^-$ to that of $B_s \to \phi\mu^+ \mu^-$ , is in excellent agreement with both the LHCb and CDF results in low $q^2$ range.


title: Reversible cyclic codes over $\mathbb{F}_q + u \mathbb{F}_q$

abstract: Let $q$ be a power of a prime $p$. In this paper, we study reversible cyclic codes of arbitrary length over the ring $ R = \mathbb{F}_q + u \mathbb{F}_q$, where $u^2=0 mod q$. First, we find a unique set of generators for cyclic codes over $R$, followed by a classification of reversible cyclic codes with respect to their generators. Also, under certain conditions, it is shown that dual of reversible cyclic code is reversible over $\mathbb{Z}_2+u\mathbb{Z}_2$. Further, to show the importance of these results, some examples of reversible cyclic codes are provided.


title: 3D Field Simulation Model for Bond Wire On-Chip Inductors Validated by Measurements

abstract: This paper proposes 3D field simulation models for different designs of integrated bond wire on-chip inductors. To validate the simulation models, prototypes for three designs with air and ferrite cores are manufactured and measured. For air core inductors, high agreement between simulation and measurement is obtained. For ferrite core inductors, accurate models require an exact characterization of the ferrite material. These models enable the prediction of magnetic field influences on underlying integrated circuits.


title: Discriminator optimal transport

abstract: Within a broad class of generative adversarial networks, we show that discriminator optimization process increases a lower bound of the dual cost function for the Wasserstein distance between the target distribution $p$ and the generator distribution $p_G$. It implies that the trained discriminator can approximate optimal transport (OT) from $p_G$ to $p$.Based on some experiments and a bit of OT theory, we propose a discriminator optimal transport (DOT) scheme to improve generated images. We show that it improves inception score and FID calculated by un-conditional GAN trained by CIFAR-10, STL-10 and a public pre-trained model of conditional GAN by ImageNet.


title: Arctic curves of the twenty-vertex model with domain wall boundaries

abstract: We use the tangent method to compute the arctic curve of the Twenty-Vertex (20V) model with particular domain wall boundary conditions for a wide set of integrable weights. To this end, we extend to the finite geometry of domain wall boundary conditions the standard connection between the bulk 20V and 6V models via the Kagome lattice ice model. This allows to express refined partition functions of the 20V model in terms of their 6V counterparts, leading to explicit parametric expressions for the various portions of its arctic curve. The latter displays a large variety of shapes depending on the weights and separates a central liquid phase from up to six different frozen phases. A number of numerical simulations are also presented, which highlight the arctic curve phenomenon and corroborate perfectly the analytic predictions of the tangent method. We finally compute the arctic curve of the Quarter-turn symmetric Holey Aztec Domino Tiling (QTHADT) model, a problem closely related to the 20V model and whose asymptotics may be analyzed via a similar tangent method approach. Again results for the QTHADT model are found to be in perfect agreement with our numerical simulations.

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


title: A non-perturbative approach to the study of confinement-deconfinement phase transition in S U(3) dual QCD formulation

abstract: We provide an analytical derivation of the confinement deconfinement phase transition to QCD in the pure gluon sector at finite temperature within the framework of S U(3) dual QCD formulation. The mechanism of color confinement has been explained by adopting magnetic symmetry to extract magnetic monopoles in a gauge invariant way and produce magnetic condensation of S U(3) dual QCD vacuum which guarantees the dual Meissner effect. The deconfinement phase transition has been described by constructing the effective potential at finite temperature in the imaginary time formalism. The magnetic monopole condensate acts as an order parameter for both the confinement deconfinement phase and has been observed to be associated with the appearance/disappearance of magnetic monopole condensate. The evidence of the confinement deconfinement phase transition is further confirmed by the appearance/disappearance of the dual Meissner effect and the existence/breaking of flux tube with temperature. The gauge-invariant vector and scalar glueball masses at finite temperature have been obtained from the minimization of the effective potential at finite temperature which seems to demonstrate a first order deconfinement phase transition associated with the restoration of magnetic symmetry.


title: Dirichlet-Poincar\'{e} profiles of graphs and groups

abstract: We define Poincar\'{e} profiles of Dirichlet type for graphs of bounded degree, in analogy with the Poincar\'{e} profiles (of Neumann type) defined in [HMT19]. The obvious first definition yields nothing of interest, but an alternative definition yields a spectrum of profiles which are quasi-isometry invariants and monotone with respect to subgroup inclusion. Moreover, in the extremal cases $p=1$ and $p=\infty$, they detect the F\o lner function and the growth function respectively.


title: Inverting the Ray-Knight identity on the line

abstract: Using a divergent Bass-Burdzy flow we construct a self-repelling one-dimensional diffusion. Heuristically, it can be interpreted as a solution to an SDE with a singular drift involving a derivative of the local time. We show that this self-repelling diffusion inverts the second Ray-Knight identity on the line. The proof goes through an approximation by a self-repelling jump processes that has been previously shown by the authors to invert the Ray-Knight identity in the discrete.


title: Reliable Federated Learning for Mobile Networks

abstract: Federated learning, as a promising machine learning approach, has emerged to leverage a distributed personalized dataset from a number of nodes, e.g., mobile devices, to improve performance while simultaneously providing privacy preservation for mobile users. In the federated learning, training data is widely distributed and maintained on the mobile devices as workers. A central aggregator updates a global model by collecting local updates from mobile devices using their local training data to train the global model in each iteration. However, unreliable data may be uploaded by the mobile devices (i.e., workers), leading to frauds in tasks of federated learning. The workers may perform unreliable updates intentionally, e.g., the data poisoning attack, or unintentionally, e.g., low-quality data caused by energy constraints or high-speed mobility. Therefore, finding out trusted and reliable workers in federated learning tasks becomes critical. In this article, the concept of reputation is introduced as a metric. Based on this metric, a reliable worker selection scheme is proposed for federated learning tasks. Consortium blockchain is leveraged as a decentralized approach for achieving efficient reputation management of the workers without repudiation and tampering. By numerical analysis, the proposed approach is demonstrated to improve the reliability of federated learning tasks in mobile networks.


title: Man-in-the-Middle Attacks against Machine Learning Classifiers via Malicious Generative Models

abstract: Deep Neural Networks (DNNs) are vulnerable to deliberately crafted adversarial examples. In the past few years, many efforts have been spent on exploring query-optimisation attacks to find adversarial examples of either black-box or white-box DNN models, as well as the defending countermeasures against those attacks. In this work, we explore vulnerabilities of DNN models under the umbrella of Man-in-the-Middle (MitM) attacks, which has not been investigated before. From the perspective of an MitM adversary, the aforementioned adversarial example attacks are not viable anymore. First, such attacks must acquire the outputs from the models by multiple times before actually launching attacks, which is difficult for the MitM adversary in practice. Second, such attacks are one-off and cannot be directly generalised onto new data examples, which decreases the rate of return for the attacker. In contrast, using generative models to craft adversarial examples on the fly can mitigate the drawbacks. However, the adversarial capability of the generative models, such as Variational Auto-Encoder (VAE), has not been extensively studied. Therefore, given a classifier, we investigate using a VAE decoder to either transform benign inputs to their adversarial counterparts or decode outputs from benign VAE encoders to be adversarial examples. The proposed method can endue more capability to MitM attackers. Based on our evaluation, the proposed attack can achieve above 95% success rate on both MNIST and CIFAR10 datasets, which is better or comparable with state-of-the-art query-optimisation attacks. At the meantime, the attack is 104 times faster than the query-optimisation attacks.


title: Weighted norm inequalities in a bounded domain by the sparse domination method

abstract: We prove a local two-weight Poincar\'e inequality for cubes using the sparse domination method that has been influential in harmonic analysis. The proof involves a localized version of the Fefferman--Stein inequality for the sharp maximal function. By establishing a local-to-global result in a bounded domain satisfying a Boman chain condition, we show a two-weight $p$-Poincar\'e inequality in such domains. As an application we show that certain nonnegative supersolutions of the $p$-Laplace equation and distance weights are $p$-admissible in a bounded domain, in the sense that they support versions of the $p$-Poincar\'e inequality.


title: A Hybrid Compact Neural Architecture for Visual Place Recognition

abstract: State-of-the-art algorithms for visual place recognition, and related visual navigation systems, can be broadly split into two categories: computer-science-oriented models including deep learning or image retrieval-based techniques with minimal biological plausibility, and neuroscience-oriented dynamical networks that model temporal properties underlying spatial navigation in the brain. In this letter, we propose a new compact and high-performing place recognition model that bridges this divide for the first time. Our approach comprises two key neural models of these categories: (1) FlyNet, a compact, sparse two-layer neural network inspired by brain architectures of fruit flies, Drosophila melanogaster, and (2) a one-dimensional continuous attractor neural network (CANN). The resulting FlyNet+CANN network incorporates the compact pattern recognition capabilities of our FlyNet model with the powerful temporal filtering capabilities of an equally compact CANN, replicating entirely in a hybrid neural implementation the functionality that yields high performance in algorithmic localization approaches like SeqSLAM. We evaluate our model, and compare it to three state-of-the-art methods, on two benchmark real-world datasets with small viewpoint variations and extreme environmental changes - achieving 87% AUC results under day to night transitions compared to 60% for Multi-Process Fusion, 46% for LoST-X and 1% for SeqSLAM, while being 6.5, 310, and 1.5 times faster, respectively.


title: On the Free Jordan Algebras

abstract: A conjecture for the dimension and the character of the homogenous components of the free Jordan algebras is proposed. As a support of the conjecture, some numerical evidences are generated by a computer and some new theoretical results are proved. One of them is the cyclicity of the Jordan operad.


title: Irregularly Shaped {\gamma}'-Fe4N Nanoparticles for Hyperthermia Treatment and T2 Contrast-Enhanced Magnetic Resonance Imaging with Minimum Dose

abstract: Magnetic nanoparticles (MNPs) have been extensively used in drug/gene delivery, hyperthermia therapy, magnetic particle imaging (MPI), magnetic resonance imaging (MRI), magnetic bioassays, etc. With proper surface chemical modifications, physicochemically stable and non-toxic MNPs are emerging contrast agents and tracers for in vivo MRI and MPI applications. Herein, we report the high magnetic moment, irregularly shaped {\gamma}'-Fe4N nanoparticles for enhanced hyperthermia therapy and T2 contrast agent for MRI application. The static and dynamic magnetic properties of {\gamma}'-Fe4N nanoparticles are characterized by vibrating sample magnetometer (VSM) and magnetic particle spectroscopy (MPS) systems, respectively. Compared to the {\gamma}-Fe2O3 nanoparticles, {\gamma}'-Fe4N show at least 3 times higher saturation magnetization (in emu/g), which, as a result, gives rise to the stronger dynamic magnetic responses as proved in the MPS measurement results. In addition, {\gamma}'-Fe4N nanoparticles are functionalized with oleic acid layer by a wet mechanical milling process, the morphologies of as-milled nanoparticles are characterized by transmission electron microscopy (TEM), dynamic light scattering (DLS) and nanoparticle tracking analyzer (NTA). We report that with proper surface chemical modification and tuning on morphologies, {\gamma}'-Fe4N nanoparticles could be used as tiny heating sources for hyperthermia and contrast agents for MRI applications with minimum dose.


title: Galois Groups of Composed Schubert Problems

abstract: Two Schubert problems on possibly different Grassmannians may be composed to obtain a Schubert problem on a larger Grassmannian whose number of solutions is the product of the numbers of the original problems. This generalizes a construction discovered while classifying Schubert problems on the Grassmannian of 4-planes in C^9 with imprimitive Galois groups. We give an algebraic proof of the product formula. In a number of cases, we show that the Galois group of the composed Schubert problem is a subgroup of a wreath product of the Galois groups of the original problems, and is therefore imprimitive. We also present evidence for a conjecture that all composed Schubert problems have imprimitive Galois groups.


title: An Approach for Realistically Simulating the Performance of Scientific Applications on High Performance Computing Systems

abstract: Scientific applications often contain large, computationally-intensive, and irregular parallel loops or tasks that exhibit stochastic characteristics. Applications may suffer from load imbalance during their execution on high-performance computing (HPC) systems due to such characteristics. Dynamic loop self-scheduling (DLS) techniques are instrumental in improving the performance of scientific applications on HPC systems via load balancing. Selecting a DLS technique that results in the best performance for different problems and system sizes requires a large number of exploratory experiments. A theoretical model that can be used to predict the scheduling technique that yields the best performance for a given problem and system has not yet been identified. Therefore, simulation is the most appropriate approach for conducting such exploratory experiments with reasonable costs. This work devises an approach to realistically simulate computationally-intensive scientific applications that employ DLS and execute on HPC systems. Several approaches to represent the application tasks (or loop iterations) are compared to establish their influence on the simulative application performance. A novel simulation strategy is introduced, which transforms a native application code into a simulative code. The native and simulative performance of two computationally-intensive scientific applications are compared to evaluate the realism of the proposed simulation approach. The comparison of the performance characteristics extracted from the native and simulative performance shows that the proposed simulation approach fully captured most of the performance characteristics of interest. This work shows and establishes the importance of simulations that realistically predict the performance of DLS techniques for different applications and system configurations.


title: Non-adaptive Quantitative Group Testing Using Irregular Sparse Graph Codes

abstract: This paper considers the problem of Quantitative Group Testing (QGT) where there are some defective items among a large population of $N$ items. We consider the scenario in which each item is defective with probability $K/N$, independently from the other items. In the QGT problem, the goal is to identify all or a sufficiently large fraction of the defective items by testing groups of items, with the minimum possible number of tests. In particular, the outcome of each test is a non-negative integer which indicates the number of defective items in the tested group. In this work, we propose a non-adaptive QGT scheme for the underlying randomized model for defective items, which utilizes sparse graph codes over irregular bipartite graphs with optimized degree profiles on the left nodes of the graph as well as binary $t$-error-correcting BCH codes. We show that in the sub-linear regime, i.e., when the ratio $K/N$ vanishes as $N$ grows unbounded, the proposed scheme with ${m=c(t,d)K(t\log (\frac{\ell N}{c(t,d)K}+1)+1)}$ tests can identify all the defective items with probability approaching $1$, where $d$ and $\ell$ are the maximum and average left degree, respectively, and $c(t,d)$ depends only on $t$ and $d$ (and does not depend on $K$ and $N$). For any $t\leq 4$, the testing and recovery algorithms of the proposed scheme have the computational complexity of $\mathcal{O}(N\log \frac{N}{K})$ and $\mathcal{O}(K\log \frac{N}{K})$, respectively. The proposed scheme outperforms two recently proposed non-adaptive QGT schemes for the sub-linear regime, including our scheme based on regular bipartite graphs and the scheme of Gebhard et al., in terms of the number of tests required to identify all defective items with high probability.


title: A greedy anytime algorithm for sparse PCA

abstract: The taxing computational effort that is involved in solving some high-dimensional statistical problems, in particular problems involving non-convex optimization, has popularized the development and analysis of algorithms that run efficiently (polynomial-time) but with no general guarantee on statistical consistency. In light of the ever-increasing compute power and decreasing costs, a more useful characterization of algorithms is by their ability to calibrate the invested computational effort with various characteristics of the input at hand and with the available computational resources. For example, design an algorithm that always guarantees statistical consistency of its output by increasing the running time as the SNR weakens. We propose a new greedy algorithm for the $\ell_0$-sparse PCA problem which supports the calibration principle. We provide both a rigorous analysis of our algorithm in the spiked covariance model, as well as simulation results and comparison with other existing methods. Our findings show that our algorithm recovers the spike in SNR regimes where all polynomial-time algorithms fail while running in a reasonable parallel-time on a cluster.


title: Fixed rings of quantum generalized Weyl algebras

abstract: Generalized Weyl Algebras (GWAs) appear in diverse areas of mathematics including mathematical physics, noncommutative algebra, and representation theory. We study the invariants of quantum GWAs under finite automorphisms. We extend a theorem of Jordan and Wells and apply it to determine the fixed ring of quantum GWAs under diagonal automorphisms. We further study properties of the fixed rings, including global dimension, rigidity, and simplicity.


title: Facebook AI's WAT19 Myanmar-English Translation Task Submission

abstract: This paper describes Facebook AI's submission to the WAT 2019 Myanmar-English translation task. Our baseline systems are BPE-based transformer models. We explore methods to leverage monolingual data to improve generalization, including self-training, back-translation and their combination. We further improve results by using noisy channel re-ranking and ensembling. We demonstrate that these techniques can significantly improve not only a system trained with additional monolingual data, but even the baseline system trained exclusively on the provided small parallel dataset. Our system ranks first in both directions according to human evaluation and BLEU, with a gain of over 8 BLEU points above the second best system.


title: DeepGCNs: Making GCNs Go as Deep as CNNs

abstract: Convolutional Neural Networks (CNNs) have been very successful at solving a variety of computer vision tasks such as object classification and detection, semantic segmentation, activity understanding, to name just a few. One key enabling factor for their great performance has been the ability to train very deep networks. Despite their huge success in many tasks, CNNs do not work well with non-Euclidean data, which is prevalent in many real-world applications. Graph Convolutional Networks (GCNs) offer an alternative that allows for non-Eucledian data input to a neural network. While GCNs already achieve encouraging results, they are currently limited to architectures with a relatively small number of layers, primarily due to vanishing gradients during training. This work transfers concepts such as residual/dense connections and dilated convolutions from CNNs to GCNs in order to successfully train very deep GCNs. We show the benefit of using deep GCNs (with as many as 112 layers) experimentally across various datasets and tasks. Specifically, we achieve very promising performance in part segmentation and semantic segmentation on point clouds and in node classification of protein functions across biological protein-protein interaction (PPI) graphs. We believe that the insights in this work will open avenues for future research on GCNs and their application to further tasks not explored in this paper. The source code for this work is available at https://github.com/lightaime/deep_gcns_torch and https://github.com/lightaime/deep_gcns for PyTorch and TensorFlow implementation respectively.


title: Some parametric congruences involving generalized central trinomial coefficients

abstract: For $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{Z}$, the $n$th generalized central trinomial coefficient $T_n(b,c)$ is the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. In particular, $T_n=T_n(1,1)$ is the central trinomial coefficient. In this paper, we mainly establish some parametric congruences involving generalized central trinomial coefficients. As consequences, we prove that for any prime $p>3$ $$ \sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{12^k}T_k\equiv\left(\frac{p}{3}\right)\frac{3^{p-1}+3}{4}\pmod{p^2} $$ and $$ \sum_{k=0}^{p-1}\frac{T_kH_k}{3^k}\equiv\frac{3+\left(\frac{p}{3}\right)}{2}-p\left(1+\left(\frac{p}{3}\right)\right)\pmod{p^2}, $$ where $(-)$ denotes the Legendre symbol and $H_k:=\sum_{j=1}^k1/j$ denotes the $k$th harmonic number. These confirm two conjectural congruences of the second author.


title: Jointly super-resolved and optically sectioned Bayesian reconstruction method for structured illumination microscopy

abstract: Structured Illumination Microscopy (SIM) is an imaging technique for achieving both super-resolution (SR) and optical sectioning (OS) in wide-field microscopy. It consists in illuminating the sample with periodic patterns at different orientations and positions. The resulting images are then processed to reconstruct the observed object with SR and/or OS. In this work, we present BOSSA-SIM, a general-purpose SIM reconstruction method, applicable to moving objects such as encountered in in vivo retinal imaging, that enables SR and OS jointly in a fully unsupervised Bayesian framework. By modeling a 2-layer object composed of an in-focus layer and a defocused layer, we show that BOSSA-SIM is able to jointly reconstruct them so as to get a super-resolved and optically sectioned in-focus layer. The achieved performance, assessed quantitatively by simulations for several noise levels, compares favorably with a state-of-the-art method. Finally, we validate our method on open-access experimental microscopy data.


title: Synchronization in networks of coupled hyperchaotic CO$_2$ lasers

abstract: A non-autonomous dynamical system is proposed to study the synchronization in networks of mutually coupled optically modulated hyperchaotic CO$_2$ lasers. By the method of master stability function (MSF) it is shown that the stable synchronous state can be reached for both the ring of diffusively coupled (RDC) and star-coupled (SC) networks of at most $24$ nodes or oscillators. A numerical simulation of the coupled $24$ hyperchaotic CO$_2$ lasers is also performed to show that the corresponding synchronization error $\lesssim10^{-6}$. Furthermore, the chimera states of the networks are found to coexist in some intervals of time and the coupling strengths where the networks are not synchronized, implying that the synchronization occurs only in some specific ranges of values of the coupling strengths.


title: Breadth-first, Depth-next Training of Random Forests

abstract: In this paper we analyze, evaluate, and improve the performance of training Random Forest (RF) models on modern CPU architectures. An exact, state-of-the-art binary decision tree building algorithm is used as the basis of this study. Firstly, we investigate the trade-offs between using different tree building algorithms, namely breadth-first-search (BFS) and depth-search-first (DFS). We design a novel, dynamic, hybrid BFS-DFS algorithm and demonstrate that it performs better than both BFS and DFS, and is more robust in the presence of workloads with different characteristics. Secondly, we identify CPU performance bottlenecks when generating trees using this approach, and propose optimizations to alleviate them. The proposed hybrid tree building algorithm for RF is implemented in the Snap Machine Learning framework, and speeds up the training of RFs by 7.8x on average when compared to state-of-the-art RF solvers (sklearn, H2O, and xgboost) on a range of datasets, RF configurations, and multi-core CPU architectures.


title: Optimizing Convolutional Neural Networks for Embedded Systems by Means of Neuroevolution

abstract: Automated design methods for convolutional neural networks (CNNs) have recently been developed in order to increase the design productivity. We propose a neuroevolution method capable of evolving and optimizing CNNs with respect to the classification error and CNN complexity (expressed as the number of tunable CNN parameters), in which the inference phase can partly be executed using fixed point operations to further reduce power consumption. Experimental results are obtained with TinyDNN framework and presented using two common image classification benchmark problems -- MNIST and CIFAR-10.


title: On the Hardware Feasibility of Nonlinear Trajectory Optimization for Legged Locomotion based on a Simplified Dynamics

abstract: Simplified models are useful to increase the computational efficiency of a motion planning algorithm, but their lack of accuracy have to be managed. We propose two feasibility constraints to be included in a Single Rigid Body Dynamicsbased trajectory optimizer in order to obtain robust motions in challenging terrain. The first one finds an approximate relationship between joint-torque limits and admissible contact forces, without requiring the joint positions. The second one proposes a leg model to prevent leg collision with the environment. Such constraints have been included in a simplified nonlinear nonconvex trajectory optimization problem. We demonstrate the feasibility of the resulting motion plans both in simulation and on the Hydraulically actuated Quadruped (HyQ) robot, considering experiments on an irregular terrain.


title: $p$-adic analogues of hypergeometric identities and their applications

abstract: In this paper, we confirm several conjectures posed by Sun recently; for example, we prove that for any odd prime $p$ we have $$ \sum_{k=0}^{p-1}A_k\equiv\begin{cases}4x^2-2p\pmod{p^2}\quad&\text{if $p=x^2+2y^2\ (x,y\in\mathbb{Z})$},\\ 0\pmod{p^2}\quad&\text{if $p\equiv5,7\pmod{8}$},\end{cases} $$ where $A_n:=\sum_{k=0}^n\binom{n+k}{k}^2\binom{n}{k}^2$ are the Ap\'{e}ry numbers.


title: Logarithmic Sobolev inequalities for Dunkl operators with applications to functional inequalities for singular Boltzmann-Gibbs measures

abstract: In this paper we study several inequalities of log-Sobolev type for Dunkl operators. After proving an equivalent of the classical inequality for the usual Dunkl measure $\mu_k$, we also study a number of inequalities for probability measures of Boltzmann type of the form $e^{-|x|^p} d\mu_k$. These are obtained using the method of $U$-bounds. Poincar\'e inequalities are obtained as consequences of the log-Sobolev inequality. The connection between Poincar\'e and log-Sobolev inequalities is further examined, obtaining in particular tight log-Sobolev inequalities. Finally, we study application to exponential integrability and to functional inequalities for a class of singular Boltzmann-Gibbs measures.


title: The "96 GeV excess" in the N2HDM

abstract: The CMS collaboration reported an intriguing $\sim 3 \, \sigma$ (local) excess at $96\;$GeV in the light Higgs-boson search in the diphoton decay mode. This mass coincides with a $\sim 2 \, \sigma$ (local) excess in the $b\bar b$ final state at LEP. We present the interpretation of this possible signal as the lightest Higgs boson in the 2 Higgs Doublet Model with an additional real Higgs singlet (N2HDM). We show that the type II and type IV (flipped) of the N2HDM can perfectly accommodate both excesses simultaneously, while being in agreement with all experimental and theoretical constraints. The excesses are most easily accommodated in the type II N2HDM, which resembles the Yukawa structure of supersymmetric models. We discuss the experimental prospects for constraining our explanation via charged Higgs-boson decays at the LHC or direct production of the $\sim 96\,$GeV Higgs boson at a future lepton collider like the ILC.


title: Computational Psychology to Embed Emotions into News or Advertisements to Increase Reader Affinity

abstract: Readers take decisions about going through the complete news based on many factors. The emotional impact of the news title on reader is one of the most important factors. Cognitive ergonomics tries to strike the balance between work, product and environment with human needs and capabilities. The utmost need to integrate emotions in the news as well as advertisements cannot be denied. The idea is that news or advertisement should be able to engage the reader on emotional and behavioral platform. While achieving this objective there is need to learn about reader behavior and use computational psychology while presenting as well as writing news or advertisements. This paper based on Machine Learning, tries to map behavior of the reader with the news/advertisements and also provide inputs for affective value for building personalized news or advertisements presentations. The affective value of the news is determined and news artifacts are mapped to reader. The algorithm suggests the most suitable news for readers while understanding emotional traits required for personalization. This work can be used to improve reader satisfaction through embedding emotions in the reading material and prioritizing news presentations. It can be used to map personal reading material range, personalized programs and ranking programs, advertisements with reference to individuals.


title: Exact and approximate formulas for contact tracing on random trees

abstract: We consider a stochastic susceptible-infected-recovered (SIR) model with contact tracing on random trees and on the configuration model. On a rooted tree, where initially all individuals are susceptible apart from the root which is infected, we are able to find exact formulas for the distribution of the infectious period. Thereto, we show how to extend the existing theory for contact tracing in homogeneously mixing populations to trees. Based on these formulas, we discuss the influence of randomness in the tree and the basic reproduction. We find the well known results for the homogeneously mixing case as a limit of the present model (tree-shaped contact graph). Furthermore, we develop approximate mean field equations for the dynamics on trees, and - using the message passing method - also for the configuration model. The interpretation and implications of the results are discussed.


title: Witt pseudo-Riemannian connection

abstract: We define the notion of Witt structure on the tangent bundle of a pseudo-Riemannian manifold and we introduce a connection adapted to a such structure. The notions of geodesics and symmetric spaces are revisited in this setting and applications are given in the special cases of Robinson and Fefferman manifolds.


title: Approximate Inference in Discrete Distributions with Monte Carlo Tree Search and Value Functions

abstract: A plethora of problems in AI, engineering and the sciences are naturally formalized as inference in discrete probabilistic models. Exact inference is often prohibitively expensive, as it may require evaluating the (unnormalized) target density on its entire domain. Here we consider the setting where only a limited budget of calls to the unnormalized density oracle is available, raising the challenge of where in the domain to allocate these function calls in order to construct a good approximate solution. We formulate this problem as an instance of sequential decision-making under uncertainty and leverage methods from reinforcement learning for probabilistic inference with budget constraints. In particular, we propose the TreeSample algorithm, an adaptation of Monte Carlo Tree Search to approximate inference. This algorithm caches all previous queries to the density oracle in an explicit search tree, and dynamically allocates new queries based on a "best-first" heuristic for exploration, using existing upper confidence bound methods. Our non-parametric inference method can be effectively combined with neural networks that compile approximate conditionals of the target, which are then used to guide the inference search and enable generalization across multiple target distributions. We show empirically that TreeSample outperforms standard approximate inference methods on synthetic factor graphs.


title: Influence of Edge Functionalization on Electronic and Optical Properties of Armchair Phosphorene Nanoribbons: a First-Principles Study

abstract: In this work, we present a systematic first-principles density-functional theory based study of geometry, electronic structure, and optical properties of armchair phosphorene nanoribbons (APNRs), with the aim of understanding the influence of edge passivation. Ribbons of width ranging from 0.33 nm to 3.8 nm were considered, with their edges functionalized with the groups H, OH, F, Cl, S, and Se. The geometries of various APNRs were optimized, and the stability was checked by calculating their formation energies. Using the relaxed geometries, calculations of their band structure and optical properties were performed. Pristine APNRs, as expected, exhibit significant edge reconstruction, rendering them indirect band gap semiconductors, except for one width {\normalsize{}($N=5$, where $N$ is the width parameter)} for which a direct band gap is observed. The edge passivated APNRs are found to be direct band gap semiconductors, with the band gap at the $\Gamma$-point, for all the functional groups considered in this work. To obtain accurate estimates of band gaps, calculations were also performed using HSE06 hybrid functional for several APNRs. Our calculations reveal that functional groups have significant influence on the band gaps and optical properties of narrower APNRs. For wider passivated ribbons, with the increasing ribbon widths, the gaps converge to almost the same value, irrespective of the group. We also performed calculations including the spin-orbit coupling (SOC) for hydrogen passivated APNRs with $N=5$ and 11. We found that SOC has no significant influence on the band structure of the studied APNRs. However, for the broader APNR, a lowering of peak intensities was observed in the optical absorption spectrum beyond 5 eV.


title: Quantifying Classification Uncertainty using Regularized Evidential Neural Networks

abstract: Traditional deep neural nets (NNs) have shown the state-of-the-art performance in the task of classification in various applications. However, NNs have not considered any types of uncertainty associated with the class probabilities to minimize risk due to misclassification under uncertainty in real life. Unlike Bayesian neural nets indirectly infering uncertainty through weight uncertainties, evidential neural networks (ENNs) have been recently proposed to support explicit modeling of the uncertainty of class probabilities. It treats predictions of an NN as subjective opinions and learns the function by collecting the evidence leading to these opinions by a deterministic NN from data. However, an ENN is trained as a black box without explicitly considering different types of inherent data uncertainty, such as vacuity (uncertainty due to a lack of evidence) or dissonance (uncertainty due to conflicting evidence). This paper presents a new approach, called a {\em regularized ENN}, that learns an ENN based on regularizations related to different characteristics of inherent data uncertainty. Via the experiments with both synthetic and real-world datasets, we demonstrate that the proposed regularized ENN can better learn of an ENN modeling different types of uncertainty in the class probabilities for classification tasks.


title: Looped liquid-liquid coexistence in protein crystallization

abstract: In view of the notorious complexity of protein--protein interactions, simplified models of proteins treated as patchy particles offer a promising strategy to obtain insight into the mechanism of crystallization. Here we report liquid--liquid phase separation (LLPS) with a highly asymmetric coexistence region in a computational model of rubredoxin with real molecular shape. The coexistence region terminates in both an upper (UCST) and a lower (LCST) critical solution temperature, and the complex molecular shape explains the closed-loop behavior of the LLPS.

categories: cond-mat.soft physics.bio-ph physics.chem-ph physics.comp-ph


title: Flowing to $\mathcal{N}=3$ Chern--Simons-matter theory

abstract: New renormalisation group flows of three-dimensional Chern--Simons theories with a single gauge group $\textrm{SU}(N)$ and adjoint matter are found holographically. These RG flows have an infrared fixed point given by a CFT with $\mathcal{N}=3$ supersymmetry and $\text{SU}(2)$ flavour symmetry. The ultraviolet fixed point is again described by a CFT with either $\mathcal{N}=2$ and $\text{SU}(3)$ symmetry or $\mathcal{N}=1$ and $\text{G}_{2}$ symmetry. The gauge/gravity duals of these RG flows are constructed as domain-wall solutions of a gauged supergravity model in four dimensions that enjoys an embedding into massive IIA supergravity. A concrete RG flow that brings a mass deformation of the $\mathcal{N}=2$ CFT into the $\mathcal{N}=3$ CFT at low energies is described in detail.


title: Non-Standard Cosmological Models and the trans-Planckian Censorship Conjecture

abstract: The trans-Planckian censorship conjecture (TCC) puts an upper bound on the life-time of de Sitter spacetimes. It has immediate consequences for inflationary cosmology. In the standard paradigm, the universe has experienced a single stage of inflation and follows a thermal history. Then, the TCC puts an upper bound on the Hubble parameter during inflation $H_{\rm inf}$ around $0.1$ GeV. Consequently, it implies a severe fine-tuning in initial condition for inflation and non-detection of primordial gravitational waves. In this note, we study non-standard cosmological paradigms with non-thermal history and/or multiple stages of inflations. It is motivated by string theory compactifications and axiverse scenarios in which the modulus/axion fields are effective in the early universe. In early matter domination the TCC bound on $H_{\rm inf}$ can be raised up to 3 orders of magnitude. In multiple inflationary scenarios the upper bound on the observable inflation can be raised up $10^{14}$ GeV to touch the Planck 2018 bound.


title: Experimental characterization of fragile topology in an acoustic metamaterial

abstract: Symmetries crucially underlie the classification of topological phases of matter. Most materials, both natural as well as architectured, possess crystalline symmetries. Recent theoretical works unveiled that these crystalline symmetries can stabilize fragile Bloch bands that challenge our very notion of topology: while answering to the most basic definition of topology, one can trivialize these bands through the addition of trivial Bloch bands. Here, we fully characterize the symmetry properties of the response of an acoustic metamaterial to establish the fragile nature of the low-lying Bloch bands. Additionally, we present a spectral signature in the form of spectral flow under twisted boundary conditions.


title: Real Space Invariants: Twisted Bulk-Boundary Correspondence of Fragile Topology

abstract: In this paper, we propose a new type of bulk-boundary correspondence as a generic approach to theoretically and experimentally detect fragile topological states. When the fragile phase can be written as a difference of a trivial atomic insulator and the so-called obstructed atomic insulator, the gap between the fragile phase and other bands must close under a specific novel twist of the boundary condition of the system. We explicitly work out all the twisted boundary conditions (TBC) that can detect all the 2D fragile phases implied by symmetry eigenvalues in all wallpaper groups. We develop the concept of real space invariants - local good quantum numbers in real space - which fully characterize the eigenvalue fragile phases. We show that the number of unavoidable level crossings under the twisted boundary condition is completely determined by the real space invariants. Possible realizations of the TBC of the fragile band in metamaterial systems are discussed.


title: New Development of Bayesian Variable Selection Criteria for Spatial Point Process with Applications

abstract: Selecting important spatial-dependent variables under the nonhomogeneous spatial Poisson process model is an important topic of great current interest. In this paper, we use the Deviance Information Criterion (DIC) and Logarithm of the Pseudo Marginal Likelihood (LPML) for Bayesian variable selection under the nonhomogeneous spatial Poisson process model. We further derive the new Monte Carlo estimation formula for LPML in the spatial Poisson process setting. Extensive simulation studies are carried out to evaluate the empirical performance of the proposed criteria. The proposed methodology is further applied to the analysis of two large data sets, the Earthquake Hazards Program of United States Geological Survey (USGS) earthquake data and the Forest of Barro Colorado Island (BCI) data.


title: Combinatorial Analysis for Pseudoknot RNA with Complex Structure

abstract: There exists many complicated $k$-noncrossing pseudoknot RNA structures in nature based on some special conditions. The special characteristic of RNA structures gives us great challenges in researching the enumeration, prediction and the analysis of prediction algorithm. We will study two kinds of typical $k$-noncrossing pseudoknot RNAs with complex structures separately.


title: Robust portfolio optimization with multi-factor stochastic volatility

abstract: This paper studies a robust portfolio optimization problem under the multi-factor volatility model introduced by Christoffersen et al. (2009). The optimal strategy is derived analytically under the worst-case scenario with or without derivative trading. To illustrate the effects of ambiguity, we compare our optimal robust strategy with some strategies that ignore the information of uncertainty, and provide the corresponding welfare analysis. The effects of derivative trading to the optimal portfolio selection are also discussed by considering alternative strategies. Our study is further extended to the cases with jump risks in asset price and correlated volatility factors, respectively. Numerical experiments are provided to demonstrate the behavior of the optimal portfolio and utility loss.


title: Degenerate Squeezing in Waveguides: A Unified Theoretical Approach

abstract: We consider pulsed-pump spontaneous parametric downconversion (SPDC) as well as pulsed single- and dual-pump spontaneous four-wave mixing processes in waveguides within a unified Hamiltonian theoretical framework. Working with linear operator equations in $k$-space, our approach allows inclusion of linear losses, self- and cross-phase modulation, and dispersion to any order. We describe state evolution in terms of second-order moments, for which we develop explicit expressions. We use our approach to calculate the joint spectral amplitude of degenerate squeezing using SPDC analytically in the perturbative limit, benchmark our theory against well-known results in the limit of negligible group velocity dispersion, and study the suitability of recently proposed sources for quantum sampling experiments.


title: Impedance reduction of the High-frequency Cavities in the CERN PS by Multi-harmonic Feedback

abstract: In the framework of the "LHC Injectors Upgrade" (LIU) project, the CERN Proton Synchrotron (PS) is being prepared as a pre-injector for the Large Hadron Collider at high luminosity (HL-LHC). RF systems at 20 MHz, 40 MHz and 80 MHz are required for longitudinal beam manipulations to provide 25 ns bunch spacing and short bunches at transfer to the Super Proton Synchrotron (SPS). Beam induced voltage in these cavities causes transient beam-loading and uncontrolled longitudinal emittance blow-up. To reduce the impedance beyond the reach of the wide-band feedback around the power amplifier, a new multi-harmonic feedback has been developed and commissioned. Based on narrow-band filters treating each revolution frequency harmonic separately, the feedback phase at these harmonics can be dynamically adapted during acceleration, taking into account the phase of the cavity transfer function. The beneficial effect on longitudinal beam quality of LHC-type beams is shown.


title: Cancellations of Resonances and Long Time Dynamics of Cubic Schr\"odinger Equation on $\mathbb{T}$

abstract: We prove a vanishing property of the normal form transformation of the 1D cubic nonlinear Schr\"odinger (NLS) equation with periodic boundary conditions on $[0,L]$. We apply this property to quintic resonance interactions and obtain a description of dynamics for time up to $T=\frac{L^2}{\epsilon^4}$, if $L$ is sufficiently large and size of initial data $\epsilon$ is small enough. Since $T$ is the characteristic time of wave turbulence, this result implies the absence of wave turbulence behavior of 1D cubic NLS. Our approach can be adapted to other integrable systems without too many difficulties. In the proof, we develop a correspondence between Feynman diagrams and terms in normal forms, which allows us to calculate the coefficients inductively.


title: Tunable energy and mass renormalization from homothetic Quantum dot arrays

abstract: Quantum dot arrays in the form of molecular nanoporous networks are renown for modifying the electronic surface properties through quantum confinement. Here we show that, compared to the pristine surface state, the fundamental energy of the confined states can exhibit downward shifts accompanied by a lowering of the effective masses simultaneous to the appearance of tiny gaps at the Brillouin zone boundaries. We observed these effects by angle resolved photoemission for two self-assembled homothetic (scalable) Co-coordinated metal-organic networks. Complementary scanning tunneling spectroscopy measurements confirmed these findings. Electron plane wave expansion simulations and density functional theory calculations provide insight into the nature of this phenomenon, which we assign to metal-organic overlayer-substrate interactions in the form of adatom-substrate hybridization. The absence to date of the experimental band structure resulting from single adatom metal-coordinated nanoporous networks has precluded the observation of the significant surface state renormalization reported here, which we infer are general of low interacting and well-defined adatom arrays.


title: Toric regulators

abstract: Let $X$ be a variety defined over a local field $K$ of mixed characteristic $(0,p)$ with a totally degenerate reduction in the sense of Raskind and Xarles. Generalizing earlier work of Raskind and Xarles and relying on some conjectures we define a map, which we call the toric regulator, from the various motivic cohomology groups of $X$ to certain $p$-adically uniformized tori over $K$. This construction captures the part of the \'etale regulators on $X$ that land in the Galois cohomology of the submodules of cohomology which are extensions of $\mathbb{Z}_l$ by $\mathbb{Z}_l(1)$, simultaneously for all $l$. We also discuss the relation with the log-syntomic regulator and study a number of examples. In particular, for $K_2$ of a Mumford curve we find a relation with the rigid analytic regulator of \'Pal and for $K_1$ of the product of Mumford curves we conjecture a formula for the toric regulator.


title: On Higher-order Moments in Adam

abstract: In this paper, we investigate the popular deep learning optimization routine, Adam, from the perspective of statistical moments. While Adam is an adaptive lower-order moment based (of the stochastic gradient) method, we propose an extension namely, HAdam, which uses higher order moments of the stochastic gradient. Our analysis and experiments reveal that certain higher-order moments of the stochastic gradient are able to achieve better performance compared to the vanilla Adam algorithm. We also provide some analysis of HAdam related to odd and even moments to explain some intriguing and seemingly non-intuitive empirical results.


title: Non-uniqueness of solutions to the dual $L_p$-Minkowski problem

abstract: The dual $L_p$-Minkowski problem with $p<0<q$ is investigated in this paper. By proving a new existence result of solutions and constructing an example, we obtain the non-uniqueness of solutions to this problem.