title: The interrelation of the special double confluent Heun equation and the equation of RSJ model of Josephson junction revisited

abstract: The explicit formulas for the maps interconnecting the sets of solutions of the special double confluent Heun equation and the equation of the RSJ model of overdamped Josephson junction in case of shifted sinusoidal bias are given. The approach these are based upon leans on the extensive application of eigenfunctions of certain linear operator acting on functions holomorphic on the universal cover of the punctured complex plane. The functional equation the eigenfunctions noted obey is derived, the matrix form of the monodromy transformation they infer is given.


title: On a question of Dixon and Rahnamai Barghi

abstract: Let $ G $ be a finite non-solvable group with a primitive irreducible character $ \chi $ that vanishes on one conjugacy class. We show that $ G $ has a homomorphic image that is either almost simple or a Frobenius group. We also classify such groups $ G $ with a composition factor isomorphic to a sporadic group, an alternating group $ \rm{A}_{n} $, $ n\geq 5 $ or $ \rm{PSL}_{2}(q) $, where $ q\geq 4 $ is a prime power, when $ \chi $ is faithful. Our results partially answer a question of Dixon and Rahnamai Barghi.


title: Enhanced lifetimes of spin chains coupled to chiral edge states

abstract: We consider spin relaxation of finite-size spin chains exchanged coupled with a one dimensional (1D) electron gas at the edge of a Quantum Spin Hall (QSH) insulator. Spin lifetimes can be enhanced due to two independent mechanisms. First, the suppression of spin-flip forward scattering inherent in the spin momentum locking of the QSH edges. Second, the reduction of spin-flip backward scattering due to destructive interference of the quasiparticle exchange, modulated by $k_F d$, where $d$ is the inter-spin distance and $k_F$ is the Fermi wavenumber of the electron gas. We show that the spin lifetime of the $S=1/2$ ground state of odd-numbered chains of antiferromagnetically (AFM) coupled $S=1/2$ spins can be increased more than 4 orders of magnitude by properly tuning the product $k_Fd$ and the spin size $N$, in strong contrast with the 1D case. Possible physical realizations together with some potential issues are also discussed.


title: Science Hackathons for Cyberphysical System Security Research: Putting CPS testbed platforms to good use

abstract: A challenge is to develop cyber-physical system scenarios that reflect the diversity and complexity of real-life cyber-physical systems in the research questions that they address. Time-bounded collaborative events, such as hackathons, jams and sprints, are increasingly used as a means of bringing groups of individuals together, in order to explore challenges and develop solutions. This paper describes our experiences, using a science hackathon to bring individual researchers together, in order to develop a common use-case implemented on a shared CPS testbed platform that embodies the diversity in their own security research questions. A qualitative study of the event was conducted, in order to evaluate the success of the process, with a view to improving future similar events.


title: Quantum computational finance: quantum algorithm for portfolio optimization

abstract: We present a quantum algorithm for portfolio optimization. We discuss the market data input, the processing of such data via quantum operations, and the output of financially relevant results. Given quantum access to the historical record of returns, the algorithm determines the optimal risk-return tradeoff curve and allows one to sample from the optimal portfolio. The algorithm can in principle attain a run time of ${\rm poly}(\log(N))$, where $N$ is the size of the historical return dataset. Direct classical algorithms for determining the risk-return curve and other properties of the optimal portfolio take time ${\rm poly}(N)$ and we discuss potential quantum speedups in light of the recent works on efficient classical sampling approaches.


title: ALMA detections of the youngest protostars in Ophiuchus

abstract: We present Atacama Large Millimeter/submillimeter Array (ALMA) observations of 1.1 mm dust continuum and CO 2-1 emission toward six dense cores within the Ophiuchus molecular cloud. We detect compact, sub-arcsecond continuum structures toward three targets, two of which (Oph A N6 and SM1) are located in the Ophiuchus A ridge. Two targets, SM1 and GSS 30, contain two compact sources within the ALMA primary beam. We argue that several of the compact structures are small ($R \lesssim 80$ au) accretion disks around young protostars, due to their resolved, elongated structures, coincident radio and x-ray detections, or bipolar outflow detections. While CO line wings extend to $\pm 10-20$ km s$^{-1}$ for the more evolved sources GSS 30 IRS3 and IRS1, CO emission toward other sources, where detected, only extends a few km s$^{-1}$ from the cloud $v_\mathrm{LSR}$. The dust spectral index toward the compact objects suggests that the disks are either optically thick at 1.1 mm, or that significant grain growth has already occurred. We identify, for the first time, a single compact continuum source ($R \sim 100$ au) toward N6 embedded within a larger continuum structure. SM1N is extended in the continuum but is highly centrally concentrated, with a density profile that follows a $r^{-1.3}$ power law within 200 au, and additional structure suggested by the uv-data. Both N6 and SM1N show no clear bipolar outflows with velocities greater than a few km s$^{-1}$ from the cloud velocity. These sources are candidates to be the youngest protostars or first hydrostatic cores in the Ophiuchus molecular cloud.


title: Quantitative phase and polarisation endoscopy applied to detection of early oesophageal tumourigenesis

abstract: Phase and polarisation of coherent light are highly perturbed by interaction with microstructural changes in pre-malignant tissue, holding promise for label-free early cancer detection in endoscopically accessible tissues such as the gastrointestinal tract. Flexible optical fibres used in conventional diagnostic endoscopy scramble phase and polarisation, restricting clinicians instead to low-contrast amplitude-only imaging. Here, we unscramble phase and polarisation images by exploiting the near-diagonal multi-core fibre (MCF) transmission matrix to create a novel parallelised fibre characterisation architecture, scalable to arbitrary MCFs without additional experimental overhead. Our flexible MCF holographic endoscope produces full-field en-face images of amplitude, quantitative phase and resolved polarimetric properties using a low-cost laser diode and camera. We demonstrate that recovered phase enables computational re-focusing at working distances up to 1mm over a field-of-view up to 750$\times$750 $\mu m^2$. Furthermore, we demonstrate that the spatial distribution of phase and polarisation information enables label-free visualisation of early tumours in oesophageal mouse issue that are not identifiable using conventional amplitude-only information, a milestone towards future application for early cancer detection in endoscopy.


title: From the liquid drop model to lattice QCD

abstract: The present article aims to give a concise account of the main developments in nuclear structure theory, from its origin in the 1930s to date, taking the modelling of inter-nucleon interactions as guideline.


title: Controlled integration of selected detectors and emitters in photonic integrated circuits

abstract: Integration of superconducting nanowire single photon detectors and quantum sources with photonic waveguides is crucial for realizing advanced quantum integrated circuits. However, scalability is hindered by stringent requirements on high performance detectors. Here we overcome the yield limitation by controlled coupling of photonic channels to pre-selected detectors based on measuring critical current, timing resolution, and detection efficiency. As a proof of concept of our approach, we demonstrate a hybrid on-chip full-transceiver consisting of a deterministically integrated detector coupled to a selected nanowire quantum dot through a filtering circuit made of a silicon nitride waveguide and a ring resonator filter, delivering 100 dB suppression of the excitation laser. In addition, we perform extensive testing of the detectors before and after integration in the photonic circuit and show that the high performance of the superconducting nanowire detectors, including timing jitter down to 23 $\pm$ 3 ps, is maintained. Our approach is fully compatible with wafer level automated testing in a cleanroom environment.


title: A Methodology for Automatic Selection of Activation Functions to Design Hybrid Deep Neural Networks

abstract: Activation functions influence behavior and performance of DNNs. Nonlinear activation functions, like Rectified Linear Units (ReLU), Exponential Linear Units (ELU) and Scaled Exponential Linear Units (SELU), outperform the linear counterparts. However, selecting an appropriate activation function is a challenging problem, as it affects the accuracy and the complexity of the given DNN. In this paper, we propose a novel methodology to automatically select the best-possible activation function for each layer of a given DNN, such that the overall DNN accuracy, compared to considering only one type of activation function for the whole DNN, is improved. However, an associated scientific challenge in exploring all the different configurations of activation functions would be time and resource-consuming. Towards this, our methodology identifies the Evaluation Points during learning to evaluate the accuracy in an intermediate step of training and to perform early termination by checking the accuracy gradient of the learning curve. This helps in significantly reducing the exploration time during training. Moreover, our methodology selects, for each layer, the dropout rate that optimizes the accuracy. Experiments show that we are able to achieve on average 7% to 15% Relative Error Reduction on MNIST, CIFAR-10 and CIFAR-100 benchmarks, with limited performance and power penalty on GPUs.


title: Ultra-Reliable Low-Latency Vehicular Networks: Taming the Age of Information Tail

abstract: While the notion of age of information (AoI) has recently emerged as an important concept for analyzing ultra-reliable low-latency communications (URLLC), the majority of the existing works have focused on the average AoI measure. However, an average AoI based design falls short in properly characterizing the performance of URLLC systems as it cannot account for extreme events that occur with very low probabilities. In contrast, in this paper, the main objective is to go beyond the traditional notion of average AoI by characterizing and optimizing a URLLC system while capturing the AoI tail distribution. In particular, the problem of vehicles' power minimization while ensuring stringent latency and reliability constraints in terms of probabilistic AoI is studied. To this end, a novel and efficient mapping between both AoI and queue length distributions is proposed. Subsequently, extreme value theory (EVT) and Lyapunov optimization techniques are adopted to formulate and solve the problem. Simulation results shows a nearly two-fold improvement in terms of shortening the tail of the AoI distribution compared to a baseline whose design is based on the maximum queue length among vehicles, when the number of vehicular user equipment (VUE) pairs is 80. The results also show that this performance gain increases significantly as the number of VUE pairs increases.


title: Robust Asynchronous Stochastic Gradient-Push: Asymptotically Optimal and Network-Independent Performance for Strongly Convex Functions

abstract: We consider the standard model of distributed optimization of a sum of functions $F(\bz) = \sum_{i=1}^n f_i(\bz)$, where node $i$ in a network holds the function $f_i(\bz)$. We allow for a harsh network model characterized by asynchronous updates, message delays, unpredictable message losses, and directed communication among nodes. In this setting, we analyze a modification of the Gradient-Push method for distributed optimization, assuming that \begin{enumerate*}[label=(\roman*)] \item node $i$ is capable of generating gradients of its function $f_i(\bz)$ corrupted by zero-mean bounded-support additive noise at each step, \item $F(\bz)$ is strongly convex, and \item each $f_i(\bz)$ has Lipschitz gradients. We show that our proposed method asymptotically performs as well as the best bounds on centralized gradient descent that takes steps in the direction of the sum of the noisy gradients of all the functions $f_1(\bz), \ldots, f_n(\bz)$ at each step.


title: On a relation between packing and covering densities of convex bodies

abstract: We show that a convex body admits a translative dense packing in $\mathbb{R}^d$ if and only if it admits a translative economical covering.


title: Imprecise dynamic walking with time-projection control

abstract: We present a new walking foot-placement controller based on 3LP, a 3D model of bipedal walking that is composed of three pendulums to simulate falling, swing and torso dynamics. Taking advantage of linear equations and closed-form solutions of the 3LP model, our proposed controller projects intermediate states of the biped back to the beginning of the phase for which a discrete LQR controller is designed. After the projection, a proper control policy is generated by this LQR controller and used at the intermediate time. This control paradigm reacts to disturbances immediately and includes rules to account for swing dynamics and leg-retraction. We apply it to a simulated Atlas robot in position-control, always commanded to perform in-place walking. The stance hip joint in our robot keeps the torso upright to let the robot naturally fall, and the swing hip joint tracks the desired footstep location. Combined with simple Center of Pressure (CoP) damping rules in the low-level controller, our foot-placement enables the robot to recover from strong pushes and produce periodic walking gaits when subject to persistent sources of disturbance, externally or internally. These gaits are imprecise, i.e., emergent from asymmetry sources rather than precisely imposing a desired velocity to the robot. Also in extreme conditions, restricting linearity assumptions of the 3LP model are often violated, but the system remains robust in our simulations. An extensive analysis of closed-loop eigenvalues, viable regions and sensitivity to push timings further demonstrate the strengths of our simple controller.


title: Powerful mechanical-driven outflows in the central parsecs of the Low-Luminosity Active Galactic Nucleus ESO428-G14

abstract: Low-Luminosity Active Galactic Nuclei (LLAGN) are characterized for low radiative efficiency, much less than one percent of their Eddington limit. Nevertheless, their main energy release may be mechanical, opposite to powerful AGN classes like Seyfert and Quasars. This work reports on the jet-driven mechanical energy and the corresponding mass outflow deposited by the jet in the central 170~parsecs of the nearby LLAGN ESO428-G14. The jet kinetic output is traced through the coronal line [Si vi] $\lambda$19641 \AA. It is shown that its radial extension, up to hundreds of parsecs, requires a combination of photoionization by the central source and shock excitation as its origin. From the energetics of the ionized gas it is found that the mass outflow rate of the coronal gas is in the range from 3$-8$~M$\odot$~yr$^{-1}$, comparable to those estimated from H I gas at kiloparsec scales in powerful radio galaxies.


title: Strongly unimodal systems

abstract: We investigate the property for an input-output system to map unimodal inputs to unimodal outputs. As a first step, we analyse this property for linear time-invariant (LTI) systems, static nonlinearities, and interconnections of those. In particular, we show how unimodality is closely related to the concepts of positivity, monotonicity, and total positivity.


title: Role of initial conditions in the dynamics of quantum glassy systems

abstract: We set the formalism to study the way in which the choice of canonical equilibrium initial conditions affect the real-time dynamics of quantum disordered models. We use a path integral formulation on a time contour with real and imaginary time branches. The factorisation of the time-integration paths usually assumed in field-theoretical studies breaks down due to the averaging over quenched randomness. We derive the set of Schwinger-Dyson dynamical equations that govern the evolution of linear response and correlation functions. The solution of these equations is not straightforward as it needs, as an input, the full imaginary-time (or Matsubara frequency) dependence of the correlation in equilibrium. We check some limiting cases (equilibrium dynamics, classical limit) and we set the stage for the analytic and numerical analysis of quenches in random quantum systems.


title: Thermometry in the quantum regime: Recent theoretical progress

abstract: Controlling and measuring the temperature in different devices and platforms that operate in the quantum regime is, without any doubt, essential for any potential application. In this review, we report the most recent theoretical developments dealing with accurate estimation of very low temperatures in quantum systems. Together with the emerging experimental techniques and developments of measurement protocols, the theory of quantum thermometry will decisively impinge and shape the forthcoming quantum technologies. While current quantum thermometric methods differ greatly depending on the experimental platform, the achievable precision, and the temperature range of interest, the theory of quantum thermometry is built under a unifying framework at the crossroads of quantum metrology, open quantum systems, and quantum many-body physics. At a fundamental level, theoretical quantum thermometry is concerned with finding the ultimate bounds and scaling laws that limit the precision of temperature estimation for systems in and out-of-thermal equilibrium. At a more practical level, it provides tools to formulate precise, yet feasible, thermometric protocols for relevant experimental architectures. Last but not least, the theory of quantum thermometry examines genuine quantum features, like entanglement and coherence, for their exploitation in enhanced-resolution thermometry.

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


title: One-fluid relativistic magnetohydrodynamics equations for a two-fluid plasma with the Landau-Lifshitz radiation reaction force

abstract: By taking into account the radiation reaction force, we derive a set of one-fluid relativistic magnetohydrody-namics (RMHD) equations with the Landau-Lifshitz radiation reaction force based on a relativistic two-fluid plasma. These equations could be used to situations where spatiotemporal scales of plasma's motion are suffi-ciently large.


title: Probing non-perturbative QED with electron-laser collisions

abstract: The vast majority of QED results are obtained in relatively weak fields and so in the framework of perturbation theory. However, forthcoming laser facilities providing extremely high fields can be used to enter not-yet-studied regimes. Here, a scheme is proposed that might be used to reach a supercritical regime of radiation reaction or even the fully non-perturbative regime of quantum electrodynamics. The scheme considers the collision of a 100 GeV-class electron beam with a counterpropagating ultraintense electromagnetic pulse. To reach these supercritical regimes, it is unavoidable to use a pulse with ultrashort duration. Using two-dimensional particle-in-cell simulations, it is therefore shown how one can convert a next-generation optical laser to an ultraintense ($I\approx 2.9\times 10^{24} \text{ W} \, \text{cm}^{-2}$) attosecond (duration $\approx$ 150 as) pulse. It is shown that if the perturbation theory persists in extremely fields, the spectrum of secondary particles can be found semi-analytically. In contrast, a comparison with experimental data may allow differentiating the contribution of high-order radiative corrections if the perturbation theory breaks.


title: Superconducting nanowire single-photon detector with integrated impedance-matching taper

abstract: Conventional readout of a superconducting nanowire single-photon detector (SNSPD) sets an upper bound on the output voltage to be the product of the bias current and the load impedance, $I_\mathrm{B}\times Z_\mathrm{load}$, where $Z_\mathrm{load}$ is limited to 50 $\Omega$ in standard r.f. electronics. Here, we break this limit by interfacing the 50 $\Omega$ load and the SNSPD using an integrated superconducting transmission line taper. The taper is a transformer that effectively loads the SNSPD with high impedance without latching. It increases the amplitude of the detector output while preserving the fast rising edge. Using a taper with a starting width of 500 nm, we experimentally observed a 3.6$\times$ higher pulse amplitude, 3.7$\times$ faster slew rate, and 25.1 ps smaller timing jitter. The results match our numerical simulation, which incorporates both the hotspot dynamics in the SNSPD and the distributed nature in the transmission line taper. The taper studied here may become a useful tool to interface high-impedance superconducting nanowire devices to conventional low-impedance circuits.


title: Heavy-Quark Symmetry Partners of the Pc(4450) Pentaquark

abstract: The spectrum of heavy-hadron molecules is constrained by heavy-quark symmetry in its different manifestations. Heavy-quark spin symmetry for instance connects the properties of the ground and excited states of heavy hadrons, while heavy-antiquark-diquark symmetry connects the properties of heavy antimesons ($\bar{D}$, $\bar{D}^*$) and doubly heavy baryons ($\Xi_{cc}$, $\Xi_{cc}^*$). A prediction of these symmetries is that if the $P_c(4450)$ is indeed a $\bar{D}^* \Sigma_c$ bound state, then there should be a series of $\bar{D}^* \Sigma_c^*$, $\Xi_{cc} \Sigma_c$, $\Xi_{cc}^* \Sigma_c$, $\Xi_{cc} \Sigma_c^*$ and $\Xi_{cc}^* \Sigma_c^*$ partners. The concrete application of heavy-quark spin symmetry indicates that, if the $P_c(4450)$ is a $\frac{3}{2}^{-}$ $\bar{D}^* \Sigma_c$ molecule, the existence of a $\frac{5}{2}^{-}$ $\bar{D}^* \Sigma_c^*$ partner with similar binding energy --- which we call $P_c(4515)$, given its expected mass --- is likely. Conversely, the application of heavy-antiquark-diquark symmetry indicates that the $0^+$ $\Xi_{cc} \Sigma_c$, $1^+$ $\Xi_{cc} \Sigma_c^*$, $2^+$ $\Xi_{cc}^* \Sigma_c$ and $3^+$ $\Xi_{cc}^* \Sigma_c^*$ molecules are likely to bind too, with binding energies in the $20-30\,{\rm MeV}$ range.


title: Cartesian closed exact completions in topology

abstract: Using generalized enriched categories, in this paper we show that Rosick\'{y}'s proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over $\mathsf{Set}$, like metric spaces, approach spaces, ultrametric spaces, probabilistic metric spaces, and bitopological spaces. In order to do so we prove a sufficient criterion for exponentiability of $(\mathbb{T},V)$-categories and show that, under suitable conditions, every $(\mathbb{T},V)$-injective category is exponentiable in $(\mathbb{T},V)\text{-}\mathsf{Cat}$.


title: Dynamical characterization of stochastic bifurcations in a random logistic map

abstract: The emergence of noise-induced chaos in a random logistic map with bounded noise is understood as a two-step process consisting of a topological bifurcation flagged by a zero-crossing point of the supremum of the dichotomy spectrum and a subsequent dynamical bifurcation to a random strange attractor flagged by a zero crossing point of the Lyapunov exponent. The associated three consecutive dynamical phases are characterized as a random periodic attractor, a random point attractor, and a random strange attractor, respectively. The first phase has a negative dichotomy spectrum reflecting uniform attraction to the random periodic attractor. The second phase no longer has a negative dichotomy spectrum - and the random point attractor is not uniformly attractive - but it retains a negative Lyapunov exponent reflecting the aggregate asymptotic contractive behaviour. For practical purposes, the extrema of the dichotomy spectrum equal that of the support of the spectrum of the finite-time Lyapunov exponents. We present detailed numerical results from various dynamical viewpoints, illustrating the dynamical characterisation of the three different phases.


title: Insights into bootstrap percolation: Its equivalence with k-core percolation and the giant component

abstract: K-core and bootstrap percolation are widely studied models that have been used to represent and understand diverse deactivation and activation processes in natural and social systems. Since these models are considerably similar, it has been suggested in recent years that they could be complementary. In this manuscript we provide a rigorous analysis that shows that for any degree and threshold distributions heterogeneous bootstrap percolation can be mapped into heterogeneous k-core percolation and vice versa, if the functionality thresholds in both processes satisfy a complementary relation. Another interesting problem in bootstrap and k-core percolation is the fraction of nodes belonging to their giant connected components $P_{\infty b}$ and $P_{\infty c}$, respectively. We solve this problem analytically for arbitrary randomly connected graphs and arbitrary threshold distributions, and we show that $P_{\infty b}$ and $P_{\infty c}$ are not complementary. Our theoretical results coincide with computer simulations in the limit of very large graphs. In bootstrap percolation, we show that when using the branching theory to compute the size of the giant component, we must consider two different types of links, which are related to distinct spanning branches of active nodes.


title: Uncertainty relations and sparse signal recovery

abstract: This chapter provides a principled introduction to uncertainty relations underlying sparse signal recovery. We start with the seminal work by Donoho and Stark, 1989, which defines uncertainty relations as upper bounds on the operator norm of the band-limitation operator followed by the time-limitation operator, generalize this theory to arbitrary pairs of operators, and then develop -- out of this generalization -- the coherence-based uncertainty relations due to Elad and Bruckstein, 2002, as well as uncertainty relations in terms of concentration of $1$-norm or $2$-norm. The theory is completed with the recently discovered set-theoretic uncertainty relations which lead to best possible recovery thresholds in terms of a general measure of parsimony, namely Minkowski dimension. We also elaborate on the remarkable connection between uncertainty relations and the "large sieve", a family of inequalities developed in analytic number theory. It is finally shown how uncertainty relations allow to establish fundamental limits of practical signal recovery problems such as inpainting, declipping, super-resolution, and denoising of signals corrupted by impulse noise or narrowband interference. Detailed proofs are provided throughout the chapter.


title: Metastability and layer dynamics for the hyperbolic relaxation of the Cahn-Hilliard equation

abstract: The goal of this paper is to accurately describe the metastable dynamics of the solutions to the hyperbolic relaxation of the Cahn-Hilliard equation in a bounded interval of the real line, subject to homogeneous Neumann boundary conditions. We prove the existence of an "approximately invariant manifold" $\mathcal{M}_0$ for such boundary value problem, that is we construct a narrow channel containing $\mathcal{M}_0$ and satisfying the following property: a solution starting from the channel evolves very slowly and leaves the channel only after an exponentially long time. Moreover, in the channel the solution has a "transition layer structure" and we derive a system of ODEs, which accurately describes the slow dynamics of the layers. A comparison with the layer dynamics of the classic Cahn-Hilliard equation is also performed.


title: Formation of RbCs dimers using an elliptically polarized laser pulse

abstract: We consider the formation of RbCs by an elliptically polarized laser pulse. By varying the ellipticity of the laser for sufficiently large laser intensity, we see that the formation probability presents a strong dependence, especially around ellipticity 1/ $\sqrt$ 2. We show that the analysis can be reduced to the investigation of the long-range interaction between the two atoms. The formation is mainly due to a small momentum shifts induced by the laser pulse. We analyze these results using the Silberstein's expressions of the polarizabilities, and show that the ellipticity of the field acts as a control knob for the formation probability, allowing significant variations of the dimer formation probability at a fixed laser intensity, especially in the region around an ellipticity of 1/ $\sqrt$ 2.


title: Banach Contraction Principle in Cone Modular Spaces with Banach Algebra

abstract: Our aim in this paper is to present a new type of the modular space. This space contains the classical modular space. There are some mappings that do not have contractive condition in the usual modular space but become contraction in this new space.


title: Identify, locate and separate: Audio-visual object extraction in large video collections using weak supervision

abstract: We tackle the problem of audiovisual scene analysis for weakly-labeled data. To this end, we build upon our previous audiovisual representation learning framework to perform object classification in noisy acoustic environments and integrate audio source enhancement capability. This is made possible by a novel use of non-negative matrix factorization for the audio modality. Our approach is founded on the multiple instance learning paradigm. Its effectiveness is established through experiments over a challenging dataset of music instrument performance videos. We also show encouraging visual object localization results.


title: Two-dimensional topological quantum walks in the momentum space of structured light

abstract: Quantum walks are powerful tools for quantum applications and for designing topological systems. Although they are simulated in a variety of platforms, genuine two-dimensional realizations are still challenging. Here we present an innovative approach to the photonic simulation of a quantum walk in two dimensions, where walker positions are encoded in the transverse wavevector components of a single light beam. The desired dynamics is obtained by means of a sequence of liquid-crystal devices, which apply polarization-dependent transverse "kicks" to the photons in the beam. We engineer our quantum walk so that it realizes a periodically-driven Chern insulator, and we probe its topological features by detecting the anomalous displacement of the photonic wavepacket under the effect of a constant force. Our compact, versatile platform offers exciting prospects for the photonic simulation of two-dimensional quantum dynamics and topological systems.


title: Benchmarking Gate Fidelities in a Si/SiGe Two-Qubit Device

abstract: We report the first complete characterization of single-qubit and two-qubit gate fidelities in silicon-based spin qubits, including cross-talk and error correlations between the two qubits. To do so, we use a combination of standard randomized benchmarking and a recently introduced method called character randomized benchmarking, which allows for more reliable estimates of the two-qubit fidelity in this system. Interestingly, with character randomized benchmarking, the two-qubit CPhase gate fidelity can be obtained by studying the additional decay induced by interleaving the CPhase gate in a reference sequence of single-qubit gates only. This work sets the stage for further improvements in all the relevant gate fidelities in silicon spin qubits beyond the error threshold for fault-tolerant quantum computation.


title: Optical orientation with linearly polarized light in transition metal dichalcogenides

abstract: We study the optical properties of semiconducting transition metal dichalcogenide monolayers under the influence of strong out-of-plane magnetic fields, using the effective massive Dirac model. We pay attention to the role of spin-orbit coupling effects, doping level and electron-electron interactions, treated at the Hartree-Fock level. We find that optically-induced valley and spin imbalance, commonly attained with circularly polarized light, can also be obtained with linearly polarized light in the doped regime. Additionally, we explore an exchange-driven mechanism to enhance the spin-orbit splitting of the conduction band, in n-doped systems, controlling both the carrier density and the intensity of the applied magnetic field.


title: Spectral geometry of functional metrics on noncommutative tori

abstract: We introduce a new family of metrics, called functional metrics, on noncommutative tori and study their spectral geometry. We define a class of Laplace type operators for these metrics and study their spectral invariants obtained from the heat trace asymptotics. A formula for the second density of the heat trace is obtained. In particular, the scalar curvature density and the total scalar curvature of functional metrics are explicitly computed in all dimensions for certain classes of metrics including conformally flat metrics and twisted product of flat metrics. Finally a Gauss-Bonnet type theorem for a noncommutative two torus equipped with a general functional metric is proved.

categories: math.QA math-ph math.DG math.MP math.OA math.SP


title: Bounds on the capacity and power of quantum batteries

abstract: Quantum batteries, composed of quantum cells, are expected to outperform their classical analogs. The origin of such advantages lies in the role of quantum correlations, which may arise during the charging and discharging processes performed on the battery. In this theoretical work, we introduce a systematic characterization of the relevant quantities of quantum batteries, i.e., the capacity and the power, in relation to such correlations. For these quantities, we derive upper bounds for batteries that are a collection of noninteracting quantum cells with fixed Hamiltonians. The capacity, that is, a bound on the stored or extractable energy, is derived with the help of the energy-entropy diagram, and this bound is respected as long as the charging and discharging processes are entropy preserving. While studying power, we consider a geometric approach for the evolution of the battery state in the energy eigenspace of the battery Hamiltonian. Then, an upper bound for power is derived for arbitrary charging process, in terms of the Fisher information and the energy variance of the battery. The former quantifies the speed of evolution, and the latter encodes the nonlocal character of the battery state. Indeed, due to the fact that the energy variance is bounded by the multipartite entanglement properties of batteries composed of qubits, we establish a fundamental bound on power imposed by quantum entanglement. We also discuss paradigmatic models for batteries that saturate the bounds both for the stored energy and power. Several experimentally realizable quantum batteries, based on integrable spin chains, the Lipkin-Meshkov-Glick and the Dicke models, are also studied in the light of these newly introduced bounds.


title: Reachability-based safe learning for optimal control problem

abstract: In this work we seek for an approach to integrate safety in the learning process that relies on a partly known state-space model of the system and regards the unknown dynamics as an additive bounded disturbance. We introduce a framework for safely learning a control strategy for a given system with an additive disturbance. On the basis of the known part of the model, a safe set in which the system can learn safely, the algorithm can choose optimal actions for pursuing the target set as long as the safety-preserving condition is satisfied. After some learning episodes, the disturbance can be updated based on real-world data. To this end, Gaussian Process regression is conducted on the collected disturbance samples. Since the unstable nature of the law of the real world, for example, change of friction or conductivity with the temperature, we expect to have the more robust solution of optimal control problem. For evaluation of approach described above we choose an inverted pendulum as a benchmark model. The proposed algorithm manages to learn a policy that does not violate the pre-specified safety constraints. Observed performance is improved when it was incorporated exploration set up to make sure that an optimal policy is learned everywhere in the safe set. Finally, we outline some promising directions for future research beyond the scope of this paper.


title: Homotopy theory with marked additive categories

abstract: We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of pre-additive categories. These model category structures are used to present the corresponding $\infty$-categories obtained by inverting equivalences. We apply these results to explicitly calculate various limits and colimits in these $\infty$-categories.


title: Identities of Cycle Integrals of Weak Maass Forms

abstract: We prove identities between cycle integrals of non-holomorphic modular forms arising from applications of various differential operators to weak Maass forms.


title: Index and first Betti number of f-minimal hypersurfaces: general ambients

abstract: We generalize a method by L. Ambrozio, A. Carlotto, and B. Sharp to study the Morse index of closed f-minimal hypersurfaces isometrically immersed in a general weighted manifold. The technique permits, in particular, to obtain a linear lower bound on the Morse index via the first Betti number for closed f-minimal hypersurfaces in products of some compact rank one symmetric spaces with an Euclidean factor, endowed with the rigid shrinking gradient Ricci soliton structure. These include, as particular cases, all cylindric shrinking gradient Ricci solitons.


title: The layer complexity of Arthur-Merlin-like communication

abstract: In communication complexity the Arthur-Merlin (AM) model is the most natural one that allows both randomness and non-determinism. Presently we do not have any super-logarithmic lower bound for the AM-complexity of an explicit function. Obtaining such a bound is a fundamental challenge to our understanding of communication phenomena. In this article we explore the gap between the known techniques and the complexity class AM. In the first part we define a new natural class, Small-advantage Layered Arthur-Merlin (SLAM), that has the following properties: - SLAM is (strictly) included in AM and includes all previously known subclasses of AM with non-trivial lower bounds. - SLAM is qualitatively stronger than the union of those classes. - SLAM is a subject to the discrepancy bound: in particular, the inner product function does not have an efficient SLAM-protocol. Structurally this can be summarised as SBP $\cup$ UAM $\subset$ SLAM $\subseteq$ AM $\cap$ PP. In the second part we ask why proving a lower bound of $\omega(\sqrt n)$ on the MA-complexity of an explicit function seems to be difficult. Both of these results are related to the notion of layer complexity, which is, informally, the number of "layers of non-determinism" used by a protocol.


title: Influence of temperature on the displacement threshold energy in graphene

abstract: The atomic structure of nanomaterials is often studied using transmission electron microscopy. In addition to image formation, the energetic electrons may also cause damage while impinging on the sample. In a good conductor such as graphene the damage is limited to the knock-on process caused by elastic electron-nucleus collisions. This process is determined by the kinetic energy an atom needs to be sputtered, ie, its displacement threshold energy. This is typically assumed to have a fixed value for all electron impacts on equivalent atoms within a crystal. Here we show using density functional tight-binding simulations that the displacement threshold energy is affected by the thermal perturbation of the atoms from their equilibrium positions. We show that this can be accounted for in the estimation of the displacement cross section by replacing the constant threshold value with a distribution. The improved model better describes previous precision measurements of graphene knock-on damage, and should be considered also for other low-dimensional materials.


title: nEDM experiment at PSI: data-taking strategy and sensitivity of the dataset

abstract: We report on the strategy used to optimize the sensitivity of our search for a neutron electric dipole moment at the Paul Scherrer Institute. Measurements were made upon ultracold neutrons stored within a single chamber at the heart of our apparatus. A mercury cohabiting magnetometer together with an array of cesium magnetometers were used to monitor the magnetic field, which was controlled and shaped by a series of precision field coils. In addition to details of the setup itself, we describe the chosen path to realize an appropriate balance between achieving the highest statistical sensitivity alongside the necessary control on systematic effects. The resulting irreducible sensitivity is better than 1*10-26 ecm. This contribution summarizes in a single coherent picture the results of the most recent publications of the collaboration.


title: Symbolic dynamics and semigroup theory

abstract: A major motivation for the development of semigroup theory was, and still is, its applications to the study of formal languages. Therefore, it is not surprising that the correspondence $\mathcal X\mapsto B(\mathcal X)$, associating to each symbolic dynamical system $\mathcal X$ the formal language $B(\mathcal X)$ of its blocks, entails a connection between symbolic dynamics and semigroup theory. In this article we survey some developments on this connection, since when it was noticed in an article by Almeida, published in the CIM bulletin, in 2003.


title: An output-sensitive Algorithm to partition a Sequence of Integers into Subsets with equal Sums

abstract: We present a polynomial time algorithm, which solves a nonstandard Variation of the well-known PARTITION-problem: Given positive integers $n, k$ and $t$ such that $t \geq n$ and $k \cdot t = {n+1 \choose 2}$, the algorithm partitions the elements of the set $I_n = \{1, \ldots, n\}$ into $k$ mutually disjoint subsets $T_j$ such that $\cup_{j=1}^k T_j = I_n$ and $\sum_{x \in T_{j}} x = t$ for each $j \in \{1,2, \ldots, k\}$. The algorithm needs $\mathcal{O}(n \cdot ( \frac{n}{2k} + \log \frac{n(n+1)}{2k} ))$ steps to insert the $n$ elements of $I_n$ into the $k$ sets $T_j$.


title: CHANG-ES XII: A LOFAR and VLA view of the edge-on star-forming galaxy NGC 3556

abstract: Low-frequency radio continuum studies of star-forming edge-on galaxies can help to further understand how cosmic-ray electrons (CRe) propagate through the interstellar medium into the halo and how this is affected by energy losses and magnetic fields. Observations with the Very Large Array (VLA) from Continuum Haloes in Nearby Galaxies - an EVLA Survey (CHANG-ES) are combined with those with the LOw Frequency ARray (LOFAR) from the LOFAR Two-metre Sky Survey (LoTSS ) to identify the prevailing mode of cosmic-ray transport in the edge-on spiral galaxy NGC 3556. We mapped the radio spectral index, magnetic field strength, and orientation using VLA 1.5 and 6 GHz and LOFAR 144 MHz data, and we fit 1D cosmic-ray propagation models to these maps using Spinnaker (Spectral Index Numerical Analysis of K(c)osmic-ray electron radio emission) and its interactive wrapper Spinteractive. We find that the spectral index in the galactic midplane is, as expected for young CRe, alpha ~ -0.7 and steepens towards the halo of the galaxy as a consequence of spectral ageing. The intensity scale heights are about 1.4 and 1.9 kpc for the thin disc, and 3.3 and 5.9 kpc for the thick disc at 1.5 GHz and 144 MHz, respectively. While pure diffusion cannot explain our data, advection can, particularly if we assume a linearly accelerating wind. Our best-fitting model has an initial speed of 123 km s^-1 in the galactic midplane and reaches the escape velocity at heights between 5 kpc and 15 kpc above the disc, depending on the assumed dark matter halo of the galaxy. This galactic wind scenario is corroborated by the existence of vertical filaments seen both in the radio continuum and in H alpha in the disc-halo interface and of a large-scale reservoir of hot, X-ray emitting gas in the halo. Radio haloes show the existence of galactic winds, possibly driven by cosmic rays, in typical star-forming spiral galaxies.


title: Singularly perturbed reaction-diffusion problems with discontinuities in the initial and/or the boundary data

abstract: Numerical approximations to the solutions of three different problem classes of singularly perturbed parabolic reaction-diffusion problems, each with a discontinuity in the bound\-ary-initial data, are generated. For each problem class, an analytical function associated with the discontinuity in the data, is identified. Parameter-uniform numerical approximations to the difference between the analytical function and the solution of the singularly perturbed problem are generated using piecewise-uniform Shishkin meshes. Numerical results are given to illustrate all the theoretical error bounds established in the paper.


title: A generic framework for privacy preserving deep learning

abstract: We detail a new framework for privacy preserving deep learning and discuss its assets. The framework puts a premium on ownership and secure processing of data and introduces a valuable representation based on chains of commands and tensors. This abstraction allows one to implement complex privacy preserving constructs such as Federated Learning, Secure Multiparty Computation, and Differential Privacy while still exposing a familiar deep learning API to the end-user. We report early results on the Boston Housing and Pima Indian Diabetes datasets. While the privacy features apart from Differential Privacy do not impact the prediction accuracy, the current implementation of the framework introduces a significant overhead in performance, which will be addressed at a later stage of the development. We believe this work is an important milestone introducing the first reliable, general framework for privacy preserving deep learning.


title: Piezospectroscopic measurement of high-frequency vibrations in a pulse-tube cryostat

abstract: Vibrations in cryocoolers are a recurrent concern to the end user. They appear in different parts of the acoustic spectrum depending on the refrigerator type, Gifford McMahon or pulse-tube, and with a variable coupling strength to the physical system under interest. Here, we use the piezospectroscopic effect in rare-earth doped crystals at low temperature as a high resolution, contact-less probe for the vibrations. With this optical spectroscopic technique, we obtain and analyze the vibration spectrum up to 700kHz of a 2kW pulse-tube cooler. We attempt an absolute calibration based on known experimental parameters to make our method partially quantitative and to provide a possible comparison with other well-established techniques.


title: Effective joint equidistribution of primitive rational points on expanding horospheres

abstract: We prove an effective version of a result due to Einsiedler, Mozes, Shah and Shapira who established the equidistribution of primitive rational points on expanding horospheres in the space of unimodular lattices in at least $3$ dimensions. Their proof uses techniques from homogeneous dynamics and relies in particular on measure-classification theorems -- an approach which does not lend itself to effective bounds. We implement a strategy based on spectral theory, Fourier analysis and Weil's bound for Kloosterman sums in order to quantify the rate of equidistribution for a specific horospherical subgroup in any dimension. We apply our result to provide a rate of convergence to the limiting distribution for the appropriately rescaled diameters of random circulant graphs.


title: Structural aspects of twin and pure twin groups

abstract: The twin group $T_n$ is a Coxeter group generated by $n-1$ involutions and the pure twin group $PT_n$ is the kernel of the natural surjection of $T_n$ onto the symmetric group on $n$ letters. In this paper, we investigate structural aspects of twin and pure twin groups. We prove that the twin group $T_n$ decomposes into a free product with amalgamation for $n>4$. It is shown that the pure twin group $PT_n$ is free for $n=3,4$, and not free for $n\ge 6$. We determine a generating set for $PT_n$, and give an upper bound for its rank. We also construct a natural faithful representation of $T_4$ into $\operatorname{Aut}(F_7)$. In the end, we propose virtual and welded analogues of these groups and some directions for future work.


title: The Near-Ultraviolet Continuum Radiation in the Impulsive Phase of HF/GF-Type dMe Flares I: Data

abstract: We present NUV flare spectra from the Hubble Space Telescope/Cosmic Origins Spectrograph during two moderate-amplitude U-band flares on the dM4e star GJ 1243. These spectra are some of the first accurately flux-calibrated, NUV flare spectra obtained over the impulsive phase in M dwarf flares. We observed these flares with a fleet of nine ground-based telescopes simultaneously, which provided broadband photometry and low-resolution spectra at the Balmer jump. A broadband continuum increase occurred with a signal-to-noise > 20 in the HST spectra, while numerous Fe II lines and the Mg II lines also increased but with smaller flux enhancements compared to the continuum radiation. These two events produced the most prominent Balmer line radiation and the largest Balmer jumps that have been observed to date in dMe flare spectra. A T=9000 K blackbody under-estimates the NUV continuum flare flux by a factor of two and is a poor approximation to the white-light in these types of flare events. Instead, our data suggest that the peak of the specific continuum flux density is constrained to U-band wavelengths near the Balmer series limit. A radiative-hydrodynamic simulation of a very high energy deposition rate averaged over times of impulsive heating and cooling better explains the lam>2500 Angstrom flare continuum properties. These two events sample only one end of the empirical color-color distribution for dMe flares, and more time-resolved flare spectra in the NUV, U-band, and optical from lam=2000-4200 Angstrom are needed during more impulsive and/or more energetic flares.


title: Convolutional neural networks in phase space and inverse problems

abstract: We study inverse problems consisting on determining medium properties using the responses to probing waves from the machine learning point of view. Based on the understanding of propagation of waves and their nonlinear interactions, we construct a deep convolutional neural network in which the parameters are used to classify and reconstruct the coefficients of nonlinear wave equations that model the medium properties. Furthermore, for given approximation accuracy, we obtain the depth and number of units of the network and their quantitative dependence on the complexity of the medium.


title: Zeeman spectroscopy of excitons and hybridization of electronic states in few-layer WSe$_2$, MoSe$_2$ and MoTe$_2$

abstract: Monolayers and multilayers of semiconducting transition metal dichalcogenides (TMDCs) offer an ideal platform to explore valley-selective physics with promising applications in valleytronics and information processing. Here we manipulate the energetic degeneracy of the $\mathrm{K}^+$ and $\mathrm{K}^-$ valleys in few-layer TMDCs. We perform high-field magneto-reflectance spectroscopy on WSe$_2$, MoSe$_2$, and MoTe$_2$ crystals of thickness from monolayer to the bulk limit under magnetic fields up to 30 T applied perpendicular to the sample plane. Because of a strong spin-layer locking, the ground state A excitons exhibit a monolayer-like valley Zeeman splitting with a negative $g$-factor, whose magnitude increases monotonically when thinning the crystal down from bulk to a monolayer. Using the $\mathbf{k\cdot p}$ calculation, we demonstrate that the observed evolution of $g$-factors for different materials is well accounted for by hybridization of electronic states in the $\mathrm{K}^+$ and $\mathrm{K}^-$ valleys. The mixing of the valence and conduction band states induced by the interlayer interaction decreases the $g$-factor magnitude with an increasing layer number. The effect is the largest for MoTe$_2$, followed by MoSe$_2$, and smallest for WSe$_2$. Keywords: MoSe$_2$, WSe$_2$, MoTe$_2$, valley Zeeman splitting, transition metal dichalcogenides, excitons, magneto optics.


title: Dose finding for new vaccines: the role for immunostimulation/immunodynamic modelling

abstract: Current methods to optimize vaccine dose are purely empirically based, whereas in the drug development field, dosing determinations use far more advanced quantitative methodology to accelerate decision-making. Applying these established methods in the field of vaccine development may reduce the currently large clinical trial sample sizes, long time frames, high costs, and ultimately have a better potential to save lives. We propose the field of immunostimulation/immunodynamic (IS/ID) modelling, which aims to translate mathematical frameworks used for drug dosing towards optimizing vaccine dose decision-making. Analogous to PK/PD modelling, IS/ID modelling approaches apply mathematical models to describe the underlying mechanisms by which the immune response is stimulated by vaccination (IS) and the resulting measured immune response dynamics (ID). To move IS/ID modelling forward, existing datasets and further data on vaccine allometry and dose-dependent dynamics need to be generated and collate, requiring a collaborative environment with input from academia, industry, regulators, governmental and non-governmental agencies to share modelling expertise, and connect modellers to vaccine data.


title: Optical squeezing for an optomechanical system without quantising the mechanical motion

abstract: Witnessing quantumness in mesoscopic objects is an important milestone for both quantum technologies and foundational reasons. Cavity optomechanics offers the ideal system to achieve this by combing high precision optical measurements with mechanical oscillators. However, mechanical quantumness can only be established if the behaviour is incompatible with any classical description of an oscillator. After explicitly considering classical and hybrid quantum-classical descriptions of an optomechanical system, we rule out squeezing of the optical field as such a witness by showing it is also predicted without quantizing the mechanical oscillator.


title: Adversarial Uncertainty Quantification in Physics-Informed Neural Networks

abstract: We present a deep learning framework for quantifying and propagating uncertainty in systems governed by non-linear differential equations using physics-informed neural networks. Specifically, we employ latent variable models to construct probabilistic representations for the system states, and put forth an adversarial inference procedure for training them on data, while constraining their predictions to satisfy given physical laws expressed by partial differential equations. Such physics-informed constraints provide a regularization mechanism for effectively training deep generative models as surrogates of physical systems in which the cost of data acquisition is high, and training data-sets are typically small. This provides a flexible framework for characterizing uncertainty in the outputs of physical systems due to randomness in their inputs or noise in their observations that entirely bypasses the need for repeatedly sampling expensive experiments or numerical simulators. We demonstrate the effectiveness of our approach through a series of examples involving uncertainty propagation in non-linear conservation laws, and the discovery of constitutive laws for flow through porous media directly from noisy data.


title: Commissioning and Operation of FAST Electron Linac at Fermilab

abstract: We report results of the beam commissioning and first operation of the 1.3 GHz superconducting RF electron linear accelerator at Fermilab Accelerator Science and Technology (FAST) facility. Construction of the linac was completed and the machine was commissioned with beam in 2017. The maximum total beam energy of about 300 MeV was achieved with the record energy gain of 250 MeV in the ILC-type SRF cryomodule. The photoinjector was tuned to produce trains of 200 pC bunches with a frequency of 3 MHz at a repetition rate of 1 Hz. This report describes the aspects of machine commissioning such as tuning of the SRF cryomodule and beam optics optimization. We also present highlights of an experimental program carried out parasitically during the two-month run, including studies of wake-fields, and advanced beam phase space manipulation.


title: An Overview of Computational Approaches for Interpretation Analysis

abstract: It is said that beauty is in the eye of the beholder. But how exactly can we characterize such discrepancies in interpretation? For example, are there any specific features of an image that makes person A regard an image as beautiful while person B finds the same image displeasing? Such questions ultimately aim at explaining our individual ways of interpretation, an intention that has been of fundamental importance to the social sciences from the beginning. More recently, advances in computer science brought up two related questions: First, can computational tools be adopted for analyzing ways of interpretation? Second, what if the "beholder" is a computer model, i.e., how can we explain a computer model's point of view? Numerous efforts have been made regarding both of these points, while many existing approaches focus on particular aspects and are still rather separate. With this paper, in order to connect these approaches we introduce a theoretical framework for analyzing interpretation, which is applicable to interpretation of both human beings and computer models. We give an overview of relevant computational approaches from various fields, and discuss the most common and promising application areas. The focus of this paper lies on interpretation of text and image data, while many of the presented approaches are applicable to other types of data as well.


title: Measuring the Expansion and Age of the Nova Shell IPHASXJ210204.7+471015

abstract: The parallax expansion and kinematics of a nova shell can be used to assess its age and distance, and to investigate the interaction of the ejecta with the circumstellar medium. These are key to understand the expansion and dispersal of the nova ejecta in the Galaxy. Multi-epoch images and high-dispersion spectroscopic observations of the recently discovered classical nova shell IPHASXJ210204.7+471015 around a nova-like system have been used to derive a present day expansion rate of 0.100 arcsec/yr and an expansion velocity of 285 km/s. These data are combined to obtain a distance of 600 pc to the nova. The secular expansion of the nova shell place the event sometime between 1850 and 1890, yet it seems to have been missed at that time. Despite its young age, 130-170 yrs, we found indications that the ejecta has already experienced a noticeable deceleration, indicating the interaction of this young nova shell with the surrounding medium.


title: A Whitehead theorem for periodic homotopy groups

abstract: We show that $v_n$-periodic homotopy groups detect homotopy equivalences between simply-connected finite CW-complexes.


title: The control set of a linear control system on the two dimensional solvable Lie group

abstract: In this paper we explicitly calculate the control sets associated with a linear control system on the two dimensional solvable Lie group. We show that a linear control system of such kind admits exactly one control set or infinite control sets depending on some algebraic conditions.


title: Representation-Oblivious Error Correction by Natural Redundancy

abstract: Storage systems have a strong need for substantially improving their error correction capabilities, especially for long-term storage where the accumulating errors can exceed the decoding threshold of error-correcting codes (ECCs). In this work, a new scheme is presented that uses deep learning to perform soft decoding for noisy files based on their natural redundancy. The soft decoding result is then combined with ECCs for substantially better error correction performance. The scheme is representation-oblivious: it requires no prior knowledge on how data are represented (e.g., mapped from symbols to bits, compressed, and combined with meta data) in different types of files, which makes the solution more convenient to use for storage systems. Experimental results confirm that the scheme can substantially improve the ability to recover data for different types of files even when the bit error rates in the files have significantly exceeded the decoding threshold of the ECC.


title: The discrete cosine transform on triangles

abstract: The discrete cosine transform is a valuable tool in analysis of data on undirected rectangular grids, like images. In this paper it is shown how one can define an analogue of the discrete cosine transform on triangles. This is done by combining algebraic signal processing theory with a specific kind of multivariate Chebyshev polynomials. Using a multivariate Christoffel-Darboux formula it is shown how to derive an orthogonal version of the transform.


title: Dynamics on Hyperspaces

abstract: Given a compact metric space (X; \varrho) and a continuous function f:X\rightarrow X, we study the dynamics of the induced map \bar{f} on the hyperspace of the compact subsets of X. We show how the chain recurrent set of f and its components are related with the one of the induced map. The main result of the paper proves that, under mild conditions, the numbers of chain components of \bar{f} is greater than the ones of f. Showing the richness in the dynamics of \bar{f} which cannot be perceived by f.


title: A Search for Good Pseudo-random Number Generators : Survey and Empirical Studies

abstract: In today's world, several applications demand numbers which appear random but are generated by a background algorithm; that is, pseudo-random numbers. Since late $19^{th}$ century, researchers have been working on pseudo-random number generators (PRNGs). Several PRNGs continue to develop, each one demanding to be better than the previous ones. In this scenario, this paper targets to verify the claim of so-called good generators and rank the existing generators based on strong empirical tests in same platforms. To do this, the genre of PRNGs developed so far has been explored and classified into three groups -- linear congruential generator based, linear feedback shift register based and cellular automata based. From each group, well-known generators have been chosen for empirical testing. Two types of empirical testing has been done on each PRNG -- blind statistical tests with Diehard battery of tests, TestU01 library and NIST statistical test-suite and graphical tests (lattice test and space-time diagram test). Finally, the selected $29$ PRNGs are divided into $24$ groups and are ranked according to their overall performance in all empirical tests.


title: Push-pull direct modeling of solid CAD models

abstract: Direct modeling is a very recent CAD modeling paradigm featuring direct, intuitive push-pull interactions with the geometry of the model to much increase model editing flexibility. The major issue for push-pull direct modeling is the possible inconsistency between the altered geometry of the model and its unchanged topology. The challenge of resolving the geometry-topology inconsistency lies in ensuring that the resulting model remains as a valid solid model and that the model shape follows a continuous change pattern. Although push-pull direct modeling has been implemented in several CAD software packages, robustness towards generating valid modeling results and continuous shape changes still remains an open issue. This paper proposes a systematic method to handle the resolution of any possible inconsistent situation. The method formulates the continuous shape change requirement as successive Boolean operations on the model volume, thereby guaranteeing valid solid models and continuous shape changes. Further, this formulation allows for an easy implementation of push-pull direct modeling using existing CAD research and engineering results. In order to show the effectiveness of the proposed method, a software prototype is developed and the modeling results are compared with those of five leading CAD software packages.


title: An estimation of the greedy algorithm's accuracy for a set cover problem instance

abstract: Considering the set cover problem, by modifying the approach that gives a logarithmic approximation guarantee for the greedy algorithm, we obtain an estimation of the greedy algorithm's accuracy for a particular input. We compare the presented estimation to another estimations of this type. We give such examples of the set cover problem instances that the presented estimation sagnificantly improves over linear programming relaxation based estimation.


title: The biological frontier of pattern formation

abstract: Morphogenetic patterns are highly sophisticated dissipative structures. Are they governed by the same general mechanisms as chemical and hydrodynamic patterns? Turing's symmetry breaking and Wolpert's signalling provide alternative mechanisms. The current evidence points out that the latter is more relevant but reality is still far more complicated.


title: Peccei-Quinn symmetry from a hidden gauge group structure

abstract: We introduce a natural origin of the Peccei-Quinn (PQ) symmetry with a sufficiently good precision. In the standard model, the baryon number symmetry U(1)_B arises accidentally due to the SU(3)_C color gauge symmetry, and it protects the proton from a decay at a sufficient level. Likewise, if there is an SU(N) gauge symmetry in the hidden sector, an accidental hidden baryon number symmetry U(1)_{B_H} can appear. The hidden baryon number is solely obtained by the structure of the SU(N) group. In particular, the quality of the U(1)_{B_H} can be arbitrarily good for an asymptotically-free theory with large enough N. The U(1)_{B_H} can be identified as a PQ symmetry. Using our findings, we build two types of novel composite axion models: a model where only one SU(N) gauge symmetry is required to both guarantee the quality and break the U(1)_{B_H}, and a model with SU(N)xSU(M) gauge symmetry where the exotic quarks responsible to the axion-gluon coupling do not confine into exotic hadrons through the dynamical breaking of the PQ symmetry, and have masses of TeV scales.


title: Quasinormal modes of magnetic black branes at finite 't Hooft coupling

abstract: The aim of this work is to extend the knowledge about Quasinormal Modes (QNMs) and the equilibration of strongly coupled systems, specifically of a quark gluon plasma (which we consider to be in a strong magnetic background field) by using the duality between $\mathcal{N}=4$ Super Yang-Mills (SYM) theory and type IIb Super Gravity (SUGRA) and including higher derivative corrections. The behaviour of the equilibrating system can be seen as the response of the system to tiny excitations. A quark gluon plasma in a strong magnetic background field, as produced for very short times during an actual heavy ion collision, is described holographically by certain metric solutions to $5\text{D}$ Einstein-Maxwell-(Chern-Simons) theory, which can be obtained from type IIb SUGRA. We are going to compute higher derivative corrections to this metric and consider $\alpha'^3$ corrections to tensor-quasinormal modes in this background geometry. We find indications for a strong influence of the magnetic background field on the equilibration behaviour also and especially when we include higher derivative corrections.


title: Two-Dimensional hybrid perovskites sustaining strong polariton interactions at room temperature

abstract: Polaritonic devices exploit the coherent coupling between excitonic and photonic degrees of freedom to perform highly nonlinear operations with low input powers. Most of the current results exploit excitons in epitaxially grown quantum wells and require low temperature operation, while viable alternatives have yet to be found at room temperature. Here we show that large single-crystal flakes of two-dimensional layered perovskite are able to sustain strong polariton nonlinearities at room temperature with no need to be embedded in an optical cavity. In particular, exciton-exciton interaction energies are measured to be remarkably similar to the ones known for inorganic quantum wells at cryogenic temperatures, and more than one order of magnitude larger than alternative room temperature polariton devices reported so far. Thanks to their easy fabrication, large dipolar oscillator strengths and strong nonlinearities, these materials hold great promises to realize actual polariton devices at room temperature.


title: Counting the Number of Quasiplatonic Topological Actions of the Cyclic Group on Surfaces

abstract: Define $QC(n)$ to be the number of quasiplatonic topological actions of the cyclic group $C_n$ on surfaces of genus at least two. We use formulas of Benim and Wootton to give an explicit formula for $QC(n)$. In addition, we relate the number of quasiplatonic topological actions of $C_n$ to the number of regular dessins d'enfants having $C_n$ as a group of automorphisms.


title: The universal C*-algebra of a contraction

abstract: We say that a contractive Hilbert space operator is universal if there is a natural surjection from its generated C*-algebra to the C*-algebra generated by any other contraction. A universal contraction may be irreducible or a direct sum of (even nilpotent) matrices; we sharpen the latter fact and its proof in several ways, including von Neumann-type inequalities for noncommutative *-polynomials. We also record properties of the unique C*-algebra generated by a universal contraction, and we show that it can be used similarly to C*(F_2) in various Kirchberg-like reformulations of Connes' Embedding Problem (some known, some new). Finally we prove some analogous results for universal C*-algebras of noncommuting row contractions and universal Pythagorean C*-algebras.


title: Nonradial normalized solutions for nonlinear scalar field equations

abstract: We study the following nonlinear scalar field equation $$ -\Delta u=f(u)-\mu u, \quad u \in H^1(\mathbb{R}^N) \quad \text{with} \quad \|u\|^2_{L^2(\mathbb{R}^N)}=m. $$ Here $f\in C(\mathbb{R},\mathbb{R})$, $m>0$ is a given constant and $\mu\in\mathbb{R}$ is a Lagrange multiplier. In a mass subcritical case but under general assumptions on the nonlinearity $f$, we show the existence of one nonradial solution for any $N\geq4$, and obtain multiple (sometimes infinitely many) nonradial solutions when $N=4$ or $N\geq6$. In particular, all these solutions are sign-changing.


title: Splenomegaly Segmentation on Multi-modal MRI using Deep Convolutional Networks

abstract: The findings of splenomegaly, abnormal enlargement of the spleen, is a non-invasive clinical biomarker for liver and spleen disease. Automated segmentation methods are essential to efficiently quantify splenomegaly from clinically acquired abdominal magnetic resonance imaging (MRI) scans. However, the task is challenging due to (1) large anatomical and spatial variations of splenomegaly, (2) large inter- and intra-scan intensity variations on multi-modal MRI, and (3) limited numbers of labeled splenomegaly scans. In this paper, we propose the Splenomegaly Segmentation Network (SS-Net) to introduce the deep convolutional neural network (DCNN) approaches in multi-modal MRI splenomegaly segmentation. Large convolutional kernel layers were used to address the spatial and anatomical variations, while the conditional generative adversarial networks (GAN) were employed to leverage the segmentation performance of SS-Net in an end-to-end manner. A clinically acquired cohort containing both T1-weighted (T1w) and T2-weighted (T2w) MRI splenomegaly scans was used to train and evaluate the performance of multi-atlas segmentation (MAS), 2D DCNN networks, and a 3D DCNN network. From the experimental results, the DCNN methods achieved superior performance to the state-of-the-art MAS method. The proposed SS-Net method achieved the highest median and mean Dice scores among investigated baseline DCNN methods.


title: Topological d+s wave superconductors in a multi-orbital quadratic band touching system

abstract: Realization of topological superconductors is one of the most important goals in studies of topological phases in quantum materials. In this work, we theoretically propose a novel way to attain topological superconductors with non-trivial Fermi surfaces of Bogoliubov quasiparticles. Considering the interacting Luttinger model with $j\!=\!3/2$ electrons, we investigate the dominant superconducting channels for a multi-orbital quadratic band-touching system with finite chemical potential, which breaks the particle-hole symmetry in the normal state. Notably, while the system generally favors d-wave pairing, the absence of the particle-hole symmetry necessarily induces parasitic s-wave pairing. Based on the Landau theory with $SO(3)$ symmetry, we demonstrate that two kinds of topological superconductors are energetically favored; uniaxial nematic phase with parasitic $s$ wave pairing ($d_{(3z^2-r^2)}\!+\!s$) and time-reversal-symmetry broken phase with parasitic $s$ wave pairing ($d_{(3z^2-r^2,xy)}\!+\!id_{x^2-y^2}\!+\!s$). These superconductors contain either nodal lines or Fermi pockets of gapless Bogoliubov quasiparticles and moreover exhibit topological winding numbers $\pm2$, leading to non-trivial surface states such as drumhead-like surface states or Fermi arcs. We discuss applications of our theory to relevant families of materials, especially half-heusler compound YPtBi, and suggest possible future experiments.


title: A Microprocessor implemented in 65nm CMOS with Configurable and Bit-scalable Accelerator for Programmable In-memory Computing

abstract: This paper presents a programmable in-memory-computing processor, demonstrated in a 65nm CMOS technology. For data-centric workloads, such as deep neural networks, data movement often dominates when implemented with today's computing architectures. This has motivated spatial architectures, where the arrangement of data-storage and compute hardware is distributed and explicitly aligned to the computation dataflow, most notably for matrix-vector multiplication. In-memory computing is a spatial architecture where processing elements correspond to dense bit cells, providing local storage and compute, typically employing analog operation. Though this raises the potential for high energy efficiency and throughput, analog operation has significantly limited robustness, scale, and programmability. This paper describes a 590kb in-memory-computing accelerator integrated in a programmable processor architecture, by exploiting recent approaches to charge-domain in-memory computing. The architecture takes the approach of tight coupling with an embedded CPU, through accelerator interfaces enabling integration in the standard processor memory space. Additionally, a near-memory-computing datapath both enables diverse computations locally, to address operations required across applications, and enables bit-precision scalability for matrix/input-vector elements, through a bit-parallel/bit-serial (BP/BS) scheme. Chip measurements show an energy efficiency of 152/297 1b-TOPS/W and throughput of 4.7/1.9 1b-TOPS (scaling linearly with the matrix/input-vector element precisions) at VDD of 1.2/0.85V. Neural network demonstrations with 1-b/4-b weights and activations for CIFAR-10 classification consume 5.3/105.2 $\mu$J/image at 176/23 fps, with accuracy at the level of digital/software implementation (89.3/92.4 $\%$ accuracy).


title: Joint Acoustic and Class Inference for Weakly Supervised Sound Event Detection

abstract: Sound event detection is a challenging task, especially for scenes with multiple simultaneous events. While event classification methods tend to be fairly accurate, event localization presents additional challenges, especially when large amounts of labeled data are not available. Task4 of the 2018 DCASE challenge presents an event detection task that requires accuracy in both segmentation and recognition of events while providing only weakly labeled training data. Supervised methods can produce accurate event labels but are limited in event segmentation when training data lacks event timestamps. On the other hand, unsupervised methods that model the acoustic properties of the audio can produce accurate event boundaries but are not guided by the characteristics of event classes and sound categories. We present a hybrid approach that combines an acoustic-driven event boundary detection and a supervised label inference using a deep neural network. This framework leverages benefits of both unsupervised and supervised methodologies and takes advantage of large amounts of unlabeled data, making it ideal for large-scale weakly labeled event detection. Compared to a baseline system, the proposed approach delivers a 15% absolute improvement in F-score, demonstrating the benefits of the hybrid bottom-up, top-down approach.


title: Understanding and Predicting Links in Graphs: A Persistent Homology Perspective

abstract: Persistent Homology is a powerful tool in Topological Data Analysis (TDA) to capture topological properties of data succinctly at different spatial resolutions. For graphical data, shape, and structure of the neighborhood of individual data items (nodes) is an essential means of characterizing their properties. In this paper, we propose the use of persistent homology methods to capture structural and topological properties of graphs and use it to address the problem of link prediction. We evaluate our approach on seven different real-world datasets and offer directions for future work.


title: Painleve equations from Nakajima-Yoshioka blowup relations

abstract: Gamayun, Iorgov and Lisovyy in 2012 proposed that tau function of the Painlev\'e equation is equal to the series of $c=1$ Virasoro conformal blocks. We study similar series of $c=-2$ conformal blocks and relate it to Painlev\'e theory. The arguments are based on Nakajima-Yoshioka blowup relations on Nekrasov partition functions. We also study series of $q$-deformed $c=-2$ conformal blocks and relate it to $q$-Painlev\'e equation. As an application, we prove formula for the tau function of $q$-Painlev\'e $A_7^{(1)'}$ equation.


title: Heat, Work and Energy Currents in the Boundary-Driven XXZ Spin Chain

abstract: We address the detailed study of the energy current and its components, heat and work, in the boundary-driven 1D XXZ quantum model. We carry out the investigation by considering two different approaches present in the literature. First, we take the repeated interaction scheme and derive the expressions for the currents of heat and work, exchanged between system and baths. Then, we perform the derivation of the energy current by means of a Lindblad master equation together with a continuity equation, another approach which is recurrently used. A comparison between the obtained expressions allows us to show the consistency of both approaches, and, in the latter expression derived from the Lindblad equation, it allows us to split the energy, which comes from the baths to the system, into heat and work. The recognition of work in the process, that is recurrently ignored in studies of transport, enables us to understand thermodynamical aspects and to solve some imbroglios in the physics behind the energy current in the XXZ spin chain.


title: Polynomial-time Approximation Scheme for Minimum k-cut in Planar and Minor-free Graphs

abstract: The $k$-cut problem asks, given a connected graph $G$ and a positive integer $k$, to find a minimum-weight set of edges whose removal splits $G$ into $k$ connected components. We give the first polynomial-time algorithm with approximation factor $2-\epsilon$ (with constant $\epsilon > 0$) for the $k$-cut problem in planar and minor-free graphs. Applying more complex techniques, we further improve our method and give a polynomial-time approximation scheme for the $k$-cut problem in both planar and minor-free graphs. Despite persistent effort, to the best of our knowledge, this is the first improvement for the $k$-cut problem over standard approximation factor of $2$ in any major class of graphs.


title: Extension of projection mappings

abstract: We show that a map between projection lattices of semi-finite von Neumann algebras can be extended to a Jordan $*$-homomorphism between the von Neumann algebras if this map is defined in terms of the support projections of images (under the linear map) of projections and the images of orthogonal projections have orthogonal support projections. This has numerous fundamental applications in the study of isometries and composition operators on quantum symmetric spaces and is of independent interest, since it provides a partial generalization of Dye's Theorem without the requirement that the initial von Neumann algebra be free of type $I_2$ summands.


title: Effective diffusion coefficients in reaction-diffusion systems with anomalous transport

abstract: We show that the Turing patterns in reaction systems with subdiffusion can be replicated in an effective system with Markovian cross-diffusion. The effective system has the same Turing instability as the original system, and the same patterns. If particles are short-lived, the transient dynamics are captured as well. We use the cross-diffusive system to define effective diffusion coefficients for the system with anomalous transport, and we show how they can be used to efficiently describe the Turing instability. We also demonstrate that the mean squared displacement of a suitably defined ensemble of subdiffusing particles grows linearly with time, with a diffusion coefficient which agrees with our earlier calculations. We verify these deductions by numerically integrating both the fractional reaction-diffusion equation and its normally diffusing counterpart. Our findings suggest that cross-diffusive behaviour can come about as a result of anomalous transport.


title: Cusp Universality for Random Matrices II: The Real Symmetric Case

abstract: We prove that the local eigenvalue statistics of real symmetric Wigner-type matrices near the cusp points of the eigenvalue density are universal. Together with the companion paper [arXiv:1809.03971], which proves the same result for the complex Hermitian symmetry class, this completes the last remaining case of the Wigner-Dyson-Mehta universality conjecture after bulk and edge universalities have been established in the last years. We extend the recent Dyson Brownian motion analysis at the edge [arXiv:1712.03881] to the cusp regime using the optimal local law from [arXiv:1809.03971] and the accurate local shape analysis of the density from [arXiv:1506.05095, arXiv:1804.07752]. We also present a PDE-based method to improve the estimate on eigenvalue rigidity via the maximum principle of the heat flow related to the Dyson Brownian motion.


title: Noise-induced distortion of nonequilibrium oscillator mean limit cycle

abstract: Under general conditions imposed on an active stochastic oscillator, we study change in the size and shape of its average limit cycle as a function of temperature. Such dynamics occur in a multitude of nonequilibrium systems, including the spontaneous oscillations of hair cells of the inner ear. We demonstrate one of the many mechanisms through which distortion of the mean curve may occur and identify regions in the driven oscillator phase space susceptible to corner-cutting due to noise. This we infer causes rounding of certain sharp features in the noiseless curve given by the underlying complex theoretical model, making them inaccessible under any amount of averaging of the experimentally obtained finite-temperature trajectory.


title: Engineering Quantum Interference

abstract: A model for describing interference and diffraction of wave functions of one-dimensional Josephson array interferometers is presented. The derived expression for critical current modulations accounts for an arbitrary number of square junctions, variable distance between these, and variable size of their area. Predictions are tested on real arrays containing up to 20 equally spaced and identical junctions and on arrays shaped with peculiar geometries. Very good agreement with the modulations predicted by the model and the experimental results is obtained for all the tested configurations. It is shown that specific designs of the arrays generate significant differences in their static and dynamical (non-zero voltage) properties. The results demonstrate that the magnetic field dependence of Josephson supercurrents shows how interference and diffraction of macroscopic quantum wavefunctions can be manipulated and controlled.


title: Bernstein-von Mises theorems and uncertainty quantification for linear inverse problems

abstract: We consider the statistical inverse problem of recovering an unknown function $f$ from a linear measurement corrupted by additive Gaussian white noise. We employ a nonparametric Bayesian approach with standard Gaussian priors, for which the posterior-based reconstruction of $f$ corresponds to a Tikhonov regulariser $\bar f$ with a reproducing kernel Hilbert space norm penalty. We prove a semiparametric Bernstein-von Mises theorem for a large collection of linear functionals of $f$, implying that semiparametric posterior estimation and uncertainty quantification are valid and optimal from a frequentist point of view. The result is applied to study three concrete examples that cover both the mildly and severely ill-posed cases: specifically, an elliptic inverse problem, an elliptic boundary value problem and the heat equation. For the elliptic boundary value problem, we also obtain a nonparametric version of the theorem that entails the convergence of the posterior distribution to a prior-independent infinite-dimensional Gaussian probability measure with minimal covariance. As a consequence, it follows that the Tikhonov regulariser $\bar f$ is an efficient estimator of $f$, and we derive frequentist guarantees for certain credible balls centred at $\bar{f}$.


title: Pure $\mathcal{O}$-sequences arising from $2$-dimensional PS ear-decomposable simplicial complexes

abstract: We show that the $h$-vector of a $2$-dimensional PS ear-decomposable simplicial complex is a pure $\mathcal{O}$-sequence. This provides a strengthening of Stanley's conjecture for matroid $h$-vectors in rank $3$. Our approach modifies the approach of combinatorial shifting for arbitrary simplicial complexes to the setting of $2$-dimensional PS ear-decomposable complexes, which allows us to greedily construct a corresponding pure multicomplex.


title: Automated Multi-Label Classification based on ML-Plan

abstract: Automated machine learning (AutoML) has received increasing attention in the recent past. While the main tools for AutoML, such as Auto-WEKA, TPOT, and auto-sklearn, mainly deal with single-label classification and regression, there is very little work on other types of machine learning tasks. In particular, there is almost no work on automating the engineering of machine learning applications for multi-label classification. This paper makes two contributions. First, it discusses the usefulness and feasibility of an AutoML approach for multi-label classification. Second, we show how the scope of ML-Plan, an AutoML-tool for multi-class classification, can be extended towards multi-label classification using MEKA, which is a multi-label extension of the well-known Java library WEKA. The resulting approach recursively refines MEKA's multi-label classifiers, which sometimes nest another multi-label classifier, up to the selection of a single-label base learner provided by WEKA. In our evaluation, we find that the proposed approach yields superb results and performs significantly better than a set of baselines.


title: A model for a dark matter core at the galactic center

abstract: We consider a toy model for the supermassive compact object at the galactic center that does not require the presence of a black hole. We assume a matter distribution of weakly interacting particles with a density profile inferred from dark matter profiles in the outer regions. We show that rotation curves close to the center of the Milky Way galaxy can be explained within this model. We also show that the motion of test particles (stars) at distances of the order of 100 astronomical units can not be distinguished from the motion of corresponding particles in the Schwarzschild geometry. However, differences arise at shorter distances, suggesting that it could be possible to observationally test the validity of the model in the near future.


title: A note on simultaneous representation problem for interval and circular-arc graphs

abstract: In this short note, we show two NP-completeness results regarding the \emph{simultaneous representation problem}, introduced by Lubiw and Jampani. The simultaneous representation problem for a given class of intersection graphs asks if some $k$ graphs can be represented so that every vertex is represented by the same interval in each representation. We prove that it is NP-complete to decide this for the class of interval and circular-arc graphs in the case when $k$ is a part of the input and graphs are not in a sunflower position.


title: On convexity and solution concepts in cooperative interval games

abstract: Cooperative interval game is a cooperative game in which every coalition gets assigned some closed real interval. This models uncertainty about how much the members of a coalition get for cooperating together. In this paper we study convexity, core and the Shapley value of games with interval uncertainty. Our motivation to do so is twofold. First, we want to capture which properties are preserved when we generalize concepts from classical cooperative game theory to interval games. Second, since these generalizations can be done in different ways, mainly with regard to the resulting level of uncertainty, we try to compare them and show their relation to each other.


title: Block Belief Propagation for Parameter Learning in Markov Random Fields

abstract: Traditional learning methods for training Markov random fields require doing inference over all variables to compute the likelihood gradient. The iteration complexity for those methods therefore scales with the size of the graphical models. In this paper, we propose \emph{block belief propagation learning} (BBPL), which uses block-coordinate updates of approximate marginals to compute approximate gradients, removing the need to compute inference on the entire graphical model. Thus, the iteration complexity of BBPL does not scale with the size of the graphs. We prove that the method converges to the same solution as that obtained by using full inference per iteration, despite these approximations, and we empirically demonstrate its scalability improvements over standard training methods.


title: Two Party Distribution Testing: Communication and Security

abstract: We study the problem of discrete distribution testing in the two-party setting. For example, in the standard closeness testing problem, Alice and Bob each have $t$ samples from, respectively, distributions $a$ and $b$ over $[n]$, and they need to test whether $a=b$ or $a,b$ are $\epsilon$-far for some fixed $\epsilon>0$. This is in contrast to the well-studied one-party case, where the tester has unrestricted access to samples of both distributions, for which optimal bounds are known for a number of variations. Despite being a natural constraint in applications, the two-party setting has evaded attention so far. We address two fundamental aspects: 1) what is the communication complexity, and 2) can it be accomplished securely, without Alice and Bob learning extra information about each other's input. Besides closeness testing, we also study the independence testing problem, where Alice and Bob have $t$ samples from distributions $a$ and $b$ respectively, which may be correlated; the question is whether $a,b$ are independent of $\epsilon$-far from being independent. Our contribution is three-fold: 1) Communication: we show how to gain communication efficiency with more samples, beyond the information-theoretic bound on $t$. The gain is polynomially better than what one obtains by adapting standard algorithms. 2) Lower bounds: we prove tightness of our protocols for the closeness testing, and for the independence testing when the number of samples is unbounded. These lower bounds are of independent interest as these are the first 2-party communication lower bounds for testing problems. 3) Security: we define secure distribution testing and argue that it must leak at least some minimal information. We then provide secure versions of the above protocols with an overhead that is only polynomial in the security parameter.


title: Open minimal strings and open Gelfand-Dickey hierarchies

abstract: We study the connection between minimal Liouville string theory and generalized open KdV hierarchies. We are interested in generalizing Douglas string equation formalism to the open topology case. We show that combining the results of the closed topology, based on the Frobenius manifold structure and resonance transformations, with the appropriate open case modification, which requires the insertion of macroscopic loop operators, we reproduce the well-known result for the expectation value of a bulk operator for the FZZT brane coupled to the general (q,p) minimal model. The matching of the results of the two setups gives new evidence of the connection between minimal Liouville gravity and the theory of Topological Gravity.


title: Benefits of Coded Placement for Networks with Heterogeneous Cache Sizes

abstract: In this work, we study coded placement in caching systems where the users have unequal cache sizes and demonstrate its performance advantage. In particular, we propose a caching scheme with coded placement for three-user systems that outperforms the best caching scheme with uncoded placement. In our proposed scheme, users cache both uncoded and coded pieces of the files, and the coded pieces at the users with large memories are decoded using the unicast/multicast signals intended to serve users with smaller memories. Furthermore, we extend the proposed scheme to larger systems and show the reduction in delivery load with coded placement compared to uncoded placement.


title: Homogeneous almost K\"ahler manifolds and the Chern-Einstein equation

abstract: Given a non compact semisimple Lie group $G$ we describe all homogeneous spaces $G/L$ carrying an invariant almost K\"ahler structure $(\omega,J)$. When $L$ is abelian and $G$ is of classical type, we classify all such spaces which are Chern-Einstein, i.e. which satisfy $\rho = \lambda\omega$ for some $\lambda\in\mathbb R$, where $\rho$ is the Ricci form associated to the Chern connection.


title: Digital quantum simulation of molecular vibrations

abstract: Molecular vibrations underpin important phenomena such as spectral properties, energy transfer, and molecular bonding. However, obtaining a detailed understanding of the vibrational structure of even small molecules is computationally expensive. While several algorithms exist for efficiently solving the electronic structure problem on a quantum computer, there has been comparatively little attention devoted to solving the vibrational structure problem with quantum hardware. In this work, we discuss the use of quantum algorithms for investigating both the static and dynamic vibrational properties of molecules. We introduce a physically motivated unitary vibrational coupled cluster ansatz, which also makes our method accessible to noisy, near-term quantum hardware. We numerically test our proposals for the water and sulfur dioxide molecules.


title: Min-max theory for networks of constant geodesic curvature

abstract: We prove that on a closed surface, for any $c>0$, our min-max theory for prescribing mean curvature produces a solution given by a curve of constant geodesic curvature $c$ which is almost embedded, except for finitely many points, at which the solution is a stationary junction with integer density. Moreover, each smooth segment has multiplicity one. The key is a classification of blowups which is new even for $c=0$.


title: Investigating the noise residuals around the gravitational wave event GW150914

abstract: We use the Pearson cross-correlation statistic proposed by Liu and Jackson, and employed by Creswell et al., to look for statistically significant correlations between the LIGO Hanford and Livingston detectors at the time of the binary black hole merger GW150914. We compute this statistic for the calibrated strain data released by LIGO, using both the residuals provided by LIGO and using our own subtraction of a maximum-likelihood waveform that is constructed to model binary black hole mergers in general relativity. To assign a significance to the values obtained, we calculate the cross-correlation of both simulated Gaussian noise and data from the LIGO detectors at times during which no detection of gravitational waves has been claimed. We find that after subtracting the maximum likelihood waveform there are no statistically significant correlations between the residuals of the two detectors at the time of GW150914.