title: A Comprehensive Approach to Abusing Locality in Shared Web Hosting Servers

abstract: With the growing of network technology along with the need of human for social interaction, using websites nowadays becomes critically important which leads in the increasing number of websites and servers. One popular solution for managing these large numbers of websites is using shared web hosting servers in order to decrease the overall cost of server maintenance. Despite affordability, this solution is insecure and risky according to high amount of reported defaces and attacks during recent years. In this paper, we introduce top ten most common attacks in shared web hosting servers which can occur because of the nature and bad configuration in these servers. Moreover, we present several simple scenarios that are capable of penetrating these kinds of servers even with the existence of several securing mechanisms. Finally, we provide a comprehensive secure configuration for confronting these attacks.


title: Two Novel Server-Side Attacks against Log File in Shared Web Hosting Servers

abstract: Shared Web Hosting service enables hosting multitude of websites on a single powerful server. It is a well-known solution as many people share the overall cost of server maintenance and also, website owners do not need to deal with administration issues is not necessary for website owners. In this paper, we illustrate how shared web hosting service works and demonstrate the security weaknesses rise due to the lack of proper isolation between different websites, hosted on the same server. We exhibit two new server-side attacks against the log file whose objectives are revealing information of other hosted websites which are considered to be private and arranging other complex attacks. In the absence of isolated log files among websites, an attacker controlling a website can inspect and manipulate contents of the log file. These attacks enable an attacker to disclose file and directory structure of other websites and launch other sorts of attacks. Finally, we propose several countermeasures to secure shared web hosting servers against the two attacks subsequent to the separation of log files for each website.


title: Performance Evaluation of Shared Hosting Security Methods

abstract: Shared hosting is a kind of web hosting in which multiple websites reside on one webserver. It is cost-effective and makes the administration easier for websites' owners. However, shared hosting has some performance and security issues. In default shared hosting configuration, all websites' scripts are executed under the webserver's user account regardless of their owners. Therefore, a website is able to access other websites' resources. This security problem arises from lack of proper isolation between different websites hosted on the same webserver. In this survey, we have examined different methods for handling mentioned security issue. Also we evaluated the performance of mentioned methods. Finally, we evaluated performance of these methods with various configurations.


title: An Anomaly-based Botnet Detection Approach for Identifying Stealthy Botnets

abstract: Botnets (networks of compromised computers) are often used for malicious activities such as spam, click fraud, identity theft, phishing, and distributed denial of service (DDoS) attacks. Most of previous researches have introduced fully or partially signature-based botnet detection approaches. In this paper, we propose a fully anomaly-based approach that requires no a priori knowledge of bot signatures, botnet C&C protocols, and C&C server addresses. We start from inherent characteristics of botnets. Bots connect to the C&C channel and execute the received commands. Bots belonging to the same botnet receive the same commands that causes them having similar netflows characteristics and performing same attacks. Our method clusters bots with similar netflows and attacks in different time windows and perform correlation to identify bot infected hosts. We have developed a prototype system and evaluated it with real-world traces including normal traffic and several real-world botnet traces. The results show that our approach has high detection accuracy and low false positive.


title: Include Me Out: In-Browser Detection of Malicious Third-Party Content Inclusions

abstract: Modern websites include various types of third-party content such as JavaScript, images, stylesheets, and Flash objects in order to create interactive user interfaces. In addition to explicit inclusion of third-party content by website publishers, ISPs and browser extensions are hijacking web browsing sessions with increasing frequency to inject third-party content (e.g., ads). However, third-party content can also introduce security risks to users of these websites, unbeknownst to both website operators and users. Because of the often highly dynamic nature of these inclusions as well as the use of advanced cloaking techniques in contemporary malware, it is exceedingly difficult to preemptively recognize and block inclusions of malicious third-party content before it has the chance to attack the user's system. In this paper, we propose a novel approach to achieving the goal of preemptive blocking of malicious third-party content inclusion through an analysis of inclusion sequences on the Web. We implemented our approach, called Excision, as a set of modifications to the Chromium browser that protects users from malicious inclusions while web pages load. Our analysis suggests that by adopting our in-browser approach, users can avoid a significant portion of malicious third-party content on the Web. Our evaluation shows that Excision effectively identifies malicious content while introducing a low false positive rate. Our experiments also demonstrate that our approach does not negatively impact a user's browsing experience when browsing popular websites drawn from the Alexa Top 500.


title: A Letter of Intent for MATHUSLA: a dedicated displaced vertex detector above ATLAS or CMS

abstract: In this Letter of Intent (LOI) we propose the construction of MATHUSLA (MAssive Timing Hodoscope for Ultra-Stable neutraL pArticles), a dedicated large-volume displaced vertex detector for the HL-LHC on the surface above ATLAS or CMS. Such a detector, which can be built using existing technologies with a reasonable budget in time for the HL-LHC upgrade, could search for neutral long-lived particles (LLPs) with up to several orders of magnitude better sensitivity than ATLAS or CMS, while also acting as a cutting-edge cosmic ray telescope at CERN to explore many open questions in cosmic ray and astro-particle physics. We review the physics motivations for MATHUSLA and summarize its LLP reach for several different possible detector geometries, as well as outline the cosmic ray physics program. We present several updated background studies for MATHUSLA, which help inform a first detector-design concept utilizing modular construction with Resistive Plate Chambers (RPCs) as the primary tracking technology. We present first efficiency and reconstruction studies to verify the viability of this design concept, and we explore some aspects of its total cost. We end with a summary of recent progress made on the MATHUSLA test stand, a small-scale demonstrator experiment currently taking data at CERN Point 1, and finish with a short comment on future work.


title: Foundations of Comparison-Based Hierarchical Clustering

abstract: We address the classical problem of hierarchical clustering, but in a framework where one does not have access to a representation of the objects or their pairwise similarities. Instead, we assume that only a set of comparisons between objects is available, that is, statements of the form "objects $i$ and $j$ are more similar than objects $k$ and $l$." Such a scenario is commonly encountered in crowdsourcing applications. The focus of this work is to develop comparison-based hierarchical clustering algorithms that do not rely on the principles of ordinal embedding. We show that single and complete linkage are inherently comparison-based and we develop variants of average linkage. We provide statistical guarantees for the different methods under a planted hierarchical partition model. We also empirically demonstrate the performance of the proposed approaches on several datasets.


title: Concerning ill-posedness for semilinear wave equations

abstract: In this paper, we investigate the problem of optimal regularity for derivative semilinear wave equations to be locally well-posed in $H^{s}$ with spatial dimension $n \leq 5$. We show this equation, with power $2\le p\le 1+4/(n-1)$, is (strongly) ill-posed in $H^{s}$ with $s = (n+5)/4$ in general. Moreover, when the nonlinearity is quadratic we establish a characterization of the structure of nonlinear terms in terms of the regularity. As a byproduct, we give an alternative proof of the failure of the local in time endpoint scale-invariant $L_{t}^{4/(n-1)}L_{x}^{\infty}$ Strichartz estimates. Finally, as an application, we also prove ill-posed results for some semilinear half wave equations.


title: Sensitivity of the SHiP experiment to Heavy Neutral Leptons

abstract: Heavy Neutral Leptons (HNLs) are hypothetical particles predicted by many extensions of the Standard Model. These particles can, among other things, explain the origin of neutrino masses, generate the observed matter-antimatter asymmetry in the Universe and provide a dark matter candidate. The SHiP experiment will be able to search for HNLs produced in decays of heavy mesons and travelling distances ranging between $\mathcal{O}(50\text{ m})$ and tens of kilometers before decaying. We present the sensitivity of the SHiP experiment to a number of HNL's benchmark models and provide a way to calculate the SHiP's sensitivity to HNLs for arbitrary patterns of flavour mixings. The corresponding tools and data files are also made publicly available.


title: Searching by index for similar sequences: the SEQR algorithm

abstract: This paper describes a method to efficiently retrieve protein database sequences similar to a query sequence, while allowing for significant numbers of mutations. We call this method SEQR for SEQuence Retrieval. This approach increases the speed of sequence similarity searches by an order of magnitude compared to conventional algorithms at the expense of sensitivity. Furthermore, retrieval time increases less than linearly with the number of sequences, a desirable property during an era when next generation sequencing technologies have yielded greater than exponential increases in sequence records. The lower sensitivity of the algorithm for distantly related sequences compared to benchmarks is not intrinsic to the method itself, but rather due to the procedure used to construct the indexing terms, and may be improved. The indexing terms themselves can be added to standard information retrieval engines, enabling complex queries that include sequence similarity and other descriptors such as taxonomy and text descriptions.


title: Materiatronics: Modular analysis of arbitrary meta-atoms

abstract: Within the paradigm of metamaterials and metasurfaces, electromagnetic properties of composite materials can be engineered by shaping or modulating their constituents, so-called meta-atoms. Synthesis and analysis of complex-shape meta-atoms with general polarization properties is a challenging task. In this paper, we demonstrate that the most general response can be conceptually decomposed into a set of basic, fundamental polarization phenomena, which enables immediate all-direction characterization of electromagnetic properties of arbitrary linear metamaterials and metasurfaces. The proposed platform of modular characterization (called "materiatronics") is tested on several examples of bianisotropic and nonreciprocal meta-atoms. As a demonstration of the potential of the modular analysis, we use it to design a single-layer metasurface of vanishing thickness with unitary circular dichroism. The analysis approach developed in this paper is supported by a ready-to-use computational code and can be further extended to meta-atoms engineered for other types of wave interactions, such as acoustics and mechanics.


title: Large-scale Model of the Axisymmetric Dynamo with Feedback Effects

abstract: A dynamo model is presented, based on a previously introduced kinematic model, in which the reaction of the magnetic field on the mass flow through the Lorentz force is included. Given the base mass flow corresponding to the case with no magnetic field, and assuming that the modification of this flow due to the Lorentz force can be treated as a perturbation, a complete model of the large-scale magnetic field dynamics can be obtained. The input needed consists in the large-scale meridional and zonal flows, the small-scale magnetic diffusivity, and a constant parameter entering the expression of the $\alpha$-effect. When applied to a solar-like star, the model shows a realistic dynamics of the magnetic field, including cycle duration, consistent field amplitudes with the correct parity, progression of the zonal magnetic field towards the equator, and motion toward the poles of the radial field at high latitudes. Also, the radial and zonal components show a correct phase relation, and, at the surface level, the magnetic helicity is predominantly negative in the northern hemisphere and positive in the southern hemisphere.


title: Nonparametric identification in the dynamic stochastic block model

abstract: We show nonparametric identification of the parameters in the dynamic stochastic block model as recently introduced in Matias and Miele (2017) in case of binary, finitely weighted and general edge states. We formulate conditions on the true parameters which guarantee actual point identification instead of mere generic identification, and which also lead to novel conclusions in the static case. In particular, our results justify in terms of identification the applications in Matias and Miele (2017) to finitely weighted edges with three edge states. We also give numerical illustrations via the variational EM algorithm in simulation settings covered by our identification analysis.


title: The HST PanCET Program: Hints of Na I & Evidence of a Cloudy Atmosphere for the Inflated Hot Jupiter WASP-52b

abstract: We present an optical to near-infrared transmission spectrum of the inflated hot Jupiter WASP-52b using three transit observations from the Space Telescope Imaging Spectrograph (STIS) mounted on the Hubble Space Telescope, combined with Spitzer/Infrared Array Camera (IRAC) photometry at 3.6 microns and 4.5 microns. Since WASP-52 is a moderately active (log(Lx/Lbol) = -4.7) star, we correct the transit light curves for the effect of stellar activity using ground-based photometric monitoring data from the All-Sky Automated Survey for Supernovae (ASAS-SN) and Tennessee State University's Automatic Imaging Telescope (AIT). We bin the data in 38 spectrophotometric light curves from 0.29 to 4.5 microns and measure the transit depths to a median precision of 90 ppm. We compare the transmission spectrum to a grid of forward atmospheric models and find that our results are consistent with a cloudy spectrum and evidence of sodium at 2.3-sigma confidence, but no observable evidence of potassium absorption even in the narrowest spectroscopic channel. We find that the optical transmission spectrum of WASP-52b is similar to that of the well-studied inflated hot Jupiter HAT-P-1b, which has comparable surface gravity, equilibrium temperature, mass, radius, and stellar irradiation levels. At longer wavelengths, however, the best fitting models for WASP-52b and HAT-P-1b predict quite dissimilar properties, which could be confirmed with observations at wavelengths longer than ~1 micron. The identification of planets with common atmospheric properties and similar system parameters will be insightful for comparative atmospheric studies with the James Webb Space Telescope.


title: Acoustic Features Fusion using Attentive Multi-channel Deep Architecture

abstract: In this paper, we present a novel deep fusion architecture for audio classification tasks. The multi-channel model presented is formed using deep convolution layers where different acoustic features are passed through each channel. To enable dissemination of information across the channels, we introduce attention feature maps that aid in the alignment of frames. The output of each channel is merged using interaction parameters that non-linearly aggregate the representative features. Finally, we evaluate the performance of the proposed architecture on three benchmark datasets:- DCASE-2016 and LITIS Rouen (acoustic scene recognition), and CHiME-Home (tagging). Our experimental results suggest that the architecture presented outperforms the standard baselines and achieves outstanding performance on the task of acoustic scene recognition and audio tagging.


title: CommonsenseQA: A Question Answering Challenge Targeting Commonsense Knowledge

abstract: When answering a question, people often draw upon their rich world knowledge in addition to the particular context. Recent work has focused primarily on answering questions given some relevant document or context, and required very little general background. To investigate question answering with prior knowledge, we present CommonsenseQA: a challenging new dataset for commonsense question answering. To capture common sense beyond associations, we extract from ConceptNet (Speer et al., 2017) multiple target concepts that have the same semantic relation to a single source concept. Crowd-workers are asked to author multiple-choice questions that mention the source concept and discriminate in turn between each of the target concepts. This encourages workers to create questions with complex semantics that often require prior knowledge. We create 12,247 questions through this procedure and demonstrate the difficulty of our task with a large number of strong baselines. Our best baseline is based on BERT-large (Devlin et al., 2018) and obtains 56% accuracy, well below human performance, which is 89%.


title: Singularities in Twist-3 Quark Distributions

abstract: We find in one-loop calculations and spectator models that twist-3 GPDs exhibit discontinuities. In the forward limit these discontinuities grow into Dirac delta functions which are essential to satisfy the sum rules involving twist-3 PDFs. We calculate twist-3 quasi-PDFs as a function of longitudinal momentum and identify the Dirac delta function terms with momentum components in the nucleon state that do not scale as the nucleon is boosted to the infinite momentum frame.


title: Analysis of Side-band Inequivalence

abstract: Frequency shifts of red- and blue-scattered (Stokes/anti-Stokes) side-bands in quantum optomechanics are shown to be counter-intuitively inequal, resulting in an unexpected symmetry breaking. This difference is referred to as Side-band Inequivalenve (SI), which normally leans towards red, and being a nonlinear effect it depends on optical power or intracavity photon number. Also there exists a maximum attainable SI at an optimal operation point. The mathematical method employed here is a combination of operator algebra equipped with harmonic balance, which allows a clear understanding of the associated nonlinear process. This reveals the existence of three distinct operation regimes in terms of pump power, two of which have immeasurably small SI. Compelling evidence from various experiments sharing similar interaction Hamiltonians, including quantum optomechanics, ion/Paul traps, electrooptic modulation, Brillouin scattering, and Raman scattering unambiguously confirm existence of a previously unnoticed SI.


title: NuSTAR and XMM-Newton broad-band spectrum of SAX J1808.4-3658 during its latest outburst in 2015

abstract: The first discovered accreting millisecond pulsar, SAX J1808.4-3658, went into X-ray outburst in April 2015. We triggered a 100 ks XMM-Newton ToO, taken at the peak of the outburst, and a 55 ks NuSTAR ToO, performed four days apart. We report here the results of a detailed spectral analysis of both the XMM-Newton and NuSTAR spectra. While the XMM-Newton spectrum appears much softer than in previous observations, the NuSTAR spectrum confirms the results obtained with XMM-Newton during the 2008 outburst. We find clear evidence of a broad iron line that we interpret as produced by reflection from the inner accretion disk. For the first time, we use a self-consistent reflection model to fit the reflection features in the NuSTAR spectrum; in this case we find a statistically significant improvement of the fit with respect to a simple Gaussian or diskline model to fit the iron line, implying that the reflection continuum is also significantly detected. Despite the differences evident between the XMM-Newton and NuSTAR spectra, the smearing best-fit parameters found for these spectra are consistent with each other and are compatible with previous results. In particular, we find an upper limit to the inner disk radius of $\sim 12~R_g$. In all the cases, a high inclination angle ($>50^\circ$) of the system is required. This inclination angle, combined with measurements of the radial velocity of the optical companion, results in a low value for the neutron star mass ($<0.8\,M_\odot$), a result that deserves further investigation.


title: Replays of spatial memories suppress topological fluctuations in cognitive map

abstract: The spiking activity of the hippocampal place cells plays a key role in producing and sustaining an internalized representation of the ambient space---a cognitive map. These cells do not only exhibit location-specific spiking during navigation, but also may rapidly replay the navigated routs through endogenous dynamics of the hippocampal network. Physiologically, such reactivations are viewed as manifestations of "memory replays" that help to learn new information and to consolidate previously acquired memories by reinforcing synapses in the parahippocampal networks. Below we propose a computational model of these processes that allows assessing the effect of replays on acquiring a robust topological map of the environment and demonstrate that replays may play a key role in stabilizing the hippocampal representation of space.


title: Progress and Tradeoffs in Neural Language Models

abstract: In recent years, we have witnessed a dramatic shift towards techniques driven by neural networks for a variety of NLP tasks. Undoubtedly, neural language models (NLMs) have reduced perplexity by impressive amounts. This progress, however, comes at a substantial cost in performance, in terms of inference latency and energy consumption, which is particularly of concern in deployments on mobile devices. This paper, which examines the quality-performance tradeoff of various language modeling techniques, represents to our knowledge the first to make this observation. We compare state-of-the-art NLMs with "classic" Kneser-Ney (KN) LMs in terms of energy usage, latency, perplexity, and prediction accuracy using two standard benchmarks. On a Raspberry Pi, we find that orders of increase in latency and energy usage correspond to less change in perplexity, while the difference is much less pronounced on a desktop.


title: Lecture Notes on Optimal Power Flow (OPF)

abstract: These lecture notes cover the DC Optimal Power and AC Optimal Power Flow formulations, as well as the Economic Dispatch for Power Systems. Their aim is to supplement the study material for the course "31765: Optimization in modern power systems" at the Technical University of Denmark (DTU). The first edition of the present lecture notes was prepared for the academic year 2018-2019. Note that the material presented in these notes is a constant work in progress. Future editions will include OPF formulations based on semidefinite programming, detailed derivation of Locational Marginal Prices, and other topics. For any comments, errors, or omissions, you are welcome to contact me at "spchatz_at_elektro.dtu.dk". Special thanks to the students of the 31765 course for their remarks and suggestions to improve these lecture notes.


title: Spectral Methods from Tensor Networks

abstract: A tensor network is a diagram that specifies a way to "multiply" a collection of tensors together to produce another tensor (or matrix). Many existing algorithms for tensor problems (such as tensor decomposition and tensor PCA), although they are not presented this way, can be viewed as spectral methods on matrices built from simple tensor networks. In this work we leverage the full power of this abstraction to design new algorithms for certain continuous tensor decomposition problems. An important and challenging family of tensor problems comes from orbit recovery, a class of inference problems involving group actions (inspired by applications such as cryo-electron microscopy). Orbit recovery problems over finite groups can often be solved via standard tensor methods. However, for infinite groups, no general algorithms are known. We give a new spectral algorithm based on tensor networks for one such problem: continuous multi-reference alignment over the infinite group SO(2). Our algorithm extends to the more general heterogeneous case.


title: Image Chat: Engaging Grounded Conversations

abstract: To achieve the long-term goal of machines being able to engage humans in conversation, our models should captivate the interest of their speaking partners. Communication grounded in images, whereby a dialogue is conducted based on a given photo, is a setup naturally appealing to humans (Hu et al., 2014). In this work we study large-scale architectures and datasets for this goal. We test a set of neural architectures using state-of-the-art image and text representations, considering various ways to fuse the components. To test such models, we collect a dataset of grounded human-human conversations, where speakers are asked to play roles given a provided emotional mood or style, as the use of such traits is also a key factor in engagingness (Guo et al., 2019). Our dataset, Image-Chat, consists of 202k dialogues over 202k images using 215 possible style traits. Automatic metrics and human evaluations of engagingness show the efficacy of our approach; in particular, we obtain state-of-the-art performance on the existing IGC task, and our best performing model is almost on par with humans on the Image-Chat test set (preferred 47.7% of the time).


title: Comment on "Field Theory for Amorphous Solids" by Eric DeGiuli

abstract: In a recent pair of papers, Eric DeGiuli has developed a field theory of glasses and granular materials based on the Edwards ensemble, extending our earlier theoretical framework. In this comment, we address a misconception regarding the relation between equiprobability of microstates and a flat measure in a field theory, which appears in the DeGiuli papers, and has often plagued discussions surrounding the Edwards ensemble. We point out that modeling this measure is the challenge addressed in both our earlier work and the recent DeGiuli work. Contrary to what is stated in the the DeGiuli papers, we did not assume a flat measure in our earlier work.


title: Simplified exact SICs

abstract: In the standard basis exact expressions for the components of SIC vectors (belonging to a symmetric informationally complete POVM) are typically very complicated. We show that a simple transformation to a basis adapted to the symmetries of a fiducial SIC vector can result in a massive reduction in complexity. We rely on a conjectural number theoretic connection between SICs in dimension $d_j$ and SICs in dimension $d_{j+1} = d_j(d_j-2)$. We focus on the sequence 5, 15, 195, ... . We rewrite Zauner's exact solution for the SIC in dimension 5 to make its simplicity manifest, and use our adapted basis to convert numerical solutions in dimensions 15 and 195 to exact solutions. Comparing to the known exact solutions in dimension 15 we find that the simplification achieved is dramatic. The proof that the exact vectors are indeed SIC fiducial vectors, also in dimension 195, is a long calculation guided by the standard ray class hypothesis about the algebraic number fields generated by the SICs. We conjecture that our result generalizes to every dimension in the particular sequence we consider.


title: Uniformisation techniques for stochastic simulation of chemical reaction networks

abstract: This work considers the method of uniformisation for continuous-time Markov chains in the context of chemical reaction networks. Previous work in the literature has shown that uniformisation can be beneficial in the context of time-inhomogeneous models, such as chemical reaction networks incorporating extrinsic noise. This paper lays focus on the understanding of uniformisation from the viewpoint of sample paths of chemical reaction networks. In particular, an efficient pathwise stochastic simulation algorithm for time-homogeneous models is presented which is complexity-wise equal to Gillespie's direct method. This new approach therefore enlarges the class of problems for which the uniformisation approach forms a computationally attractive choice. Furthermore, as a new application of the uniformisation method, we provide a novel variance reduction method for (raw) moment estimators of chemical reaction networks based upon the combination of stratification and uniformisation.


title: Anti-bubble effect of temperature \& deformation: a systematic study for nuclei across all mass regions between A $=$ 20$-$300

abstract: Temperature dependent relativistic mean-field (RMF) plus BCS approach has been used for the first time to investigate the anti-bubble effect of the temperature and deformation in the light, medium-heavy and superheavy nuclei. Influence of temperature is studied on density distribution, charge form-factor, single particle (s.p.) energies, occupancy, deformation and the depletion fraction (DF). At T $=$ 0, the quenching effect of deformation is predominant. DF is found usually less in oblate deformation than in prolate. DF decreases with increasing prolate deformation even though the 2s-orbit is empty which shows the role of deformation in central depletion apart from the unoccupancy in s-orbit as is usually believed. As T increases, the occupancy of s-orbit increases, shell structure melts, the deformation vanishes and the weakening of central depletion is solely due to the temperature. The bubble effect is eliminated at T $\approx$ 3$-$5 MeV as indicated by DF and the charge form factor. The temperature effect is found less prominent in superheavy bubble nuclei where the role of shell effects is indicated.


title: Near-Linear Time Algorithm for n-fold ILPs via Color Coding

abstract: We study an important case of ILPs $\max\{c^Tx \ \vert\ \mathcal Ax = b, l \leq x \leq u,\, x \in \mathbb{Z}^{n t} \} $ with $n\cdot t$ variables and lower and upper bounds $\ell, u\in\mathbb Z^{nt}$. In $n$-fold ILPs non-zero entries only appear in the first $r$ rows of the matrix $\mathcal A$ and in small blocks of size $s\times t$ along the diagonal underneath. Despite this restriction many optimization problems can be expressed in this form. It is known that $n$-fold ILPs can be solved in FPT time regarding the parameters $s, r,$ and $\Delta$, where $\Delta$ is the greatest absolute value of an entry in $\mathcal A$. The state-of-the-art technique is a local search algorithm that subsequently moves in an improving direction. Both, the number of iterations and the search for such an improving direction take time $\Omega(n)$, leading to a quadratic running time in $n$. We introduce a technique based on Color Coding, which allows us to compute these improving directions in logarithmic time after a single initialization step. This leads to the first algorithm for $n$-fold ILPs with a running time that is near-linear in the number $nt$ of variables, namely $(rs\Delta)^{O(r^2s + s^2)} L^2 \cdot nt \log^{O(1)}(nt)$, where $L$ is the encoding length of the largest integer in the input. In contrast to the algorithms in recent literature, we do not need to solve the LP relaxation in order to handle unbounded variables. Instead, we give a structural lemma to introduce appropriate bounds. If, on the other hand, we are given such an LP solution, the running time can be decreased by a factor of $L$.


title: Attainable values for the Assouad dimension of projections

abstract: We prove that for an arbitrary upper semi-continuous function $\phi\colon G(1,2) \to [0,1]$ there exists a compact set $F$ in the plane such that $\dim_{\textrm{A}} \pi F = \phi(\pi)$ for all $\pi \in G(1,2)$, where $\pi F$ is the orthogonal projection of $F$ onto the line $\pi$. In particular, this shows that the Assouad dimension of orthogonal projections can take on any finite or countable number of distinct values on a set of projections with positive measure. It was previously known that two distinct values could be achieved with positive measure. Recall that for other standard notions of dimension, such as the Hausdorff, packing, upper or lower box dimension, a single value occurs almost surely.


title: A martingale concept for non-monotone information in a jump process framework

abstract: The information dynamics in finance and insurance applications is usually modeled by a filtration. This paper looks at situations where information restrictions apply such that the information dynamics may become non-monotone. A fundamental tool for calculating and managing risks in finance and insurance are martingale representations. We present a general theory that extends classical martingale representations to non-monotone information generated by marked point processes. The central idea is to focus only on those properties that martingales and compensators show on infinitesimally short intervals. While classical martingale representations describe innovations only, our representations have an additional symmetric counterpart that quantifies the effect of information loss. We exemplify the results with examples from life insurance and credit risk.


title: Influence of stoichiometry on interfacial conductance in LaAlO$_3$/SrTiO$_3$ grown by 90$^o$ off-axis sputtering

abstract: We report on the fabrication of conducting interfaces between LaAlO$_3$ and SrTiO$_3$ by 90$^o$ off-axis sputtering in an Ar atmosphere. At a growth pressure of 0.04 mbar the interface is metallic, with a carrier density of the order of $10^{13}$ cm$^{-2}$ at 3 K. By increasing the growth pressure, we observe an increase of the out-of-plane lattice constants of the LaAlO$_3$ films while the in-plane lattice constants do not change. Also, the low-temperature sheet resistance increases with increasing growth pressure, leading to an insulating interface when the growth pressure reaches 0.10 mbar. We attribute the structural variations to an increase of the La/Al ratio, which also explains the transition from metallic behavior to insulating behavior of the interfaces. Our research emphasizes the key role of the cation stoichiometry of LaAlO$_3$ in the formation of the conducting interface, and also the control which is furnished by the Ar pressure in the growth process.


title: Disk wind feedback from high-mass protostars

abstract: We perform a sequence of 3D magnetohydrodynamic (MHD) simulations of the outflow-core interaction for a massive protostar forming via collapse of an initial cloud core of $60~{M_\odot}$. This allows us to characterize the properties of disk wind driven outflows from massive protostars, which can allow testing of different massive star formation theories. It also enables us to assess quantitatively the impact of outflow feedback on protostellar core morphology and overall star formation efficiency. We find that the opening angle of the flow increases with increasing protostellar mass, in agreement with a simple semi-analytic model. Once the protostar reaches $\sim24~{M_\odot}$ the outflow's opening angle is so wide that it has blown away most of the envelope, thereby nearly ending its own accretion. We thus find an overall star formation efficiency of $\sim50\%$, similar to that expected from low-mass protostellar cores. Our simulation results therefore indicate that the MHD disk wind outflow is the dominant feedback mechanism for helping to shape the stellar initial mass function from a given prestellar core mass function.


title: Local search breaks 1.75 for Graph Balancing

abstract: Graph Balancing is the problem of orienting the edges of a weighted multigraph so as to minimize the maximum weighted in-degree. Since the introduction of the problem the best algorithm known achieves an approximation ratio of $1.75$ and it is based on rounding a linear program with this exact integrality gap. It is also known that there is no $(1.5 - \epsilon)$-approximation algorithm, unless $\mathrm{P}=\mathrm{NP}$. Can we do better than $1.75$? We prove that a different LP formulation, the configuration LP, has a strictly smaller integrality gap. Graph Balancing was the last one in a group of related problems from literature, for which it was open whether the configuration LP is stronger than previous, simple LP relaxations. We base our proof on a local search approach that has been applied successfully to the more general Restricted Assignment problem, which in turn is a prominent special case of makespan minimization on unrelated machines. With a number of technical novelties we are able to obtain a bound of $1.749$ for the case of Graph Balancing. It is not clear whether the local search algorithm we present terminates in polynomial time, which means that the bound is non-constructive. However, it is a strong evidence that a better approximation algorithm is possible using the configuration LP and it allows the optimum to be estimated within a factor better than $1.75$. A particularly interesting aspect of our techniques is the way we handle small edges in the local search. We manage to exploit the configuration constraints enforced on small edges in the LP. This may be of interest to other problems such as Restricted Assignment as well.


title: A Fast Algorithm for Clustering High Dimensional Feature Vectors

abstract: We propose an algorithm for clustering high dimensional data. If $P$ features for $N$ objects are represented in an $N\times P$ matrix ${\bf X}$, where $N\ll P$, the method is based on exploiting the cluster-dependent structure of the $N\times N$ matrix ${\bf XX}^T$. Computational burden thus depends primarily on $N$, the number of objects to be clustered, rather than $P$, the number of features that are measured. This makes the method particularly useful in high dimensional settings, where it is substantially faster than a number of other popular clustering algorithms. Aside from an upper bound on the number of potential clusters, the method is independent of tuning parameters. When compared to $16$ other clustering algorithms on $32$ genomic datasets with gold standards, we show that it provides the most accurate cluster configuration more than twice as often than its closest competitors. We illustrate the method on data taken from highly cited genomic studies.


title: Optimal Resource Allocation in IEEE 802.11ax Uplink OFDMA with Scheduled Access

abstract: We consider the scheduling and resource allocation problem in AP-initiated uplink OFDMA transmissions of IEEE 802.11ax networks. The uplink OFDMA resource allocation problem is known to be non-convex and difficult to solve in general. However, due to the special subcarrier allocation model of IEEE 802.11ax, the utility maximization problem involving the instantaneous rates of stations can be formulated as an assignment problem, and hence can be solved using the Hungarian method. In this paper, we address the more general problem of stochastic network utility maximization. Specifically, we maximize the utility of long-term average rates of stations subject to average rate and power constraints using Lyapunov optimization. The resulting resource allocation policies perform arbitrarily close to optimal and have polynomial time complexity. An important advantage of the proposed framework is that it can be used along with the target wake time mechanism of IEEE 802.11ax to provide guarantees on the average power consumption and/or achievable rates of stations whenever possible. Two key applications of such a design approach are power-constrained IoT networks and battery-powered sensor networks. We complement the theoretical study with computer simulations that evaluate our approach against other existing methods.


title: Dantzig Selector with an Approximately Optimal Denoising Matrix and its Application to Reinforcement Learning

abstract: Dantzig Selector (DS) is widely used in compressed sensing and sparse learning for feature selection and sparse signal recovery. Since the DS formulation is essentially a linear programming optimization, many existing linear programming solvers can be simply applied for scaling up. The DS formulation can be explained as a basis pursuit denoising problem, wherein the data matrix (or measurement matrix) is employed as the denoising matrix to eliminate the observation noise. However, we notice that the data matrix may not be the optimal denoising matrix, as shown by a simple counter-example. This motivates us to pursue a better denoising matrix for defining a general DS formulation. We first define the optimal denoising matrix through a minimax optimization, which turns out to be an NPhard problem. To make the problem computationally tractable, we propose a novel algorithm, termed as Optimal Denoising Dantzig Selector (ODDS), to approximately estimate the optimal denoising matrix. Empirical experiments validate the proposed method. Finally, a novel sparse reinforcement learning algorithm is formulated by extending the proposed ODDS algorithm to temporal difference learning, and empirical experimental results demonstrate to outperform the conventional vanilla DS-TD algorithm.


title: Automated selection of the local potential for transferable pseudopotentials

abstract: We develop an automated procedure to select the local potential of a separable pseudopotential that minimizes transferability errors for the isolated atom, and we show that this optimization leads to significant improvements in the accuracy of predicted solid-state properties. We present pseudopotentials for Y, In, and Sn. For these pseudopotentials, our method reduces solid-state errors by 88% on average, as measured by the $\Delta$-factor test. These pseudopotentials are constructed in the Kleinman-Bylander form; however, our method is applicable to all separable pseudopotentials, such as ONCV pseudopotentials. We perform plane-wave convergence tests according to SSSP standards and show that the modifications to the local potential leave plane-wave convergence unchanged.


title: Improving the Coverage and the Generalization Ability of Neural Word Sense Disambiguation through Hypernymy and Hyponymy Relationships

abstract: In Word Sense Disambiguation (WSD), the predominant approach generally involves a supervised system trained on sense annotated corpora. The limited quantity of such corpora however restricts the coverage and the performance of these systems. In this article, we propose a new method that solves these issues by taking advantage of the knowledge present in WordNet, and especially the hypernymy and hyponymy relationships between synsets, in order to reduce the number of different sense tags that are necessary to disambiguate all words of the lexical database. Our method leads to state of the art results on most WSD evaluation tasks, while improving the coverage of supervised systems, reducing the training time and the size of the models, without additional training data. In addition, we exhibit results that significantly outperform the state of the art when our method is combined with an ensembling technique and the addition of the WordNet Gloss Tagged as training corpus.


title: Discovering conservation laws from data for control

abstract: Conserved quantities, i.e. constants of motion, are critical for characterizing many dynamical systems in science and engineering. These quantities are related to underlying symmetries and they provide fundamental knowledge about physical laws, describe the evolution of the system, and enable system reduction. In this work, we formulate a data-driven architecture for discovering conserved quantities based on Koopman theory. The Koopman operator has emerged as a principled linear embedding of nonlinear dynamics, and its eigenfunctions establish intrinsic coordinates along which the dynamics behave linearly. Interestingly, eigenfunctions of the Koopman operator associated with vanishing eigenvalues correspond to conserved quantities of the underlying system. In this paper, we show that these invariants may be identified with data-driven regression and power series expansions, based on the infinitesimal generator of the Koopman operator. We further establish a connection between the Koopman framework, conserved quantities, and the Lie-Poisson bracket. This data-driven method for discovering conserved quantities is demonstrated on the three-dimensional rigid body equations, where we simultaneously discover the total energy and angular momentum and use these intrinsic coordinates to develop a model predictive controller to track a given reference value.


title: Powerfully nilpotent groups

abstract: We introduce a special class of powerful $p$-groups that we call powerfully nilpotent groups that are finite $p$-groups that possess a central series of a special kind. To these we can attach the notion of a powerful nilpotence class that leads naturally to a classification in terms of an `ancestry tree' and powerful coclass. We show that there are finitely many powerfully nilpotent $p$-groups of each given powerful coclass and develop some general theory for this class of groups. We also determine the growth of powerfully nilpotent groups of exponent $p^{2}$ and order $p^{n}$ where $p$ is odd. The number of these is $f(n)=p^{\alpha n^{3}+o(n^{3})}$ where $\alpha=\frac{9+4\sqrt{2}}{394}$. For the larger class of all powerful groups of exponent $p^{2}$ and order $p^{n}$, where $p$ is odd, the number is $p^{\frac{2}{27}n^{3}+o(n^{3})}$. Thus here the class of powerfully nilpotent $p$-groups is large while sparse within the larger class of powerful $p$-groups.


title: The quantized Hall conductance of a single atomic wire: A proposal based on synthetic dimensions

abstract: We propose a method by which the quantization of the Hall conductance can be directly measured in the transport of a one-dimensional atomic gas. Our approach builds on two main ingredients: (1) a constriction optical potential, which generates a mesoscopic channel connected to two reservoirs, and (2) a time-periodic modulation of the channel, specifically designed to generate motion along an additional synthetic dimension. This fictitious dimension is spanned by the harmonic-oscillator modes associated with the tightly-confined channel, and hence, the corresponding "lattice sites" are intimately related to the energy of the system. We analyze the quantum transport properties of this hybrid two-dimensional system, highlighting the appealing features offered by the synthetic dimension. In particular, we demonstrate how the energetic nature of the synthetic dimension, combined with the quasi-energy spectrum of the periodically-driven channel, allows for the direct and unambiguous observation of the quantized Hall effect in a two-reservoir geometry. Our work illustrates how topological properties of matter can be accessed in a minimal one-dimensional setup, with direct and practical experimental consequences.,


title: The X Factor: A Robust and Powerful Approach to X-chromosome-Inclusive Whole-genome Association Studies

abstract: The X-chromosome is often excluded from genome-wide association studies because of analytical challenges. Some of the problems, such as the random, skewed or no X-inactivation model uncertainty, have been investigated. Other considerations have received little to no attention, such as the value in considering non-additive and gene-sex interaction effects, and the inferential consequence of choosing different baseline alleles (i.e.\ the reference vs.\ the alternative allele). Here we propose a unified and flexible regression-based association test for X-chromosomal variants. We provide theoretical justifications for its robustness in the presence of various model uncertainties, as well as for its improved power when compared with the existing approaches under certain scenarios. For completeness, we also revisit the autosomes and show that the proposed framework leads to a more robust approach than the standard method. Finally, we provide supporting evidence by revisiting several published association studies. Supplementary materials for this article are available online.


title: Determining the Increase or Decrease of Photon Momentum: Dielectric or Plasmonic Mie Object at Air-Liquid Interface

abstract: Though the interfacial tractor beam experiment supports the increase of photon momentum (i.e., Minkowski momentum), it is still a matter of investigation whether, inside matter, the photon momentum always increases. Considering the inhomogeneous or heterogeneous background, we have demonstrated that if the background and the half-immersed object are both non-absorbing, the transferred photon momentum to the object can be considered as the one of Minkowski exactly at the interface. In contrast, the presence of loss inside matter, either in the half-immersed object (i.e., plasmonic or lossy dielectric) or in the background, changes the whole situation. For such cases, our several demonstrations and proposed thought experiments have strongly supported the decrease of photon momentum instead of the usual perception of its increase. Although almost all the major radiation pressure experiments have so far supported the linear increase of photon momentum, our proposed simple experimental set-ups may introduce a novel way to observe and verify the exactly opposite proposal: the Abraham momentum of photon. Finally, as an interesting sidewalk, based on several parameters, a machine learning based system has been developed to predict the transferred momentum of photon within a very short time avoiding time-consuming full simulation.


title: The geometric average size of Selmer groups over function fields

abstract: We show, in the large $q$ limit, that the average size of $n$-Selmer groups of elliptic curves of bounded height over $\mathbb F_q(t)$ is the sum of the divisors of $n$. As a corollary, again in the large $q$ limit, we deduce that $100\%$ of elliptic curves of bounded height over $\mathbb F_q(t)$ have rank $0$ or $1$.


title: Neural Response Ranking for Social Conversation: A Data-Efficient Approach

abstract: The overall objective of 'social' dialogue systems is to support engaging, entertaining, and lengthy conversations on a wide variety of topics, including social chit-chat. Apart from raw dialogue data, user-provided ratings are the most common signal used to train such systems to produce engaging responses. In this paper we show that social dialogue systems can be trained effectively from raw unannotated data. Using a dataset of real conversations collected in the 2017 Alexa Prize challenge, we developed a neural ranker for selecting 'good' system responses to user utterances, i.e. responses which are likely to lead to long and engaging conversations. We show that (1) our neural ranker consistently outperforms several strong baselines when trained to optimise for user ratings; (2) when trained on larger amounts of data and only using conversation length as the objective, the ranker performs better than the one trained using ratings -- ultimately reaching a Precision@1 of 0.87. This advance will make data collection for social conversational agents simpler and less expensive in the future.


title: Describing dynamics of driven multistable oscillators with phase transfer curves

abstract: Phase response curve is an important tool in studies of stable self-sustained oscillations; it describes a phase shift under action of an external perturbation. We consider multistable oscillators with several stable limit cycles. Under a perturbation, transitions from one oscillating mode to another one may occur. We define phase transfer curves to describe the phase shifts at such transitions. This allows for a construction of one-dimensional maps that characterize periodically kicked multistable oscillators. We show, that these maps are good approximations of the full dynamics for large periods of forcing.


title: Prediction for the singlet-triplet excitation energy for the spinel MgTi$_2$O$_4$ using first-principles diffusion Monte Carlo

abstract: The spinel, MgTi$_2$O$_4$, undergoes a transition into a dimerized state at low temperatures that is expected to be a spin singlet. However, no signature of a singlet-triplet transition has been discovered, in part due to the difficulty of predicting the energy of the transition from theory. We find that the dimers of MgTi$_2$O$_4$ can be described by a Heisenberg model with very small interactions between different dimers. Using high-accuracy first-principles quantum Monte Carlo combined with a novel model-fitting approach, we predict the singlet-triplet gap of these dimers to be 350(50) meV, a higher energy than previous experimental observations have considered. The prediction is published in advance of experimental confirmation.


title: Algebraic approach to promise constraint satisfaction

abstract: The complexity and approximability of the constraint satisfaction problem (CSP) has been actively studied over the last 20 years. A new version of the CSP, the promise CSP (PCSP) has recently been proposed, motivated by open questions about the approximability of variants of satisfiability and graph colouring. The PCSP significantly extends the standard decision CSP. The complexity of CSPs with a fixed constraint language on a finite domain has recently been fully classified, greatly guided by the algebraic approach, which uses polymorphisms --- high-dimensional symmetries of solution spaces --- to analyse the complexity of problems. The corresponding classification for PCSPs is wide open and includes some long-standing open questions, such as the complexity of approximate graph colouring, as special cases. The basic algebraic approach to PCSP was initiated by Brakensiek and Guruswami, and in this paper we significantly extend it and lift it from concrete properties of polymorphisms to their abstract properties. We introduce a new class of problems that can be viewed as algebraic versions of the (Gap) Label Cover problem, and show that every PCSP with a fixed constraint language is equivalent to a problem of this form. This allows us to identify a "measure of symmetry" that is well suited for comparing and relating the complexity of different PCSPs via the algebraic approach. We demonstrate how our theory can be applied by improving the state-of-the-art in approximate graph colouring: we show that, for any $k\geq 3$, it is NP-hard to find a $(2k-1)$-colouring of a given $k$-colourable graph.


title: One-Bit OFDM Receivers via Deep Learning

abstract: This paper develops novel deep learning-based architectures and design methodologies for an orthogonal frequency division multiplexing (OFDM) receiver under the constraint of one-bit complex quantization. Single bit quantization greatly reduces complexity and power consumption, but makes accurate channel estimation and data detection difficult. This is particularly true for multicarrier waveforms, which have high peak-to-average ratio in the time domain and fragile subcarrier orthogonality in the frequency domain. The severe distortion for one-bit quantization typically results in an error floor even at moderately low signal-to-noise-ratio (SNR) such as 5 dB. For channel estimation (using pilots), we design a novel generative supervised deep neural network (DNN) that can be trained with a reasonable number of pilots. After channel estimation, a neural network-based receiver -- specifically, an autoencoder -- jointly learns a precoder and decoder for data symbol detection. Since quantization prevents end-to-end training, we propose a two-step sequential training policy for this model. With synthetic data, our deep learning-based channel estimation can outperform least squares (LS) channel estimation for unquantized (full-resolution) OFDM at average SNRs up to 14 dB. For data detection, our proposed design achieves lower bit error rate (BER) in fading than unquantized OFDM at average SNRs up to 10 dB.


title: Clustering and Learning from Imbalanced Data

abstract: A learning classifier must outperform a trivial solution, in case of imbalanced data, this condition usually does not hold true. To overcome this problem, we propose a novel data level resampling method - Clustering Based Oversampling for improved learning from class imbalanced datasets. The essential idea behind the proposed method is to use the distance between a minority class sample and its respective cluster centroid to infer the number of new sample points to be generated for that minority class sample. The proposed algorithm has very less dependence on the technique used for finding cluster centroids and does not effect the majority class learning in any way. It also improves learning from imbalanced data by incorporating the distribution structure of minority class samples in generation of new data samples. The newly generated minority class data is handled in a way as to prevent outlier production and overfitting. Implementation analysis on different datasets using deep neural networks as the learning classifier shows the effectiveness of this method as compared to other synthetic data resampling techniques across several evaluation metrics.


title: Self-assembly of model proteins into virus capsids

abstract: We consider self-assembly of proteins into a virus capsid by the methods of molecular dynamics. The capsid corresponds either to SPMV or CCMV and is studied with and without the RNA molecule inside. The proteins are flexible and described by the structure-based coarse-grained model augmented by electrostatic interactions. Previous studies of the capsid self-assembly involved solid objects of a supramolecular scale, e.g. corresponding to capsomeres, with engineered couplings and stochastic movements. In our approach, a single capsid is dissociated by an application of a high temperature for a variable period and then the system is cooled down to allow for self-assembly. The restoration of the capsid proceeds to various extent, depending on the nature of the dissociated state, but is rarely complete because some proteins depart too far unless the process takes place in a confined space.


title: Neural Likelihoods via Cumulative Distribution Functions

abstract: We leverage neural networks as universal approximators of monotonic functions to build a parameterization of conditional cumulative distribution functions (CDFs). By the application of automatic differentiation with respect to response variables and then to parameters of this CDF representation, we are able to build black box CDF and density estimators. A suite of families is introduced as alternative constructions for the multivariate case. At one extreme, the simplest construction is a competitive density estimator against state-of-the-art deep learning methods, although it does not provide an easily computable representation of multivariate CDFs. At the other extreme, we have a flexible construction from which multivariate CDF evaluations and marginalizations can be obtained by a simple forward pass in a deep neural net, but where the computation of the likelihood scales exponentially with dimensionality. Alternatives in between the extremes are discussed. We evaluate the different representations empirically on a variety of tasks involving tail area probabilities, tail dependence and (partial) density estimation.


title: Constituent quark number scaling from strange hadron spectra in $pp$ collisions at $\sqrt{s}=$ 13 TeV

abstract: We show that the data of $p_{T}$ spectra of $\Omega^{-}$ and $\phi$ at midrapidity in inelastic events in $pp$ collisions at $\sqrt{s}=$ 13 TeV exhibit a constituent quark number scaling property, which is a clear signal of quark combination mechanism at hadronization. We use a quark combination model under equal velocity combination approximation to systematically study the production of identified hadrons in $pp$ collisions at $\sqrt{s}$= 13 TeV. The midrapidity data of $p_{T}$ spectra of proton, $\Lambda$, $\Xi^{-}$, $\Omega^{-}$, $\phi$ and $K^{*}$ in inelastic events are simultaneously well fitted by the model. The data of multiplicity dependency of yields of these hadrons are also well understood. The strong $p_{T}$ dependence for data of $p/\phi$ ratio is well explained by the model, which further suggests that the production of two hadrons with similar masses is determined by their quark contents at hadronization. $p_{T}$ spectra of strange hadrons at midrapidity in different multiplicity classes in $pp$ collisions at $\sqrt{s}=$ 13 TeV are predicted to further test the model in the future. The midrapidity $p_{T}$ spectra of soft ($p_T<2$ GeV/c) strange quark and up/down quark at hadronization in $pp$ collisions at $\sqrt{s}=$ 13 TeV are extracted.


title: Modular Constraints on Superconformal Field Theories

abstract: We constrain the spectrum of $\mathcal{N}=(1, 1)$ and $\mathcal{N}=(2, 2)$ superconformal field theories in two-dimensions by requiring the NS-NS sector partition function to be invariant under the $\Gamma_\theta$ congruence subgroup of the full modular group $SL(2, \mathbb{Z})$. We employ semi-definite programming to find constraints on the allowed spectrum of operators with or without $U(1)$ charges. Especially, the upper bounds on the twist gap for the non-current primaries exhibit interesting peaks, kinks, and plateau. We identify a number of candidate rational (S)CFTs realized at the numerical boundaries and find that they are realized as the solutions to modular differential equations associated to $\Gamma_\theta$. Some of the candidate theories have been discussed by H\"ohn in the context of self-dual extremal vertex operator (super)algebra. We also obtain bounds for the charged operators and study their implications to the weak gravity conjecture in AdS$_3$.


title: Omegas of Agemos in Powerful Groups

abstract: In this note we show that for any powerful $p$-group $G$, the subgroup $\Omega_{i}(G^{p^{j}})$ is powerfully nilpotent for all $i,j\geq1$ when $p$ is an odd prime, and $i\geq1$, $j\geq2$ when $p=2$. We provide an example to show why this modification is needed in the case $p=2$. Furthermore we obtain a bound on the powerful nilpotency class of $\Omega_{i}(G^{p^{j}})$. We give an example to show that powerfully nilpotent characteristic subgroups of powerful $p$-groups need not be strongly powerful.


title: Bi-parameter embedding and measures with restriction energy condition

abstract: Nicola Arcozzi, Pavel Mozolyako, Karl-Mikael Perfekt, and Giulia Sarfatti recently gave the proof of a bi-parameter Carleson embedding theorem. Their proof uses heavily the notion of capacity on bi-tree. In this note we give one more proof of a bi-parameter Carleson embedding theorem that avoids the use of bi-tree capacity. Unlike the proof on a simple tree (in a pervious paper of the authors) that used the Bellman function technique, the proof here is based on some rather subtle comparison of energies of measures on bi-tree.


title: Cornering variants of Georgi-Machacek model using Higgs precision data

abstract: We show that in the absence of trilinear terms in the scalar potential of Georgi-Machacek model, heavy charged scalars do not necessarily decouple from the $h \to \gamma \gamma$ decay amplitude. In such scenarios, measurement of the Higgs to diphoton signal strength can place stringent constraints in the parameter space. Using the projected precisions at the High Luminosity LHC (HL-LHC) and the ILC, we find that the upper bound on the triplet vacuum expectation value can be as low as 10 GeV. We also found that when combined with the theoretical constraints from perturbative unitarity and stability, such variants may be ruled out altogether.


title: Proximal Gradient Method for Nonsmooth Optimization over the Stiefel Manifold

abstract: We consider optimization problems over the Stiefel manifold whose objective function is the summation of a smooth function and a nonsmooth function. Existing methods for solving this kind of problems can be classified into three classes. Algorithms in the first class rely on information of the subgradients of the objective function and thus tend to converge slowly in practice. Algorithms in the second class are proximal point algorithms, which involve subproblems that can be as difficult as the original problem. Algorithms in the third class are based on operator-splitting techniques, but they usually lack rigorous convergence guarantees. In this paper, we propose a retraction-based proximal gradient method for solving this class of problems. We prove that the proposed method globally converges to a stationary point. Iteration complexity for obtaining an $\epsilon$-stationary solution is also analyzed. Numerical results on solving sparse PCA and compressed modes problems are reported to demonstrate the advantages of the proposed method.


title: Exploring Gaze Behavior to Assess Performance in Digital Game-Based Learning Systems

abstract: The recent growth of sophisticated digital gaming technologies has spawned an \$8.1B industry around using these games for pedagogical purposes. Though Digital Game-Based Learning Systems have been adopted by industries ranging from military to medical applications, these systems continue to rely on traditional measures of explicit interactions to gauge player performance which can be subject to guessing and other factors unrelated to actual performance. This study presents a novel implicit eye-tracking based metric for digital game-based learning environments. The proposed metric introduces a weighted eye-tracking measure of traditional in-game scoring to consider the mental schema of a player's decision making. In order to validate the efficacy of this metric, we conducted an experiment with 25 participants playing a game designed to evaluate Chinese cultural competency and communication. This experiment showed strong correlation between the novel eye-tracking performance metric and traditional measures of in-game performance.


title: The Open Images Dataset V4: Unified image classification, object detection, and visual relationship detection at scale

abstract: We present Open Images V4, a dataset of 9.2M images with unified annotations for image classification, object detection and visual relationship detection. The images have a Creative Commons Attribution license that allows to share and adapt the material, and they have been collected from Flickr without a predefined list of class names or tags, leading to natural class statistics and avoiding an initial design bias. Open Images V4 offers large scale across several dimensions: 30.1M image-level labels for 19.8k concepts, 15.4M bounding boxes for 600 object classes, and 375k visual relationship annotations involving 57 classes. For object detection in particular, we provide 15x more bounding boxes than the next largest datasets (15.4M boxes on 1.9M images). The images often show complex scenes with several objects (8 annotated objects per image on average). We annotated visual relationships between them, which support visual relationship detection, an emerging task that requires structured reasoning. We provide in-depth comprehensive statistics about the dataset, we validate the quality of the annotations, we study how the performance of several modern models evolves with increasing amounts of training data, and we demonstrate two applications made possible by having unified annotations of multiple types coexisting in the same images. We hope that the scale, quality, and variety of Open Images V4 will foster further research and innovation even beyond the areas of image classification, object detection, and visual relationship detection.


title: $B\to P$ and $B\to V$ Form Factors from $B$-Meson Light-Cone Sum Rules beyond Leading Twist

abstract: We provide results for the full set of form factors describing semileptonic $B$-meson transitions to pseudoscalar mesons $\pi$, $K$, $\bar{D}$ and vector mesons $\rho$, $K^*$, $\bar{D}^*$. Our results are obtained within the framework of QCD Light-Cone Sum Rules with $B$-meson distribution amplitudes. We recalculate and confirm the results for the leading-twist two-particle contributions in the literature. Furthermore, we calculate and provide new expressions for the two-particle contributions up to twist four. Following new developments for the three-particle distribution amplitudes, we calculate and provide new results for the complete set of three-particle contributions up to twist four. The form factors are computed numerically at several phase space points using up-to-date input parameters, including correlations across phase space points and form factors. We use a model ansatz for all contributing $B$-meson distribution amplitudes that is self-consistent up to twist-four accuracy. We find that the higher-twist two-particle contributions have a substantial impact on the results, and dominate over the three-particle contributions. Our numerical results, including correlations, are provided as machine-readable ancillary files. We discuss the qualitative phenomenological impact of our results on the present $b$ anomalies.


title: ALMA observations of molecular tori around massive black holes

abstract: We report ALMA observations of CO(3-2) emission in a sample of 7 Seyfert/LINER galaxies at the unprecedented spatial resolution of 0.1'' = 4-9 pc. Our aim is to explore the close environment of AGN, and the dynamical structures leading to its fueling. The selected galaxies host low-luminosity AGN, and have a wide range of activity types, and barred or ringed morphologies. The observed maps reveal the existence of circum-nuclear disk structures, defined by their morphology and decoupled kinematics. We call these structures "molecular tori", even though they appear often as disks, without holes in the center. They have varied orientations, unaligned with their host galaxy. The radius of the tori ranges from 6 to 27 pc, and their mass from 0.7 10$^7$ to 3.9 10$^7$ Msun. At larger scale, the gas is always piled up in a few 100~pc scale resonant rings, that play the role of a reservoir to fuel the nucleus. In some cases, a trailing spiral is observed inside the ring, providing evidence for feeding processes. Most frequently, the torus and the AGN are slightly off-centered, with respect to the bar-resonant ring position, implying that the black hole is wandering by a few 10~pc amplitude around the center of mass of the galaxy. Our spatial resolution allows us to measure gas velocities inside the sphere of influence of the central black holes. By fitting the observations with different simulated cubes, varying the torus inclination and the black hole mass, it is possible to estimate the mass of the central black hole, which is in general difficult for such late-type galaxies, with only a pseudo-bulge.


title: The universal conservative superalgebra

abstract: We introduce the class of conservative superalgebras, in particular, the superalgebra $\mathcal{U}(V)$ of bilinear operations on a superspace $V.$ Moreover, we show that each conservative superalgebra modulo its maximal Jacobian ideal is embedded into $\mathcal{U}(V)$ for a certain superspace $V.$


title: Anomaly Detection for imbalanced datasets with Deep Generative Models

abstract: Many important data analysis applications present with severely imbalanced datasets with respect to the target variable. A typical example is medical image analysis, where positive samples are scarce, while performance is commonly estimated against the correct detection of these positive examples. We approach this challenge by formulating the problem as anomaly detection with generative models. We train a generative model without supervision on the `negative' (common) datapoints and use this model to estimate the likelihood of unseen data. A successful model allows us to detect the `positive' case as low likelihood datapoints. In this position paper, we present the use of state-of-the-art deep generative models (GAN and VAE) for the estimation of a likelihood of the data. Our results show that on the one hand both GANs and VAEs are able to separate the `positive' and `negative' samples in the MNIST case. On the other hand, for the NLST case, neither GANs nor VAEs were able to capture the complexity of the data and discriminate anomalies at the level that this task requires. These results show that even though there are a number of successes presented in the literature for using generative models in similar applications, there remain further challenges for broad successful implementation.


title: Momentum alignment and the optical valley Hall effect in low-dimensional Dirac materials

abstract: We study the momentum alignment of photoexcited carriers and the optical control of valley population in gapless and gapped two-dimensional Dirac materials. The trigonal warping effect leads to the spatial separation of charge carriers belonging to different valleys upon linearly polarized high-frequency photoexcitation. Valley separation in gapped materials can be detected by measuring the degree of circular polarization of band-edge photoluminescence at different sides of the sample or light spot (optical valley Hall effect). We demonstrate that the celebrated Rashba effect, caused by substrate-induced system asymmetry, leads to a strong anisotropy in the low-energy part of the spectrum. This results in optical valley separation by a linearly polarized excitation at much lower frequencies compared to the high-energy trigonal warping regime. We also show that the momentum alignment phenomenon explains the giant enhancement of near-band-edge interband optical transitions in narrow-gap carbon nanotubes and graphene nanoribbons independent of the mechanism of the gap formation. These enhanced transitions can be used in terahertz emitters based on low-dimensional Dirac materials.


title: Twisted Weyl group multiple Dirichlet series over the rational function field

abstract: Weyl group multiple Dirichlet series are Dirichlet series in $r$ complex variables, with analytic continuation to $\mathbb{C}^r$ and a group of functional equations isomorphic to the Weyl group of a reduced root system of rank $r$. Such series may be defined for any global field $K$, but in the case when $K$ is an algebraic function field they are expected to be, up to a variable change, rational functions in several variables. We verify the rationality of these functions in the case when $K=\mathbb{F}_q(T)$, and describe the denominators and support of the numerators.


title: CMI: An Online Multi-objective Genetic Autoscaler for Scientific and Engineering Workflows in Cloud Infrastructures with Unreliable Virtual Machines

abstract: Cloud Computing is becoming the leading paradigm for executing scientific and engineering workflows. The large-scale nature of the experiments they model and their variable workloads make clouds the ideal execution environment due to prompt and elastic access to huge amounts of computing resources. Autoscalers are middleware-level software components that allow scaling up and down the computing platform by acquiring or terminating virtual machines (VM) at the time that workflow's tasks are being scheduled. In this work we propose a novel online multi-objective autoscaler for workflows denominated Cloud Multi-objective Intelligence (CMI), that aims at the minimization of makespan, monetary cost and the potential impact of errors derived from unreliable VMs. In addition, this problem is subject to monetary budget constraints. CMI is responsible for periodically solving the autoscaling problems encountered along the execution of a workflow. Simulation experiments on four well-known workflows exhibit that CMI significantly outperforms a state-of-the-art autoscaler of similar characteristics called Spot Instances Aware Autoscaling (SIAA). These results convey a solid base for deepening in the study of other meta-heuristic methods for autoscaling workflow applications using cheap but unreliable infrastructures.


title: A Centroid for Sections of a Cube in a Function Space, with application to Colorimetry

abstract: The definition of the centroid in finite dimensions does not apply in a function space because of the lack of a translation invariant measure. Another approach, suggested by Nik Weaver, is to use a suitable collection of finite-dimensional subspaces. For a specific collection of subspaces of $L^1[0,1]$, this approach is shown to be successful when the subset is the intersection of a cube with a closed affine subspace of finite codimension. The techniques used are the classical Laplace Transform and saddlepoint method for asymptotics. Applications to spectral reflectance estimation in colorimetry are presented.


title: Satisfiability Thresholds for Regular Occupation Problems

abstract: In the last two decades the study of random instances of constraint satisfaction problems (CSPs) has flourished across several disciplines, including computer science, mathematics and physics. The diversity of the developed methods, on the rigorous and non-rigorous side, has led to major advances regarding both the theoretical as well as the applied viewpoints. Based on a ceteris paribus approach in terms of the density evolution equations known from statistical physics, we focus on a specific prominent class of regular CSPs, the so-called occupation problems. The regular $r$-in-$k$ occupation problems resemble a basis of this class. By now, out of these CSPs only the satisfiability threshold - the largest degree for which the problem admits asymptotically a solution - for the $1$-in-$k$ occupation problem has been rigorously established. Here we determine the satisfiability threshold of the $2$-in-$k$ occupation problem for all $k$. In the proof we exploit the connection of an associated optimization problem regarding the overlap of satisfying assignements to a fixed point problem inspired by belief propagation, a message passing algorithm developed for solving such CSPs.


title: Bochner Laplacian and Bergman kernel expansion of semi-positive line bundles on a Riemann surface

abstract: We generalize the results of Montgomery for the Bochner Laplacian on high tensor powers of a line bundle. When specialized to Riemann surfaces, this leads to the Bergman kernel expansion and geometric quantization results for semi-positive line bundles whose curvature vanishes at finite order. The proof exploits the relation of the Bochner Laplacian on tensor powers with the sub-Riemannian (sR) Laplacian.


title: Quantum fields in Bianchi type I spacetimes. The Kasner metrc

abstract: Vacuum polarization of the quantized massive fields in Bianchi type I spacetime is investigated from the point of view of the adiabatic approximation and the Schwinger-DeWitt method. It is shown that both approaches give the same results that can be used in construction of the trace of the stress-energy tensor of the conformally coupled fields. The stress-energy tensor is calculated in the Bianchi type I spacetime and the back reaction of the quantized fields upon the Kasner geometry is studied. A special emphasis is put on the problem of isotropization, studied with the aid of the directional Hubble parameters. Similarities with the quantum corrected interior of the Schwarzschild black hole is briefly discussed.


title: A Note on the Eigenstate Thermalization Hypothesis

abstract: Eigenstate thermalization hypothesis (ETH) is discussed. We point out that the common formulation of the ETH suffers from the mixing of random and deterministic variables. We suggest a modified formulation of the ETH which includes only deterministic variables. We also show that this formulation of the ETH implies thermalization as well.


title: Invertible Residual Networks

abstract: We show that standard ResNet architectures can be made invertible, allowing the same model to be used for classification, density estimation, and generation. Typically, enforcing invertibility requires partitioning dimensions or restricting network architectures. In contrast, our approach only requires adding a simple normalization step during training, already available in standard frameworks. Invertible ResNets define a generative model which can be trained by maximum likelihood on unlabeled data. To compute likelihoods, we introduce a tractable approximation to the Jacobian log-determinant of a residual block. Our empirical evaluation shows that invertible ResNets perform competitively with both state-of-the-art image classifiers and flow-based generative models, something that has not been previously achieved with a single architecture.


title: Distribution of complex algebraic numbers on the unit circle

abstract: For $-\pi\leq\beta_1<\beta_2\leq\pi$ denote by $\Phi_{\beta_1,\beta_2}(Q)$ the number of algebraic numbers on the unit circle with arguments in $[\beta_1,\beta_2]$ of degree $2m$ and with elliptic height at most $Q$. We show that \[ \Phi_{\beta_1,\beta_2}(Q)=Q^{m+1}\int\limits_{\beta_1}^{\beta_2}{p(t)}\,{\rm d}t+O\left(Q^m\,\log Q\right),\quad Q\to\infty, \] where $p(t)$ coincides up to a constant factor with the density of the roots of some random trigonometric polynomial. This density is calculated explicitly using the Edelman--Kostlan formula.


title: Tunable out-of-plane excitons in 2D single crystal perovskites

abstract: Hybrid organic-inorganic perovskites have emerged as very promising materials for photonic applications, thanks to the great synthetic versatility that allows to tune their optical properties. In the two-dimensional (2D) crystalline form, these materials behave as multiple quantum-well heterostructures with stable excitonic resonances up to room temperature. In this work strong light-matter coupling in 2D perovskite single-crystal flakes is observed, and the polarization-dependent exciton-polariton response is used to disclose new excitonic features. For the first time, an out-of-plane component of the excitons is observed, unexpected for such 2D systems and completely absent in other layered materials, such as transition-metal dichalcogenides. By comparing different hybrid perovskites with the same inorganic layer but different organic interlayers, it is shown how the nature of the organic ligands controllably affects the out-of-plane exciton-photon coupling. Such vertical dipole coupling is particularly sought in those systems, e.g. plasmonic nanocavities, in which the direction of the field is usually orthogonal to the material sheet. Organic interlayers are shown to affect also the strong birefringence associated to the layered structure, which is exploited in this work to completely rotate the linear polarization degree in only few microns of propagation, akin to what happens in metamaterials.


title: Analysing Dropout and Compounding Errors in Neural Language Models

abstract: This paper carries out an empirical analysis of various dropout techniques for language modelling, such as Bernoulli dropout, Gaussian dropout, Curriculum Dropout, Variational Dropout and Concrete Dropout. Moreover, we propose an extension of variational dropout to concrete dropout and curriculum dropout with varying schedules. We find these extensions to perform well when compared to standard dropout approaches, particularly variational curriculum dropout with a linear schedule. Largest performance increases are made when applying dropout on the decoder layer. Lastly, we analyze where most of the errors occur at test time as a post-analysis step to determine if the well-known problem of compounding errors is apparent and to what end do the proposed methods mitigate this issue for each dataset. We report results on a 2-hidden layer LSTM, GRU and Highway network with embedding dropout, dropout on the gated hidden layers and the output projection layer for each model. We report our results on Penn-TreeBank and WikiText-2 word-level language modelling datasets, where the former reduces the long-tail distribution through preprocessing and one which preserves rare words in the training and test set.


title: Chasing Nested Convex Bodies Nearly Optimally

abstract: The convex body chasing problem, introduced by Friedman and Linial, is a competitive analysis problem on any normed vector space. In convex body chasing, for each timestep $t\in\mathbb N$, a convex body $K_t\subseteq \mathbb R^d$ is given as a request, and the player picks a point $x_t\in K_t$. The player aims to ensure that the total distance $\sum_{t=0}^{T-1}||x_t-x_{t+1}||$ is within a bounded ratio of the smallest possible offline solution. In this work, we consider the nested version of the problem, in which the sequence $(K_t)$ must be decreasing. For Euclidean spaces, we consider a memoryless algorithm which moves to the so-called Steiner point, and show that in a certain sense it is exactly optimal among memoryless algorithms. For general finite dimensional normed spaces, we combine the Steiner point and our recent previous algorithm to obtain a new algorithm which is nearly optimal for all $\ell^p_d$ spaces with $p\geq 1$, closing a polynomial gap.


title: On Perverse Equivalences and Rationality

abstract: We show that perverse equivalences between module categories of finite-dimensional algebras preserve rationality. As an application, we give a connection between some famous conjectures from the modular representation theory of finite groups, namely Brou\'e's Abelian Defect Group conjecture and Donovan's Finiteness conjectures.


title: On Evaluating the Generalization of LSTM Models in Formal Languages

abstract: Recurrent Neural Networks (RNNs) are theoretically Turing-complete and established themselves as a dominant model for language processing. Yet, there still remains an uncertainty regarding their language learning capabilities. In this paper, we empirically evaluate the inductive learning capabilities of Long Short-Term Memory networks, a popular extension of simple RNNs, to learn simple formal languages, in particular $a^nb^n$, $a^nb^nc^n$, and $a^nb^nc^nd^n$. We investigate the influence of various aspects of learning, such as training data regimes and model capacity, on the generalization to unobserved samples. We find striking differences in model performances under different training settings and highlight the need for careful analysis and assessment when making claims about the learning capabilities of neural network models.


title: Entropy of partially hyperbolic flows with center dimension two

abstract: In this article we study the regularity of the topological and metric entropy of partially hyperbolic flows with two-dimensional center direction. We show that the topological entropy is upper semicontinuous with respect to the flow, and we give an example where the lower semicontinuity fails. We also show that if such a flow has no fixed points, then it is entropy expansive, and consequently the metric entropy function is upper semicontinuous, there exist equilibrium states (and measures of maximal entropy), and principal symbolic extensions.


title: Quark mass function from a one-gluon-exchange-type interaction in Minkowski space

abstract: We present first results for the quark mass function in Minkowski space in both the spacelike and timelike regions calculated from the same quark-antiquark interaction kernel used in the latest meson calculations using the Gross equation. This kernel consists of a Lorentz vector effective one-gluon-exchange-type interaction, a vector constant, and a mixed scalar-pseudoscalar covariant linear confining interaction that does not contribute to the mass function. We analyze the gauge dependence of our results, prove the gauge independence of the constituent quark mass and mass gap equation, and identify the Yennie gauge as the appropriate gauge to be used in CST calculations. We compare our results in the spacelike region to lattice QCD data and find good agreement.


title: Quantum Jump Metrology

abstract: Quantum metrology exploits quantum correlations in specially prepared entangled or other non-classical states to perform measurements that exceed the standard quantum limit. Typically though, such states are hard to engineer, particularly when larger numbers of resources are desired. As an alternative, this paper aims to establish quantum jump metrology which is based on generalised sequential measurements as a general design principle for quantum metrology and discusses how to exploit open quantum systems to obtain a quantum enhancement. By analysing a simple toy model, we illustrate that parameter-dependent quantum feedback can indeed be used to exceed the standard quantum limit without the need for complex state preparation.


title: Development of a gaseous proton-recoil detector for neutron flux measurements between 0.2 and 2 MeV neutron energy

abstract: Absolute measurements of neutron fluence are an essential prerequisite of neutron-induced cross section measurements, neutron beam lines characterization and dosimetric investigations. The H(n,p) elastic scattering cross section is a very well known standard used to perform precise neutron flux measurements in high precision measurements. The use of this technique, with proton recoil detectors, is not straightforward below incident neutron energy of 1 MeV, due to a high background in the detected proton spectrum. Experiments have been carried out at the AIFIRA facility to investigate such background and to determine its origin and components. Based on these investigations, a gaseous proton-recoil detector has been designed with a reduced low energy background. A first test of this detector has been carried out at the AIFIRA facility, and first results will be presented.


title: Monitoring Reactor Anti-Neutrinos Using a Plastic Scintillator Detector in a Mobile Laboratory

abstract: Technology developed for the T2K electromagnetic calorimeter has been adapted to make a small footprint, reliable, segmented detector to characterise anti-neutrinos emitted by nuclear reactors. The device has been developed and demonstrated by the University of Liverpool and underwent field tests at the Wylfa Magnox Reactor on Anglesey, UK. It was situated in a 20\,ft ISO shipping container, above ground, roughly 60\,m from the 1.5\,\GWt\ reactor core. Based on the design of the T2K Near Detector ECal, the device detects anti-neutrinos through the distinctive delayed coincidence signal of inverse $\beta$-decay interactions using extruded plastic scintillator and Hamamatsu Multi-Pixel Photon Counters.


title: On the Milnor fiber boundary of a quasi-ordinary surface

abstract: We give a recursive formula, expressed in terms of the characteristic tuples, for the Betti numbers of the boundary of the Milnor fiber of an irreducible quasi-ordinary surface. The singular locus of the surface consists of two components, and for each component we introduce a sequence of increasingly simpler surfaces. Our recursion depends on a detailed comparison of these two sequences. We indicate how we expect pieces of these associated surfaces to glue together to reconstruct the Milnor fiber and its boundary.


title: Configuration of vortex-antivortex lattices at output mirror of wide-area microchip laser

abstract: Square vortex lattices predicted theoretically and experimentally observed in diode-pumped solid state microchip lasers are shown to have a remarkable symmetry. These lattices are formed by counter-rotating vortices. The interaction of vortices with nonlinear gain medium leads to precession of vortices and collective excitations with dynamics identical to acoustical and optical vibrations of atomic lattices.


title: Piecewise-linear maps with heterogeneous chaos

abstract: Chaotic dynamics can be quite heterogeneous in the sense that in some regions the dynamics are unstable in more directions than in other regions. When trajectories wander between these regions, the dynamics is complicated. We say a chaotic invariant set is heterogeneous when arbitrarily close to each point of the set there are different periodic points with different numbers of unstable dimensions. We call such dynamics heterogeneous chaos (or hetero-chaos), While we believe it is common for physical systems to be hetero-chaotic, few explicit examples have been proved to be hetero-chaotic. Here we present two more explicit dynamical systems that are particularly simple and tractable with computer. It will give more intuition as to how complex even simple systems can be. Our maps have one dense set of periodic points whose orbits are 1D unstable and another dense set of periodic points whose orbits are 2D unstable. Moreover, they are ergodic relative to the Lebesgue measure.


title: Holographic glueballs from the circle reduction of Romans supergravity

abstract: We reconsider a one-parameter class of known solutions of the circle compactification of Romans six-dimensional half-maximal supergravity. The gauge-theory duals of these solutions are confining four-dimensional field theories. Their UV completions consist of the compactification on a circle of a higher-dimensional field theory that is flowing between two fixed points in five dimensions. We systematically study the bosonic fluctuations of the supergravity theory, corresponding to the bosonic glueballs of the dual field theory. We perform numerically the calculation of the spectrum of excitations of all the bosonic fields, several of which had been disregarded in earlier work on the subject. We discuss the results as a function of the one parameter characterising the class of background solutions, hence further extending known results. We show how certain towers of states are independent of the background, and compare these states to existing lattice literature on four-dimensional Yang-Mills (pure) gauge theories, confirming the existence of close similarities. For the aforementioned analysis, we construct gauge-invariant combinations of the fields appearing in the reduction to five dimensions of the supergravity theory, and hence focus on the 32 physical bosonic degrees of freedom. We show explicitly how to implement gauge-fixing of the supergravity theory. The results of such technical work could be used to analyse the spectra of other theories proposed in the context of top-down holography. For example, it could be applied to holographic realisations of composite-Higgs and light-dilaton scenarios.


title: Affine Laumon spaces and a conjecture of Kuznetsov

abstract: We prove a conjecture of Kuznetsov stating that the equivariant K-theory of affine Laumon spaces is the universal Verma module for the quantum affine algebra U_q(gl_n^). We do so by reinterpreting the action of the quantum toroidal algebra U_q(gl_n^^) on the K-theory from [14] in terms of the shuffle algebra studied in [12], which constructs an embedding of U_q(gl_n^) into U_q(gl_n^^)


title: Unsupervised Learning of Interpretable Dialog Models

abstract: Recently several deep learning based models have been proposed for end-to-end learning of dialogs. While these models can be trained from data without the need for any additional annotations, it is hard to interpret them. On the other hand, there exist traditional state based dialog systems, where the states of the dialog are discrete and hence easy to interpret. However these states need to be handcrafted and annotated in the data. To achieve the best of both worlds, we propose Latent State Tracking Network (LSTN) using which we learn an interpretable model in unsupervised manner. The model defines a discrete latent variable at each turn of the conversation which can take a finite set of values. Since these discrete variables are not present in the training data, we use EM algorithm to train our model in unsupervised manner. In the experiments, we show that LSTN can help achieve interpretability in dialog models without much decrease in performance compared to end-to-end approaches.


title: Simple Attention-Based Representation Learning for Ranking Short Social Media Posts

abstract: This paper explores the problem of ranking short social media posts with respect to user queries using neural networks. Instead of starting with a complex architecture, we proceed from the bottom up and examine the effectiveness of a simple, word-level Siamese architecture augmented with attention-based mechanisms for capturing semantic "soft" matches between query and post tokens. Extensive experiments on datasets from the TREC Microblog Tracks show that our simple models not only achieve better effectiveness than existing approaches that are far more complex or exploit a more diverse set of relevance signals, but are also much faster. Implementations of our samCNN (Simple Attention-based Matching CNN) models are shared with the community to support future work.


title: A Generalization of the {\L}o\'s-Tarski Preservation Theorem - Dissertation Summary

abstract: This article gives a summary of the author's Ph.D. dissertation (arXiv:1609.06297). In addition to an overview of notions and results, it also provides sketches of various proofs and simplified presentations of certain abstract results of the dissertation, that concern tree representations of structures. Further, some extensions of the dissertation results are presented. These include the connections of the model-theoretic notions introduced in the thesis with fixed parameter tractability and notions in the structure theory of sparse graph classes. The constructive aspects of the proofs of the model-theoretic results of the dissertation are used to obtain (algorithmic) meta-kernels for various dense graphs such as graphs of bounded clique-width and subclasses of these like $m$-partite cographs and graph classes of bounded shrub-depth. Finally, the article presents updated definitions and results concerning the notion of logical fractals which is a generalization of the Equivalent Bounded Substructure Property from the dissertation. In particular, our results show that (natural finitary adaptations of) both the upward and downward versions of the L\"owenheim-Skolem theorem from classical model theory can be recovered in a variety of algorithmically interesting settings, and further in most cases, in effective form and even for logics beyond first order logic.