title: Fast two-beam collisions in a linear optical medium with weak cubic loss in spatial dimension higher than 1

abstract: We study the dynamics of fast two-beam collisions in linear optical media with weak cubic loss in spatial dimension higher than 1. For this purpose, we extend the perturbation theory that was developed for analyzing two-pulse collisions in spatial dimension 1 to spatial dimension 2. We use the extended two-dimensional version of the perturbation theory to show that the collision leads to a change in the beam shapes in the direction transverse to the relative velocity vector. Furthermore, we show that in the important case of a separable initial condition for both beams, the longitudinal part in the expression for the amplitude shift is universal, while the transverse part is not universal. Additionally, we demonstrate that the same behavior holds for collisions between pulsed optical beams in spatial dimension 3. We check these predictions of the perturbation theory along with other predictions concerning the effects on the collision of partial beam overlap and anisotropy in the initial condition by extensive numerical simulations with the weakly perturbed linear propagation model in spatial dimensions 2 and 3. The agreement between the perturbation theory and the simulations is very good. Therefore, our study significantly extends and generalizes the results of previous works, which were limited to spatial dimension 1.


title: Exchange-Mediated Mutual Correlation and Dephasing in Free-Electron and Light Interactions

abstract: The quantum world distinguishes itself from the classical world by being governed by probability amplitudes rather than probabilities. On a single-particle level, quantum phases can be manipulated leading to observable interference patterns that can be used as a probe e.g. in matter wave microscopy. But the quantum world bears even more fascinating effects when it comes to the interplay between more than one particle. Correlations between quantum particles such as entanglement can be exploited to speed up computational algorithms or enable secure cryptography. Here, we propose and numerically explore a thought experiment to address the question whether quantum correlations between particles can be used in matter wave microscopy. Specifically, we address the following questions: How can information be transferred between two mutually spin-correlated free-electron wavepackets? Can Coulomb and exchange correlations be linked to the decoherence mechanism of matter waves? Using a time-dependent Hartree-Fock algorithm, we will show that the exchange term has a substantial role in transferring the information between two mutually spin-correlated electrons, whereas the Hartree potential (or mean-field Coulomb potential) dominates the dephasing on a single-particle level. Our findings might facilitate fermionic matter-wave interferometry experiments in which it is possible to retrieve information about non-classical correlations and the mechanism of decoherence in open versus closed quantum systems.


title: LitterBox: A Linter for Scratch Programs

abstract: Creating programs with block-based programming languages like Scratch is easy and fun. Block-based programs can nevertheless contain bugs, in particular when learners have misconceptions about programming. Even when they do not, Scratch code is often of low quality and contains code smells, further inhibiting understanding, reuse, and fun. To address this problem, in this paper we introduce LitterBox, a linter for Scratch programs. Given a program or its public project ID, LitterBox checks the program against patterns of known bugs and code smells. For each issue identified, LitterBox provides not only the location in the code, but also a helpful explanation of the underlying reason and possible misconceptions. Learners can access LitterBox through an easy to use web interface with visual information about the errors in the block-code, while for researchers LitterBox provides a general, open source, and extensible framework for static analysis of Scratch programs.


title: Selecting Matchings via Multiwinner Voting: How Structure Defeats a Large Candidate Space

abstract: Given a set of agents with approval preferences over each other, we study the task of finding $k$ matchings fairly representing everyone's preferences. We model the problem as an approval-based multiwinner election where the set of candidates consists of all possible matchings and agents' preferences over each other are lifted to preferences over matchings. Due to the exponential number of candidates in such elections, standard algorithms for classical sequential voting rules (such as those proposed by Thiele and Phragm\'en) are rendered inefficient. We show that the computational tractability of these rules can be regained by exploiting the structure of the approval preferences. Moreover, we establish algorithmic results and axiomatic guarantees that go beyond those obtainable in the general multiwinner setting. Assuming that approvals are symmetric, we show that proportional approval voting (PAV), a well-established but computationally intractable voting rule, becomes polynomial-time computable, and its sequential variant (seq-PAV), which does not provide any proportionality guarantees in general, fulfills a rather strong guarantee known as extended justified representation. Some of our positive computational results extend to other types of compactly representable elections with an exponential candidate space.


title: Self-organization and shape change by active polarization in nematic droplets

abstract: Active forces occurring within cells can drive crucial biological processes that involve spontaneous organization and shape change, such as cell division. Motivated by recent in vitro experiments of nematic droplets of cytoskeletal filaments and motors that self-organize and divide, we present a minimal hydrodynamic model that combines the nonequilibrium kinetics of motor-filament interactions with equilibrium nematic phase separation. The motors organize within droplets and structure filaments into polarized aster defects. At large motor activity, they can even deform or divide the droplet, or form multi-aster chains of droplets. Our predicted phase diagram recapitulates these experimentally observed shapes.


title: A spectral independence view on hardspheres via block dynamics

abstract: The hard-sphere model is one of the most extensively studied models in statistical physics. It describes the continuous distribution of spherical particles, governed by hard-core interactions. An important quantity of this model is the normalizing factor of this distribution, called the partition function. We propose a Markov chain Monte Carlo algorithm for approximating the grand-canonical partition function of the hard-sphere model in $d$ dimensions. Up to a fugacity of $\lambda < \text{e}/2^d$, the runtime of our algorithm is polynomial in the volume of the system. This covers the entire known real-valued regime for the uniqueness of the Gibbs measure. Key to our approach is to define a discretization that closely approximates the partition function of the continuous model. This results in a discrete hard-core instance that is exponential in the size of the initial hard-sphere model. Our approximation bound follows directly from the correlation decay threshold of an infinite regular tree with degree equal to the maximum degree of our discretization. To cope with the exponential blow-up of the discrete instance we use clique dynamics, a Markov chain that was recently introduced in the setting of abstract polymer models. We prove rapid mixing of clique dynamics up to the tree threshold of the univariate hard-core model. This is achieved by relating clique dynamics to block dynamics and adapting the spectral expansion method, which was recently used to bound the mixing time of Glauber dynamics within the same parameter regime.


title: FAT: Learning Low-Bitwidth Parametric Representation via Frequency-Aware Transformation

abstract: Learning convolutional neural networks (CNNs) with low bitwidth is challenging because performance may drop significantly after quantization. Prior arts often discretize the network weights by carefully tuning hyper-parameters of quantization (e.g. non-uniform stepsize and layer-wise bitwidths), which are complicated and sub-optimal because the full-precision and low-precision models have a large discrepancy. This work presents a novel quantization pipeline, Frequency-Aware Transformation (FAT), which has several appealing benefits. (1) Rather than designing complicated quantizers like existing works, FAT learns to transform network weights in the frequency domain before quantization, making them more amenable to training in low bitwidth. (2) With FAT, CNNs can be easily trained in low precision using simple standard quantizers without tedious hyper-parameter tuning. Theoretical analysis shows that FAT improves both uniform and non-uniform quantizers. (3) FAT can be easily plugged into many CNN architectures. When training ResNet-18 and MobileNet-V2 in 4 bits, FAT plus a simple rounding operation already achieves 70.5% and 69.2% top-1 accuracy on ImageNet without bells and whistles, outperforming recent state-of-the-art by reducing 54.9X and 45.7X computations against full-precision models. We hope FAT provides a novel perspective for model quantization. Code is available at \url{https://github.com/ChaofanTao/FAT_Quantization}.


title: On training targets for noise-robust voice activity detection

abstract: The task of voice activity detection (VAD) is an often required module in various speech processing, analysis and classification tasks. While state-of-the-art neural network based VADs can achieve great results, they often exceed computational budgets and real-time operating requirements. In this work, we propose a computationally efficient real-time VAD network that achieves state-of-the-art results on several public real recording datasets. We investigate different training targets for the VAD and show that using the segmental voice-to-noise ratio (VNR) is a better and more noise-robust training target than the clean speech level based VAD. We also show that multi-target training improves the performance further.


title: Finding Anomalies in Scratch Assignments

abstract: In programming education, teachers need to monitor and assess the progress of their students by investigating the code they write. Code quality of programs written in traditional programming languages can be automatically assessed with automated tests, verification tools, or linters. In many cases these approaches rely on some form of manually written formal specification to analyze the given programs. Writing such specifications, however, is hard for teachers, who are often not adequately trained for this task. Furthermore, automated tool support for popular block-based introductory programming languages like Scratch is lacking. Anomaly detection is an approach to automatically identify deviations of common behavior in datasets without any need for writing a specification. In this paper, we use anomaly detection to automatically find deviations of Scratch code in a classroom setting, where anomalies can represent erroneous code, alternative solutions, or distinguished work. Evaluation on solutions of different programming tasks demonstrates that anomaly detection can successfully be applied to tightly specified as well as open-ended programming tasks.


title: Prediction of a Heusler alloy with switchable metal-to-half-metal behavior

abstract: We propose a ferromagnetic Heusler alloy that can switch between a metal and a half-metal. Thiseffect can provide tunable spintronics properties. Using the density functional theory (DFT) withreliable implementations of the electron correlation effects, we find Mn2ScSi total energy curvesconsisting of distinct branches with a very small energy difference. The phase at low lattice crystalvolume is a low magnetic half-metallic state while the phase at high lattice crystal volume is a highmagnetic metallic state. We suggest that the transition between half-metallic and metallic statescan be triggered by a triaxial contraction/expansion of the crystal lattice or by an external magneticfield if we assume that the lattice is cubic and remains cubic under expansion/contraction. However,the phase at high volume can also undergo an austenite-martensite phase transition because of thepresence of Jahn-Teller active3delectrons on the Mn atoms.


title: OmniDet: Surround View Cameras based Multi-task Visual Perception Network for Autonomous Driving

abstract: Surround View fisheye cameras are commonly deployed in automated driving for 360\deg{} near-field sensing around the vehicle. This work presents a multi-task visual perception network on unrectified fisheye images to enable the vehicle to sense its surrounding environment. It consists of six primary tasks necessary for an autonomous driving system: depth estimation, visual odometry, semantic segmentation, motion segmentation, object detection, and lens soiling detection. We demonstrate that the jointly trained model performs better than the respective single task versions. Our multi-task model has a shared encoder providing a significant computational advantage and has synergized decoders where tasks support each other. We propose a novel camera geometry based adaptation mechanism to encode the fisheye distortion model both at training and inference. This was crucial to enable training on the WoodScape dataset, comprised of data from different parts of the world collected by 12 different cameras mounted on three different cars with different intrinsics and viewpoints. Given that bounding boxes is not a good representation for distorted fisheye images, we also extend object detection to use a polygon with non-uniformly sampled vertices. We additionally evaluate our model on standard automotive datasets, namely KITTI and Cityscapes. We obtain the state-of-the-art results on KITTI for depth estimation and pose estimation tasks and competitive performance on the other tasks. We perform extensive ablation studies on various architecture choices and task weighting methodologies. A short video at https://youtu.be/xbSjZ5OfPes provides qualitative results.


title: Possible Periodic Dips in the Pulsating Ultraluminous X-ray Source M51 ULX-7

abstract: We report the discovery of possible periodic X-ray dips in a pulsating ultraluminous X-ray source, M51 ULX-7, with the archival Changra observations. With ~20 days of monitoring in the superorbital descending state, we discovered three dips with separations of ~2 and ~8 days via the Bayesian block technique. A phase-dispersion minimization and a $\chi^2$ test suggest that the dip is likely recurrent with a period of ~2 days, consistent with the orbital period of M51 ULX-7. We interpret the dip as an obscuring of the emission from the pulsar by the vertical structure on the stream-disk interaction region or the atmosphere of the companion star. Both interpretations suggest the viewing angle to be ~60 degrees. Given that the magnetic field of M51 ULX-7 is moderately high, $B\sim10^{13}$ G, low geometric beaming with $b\lesssim1/2$ is sufficient to explain the observed flux and the presence of dips. Obscuration of the stellar wind remains an alternative possible origin and further monitoring of the dips will be required.


title: Federated Dropout Learning for Hybrid Beamforming With Spatial Path Index Modulation In Multi-User mmWave-MIMO Systems

abstract: Millimeter wave multiple-input multiple-output (mmWave-MIMO) systems with small number of radio-frequency (RF) chains have limited multiplexing gain. Spatial path index modulation (SPIM) is helpful in improving this gain by utilizing additional signal bits modulated by the indices of spatial paths. In this paper, we introduce model-based and model-free frameworks for beamformer design in multi-user SPIM-MIMO systems. We first design the beamformers via model-based manifold optimization algorithm. Then, we leverage federated learning (FL) with dropout learning (DL) to train a learning model on the local dataset of users, who estimate the beamformers by feeding the model with their channel data. The DL randomly selects different set of model parameters during training, thereby further reducing the transmission overhead compared to conventional FL. Numerical experiments show that the proposed framework exhibits higher spectral efficiency than the state-of-the-art SPIM-MIMO methods and mmWave-MIMO, which relies on the strongest propagation path. Furthermore, the proposed FL approach provides at least 10 times lower transmission overhead than the centralized learning techniques.


title: Localized mixing zone for Muskat bubbles and turned interfaces

abstract: We construct mixing solutions to the incompressible porous media equation starting from Muskat type data in the partially unstable regime. In particular, we consider bubble and turned type interfaces with Sobolev regularity. As a by-product, we prove the continuation of the evolution of IPM after the Rayleigh-Taylor and smoothness breakdown exhibited in [18,17]. At each time slice the space is split into three evolving domains: two non-mixing zones and a mixing zone which is localized in a neighborhood of the unstable region. In this way, we show the compatibility between the classical Muskat problem and the convex integration method.


title: Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields

abstract: We study the large scale behavior of elliptic systems with stationary random coefficient that have only slowly decaying correlations. To this aim we analyze the so-called corrector equation, a degenerate elliptic equation posed in the probability space. In this contribution, we use a parabolic approach and optimally quantify the time decay of the semigroup. For the theoretical point of view, we prove an optimal decay estimate of the gradient and flux of the corrector when spatially averaged over a scale R larger than 1. For the numerical point of view, our results provide convenient tools for the analysis of various numerical methods.


title: Conservation laws for Electron Vortices in Strong-Field Ionisation

abstract: We investigate twisted electrons with a well defined orbital angular momentum, which have been ionised via a strong laser field. By formulating a new variant of the well-known strong field approximation, we are able to derive conservation laws for the angular momenta of twisted electrons in the cases of linear and circularly polarised fields. In the case of linear fields, we demonstrate that the orbital angular momentum of the twisted electron is determined by the magnetic quantum number of the initial bound state. The condition for the circular field can be related to the famous ATI peaks, and provides a new interpretation for this fundamental feature of photoelectron spectra. We find the length of the circular pulse to be a vital factor in this selection rule and, employing an effective frequency, we show that the photoelectron OAM emission spectra is sensitive to the parity of the number of laser cycles. This work provides the basic theoretical framework with which to understand the OAM of a photoelectron undergoing strong field ionisation.


title: Tight Revenue Gaps among Multi-Unit Mechanisms

abstract: This paper considers Bayesian revenue maximization in the $k$-unit setting, where a monopolist seller has $k$ copies of an indivisible item and faces $n$ unit-demand buyers (whose value distributions can be non-identical). Four basic mechanisms among others have been widely employed in practice and widely studied in the literature: {\sf Myerson Auction}, {\sf Sequential Posted-Pricing}, {\sf $(k + 1)$-th Price Auction with Anonymous Reserve}, and {\sf Anonymous Pricing}. Regarding a pair of mechanisms, we investigate the largest possible ratio between the two revenues (a.k.a.\ the revenue gap), over all possible value distributions of the buyers. Divide these four mechanisms into two groups: (i)~the discriminating mechanism group, {\sf Myerson Auction} and {\sf Sequential Posted-Pricing}, and (ii)~the anonymous mechanism group, {\sf Anonymous Reserve} and {\sf Anonymous Pricing}. Within one group, the involved two mechanisms have an asymptotically tight revenue gap of $1 + \Theta(1 / \sqrt{k})$. In contrast, any two mechanisms from the different groups have an asymptotically tight revenue gap of $\Theta(\log k)$.


title: Video Analytics on IoT devices

abstract: Deep Learning (DL) combined with advanced model optimization methods such as RC-NN and Edge2Train has enabled offline execution of large networks on the IoT devices. In this paper, we compare the modern Deep Learning (DL) based video analytics approaches with the standard Computer Vision (CV) based approaches and finally, discuss the best-suited approach for video analytics on IoT devices.


title: Neuro-algorithmic Policies enable Fast Combinatorial Generalization

abstract: Although model-based and model-free approaches to learning the control of systems have achieved impressive results on standard benchmarks, generalization to task variations is still lacking. Recent results suggest that generalization for standard architectures improves only after obtaining exhaustive amounts of data. We give evidence that generalization capabilities are in many cases bottlenecked by the inability to generalize on the combinatorial aspects of the problem. Furthermore, we show that for a certain subclass of the MDP framework, this can be alleviated by neuro-algorithmic architectures. Many control problems require long-term planning that is hard to solve generically with neural networks alone. We introduce a neuro-algorithmic policy architecture consisting of a neural network and an embedded time-dependent shortest path solver. These policies can be trained end-to-end by blackbox differentiation. We show that this type of architecture generalizes well to unseen variations in the environment already after seeing a few examples.


title: Efficient solvers for shallow-water Saint-Venant equations and debris transportation-deposition models

abstract: This research is aimed at achieving an efficient digital infrastructure for evaluating risks and damages caused by tsunami flooding. It is mainly focused on the suitable modeling of debris dynamics for a simple (but accurate enough) assessment of damages. For different reasons including computational performance and Big Data management issues, we focus our research on Eulerian debris flow modeling. Rather than using complex multiphase debris models, we rather use an empirical transportation and deposition model that takes into account the interaction with the main water flow, friction/contact with the ground but also debris interaction. In particular, for debris interaction, we have used ideas coming from vehicular traffic flow modeling. We introduce a velocity regularization term similar to the so-called ``anticipation term'' in traffic flow modeling that takes into account the local flow between neighboring debris and makes the problem mathematically well-posed. It prevents from the generation of ``Dirac measures of debris'' at shock waves. As a result, the model is able to capture emerging phenomenons like debris aggregation and accumulations, and possibly to react on the main flow by creating hills of debris and make the main stream deviate. We also discuss the way to derive quantities of interest (QoI), especially ``damage functions'' from the debris density and momentum fields. We believe that this original unexplored debris approach can lead to a valuable analysis of tsunami flooding damage assessment with Physics-based damage functions. Numerical experiments show the nice behaviour of the numerical solvers, including the solution of Saint-Venant's shallow water equations and debris dynamics equations.


title: Log K-stability of GIT-stable divisors on Fano varieties

abstract: For a given K-polystable Fano variety $X$ and a natural number $l$ such that $(X, \frac{1}{l} B)$ is log canonical for some $B\in |-lK_X|$, we show that there exists a rational number $0<c_1<1$ depending only on $X$ and $l$, such that $D\in |-lK_X|$ is GIT-(semi/poly)stable under the action of Aut(X) if and only if the pair $(X, \frac{\epsilon}{l}D)$ is K-(semi/poly)stable for some rational $0<\epsilon<c_1$.


title: Minimum Jerk Trajectory Generation for Straight and Curved Movements: Mathematical Analysis

abstract: In this chapter, the mathematical analysis of the minimum jerk trajectory (MJT) generation is performed. In this study, the position and the velocity of the minimum jerk trajectory as a function of time is presented in two cases: the first one is the unconstrained point-to-point movements of the human hand, whereas the second case is the curved point-to-point movements of the human hand. Simulation study is carried out with some examples and MATLAB is used for this simulation. The results prove that the minimum jerk trajectory is the smoothest possible movement of the human hand.


title: Isovector electromagnetic form factors of the nucleon from lattice QCD and the proton radius puzzle

abstract: We present results for the isovector electromagnetic form factors of the nucleon computed on the CLS ensembles with $N_f=2+1$ flavors of $\mathcal{O}(a)$-improved Wilson fermions and an $\mathcal{O}(a)$-improved vector current. The analysis includes ensembles with four lattice spacings and pion masses ranging from 130 MeV up to 350 MeV and mainly targets the low-$Q^2$ region. In order to remove any bias from unsuppressed excited-state contributions, we investigate several source-sink separations between 1.0 fm and 1.5 fm and apply the summation method as well as explicit two-state fits. The chiral interpolation is performed by applying covariant chiral perturbation theory including vector mesons directly to our form factor data, thus avoiding an auxiliary parametrization of the $Q^2$ dependence. At the physical point, we obtain $\mu=4.71(11)_{\mathrm{stat}}(13)_{\mathrm{sys}}$ for the nucleon isovector magnetic moment, in good agreement with the experimental value and $\langle r_\mathrm{M}^2\rangle~=~0.661(30)_{\mathrm{stat}}(11)_{\mathrm{sys}}\,~\mathrm{fm}^2$ for the corresponding square-radius, again in good agreement with the value inferred from the $ep$-scattering determination [Bernauer et~al., Phys. Rev. Lett., 105, 242001 (2010)] of the proton radius. Our estimate for the isovector electric charge radius, $\langle r_\mathrm{E}^2\rangle = 0.800(25)_{\mathrm{stat}}(22)_{\mathrm{sys}}\,~\mathrm{fm}^2$, however, is in slight tension with the larger value inferred from the aforementioned $ep$-scattering data, while being in agreement with the value derived from the 2018 CODATA average for the proton charge radius.


title: A new tool for precise mapping of local temperature fields in submicrometer aqueous volumes

abstract: Nanodiamond hosting temperature-sensing centers constitutes a closed thermodynamic system, with the only window of energy exchange with the environment without direct contacts of a sensor with intracellular substrates, which is in fact the property of an ideal nanosized thermometer. Here, a new design of a nanodiamond thermometer, based on a 500-nm luminescent nanodiamond embedded into the inner channel of a glass submicron pipette is reported. All-optical detection of temperature, based on spectral changes of the emission of "silicon-vacancy" centers with temperature, is used. We demonstrate the applicability of the thermometric tool to the study of temperature distribution near a local heater, placed in an aqueous medium. The calculated and experimental values of temperatures are shown to coincide within the measurement error at gradients up to 20 {\deg}C/{\mu}m. Until now, temperature measurements on the submicron scale at such high gradients have not been performed. The new thermometric tool opens up unique opportunities to answer the urgent paradigm-shifting questions of cell physiology thermodynamics.


title: Upper bounds for Extremal Betti Numbers of $t$-Spread Strongly Stable Ideals

abstract: We study the extremal Betti numbers of the class of $t$--spread strongly stable ideals. More precisely, we determine the maximal number of admissible extremal Betti numbers for such ideals, and thereby we generalize the known results for $t\in \{1,2\}$.


title: On synthesizing Skolem functions for first order logic formulae

abstract: Skolem functions play a central role in the study of first order logic, both from theoretical and practical perspectives. While every Skolemized formula in first-order logic makes use of Skolem constants and/or functions, not all such Skolem constants and/or functions admit effectively computable interpretations. Indeed, the question of whether there exists an effectively computable interpretation of a Skolem function, and if so, how to automatically synthesize it, is fundamental to their use in several applications, such as planning, strategy synthesis, program synthesis etc. In this paper, we investigate the computability of Skolem functions and their automated synthesis in the full generality of first order logic. We first show a strong negative result, that even under mild assumptions on the vocabulary, it is impossible to obtain computable interpretations of Skolem functions. We then show a positive result, providing a precise characterization of first-order theories that admit effective interpretations of Skolem functions, and also present algorithms to automatically synthesize such interpretations. We discuss applications of our characterization as well as complexity bounds for Skolem functions (interpreted as Turing machines).


title: Foundations of Multistage Stochastic Programming

abstract: Multistage stochastic optimization problems are oftentimes formulated informally in a pathwise way. These are correct in a discrete setting and suitable when addressing computational challenges, for example. But the pathwise problem statement does not allow an analysis with mathematical rigor and is therefore not appropriate. This paper addresses the foundations. We provide a novel formulation of multistage stochastic optimization problems by involving adequate stochastic processes as control. The fundamental contribution is a proof that there exist measurable versions of intermediate value functions. Our proof builds on the Kolmogorov continuity theorem. A verification theorem is given in addition, and it is demonstrated that all traditional problem specifications can be stated in the novel setting with mathematical rigor. Further, we provide dynamic equations for the general problem, which is developed for various problem classes. The problem classes covered here include Markov decision processes, reinforcement learning and stochastic dual dynamic programming.


title: On parametric and generic polynomials with one parameter

abstract: Given fields $k \subseteq L$, our results concern one parameter $L$-parametric polynomials over $k$, and their relation to generic polynomials. The former are polynomials $P(T,Y) \in k[T][Y]$ of group $G$ which parametrize all Galois extensions of $L$ of group $G$ via specialization of $T$ in $L$, and the latter are those which are $L$-parametric for every field $L \supseteq k$. We show, for example, that being $L$-parametric with $L$ taken to be the single field $\mathbb{C}((V))(U)$ is in fact sufficient for a polynomial $P(T, Y) \in \mathbb{C}[T][Y]$ to be generic. As a corollary, we obtain a complete list of one parameter generic polynomials over a given field of characteristic 0, complementing the classical literature on the topic. Our approach also applies to an old problem of Schinzel: subject to the Birch and Swinnerton-Dyer conjecture, we provide one parameter families of affine curves over number fields, all with a rational point, but with no rational generic point.


title: Modeling core parts of Zakeri slices I

abstract: The paper deals with cubic 1-variable polynomials whose Julia sets are connected. Fixing a bounded type rotation number, we obtain a slice of such polynomials with the origin being a fixed Siegel point of the specified rotation number. Such slices as parameter spaces were studied by S. Zakeri, so we call them Zakeri slices. We give a model of the central part of a slice (the subset of the slice that can be approximated by hyperbolic polynomials with Jordan curve Julia sets), and a continuous projection from the central part to the model. The projection is defined dynamically and agrees with the dynamical-analytic parameterization of the Principal Hyperbolic Domain by Petersen and Tan Lei.


title: Ballistic transport in integrable quantum chains with degenerate spectra

abstract: We study the ballistic transport in integrable lattice models, i.e., the spin XXZ and Hubbard chains, close to the noninteracting limit. The stiffnesses of spin and charge currents reveal, at high temperatures, a discontinuous reduction (jump) when the interaction is introduced. We show that the jumps are related to the large degeneracy of the parent noninteracting models. These degeneracies are properly captured by the degenerate perturbation calculations which may be performed for large systems. We find that the discontinuities and the quasilocality of the conserved current in this limit can be traced back to the nonlocal character of an effective interaction. From the latter observation we identify a class of observables which show discontinuities in both models. We also argue that the known local conserved quantities are insufficient to explain the stiffnesses in the Hubbard chain in the regime of weak interaction.


title: Extraordinary low systematic frequency shifts in bi-colour thulium optical clock

abstract: Optical atomic clocks have already overcome the eighteenth decimal digit of instability and uncertainty demonstrating incredible control over external perturbations of the clock transition frequency. At the same time there is an increasing demand for atomic and ionic transitions with minimal sensitivity to external fields, with practical operational wavelengths and robust readout protocols. One of the goals is to simplify clock's operation maintaining its relative uncertainty at low 10-18 level. It is especially important for transportable and envisioned space-based optical clocks. We proved earlier that the 1.14um inner-shell magnetic dipole transition in neutral thulium possesses very low blackbody radiation shift compared to other neutrals. Here we demonstrate operation of a bi-colour thulium optical clock with extraordinary low sensitivity to the Zeeman shift due to a simultaneous interrogation of two clock transitions and data processing. Our experiment shows suppression of the quadratic Zeeman shift by at least three orders of magnitude. The effect of tensor lattice Stark shift can be also reduced to below 10-18 in fractional frequency units. All these features make thulium optical clock almost free from hard-to-control systematic shifts. Together with convenient cooling and trapping laser wavelengths, it provides great perspectives for thulium lattice clock as a high-performance transportable system.


title: Control for autonomous vehicles in collision avoidance maneuvers : LPV modeling and static feedback controller

abstract: This article presents a state feedback control design strategy for the stabilization of a vehicle along a reference collision avoidance maneuver. The stabilization of the vehicle is achieved through a combination of steering, acceleration and braking. A Linear Parameter-Varying (LPV) model is obtained from the linearization of a non-linear model along the reference trajectory. A robust state feedback control law is computed for the LPV model. Finally, simulation results illustrate the stabilization of the vehicle along the reference trajectory.


title: Creepy Technology: What Is It and How Do You Measure It?

abstract: Interactive technologies are getting closer to our bodies and permeate the infrastructure of our homes. While such technologies offer many benefits, they can also cause an initial feeling of unease in users. It is important for Human-Computer Interaction to manage first impressions and avoid designing technologies that appear creepy. To that end, we developed the Perceived Creepiness of Technology Scale (PCTS), which measures how creepy a technology appears to a user in an initial encounter with a new artefact. The scale was developed based on past work on creepiness and a set of ten focus groups conducted with users from diverse backgrounds. We followed a structured process of analytically developing and validating the scale. The PCTS is designed to enable designers and researchers to quickly compare interactive technologies and ensure that they do not design technologies that produce initial feelings of creepiness in users.


title: Pushforward and smooth vector pseudo-bundles

abstract: In this paper, we study a new operation named pushforward on diffeological vector pseudo-bundles, which is left adjoint to the pullback. We show how to pushforward projective diffeological vector pseudo-bundles to get projective diffeological vector spaces, producing many concrete new examples, together with application to smooth splittings of some projective diffeological vector spaces related to geometry. This brings new objects to diffeology from classical vector bundle theory.


title: DAC: Deep Autoencoder-based Clustering, a General Deep Learning Framework of Representation Learning

abstract: Clustering performs an essential role in many real world applications, such as market research, pattern recognition, data analysis, and image processing. However, due to the high dimensionality of the input feature values, the data being fed to clustering algorithms usually contains noise and thus could lead to in-accurate clustering results. While traditional dimension reduction and feature selection algorithms could be used to address this problem, the simple heuristic rules used in those algorithms are based on some particular assumptions. When those assumptions does not hold, these algorithms then might not work. In this paper, we propose DAC, Deep Autoencoder-based Clustering, a generalized data-driven framework to learn clustering representations using deep neuron networks. Experiment results show that our approach could effectively boost performance of the K-Means clustering algorithm on a variety types of datasets.


title: Multiple magnetization plateaus induced by farther neighbor interaction in an $S = 1$ two-leg Heisenberg spin ladder

abstract: We study the magnetization process of the $S=1$ Heisenberg model on a two-leg ladder with farther neighbor spin-exchange interaction. We consider the interaction that couples up to the next-nearest neighbor rungs and find an exactly solvable regime where the ground states become product states. The next-nearest neighbor interaction tends to stabilize magnetization plateaus at multiples of 1/6. In most of the exactly solvable regime, a single magnetization curve shows two series of plateaus with different periodicities.


title: Dynamically assisted tunneling in the impulse regime

abstract: We study the enhancement of tunneling through a potential barrier $V(x)$ by a time-dependent electric field with special emphasis on pulse-shaped vector potentials such as $A_x(t)=A_0/\cosh^2(\omega t)$. In addition to the known effects of pre-acceleration and potential deformation already present in the adiabatic regime, as well as energy mixing in analogy to the Franz-Keldysh effect in the non-adiabatic (impulse) regime, the pulse $A_x(t)$ can enhance tunneling by ``pushing'' part of the wave-function out of the rear end of the barrier. Besides the natural applications in condensed matter and atomic physics, these findings could be relevant for nuclear fusion, where pulses $A_x(t)$ with $\omega=1~\rm keV$ and peak field strengths of $10^{16}~\rm V/m$ might enhance tunneling rates significantly.


title: Scaling Multi-Agent Reinforcement Learning with Selective Parameter Sharing

abstract: Sharing parameters in multi-agent deep reinforcement learning has played an essential role in allowing algorithms to scale to a large number of agents. Parameter sharing between agents significantly decreases the number of trainable parameters, shortening training times to tractable levels, and has been linked to more efficient learning. However, having all agents share the same parameters can also have a detrimental effect on learning. We demonstrate the impact of parameter sharing methods on training speed and converged returns, establishing that when applied indiscriminately, their effectiveness is highly dependent on the environment. We propose a novel method to automatically identify agents which may benefit from sharing parameters by partitioning them based on their abilities and goals. Our approach combines the increased sample efficiency of parameter sharing with the representational capacity of multiple independent networks to reduce training time and increase final returns.


title: Personality Traits and the Marriage Market

abstract: Which and how many attributes are relevant for the sorting of agents in a matching market? This paper addresses these questions by constructing indices of mutual attractiveness that aggregate information about agents' attributes. The first k indices for agents on each side of the market provide the best approximation of the matching surplus by a k-dimensional model. The methodology is applied on a unique Dutch households survey containing information about education, height, BMI, health, attitude toward risk and personality traits of spouses.


title: T-RACKs: A Faster Recovery Mechanism for TCP in Data Center Networks

abstract: Cloud interactive data-driven applications generate swarms of small TCP flows that compete for the small buffer space in data-center switches. Such applications require a short flow completion time (FCT) to perform their jobs effectively. However, TCP is oblivious to the composite nature of application data and artificially inflates the FCT of such flows by several orders of magnitude. This is due to TCP's Internet-centric design that fixes the retransmission timeout (RTO) to be at least hundreds of milliseconds. To better understand this problem, in this paper, we use empirical measurements in a small testbed to study, at a microscopic level, the effects of various types of packet losses on TCP's performance. In particular, we single out packet losses that impact the tail end of small flows, as well as bursty losses, that span a significant fraction of the small congestion window of TCP flows in data-centers, to show a non-negligible effect on the FCT. Based on this, we propose the so-called, timely-retransmitted ACKs (or T-RACKs), a simple loss recovery mechanism to conceal the drawbacks of the long RTO even in the presence of heavy packet losses. Interestingly enough, T-RACKS achieves this transparently to TCP itself as it does not require any change to TCP in the tenant's virtual machine (VM). T-RACKs can be implemented as a software shim layer in the hypervisor between the VMs and server's NIC or in hardware as a networking function in a SmartNIC. Simulation and real testbed results show that T-RACKs achieves remarkable performance improvements.


title: Why are ELEvoHI CME arrival predictions different if based on STEREO-A or STEREO-B heliospheric imager observations?

abstract: Accurate forecasting of the arrival time and arrival speed of coronal mass ejections (CMEs) is a unsolved problem in space weather research. In this study, a comparison of the predicted arrival times and speeds for each CME based, independently, on the inputs from the two STEREO vantage points is carried out. We perform hindcasts using ELlipse Evolution model based on Heliospheric Imager observations (ELEvoHI) ensemble modelling. An estimate of the ambient solar wind conditions is obtained by the Wang-Sheeley-Arge/Heliospheric Upwind eXtrapolation (WSA/HUX) model combination that serves as input to ELEvoHI. We carefully select 12 CMEs between February 2010 and July 2012 that show clear signatures in both STEREO-A and STEREO-B HI time-elongation maps, that propagate close to the ecliptic plane, and that have corresponding in situ signatures at Earth. We find a mean arrival time difference of 6.5 hrs between predictions from the two different viewpoints, which can reach up to 9.5 hrs for individual CMEs, while the mean arrival speed difference is 63 km s$^{-1}$. An ambient solar wind with a large speed variance leads to larger differences in the STEREO-A and STEREO-B CME arrival time predictions ($cc~=~0.92$). Additionally, we compare the predicted arrivals, from both spacecraft, to the actual in situ arrivals at Earth and find a mean absolute error of 7.5 $\pm$ 9.5 hrs for the arrival time and 87 $\pm$ 111 km s$^{-1}$ for the arrival speed. There is no tendency for one spacecraft to provide more accurate arrival predictions than the other.


title: Trace- and improved data processing inequalities for von Neumann algebras

abstract: We prove a version of the data-processing inequality for the relative entropy for general von Neumann algebras with an explicit lower bound involving the measured relative entropy. The inequality, which generalizes previous work by Sutter et al. on finite dimensional density matrices, yields a bound how well a quantum state can be recovered after it has been passed through a channel. The natural applications of our results are in quantum field theory where the von Neumann algebras are known to be of type III. Along the way we generalize various multi-trace inequalities to general von Neumann algebras.


title: Holographic Cell Stiffness Mapping Using Acoustic Stimulation

abstract: Accurate assessment of stiffness distribution is essential due to the critical role of single cell mechanobiology in the regulation of many vital cellular processes such as proliferation, adhesion, migration, and motility. Cell stiffness is one of the fundamental mechanical properties of the cell and is greatly affected by the intracellular tensional forces, cytoskeletal prestress, and cytoskeleton structure. Herein, we propose a novel holographic single-cell stiffness measurement technique that can obtain the stiffness distribution over a cell membrane at high resolution and in real-time. The proposed imaging method coupled with acoustic signals allows us to assess the cell stiffness distribution with a low error margin and label-free manner. We demonstrate the proposed technique on HCT116 (Human Colorectal Carcinoma) cells and CTC-mimicked HCT116 cells by induction with transforming growth factor-beta (TGF-\b{eta}). Validation studies of the proposed approach were carried out on certified polystyrene microbeads with known stiffness levels. Its performance was evaluated in comparison with the AFM results obtained for the relevant cells. When the experimental results were examined, the proposed methodology shows utmost performance over average cell stiffness values for HCT116, and CTC-mimicked HCT116 cells were found as 1.08 kPa, and 0.88 kPa, respectively. The results confirm that CTC-mimicked HCT116 cells lose their adhesion ability to enter the vascular circulation and metastasize. They also exhibit a softer stiffness profile compared to adherent forms of the cancer cells. Hence, the proposed technique is a significant, reliable, and faster alternative for in-vitro cell stiffness characterization tools. It can be utilized for various applications where single-cell analysis is required, such as disease modeling, drug testing, diagnostics, and many more.


title: Telegraph systems on networks and port-Hamiltonians. I. Boundary conditions and well-posedness

abstract: The paper is concerned with a system of linear hyperbolic differential equations on a network coupled through general transmission conditions of Kirchhoff's type at the nodes. We discuss the reduction of such a problem to a system of 1-dimensional hyperbolic problems for the associated Riemann invariants and provide a semigroup theoretic proof of its well-posedness. A number of examples showing the relation of our results with recent research is also provided.


title: Spatio-temporal Graph-RNN for Point Cloud Prediction

abstract: In this paper, we propose an end-to-end learning network to predict future frames in a point cloud sequence. As main novelty, an initial layer learns topological information of point clouds as geometric features, to form representative spatio-temporal neighborhoods. This module is followed by multiple Graph-RNN cells. Each cell learns points dynamics (i.e., RNN states) by processing each point jointly with the spatio-temporal neighbouring points. We tested the network performance with a MINST dataset of moving digits, a synthetic human bodies motions and JPEG dynamic bodies datasets. Simulation results demonstrate that our method outperforms baseline ones that neglect geometry features information.


title: Breaking Reciprocity in a non-Hermitian Photonic Coupler with Saturable Absorption

abstract: We study the breaking of reciprocity in non-Hermitian coupled photonic waveguides by the simultaneous action of the nonlinear effect of saturable absorption, and the presence of exceptional points. The nonlinear response of such a system is studied in depth, giving physical insight into the operational principles and fundamental limitations, while producing analytical and semi-analytical results for the transmission and nonreciprocal intensity range. We numerically validate the theoretical results and assess important performance metrics for the nonreciprocal operation of such a device. This novel class of passive non-resonant devices can offer on-chip broadband nonreciprocal operation, making them potentially very important for high-speed applications.


title: Tunable moire spinons in magnetically encapsulated twisted van der Waals quantum spin-liquids

abstract: Quantum spin-liquid van der Waals magnets such as TaS$_2$, TaSe$_2$, and RuCl$_3$ provide a natural platform to explore new exotic phenomena associated with spinon physics, whose properties can be controlled by exchange proximity with ferromagnetic insulators such as CrBr$_3$. Here we put forward a twisted van der Waals heterostructure based on a quantum spin-liquid bilayer encapsulated between ferromagnetic insulators. We demonstrate the emergence of spinon flat bands and topological spinon states in such heterostructure, where the emergence of a topological gap is driven by the twist. We further show that the spinon bandstructure can be controlled via exchange proximity effect to the ferromagnetic leads. We finally show how by combining small magnetic fields with tunneling spectroscopy, magnetically encapsulated heterostructures provide a way of characterizing the nature of the quantum spin-liquid state. Our results put forward twisted quantum spin-liquid bilayers as potential platforms for exotic moire spinon phenomena, demonstrating the versatility of magnetic van der Waals heterostructures.


title: Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine

abstract: Inline assembly is still a common practice in low-level C programming, typically for efficiency reasons or for accessing specific hardware resources. Such embedded assembly codes in the GNU syntax (supported by major compilers such as GCC, Clang and ICC) have an interface specifying how the assembly codes interact with the C environment. For simplicity reasons, the compiler treats GNU inline assembly codes as blackboxes and relies only on their interface to correctly glue them into the compiled C code. Therefore, the adequacy between the assembly chunk and its interface (named compliance) is of primary importance, as such compliance issues can lead to subtle and hard-to-find bugs. We propose RUSTInA, the first automated technique for formally checking inline assembly compliance, with the extra ability to propose (proven) patches and (optimization) refinements in certain cases. RUSTInA is based on an original formalization of the inline assembly compliance problem together with novel dedicated algorithms. Our prototype has been evaluated on 202 Debian packages with inline assembly (2656 chunks), finding 2183 issues in 85 packages -- 986 significant issues in 54 packages (including major projects such as ffmpeg or ALSA), and proposing patches for 92% of them. Currently, 38 patches have already been accepted (solving 156 significant issues), with positive feedback from development teams.


title: Upper Bounds on the Boolean Rank of Kronecker Products

abstract: The Boolean rank of a $0,1$-matrix $A$, denoted $R_\mathbb{B}(A)$, is the smallest number of monochromatic combinatorial rectangles needed to cover the $1$-entries of $A$. In 1988, de Caen, Gregory, and Pullman asked if the Boolean rank of the Kronecker product $C_n \otimes C_n$ is strictly smaller than the square of $R_\mathbb{B}(C_n)$, where $C_n$ is the $n \times n$ matrix with zeros on the diagonal and ones everywhere else (Carib. Conf. Comb. & Comp., 1988). A positive answer was given by Watts for $n=4$ (Linear Alg. and its Appl., 2001). A result of Karchmer, Kushilevitz, and Nisan, motivated by direct-sum questions in non-deterministic communication complexity, implies that the Boolean rank of $C_n \otimes C_n$ grows linearly in that of $C_n$ (SIAM J. Disc. Math., 1995), and thus $R_\mathbb{B}(C_n \otimes C_n) < R_\mathbb{B}(C_n)^2$ for every sufficiently large $n$. Their proof relies on a probabilistic argument. In this work, we present a general method for proving upper bounds on the Boolean rank of Kronecker products of $0,1$-matrices. We use it to affirmatively settle the question of de Caen et al. for all integers $n \geq 7$. We further provide an explicit construction of a cover of $C_n \otimes C_n$, whose number of rectangles nearly matches the optimal asymptotic bound. Our method for proving upper bounds on the Boolean rank of Kronecker products might find applications in different settings as well. We express its potential applicability by extending it to the wider framework of spanoids, recently introduced by Dvir, Gopi, Gu, and Wigderson (SIAM J. Comput., 2020).


title: A max inequality for spectral invariants of disjointly supported Hamiltonians

abstract: We study the relation between spectral invariants of disjointly supported Hamiltonians and of their sum. On aspherical manifolds, such a relation was established by Humili\`ere, Le Roux and Seyfaddini. We show that a weaker statement holds in a wider setting, and derive applications to Polterovich's Poisson bracket invariant and to Entov and Polterovich's notion of superheavy sets.


title: Fermion Mass Hierarchies, Large Lepton Mixing and Residual Modular Symmetries

abstract: In modular-invariant models of flavour, hierarchical fermion mass matrices may arise solely due to the proximity of the modulus $\tau$ to a point of residual symmetry. This mechanism does not require flavon fields, and modular weights are not analogous to Froggatt-Nielsen charges. Instead, we show that hierarchies depend on the decomposition of field representations under the residual symmetry group. We systematically go through the possible fermion field representation choices which may yield hierarchical structures in the vicinity of symmetric points, for the four smallest finite modular groups, isomorphic to $S_3$, $A_4$, $S_4$, and $A_5$, as well as for their double covers. We find a restricted set of pairs of representations for which the discussed mechanism may produce viable fermion (charged-lepton and quark) mass hierarchies. We present two lepton flavour models in which the charged-lepton mass hierarchies are naturally obtained, while lepton mixing is somewhat fine-tuned. After formulating the conditions for obtaining a viable lepton mixing matrix in the symmetric limit, we construct a model in which both the charged-lepton and neutrino sectors are free from fine-tuning.


title: Canonical Correlation and Assortative Matching: A Remark

abstract: In the context of the Beckerian theory of marriage, when men and women match on a single-dimensional index that is the weighted sum of their respective multivariate attributes, many papers in the literature have used linear canonical correlation, and related techniques, in order to estimate these weights. We argue that this estimation technique is inconsistent and suggest some solutions.


title: Structural and magnetic properties of the new quantum magnet BaCuTe$_2$O$_6$

abstract: We investigate the structural and magnetic properties of the new quantum magnet BaCuTe$_2$O$_6$. This compound is synthesized for the first time in powder and single crystal form. Synchrotron X-ray and neutron diffraction reveal a cubic crystal structure (P4$_1$32) where the magnetic Cu$^{2+}$ ions form a complex network. Physical properties measurements suggest the presence of antiferromagnetic interactions with a Curie-Weiss temperature of -33K, while long-range magnetic order occurs at the much lower temperature of ~6.3K. The magnetic structure, solved using neutron diffraction, reveals antiferromagnetic order along chains parallel to the a, b and c crystal axes. This is consistent with the magnetic excitations which resemble the multispinon continuum typical of the spin-1/2 Heisenberg antiferromagnetic chain. A consistent intrachain interaction value of ~34K is achieved from the various techniques. Finally the magnetic structure provides evidence that the chains are coupled together in a non-colinear arrangement by a much weaker antiferromagnetic, frustrated hyperkagome interaction.


title: Entropy methods for identifying hedonic models

abstract: This paper contributes to the literature on hedonic models in two ways. First, it makes use of Queyranne's reformulation of a hedonic model in the discrete case as a network flow problem in order to provide a proof of existence and integrality of a hedonic equilibrium and efficient computation of hedonic prices. Second, elaborating on entropic methods developed in Galichon and Salani\'{e} (2014), this paper proposes a new identification strategy for hedonic models in a single market. This methodology allows one to introduce heterogeneities in both consumers' and producers' attributes and to recover producers' profits and consumers' utilities based on the observation of production and consumption patterns and the set of hedonic prices.


title: DOBF: A Deobfuscation Pre-Training Objective for Programming Languages

abstract: Recent advances in self-supervised learning have dramatically improved the state of the art on a wide variety of tasks. However, research in language model pre-training has mostly focused on natural languages, and it is unclear whether models like BERT and its variants provide the best pre-training when applied to other modalities, such as source code. In this paper, we introduce a new pre-training objective, DOBF, that leverages the structural aspect of programming languages and pre-trains a model to recover the original version of obfuscated source code. We show that models pre-trained with DOBF significantly outperform existing approaches on multiple downstream tasks, providing relative improvements of up to 13% in unsupervised code translation, and 24% in natural language code search. Incidentally, we found that our pre-trained model is able to de-obfuscate fully obfuscated source files, and to suggest descriptive variable names.


title: High-entropy van der Waals materials formed from mixed metal dichalcogenides, halides and phosphorus trisulfides

abstract: The charge, spin, and composition degrees of freedom in high-entropy alloy endow it with tunable valence and spin states, infinite combinations and excellent mechanical performance. Meanwhile, the stacking, interlayer, and angle degrees of freedom in van der Waals material bring it with exceptional features and technological applications. Integration of these two distinct material categories while keeping their merits would be tempting. Based on this heuristic thinking, we design and explore a new range of materials (i.e., dichalcogenides, halides and phosphorus trisulfides) with multiple metallic constitutions and intrinsic layered structure, which are coined as high-entropy van der Waals materials. Millimeter-scale single crystals with homogeneous element distribution can be efficiently acquired and easily exfoliated or intercalated in this materials category. Multifarious physical properties like superconductivity, magnetic ordering, metal-insulator transition and corrosion resistance have been exploited. Further research based on the concept of high-entropy van der Waals materials will enrich the high-throughput design of new systems with intriguing properties and practical applications.


title: Masking singularities in Weyl gravity and Ricci flows

abstract: Within vacuum Weyl gravity, we obtain a solution by which, using different choices of the conformal factor, we derive metrics describing (i)~a bounce of the universe; (ii)~toroidal and spherical wormholes; and (iii)~a change in metric signature. It is demonstrated that singularities occurring in these systems are "masked". We give a simple explanation of the possibility of masking the singularities within Weyl gravity. It is shown that in the first and third cases the three-dimensional metrics form Ricci flows. The question of the possible applicability of conformal Weyl gravity as some phenomenological theory in an approximate description of quantum gravity is discussed.


title: ScrofaZero: Mastering Trick-taking Poker Game Gongzhu by Deep Reinforcement Learning

abstract: People have made remarkable progress in game AIs, especially in domain of perfect information game. However, trick-taking poker game, as a popular form of imperfect information game, has been regarded as a challenge for a long time. Since trick-taking game requires high level of not only reasoning, but also inference to excel, it can be a new milestone for imperfect information game AI. We study Gongzhu, a trick-taking game analogous to, but slightly simpler than contract bridge. Nonetheless, the strategies of Gongzhu are complex enough for both human and computer players. We train a strong Gongzhu AI ScrofaZero from \textit{tabula rasa} by deep reinforcement learning, while few previous efforts on solving trick-taking poker game utilize the representation power of neural networks. Also, we introduce new techniques for imperfect information game including stratified sampling, importance weighting, integral over equivalent class, Bayesian inference, etc. Our AI can achieve human expert level performance. The methodologies in building our program can be easily transferred into a wide range of trick-taking games.


title: Constructing a solution to the characteristic equation for the Langevin diffusion model with orthogonal perturbations

abstract: For the Langevin model of the dynamics of a Brownian particle with perturbations orthogonal to its current velocity, in a regime when the particle velocity modulus becomes constant, an equation for the characteristic function $\psi (t,\lambda )=M\left[\exp (\lambda ,x(t))/V={\rm v}(0)\right]$ of the position $x(t)$ of the Brownian particle. The obtained results confirm the conclusion that the model of the dynamics of a Brownian particle, which constructed on the basis of an unconventional physical interpretation of the Langevin equations, i. e. stochastic equations with orthogonal influences, leads to the interpretation of an ensemble of Brownian particles as a system with wave properties. These results are consistent with the previously obtained conclusions that, with a certain agreement of the coefficients in the original stochastic equation, for small random influences and friction, the Langevin equations lead to a description of the probability density of the position of a particle based on wave equations. For large random influences and friction, the probability density is a solution to the diffusion equation, with a diffusion coefficient that is lower than in the classical diffusion model.

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


title: A new mass model for nuclear astrophysics: crossing 200 keV accuracy

abstract: By using a machine learning algorithms, we present an improved nuclear mass table with a root mean square deviation of less than $200$\.keV. The model is equipped with statistical error bars in order to compare with available experimental data. We use the resulting model to predict the composition of the outer crust of a neutron star. By means of simple Monte Carlo methods, we propagate the statistical uncertainties of the mass model to the equation of state of the system.


title: JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification

abstract: Modern programming follows the continuous integration (CI) and continuous deployment (CD) approach rather than the traditional waterfall model. Even the development of modern programming languages uses the CI/CD approach to swiftly provide new language features and to adapt to new development environments. Unlike in the conventional approach, in the modern CI/CD approach, a language specification is no more the oracle of the language semantics because both the specification and its implementations can co-evolve. In this setting, both the specification and implementations may have bugs, and guaranteeing their correctness is non-trivial. In this paper, we propose a novel N+1-version differential testing to resolve the problem. Unlike the traditional differential testing, our approach consists of three steps: 1) to automatically synthesize programs guided by the syntax and semantics from a given language specification, 2) to generate conformance tests by injecting assertions to the synthesized programs to check their final program states, 3) to detect bugs in the specification and implementations via executing the conformance tests on multiple implementations, and 4) to localize bugs on the specification using statistical information. We actualize our approach for the JavaScript programming language via JEST, which performs N+1-version differential testing for modern JavaScript engines and ECMAScript, the language specification describing the syntax and semantics of JavaScript in a natural language. We evaluated JEST with four JavaScript engines that support all modern JavaScript language features and the latest version of ECMAScript (ES11, 2020). JEST automatically synthesized 1,700 programs that covered 97.78% of syntax and 87.70% of semantics from ES11. Using the assertion-injection, it detected 44 engine bugs in four engines and 27 specification bugs in ES11.


title: An All-In-One Geometric Algorithm for Cutting, Tearing, and Drilling Deformable Models

abstract: Conformal Geometric Algebra (CGA) is a framework that allows the representation of objects, such as points, planes and spheres, and deformations, such as translations, rotations and dilations as uniform vectors, called multivectors. In this work, we demonstrate the merits of multivector usage with a novel, integrated rigged character simulation framework based on CGA. In such a framework, and for the first time, one may perform real-time cuts and tears as well as drill holes on a rigged 3D model. These operations can be performed before and/or after model animation, while maintaining deformation topology. Moreover, our framework permits generation of intermediate keyframes on-the-fly based on user input, apart from the frames provided in the model data. We are motivated to use CGA as it is the lowest-dimension extension of dual-quaternion algebra that amends the shortcomings of the majority of existing animation and deformation techniques. Specifically, we no longer need to maintain objects of multiple algebras and constantly transmute between them, such as matrices, quaternions and dual-quaternions, and we can effortlessly apply dilations. Using such an all-in-one geometric framework allows for better maintenance and optimization and enables easier interpolation and application of all native deformations. Furthermore, we present these three novel algorithms in a single CGA representation which enables cutting, tearing and drilling of the input rigged model, where the output model can be further re-deformed in interactive frame rates. These close to real-time cut,tear and drill algorithms can enable a new suite of applications, especially under the scope of a medical VR simulation.


title: On the Impact of Device and Behavioral Heterogeneity in Federated Learning

abstract: Federated learning (FL) is becoming a popular paradigm for collaborative learning over distributed, private datasets owned by non-trusting entities. FL has seen successful deployment in production environments, and it has been adopted in services such as virtual keyboards, auto-completion, item recommendation, and several IoT applications. However, FL comes with the challenge of performing training over largely heterogeneous datasets, devices, and networks that are out of the control of the centralized FL server. Motivated by this inherent setting, we make a first step towards characterizing the impact of device and behavioral heterogeneity on the trained model. We conduct an extensive empirical study spanning close to 1.5K unique configurations on five popular FL benchmarks. Our analysis shows that these sources of heterogeneity have a major impact on both model performance and fairness, thus sheds light on the importance of considering heterogeneity in FL system design.


title: Annealed Flow Transport Monte Carlo

abstract: Annealed Importance Sampling (AIS) and its Sequential Monte Carlo (SMC) extensions are state-of-the-art methods for estimating normalizing constants of probability distributions. We propose here a novel Monte Carlo algorithm, Annealed Flow Transport (AFT), that builds upon AIS and SMC and combines them with normalizing flows (NFs) for improved performance. This method transports a set of particles using not only importance sampling (IS), Markov chain Monte Carlo (MCMC) and resampling steps - as in SMC, but also relies on NFs which are learned sequentially to push particles towards the successive annealed targets. We provide limit theorems for the resulting Monte Carlo estimates of the normalizing constant and expectations with respect to the target distribution. Additionally, we show that a continuous-time scaling limit of the population version of AFT is given by a Feynman--Kac measure which simplifies to the law of a controlled diffusion for expressive NFs. We demonstrate experimentally the benefits and limitations of our methodology on a variety of applications.

categories: stat.ML cond-mat.stat-mech cs.LG math.ST stat.TH


title: Entropies of non positively curved metric spaces

abstract: We show the equivalences of several notions of entropy, like a version of the topological entropy of the geodesic flow and the Minkowski dimension of the boundary, in metric spaces with convex geodesic bicombings satisfying a uniform packing condition. Similar estimates will be given in case of closed subsets of the boundary of Gromov-hyperbolic metric spaces with convex geodesic bicombings.


title: One-shot learning for the long term: consolidation with an artificial hippocampal algorithm

abstract: Standard few-shot experiments involve learning to efficiently match previously unseen samples by class. We claim that few-shot learning should be long term, assimilating knowledge for the future, without forgetting previous concepts. In the mammalian brain, the hippocampus is understood to play a significant role in this process, by learning rapidly and consolidating knowledge to the neocortex incrementally over a short period. In this research we tested whether an artificial hippocampal algorithm (AHA), could be used with a conventional Machine Learning (ML) model that learns incrementally analogous to the neocortex, to achieve one-shot learning both short and long term. The results demonstrated that with the addition of AHA, the system could learn in one-shot and consolidate the knowledge for the long term without catastrophic forgetting. This study is one of the first examples of using a CLS model of hippocampus to consolidate memories, and it constitutes a step toward few-shot continual learning.


title: Learning Pomset Automata

abstract: We extend the L* algorithm to learn bimonoids recognising pomset languages. We then identify a class of pomset automata that accepts precisely the class of pomset languages recognised by bimonoids and show how to convert between bimonoids and automata.


title: An Overview of Agent-based Traffic Simulators

abstract: Individual traffic significantly contributes to climate change and environmental degradation. Therefore, innovation in sustainable mobility is gaining importance as it helps to reduce environmental pollution. However, effects of new ideas in mobility are difficult to estimate in advance and strongly depend on the individual traffic participants. The application of agent technology is particularly promising as it focuses on modelling heterogeneous individual preferences and behaviours. In this paper, we show how agent-based models are particularly suitable to address three pressing research topics in mobility: 1. Social dilemmas in resource utilisation; 2. Digital connectivity; and 3. New forms of mobility. We then explain how the features of several agent-based simulators are suitable for addressing these topics. We assess the capability of simulators to model individual travel behaviour, discussing implemented features and identifying gaps in functionality that we consider important.


title: Small-Signal Stability Analysis of a DC Shipboard Microgrid With Droop-Controlled Batteries and Constant Power Resources

abstract: The presence of constant power loads (CPLs) in dc shipboard microgrids may lead to unstable conditions. The present work investigates the stability properties of dc microgrids where CPLs are fed by fuel cells (FCs), and energy storage systems (ESSs) equipped with voltage droop control. With respect to the previous literature, the dynamics of the duty cycles of the dc-dc converters implementing the droop regulation are considered. A mathematical model has been derived, and tuned to best mimic the behavior of the electrical representation implemented in DIgSILENT. Then the model is used to find the sufficient conditions for stability with respect to the droop coefficient, the dc-bus capacitor, and the inductances of the dc-dc converters.


title: CLNet: Complex Input Lightweight Neural Network designed for Massive MIMO CSI Feedback

abstract: Unleashing the full potential of massive MIMO in FDD mode by reducing the overhead of CSI feedback has recently garnered attention. Numerous deep learning for massive MIMO CSI feedback approaches have demonstrated their efficiency and potential. However, most existing methods improve accuracy at the cost of computational complexity and the accuracy decreases significantly as the CSI compression rate increases. This paper presents a novel neural network CLNet tailored for CSI feedback problem based on the intrinsic properties of CSI. CLNet proposes a forge complex-valued input layer to process signals and utilizes attention mechanism to enhance the performance of the network. The experiment result shows that CLNet outperforms the state-of-the-art method by average accuracy improvement of 5.41\% in both outdoor and indoor scenarios with average 24.1\% less computational overhead. Codes for deep learning-based CSI feedback CLNet are available at GitHub.


title: Recommending API Function Calls and Code Snippets to Support Software Development

abstract: Software development activity has reached a high degree of complexity, guided by the heterogeneity of the components, data sources, and tasks. The proliferation of open-source software (OSS) repositories has stressed the need to reuse available software artifacts efficiently. To this aim, it is necessary to explore approaches to mine data from software repositories and leverage it to produce helpful recommendations. We designed and implemented FOCUS as a novel approach to provide developers with API calls and source code while they are programming. The system works on the basis of a context-aware collaborative filtering technique to extract API usages from OSS projects. In this work, we show the suitability of FOCUS for Android programming by evaluating it on a dataset of 2,600 mobile apps. The empirical evaluation results show that our approach outperforms two state-of-the-art API recommenders, UP-Miner and PAM, in terms of prediction accuracy. We also point out that there is no significant relationship between the categories for apps defined in Google Play and their API usages. Finally, we show that participants of a user study positively perceive the API and source code recommended by FOCUS as relevant to the current development context.


title: A general framework of canonical quasinormal mode analysis for extreme nano-optics

abstract: Optical phenomena associated with extremely localized field should be understood with considerations of nonlocal and quantum effects, which pose a hurdle to conceptualize the physics with a picture of eigenmodes. Here we first propose a generalized Lorentz model to describe general nonlocal media under linear mean-field approximation and formulate source-free Maxwell's equations as a linear eigenvalue problem to define the quasinormal modes. Then we introduce an orthonormalization scheme for the modes and establish a canonical quasinormal mode framework for general nonlocal media. Explicit formalisms for metals described by quantum hydrodynamic model and polar dielectrics with nonlocal response are exemplified. The framework enables for the first time direct modal analysis of mode transition in the quantum tunneling regime and provides physical insights beyond usual far-field spectroscopic analysis. Applied to nonlocal polar dielectrics, the framework also unveils the important roles of longitudinal phonon polaritons in optical response.


title: Plug-and-Play gradient-based denoisers applied to CT image enhancement

abstract: Blur and noise corrupting Computed Tomography (CT) images can hide or distort small but important details, negatively affecting the diagnosis. In this paper, we present a novel gradient-based Plug-and-Play algorithm, constructed on the Half-Quadratic Splitting scheme, and we apply it to restore CT images. In particular, we consider different schemes encompassing external and internal denoisers as priors, defined on the image gradient domain. The internal prior is based on the Total Variation functional. The external denoiser is implemented by a deep Convolutional Neural Network (CNN) trained on the gradient domain (and not on the image one, as in state-of-the-art works). We also prove a general fixed-point convergence theorem under weak assumptions on both internal and external denoisers. The experiments confirm the effectiveness of the proposed framework in restoring blurred noisy CT images, both in simulated and real medical settings. The achieved enhancements in the restored images are really remarkable, if compared to the results of many state-of-the-art methods.


title: GradPIM: A Practical Processing-in-DRAM Architecture for Gradient Descent

abstract: In this paper, we present GradPIM, a processing-in-memory architecture which accelerates parameter updates of deep neural networks training. As one of processing-in-memory techniques that could be realized in the near future, we propose an incremental, simple architectural design that does not invade the existing memory protocol. Extending DDR4 SDRAM to utilize bank-group parallelism makes our operation designs in processing-in-memory (PIM) module efficient in terms of hardware cost and performance. Our experimental results show that the proposed architecture can improve the performance of DNN training and greatly reduce memory bandwidth requirement while posing only a minimal amount of overhead to the protocol and DRAM area.


title: Fermi-surface reconstruction at the metamagnetic high-field transition in uranium mononitride

abstract: We report on the electronic and thermodynamic properties of the antiferromagnetic metal uranium mononitride with a N\'eel temperature $T_N\approx 53\,$K. The fabrication of microstructures from single crystals enables us to study the low-temperature metamagnetic transition at approximately $58\,$T by high-precision magnetotransport, Hall-effect, and magnetic-torque measurements. We confirm the evolution of the high-field transition from a broad and complex behavior to a sharp first-order-like step, associated with a spin flop at low temperature. In the high-field state, the magnetic contribution to the temperature dependence of the resistivity is suppressed completely. It evolves into an almost quadratic dependence at low temperatures indicative of a metallic character. Our detailed investigation of the Hall effect provides evidence for a prominent Fermi-surface reconstruction as the system is pushed into the high-field state.


title: Homotopy theory of Moore flows (II)

abstract: This paper proves that the q-model structures of Moore flows and of multipointed $d$-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects are q-fibrant). As an application, we provide a new proof of the fact that the categorization functor from multipointed $d$-spaces to flows has a total left derived functor which induces a category equivalence between the homotopy categories. The new proof sheds light on the internal structure of the categorization functor which is neither a left adjoint nor a right adjoint. It is even possible to write an inverse up to homotopy of this functor using Moore flows.


title: Short- and long-term prediction of a chaotic flow: A physics-constrained reservoir computing approach

abstract: We propose a physics-constrained machine learning method-based on reservoir computing- to time-accurately predict extreme events and long-term velocity statistics in a model of turbulent shear flow. The method leverages the strengths of two different approaches: empirical modelling based on reservoir computing, which it learns the chaotic dynamics from data only, and physical modelling based on conservation laws, which extrapolates the dynamics when training data becomes unavailable. We show that the combination of the two approaches is able to accurately reproduce the velocity statistics and to predict the occurrence and amplitude of extreme events in a model of self-sustaining process in turbulence. In this flow, the extreme events are abrupt transitions from turbulent to quasi-laminar states, which are deterministic phenomena that cannot be traditionally predicted because of chaos. Furthermore, the physics-constrained machine learning method is shown to be robust with respect to noise. This work opens up new possibilities for synergistically enhancing data-driven methods with physical knowledge for the time-accurate prediction of chaotic flows.


title: Sequence Types and Infinitary Semantics

abstract: We introduce a new representation of non-idempotent intersection types, using \textbf{sequences} (families indexed with natural numbers) instead of lists or multisets. This allows scaling up \textbf{intersection type} theory to the infinitary $\lambda$-calculus. We thus characterize hereditary head normalization, which gives a positive answer to a question known as \textbf{Klop's Problem}. On our way, we use \textbf{non-idempotent intersection} to retrieve some well-known results on infinitary terms.


title: On an optimal quadrature formula for approximation of Fourier integrals in the space $W_2^{(1,0)}$

abstract: The present paper is devoted to construction of an optimal quadrature formula for approximation of Fourier integrals in the Hilbert space $W_2^{(1,0)}[a,b]$ of non-periodic, complex valued functions. Here the quadrature sum consists of linear combination of the given function values on uniform grid. The difference between integral and quadrature sum is estimated by the norm of the error functional. The optimal quadrature formula is obtained by minimizing the norm of the error functional with respect to coefficients. In addition, analytic formulas for optimal coefficients are obtained using the discrete analogue of the differential operator $d^2/d x^2-1$. Further, the order of convergence of the optimal quadrature formula is studied.


title: The "dark phase'' in Sr$_2$Ir$_{1-x}$Rh$_x$O$_4$ revealed by Seebeck and Hall measurements

abstract: It was found that, although isovalent, Rh substituted for Ir in Sr$_2$IrO$_4$ may trap one electron inducing effective hole doping of Ir sites. Transport and thermoelectric measurements on Sr$_2$Ir$_{1-x}$Rh$_x$O$_4$ single crystals presented here reveal the existence of an electron-like contribution to transport, in addition to the hole-doped one. As no electron band shows up in ARPES measurements, this points to the possibility that this hidden electron may delocalize in disordered clusters.


title: Dark matter, $Z^{\prime}$, vector-like quark at the LHC and $b\to s \mu\mu$ anomaly

abstract: Combining the $b\to s\mu^+\mu^-$ anomaly and dark matter observables, we study the capability of LHC to test dark matter, $Z^{\prime}$, and vector-like quark. We focus on a local $U(1)_{L_\mu-L_\tau}$ model with a vector-like $SU(2)_L$ doublet quark $Q$ and a complex singlet scalar whose lightest component $X_I$ is a candidate of dark matter. After imposing relevant constraints, we find that the $b\to s\mu^+\mu^-$ anomaly and the relic abundance of dark matter favor $m_{X_I}< 350$ GeV and $m_{Z^{\prime}}< 450$ GeV for $m_Q<$ 2 TeV and $m_{X_R}<$ 2 TeV (the heavy partner of $m_{X_I}$). The current searches for jets and missing transverse momentum at the LHC sizably reduce the mass ranges of the vector-like quark, and $m_Q$ is required to be larger than 1.7 TeV. Finally, we discuss the possibility of probing these new particles at the high luminosity LHC via the QCD process $pp \to D\bar{D}$ or $pp \to U\bar{U}$ followed by the decay $D\to s (b) Z'X_I$ or $U \to u (c) Z' X_I$ and then $Z'\to\mu^+\mu^-$. Taking a benchmark point of $m_Q$=1.93 TeV, $m_{Z^\prime}=170$ GeV, and $m_{X_I}=$ 145 GeV, we perform a detailed Monte Carlo simulation, and find that such benchmark point can be accessible at the 14 TeV LHC with an integrated luminosity 3000 fb$^{-1}$.


title: The random first-order transition theory of active glass in the high-activity regime

abstract: Dense active matter, in the fluid or amorphous-solid form, has generated intense interest as a model for the dynamics inside living cells and multicellular systems. An extension of the random first-order transition theory (RFOT) to include activity was developed, whereby the activity of the individual particles was added to the free energy of the system in the form of the potential energy of an active particle, trapped by a harmonic potential that describes the effective confinement by the surrounding medium. This active-RFOT model was shown to successfully account for the dependence of the structural relaxation time in the active glass, extracted from simulations, as a function of the activity parameters: the magnitude of the active force ($f_0$) and its persistence time ($\tau_p$). However, significant deviations were found in the limit of large activity (large $f_0$ and/or $\tau_p$). Here we extend the active-RFOT model to high activity using an activity-dependent harmonic confining potential, which we solve self-consistently. The extended model predicts qualitative changes in the high activity regime, which agree with the results of simulations in both three-dimensional and two-dimensional models of active glass.


title: Comment on "OPE and quark-hadron duality for two-point functions of tetraquark currents in $1/N_c$ expansion"

abstract: Without excluding the contributions of factorizable Feynman diagrams in the color space to the QCD sum rules by hand, we cannot obtain the conclusion that the factorizable parts of the operator product expansion series cannot have any relationship to the possible tetraquark bound states. The tetraquark couplings $f_T$ are of the order $\mathcal{O}(N_c)$ rather than of the order $\mathcal{O}(N^0_c)$ in the large $N_c$ limit, the conclusion "a possible exotic tetraquark state may appear only in $N_c$-subleading contributions to the QCD Green functions" is a paradox.


title: Distributed Online Learning for Joint Regret with Communication Constraints

abstract: We consider distributed online learning for joint regret with communication constraints. In this setting, there are multiple agents that are connected in a graph. Each round, an adversary first activates one of the agents to issue a prediction and provides a corresponding gradient, and then the agents are allowed to send a $b$-bit message to their neighbors in the graph. All agents cooperate to control the joint regret, which is the sum of the losses of the activated agents minus the losses evaluated at the best fixed common comparator parameters $u$. We observe that it is suboptimal for agents to wait for gradients that take too long to arrive. Instead, the graph should be partitioned into local clusters that communicate among themselves. Our main result is a new method that can adapt to the optimal graph partition for the adversarial activations and gradients, where the graph partition is selected from a set of candidate partitions. A crucial building block along the way is a new algorithm for online convex optimization with delayed gradient information that is comparator-adaptive, meaning that its joint regret scales with the norm of the comparator $||u||$. We further provide near-optimal gradient compression schemes depending on the ratio of $b$ and the dimension times the diameter of the graph.


title: A Low-Order Dynamic Model of Counterflow Heat Exchangers for the Purpose of Monitoring Transient and Steady-State Operating Phases

abstract: We present a model-based real-time method to monitor a counterflow heat exchanger's thermal performance for all operating conditions. A first principle reference model that describes the reference counterflow process in an accurate manner is derived first. Real gas behavior is taken into account. Without simplifications, the respective equations must be solved in an iterative, computationally expensive manner, which prohibits their use for real-time monitoring purposes. Therefore, we propose one-step-solvable model equations, resulting in an approximate but quick model, which is able to track an important thermal property reliably. The monitoring, i.e., the online estimation of the thermal properties, is achieved via a nonlinear Kalman-Filter. Due to the low-order dynamic model formulation, the overall monitoring scheme is accompanied by an acceptable computational burden. Moreover, it is easy to deploy and to adapt in industrial practice. Monitoring results, where the reference model replaces a real process with supercritical carbon dioxide, are given and discussed herein.


title: Cooperation and Reputation Dynamics with Reinforcement Learning

abstract: Creating incentives for cooperation is a challenge in natural and artificial systems. One potential answer is reputation, whereby agents trade the immediate cost of cooperation for the future benefits of having a good reputation. Game theoretical models have shown that specific social norms can make cooperation stable, but how agents can independently learn to establish effective reputation mechanisms on their own is less understood. We use a simple model of reinforcement learning to show that reputation mechanisms generate two coordination problems: agents need to learn how to coordinate on the meaning of existing reputations and collectively agree on a social norm to assign reputations to others based on their behavior. These coordination problems exhibit multiple equilibria, some of which effectively establish cooperation. When we train agents with a standard Q-learning algorithm in an environment with the presence of reputation mechanisms, convergence to undesirable equilibria is widespread. We propose two mechanisms to alleviate this: (i) seeding a proportion of the system with fixed agents that steer others towards good equilibria; and (ii), intrinsic rewards based on the idea of introspection, i.e., augmenting agents' rewards by an amount proportionate to the performance of their own strategy against themselves. A combination of these simple mechanisms is successful in stabilizing cooperation, even in a fully decentralized version of the problem where agents learn to use and assign reputations simultaneously. We show how our results relate to the literature in Evolutionary Game Theory, and discuss implications for artificial, human and hybrid systems, where reputations can be used as a way to establish trust and cooperation.


title: Comment on "Nonlocality claims are inconsistent with Hilbert-space quantum mechanics"

abstract: The view exists that the Bell inequality is a mere inconsistent application of classical concepts to a well-established quantum world. In the article, ``Nonlocality claims are inconsistent with Hilbert-space quantum mechanics'' [Phys. Rev. A, 101, 022117, (2020)], Robert B. Griffiths advocates for quantum theory's locality. Although R. B. Griffiths presents valuable insights in favor of quantum mechanics' local character, he argues the Bell inequality is an inconsistent application of classical physics to quantum mechanics. We explain why a correct assessment of the Bell inequality does not in fact conflict with Griffiths's views of quantum locality and, on the contrary, it already contemplates them. Hence, Bell inequality inconsistency is not necessary for Griffiths's quantum locality to hold.


title: Scalable Vector Gaussian Information Bottleneck

abstract: In the context of statistical learning, the Information Bottleneck method seeks a right balance between accuracy and generalization capability through a suitable tradeoff between compression complexity, measured by minimum description length, and distortion evaluated under logarithmic loss measure. In this paper, we study a variation of the problem, called scalable information bottleneck, in which the encoder outputs multiple descriptions of the observation with increasingly richer features. The model, which is of successive-refinement type with degraded side information streams at the decoders, is motivated by some application scenarios that require varying levels of accuracy depending on the allowed (or targeted) level of complexity. We establish an analytic characterization of the optimal relevance-complexity region for vector Gaussian sources. Then, we derive a variational inference type algorithm for general sources with unknown distribution; and show means of parametrizing it using neural networks. Finally, we provide experimental results on the MNIST dataset which illustrate that the proposed method generalizes better to unseen data during the training phase.


title: Dissipative switching waves and solitons in the systems with spontaneously broken symmetry

abstract: The paper addresses the bistability caused by spontaneous symmetry breaking bifurcation in a one-dimensional periodically corrugated nonlinear waveguide pumped by coherent light at normal incidence. The formation and the stability of the switching waves connecting the states of different symmetries are studied numerically. It is shown that the switching waves can form stable resting and moving bound states (dissipative solitons). The protocols of the creation of discussed nonlinear localized waves are suggested and verified by numerical simulations.


title: Beyond QUIC v1: A First Look at Recent Transport Layer IETF Standardization Efforts

abstract: The transport layer is ossified. With most of the research and deployment efforts in the past decade focussing on the Transmission Control Protocol (TCP) and its extensions, the QUIC standardization by the Internet Engineering Task Force (IETF) is to be finalized in early 2021. In addition to addressing the most urgent issues of TCP, QUIC ensures its future extendibility and is destined to drastically change the transport protocol landscape. In this work, we present a first look at emerging protocols and their IETF standardization efforts beyond QUIC v1. While multiple proposed extensions improve on QUIC itself, Multiplexed Application Substrate over QUIC Encryption (MASQUE) as well as WebTransport present different approaches to address long-standing problems, and their interplay extends on QUIC's take to address transport layer ossification challenges.


title: Byzantine Dispersion on Graphs

abstract: This paper considers the problem of Byzantine dispersion and extends previous work along several parameters. The problem of Byzantine dispersion asks: given $n$ robots, up to $f$ of which are Byzantine, initially placed arbitrarily on an $n$ node anonymous graph, design a terminating algorithm to be run by the robots such that they eventually reach a configuration where each node has at most one non-Byzantine robot on it. Previous work solved this problem for rings and tolerated up to $n-1$ Byzantine robots. In this paper, we investigate the problem on more general graphs. We first develop an algorithm that tolerates up to $n-1$ Byzantine robots and works for a more general class of graphs. We then develop an algorithm that works for any graph but tolerates a lesser number of Byzantine robots. We subsequently turn our focus to the strength of the Byzantine robots. Previous work considers only ``weak" Byzantine robots that cannot fake their IDs. We develop an algorithm that solves the problem when Byzantine robots are not weak and can fake IDs. Finally, we study the situation where the number of the robots is not $n$ but some $k$. We show that in such a scenario, the number of Byzantine robots that can be tolerated is severely restricted. Specifically, we show that it is impossible to deterministically solve Byzantine dispersion when $\lceil k/n \rceil > \lceil (k-f)/n \rceil$.


title: A Bar-Natan homotopy type

abstract: A spatial refinement of Bar-Natan homology is given, that is, for any link diagram $D$ we construct a CW-spectrum $\mathcal{X}_{\mathit{BN}}(D)$ whose reduced cellular cochain complex gives the Bar-Natan complex of $D$. The stable homotopy type of $\mathcal{X}_{\mathit{BN}}(D)$ is a link invariant and is described as the wedge sum of the canonical cells. We conjecture that the quantum filtration of Bar-Natan homology also lifts to the spatial level, and that it leads us to a cohomotopical refinement of the $s$-invariant.