title: Predicting US State-Level Agricultural Sentiment as a Measure of Food Security with Tweets from Farming Communities

abstract: The ability to obtain accurate food security metrics in developing areas where relevant data can be sparse is critically important for policy makers tasked with implementing food aid programs. As a result, a great deal of work has been dedicated to predicting important food security metrics such as annual crop yields using a variety of methods including simulation, remote sensing, weather models, and human expert input. As a complement to existing techniques in crop yield prediction, this work develops neural network models for predicting the sentiment of Twitter feeds from farming communities. Specifically, we investigate the potential of both direct learning on a small dataset of agriculturally-relevant tweets and transfer learning from larger, well-labeled sentiment datasets from other domains (e.g.~politics) to accurately predict agricultural sentiment, which we hope would ultimately serve as a useful crop yield predictor. We find that direct learning from small, relevant datasets outperforms transfer learning from large, fully-labeled datasets, that convolutional neural networks broadly outperform recurrent neural networks on Twitter sentiment classification, and that these models perform substantially less well on ternary sentiment problems characteristic of practical settings than on binary problems often found in the literature.


title: Kinetic Analysis of Illite Dehydroxylation Based on Differential Scanning Calorimetry

abstract: The two-step dehydroxylation of illite is studied using the differential scanning calorimetry on powder samples with heating rates from 1 to 10 ${\deg}$C min$^{-1}$ in a dynamic argon atmosphere. The values of apparent activation energy and pre-exponential factor are calculated using the Kissinger method. The determined values of apparent activation energy and pre-exponential factor of trans-vacant layer dehydroxylation are $(227 \pm 6)$ kJ mol$^{-1}$ and $(2.87 \pm 0.09) \times 10^{13}$ min$^{-1}$, respectively. The results also show that this process can be characterized by 1D diffusion controlled reaction with instantaneous nucleation rate. For the cis-vacant layer dehydroxylation, the values of apparent activation energy and pre-exponential factor are $(242 \pm 10)$ kJ mol$^{-1}$ and $(5.37 \pm 0.23) \times 10^{12}$ min$^{-1}$, respectively. The value of Avrami peak factor for this step indicates diffusion controlled growth of the new phase with zero or decreasing nucleation rate.


title: Planetesimal Population Synthesis: Pebble Flux Regulated Planetesimal Formation

abstract: We propose an expression for a local planetesimal formation rate proportional to the instantaneous radial pebble flux. The result --- a radial planetesimal distribution --- can be used as initial condition to study the formation of planetary embryos. We follow the idea that one needs particle traps to locally enhance the dust-to-gas ratio sufficiently such that particle gas interactions can no longer prevent planetesimal formation on small scales. The location of these traps can emerge everywhere in the disk. Their occurrence and lifetime is subject of ongoing research, thus they are implemented via free parameters. This enables us to study the influence of the disk properties on the formation of planetesimals, predicting their time dependent formation rates and location of primary pebble accretion. We show that large $\alpha$-values of $0.01$ (strong turbulence) prevent the formation of planetesimals in the inner part of the disk, arguing for lower values of around $0.001$ (moderate turbulence), at which planetesimals form quickly at all places where they are needed for proto-planets. Planetesimals form as soon as dust has grown to pebbles ($\sim\mathrm{mm}$ to $\mathrm{dm}$) and the pebble flux reaches a critical value, which is after a few thousand years at $2-3\,$AU and after a few hundred thousand years at $20-30\,$AU. Planetesimal formation lasts until the pebble supply has decreased below a critical value. The final spatial planetesimal distribution is steeper compared to the initial dust and gas distribution which helps to explain the discrepancy between the minimum mass solar nebula and viscous accretion disks.


title: Directional Regularized Tensor Modeling for Video Rain Streaks Removal

abstract: Outdoor videos sometimes contain unexpected rain streaks due to the rainy weather, which bring negative effects on subsequent computer vision applications, e.g., video surveillance, object recognition and tracking, etc. In this paper, we propose a directional regularized tensor-based video deraining model by taking into consideration the arbitrary direction of rain streaks. In particular, the sparsity of rain streaks in spatial and derivative domains, the spatiotemporal sparsity and low-rank property of video background are incorporated into the proposed method. Different from many previous methods under the assumption of vertically falling rain streaks, we consider a more realistic assumption that all the rain streaks in a video fall in an approximately similar arbitrary direction. The resulting complicated optimization problem will be effectively solved through an alternating direction method. Comprehensive experiments on both synthetic and realistic datasets have demonstrated the superiority of the proposed deraining method.


title: A Combinatorial Solution to Causal Compatibility

abstract: Within the field of causal inference, it is desirable to learn the structure of causal relationships holding between a system of variables from the correlations that these variables exhibit; a sub-problem of which is to certify whether or not a given causal hypothesis is compatible with the observed correlations. A particularly challenging setting for assessing causal compatibility is in the presence of partial information; i.e. when some of the variables are hidden/latent. This paper introduces the possible worlds framework as a method for deciding causal compatibility in this difficult setting. We define a graphical object called a possible worlds diagram, which compactly depicts the set of all possible observations. From this construction, we demonstrate explicitly, using several examples, how to prove causal incompatibility. In fact, we use these constructions to prove causal incompatibility where no other techniques have been able to. Moreover, we prove that the possible worlds framework can be adapted to provide a complete solution to the possibilistic causal compatibility problem. Even more, we also discuss how to exploit graphical symmetries and cross-world consistency constraints in order to implement a hierarchy of necessary compatibility tests that we prove converges to sufficiency.


title: pizza: An open-source pseudo-spectral code for spherical quasi-geostrophic convection

abstract: We present a new pseudo-spectral open-source code nicknamed pizza. It is dedicated to the study of rapidly-rotating Boussinesq convection under the 2-D spherical quasi-geostrophic approximation, a physical hypothesis that is appropriate to model the turbulent convection that develops in planetary interiors. The code uses a Fourier decomposition in the azimuthal direction and supports both a Chebyshev collocation method and a sparse Chebyshev integration formulation in the cylindrically-radial direction. It supports several temporal discretisation schemes encompassing multi-step time steppers as well as diagonally-implicit Runge-Kutta schemes. The code has been tested and validated by comparing weakly-nonlinear convection with the eigenmodes from a linear solver. The comparison of the two radial discretisation schemes has revealed the superiority of the Chebyshev integration method over the classical collocation approach both in terms of memory requirements and operation counts. The good parallelisation efficiency enables the computation of large problem sizes with $\mathcal{O}(10^4\times 10^4)$ grid points using several thousands of ranks. This allows the computation of numerical models in the turbulent regime of quasi-geostrophic convection characterised by large Reynolds $Re$ and yet small Rossby numbers $Ro$. A preliminary result obtained for a strongly supercritical numerical model with a small Ekman number of $10^{-9}$ and a Prandtl number of unity yields $Re\simeq 10^5$ and $Ro \simeq 10^{-4}$. pizza is hence an efficient tool to study spherical quasi-geostrophic convection in a parameter regime inaccessible to current global 3-D spherical shell models.

categories: physics.flu-dyn astro-ph.EP physics.comp-ph physics.geo-ph


title: Analysis and Detection of Information Types of Open Source Software Issue Discussions

abstract: Most modern Issue Tracking Systems (ITSs) for open source software (OSS) projects allow users to add comments to issues. Over time, these comments accumulate into discussion threads embedded with rich information about the software project, which can potentially satisfy the diverse needs of OSS stakeholders. However, discovering and retrieving relevant information from the discussion threads is a challenging task, especially when the discussions are lengthy and the number of issues in ITSs are vast. In this paper, we address this challenge by identifying the information types presented in OSS issue discussions. Through qualitative content analysis of 15 complex issue threads across three projects hosted on GitHub, we uncovered 16 information types and created a labeled corpus containing 4656 sentences. Our investigation of supervised, automated classification techniques indicated that, when prior knowledge about the issue is available, Random Forest can effectively detect most sentence types using conversational features such as the sentence length and its position. When classifying sentences from new issues, Logistic Regression can yield satisfactory performance using textual features for certain information types, while falling short on others. Our work represents a nontrivial first step towards tools and techniques for identifying and obtaining the rich information recorded in the ITSs to support various software engineering activities and to satisfy the diverse needs of OSS stakeholders.


title: Towards Edge-assisted Internet of Things: From Security and Efficiency Perspectives

abstract: As we are moving towards the Internet of Things (IoT) era, the number of connected physical devices is increasing at a rapid pace. Mobile edge computing is emerging to handle the sheer volume of produced data and reach the latency demand of computation-intensive IoT applications. Although the advance of mobile edge computing on service latency is studied solidly, security and efficiency on data usage in mobile edge computing have not been clearly identified. In this article, we examine the architecture of mobile edge computing and explore the potentials of utilizing mobile edge computing to enhance data analysis for IoT applications, while achieving data security and computational efficiency. Specifically, we first introduce the overall architecture and several promising edge-assisted IoT applications. We then study the security, privacy and efficiency challenges in data processing for mobile edge computing, and discuss the opportunities to enhance data security and improve computational efficiency with the assistance of edge computing, including secure data aggregation, secure data deduplication and secure computational offloading. Finally, several interesting directions on edge-empowered data analysis are presented for future research.


title: Development of a Real-Time Software-Defined Radio GPS Receiver Exploiting a LabVIEW-based Instrumentation Environment

abstract: The ubiquitousness of location based services (LBS) has proven effective for many applications such as commercial, military, and emergency responders. Software-defined radio (SDR) has emerged as an adequate framework for development and testing of global navigational satellite systems (GNSS) such as the Global Position System (GPS). SDR receivers are constantly developing in terms of acceleration factors and accurate algorithms for precise user navigation. However, many SDR options for GPS receivers currently lack real-time operation or could be costly. This paper presents a LabVIEW (LV) and C/C++ based GPS L1 receiver platform with real-time capabilities. The system relies on LV acceleration factors as well as other C/C++ techniques such as dynamic link library (DLL) integration into LV and parallelizable loop structures, and single input multiple data (SIMD) methods which leverage host PC multi-purpose processors. A hardware testbed is presented for compactness and mobility, as well as software functionality and data flow handling inherent in LV environment. Benchmarks and other real-time results are presented as well as compared against other state-of-the-art open-source GPS receivers.


title: Two arguments for more fundamental building blocks

abstract: We present two lines of reasoning, leading to elementary constituents more fundamental than the ones we know. One such arguments is new, and based on the holographic maximal bound for the number of degrees of freedom of any system. In this case, both matter and space are emergent. The other argument is old, and was given by Richard Feynman as a possible explanation of why analog systems do describe the same physics. The former argument naturally points to a solution of the information paradox. The latter argument elevates analogs from mere curiosities, to reliable tests of fundamental theories. Amusingly, the names given to this fundamental level, both by Feynman and by some of the modern quantum gravity researchers, e.g., Jacob Bekenstein, resemble each others: ``Xons'' (Feynman) vs ``level X'' (Bekenstein).


title: Induced character in equivariant K-theory and wreath products

abstract: Let $G$ be a finite group, $X$ be a compact $G$-space. In this note we study the $(\mathbb{Z}_ + \times\mathbb{Z}/2\mathbb{Z})$-graded algebra $$\mathcal{F}^q_G(X) = \bigoplus_{n\geq0} q^n \cdot K_{G\wr\mathfrak{S}_n}(X^n)\otimes\mathbb{C},$$ defined in terms of equivariant K-theory with respect to wreath products as a symmetric algebra. More specifically, let $H$ be another finite group and $Y$ be a compact $H$-space, we give a decomposition of $\mathcal{F}^q_{G\times H}(X\times Y)$ in terms of $\mathcal{F}^q_G(X)$ and $\mathcal{F}^q_H(Y)$. For this, we need to study the representation theory of pullbacks of groups. We discuss also some applications of the above result to equivariant connective K-homology.


title: On the bi-Lipschitz geometry of lamplighter graphs

abstract: In this article we start a systematic study of the bi-Lipschitz geometry of lamplighter graphs. We prove that lamplighter graphs over trees bi-Lipschitzly embed into Hamming cubes with distortion at most~$6$. It follows that lamplighter graphs over countable trees bi-Lipschitzly embed into $\ell_1$. We study the metric behaviour of the operation of taking the lamplighter graph over the vertex-coalescence of two graphs. Based on this analysis, we provide metric characterizations of superreflexivity in terms of lamplighter graphs over star graphs or rose graphs. Finally, we show that the presence of a clique in a graph implies the presence of a Hamming cube in the lamplighter graph over it. An application is a characterization in terms of a sequence of graphs with uniformly bounded degree of the notion of trivial Bourgain-Milman-Wolfson type for arbitrary metric spaces, similar to Ostrovskii's characterization previously obtained in \cite{ostrovskii:11}.


title: Why replica symmetry breaking does not occur below six dimensions in Ising spin glasses

abstract: The leading term for the average height of the barriers which could separate pure states in Ising spin glasses is calculated using instanton methods. It is finite in dimensions $d < 6$. Replica symmetry breaking requires that the barriers between pure states are infinite in the thermodynamic limit, as finite barriers allow thermal mixing of pure states. As a consequence, a replica symmetry broken phase cannot survive when $d < 6$. However, for $d > 6$ no similar instanton solution exists.


title: Homogenization of Non-Local Navier-Stokes-Korteweg Equations for Compressible Liquid-Vapour Flow in Porous Media

abstract: We consider a nonlocal version of the quasi-static Navier-Stokes-Korteweg equations with a non-monotone pressure law. This system governs the low-Reynolds number dynamics of a compressible viscous fluid that may take either a liquid or a vapour state. For a porous domain that is perforated by cavities with diameter proportional to their mutual distance the homogenization limit is analyzed. We extend the results for compressible one-phase flow with polytropic pressure laws and prove that the effective motion is governed by a nonlocal version of the Cahn-Hilliard equation. Crucial for the analysis is the convolution-like structure of the nonlocal capillarity term that allows to equip the system with a generalized convex free energy. Moreover, the capillarity term accounts not only for the energetic interaction within the fluid but also for the interaction with a solid wall boundary.


title: Spectrum of the $uudc \bar c$ hidden charm pentaquark with an SU(4) flavor-spin hyperfine interaction

abstract: We study a few of the lowest states of the pentaquark $uudc\overline{c}$, of positive and negative parity, in a constituent quark model with an SU(4) flavor-spin hyperfine interaction. For positive parity we introduce space wave functions of appropriate permutation symmetry with one unit of orbital angular momentum in the internal motion of the four-quark subsystem or an orbital excitation between the antiquark and the four quark subsystem which remains in the ground state. We show that the lowest positive parity states $1/2^+, 3/2^+$ are provided by the first alternative and are located below the $1/2^-$ and the $1/2^+$ states with all quarks in the ground state. We compare our results with the LHCb three narrow pentaquark structures reported in 2019.


title: Cost-Sensitive Diagnosis and Learning Leveraging Public Health Data

abstract: Traditionally, machine learning algorithms rely on the assumption that all features of a given dataset are available for free. However, there are many concerns such as monetary data collection costs, patient discomfort in medical procedures, and privacy impacts of data collection that require careful consideration in any real-world health analytics system. An efficient solution would only acquire a subset of features based on the value it provides while considering acquisition costs. Moreover, datasets that provide feature costs are very limited, especially in healthcare. In this paper, we provide a health dataset as well as a method for assigning feature costs based on the total level of inconvenience asking for each feature entails. Furthermore, based on the suggested dataset, we provide a comparison of recent and state-of-the-art approaches to cost-sensitive feature acquisition and learning. Specifically, we analyze the performance of major sensitivity-based and reinforcement learning based methods in the literature on three different problems in the health domain, including diabetes, heart disease, and hypertension classification.


title: Buckling instability in tidally induced galactic bars

abstract: Strong galactic bars produced in simulations tend to undergo a period of buckling instability that weakens and thickens them and forms a boxy/peanut structure in their central parts. This theoretical prediction has been confirmed by identifying such morphologies in real galaxies. The nature and origin of this instability remains however poorly understood with some studies claiming it to be due to fire-hose instability while others relating it to vertical instability of stellar orbits supporting the bar. One of the channels for the formation of galactic bars is via the interaction of disky galaxies with perturbers of significant mass. Tidally induced bars offer a unique possibility of studying buckling instability because their formation can be controlled by changing the strength of the interaction while keeping the initial structure of the galaxy the same. We use a set of four simulations of flyby interactions where a galaxy on a prograde orbit forms a bar, which is stronger for stronger tidal forces. We study their buckling by calculating different kinematic signatures, including profiles of the mean velocity in vertical direction, as well as distortions of the bars out of the disk plane. Although our two strongest bars buckle most strongly, there is no direct relation between the ratio of vertical to horizontal velocity dispersion and the bar's susceptibility to buckling, as required by the fire-hose instability interpretation. While our weakest bar buckles, a stronger one does not, its dispersion ratio remains low and it grows to become the strongest of all at the end of evolution. Instead, we find that during buckling the resonance between the vertical and radial orbital frequencies becomes wide and therefore able to modify stellar orbits over a significant range of radii. We conclude that the vertical orbital instability is the more plausible explanation for the origin of buckling.


title: Adaptive Cross-Modal Few-Shot Learning

abstract: Metric-based meta-learning techniques have successfully been applied to few-shot classification problems. In this paper, we propose to leverage cross-modal information to enhance metric-based few-shot learning methods. Visual and semantic feature spaces have different structures by definition. For certain concepts, visual features might be richer and more discriminative than text ones. While for others, the inverse might be true. Moreover, when the support from visual information is limited in image classification, semantic representations (learned from unsupervised text corpora) can provide strong prior knowledge and context to help learning. Based on these two intuitions, we propose a mechanism that can adaptively combine information from both modalities according to new image categories to be learned. Through a series of experiments, we show that by this adaptive combination of the two modalities, our model outperforms current uni-modality few-shot learning methods and modality-alignment methods by a large margin on all benchmarks and few-shot scenarios tested. Experiments also show that our model can effectively adjust its focus on the two modalities. The improvement in performance is particularly large when the number of shots is very small.


title: Reflexivity of Newton-Okounkov bodies of partial flag varieties

abstract: Assume that the valuation semigroup $\Gamma(\lambda)$ of an arbitrary partial flag variety corresponding to the line bundle $\mathcal L_\lambda$ constructed via a full-rank valuation is finitely generated and saturated. We use Ehrhart theory to prove that the associated Newton-Okounkov body, which happens to be a rational, convex polytope, contains exactly one lattice point in its interior if and only if $\mathcal L_\lambda$ is the anticanonical line bundle. Furthermore we use this unique lattice point to construct the dual polytope of the Newton-Okounkov body and prove that this dual is a lattice polytope using a result by Hibi. This leads to an unexpected, necessary and sufficient condition for the Newton-Okounkov body to be reflexive.


title: Design and Control of a Quasi-Direct Drive Soft Exoskeleton for Knee Injury Prevention during Squatting

abstract: This paper presents design and control innovations of wearable robots that tackle two barriers to widespread adoption of powered exoskeletons, namely restriction of human movement and versatile control of wearable co-robot systems. First, the proposed quasi-direct drive actuation comprising of our customized high torque density motors and low ratio transmission mechanism significantly reduces the mass of the robot and produces high backdrivability. Second, we derive a biomechanics model-based control that generates biological torque profile for versatile control of both squat and stoop lifting assistance. The control algorithm detects lifting postures using compact inertial measurement unit (IMU) sensors to generate an assistive profile that is proportional to the biological torque produced from our model. Experimental results demonstrate that the robot exhibits low mechanical impedance (1.5 Nm resistive torque) when it is unpowered and 0.5 Nm resistive torque with zero-torque tracking control. Root mean square (RMS) error of torque tracking is less than 0.29 Nm (1.21% error of 24 Nm peak torque). Compared with squatting without the exoskeleton, the controller reduces 87.5%, 80% and 75% of the of three knee extensor muscles (average peak EMG of 3 healthy subjects) during squat with 50% of biological torque assistance.


title: AligNet: Alignment of Protein-Protein Interaction Networks

abstract: One of the most difficult problems difficult problem in systems biology is to discover protein-protein interactions as well as their associated functions. The analysis and alignment of protein-protein interaction networks (PPIN), which are the standard model to describe protein-protein interactions, has become a key ingredient to obtain functional orthologs as well as evolutionary conserved pathways and protein complexes. Several methods have been proposed to solve the PPIN alignment problem, aimed to match conserved subnetworks or functionally related proteins. However, the right balance between considering network topology and biological information is one of the most difficult and key points in any PPIN alignment algorithm which, unfortunately, remains unsolved. Therefore, in this work, we propose AligNet, a new method and software tool for the pairwise global alignment of PPIN that produces biologically meaningful alignments and more efficient computations than state-of-the-art methods and tools, by achieving a good balance between structural matching and protein function conservation as well as reasonable running times.


title: Imprints of an extended Chevallier-Polarski-Linder parametrization on the large scale of our universe

abstract: In the present work we perform a systematic analysis of a new dark energy parametrization and its various corrections at first and higher orders around the presence epoch $z=0$, where the first order correction of this dark energy parametrization recovers the known Chevallier-Polarski-Linder model. We have considered up to the third order corrections of this parametrization and investigate the models at the level of background and perturbations. The models have been constrained using the latest astronomical datasets from a series of potential astronomical data, such as the cosmic microwave background observations, baryon acoustic oscillations measurements, recent Pantheon sample of the supernova type Ia and the Hubble parameter measurements. From the analyses we found that all parametrization favor the quintessential character of the dark energy equation of state where the phantom crossing is marginally allowed (within 68\% CL). Finally, we perform the Bayesian analysis using \texttt{MCEvidence} to quantify the statistical deviations of the parametrizations compared to the standard $\Lambda$CDM cosmology. The Bayesian analysis reports that $\Lambda $CDM is favored over all the DE parametrizations.


title: Sums of integers and sums of their squares

abstract: Suppose a positive integer $n$ is written as a sum of squares of $m$ integers. What can one say about the value $T$ of the sum of these $m$ integers itself? Which $T$ can be obtained if one considers all possible representations of $n$ as a sum of squares of $m$ integers? Denoting this set of all possible $T$ by $\mathscr{S}_m(n)$, Goldmakher and Pollack have given a simple characterization of $\mathscr{S}_4(n)$ using elementary arguments. Their result can be reinterpreted in terms of Mordell's theory of representations of binary integral quadratic forms as sums of squares of integral linear forms. Based on this approach, we characterize $\mathscr{S}_m(n)$ for all $m\leq 11$ and provide a few partial results for arbitrary $m$. We also show how Mordell's results can be used to study variations of the original problem where the sum of the integers is replaced by a linear form in these integers. In this way, we recover and generalize earlier results by Z.W. Sun et. al..


title: A novel repetition normalized adversarial reward for headline generation

abstract: While reinforcement learning can effectively improve language generation models, it often suffers from generating incoherent and repetitive phrases \cite{paulus2017deep}. In this paper, we propose a novel repetition normalized adversarial reward to mitigate these problems. Our repetition penalized reward can greatly reduce the repetition rate and adversarial training mitigates generating incoherent phrases. Our model significantly outperforms the baseline model on ROUGE-1\,(+3.24), ROUGE-L\,(+2.25), and a decreased repetition-rate (-4.98\%).


title: Global Convergence of Adaptive Gradient Methods for An Over-parameterized Neural Network

abstract: Adaptive gradient methods like AdaGrad are widely used in optimizing neural networks. Yet, existing convergence guarantees for adaptive gradient methods require either convexity or smoothness, and, in the smooth setting, only guarantee convergence to a stationary point. We propose an adaptive gradient method and show that for two-layer over-parameterized neural networks -- if the width is sufficiently large (polynomially) -- then the proposed method converges \emph{to the global minimum} in polynomial time, and convergence is robust, \emph{ without the need to fine-tune hyper-parameters such as the step-size schedule and with the level of over-parametrization independent of the training error}. Our analysis indicates in particular that over-parametrization is crucial for the harnessing the full potential of adaptive gradient methods in the setting of neural networks.


title: A Soft High Force Hand Exoskeleton for Rehabilitation and Assistance of Spinal Cord Injury and Stroke Individuals

abstract: Individuals with spinal cord injury (SCI) and stroke who is lack of manipulation capability have a particular need for robotic hand exoskeletons. Among assistive and rehabilitative medical exoskeletons, there exists a sharp trade-off between device power on the one hand and ergonomics and portability on other, devices that provide stronger grasping assistance do so at the cost of patient comfort. This paper proposes using fin-ray inspired, cable-driven finger orthoses to generate high fingertip forces without the painful compressive and shear stresses commonly associated with conventional cable-drive exoskeletons. With combination cable-driven transmission and segmented-finger orthoses, the exoskeleton transmitted larger forces and applied torques discretely to the fingers, leading to strong fingertip forces. A prototype of the finger orthoses and associated cable transmission was fabricated, and force transmission tests of the prototype in the finger flexion mode demonstrated a 2:1 input-output ratio between cable tension and fingertip force, with a maximum fingertip force of 22 N. Moreover, the proposed design provides a comfortable experience for wearers thanks to its lightweight and conformal properties to the hands.


title: Isogeometric analysis of linear free-surface potential flow

abstract: This paper presents a novel variational formulation to simulate linear free-surface flow. The variational formulation is suitable for higher-order finite elements and higher-order and higher-continuity shape functions as employed in Isogeometric Analysis (IGA). The novel formulation combines the interior and free-surface problems in one monolithic formulation. This leads to exact energy conservation and superior performance in terms of accuracy when compared to a traditional segregated formulation. This is confirmed by the numerical computation of traveling waves in a periodic domain and a three-dimensional sloshing problem. The isogeometric approach shows significant improved performance compared to traditional finite elements. Even on very coarse quadratic NURBS meshes the dispersion error is virtually absent.


title: Sequential Synthesis of Distributed Controllers for Cascade Interconnected Systems

abstract: We consider the problem of designing distributed controllers to ensure passivity of a large-scale interconnection of linear subsystems connected in a cascade topology. The control design process needs to be carried out at the subsystem-level with no direct knowledge of the dynamics of other subsystems in the interconnection. We present a distributed approach to solve this problem, where subsystem-level controllers are locally designed in a sequence starting at one end of the cascade using only the dynamics of the particular subsystem, coupling with the immediately preceding subsystem and limited information from the preceding subsystem in the cascade to ensure passivity of the interconnected system up to that point. We demonstrate that this design framework also allows for new subsystems to be compositionally added to the interconnection without requiring redesign of the pre-existing controllers.


title: An entropic feature selection method in perspective of Turing formula

abstract: Health data are generally complex in type and small in sample size. Such domain-specific challenges make it difficult to capture information reliably and contribute further to the issue of generalization. To assist the analytics of healthcare datasets, we develop a feature selection method based on the concept of Coverage Adjusted Standardized Mutual Information (CASMI). The main advantages of the proposed method are: 1) it selects features more efficiently with the help of an improved entropy estimator, particularly when the sample size is small, and 2) it automatically learns the number of features to be selected based on the information from sample data. Additionally, the proposed method handles feature redundancy from the perspective of joint-distribution. The proposed method focuses on non-ordinal data, while it works with numerical data with an appropriate binning method. A simulation study comparing the proposed method to six widely cited feature selection methods shows that the proposed method performs better when measured by the Information Recovery Ratio, particularly when the sample size is small.


title: Wave Chaos in a Cavity of Regular Geometry with Tunable Boundaries

abstract: Wave chaotic systems underpin a wide range of research activities, from fundamental studies of quantum chaos via electromagnetic compatibility up to more recently emerging applications like microwave imaging for security screening, antenna characterisation or wave-based analog computation. To implement a wave chaotic system experimentally, traditionally cavities of elaborate geometries (bowtie shapes, truncated circles, parallelepipeds with hemispheres) are employed because the geometry dictates the wave field's characteristics. Here, we propose and experimentally verify a radically different paradigm: a cavity of regular geometry but with tunable boundary conditions, experimentally implemented by leveraging a reconfigurable metasurface. Our results set new foundations for the use and the study of chaos in wave physics.


title: Multiscale analysis of the effect of surface charge pattern on a nanopore's rectification and selectivity properties: from all-atom model to Poisson-Nernst-Planck

abstract: We report a multiscale modeling study for charged cylindrical nanopores using three modeling levels that include (1) an all-atom explicit-water model studied with molecular dynamics (MD), and reduced models with implicit water containing (2) hard-sphere ions studied with the Local Equilibrium Monte Carlo simulation method (computing ionic correlations accurately), and (3) point ions studied with Poisson-Nernst-Planck (PNP) theory (mean-field approximation). We show that reduced models are able to reproduce device functions (rectification and selectivity) for a wide variety of charge patterns; that is, reduced models are useful in understanding the mesoscale physics of the device (i.e., how the current is produced). We also analyze the relationship of the reduced implicit-water models with the explicit-water model and show that diffusion coefficients in the reduced models can be used as adjustable parameters with which the results of the explicit- and implicit-water models can be related. We find that the values of the diffusion coefficients are sensitive to the net charge of the pore, but are relatively transferable to different voltages and charge patterns with the same total charge.


title: Few-Bit CSI Acquisition for Centralized Cell-Free Massive MIMO with Spatial Correlation

abstract: The availability and accuracy of Channel State Information (CSI) play a crucial role for coherent detection in almost every communication system. Particularly in the recently proposed cell-free massive MIMO system, in which a large number of distributed Access Points (APs) is connected to a Central processing Unit (CPU) for joint decoding, acquiring CSI at the CPU may improve performance through the use of detection algorithms such as minimum mean square error (MMSE) or zero forcing (ZF). There are also significant challenges, especially the increase in fronthaul load arising from the transfer of high precision CSI, with the resulting complexity and scalability issues. In this paper, we address these CSI acquisition problems by utilizing vector quantization with precision of only a few bits and we show that the accuracy of the channel estimate at the CPU can be increased by exploiting the spatial correlation subject to this limited fronthaul load. Further, we derive an estimator for the simple \emph{Quantize-and-Estimate} (QE) strategy based on the Bussgang theorem and compare its performance to \emph{Estimate-and-Quantize} (EQ) in terms of Mean Squared Error (MSE). Our simulation results indicate that the QE with few-bit vector quantization can outperform EQ and individual scalar quantization at moderate SNR for small numbers of bits per dimension.


title: Bayesian Exploration with Heterogeneous Agents

abstract: It is common in recommendation systems that users both consume and produce information as they make strategic choices under uncertainty. While a social planner would balance "exploration" and "exploitation" using a multi-armed bandit algorithm, users' incentives may tilt this balance in favor of exploitation. We consider Bayesian Exploration: a simple model in which the recommendation system (the "principal") controls the information flow to the users (the "agents") and strives to incentivize exploration via information asymmetry. A single round of this model is a version of a well-known "Bayesian Persuasion game" from [Kamenica and Gentzkow]. We allow heterogeneous users, relaxing a major assumption from prior work that users have the same preferences from one time step to another. The goal is now to learn the best personalized recommendations. One particular challenge is that it may be impossible to incentivize some of the user types to take some of the actions, no matter what the principal does or how much time she has. We consider several versions of the model, depending on whether and when the user types are reported to the principal, and design a near-optimal "recommendation policy" for each version. We also investigate how the model choice and the diversity of user types impact the set of actions that can possibly be "explored" by each type.


title: Onsager's conjecture in bounded domains for the conservation of entropy and other companion laws

abstract: We show that weak solutions of general conservation laws in bounded domains conserve their generalized entropy, and other respective companion laws, if they possess a certain fractional differentiability of order 1/3 in the interior of the domain, and if the normal component of the corresponding fluxes tend to zero as one approaches the boundary. This extends various recent results of the authors.


title: Distributed Network Caching via Dynamic Programming

abstract: Next-generation communication networks are envisioned to extensively utilize storage-enabled caching units to alleviate unfavorable surges of data traffic by pro-actively storing anticipated highly popular contents across geographically distributed storage devices during off-peak periods. This resource pre-allocation is envisioned not only to improve network efficiency, but also to increase user satisfaction. In this context, the present paper designs optimal caching schemes for \textit{distributed caching} scenarios. In particular, we look at networks where a central node (base station) communicates with a number of "regular" nodes (users or pico base stations) equipped with \textit{local storage} infrastructure. Given the spatio-temporal dynamics of content popularities, and the decentralized nature of our setup, the problem boils down to select what, when and \textit{where} to cache. To address this problem, we define fetching and caching prices that vary across contents, time and space, and formulate a global optimization problem which aggregates the costs across those three domains. The resultant optimization is solved using decomposition and dynamic programming techniques, and a reduced-complexity algorithm is finally proposed. Preliminary simulations illustrating the behavior of our algorithm are finally presented.


title: Analysis of full disc Ca II K spectroheliograms. II. Towards an accurate assessment of long-term variations in plage areas

abstract: Reconstructions of past irradiance variations require suitable data on solar activity. The longest direct proxy is the sunspot number, and it has been most widely employed for this purpose. These data, however, only provide information on the surface magnetic field emerging in sunspots, while a suitable proxy of the evolution of the bright magnetic features, specifically faculae/plage and network, is missing. This information can potentially be extracted from the historical full-disc observations in the Ca II K line. We have analysed over 100,000 historical images from 8 digitised photographic archives of the Arcetri, Kodaikanal, McMath-Hulbert, Meudon, Mitaka, Mt Wilson, Schauinsland, and Wendelstein observatories, as well as one archive of modern observations from the Rome/PSPT. The analysed data cover the period 1893--2018. We first performed careful photometric calibration and compensation for the centre-to-limb variation, and then segmented the images to identify plage regions. This has been consistently applied to both historical and modern observations. The plage series derived from different archives are generally in good agreement with each other. However, there are also clear deviations that most likely hint at intrinsic differences in the data and their digitisation. We showed that accurate image processing significantly reduces errors in the plage area estimates. Accurate photometric calibration also allows precise plage identification on images from different archives without the need to arbitrarily adjust the segmentation parameters. Finally, by comparing the plage area series from the various records, we found the conversion laws between them. This allowed us to produce a preliminary composite of the plage areas obtained from all the datasets studied here. This is a first step towards an accurate assessment of the long-term variation of plage regions.


title: Elementary-base cirquent calculus II: Choice quantifiers

abstract: Cirquent calculus is a novel proof theory permitting component-sharing between logical expressions. Using it, the predecessor article "Elementary-base cirquent calculus I: Parallel and choice connectives" built the sound and complete axiomatization CL16 of a propositional fragment of computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). The atoms of the language of CL16 represent elementary, i.e., moveless, games, and the logical vocabulary consists of negation, parallel connectives and choice connectives. The present paper constructs the first-order version CL17 of CL16, also enjoying soundness and completeness. The language of CL17 augments that of CL18 by including choice quantifiers. Unlike classical predicate calculus, CL17 turns out to be decidable.


title: Direct Determination of Band Gap Renormalization in Photo-Excited Monolayer MoS2

abstract: A key feature of monolayer semiconductors, such as transition-metal dichalcogenides, is the poorly screened Coulomb potential, which leads to large exciton binding energy (Eb) and strong renormalization of the quasiparticle bandgap (Eg) by carriers. The latter has been difficult to determine due to cancellation in changes of Eb and Eg, resulting in little change in optical transition energy at different carrier densities. Here we quantify bandgap renormalization in macroscopic single crystal MoS2 monolayers on SiO2 using time and angle resolved photoemission spectroscopy (TR-ARPES). At excitation density above the Mott threshold, Eg decreases by as much as 360 meV. We compare the carrier density dependent Eg with previous theoretical calculations and show the necessity of knowing both doping and excitation densities in quantifying the bandgap.


title: Analytical study of the holographic superconductor from higher derivative theory

abstract: In this paper, we analytically study the holographic superconductor models with the high derivative (HD) coupling terms. Using the Sturm-Liouville (SL) eigenvalue method, we perturbatively calculate the critical temperature. The analytical results are in good agreement with the numerical results. It confirms that the perturbative method in terms of the HD coupling parameters is available. Along the same line, we analytically calculate the value of the condensation near the critical temperature. We find that the phase transition is second order with mean field behavior, which is independent of the HD coupling parameters. Then in the low temperature limit, we also calculate the conductivity, which is qualitatively consistent with the numerical one. We find that the superconducting energy gap is proportional to the value of the condensation. But we note that since the condensation changes with the HD coupling parameters, as the function of the HD coupling parameters, the superconducting energy gap follows the same change trend as that of the condensation.


title: Sub-ns timing accuracy for satellite quantum communications

abstract: Satellite quantum communications have rapidly evolved in the past few years, culminating in the proposal, development, and deployment of satellite missions dedicated to quantum key distribution and the realization of fundamental tests of quantum mechanics in space. However, in comparison with the more mature technology based on fiber optics, several challenges are still open, such as the capability of detecting, with high temporal accuracy, single photons coming from orbiting terminals. Satellite laser ranging, commonly used to estimate satellite distance, could also be exploited to overcome this challenge. For example, high repetition rates and a low background noise can be obtained by determining the time-of-flight of faint laser pulses that are retro-reflected by geodynamics satellites and then detected on Earth at the single-photon level. Here we report an experiment with regard to achieving a temporal accuracy of approximately 230 ps in the detection of an optical signal of few photons per pulse reflected by satellites in medium Earth orbit, at a distance exceeding 7500 km, by using commercially available detectors. Lastly, the performance of the Matera Laser Ranging Observatory is evaluated in terms of the detection rate and the signal-to-noise ratio for satellite quantum communications.


title: A Light Calibration System for the ProtoDUNE-DP Detector

abstract: A LED-based fiber calibration system for the ProtoDUNE-Dual Phase (DP) photon detection system (PDS) has been designed and validated. ProtoDUNE-DP is a 6x6x6 m3 liquid argon time-projection-chamber currently being installed at the Neutrino Platform at CERN. The PDS is based on 36 8-inch photomultiplier tubes (PMTs) and will allow triggering on cosmic rays. The system serves as prototype for the PDS of the final DUNE DP far detector in which the PDS also has the function to allow the 3D event reconstruction on non-beam physics. For this purpose an equalized PMT response is desirable to allow using the same threshold definition for all PMT groups, simplifying the determination of the trigger efficiency. The light calibration system described in this paper is developed to provide this and to monitor the PMT performance in-situ.


title: Direct imaging of orbitals in quantum materials

abstract: The spectacular physical properties of quantum materials based on transition metal, rare earth, and actinide elements continue to challenge our comprehension of solid state physics and chemistry. The electronic states of these materials are dominated by the $d$ and $f$ wave functions intertwined with the strong band formation of the solid. In order to estimate which wave functions contribute to the ground state formation, we have had to rely, until now, on theoretical calculations combined with spectroscopy. Here we show that $s$-core-level non-resonant inelastic x-ray scattering ($s$-NIXS) can directly image the active orbital in real space, without the necessity of any modeling. The power and accuracy of this new technique is shown using the text-book example, x$^2$-y$^2$/3$z^2$-r$^2$ orbital of the Ni$^{2+}$ ion in NiO single crystal.


title: The Essential Role of Thermodynamics in metabolic network modeling: physical insights and computational challenges

abstract: Quantitative studies of cell metabolism are often based on large chemical reaction network models. A steady state approach is suited to analyze phenomena on the timescale of cell growth and circumvents the problem of incomplete experimental knowledge on kinetic laws and parameters, but it shall be supported by a correct implementation of thermodynamic constraints. In this article we review the latter aspect highlighting its computational challenges and physical insights. The simple introduction of Gibbs inequalities avoids the presence of unfeasible loops allowing for correct timescale analysis but leads to possibly non-convex feasible flux spaces, whose exploration needs efficient algorithms. We shorty review on the implementation of thermodynamics through variational principles in constraints based models of metabolic networks.

categories: q-bio.MN cond-mat.stat-mech q-bio.BM q-bio.CB q-bio.QM


title: High-Precision X-ray Timing of Three Millisecond Pulsars with NICER: Stability Estimates and Comparison with Radio

abstract: The Neutron Star Interior Composition Explorer (NICER) is an X-ray astrophysics payload on the International Space Station. It enables unprecedented high-precision timing of millisecond pulsars without the pulse broadening and delays due to dispersion and scattering within the interstellar medium that plague radio timing. We present initial timing results from a year of data on the millisecond pulsars PSR B1937+21 and PSR J0218+4232, and nine months of data on PSR B1821-24. NICER time-of-arrival uncertainties for the three pulsars are consistent with theoretical lower bounds and simulations based on their pulse shape templates and average source and background photon count rates. To estimate timing stability, we use the $\sigma_z$ measure, which is based on the average of the cubic coefficients of polynomial fits to subsets of timing residuals. So far we are achieving timing stabilities $\sigma_z \approx 3 \times 10^{-14}$ for PSR B1937+21 and on the order of $10^{-12}$ for PSRs B1821$-$24 and J0218+4232. Within the span of our \textit{NICER} data we do not yet see the characteristic break point in the slope of $\sigma_z$; detection of such a break would indicate that further improvement in the cumulative root-mean-square (RMS) timing residual is limited by timing noise. We see this break point in our comparison radio data sets for PSR B1821-24 and PSR B1937+21 on time scales of $> 2$ years.


title: Theory of Images and Quantum Mechanics, a common Paradigm

abstract: The Paradigms introduced in philosophy of science one century ago are shown to be quite more satisfactory of that introduced by Galileo. This is particularly evident in the physics based on Hilbert Spaces and related mathematical structures that we apply in this paper to Quantum Mechanics and to Theory of Images. An exhaustive discussion, that include the algebraic analysis of the operators acting on them, exhibits that the Hilbert Spaces -- that have fixed dimension -- must be generalized to the Rigged Hilbert Spaces that contains right inside spaces with continuous and discrete dimensions. This is the property of Rigged Hilbert Spaces that allows a consistent formal description of the physics we are considering. Theory of Quantum Mechanics and of Images are similar and the fundamental difference between them come from the definition of measure that is outside the theory of the spaces: while in Quantum Mechanics the measure is a probabilistic action, in Images it is a classical functional. KEYWORDS: Optics, Quantum Mechanics, Rigged Hilbert Spaces, Lie Algebras


title: The random field XY model on sparse random graphs shows replica symmetry breaking and marginally stable ferromagnetism

abstract: The ferromagnetic XY model on sparse random graphs in a randomly oriented field is analyzed via the belief propagation algorithm. At variance with the fully connected case and with the random field Ising model on the same topology, we find strong evidences of a tiny region with Replica Symmetry Breaking (RSB) in the limit of very low temperatures. This RSB phase is robust against different choices of the external field direction, while it rapidly vanishes when increasing the graph mean degree, the temperature or the directional bias in the external field. The crucial ingredients to have such a RSB phase seem to be the continuous nature of vector spins, mostly preserved by the O(2)-invariant random field, and the strong spatial heterogeneity, due to graph sparsity. We also uncover that the ferromagnetic phase can be marginally stable despite the presence of the random field. Finally, we study the proper correlation functions approaching the critical points to identify the ones that become more critical.


title: Estimating Network Effects Using Naturally Occurring Peer Notification Queue Counterfactuals

abstract: Randomized experiments, or A/B tests are used to estimate the causal impact of a feature on the behavior of users by creating two parallel universes in which members are simultaneously assigned to treatment and control. However, in social network settings, members interact, such that the impact of a feature is not always contained within the treatment group. Researchers have developed a number of experimental designs to estimate network effects in social settings. Alternatively, naturally occurring exogenous variation, or 'natural experiments,' allow researchers to recover causal estimates of peer effects from observational data in the absence of experimental manipulation. Natural experiments trade off the engineering costs and some of the ethical concerns associated with network randomization with the search costs of finding situations with natural exogenous variation. To mitigate the search costs associated with discovering natural counterfactuals, we identify a common engineering requirement used to scale massive online systems, in which natural exogenous variation is likely to exist: notification queueing. We identify two natural experiments on the LinkedIn platform based on the order of notification queues to estimate the causal impact of a received message on the engagement of a recipient. We show that receiving a message from another member significantly increases a member's engagement, but that some popular observational specifications, such as fixed-effects estimators, overestimate this effect by as much as 2.7x. We then apply the estimated network effect coefficients to a large body of past experiments to quantify the extent to which it changes our interpretation of experimental results. The study points to the benefits of using messaging queues to discover naturally occurring counterfactuals for the estimation of causal effects without experimenter intervention.


title: Lagrangian densities of short 3-uniform linear paths and Tur\'an numbers of their extensions

abstract: For a fixed positive integer $n$ and an $r$-uniform hypergraph $H$, the Tur\'an number $ex(n,H)$ is the maximum number of edges in an $H$-free $r$-uniform hypergraph on $n$ vertices, and the Lagrangian density of $H$ is defined as $\pi_{\lambda}(H)=\sup \{r! \lambda(G) : G \;\text{is an}\; H\text{-free} \;r\text{-uniform hypergraph}\}$, where $\lambda(G)$ is the Lagrangian of $G$. For an $r$-uniform hypergraph $H$ on $t$ vertices, it is clear that $\pi_{\lambda}(H)\ge r!\lambda{(K_{t-1}^r)}$. We say that an $r$-uniform hypergraph $H$ on $t$ vertices is perfect if $\pi_{\lambda}(H)= r!\lambda{(K_{t-1}^r)}$. Let $P_t=\{e_1, e_2, \dots, e_t\}$ be the linear $3$-uniform path of length $t$, that is, $|e_i|=3$, $|e_i \cap e_{i+1}|=1$ and $e_i \cap e_j=\emptyset$ if $|i-j|\ge 2$. We show that $P_3$ and $P_4$ are perfect, this supports a conjecture in \cite{yanpeng} proposing that all $3$-uniform linear hypergraphs are perfect. Applying the results on Lagrangian densities, we determine the Tur\'an numbers of their extensions.


title: Thermodynamics of Bose gases from functional renormalization with a hydrodynamic low-energy effective action

abstract: The functional renormalization group for the effective action is used to construct an effective hydrodynamic description of weakly interacting Bose gases. We employ a scale-dependent parametrization of the boson fields developed previously to start the renormalization evolution in a Cartesian representation at high momenta and interpolate to an amplitude-phase one in the low-momentum regime. This technique is applied to Bose gases in one, two and three dimensions, where we study thermodynamic quantities such as the pressure and energy per particle. The interpolation leads to a very natural description of the Goldstone modes in the physical limit, and compares well to analytic and Monte-Carlo simulations at zero temperature. The results show that our method improves aspects of the description of low-dimensional systems, with stable results for the superfluid phase in two dimensions and even in one dimension.


title: The Templates for Some Classes of Quaternary Matroids

abstract: Subject to hypotheses based on the matroid structure theory of Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the class of golden-mean matroids and several other closely related classes of quaternary matroids. This leads to a determination of the eventual extremal functions for these classes. One of the main tools for obtaining these results is the notion of a frame template. Consequently, we also study frame templates in significant depth.


title: Recovery of a mixture of Gaussians by sum-of-norms clustering

abstract: Sum-of-norms clustering is a method for assigning $n$ points in $\mathbb{R}^d$ to $K$ clusters, $1\le K\le n$, using convex optimization. Recently, Panahi et al.\ proved that sum-of-norms clustering is guaranteed to recover a mixture of Gaussians under the restriction that the number of samples is not too large. The purpose of this note is to lift this restriction, i.e., show that sum-of-norms clustering with equal weights can recover a mixture of Gaussians even as the number of samples tends to infinity. Our proof relies on an interesting characterization of clusters computed by sum-of-norms clustering that was developed inside a proof of the agglomeration conjecture by Chiquet et al. Because we believe this theorem has independent interest, we restate and reprove the Chiquet et al.\ result herein.


title: Who started this rumor? Quantifying the natural differential privacy guarantees of gossip protocols

abstract: Gossip protocols are widely used to disseminate information in massive peer-to-peer networks. These protocols are often claimed to guarantee privacy because of the uncertainty they introduce on the node that started the dissemination. But is that claim really true? Can the source of a gossip safely hide in the crowd? This paper examines, for the first time, gossip protocols through a rigorous mathematical framework based on differential privacy to determine the extent to which the source of a gossip can be traceable. Considering the case of a complete graph in which a subset of the nodes are curious, we study a family of gossip protocols parameterized by a ``muting'' parameter $s$: nodes stop emitting after each communication with a fixed probability $1-s$. We first prove that the standard push protocol, corresponding to the case $s=1$, does not satisfy differential privacy for large graphs. In contrast, the protocol with $s=0$ achieves optimal privacy guarantees but at the cost of a drastic increase in the spreading time compared to standard push, revealing an interesting tension between privacy and spreading time. Yet, surprisingly, we show that some choices of the muting parameter $s$ lead to protocols that achieve an optimal order of magnitude in both privacy and speed. We also confirm empirically that, with appropriate choices of $s$, we indeed obtain protocols that are very robust against concrete source location attacks while spreading the information almost as fast as the standard (and non-private) push protocol.


title: Relational analysis of the Frauchiger--Renner paradox and interaction-free detection of records from the past

abstract: We present an analysis of the Frauchiger-Renner Gedankenexperiment from the point of view of the relational interpretation of quantum mechanics. Our analysis shows that the paradox obtained by Frauchiger and Renner disappears if one rejects promoting one agent's certainty to another agent's certainty when it cannot be validated by records from the past. A by-product of our analysis is an interaction-free detection scheme for the existence of such records.


title: Algebraic aspects of solving Ring-LWE, including ring-based improvements in the Blum-Kalai-Wasserman algorithm

abstract: We provide a reduction of the Ring-LWE problem to Ring-LWE problems in subrings, in the presence of samples of a restricted form (i.e. $(a,b)$ such that $a$ is restricted to a multiplicative coset of the subring). To create and exploit such restricted samples, we propose Ring-BKW, a version of the Blum-Kalai-Wasserman algorithm which respects the ring structure. Off-the-shelf BKW dimension reduction (including coded-BKW and sieving) can be used for the reduction phase. Its primary advantage is that there is no need for back-substitution, and the solving/hypothesis-testing phase can be parallelized. We also present a method to exploit symmetry to reduce table sizes, samples needed, and runtime during the reduction phase. The results apply to two-power cyclotomic Ring-LWE with parameters proposed for practical use (including all splitting types).


title: Finite-size criteria for spectral gaps in $D$-dimensional quantum spin systems

abstract: We generalize the existing finite-size criteria for spectral gaps of frustration-free spin systems to $D>2$ dimensions. We obtain a local gap threshold of $\frac{3}{n}$, independent of $D$, for nearest-neighbor interactions. The $\frac{1}{n}$ scaling persists for arbitrary finite-range interactions in $\mathbb Z^3$. The key observation is that there is more flexibility in Knabe's combinatorial approach if one employs the operator Cauchy-Schwarz inequality.

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


title: Moduli of curves on Enriques surfaces

abstract: We compute the number of moduli of all irreducible components of the moduli space of smooth curves on Enriques surfaces. In most cases, the moduli maps to the moduli space of Prym curves are generically injective or dominant. Exceptional behaviour is related to existence of Enriques--Fano threefolds and to curves with nodal Prym-canonical model.


title: Completeness of Graphical Languages for Mixed States Quantum Mechanics

abstract: There exist several graphical languages for quantum information processing, like quantum circuits, ZX-Calculus, ZW-Calculus, etc. Each of these languages forms a dagger-symmetric monoidal category (dagger-SMC) and comes with an interpretation functor to the dagger-SMC of (finite dimension) Hilbert spaces. In the recent years, one of the main achievements of the categorical approach to quantum mechanics has been to provide several equational theories for most of these graphical languages, making them complete for various fragments of pure quantum mechanics. We address the question of the extension of these languages beyond pure quantum mechanics, in order to reason on mixed states and general quantum operations, i.e. completely positive maps. Intuitively, such an extension relies on the axiomatisation of a discard map which allows one to get rid of a quantum system, operation which is not allowed in pure quantum mechanics. We introduce a new construction, the discard construction, which transforms any dagger-symmetric monoidal category into a symmetric monoidal category equipped with a discard map. Roughly speaking this construction consists in making any isometry causal. Using this construction we provide an extension for several graphical languages that we prove to be complete for general quantum operations. However this construction fails for some fringe cases like the Clifford+T quantum mechanics, as the category does not have enough isometries.


title: On the Properties of Phononic Eigenvalue Problems

abstract: In this paper, we consider the operator properties of various phononic eigenvalue problems. We aim to answer some fundamental questions about the eigenvalues and eigenvectors of phononic operators. These include questions about the potential real and complex nature of the eigenvalues, whether the eigenvectors form a complete basis, what are the right orthogonality relationships, and how to create a complete basis when none may exist at the outset. In doing so we present a unified understanding of the properties of the phononic eigenvalues and eigenvectors which would emerge from any numerical method employed to compute such quantities. We show that the phononic problem can be cast into linear eigenvalue forms from which such quantities as frequencies, wavenumbers, and desired components of wavevectors can be directly ascertained without resorting to searches or quadratic eigenvalue problems and that the relevant properties of such quantities can be determined apriori through the analysis of the associated operators. We further show how the Plane Wave Expansion (PWE) method may be extended to solve each of these eigenvalue forms, thus extending the applicability of the PWE method to cases beyond those which have been considered till now. The theoretical discussions are supplemented with supporting numerical calculations. The techniques and results presented here directly apply to wave propagation in other periodic systems such as photonics.


title: Constructing Subspace Packings from Other Packings

abstract: The desirable properties when constructing collections of subspaces often include the algebraic constraint that the projections onto the subspaces yield a resolution of the identity like the projections onto lines spanned by vectors of an orthonormal basis (the so-called tightness condition) and the geometric constraint that the subspaces form an optimal packing of the Grassmannian, again like the one-dimensional subspaces spanned by vectors in an orthonormal basis. In this article a generalization of related constructions which use known packings to build new configurations and which appear in numerous forms in the literature is given, as well as the characterization of a long list of desirable algebraic and geometric properties which the construction preserves. Another construction based on subspace complementation is similarly analyzed. While many papers on subspace packings focus only on so-called equiisoclinic or equichordal arrangements, attention is also given to other configurations like those which saturate the orthoplex bound and thus are optimal but lie outside of the parameter regime where equiisoclinic and equichordal packings can occur. Keywords: fusion frame, Grassmannian packing, simplex bound, orthoplex bound, equichordal, strongly simplicial, equiisoclinic


title: Gaussian Concentration bound for potentials satisfying Walters condition with subexponential continuity rates

abstract: We consider the full shift $T:\Omega\to\Omega$ where $\Omega=A^{\mathbb N}$, $A$ being a finite alphabet. For a class of potentials which contains in particular potentials $\phi$ with variation decreasing like $O(n^{-\alpha})$ for some $\alpha>2$, we prove that their corresponding equilibrium state $\mu_\phi$ satisfies a Gaussian concentration bound. Namely, we prove that there exists a constant $C>0$ such that, for all $n$ and for all separately Lipschitz functions $K(x_0,\ldots,x_{n-1})$, the exponential moment of $K(x,\ldots,T^{n-1}x)-\int K(y,\ldots,T^{n-1}y)\, \mathrm{d}\mu_\phi(y)$ is bounded by $\exp\big(C\sum_{i=0}^{n-1}\mathrm{Lip}_i(K)^2\big)$. The crucial point is that $C$ is independent of $n$ and $K$. We then derive various consequences of this inequality. For instance, we obtain bounds on the fluctuations of the empirical frequency of blocks, the speed of convergence of the empirical measure, and speed of Markov approximation of $\mu_\phi$. We also derive an almost-sure central limit theorem.


title: Measuring the growth of structure with intensity mapping surveys

abstract: Line intensity mapping offers a new avenue for constraining cosmological parameters in the high redshift Universe. However measurements of the growth of structure, a sensitive probe of gravity, are affected by a well known degeneracy with astrophysical parameters, encoded in the mean brightness temperature of the specific line. In this work we show how to break this degeneracy, to a level that could allow constraints of the amplitude of cosmological fluctuations at the percent level, using information in the mildly non-linear regime of structure formation as described by Lagrangian Perturbation Theory. We focus on the 21-cm line with forecasts for HIRAX and the proposed Stage II experiment as illustrations.


title: Brewster quasi bound states in the continuum in all-dielectric metasurfaces from single magnetic-dipole resonance meta-atoms

abstract: Bound states in the continuum (BICs) are ubiquitous in many areas of physics, attracting especial interest for their ability to confine waves with infinite lifetimes. Metasurfaces provide a suitable platform to realize them in photonics; such BICs are remarkably robust, being however complex to tune in frequency-wavevector space.Here we propose a scheme to engineer BICs and quasi-BICs with single magnetic-dipole resonance meta-atoms. Upon changing the orientation of the magnetic-dipole resonances, we show that the resulting quasi-BICs,emerging from the symmetry-protected BIC at normal incidence, become transparent for plane-wave illumination exactly at the magnetic-dipole angle, due to a Brewster-like effect. While yielding infinite Q-factors at normalincidence(canonical BIC), these are termed Brewster quasi-BICs since a transmission channel is always allowed that slightly widens resonances at oblique incidences. This is demonstrated experimentally through reflectance measurements in the microwave regime with high-refractive-index mm-disk metasurfaces. Such Brewster-inspired configuration is a plausible scenario to achieve quasi-BICs throughout the electromagnetic spectrum inaccessible through plane-wave illumination at given angles, which could be extrapolated to other kind of waves.


title: An ultra-low-power sigma-delta neuron circuit

abstract: Neural processing systems typically represent data using leaky integrate and fire (LIF) neuron models that generate spikes or pulse trains at a rate proportional to their input amplitudes. This mechanism requires high firing rates when encoding time-varying signals, leading to increased power consumption. Neuromorphic systems that use adaptive LIF neuron models overcome this problem by encoding signals in the relative timing of their output spikes rather than their rate. In this paper, we analyze recent adaptive LIF neuron circuit implementations and highlight the analogies and differences between them and a first-order sigma-delta feedback loop. We propose a new sigma-delta neuron circuit that addresses some of the limitations in existing implementations and present simulation results that quantify the improvements. We show that the new circuit, implemented in a 1.8 V, 180 nm CMOS process, offers up to 42 dB signal-to-distortion ratio and consumes orders of magnitude lower energy. Finally, we also demonstrate how the sigma-delta interpretation enables mapping of real-valued recurrent neural network to the spiking framework to emphasize the envisioned application of the proposed circuit.


title: Investigation of liquid lines as terahertz emitters under ultrashort optical excitation

abstract: Recently, there has been growing interest in terahertz (THz) wave generation from liquids under optical excitation. Here, we propose and demonstrate the use of liquid lines in place of liquid films as THz emitters to boost THz signals. The geometry of the emitter eliminates the total internal reflection at the flat liquid-air interface. In addition, we observe that the polarity of the liquid has a significant influence on the THz wave generation. Alpha-pinene, a nonpolar liquid, offers much stronger THz radiation than water does. Besides paving the way to develop intense liquid THz sources, our work indicates that THz waves could be a tool for the further study of laser-liquid interaction.


title: Emergent Coordination Through Competition

abstract: We study the emergence of cooperative behaviors in reinforcement learning agents by introducing a challenging competitive multi-agent soccer environment with continuous simulated physics. We demonstrate that decentralized, population-based training with co-play can lead to a progression in agents' behaviors: from random, to simple ball chasing, and finally showing evidence of cooperation. Our study highlights several of the challenges encountered in large scale multi-agent training in continuous control. In particular, we demonstrate that the automatic optimization of simple shaping rewards, not themselves conducive to co-operative behavior, can lead to long-horizon team behavior. We further apply an evaluation scheme, grounded by game theoretic principals, that can assess agent performance in the absence of pre-defined evaluation tasks or human baselines.


title: Elliptical flow coalescence to identify the $f_{0}$(980) content

abstract: We use a simple coalescence model to generate $f_{0}$(980) particles for three configurations: a ${s\bar{s}}$ meson, a ${u\bar{u}s\bar{s}}$ tetraquark, and a ${K^{+}K^{-}}$ molecule. The phase-space information of the coalescing constituents is taken from a multi-phase transport (AMPT) simulation of heavy-ion collisions. It is shown that the number of constituent quarks scaling of the elliptic flow anisotropy can be used to discern ${s\bar{s}}$ from ${u\bar{u}s\bar{s}}$ and ${K^{+}K^{-}}$ configurations.


title: Simplifying Graph Convolutional Networks

abstract: Graph Convolutional Networks (GCNs) and their variants have experienced significant attention and have become the de facto methods for learning graph representations. GCNs derive inspiration primarily from recent deep learning approaches, and as a result, may inherit unnecessary complexity and redundant computation. In this paper, we reduce this excess complexity through successively removing nonlinearities and collapsing weight matrices between consecutive layers. We theoretically analyze the resulting linear model and show that it corresponds to a fixed low-pass filter followed by a linear classifier. Notably, our experimental evaluation demonstrates that these simplifications do not negatively impact accuracy in many downstream applications. Moreover, the resulting model scales to larger datasets, is naturally interpretable, and yields up to two orders of magnitude speedup over FastGCN.


title: Simulation study of estimating between-study variance and overall effect in meta-analysis of odds-ratios

abstract: Random-effects meta-analysis requires an estimate of the between-study variance, $\tau^2$. We study methods of estimation of $\tau^2$ and its confidence interval in meta-analysis of odds ratio, and also the performance of related estimators of the overall effect. We provide results of extensive simulations on five point estimators of $\tau^2$ (the popular methods of DerSimonian-Laird, restricted maximum likelihood, and Mandel and Paule; the less-familiar method of Jackson; and the new method (KD) based on the improved approximation to the distribution of the Q statistic by Kulinskaya and Dollinger (2015)); five interval estimators for $\tau^2$ (profile likelihood, Q-profile, Biggerstaff and Jackson, Jackson, and KD), six point estimators of the overall effect (the five inverse-variance estimators related to the point estimators of $\tau^2$ and an estimator (SSW) whose weights use only study-level sample sizes), and eight interval estimators for the overall effect (five based on the point estimators for $\tau^2$; the Hartung-Knapp-Sidik-Jonkman (HKSJ) interval; a KD-based modification of HKSJ; and an interval based on the sample-size-weighted estimator). Results of our simulations show that none of the point estimators of $\tau^2$ can be recommended, however the new KD estimator provides a reliable coverage of $\tau^2$. Inverse-variance estimators of the overall effect are substantially biased. The SSW estimator of the overall effect and the related confidence interval provide the reliable point and interval estimation of log-odds-ratio.


title: Measuring complex partition function zeroes of Ising models in quantum simulators

abstract: Studying the zeroes of partition functions in the space of complex control parameters allows to understand formally how critical behavior of a many-body system can arise in the thermodynamic limit despite various no-go theorems for finite systems. In this work we propose protocols that can be realized in quantum simulators to measure the location of complex partition function zeroes of classical Ising models. The protocols are solely based on the implementation of simple two-qubit gates, local spin rotations, and projective measurements along two orthogonal quantization axes. Besides presenting numerical simulations of the measurement outcomes for an exemplary classical model, we discuss the effect of projection noise and the feasibility of the implementation on state of the art platforms for quantum simulation.


title: Cubillages of cyclic zonotopes

abstract: This paper (written in Russian) presents a survey of new and earlier results on fine zonotopal tilings (briefly, cubillages) of cyclic zonotopes. The combinatorial theory of these objects is of interest in its own right and also has a connection to higher Bruhat orders, triangulations of cyclic polytopes, and Tamari-Stasheff posets applied in the study of Kadomtsev--Petviashvily equations, and etc.


title: Torsion in tensor products over one-dimensional domains

abstract: Over a one-dimensional Gorenstein local domain $R$, let $E$ be the endomorphism ring of the maximal of $R$, viewed as a subring of the integral closure $\overline R$. If there exist finitely generated $R$-modules $M$ and $N$, neither of them free, whose tensor product is torsion-free, we show that $E$ must be local with the same residue field as $R$.


title: Combinations of single-top-quark production cross-section measurements and $|f_{\rm LV}V_{tb}|$ determinations at $\sqrt{s}=7$ and 8 TeV with the ATLAS and CMS experiments

abstract: This paper presents the combinations of single-top-quark production cross-section measurements by the ATLAS and CMS Collaborations, using data from LHC proton-proton collisions at $\sqrt{s}=7$ and 8 TeV corresponding to integrated luminosities of 1.17 to 5.1 fb$^{-1}$ at $\sqrt{s}=7$ TeV, and 12.2 to 20.3 fb$^{-1}$ at $\sqrt{s}=8$ TeV. These combinations are performed per centre-of-mass energy and for each production mode: $t$-channel, $tW$, and $s$-channel. The combined $t$-channel cross-sections are $67.5 \pm 5.7$ pb and $87.7 \pm 5.8$ pb at $\sqrt{s}=7$ and 8 TeV respectively. The combined $tW$ cross-sections are $16.3 \pm 4.1$ pb and $23.1 \pm 3.6$ pb at $\sqrt{s}=7$ and 8 TeV respectively. For the $s$-channel cross-section, the combination yields $4.9 \pm 1.4$ pb at $\sqrt{s}=8$ TeV. The square of the magnitude of the CKM matrix element $V_{tb}$ multiplied by a form factor $f_{\rm LV}$is determined for each production mode and centre-of-mass energy, using the ratio of the measured cross-section to its theoretical prediction. It is assumed that the top-quark-related CKM matrix elements obey the relation $|V_{td}|,|V_{ts}| \ll |V_{tb}|$. All the $|f_{\rm LV}V_{tb}|^2$ determinations, extracted from individual ratios at $\sqrt{s}=7$ and 8 TeV, are combined, resulting in $|f_{\rm LV}V_{tb}|=1.02\pm0.04$ (meas.) $\pm0.02$ (theo.). All combined measurements are consistent with their corresponding Standard Model predictions.


title: Edge Replacement Grammars: A Formal Language Approach for Generating Graphs

abstract: Graphs are increasingly becoming ubiquitous as models for structured data. A generative model that closely mimics the structural properties of a given set of graphs has utility in a variety of domains. Much of the existing work require that a large number of parameters, in fact exponential in size of the graphs, be estimated from the data. We take a slightly different approach to this problem, leveraging the extensive prior work in the formal graph grammar literature. In this paper, we propose a graph generation model based on Probabilistic Edge Replacement Grammars (PERGs). We propose a variant of PERG called Restricted PERG (RPERG), which is analogous to PCFGs in string grammar literature. With this restriction, we are able to derive a learning algorithm for estimating the parameters of the grammar from graph data. We empirically demonstrate on real life datasets that RPERGs outperform existing methods for graph generation. We improve on the performance of the state-of-the-art Hyperedge Replacement Grammar based graph generative model. Despite being a context free grammar, the proposed model is able to capture many of the structural properties of real networks, such as degree distributions, power law and spectral characteristics.


title: Unit shapes and a wealth of calculus problems

abstract: For a given family of similar shapes, what we call a "unit shape" strongly analogizes the role of the unit circle within the family of all circles. Within many such families of similar shapes, we present what we believe is naturally and intrinsically unital about their unit shapes. We present a number of calculus problems related to extremal questions about collections of unit shapes, and we recapitulate some isoperimetric problems in terms of unit shapes. We close by presenting some problems (some of which are open) and by proffering perhaps a new perspective on the $\pi$ vs. $\tau$ debate.


title: Sharp well--posedness for the generalized KdV of order three on the half line

abstract: In this paper we study the generalized Korteweg de Vries (KdV) equation with the nonlinear term of order three: $(u^{3+1})_x$. We prove sharp local well--posedness for the initial and boundary value problem posed on the right half line. We thus close the gap in the well--posedness theory of the generalized KdV which remained open after the seminal work of Colliander and Kenig in \cite{CK}.


title: The dual of compact ordered spaces is a variety

abstract: In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question was: is it also a variety? We show that the answer is affirmative. We describe the variety by means of a set of finitary operations, together with an operation of countably infinite arity, and equational axioms. The dual equivalence is induced by the dualizing object [0,1].


title: Position representation of single-mode Gaussian channels beyond the Gaussian functional form

abstract: We study one-mode Gaussian quantum channels in continuous-variable systems by performing a black-box characterization using complete positivity and trace preserving conditions, and report the existence of two subsets that do not have a functional Gaussian form. Our study covers as particular limit the case of singular channels, thus connecting our results with their known classification scheme based on canonical forms. Our full characterization of Gaussian channels without Gaussian functional form is completed by showing how Gaussian states are transformed under these operations, and by deriving the conditions for the existence of master equations for the non-singular cases. We show that although every functional form can be found in the vicinity of the identity, one of them does not parametrize unitary channels.


title: Two modes of HVPE growth of GaN and related macrodefects

abstract: GaN films with thickness up to 3 mm were grown by halide vapour phase epitaxy method. Two growth modes were observed: the high temperature (HT) mode and the low temperature (LT) mode. Films grown in HT mode had smooth surface, however the growth stress was high and caused cracking. Films grown in LT mode had rough surface with high density of V-defects (pits), however such films were crack-free. The influence of growth parameters on the pit shape and evolution was investigated. Origins of pits formation and process of pit overgrowth are discussed. Crack-free films with smooth surface and reduced density of pits were grown using combination of the LT and HT growth modes.


title: Comparing Apples and Oranges: Measuring Differences between Exploratory Data Mining Results

abstract: Deciding whether the results of two different mining algorithms provide significantly different information is an important, yet understudied, open problem in exploratory data mining. Whether the goal is to select the most informative result for analysis, or to decide which mining approach will most likely provide the most novel insight, it is essential that we can tell how different the information is that different results by possibly different methods provide. In this paper we take a first step towards comparing exploratory data mining results on binary data. We propose to meaningfully convert results into sets of noisy tiles, and compare between these sets by Maximum Entropy modelling and Kullback-Leibler divergence, well-founded notions from Information Theory. We so construct a measure that is highly flexible, and allows us to naturally include background knowledge, such that differences in results can be measured from the perspective of what a user already knows. Furthermore, adding to its interpretability, it coincides with Jaccard dissimilarity when we only consider exact tiles. Our approach provides a means to study and tell differences between results of different exploratory data mining methods. As an application, we show that our measure can also be used to identify which parts of results best redescribe other results. Furthermore, we study its use for iterative data mining, where one iteratively wants to find that result that will provide maximal novel information. Experimental evaluation shows our measure gives meaningful results, correctly identifies methods that are similar in nature, automatically provides sound redescriptions of results, and is highly applicable for iterative data mining.


title: Some remarks on polar sets to sums of squares

abstract: We argue that a necessary condition for hypoellipticity is that the polar is not a spiral domain.


title: Start-up flow in shallow deformable microchannels

abstract: Microfluidic systems are usually fabricated with soft materials that deform due to the fluid stresses. Recent experimental and theoretical studies on the steady flow in shallow deformable microchannels have shown that the flow rate is a nonlinear function of the pressure drop due to the deformation of the upper soft wall. Here, we extend the steady theory of Christov et al. (2018) by considering the start-up flow from rest, both in pressure-controlled and in flow-rate-controlled configurations. The characteristic scales and relevant parameters governing the transient flow are first identified, followed by the development of an unsteady lubrication theory assuming that the inertia of the fluid is negligible, and that the upper wall can be modeled as an elastic plate under pure bending satisfying the Kirchhoff-Love equation. The model is governed by two non-geometrical dimensionless numbers: a compliance parameter $\beta$, which compares the characteristic displacement of the upper wall with the undeformed channel height, and a parameter $\gamma$ that compares the inertia of the solid with its flexural rigidity. In the limit of negligible solid inertia, $\gamma \to 0$, a quasi-steady model is developed, whereby the fluid pressure satisfies a nonlinear diffusion equation, with $\beta$ as the only parameter, which admits a self-similar solution under pressure-controlled conditions. This simplified lubrication description is validated with coupled three-dimensional numerical simulations of the Navier equations for the elastic solid and the Navier-Stokes equations for the fluid. The agreement is very good when the hypotheses behind the model are satisfied. Unexpectedly, we find fair agreement even in cases where the solid and liquid inertia cannot be neglected.


title: New paradigm for fluctuations in heavy-ion collisions

abstract: Since their discovery, fluctuations in the initial state of heavy-ion collisions have been understood as originating mostly from the random positions of nucleons within the colliding nuclei. We consider an alternative approach where all the focus is on fluctuations generated by QCD interactions, that we evaluate at leading logarithmic accuracy in the color glass condensate effective theory. We validate our approach using BNL Relativistic Heavy Ion Collider (RHIC) and CERN Large Hadron Collider (LHC) data on anisotropic flow. In particular, we show that, compared to standard Glauber-inspired calculations, our formalism provides a better description of the centrality dependence of the ratio of elliptic flow and triangular flow. It also naturally explains the evolution of elliptic flow fluctuations between RHIC and LHC energies.


title: Force-induced desorption of 3-star polymers in two dimensions

abstract: We investigate the phase diagram of a self-avoiding walk model of a 3-star polymer in two dimensions, adsorbing at a surface and being desorbed by the action of a force. We show rigorously that there are four phases: a free phase, a ballistic phase, an adsorbed phase and a mixed phase where part of the 3-star is adsorbed and part is ballistic. We use both rigorous arguments and Monte Carlo methods to map out the phase diagram, and investigate the location and nature of the phase transition boundaries. In two dimensions, only two of the arms can be fully adsorbed in the surface and this alters the phase diagram when compared to 3-stars in three dimensions.


title: Nucleation during phase transitions in random networks

abstract: We analyze the 3-parameter family of random networks which are uniform on networks with fixed number of edges, triangles, and nodes (between 33 and 66). We find precursors of phase transitions which are known to be present in the asymptotic node regime as the edge and triangle numbers are varied, and focus on one of the discontinuous ones. By use of a natural edge flip dynamics we determine nucleation barriers as a random network crosses the transition, in analogy to the process a material undergoes when frozen or melted, and characterize some of the stochastic properties of the network nucleation.


title: The cosmological constant derived via galaxy groups and clusters

abstract: The common nature of dark matter and dark energy is argued in [1] based on the approach that the cosmological constant \Lambda enters the weak-field General Relativity following from Newton theorem on the "sphere-point mass" equivalency [2]. Here we probe the \Lambda-gravity description of dark matter in galaxy systems, from pairs up to galaxy clusters using the data of various sources, i.e. of Local Supercluster galaxy surveys, gravity lensing and Planck satellite. The prediction that the cosmological constant has to be the lower limit for the weak-field \Lambda obtained from galaxy systems of various degree of virialization is shown to be supported by those observations. The results therefore support the \Lambda-gravity nature of dark matter in the studied systems, implying that the positivity of the cosmological constant might be deduced decades ago from the dynamics of galaxies and galaxy clusters far before the cosmological SN surveys.


title: Mono- versus multi-phosphonic acid based PEGylated polymers for functionalization and stabilization of metal (Ce, Fe, Ti, Al)oxide nanoparticles in biological media

abstract: For applications in nanomedicine, particles need to be functionalized to prevent protein corona formation and or aggregation. Most advanced strategies take advantage of functional polymers and assembly techniques. Nowadays there is an urgent need for coatings that are tailored according to a broad range of surfaces and that can be produced on a large scale. Herein, we synthesize mono- and multi-phosphonic acid based poly(ethylene glycol) (PEG) polymers with the objective of producing efficient coats for metal oxide nanoparticles. Cerium, iron, titanium and aluminum oxide nanoparticles of different morphologies (spheres, platelets, nanoclusters) and sizes ranging from 7 to 40 nm are studied in physiological and in protein rich cell culture media. It is found that the particles coated with mono-functionalized polymers exhibit a mitigated stability over time, whereas the multi-functionalized copolymers provide resilient coatings and long-term stability (months). With the latter, PEG densities in the range 0.2 - 0.5 nm-2 and layer thickness about 10 nm provide excellent performances. The study suggests that the proposed coating allows controlling nanomaterial interfacial properties in biological environments.


title: On approximate pure Nash equilibria in weighted congestion games with polynomial latencies

abstract: We study natural improvement dynamics in weighted congestion games with polynomial latencies of maximum degree $d\geq 1$. We focus on two problems regarding the existence and efficiency of approximate pure Nash equilibria, with a reasonable small approximation factor, in these games. By exploiting a simple technique, we firstly show that such a game always admits a $d$-approximate potential function. This implies that every sequence of $d$-approximate improvement moves by the players leads to a $d$-approximate pure Nash equilibrium. As a corollary, we also obtain that, under mild assumptions on the structure of the players' strategies, the game always admits a constant approximate potential function. Secondly, using a simple potential function argument, we are able to show that a $(d+\delta)$-approximate pure Nash equilibrium of cost at most $(d+1)/(d+\delta)$ times the cost of an optimal state always exists, for $\delta\in [0,1]$.


title: Global Strong Solution With BV Derivatives to Singular Solid-on-Solid model With Exponential Nonlinearity

abstract: In this work, we consider the one dimensional very singular fourth-order equation for solid-on-solid model in attachment-detachment-limit regime with exponential nonlinearity $$h_t = \nabla \cdot (\frac{1}{|\nabla h|} \nabla e^{\frac{\delta E}{\delta h}}) =\nabla \cdot (\frac{1}{|\nabla h|}\nabla e^{- \nabla \cdot (\frac{\nabla h}{|\nabla h|})})$$ where total energy $E=\int |\nabla h|$ is the total variation of $h$. Using a logarithmic correction $E=\int |\nabla h|\ln|\nabla h| d x$ and gradient flow structure with a suitable defined functional, we prove the evolution variational inequality solution preserves a positive gradient $h_x$ which has upper and lower bounds but in BV space. We also obtain the global strong solution to the solid-on-solid model which allows an asymmetric singularity $h_{xx}^+$ happens.


title: An application of communication complexity, Kolmogorov complexity and extremal combinatorics to parity games

abstract: So-called separation automata are in the core of several recently invented quasi-polynomial time algorithms for parity games. An explicit $q$-state separation automaton implies an algorithm for parity games with running time polynomial in $q$. It is open whether a polynomial-state separation automaton exists. A positive answer will lead to a polynomial-time algorithm for parity games, while a negative answer will at least demonstrate impossibility to construct such an algorithm using separation approach. In this work we prove exponential lower bound for a restricted class of separation automata. Our technique combines communication complexity and Kolmogorov complexity. One of our technical contributions belongs to extremal combinatorics. Namely, we prove a new upper bound on the product of sizes of two families of sets with small pairwise intersection.


title: Lectures on AdS Black Holes, Holography and Localization

abstract: In these lectures I review some recent progresses in counting the number of microstates of AdS supersymmetric black holes in dimensions equal or greater than four using holography. The counting is obtained by applying localization and matrix model techniques to the dual field theory. I cover in details the case of dyonic AdS$_4$ black holes, corresponding to a twisted compactification of the dual field theory, and I discuss the state of the art for rotating AdS$_5$ black holes.