title: Big enterprise registration data imputation: Supporting spatiotemporal analysis of industries in China

abstract: Big, fine-grained enterprise registration data that includes time and location information enables us to quantitatively analyze, visualize, and understand the patterns of industries at multiple scales across time and space. However, data quality issues like incompleteness and ambiguity, hinder such analysis and application. These issues become more challenging when the volume of data is immense and constantly growing. High Performance Computing (HPC) frameworks can tackle big data computational issues, but few studies have systematically investigated imputation methods for enterprise registration data in this type of computing environment. In this paper, we propose a big data imputation workflow based on Apache Spark as well as a bare-metal computing cluster, to impute enterprise registration data. We integrated external data sources, employed Natural Language Processing (NLP), and compared several machine-learning methods to address incompleteness and ambiguity problems found in enterprise registration data. Experimental results illustrate the feasibility, efficiency, and scalability of the proposed HPC-based imputation framework, which also provides a reference for other big georeferenced text data processing. Using these imputation results, we visualize and briefly discuss the spatiotemporal distribution of industries in China, demonstrating the potential applications of such data when quality issues are resolved.


title: An unbiased Ito type stochastic representation for transport PDEs: A Toy Example

abstract: We propose a stochastic representation for a simple class of transport PDEs based on Ito representations. We detail an algorithm using an estimator stemming for the representation that, unlike regularization by noise estimators, is unbiased. We rely on recent developments on branching diffusions, regime switching processes and their representations of PDEs. There is a loose relation between our technique and regularization by noise, but contrary to the latter, we add a perturbation and immediately its correction. The method is only possible through a judicious choice of the diffusion coefficient $\sigma$. A key feature is that our approach does not rely on the smallness of $\sigma$, in fact, our $\sigma$ is strictly bounded from below which is in stark contrast with standard perturbation techniques. This is critical for extending this method to non-toy PDEs which have nonlinear terms in the first derivative where the usual perturbation technique breaks down. The examples presented show the algorithm outperforming alternative approaches. Moreover, the examples point toward a potential algorithm for the fully nonlinear case where the method of characteristics breaks down.


title: Some parametrized dynamic priority policies for 2-class M/G/1 queues: completeness and applications

abstract: Completeness of a dynamic priority scheduling scheme is of fundamental importance for the optimal control of queues in areas as diverse as computer communications, communication networks, supply chains and manufacturing systems. Our first main contribution is to identify the mean waiting time completeness as a unifying aspect for four different dynamic priority scheduling schemes by proving their completeness and equivalence in 2-class M/G/1 queue. These dynamic priority schemes are earliest due date based, head of line priority jump, relative priority, and probabilistic priority. In our second main contribution, we characterize the optimal scheduling policies for the case studies in different domains by exploiting the completeness of above dynamic priority schemes. The major theme of second main contribution is resource allocation/optimal control in revenue management problems for contemporary systems such as cloud computing, high-performance computing, etc., where congestion is inherent. Using completeness and theoretically tractable nature of relative priority policy, we study the impact of approximation in a fairly generic data network utility framework. We introduce the notion of min-max fairness in multi-class queues and show that a simple global FCFS policy is min-max fair. Next, we re-derive the celebrated $c/\rho$ rule for 2-class M/G/1 queues by an elegant argument and also simplify a complex joint pricing and scheduling problem for a wider class of scheduling policies.


title: Predicting Gross Movie Revenue

abstract: 'There is no terror in the bang, only is the anticipation of it' - Alfred Hitchcock. Yet there is everything in correctly anticipating the bang a movie would make in the box-office. Movies make a high profile, billion dollar industry and prediction of movie revenue can be very lucrative. Predicted revenues can be used for planning both the production and distribution stages. For example, projected gross revenue can be used to plan the remuneration of the actors and crew members as well as other parts of the budget [1]. Success or failure of a movie can depend on many factors: star-power, release date, budget, MPAA (Motion Picture Association of America) rating, plot and the highly unpredictable human reactions. The enormity of the number of exogenous variables makes manual revenue prediction process extremely difficult. However, in the era of computer and data sciences, volumes of data can be efficiently processed and modelled. Hence the tough job of predicting gross revenue of a movie can be simplified with the help of modern computing power and the historical data available as movie databases [2].


title: Nonarchimedean quadratic Lagrange spectra and continued fractions in power series fields

abstract: Let ${{\bf F}}_q$ be a finite field of order a positive power $q$ of a prime number. We study the nonarchimedean quadratic Lagrange spectrum defined by Parkkonen and Paulin by considering the approximation by elements of the orbit of a given quadratic power series in ${{\bf F}}_q((Y^{-1}))$, for the action by homographies and anti-homographies of ${\rm PGL}_2({{\bf F}}_q[Y])$ on ${{\bf F}}_q((Y^{-1})) \cup \{\infty\}$. While their approach used geometric methods of group actions on Bruhat--Tits trees, ours is based on the theory of continued fractions in power series fields.


title: Enhancing Cybersecurity Skills by Creating Serious Games

abstract: Adversary thinking is an essential skill for cybersecurity experts, enabling them to understand cyber attacks and set up effective defenses. While this skill is commonly exercised by Capture the Flag games and hands-on activities, we complement these approaches with a key innovation: undergraduate students learn methods of network attack and defense by creating educational games in a cyber range. In this paper, we present the design of two courses, instruction and assessment techniques, as well as our observations over the last three semesters. The students report they had a unique opportunity to deeply understand the topic and practice their soft skills, as they presented their results at a faculty open day event. Their peers, who played the created games, rated the quality and educational value of the games overwhelmingly positively. Moreover, the open day raised awareness about cybersecurity and research and development in this field at our faculty. We believe that sharing our teaching experience will be valuable for instructors planning to introduce active learning of cybersecurity and adversary thinking.


title: Search for R-parity-violating supersymmetric particles in multi-jet final states produced in $p$-$p$ collisions at $\sqrt{s} =13$ TeV using the ATLAS detector at the LHC

abstract: Results of a search for gluino pair production with subsequent R-parity-violating decays to quarks are presented. This search uses 36.1 fb$^{-1}$ of data collected by the ATLAS detector in proton-proton collisions with a center-of-mass energy of $\sqrt{s} = 13$ TeV at the LHC. The analysis is performed using requirements on the number of jets and the number of jets tagged as containing a $b$-hadron as well as a topological observable formed by the scalar sum of masses of large-radius jets in the event. No significant excess above the expected Standard Model background is observed. Limits are set on the production of gluinos in models with the R-parity-violating decays of either the gluino itself (direct decay) or the neutralino produced in the R-parity-conserving gluino decay (cascade decay). In the gluino cascade decay model, gluinos with masses below 1850 GeV are excluded for 1000 GeV neutralino mass. For the gluino direct decay model, the 95% confidence level upper limit on the cross section times branching ratio varies between 0.80 fb at $m_{\tilde{g}}$ = 900 GeV and 0.011 fb at $m_{\tilde{g}}$ = 1800 GeV.


title: Evidence for the formation of the young counter-rotating stellar disk from gas acquired by IC 719

abstract: The formation scenario of extended counter-rotating stellar disks in galaxies is still debated. In this paper, we study the S0 galaxy IC 719 known to host two large-scale counter-rotating stellar disks in order to investigate their formation mechanism. We exploit the large field of view and wavelength coverage of the Multi Unit Spectroscopic Explorer (MUSE) spectrograph to derive two-dimensional (2D) maps of the various properties of the counter-rotating stellar disks, such as age, metallicity, kinematics, spatial distribution, the kinematical and chemical properties of the ionized gas, and the dust map. Due to the large wavelength range, and in particular to the presence of the Calcium Triplet 8498, 8542, 8662\AA (CaT hereafter), the spectroscopic analysis allows us to separate the two stellar components in great detail. This permits precise measurement of both the velocity and velocity dispersion of the two components as well as their spatial distribution. We derived a 2D map of the age and metallicity of the two stellar components as well as the star formation rate and gas-phase metallicity from the ionized gas emission maps. The main stellar disk of the galaxy is kinematically hotter, older, thicker and with larger scale-length than the secondary disk. There is no doubt that the latter is strongly linked to the ionized gas component: they have the same kinematics and similar vertical and radial spatial distribution. This result is in favor of a gas accretion scenario over a binary merger scenario to explain the origin of counter-rotation in IC 719. One source of gas that may have contributed to the accretion process is the cloud that surrounds IC 719.


title: A re-entrant phase transition in the survival of secondary infections on networks

abstract: We study the dynamics of secondary infections on networks, in which only the individuals currently carrying a certain primary infection are susceptible to the secondary infection. In the limit of large sparse networks, the model is mapped to a branching process spreading in a random time-sensitive environment, determined by the dynamics of the underlying primary infection. When both epidemics follow the Susceptible-Infective-Recovered model, we show that in order to survive, it is necessary for the secondary infection to evolve on a timescale that is closely matched to that of the primary infection on which it depends.


title: Amplitudes from superconformal Ward identities

abstract: We consider finite superamplitudes of N=1 matter, and use superconformal symmetry to derive powerful first-order differential equations for them. Due to on-shell collinear singularities, the Ward identities have an anomaly, which is obtained from lower-loop information. We show that in the five-particle case, the solution to the equations is uniquely fixed by the expected analytic behavior. We apply the method to a non-planar two-loop five-particle integral.


title: Absence of superconductivity in iron polyhydrides at high pressures

abstract: Recently, C. M. P\'epin \textit{et al.} [Science \textbf{357}, 382 (2017)] reported the formation of several new iron polyhydrides FeH$_x$ at pressures in the megabar range, and spotted FeH$_5$, which forms above 130 GPa, as a potential high-\tc \ superconductor, because of an alleged layer of dense metallic hydrogen. Shortly after, two studies by A.~Majumdar \textit{et al.} [Phys. Rev. B \textbf{96}, 201107 (2017)] and A.~G.~Kvashnin \textit{et al.} [J. Phys. Chem. C \textbf{122}, 4731 (2018)] based on {\em ab initio} Migdal-Eliashberg theory seemed to independently confirm such a conjecture. We conversely find, on the same theoretical-numerical basis, that neither FeH$_5$ nor its precursor, FeH$_3$, shows any conventional superconductivity and explain why this is the case. We also show that superconductivity may be attained by transition-metal polyhydrides in the FeH$_3$ structure type by adding more electrons to partially fill one of the Fe--H hybrid bands (as, e.g., in NiH$_3$). Critical temperatures, however, will remain low because the $d$--metal bonding, and not the metallic hydrogen, dominates the behavior of electrons and phonons involved in the superconducting pairing in these compounds.


title: Solar System Ice Giants: Exoplanets in our Backyard

abstract: Future remote sensing of exoplanets will be enhanced by a thorough investigation of our solar system Ice Giants (Neptune-size planets). What can the configuration of the magnetic field tell us (remotely) about the interior, and what implications does that field have for the structure of the magnetosphere; energy input into the atmosphere, and surface geophysics (for example surface weathering of satellites that might harbour sub-surface oceans). How can monitoring of auroral emission help inform future remote observations of emission from exoplanets? Our Solar System provides the only laboratory in which we can perform in-situ experiments to understand exoplanet formation, dynamos, systems and magnetospheres.


title: A plasma solenoid driven by an Orbital Angular Momentum laser beam

abstract: A tens of Tesla quasi-static axial magnetic field can be produced in the interaction of a short intense laser beam carrying an Orbital Angular Momentum with an underdense plasma. Three-dimensional "Particle In Cell" simulations and analytical model demonstrate that orbital angular momentum is transfered from a tightly focused radially polarized laser beam to electrons without any dissipative effect. A theoretical model describing the balistic interaction of electrons with laser shows that particles gain angular velocity during their radial and longitudinal drift in the laser field. The agreement between PIC simulations and the simplified model identifies routes to increase the intensity of the solenoidal magnetic field by controlling the orbital angular momentum and/or the energy of the laser beam.


title: Status and perspectives of the JUNO experiment

abstract: The determination of the neutrino mass hierarchy, whether the $\nu _3$ neutrino mass eigenstate is heavier or lighter than the $\nu _1$ and $\nu _2$ mass eigenstates, is one of the remaining undetermined fundamental aspects of the Standard Model in the lepton sector. Furthermore the mass hierarchy determination will have an impact in the quest of the neutrino nature (Dirac or Majorana mass terms) towards the formulation of a theory of flavour. The Jiangmen Underground Neutrino Observatory (JUNO) is a reactor neutrino experiment under construction at Kaiping, Jiangmen in Southern China composed by a large liquid scintillator detector (sphere of 35.4 m of diameter) surronding by 18000 large PMTs and 25000 small PMTs, a water cherenkov detector and a top tracker detector. The large active mass (20 kton) and the unprecedented energy resolution (3\% at 1 MeV) will allow to determine the neutrino mass hierarchy with good sensitivity and to precisely measure the neutrino mixing parameters, $\theta _{12}$, $\Delta m^2_{21} $, and $\Delta m^2_{ee}$ below the 1\% level. Moreover, a large liquid scintillator detector will allow to explore physics beyond mass hierarchy determination, in particular on many oyher topics such as in astroparticle physics, like supernova burst and diffuse supernova neutrinos, solar neutrinos, atmospheric neutrinos, geo-neutrinos, nucleon decay, indirect dark matter searches and a number of additional exotic searches. In this work the status and the perspectives of the JUNO experiment will be described, focusing also on the main physics aims and the other possible physics cases.


title: Large Field and High Resolution: Detecting Needle in Haystack

abstract: The growing use of convolutional neural networks (CNN) for a broad range of visual tasks, including tasks involving fine details, raises the problem of applying such networks to a large field of view, since the amount of computations increases significantly with the number of pixels. To deal effectively with this difficulty, we develop and compare methods of using CNNs for the task of small target localization in natural images, given a limited "budget" of samples to form an image. Inspired in part by human vision, we develop and compare variable sampling schemes, with peak resolution at the center and decreasing resolution with eccentricity, applied iteratively by re-centering the image at the previous predicted target location. The results indicate that variable resolution models significantly outperform constant resolution models. Surprisingly, variable resolution models and in particular multi-channel models, outperform the optimal, "budget-free" full-resolution model, using only 5\% of the samples.


abstract: We present a way to construct Parseval frames of piecewise constant functions for $L^2[0,1]$. The construction is similar to the generalized Walsh bases. It is based on iteration of operators that satisfy a Cuntz-type relation, but without the isometry property. We also show how the Parseval frame can be dilated to an orthonormal basis and the operators can be dilated to true Cuntz isometries.


title: Towards Training Probabilistic Topic Models on Neuromorphic Multi-chip Systems

abstract: Probabilistic topic models are popular unsupervised learning methods, including probabilistic latent semantic indexing (pLSI) and latent Dirichlet allocation (LDA). By now, their training is implemented on general purpose computers (GPCs), which are flexible in programming but energy-consuming. Towards low-energy implementations, this paper investigates their training on an emerging hardware technology called the neuromorphic multi-chip systems (NMSs). NMSs are very effective for a family of algorithms called spiking neural networks (SNNs). We present three SNNs to train topic models. The first SNN is a batch algorithm combining the conventional collapsed Gibbs sampling (CGS) algorithm and an inference SNN to train LDA. The other two SNNs are online algorithms targeting at both energy- and storage-limited environments. The two online algorithms are equivalent with training LDA by using maximum-a-posterior estimation and maximizing the semi-collapsed likelihood, respectively. They use novel, tailored ordinary differential equations for stochastic optimization. We simulate the new algorithms and show that they are comparable with the GPC algorithms, while being suitable for NMS implementation. We also propose an extension to train pLSI and a method to prune the network to obey the limited fan-in of some NMSs.


title: Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

abstract: Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring new knowledge are important skills for going-to-be computer scientists. The Iltis project aims at providing a web-based, interactive system that supports teaching logical methods. In particular the system shall (a) support to learn to model knowledge and to infer new knowledge using propositional logic, modal logic and first-order logic, and (b) provide immediate feedback and support to students. This article presents a prototypical system that currently supports the above tasks for propositional logic. First impressions on its use in a second year logic course for computer science students are reported.


title: SWAT: A System for Detecting Salient Wikipedia Entities in Texts

abstract: We study the problem of entity salience by proposing the design and implementation of SWAT, a system that identifies the salient Wikipedia entities occurring in an input document. SWAT consists of several modules that are able to detect and classify on-the-fly Wikipedia entities as salient or not, based on a large number of syntactic, semantic and latent features properly extracted via a supervised process which has been trained over millions of examples drawn from the New York Times corpus. The validation process is performed through a large experimental assessment, eventually showing that SWAT improves known solutions over all publicly available datasets. We release SWAT via an API that we describe and comment in the paper in order to ease its use in other software.


title: New inequalities for families without k pairwise disjoint members

abstract: Some best possible inequalities are established for k-partition-free families (cf. Definition 1) and they are applied to prove a sharpening of a classical result of Kleitman concerning families without k pairwise disjoint members.


title: Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

abstract: We prove the equivalence of two classes of counter machines and one class of distributed automata. Our counter machines operate on finite words, which they read from left to right while incrementing or decrementing a fixed number of counters. The two classes differ in the extra features they offer: one allows to copy counter values, whereas the other allows to compute copyless sums of counters. Our distributed automata, on the other hand, operate on directed path graphs that represent words. All nodes of a path synchronously execute the same finite-state machine, whose state diagram must be acyclic except for self-loops, and each node receives as input the state of its direct predecessor. These devices form a subclass of linear-time one-way cellular automata.


title: Classification of Point Cloud Scenes with Multiscale Voxel Deep Network

abstract: In this article we describe a new convolutional neural network (CNN) to classify 3D point clouds of urban or indoor scenes. Solutions are given to the problems encountered working on scene point clouds, and a network is described that allows for point classification using only the position of points in a multi-scale neighborhood. On the reduced-8 Semantic3D benchmark [Hackel et al., 2017], this network, ranked second, beats the state of the art of point classification methods (those not using a regularization step).


title: Geometrical analysis of polynomial lens distortion models

abstract: Polynomial functions are a usual choice to model the nonlinearity of lenses. Typically, these models are obtained through physical analysis of the lens system or on purely empirical grounds. The aim of this work is to facilitate an alternative approach to the selection or design of these models based on establishing a priori the desired geometrical properties of the distortion functions. With this purpose we obtain all the possible isotropic linear models and also those that are formed by functions with symmetry with respect to some axis. In this way, the classical models (decentering, thin prism distortion) are found to be particular instances of the family of models found by geometric considerations. These results allow to find generalizations of the most usually employed models while preserving the desired geometrical properties. Our results also provide a better understanding of the geometric properties of the models employed in the most usual computer vision software libraries.


title: Limit cycles of planar vector fields: Hilbert's 16th problem and o-minimality

abstract: I discuss some recent work linking certain aspects of the second part of Hilbert's 16th problem to the theory of \hbox{o-minimality}. These notes are adapted from a lecture I gave in the Jour fixe seminar series at the Zukunfts\-kolleg of Universit\"at Konstanz in June 2017.


title: A Generalized Quasi-Neutral Fluid-Particle Hybrid Plasma Model and Its Application to Energetic-Particle-Magnetohydrodynamics Hybrid Simulation

abstract: A generalized fluid-particle hybrid model for collisionless plasmas under the assumption of quasi-neutrality is presented. The system consists of fluid ions and electrons as well as arbitrary numbers of species whose dynamics is governed by the Vlasov equation. The proposed model is thus a generalized version of the well-known standard hybrid plasma simulation model, in which the ions are fully kinetic whereas the electrons are assumed to be a fluid. Since the proposed model employs the exact form of the generalized Ohm's law, the mass and energy densities, as well as the charge-to-mass ratio of the kinetic species, are taken to be arbitrary. In the absence of the kinetic species, it reduces to the quasi-neutral two-fluid model (Amano, 2015, JCP). In the opposite situation where the mass and energy densities of the kinetic species are much larger than the fluid ions, it is nothing more than the standard hybrid model with finite electron inertia effect. If the kinetic species is an energetic particle (EP) population having negligible mass density but substantial energy density and the scale size is much larger than the ion and electron inertial lengths, it describes the self-consistent coupling between the magnetohydrodynamics (MHD) and the EP dynamics. The energetic-particle-magnetohydrodynamics (EP-MHD) hybrid model is thus a special case of the more general model described in this paper. Advantages of this approach over the existing models are discussed. A three-dimensional simulation code solving the proposed set of equations is described. The code combines the Particle-in-Cell scheme for solving the kinetic species and a Riemann-solver-based code for the two-fluid equations. Several benchmark simulation results are shown to confirm that the code successfully captures the dynamics of the EP population interacting self-consistently with the MHD fluid.


title: Symmetries on plabic graphs and associated polytopes

abstract: For Grassmann varieties, we explain how the duality between the Gelfand-Tsetlin polytopes and the Feigin-Fourier-Littelmann-Vinberg polytopes arises from different positive structures.


title: Controlling seizure propagation in large-scale brain networks

abstract: Information transmission in the human brain is a fundamentally dynamic network process. In partial epilepsy, this process is perturbed and highly synchronous seizures originate in a local network, the so-called epileptogenic zone (EZ), before recruiting other close or distant brain regions. We studied patient-specific brain network models of 15 drug-resistant epilepsy patients with implanted stereotactic electroencephalography (SEEG) electrodes. Each personalized brain model was derived from structural data of magnetic resonance imaging (MRI) and diffusion tensor weighted imaging (DTI), comprising 88 nodes equipped with region specific neural mass models capable of demonstrating a range of epileptiform discharges. Each patients virtual brain was further personalized through the integration of the clinically hypothesized EZ. Subsequent simulations and connectivity modulations were performed and uncovered a finite repertoire of seizure propagation patterns. Across patients, we found that (i) patient-specific network connectivity is predictive for the subsequent seizure propagation pattern; (ii)seizure propagation is characterized by a systematic sequence of brain states; (iii) propagation can be controlled by an optimal intervention on the connectivity matrix; (iv) the degree of invasiveness can be significantly reduced via the here proposed seizure control as compared to traditional resective surgery. To stop seizures, neurosurgeons typically resect the EZ completely. We showed that stability analysis of the network dynamics using graph theoretical metrics estimates reliably the spatiotemporal properties of seizure propagation. This suggests novel less invasive paradigms of surgical interventions to treat and manage partial epilepsy.

categories: q-bio.NC cond-mat.dis-nn nlin.AO nlin.CD


title: ConPredictor: Concurrency Defect Prediction in Real-World Applications

abstract: Concurrent programs are difficult to test due to their inherent non-determinism. To address this problem, testing often requires the exploration of thread schedules of a program; this can be time-consuming when applied to real-world programs. Software defect prediction has been used to help developers find faults and prioritize their testing efforts. Prior studies have used machine learning to build such predicting models based on designed features that encode the characteristics of programs. However, research has focused on sequential programs; to date, no work has considered defect prediction for concurrent programs, with program characteristics distinguished from sequential programs. In this paper, we present ConPredictor, an approach to predict defects specific to concurrent programs by combining both static and dynamic program metrics. Specifically, we propose a set of novel static code metrics based on the unique properties of concurrent programs. We also leverage additional guidance from dynamic metrics constructed based on mutation analysis. Our evaluation on four large open source projects shows that ConPredictor improved both within-project defect prediction and cross-project defect prediction compared to traditional features.


title: On the unique unexpected quartic in $\mathbb{P}^2$

abstract: The computation of the dimension of linear systems of plane curves through a bunch of given multiple points is one of the most classic issues in Algebraic Geometry. In general, it is still an open problem to understand when the points fail to impose independent conditions. Despite many partial results, a complete solution is not known, even if the fixed points are in general position. The answer in the case of general points in the projective plane is predicted by the famous Segre-Harbourne-Gimigliano-Hirschowitz conjecture. When we consider fixed points in special position, even more interesting situations may occur. Recently Di Gennaro, Ilardi and Vall\`{e}s discovered a special configuration $Z$ of nine points with a remarkable property: a general triple point always fails to impose independent conditions on the ideal of $Z$ in degree four. The peculiar structure and properties of this kind of \textit{unexpected curves} were studied by Cook II, Harbourne, Migliore and Nagel. By using both explicit geometric constructions and more abstract algebraic arguments, we classify low degree unexpected curves. In particular, we prove that the aforementioned configuration $Z$ is the unique one giving rise to an unexpected quartic.


title: On the model dependence of measured Bs-meson branching fractions

abstract: The measurement of $B_s$-meson branching fractions is a fundamental tool to probe physics beyond the Standard Model. Every measurement of untagged time-integrated $B_s$-meson branching fractions is model-dependent due to the time dependence of the experimental efficiency and the large lifetime difference between the two $B_s$ mass eigenstates. In recent measurements, this effect is bundled in the systematics. We reappraise the potential numerical impact of this effect -- we find it to be close to 10% in real-life examples where new physics is a correction to dominantly Standard-Model dynamics. We therefore suggest that this model dependence be made explicit, i.e. that $B_s$ branching-fraction measurements be presented in a two-dimensional plane with the parameter that encodes the model dependence. We show that ignoring this effect can lead to over-constraining the couplings of new-physics models. In particular, we note that the effect also applies when setting upper limits on non-observed $B_s$ decay modes, such as those forbidden within the Standard Model.


title: A clustering-based reinforcement learning approach for tailored personalization of e-Health interventions

abstract: Personalization is very powerful in improving the effectiveness of health interventions. Reinforcement learning (RL) algorithms are suitable for learning these tailored interventions from sequential data collected about individuals. However, learning can be very fragile. The time to learn intervention policies is limited as disengagement from the user can occur quickly. Also, in e-Health intervention timing can be crucial before the optimal window passes. We present an approach that learns tailored personalization policies for groups of users by combining RL and clustering. The benefits are two-fold: speeding up the learning to prevent disengagement while maintaining a high level of personalization. Our clustering approach utilizes dynamic time warping to compare user trajectories consisting of states and rewards. We apply online and batch RL to learn policies over clusters of individuals and introduce our self-developed and publicly available simulator for e-Health interventions to evaluate our approach. We compare our methods with an e-Health intervention benchmark. We demonstrate that batch learning outperforms online learning for our setting. Furthermore, our proposed clustering approach for RL finds near-optimal clusterings which lead to significantly better policies in terms of cumulative reward compared to learning a policy per individual or learning one non-personalized policy across all individuals. Our findings also indicate that the learned policies accurately learn to send interventions at the right moments and that the users workout more and at the right times of the day.


title: Automatic Recognition of Space-Time Constellations by Learning on the Grassmann Manifold (Extended Version)

abstract: Recent breakthroughs in machine learning especially artificial intelligence shift the paradigm of wireless communication towards intelligence radios. One of their core operations is automatic modulation recognition (AMR). Existing research focuses on coherent modulation schemes such as QAM, PSK and FSK. The AMR of (non-coherent) space-time modulation remains an uncharted area despite its wide deployment in modern multiple-input-multiple-output (MIMO) systems. The scheme using a so called Grassmann constellation enables rate-enhancement using multi-antennas and blind detection. In this work, we propose an AMR approach for Grassmann constellation based on data clustering, which differs from traditional AMR based on classification using a modulation database. The approach allows algorithms for clustering on the Grassmann manifold, such as Grassmann K-means and depth-first search, originally developed for computer vision to be applied to AMR. We further develop an analytical framework for studying and designing these algorithms in the context of AMR. First, the maximum-likelihood Grassmann constellation detection is proved to be equivalent to clustering on the Grassmannian. Thereby, a well-known machine-learning result that was originally established only for the Euclidean space is rediscovered for the Grassmannian. Next, despite a rich literature on algorithmic design, theoretical analysis of data clustering is largely overlooked due to the lack of tractable techniques. We tackle the challenge by introducing probabilistic metrics for measuring the inter-cluster separability and intra-cluster connectivity of received space-time symbols and deriving them using tools from differential geometry and Grassmannian packing. The results provide useful insights into the effects of various parameters ranging from the signal-to-noise ratio to constellation size, facilitating algorithmic design.


title: Approximating multiobjective combinatorial optimization problems with the OWA criterion

abstract: The paper deals with a multiobjective combinatorial optimization problem with $K$ linear cost functions. The popular Ordered Weighted Averaging (OWA) criterion is used to aggregate the cost functions and compute a solution. It is well known that minimizing OWA for most basic combinatorial problems is weakly NP-hard even if the number of objectives $K$ equals two, and strongly NP-hard when $K$ is a part of the input. In this paper, the problem with nonincreasing weights in the OWA criterion and a large $K$ is considered. A method of reducing the number of objectives by appropriately aggregating the objective costs before solving the problem is proposed. It is shown that an optimal solution to the reduced problem has a guaranteed worst-case approximation ratio. Some new approximation results for the Hurwicz criterion, which is a special case of OWA, are also presented.


title: Realization of a three-dimensional photonic topological insulator

abstract: Confining photons in a finite volume is in high demand in modern photonic devices. This motivated decades ago the invention of photonic crystals, featured with a photonic bandgap forbidding light propagation in all directions. Recently, inspired by the discoveries of topological insulators (TIs), the confinement of photons with topological protection has been demonstrated in two-dimensional (2D) photonic structures known as photonic TIs, with promising applications in topological lasers and robust optical delay lines. However, a fully three-dimensional (3D) topological photonic bandgap has never before been achieved. Here, we experimentally demonstrate a 3D photonic TI with an extremely wide (> 25% bandwidth) 3D topological bandgap. The sample consists of split-ring resonators (SRRs) with strong magneto-electric coupling and behaves as a 'weak TI', or a stack of 2D quantum spin Hall insulators. Using direct field measurements, we map out both the gapped bulk bandstructure and the Dirac-like dispersion of the photonic surface states, and demonstrate robust photonic propagation along a non-planar surface. Our work extends the family of 3D TIs from fermions to bosons and paves the way for applications in topological photonic cavities, circuits, and lasers in 3D geometries.


title: A Deep Information Sharing Network for Multi-contrast Compressed Sensing MRI Reconstruction

abstract: In multi-contrast magnetic resonance imaging (MRI), compressed sensing theory can accelerate imaging by sampling fewer measurements within each contrast. The conventional optimization-based models suffer several limitations: strict assumption of shared sparse support, time-consuming optimization and "shallow" models with difficulties in encoding the rich patterns hiding in massive MRI data. In this paper, we propose the first deep learning model for multi-contrast MRI reconstruction. We achieve information sharing through feature sharing units, which significantly reduces the number of parameters. The feature sharing unit is combined with a data fidelity unit to comprise an inference block. These inference blocks are cascaded with dense connections, which allows for information transmission across different depths of the network efficiently. Our extensive experiments on various multi-contrast MRI datasets show that proposed model outperforms both state-of-the-art single-contrast and multi-contrast MRI methods in accuracy and efficiency. We show the improved reconstruction quality can bring great benefits for the later medical image analysis stage. Furthermore, the robustness of the proposed model to the non-registration environment shows its potential in real MRI applications.


title: Representation of solutions of discrete linear delay systems with non permutable matrices

abstract: We introduce a discrete delayed exponential depending on sequence of matrices. This discrete matrix gives a representation of a solution to the Cauchy problem for a discrete linear system with pure delay with sequence of matrices. We discard the commutativity condition used in recent works related to the representation of solutions for discrete delay linear systems.


title: Response properties of embedded molecules through the polarizable embedding model

abstract: The polarizable embedding (PE) model is a fragment-based quantum-classical approach aimed at accurate inclusion of environment effects in quantum-mechanical response property calculations. The aim of this tutorial is to give insight into the practical use of the PE model. Starting from a set of molecular structures and until you arrive at the final property, there are many crucial details to consider in order to obtain trustworthy results in an efficient manner. To lower the threshold for new users wanting to explore the use of the PE model, we describe and discuss important aspects related to its practical use. This includes directions on how to generate input files and how to run a calculation.


title: Understanding disentangling in $\beta$-VAE

abstract: We present new intuitions and theoretical assessments of the emergence of disentangled representation in variational autoencoders. Taking a rate-distortion theory perspective, we show the circumstances under which representations aligned with the underlying generative factors of variation of data emerge when optimising the modified ELBO bound in $\beta$-VAE, as training progresses. From these insights, we propose a modification to the training regime of $\beta$-VAE, that progressively increases the information capacity of the latent code during training. This modification facilitates the robust learning of disentangled representations in $\beta$-VAE, without the previous trade-off in reconstruction accuracy.


title: Transversal Lightlike Submanifolds of Golden Semi Riemannian Manifolds

abstract: The Golden Ratio is fascinating topic that continually generated news ideas. A Riemannian manifold endowed with a Golden Structure will be called a Golden Riemannian manifold. The main purpose of the present paper is to study the geometry of radical transversal lightlike submanifolds and transversal lightlike submanifolds of Golden Semi-Riemannian manifolds. We investigate the geometry of distributions and obtain necessary and sufficient conditions for the induced connection on these manifolds to be metric connection.


title: Nonparametric Estimation of Surface Integrals on Level Sets

abstract: Surface integrals on density level sets often appear in asymptotic results in nonparametric level set estimation (such as for confidence regions and bandwidth selection). Also surface integrals can be used to describe the shape of level sets (using such as Willmore energy and Minkowski functionals), and link geometry (curvature) and topology (Euler characteristic) of level sets through the Gauss-Bonnet theorem. We consider three estimators of surface integrals on density level sets, one as a direct plug-in estimator, and the other two based on different neighborhoods of level sets. We allow the integrands of the surface integrals to be known or unknown. For both of these scenarios, we derive the rates of the convergence and asymptotic normality of the three estimators.


title: Search for supersymmetry in events with four or more leptons in $\sqrt{s}=13$ TeV $pp$ collisions with ATLAS

abstract: Results from a search for supersymmetry in events with four or more charged leptons (electrons, muons and taus) are presented. The analysis uses a data sample corresponding to 36.1 fb$^{-1}$ of proton-proton collisions delivered by the Large Hadron Collider at $\sqrt{s}=13$ TeV and recorded by the ATLAS detector. Four-lepton signal regions with up to two hadronically decaying taus are designed to target a range of supersymmetric scenarios that can be either enriched in or depleted of events involving the production and decay of a $Z$ boson. Data yields are consistent with Standard Model expectations and results are used to set upper limits on the event yields from processes beyond the Standard Model. Exclusion limits are set at the 95% confidence level in simplified models of General Gauge Mediated supersymmetry, where higgsino masses are excluded up to 295 GeV. In $R$-parity-violating simplified models with decays of the lightest supersymmetric particle to charged leptons, lower limits of 1.46 TeV, 1.06 TeV, and 2.25 TeV are placed on wino, slepton and gluino masses, respectively.


title: Third Party Tracking in the Mobile Ecosystem

abstract: Third party tracking allows companies to identify users and track their behaviour across multiple digital services. This paper presents an empirical study of the prevalence of third-party trackers on 959,000 apps from the US and UK Google Play stores. We find that most apps contain third party tracking, and the distribution of trackers is long-tailed with several highly dominant trackers accounting for a large portion of the coverage. The extent of tracking also differs between categories of apps; in particular, news apps and apps targeted at children appear to be amongst the worst in terms of the number of third party trackers associated with them. Third party tracking is also revealed to be a highly trans-national phenomenon, with many trackers operating in jurisdictions outside the EU. Based on these findings, we draw out some significant legal compliance challenges facing the tracking industry.


title: Optimal Document Exchange and New Codes for Insertions and Deletions

abstract: We give the first communication-optimal document exchange protocol. For any $n$ and $k < n$ our randomized scheme takes any $n$-bit file $F$ and computes a $\Theta(k \log \frac{n}{k})$-bit summary from which one can reconstruct $F$, with high probability, given a related file $F'$ with edit distance $ED(F,F') \leq k$. The size of our summary is information-theoretically order optimal for all values of $k$, giving a randomized solution to a longstanding open question of [Orlitsky; FOCS'91]. It also is the first non-trivial solution for the interesting setting where a small constant fraction of symbols have been edited, producing an optimal summary of size $O(H(\delta)n)$ for $k=\delta n$. This concludes a long series of better-and-better protocols which produce larger summaries for sub-linear values of $k$ and sub-polynomial failure probabilities. In particular, the recent break-through of [Belazzougui, Zhang; FOCS'16] assumes that $k < n^\epsilon$, produces a summary of size $O(k\log^2 k + k\log n)$, and succeeds with probability $1-(k \log n)^{-O(1)}$. We also give an efficient derandomized document exchange protocol with summary size $O(k \log^2 \frac{n}{k})$. This improves, for any $k$, over a deterministic document exchange protocol by Belazzougui with summary size $O(k^2 + k \log^2 n)$. Our deterministic document exchange directly provides new efficient systematic error correcting codes for insertions and deletions. These (binary) codes correct any $\delta$ fraction of adversarial insertions/deletions while having a rate of $1 - O(\delta \log^2 \frac{1}{\delta})$ and improve over the codes of Guruswami and Li and Haeupler, Shahrasbi and Vitercik which have rate $1 - \Theta\left(\sqrt{\delta} \log^{O(1)} \frac{1}{\epsilon}\right)$.


title: Extremizability of Fourier restriction to the paraboloid

abstract: In this article, we prove that all global, nonendpoint Fourier restriction inequalities for the paraboloid in $\mathbb R^{1+d}$ have extremizers and that $L^p$-normalized extremizing sequences are precompact modulo symmetries. This result had previously been established for the case $q=2$. In the range where the boundedness of the restriction operator is still an open question, our result is conditional on improvements toward the restriction conjecture.


title: Quantum mechanics, objective reality, and the problem of consciousness

abstract: The hard problem in consciousness is the problem of understanding how physical processes in the brain could give rise to subjective conscious experience. In this paper, I suggest that in order to understand the relationship between consciousness and the physical world, we need to probe deeply into the nature of physical reality. This leads us to quantum physics and to a second explanatory gap: that between quantum and classical reality. I will seek a philosophical framework that can address these two gaps simultaneously. Our analysis of quantum mechanics will naturally lead us to the notion of a hidden reality and to the postulate that consciousness is an integral component of this reality. The framework proposed in the paper provides the philosophical underpinnings for a theory of consciousness while satisfactorily resolving the interpretation problem in quantum mechanics without the need to alter its mathematical structure. I also discuss some implications for a scientific theory of consciousness.


title: Theory of the inverse spin galvanic effect in quantum wells

abstract: The understanding of the fundamentals of spin and charge densities and currents interconversion by spin-orbit coupling can enable efficient applications beyond the possibilities offered by conventional electronics. For this purpose we consider various forms of the frequency-dependent inverse spin galvanic effect (ISGE) in semiconductor quantum wells and epilayers taking into account the cubic in the electron momentum spin-orbit coupling in the Rashba and Dresselhaus forms, concentrating on the current-induced spin polarization (CISP). We find that including the cubic terms qualitatively explains recent findings of the CISP in InGaAs epilayers being the strongest if the internal spin-orbit coupling field is the smallest and vice versa (Norman et . 2014, Luengo et al. 2017), in contrast to the common understanding. Our results provide a promising framework for the control of spin transport in future spintronics devices.


title: Imagine This! Scripts to Compositions to Videos

abstract: Imagining a scene described in natural language with realistic layout and appearance of entities is the ultimate test of spatial, visual, and semantic world knowledge. Towards this goal, we present the Composition, Retrieval, and Fusion Network (CRAFT), a model capable of learning this knowledge from video-caption data and applying it while generating videos from novel captions. CRAFT explicitly predicts a temporal-layout of mentioned entities (characters and objects), retrieves spatio-temporal entity segments from a video database and fuses them to generate scene videos. Our contributions include sequential training of components of CRAFT while jointly modeling layout and appearances, and losses that encourage learning compositional representations for retrieval. We evaluate CRAFT on semantic fidelity to caption, composition consistency, and visual quality. CRAFT outperforms direct pixel generation approaches and generalizes well to unseen captions and to unseen video databases with no text annotations. We demonstrate CRAFT on FLINTSTONES, a new richly annotated video-caption dataset with over 25000 videos. For a glimpse of videos generated by CRAFT, see https://youtu.be/688Vv86n0z8.


title: Engineering and improving the magnetic properties of thin Fe layers through exchange coupling with hard magnetic Dysprosium layers

abstract: We report on a comprehensive study of the magnetic coupling between soft magnetic Fe layers and hard magnetic Dysprosium (Dy) layers at low temperatures (4.2 - 120K). For our experiments we prepared thin films of Fe and Dy and multilayers of Fe/Dy by ultra-high vacuum sputtering. The magnetic properties of each material were determined with a superconducting quantum interference device. Furthermore, we performed magnetoresistance measurements with similarly grown, microstructured devices, where the anisotropic magnetoresistance (AMR) effect was used to identify the magnetization state of the samples. By analyzing and comparing the corresponding data of Fe and Dy, we show that the presence of a Dy layer on top of the Fe layer significantly influences its magnetic properties and makes it magnetically harder. We perform a systematic evaluation of this effect and its dependence on temperature and on the thickness of the soft magnetic layer. All experimental results can consistently be explained with exchange coupling at the interface between the Fe and the Dy layer. Our experiments also yield a negative sign of the AMR effect of thin Dy films, and an increase of the Dy films' Curie temperature, which is due to growth conditions.


title: Quartic unexpected curves and surfaces

abstract: Our research is motivated by recent work of Cook II, Harbourne, Migliore, and Nagel on configurations of points in the projective plane with properties that are unexpected from the point of view of the postulation theory. In this note, we revisit the basic configuration of nine points appearing in work of Gennaro/Ilardi/Vall\`es and Harbourne, and we exhibit some additional new properties of this configuration. We then pass to projective three-space and exhibit a surface with unexpected postulation properties there. Such higher dimensional phenomena have not been observed so far.


title: Binary Space Partitioning as Intrinsic Reward

abstract: An autonomous agent embodied in a humanoid robot, in order to learn from the overwhelming flow of raw and noisy sensory, has to effectively reduce the high spatial-temporal data dimensionality. In this paper we propose a novel method of unsupervised feature extraction and selection with binary space partitioning, followed by a computation of information gain that is interpreted as intrinsic reward, then applied as immediate-reward signal for the reinforcement-learning. The space partitioning is executed by tiny codelets running on a simulated Turing Machine. The features are represented by concept nodes arranged in a hierarchy, in which those of a lower level become the input vectors of a higher level.


title: Convergence of a Full Discretization for a Second-Order Nonlinear Elastodynamic Equation in Isotropic and Anisotropic Orlicz Spaces

abstract: In this paper, we study a second-order, nonlinear evolution equation with damping arising in elastodynamics. The nonlinear term is monotone and possesses a convex potential but exhibits anisotropic and nonpolynomial growth. The appropriate setting for such equations is that of monotone operators in Orlicz spaces. Global existence of solutions in the sense of distributions is shown via convergence of the backward Euler scheme combined with an internal approximation. Moreover, we show uniqueness in a class of sufficiently smooth solutions and provide an a priori error estimate for the temporal semidiscretization.


title: Efficient approximation for global functions of matrix product operators

abstract: Building on a previously introduced block Lanczos method, we demonstrate how to approximate any operator function of the form Trf (A) when the argument A is given as a Hermitian matrix product operator. This gives access to quantities that, depending on the full spectrum, are difficult to access for standard tensor network techniques, such as the von Neumann entropy and the trace norm of an MPO. We present a modified, more efficient strategy for computing thermal properties of short- or long-range Hamiltonians, and illustrate the performance of the method with numerical results for the thermal equilibrium states of the Lipkin-Meshkov-Glick and Ising Hamiltonians.


title: A constructive method for decomposing real representations

abstract: A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the computer algebra system {\sf GAP}4.


title: Subsampled Optimization: Statistical Guarantees, Mean Squared Error Approximation, and Sampling Method

abstract: For optimization on large-scale data, exactly calculating its solution may be computationally difficulty because of the large size of the data. In this paper we consider subsampled optimization for fast approximating the exact solution. In this approach, one gets a surrogate dataset by sampling from the full data, and then obtains an approximate solution by solving the subsampled optimization based on the surrogate. One main theoretical contributions are to provide the asymptotic properties of the approximate solution with respect to the exact solution as statistical guarantees, and to rigorously derive an accurate approximation of the mean squared error (MSE) and an approximately unbiased MSE estimator. These results help us better diagnose the subsampled optimization in the context that a confidence region on the exact solution is provided using the approximate solution. The other consequence of our results is to propose an optimal sampling method, Hessian-based sampling, whose probabilities are proportional to the norms of Newton directions. Numerical experiments with least-squares and logistic regression show promising performance, in line with our results.


title: Fast and scalable non-parametric Bayesian inference for Poisson point processes

abstract: We study the problem of non-parametric Bayesian estimation of the intensity function of a Poisson point process. The observations are $n$ independent realisations of a Poisson point process on the interval $[0,T]$. We propose two related approaches. In both approaches we model the intensity function as piecewise constant on $N$ bins forming a partition of the interval $[0,T]$. In the first approach the coefficients of the intensity function are assigned independent gamma priors, leading to a closed form posterior distribution. On the theoretical side, we prove that as $n\rightarrow\infty,$ the posterior asymptotically concentrates around the "true", data-generating intensity function at an optimal rate for $h$-H\"older regular intensity functions ($0 < h\leq 1$). In the second approach we employ a gamma Markov chain prior on the coefficients of the intensity function. The posterior distribution is no longer available in closed form, but inference can be performed using a straightforward version of the Gibbs sampler. Both approaches scale well with sample size, but the second is much less sensitive to the choice of $N$. Practical performance of our methods is first demonstrated via synthetic data examples. We compare our second method with other existing approaches on the UK coal mining disasters data. Furthermore, we apply it to the US mass shootings data and Donald Trump's Twitter data.


title: A Model of Sunspot Number with Modified Logistic Function

abstract: Solar cycles are studied with the Version 2 monthly smoothed international sunspot number, the variations of which are found to be well represented by the modified logistic differential equation with four parameters: maximum cumulative sunspot number or total sunspot number $x_m$, initial cumulative sunspot number $x_0$, maximum emergence rate $r_0$, and asymmetry $\alpha$. A two-parameter function is obtained by taking $\alpha$ and $r_0$ as fixed value. In addition, it is found that $x_m$ and $x_0$ can be well determined at the start of a cycle. Therefore, a prediction model of sunspot number is established based on the two-parameter function. The prediction for cycles $4-23$ shows that the solar maximum can be predicted with average relative error being 8.8\% and maximum relative error being 22\% in cycle 15 at the start of solar cycles if solar minima are already known. The quasi-online method for determining solar minimum moment shows that we can obtain the solar minimum 14 months after the start of a cycle. Besides, our model can predict the cycle length with the average relative error being 9.5\% and maximum relative error being 22\% in cycle 4. Furthermore, we predict the sunspot number variations of cycle 24 with the relative errors of the solar maximum and ascent time being 1.4\% and 12\%, respectively, and the predicted cycle length is 11.0 (95\% confidence interval is 8.3$-$12.9) years. The comparison to the observation of cycle 24 shows that our prediction model has good effectiveness.


title: On the Regimes in Millimeter wave Networks: Noise-limited or Interference-limited?

abstract: Given the overcrowding in the 300 MHz-3 GHz spectrum, millimeter wave (mmWave) spectrum is a promising candidate for the future generations of wireless networks. With the unique propagation characteristics at mmWave frequencies, one of the fundamental questions to address is whether mmWave networks are noise or interference-limited. The regime in which the network operates significantly impacts the MAC layer design, resource allocation procedure and also interference management techniques. In this paper, we first derive the statistical characteristic of the cumulative interference in finite-sized mmWave networks considering configuration randomness across spatial and spectral domains while including the effect of blockages. Subsequently, using the derived interference model we set up a likelihood ratio test (LRT) (that is dependent on various network parameters) in order to detect the regime of the network from an arbitrarily located user standpoint. Unlike traditional networks, in mmWave networks, different likelihood of experiencing an interference-limited regime can be observed at different locations.


title: Looking to Listen at the Cocktail Party: A Speaker-Independent Audio-Visual Model for Speech Separation

abstract: We present a joint audio-visual model for isolating a single speech signal from a mixture of sounds such as other speakers and background noise. Solving this task using only audio as input is extremely challenging and does not provide an association of the separated speech signals with speakers in the video. In this paper, we present a deep network-based model that incorporates both visual and auditory signals to solve this task. The visual features are used to "focus" the audio on desired speakers in a scene and to improve the speech separation quality. To train our joint audio-visual model, we introduce AVSpeech, a new dataset comprised of thousands of hours of video segments from the Web. We demonstrate the applicability of our method to classic speech separation tasks, as well as real-world scenarios involving heated interviews, noisy bars, and screaming children, only requiring the user to specify the face of the person in the video whose speech they want to isolate. Our method shows clear advantage over state-of-the-art audio-only speech separation in cases of mixed speech. In addition, our model, which is speaker-independent (trained once, applicable to any speaker), produces better results than recent audio-visual speech separation methods that are speaker-dependent (require training a separate model for each speaker of interest).


title: Potential tests of the Generalized Uncertainty Principle in the advanced LIGO experiment

abstract: The generalized uncertainty principle and a minimum measurable length arise in various theories of gravity and predict Planck-scale modifications of the canonical position-momentum commutation relation. Postulating a similar modified commutator between the canonical variables of the electromagnetic field in quantum optics, we compute Planck-scale corrections to the radiation pressure noise and shot noise of Michelson-Morley interferometers, with particular attention to gravity wave detectors such as LIGO. We show that advanced LIGO is potentially sensitive enough to observe Planck-scale effects and thereby indirectly a minimal length. We also propose estimates for the bounds on quantum gravity parameters from current and future advanced LIGO experiments.


title: Highly-tunable efficient second-harmonic generation in a lithium niobate nanophotonic waveguide

abstract: Highly-tunable coherent light generation is crucial for many important photonic applications. Second-harmonic generation (SHG) is a dominant approach for this purpose, which, however, exhibits a trade-off between the conversion efficiency and the wavelength tunability in a conventional nonlinear platform. Recent development of the integrated lithium niobate (LN) technology makes it possible to achieve a large wavelength tuning while maintaining a high conversion efficiency. Here we report on-chip SHG that simultaneously achieves a large tunability and a high conversion efficiency inside a single device. We utilize the unique strong thermo-optic birefringence of LN to achieve flexible temperature tuning of type-I inter-modal phase matching. We experimentally demonstrate spectral tuning with a tuning slope of 0.84 nm/K for a telecom-band pump, and a nonlinear conversion efficiency of 4.7% W$^{-1}$, in a LN nanophotonic waveguide only 8~mm long. Our device shows great promise for efficient on-chip wavelength conversion to produce highly-tunable coherent visible light for broad applications, while taking advantage of the mature and cost-effective telecom laser technology.


title: Small time asymptotics of spectral heat contents for subordinate killed Brownian motions related to isotropic {\alpha}-stable processes

abstract: In this paper we study the small time asymptotic behavior of the spectral heat content $\widetilde{Q}_D^{(\alpha)}(t)$ of an arbitrary bounded $C^{1,1}$ domain $D$ with respect to the \textit{subordinate killed Brownian motion} in $D$ via an $(\alpha/2)$-stable subordinator. For all $\alpha\in (0,2)$, we establish a two-term small time expansion for $\widetilde{Q}_D^{(\alpha)}(t)$ in all dimensions. When $\alpha\in (1,2)$ and $d\geq 2$, we establish a three-term small time expansion for $\widetilde{Q}_D^{(\alpha)}(t)$.


title: Classifying affine line bundles on a compact complex space

abstract: The classification of affine line bundles on a compact complex space $X$ is a difficult problem. We study the affine analogue of the Picard functor and the representability problem for this functor. For a fixed Chern class $c$, we introduce the affine Picard functor $Picaff_{X,x_0}^c:An^{op}\to Set$ which assigns to a complex space $T$ the set of families of linearly $x_0$-framed affine line bundles on $X$ with Chern class $c$ parameterized by $T$. Our main result states that this functor is representable if and only if the map $h^0:Pic^c(X)\to\mathbb{N}$ is constant. If this is the case, the space which represents this functor is a linear space over $Pic^c(X)$ whose underlying set is $\coprod_{l\in Pic^c(X)} H^1(\mathcal{L}_{\{l\}\times X})$, where $\mathcal{L}$ is a Poincar\'e line bundle normalized at $x_0$. The main idea idea of the proof is to compare the representability of our functor to the representability of a functor considered by Bingener related to the deformation theory of $p$-cohomology classes. Our arguments show in particular that, for $p=1$, the converse of Bingener's representability criterion holds.


title: Theoretical prediction of thermal polarisation

abstract: We present a mean-field theory to explain the thermo-orientation effect in an off-centre Stockmayer fluid. This effect is the underlying cause of thermally induced polarisation and thermally induced monopoles, which have recently been predicted theoretically. Unlike previous theories that are based either on phenomenological equations or on scaling arguments, our approach does not require any fitting parameters. Given an equation of state and assuming local equilibrium, we construct an effective Hamiltonian for the computation of local Boltzmann averages. This simple theoretical treatment predicts molecular orientations that are in very good agreement with simulation results for the range of dipole strengths investigated. By decomposing the overall alignment into contributions from the temperature and density gradients, we shed further light on how the non-equilibrium result arises from the competition between the two gradients.


title: Coupling a superconducting quantum circuit to a phononic crystal defect cavity

abstract: Connecting nanoscale mechanical resonators to microwave quantum circuits opens new avenues for storing, processing, and transmitting quantum information. In this work, we couple a phononic crystal cavity to a tunable superconducting quantum circuit. By fabricating a one-dimensional periodic pattern in a thin film of lithium niobate and introducing a defect in this artificial lattice, we localize a 6 gigahertz acoustic resonance to a wavelength-scale volume of less than one cubic micron. The strong piezoelectricity of lithium niobate efficiently couples the localized vibrations to the electric field of a widely tunable high-impedance Josephson junction array resonator. We measure a direct phonon-photon coupling rate $g/2\pi \approx 1.6 \, \mathrm{MHz}$ and a mechanical quality factor $Q_\mathrm{m} \approx 3 \times 10^4$ leading to a cooperativity $C\sim 4$ when the two modes are tuned into resonance. Our work has direct application to engineering hybrid quantum systems for microwave-to-optical conversion as well as emerging architectures for quantum information processing.


title: Eigenstates Transition Without Undergoing an Adiabatic Process

abstract: We introduce a class of non-Hermitian Hamiltonians that offers a dynamical approach to short-cut to adiabaticity (DASA). In particular, in our proposed 2 * 2 Hamiltonians, one eigenvalue is absolutely real and the other one is complex. This specific form of the eigenvalues helps us to exponentially decay the population in an undesired eigenfunction or amplify the population in the desired state while keeping the probability amplitude in the other eigenfunction conserved. This provides us with a powerful method to have a diabatic process with the same outcome as its corresponding adiabatic process. In contrast to standard shortcuts to adiabaticity, our Hamiltonians have a much simpler form with a lower thermodynamic cost. Furthermore, we show that DASA can be extended to higher dimensions using the parameters associated with our 2 * 2 Hamiltonians. Our proposed Hamiltonians not only have application in DASA but also can be used for tunable mode selection and filtering in acoustics, electronics, and optics.


title: On the stability of Approximate Taylor methods for ODE and their relationship with Runge-Kutta schemes

abstract: In [Baeza et al., Computers and Fluids, 159, 156--166 (2017)] a new method for the numerical solution of ODEs is presented. This methods can be regarded as an approximate formulation of the Taylor methods and it follows an approach that has a much easier implementation than the original Taylor methods, since only the functions in the ODEs, and not their high order derivatives, are needed. In this reference, the absolute stability region of the new methods is conjectured to be coincident with that of their exact counterparts. There is also a conjecture about their relationship with Runge-Kutta methods. In this work we answer positively both conjectures.


title: WFIRST Science Investigation Team "Cosmology with the High Latitude Survey" Annual Report 2017

abstract: Cosmic acceleration is the most surprising cosmological discovery in many decades. Testing and distinguishing among possible explanations requires cosmological measurements of extremely high precision probing the full history of cosmic expansion and structure growth and, ideally, compare and contrast matter and relativistic tracers of the gravity potential. This program is one of the defining objectives of the Wide-Field Infrared Survey Telescope (WFIRST), as set forth in the New Worlds, New Horizons report (NWNH) in 2010. The WFIRST mission has the ability to improve these measurements by 1-2 orders of magnitude compared to the current state of the art, while simultaneously extending their redshift grasp, greatly improving control of systematic effects, and taking a unified approach to multiple probes that provide complementary physical information and cross-checks of cosmological results. We describe in this annual report the activities of the Science Investigation Team (SIT) "Cosmology with the High Latitude Survey (HLS)" during the year 2017. This team was selected by NASA in December 2015 in order to address the stringent challenges of the WFIRST dark energy (DE) program through the Project's formulation phase. This SIT has elected to jointly address Galaxy Redshift Survey, Weak Lensing and Cluster Growth and thus fully embrace the fact that the imaging and spectroscopic elements of the HLS will be realized as an integrated observing program, and they jointly impose requirements on performance and operations. WFIRST is designed to be able to deliver a definitive result on the origin of cosmic acceleration. It is not optimized for Figure of Merit sensitivity but for control of systematic uncertainties and for having multiple techniques each with multiple cross-checks. Our SIT work focuses on understanding the potential systematics in the WFIRST DE measurements.


title: Probabilistic Prediction of Vehicle Semantic Intention and Motion

abstract: Accurately predicting the possible behaviors of traffic participants is an essential capability for future autonomous vehicles. The majority of current researches fix the number of driving intentions by considering only a specific scenario. However, distinct driving environments usually contain various possible driving maneuvers. Therefore, a intention prediction method that can adapt to different traffic scenarios is needed. To further improve the overall vehicle prediction performance, motion information is usually incorporated with classified intentions. As suggested in some literature, the methods that directly predict possible goal locations can achieve better performance for long-term motion prediction than other approaches due to their automatic incorporation of environment constraints. Moreover, by obtaining the temporal information of the predicted destinations, the optimal trajectories for predicted vehicles as well as the desirable path for ego autonomous vehicle could be easily generated. In this paper, we propose a Semantic-based Intention and Motion Prediction (SIMP) method, which can be adapted to any driving scenarios by using semantic-defined vehicle behaviors. It utilizes a probabilistic framework based on deep neural network to estimate the intentions, final locations, and the corresponding time information for surrounding vehicles. An exemplar real-world scenario was used to implement and examine the proposed method.


title: Enumeration of alternating sign triangles using a constant term approach

abstract: Alternating sign triangles (ASTs) have recently been introduced by Ayyer, Behrend and the author, and it was proven that there is the same number of ASTs with n rows as there is of nxn alternating sign matrices (ASMs). We prove a conjecture by Behrend on a refined enumeration of ASTs with respect to a statistic that is shown to have the same distribution as the column of the unique 1 in the top row of an ASM. The proof of the conjecture is based on a certain multivariate generating function of ASTs that takes the positions of the columns with sum 1 (1-columns) into account. We also prove a curious identity on the cyclic rotation of the 1-columns of ASTs. Furthermore, we discuss a relation of our multivariate generating function to a formula of Di Francesco and Zinn-Justin for the number of fully packed loop configurations associated with a given link pattern. The proofs of our results employ the author's operator formula for the number of monotone triangles with prescribed bottom row. This is opposed to the six-vertex model approach that was used by Ayyer, Behrend and the author to enumerate ASTs, and since the refined enumeration implies the unrefined enumeration, the present paper also provides an alternative proof of the enumeration of ASTs.


title: Super-radiant emission from quantum dots in a nanophotonic waveguide

abstract: Future scalable photonic quantum information processing relies on the ability of integrating multiple interacting quantum emitters into a single chip. Quantum dots provide ideal on-chip quantum light sources. However, achieving quantum interaction between multiple quantum dots on-a-chip is a challenging task due to the randomness in their frequency and position, requiring local tuning technique and long-range quantum interaction. Here, we demonstrate quantum interactions between distant two quantum dots on a nanophotonic waveguide. We achieve a photon-mediated long-range interaction by integrating the quantum dots to the same optical mode of a nanophotonic waveguide and overcome spectral mismatch by incorporating on-chip thermal tuners. We observe their quantum interactions of the form of super-radiant emission, where the two dots collectively emit faster than each dot individually. Creating super-radiant emission from integrated quantum emitters could enable compact chip-integrated photonic structures that exhibit long-range quantum interactions. Therefore, these results represent a major step towards establishing photonic quantum information processors composed of multiple interacting quantum emitters on a semiconductor chip.


title: Weight zero part of the first cohomology of complex algebraic varieties

abstract: We show that the weight 0 part of the first cohomology of a complex algebraic variety $X$ is a topological invariant, and give an explicit description of its dimension using a topological construction of the normalization of $X$, where $X$ can be reducible, but must be equidimensional. The first assertion is known in the $X$ compact case by A. Weber, where intersection cohomology is used. Note that the weight 1 or 2 part of the first cohomology is not a topological (or even analytic) invariant in the non-compact case by Serre's example.


title: Inflationary Universe in Deformed Phase Space Scenario

abstract: We consider a noncommutative (NC) inflationary model with a homogeneous scalar field minimally coupled to gravity. The particular NC inflationary setting produces entirely new consequences. We first analyze the free field case and subsequently examine the situation where the scalar field is subjected to a polynomial and exponential potentials. We propose to use a canonical deformation between momenta, in a spatially flat FLRW universe, and while the Friedmann equation remains unaffected the Friedmann acceleration equation (and thus the Klein-Gordon equation) is modified by an extra term linear in the NC parameter. This concrete noncommutativity on the momenta allows interesting dynamics that other NC models seem not to allow. Let us be more precise. This extra term behaves as the sole explicit pressure that under the right circumstances implies a period of accelerated expansion of the universe. We find that in the absence of the scalar field potential, and in contrast with the commutative case, in which the scale factor always decelerates, we obtain an inflationary phase for small negative values of the NC parameter. Subsequently, the period of accelerated expansion is smoothly replaced by an appropriate deceleration phase providing an interesting model regarding the graceful exit problem in inflationary models. Moreover, in the case of the free scalar field, we show that not only the horizon problem is solved but also there is some resemblance between the evolution equation of the scale factor associated to our model and that for the $R^2$ (Starobinsky) inflationary model. Therefore, our herein NC model not only can be taken as an appropriate scenario to get a successful kinetic inflation, but also is a convenient setting to obtain inflationary universe possessing the graceful exit when scalar field potentials are present.


title: Path-integral representation of diluted pedestrian dynamics

abstract: We frame the issue of pedestrian dynamics modeling in terms of path-integrals, a formalism originally introduced in quantum mechanics to account for the behavior of quantum particles, later extended to quantum field theories and to statistical physics. Path-integration enables a trajectory-centric representation of the pedestrian motion, directly providing the probability of observing a given trajectory. This appears as the most natural language to describe the statistical properties of pedestrian dynamics in generic settings. In a given venue, individual trajectories can belong to many possible usage patterns and, within each of them, they can display wide variability. We provide first a primer on path-integration, and we introduce and discuss the path-integral functional probability measure for pedestrian dynamics in the diluted limit. As an illustrative example, we connect the path-integral description to a Langevin model that we developed previously for a particular crowd flow condition (the flow in a narrow corridor). Building on our previous real-life measurements, we provide a quantitatively correct path-integral representation for this condition. Finally, we show how the path-integral formalism can be used to evaluate the probability of rare-events (in the case of the corridor, U-turns).


title: Semantic embeddings for program behavior patterns

abstract: In this paper, we propose a new feature extraction technique for program execution logs. First, we automatically extract complex patterns from a program's behavior graph. Then, we embed these patterns into a continuous space by training an autoencoder. We evaluate the proposed features on a real-world malicious software detection task. We also find that the embedding space captures interpretable structures in the space of pattern parts.


title: Testing Identity of Multidimensional Histograms

abstract: We investigate the problem of identity testing for multidimensional histogram distributions. A distribution $p: D \rightarrow \mathbb{R}_+$, where $D \subseteq \mathbb{R}^d$, is called a $k$-histogram if there exists a partition of the domain into $k$ axis-aligned rectangles such that $p$ is constant within each such rectangle. Histograms are one of the most fundamental nonparametric families of distributions and have been extensively studied in computer science and statistics. We give the first identity tester for this problem with {\em sub-learning} sample complexity in any fixed dimension and a nearly-matching sample complexity lower bound. In more detail, let $q$ be an unknown $d$-dimensional $k$-histogram distribution in fixed dimension $d$, and $p$ be an explicitly given $d$-dimensional $k$-histogram. We want to correctly distinguish, with probability at least $2/3$, between the case that $p = q$ versus $\|p-q\|_1 \geq \epsilon$. We design an algorithm for this hypothesis testing problem with sample complexity $O((\sqrt{k}/\epsilon^2) 2^{d/2} \log^{2.5 d}(k/\epsilon))$ that runs in sample-polynomial time. Our algorithm is robust to model misspecification, i.e., succeeds even if $q$ is only promised to be {\em close} to a $k$-histogram. Moreover, for $k = 2^{\Omega(d)}$, we show a sample complexity lower bound of $(\sqrt{k}/\epsilon^2) \cdot \Omega(\log(k)/d)^{d-1}$ when $d\geq 2$. That is, for any fixed dimension $d$, our upper and lower bounds are nearly matching. Prior to our work, the sample complexity of the $d=1$ case was well-understood, but no algorithm with sub-learning sample complexity was known, even for $d=2$. Our new upper and lower bounds have interesting conceptual implications regarding the relation between learning and testing in this setting.

categories: cs.DS cs.IT cs.LG math.IT math.ST stat.TH


title: Model-Free Conditional Feature Screening with Exposure Variables

abstract: In high dimensional analysis, effects of explanatory variables on responses sometimes rely on certain exposure variables, such as time or environmental factors. In this paper, to characterize the importance of each predictor, we utilize its conditional correlation given exposure variables with the empirical distribution function of response. A model-free conditional screening method is subsequently advocated based on this idea, aiming to identify significant predictors whose effects may vary with the exposure variables. The proposed screening procedure is applicable to any model form, including that with heteroscedasticity where the variance component may also vary with exposure variables. It is also robust to extreme values or outlier. Under some mild conditions, we establish the desirable sure screening and the ranking consistency properties of the screening method. The finite sample performances are illustrated by simulation studies and an application to the breast cancer dataset.


title: Effective two-dimensional model for granular matter with phase separation

abstract: Granular systems confined in vertically vibrated shallow horizontal boxes (quasi two-dimensional geometry) present a liquid to solid phase transition when the frequency of the periodic forcing is increased. An effective model, where grains move and collide in two-dimensions is presented, which reproduces the aforementioned phase transition. The key element is that besides the two-dimensional degrees of freedom, each grain has an additional variable $\epsilon$ that accounts for the kinetic energy stored in the vertical motion in the real quasi two-dimensional motion. This energy grows monotonically during free flight, mimicking the energy gain by collisions with the vibrating walls and, at collisions, this energy is instantaneously transferred to the horizontal degrees of freedom. As a result, the average values of $\epsilon$ and the kinetic temperature are decreasing functions of the local density, giving rise to an effective pressure that can present van der Waals loops. A kinetic theory approach predicts the conditions that must satisfy the energy grow function to obtain the phase separation, which are verified with molecular dynamics simulations. Notably, the effective equation of state and the critical points computed considering the velocity--time-of-flight correlations differ only slightly from those obtained by simple kinetic theory calculations that neglect those correlations.


title: Phosphorus oxide gate dielectric for black phosphorus field effect transistors

abstract: The environmental stability of the layered semiconductor black phosphorus (bP) remains a challenge. Passivation of the bP surface with phosphorus oxide, POx, grown by a reactive ion etch with oxygen plasma is known to improve photoluminescence efficiency of exfoliated bP flakes. We apply phosphorus oxide passivation in the fabrication of bP field effect transistors using a gate stack consisting of a POx layer grown by reactive ion etching followed by atomic layer deposition of Al2O3. We observe room temperature top-gate mobilities of 115 cm2/Vs in ambient conditions, which we attribute to the low defect density of the bP/POx interface.


title: J-PLUS: On the identification of new cluster members in the double galaxy cluster A2589 & A2593 using PDFs

abstract: We aim to use multi-band imaging from the Phase-3 Verification Data of the J-PLUS survey to derive accurate photometric redshifts (photo-z) and look for potential new members in the surroundings of the nearby galaxy clusters A2589 (z=0.0414) & A2593 (z=0.0440), using redshift probability distribution functions. The ultimate goal is to demonstrate the usefulness of a 12-band filter system in the study of large-scale structure in the local universe. We present an optimized pipeline for the estimation of photo-z in clusters of galaxies. We tested our photo-z with a sample of 296 spectroscopically confirmed cluster members with a magnitude of <r>= 16.6 and redshift <z>=0.041. The combination of seven narrow and five broadband filters with a typical photometric-depth of r<21.5 provides dz/(1+z)=0.01 photo-z estimates. A precision of dz/(1+z)=0.005 is obtained for the 177 galaxies brighter than magnitude r<17. To foresee the precision beyond the spectroscopic sample, we designed a set of simulations in which real cluster galaxies are modeled and reinjected inside the images at different signal-to-noise. A precision of dz/(1+z)=0.02 and dz/(1+z)=0.03 is expected at <r>= 18-22, respectively. Complementarily, we used SDSS/DR12 data to derive photo-z estimates for the same galaxy sample, demonstrating that the wavelength-resolution of the J-PLUS can double the precision achieved by SDSS for galaxies with a high S/N. We find as much as 170 new candidates across the entire field. The spatial distribution of these galaxies may suggest an overlap between the systems with no evidence of a clear filamentary structure connecting the clusters. These preliminary results show the potential of J-PLUS data to revisit membership of groups and clusters from nearby galaxies, important for the determination of luminosity and mass functions and environmental studies at the intermediate and low-mass regime.


title: Audio-Visual Scene Analysis with Self-Supervised Multisensory Features

abstract: The thud of a bouncing ball, the onset of speech as lips open -- when visual and audio events occur together, it suggests that there might be a common, underlying event that produced both signals. In this paper, we argue that the visual and audio components of a video signal should be modeled jointly using a fused multisensory representation. We propose to learn such a representation in a self-supervised way, by training a neural network to predict whether video frames and audio are temporally aligned. We use this learned representation for three applications: (a) sound source localization, i.e. visualizing the source of sound in a video; (b) audio-visual action recognition; and (c) on/off-screen audio source separation, e.g. removing the off-screen translator's voice from a foreign official's speech. Code, models, and video results are available on our webpage: http://andrewowens.com/multisensory


title: The period-index problem for real surfaces

abstract: We study when the period and the index of a class in the Brauer group of the function field of a real algebraic surface coincide. We prove that it is always the case if the surface has no real points (more generally, if the class vanishes in restriction to the real points of the locus where it is well-defined), and give a necessary and sufficient condition for unramified classes. As an application, we show that the u-invariant of the function field of a real algebraic surface is equal to 4, answering questions of Lang and Pfister. Our strategy relies on a new Hodge-theoretic approach to de Jong's period-index theorem on complex surfaces.


title: Monotonic models for real-time dynamic malware detection

abstract: In dynamic malware analysis, programs are classified as malware or benign based on their execution logs. We propose a concept of applying monotonic classification models to the analysis process, to make the trained model's predictions consistent over execution time and provably stable to the injection of any noise or `benign-looking' activity into the program's behavior. The predictions of such models change monotonically through the log in the sense that the addition of new lines into the log may only increase the probability of the file being found malicious, which make them suitable for real-time classification on a user's machine. We evaluate monotonic neural network models based on the work by Chistyakovet al. (2017) and demonstrate that they provide stable and interpretable results.


title: Approximating Operator Norms via Generalized Krivine Rounding

abstract: We consider the $(\ell_p,\ell_r)$-Grothendieck problem, which seeks to maximize the bilinear form $y^T A x$ for an input matrix $A$ over vectors $x,y$ with $\|x\|_p=\|y\|_r=1$. The problem is equivalent to computing the $p \to r^*$ operator norm of $A$. The case $p=r=\infty$ corresponds to the classical Grothendieck problem. Our main result is an algorithm for arbitrary $p,r \ge 2$ with approximation ratio $(1+\epsilon_0)/(\sinh^{-1}(1)\cdot \gamma_{p^*} \,\gamma_{r^*})$ for some fixed $\epsilon_0 \le 0.00863$. Comparing this with Krivine's approximation ratio of $(\pi/2)/\sinh^{-1}(1)$ for the original Grothendieck problem, our guarantee is off from the best known hardness factor of $(\gamma_{p^*} \gamma_{r^*})^{-1}$ for the problem by a factor similar to Krivine's defect. Our approximation follows by bounding the value of the natural vector relaxation for the problem which is convex when $p,r \ge 2$. We give a generalization of random hyperplane rounding and relate the performance of this rounding to certain hypergeometric functions, which prescribe necessary transformations to the vector solution before the rounding is applied. Unlike Krivine's Rounding where the relevant hypergeometric function was $\arcsin$, we have to study a family of hypergeometric functions. The bulk of our technical work then involves methods from complex analysis to gain detailed information about the Taylor series coefficients of the inverses of these hypergeometric functions, which then dictate our approximation factor. Our result also implies improved bounds for "factorization through $\ell_{2}^{\,n}$" of operators from $\ell_{p}^{\,n}$ to $\ell_{q}^{\,m}$ (when $p\geq 2 \geq q$)--- such bounds are of significant interest in functional analysis and our work provides modest supplementary evidence for an intriguing parallel between factorizability, and constant-factor approximability.


title: Hecke correspondences for smooth moduli spaces of sheaves

abstract: We define functors on the derived category of the moduli space M of stable sheaves on a smooth projective surface (under Assumptions A and S below), and prove that these functors satisfy certain relations. These relations allow us to prove that the given functors induce an action of the elliptic Hall algebra on the K-theory of the moduli space M, thus generalizing the action studied by Nakajima, Grojnowski and Baranovsky in cohomology.


title: Short proof of two cases of Chv\'atal's conjecture

abstract: In 1974 Chv\'atal conjectured that no intersecting family $\mathcal{F}$ in a downset can be larger than the largest star. In the same year Kleitman and Magnanti proved the conjecture when $\mathcal{F}$ is contained in the union of two stars, and Sterboul when $\operatorname{rank}(\mathcal{F})\le 3$. We give short self-contained proofs of these two statements.


title: Counterexamples for Cohen-Macaulayness of Lattice Ideals

abstract: Let $\mathscr{L}\subset \mathbb{Z}^n$ be a lattice, $I$ its corresponding lattice ideal, and $J$ the toric ideal arising from the saturation of $\mathscr{L}$. We produce infinitely many examples, in every codimension, of pairs $I,J$ where one of these ideals is Cohen--Macaulay but the other is not.


title: DeepMarks: A Digital Fingerprinting Framework for Deep Neural Networks

abstract: This paper proposes DeepMarks, a novel end-to-end framework for systematic fingerprinting in the context of Deep Learning (DL). Remarkable progress has been made in the area of deep learning. Sharing the trained DL models has become a trend that is ubiquitous in various fields ranging from biomedical diagnosis to stock prediction. As the availability and popularity of pre-trained models are increasing, it is critical to protect the Intellectual Property (IP) of the model owner. DeepMarks introduces the first fingerprinting methodology that enables the model owner to embed unique fingerprints within the parameters (weights) of her model and later identify undesired usages of her distributed models. The proposed framework embeds the fingerprints in the Probability Density Function (pdf) of trainable weights by leveraging the extra capacity available in contemporary DL models. DeepMarks is robust against fingerprints collusion as well as network transformation attacks, including model compression and model fine-tuning. Extensive proof-of-concept evaluations on MNIST and CIFAR10 datasets, as well as a wide variety of deep neural networks architectures such as Wide Residual Networks (WRNs) and Convolutional Neural Networks (CNNs), corroborate the effectiveness and robustness of DeepMarks framework.


title: Cosmic acceleration in non-flat $f(T)$ cosmology

abstract: We study $f(T)$ cosmological models inserting a non-vanishing spatial curvature and discuss its consequences on cosmological dynamics. To figure this out, a polynomial $f(T)$ model and a double torsion model are considered. We first analyze those models with cosmic data, employing the recent surveys of Union 2.1, baryonic acoustic oscillation and cosmic microwave background measurements. We then emphasize that the two popular $f(T)$ models enable the crossing of the phantom divide line due to dark torsion. Afterwards, we compute numerical bounds up to 3-$\sigma$ confidence level, emphasizing the fact that $\Omega_{k0}$ turns out to be non-compatible with zero at least at 1$\sigma$. Moreover, we underline that, even increasing the accuracy, one cannot remove the degeneracy between our models and the $\Lambda$CDM paradigm. So that, we show that our treatments contain the concordance paradigm and we analyze the equation of state behaviors at different redshift domains. We also take into account gamma ray bursts and we describe the evolution of both the $f(T)$ models with high redshift data. We calibrate the gamma ray burst measurements through small redshift surveys of data and we thus compare the main differences between non-flat and flat $f(T)$ cosmology at different redshift ranges. We finally match the corresponding outcomes with small redshift bounds provided by cosmography. To do so, we analyze the deceleration parameters and their variations, proportional to the jerk term. Even though the two models well fit late-time data, we notice that the polynomial $f(T)$ approach provides an effective de-Sitter phase, whereas the second $f(T)$ framework shows analogous results compared with the $\Lambda$CDM predictions.


title: POR for Security Protocol Equivalences: Beyond Action-Determinism

abstract: Formal methods have proved effective to automatically analyze protocols. Over the past years, much research has focused on verifying trace equivalence on protocols, which is notably used to model many interesting privacy properties, e.g., anonymity or unlinkability. Many tools for checking trace equivalence rely on a naive and expensive exploration of all interleavings of concurrent actions, which calls for partial-order reduction (POR) techniques. In this paper, we present the first POR technique for protocol equivalences that does not rely on an action-determinism assumption: we recast the trace equivalence problem as a reachability problem, to which persistent and sleep set techniques can be applied, and we show how to effectively apply these results in the context of symbolic executions. We report on a prototype implementation, improving the tool DeepSec.