title: Stability of clinical prediction models developed using statistical or machine learning methods

abstract: Clinical prediction models estimate an individual's risk of a particular health outcome, conditional on their values of multiple predictors. A developed model is a consequence of the development dataset and the chosen model building strategy, including the sample size, number of predictors and analysis method (e.g., regression or machine learning). Here, we raise the concern that many models are developed using small datasets that lead to instability in the model and its predictions (estimated risks). We define four levels of model stability in estimated risks moving from the overall mean to the individual level. Then, through simulation and case studies of statistical and machine learning approaches, we show instability in a model's estimated risks is often considerable, and ultimately manifests itself as miscalibration of predictions in new data. Therefore, we recommend researchers should always examine instability at the model development stage and propose instability plots and measures to do so. This entails repeating the model building steps (those used in the development of the original prediction model) in each of multiple (e.g., 1000) bootstrap samples, to produce multiple bootstrap models, and then deriving (i) a prediction instability plot of bootstrap model predictions (y-axis) versus original model predictions (x-axis), (ii) a calibration instability plot showing calibration curves for the bootstrap models in the original sample; and (iii) the instability index, which is the mean absolute difference between individuals' original and bootstrap model predictions. A case study is used to illustrate how these instability assessments help reassure (or not) whether model predictions are likely to be reliable (or not), whilst also informing a model's critical appraisal (risk of bias rating), fairness assessment and further validation requirements.


title: Polynomial Identity Testing via Evaluation of Rational Functions

abstract: We introduce a hitting set generator for Polynomial Identity Testing based on evaluations of low-degree univariate rational functions at abscissas associated with the variables. We establish an equivalence up to rescaling with a generator introduced by Shpilka and Volkovich, which has a similar structure but uses multivariate polynomials. We initiate a systematic analytic study of the power of hitting set generators by characterizing their vanishing ideals, i.e., the sets of polynomials that they fail to hit. We provide two such characterizations for our generator. First, we develop a small collection of polynomials that jointly produce the vanishing ideal. As corollaries, we obtain tight bounds on the minimum degree, sparseness, and partition class size of set-multilinearity in the vanishing ideal. Second, inspired by a connection to alternating algebra, we develop a structured deterministic membership test for the multilinear part of the vanishing ideal. We present a derivation based on alternating algebra along with the required background, as well as one in terms of zero substitutions and partial derivatives, avoiding the need for alternating algebra. As evidence of the utility of our analytic approach, we rederive known derandomization results based on the generator by Shpilka and Volkovich and present a new application in derandomization / lower bounds for read-once oblivious algebraic branching programs.


title: Permutation Invariant Parking Assortments

abstract: We introduce parking assortments, a generalization of parking functions with cars of assorted lengths. In this setting, there are $n\in\mathbb{N}$ cars of lengths $\mathbf{y}=(y_1,y_2,\ldots,y_n)\in\mathbb{N}^n$ entering a one-way street with $m=\sum_{i=1}^ny_i$ parking spots. The cars have parking preferences $\mathbf{x}=(x_1,x_2,\ldots,x_n)\in[m]^n$, where $[m]:=\{1,2,\ldots,m\}$, and enter the street in order. Each car $i \in [n]$, with length $y_i$ and preference $x_i$, follows a natural extension of the classical parking rule: it begins looking for parking at its preferred spot $x_i$ and parks in the first $y_i$ contiguously available spots thereafter, if there are any. If all cars are able to park under the preference list $\mathbf{x}$, we say $\mathbf{x}$ is a parking assortment for $\mathbf{y}$. Parking assortments also generalize parking sequences, introduced by Ehrenborg and Happ, since each car seeks for the first contiguously available spots it fits in past its preference. Given a parking assortment $\mathbf{x}$ for $\mathbf{y}$, we say it is permutation invariant if all rearrangements of $\mathbf{x}$ are also parking assortments for $\mathbf{y}$. While all parking functions are permutation invariant, this is not the case for parking assortments in general, motivating the need for characterization of this property. Although obtaining a full characterization for arbitrary $n\in\mathbb{N}$ and $\mathbf{y}\in\mathbb{N}^n$ remains elusive, we do so for $n=2,3$. Given the technicality of these results, we introduce the notion of minimally invariant car lengths, for which the only invariant parking assortment is the all ones preference list. We provide a concise, oracle-based characterization of minimally invariant car lengths for any $n\in\mathbb{N}$. Our results around minimally invariant car lengths also hold for parking sequences.


title: Localizing genuine multiparty entanglement in noisy stabilizer states

abstract: Characterizing large noisy multiparty quantum states using genuine multiparty entanglement is a challenging task. In this paper, we calculate lower bounds of genuine multiparty entanglement localized over a chosen multiparty subsystem of multi-qubit stabilizer states in the noiseless and noisy scenario. In the absence of noise, adopting a graph-based technique, we perform the calculation for arbitrary graph states as representatives of the stabilizer states, and show that the graph operations required for the calculation has a polynomial scaling with the system size. As demonstrations, we compute the localized genuine multiparty entanglement over subsystems of large graphs having linear, ladder, and square structures. We also extend the calculation for graph states subjected to single-qubit Markovian or non-Markovian Pauli noise on all qubits, and demonstrate, for a specific lower bound of the localizable genuine multiparty entanglement corresponding to a specific Pauli measurement setup, the existence of a critical noise strength beyond which all of the post measured states are biseparable. The calculation is also useful for arbitrary large stabilizer states under noise due to the local unitary connection between stabilizer states and graph states. We demonstrate this by considering a toric code defined on a square lattice, and computing a lower bound of localizable genuine multiparty entanglement over a non-trivial loop of the code. Similar to the graph states, we show the existence of the critical noise strength in this case also, and discuss its interesting features.


title: Soft-Output Signal Detection for Cetacean Vocalizations Using Spectral Entropy, K-Means Clustering and the Continuous Wavelet Transform

abstract: Underwater acoustic monitoring systems record many hours of audio data for marine research, making fast and reliable non-causal signal detection paramount. Such detectors assist in reducing the amount of labor required for signal annotations, which often contain large portions devoid of signals. Cetacean vocalization detection based on spectral entropy is investigated as a means of vocalization discovery. Previous techniques using spectral entropy (SE) mostly consider time-frequency enhancement of the entropy measure, and utilize the STFT as its time-frequency (TF) decomposition. SE methods also requires the user to set a detection threshold manually, which call for knowledge of the produced entropy measures. This paper considers median filtering as a simple, effective way to provide temporal stabilization to the entropy measure, and considers the CWT as an alternative TF decomposition. K-means clustering is used to determine the threshold required to accurately separate the signal/no-signal entropy measures, resulting in a one-dimensional, two-class classification problem. The class means are used to perform pseudo-probabilistic soft class assignment, which is a useful metric in algorithmic development. The effect of median filtering, signal-to-noise ratio and the chosen TF decomposition are investigated. The proposed method shows a significant improvement in detection accuracy and specificity, while also providing a more interpretable detection threshold setting via soft class assignment.


title: Static Friction Coefficient Depends on the External Pressure and Block Shape due to Precursor Slip

abstract: Amontons' law states that the maximum static friction force on a solid object is proportional to the loading force and is independent of the apparent contact area. This law indicates that the static friction coefficient does not depend on the external pressure or object shape. Here, we numerically investigate the sliding motion of a 3D viscoelastic block on a rigid substrate using the finite element method (FEM). The macroscopic static friction coefficient decreases with an increase in the external pressure, length, or width of the object, which contradicts Amontons' law. Precursor slip occurs in the 2D interface between the block and substrate before bulk sliding. The decrease in the macroscopic static friction coefficient is scaled by the critical area of the precursor slip before bulk sliding. A theoretical analysis of the simplified models reveals that bulk sliding results from the instability of the quasi-static precursor slip caused by velocity-weakening local friction. We also show that the critical slip area determines the macroscopic static friction coefficient, which explains the results of the FEM simulation.

categories: cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech physics.class-ph


title: The neutron star population in M28: a joint Chandra/GBT look at pulsar paradise

abstract: We present the results of a deep study of the neutron star (NS) population in the globular cluster M28 (NGC 6626), using the full 330-ks 2002-2015 ACIS dataset from the Chandra X-ray Observatory and coordinated radio observations taken with the Green Bank Telescope (GBT) in 2015. We investigate the X-ray luminosity (Lx), spectrum, and orbital modulation of the 7 known compact binary millisecond pulsars (MSPs) in the cluster. We report two simultaneous detections of the redback PSR J1824-2452I (M28I) and its X-ray counterpart. We discover a double-peaked X-ray orbital flux modulation in M28I during its pulsar state, centered around pulsar inferior conjunction. We analyze the spectrum of the quiescent neutron star low-mass X-ray binary to constrain its mass and radius. Using both hydrogen and helium NS atmosphere models, we find a NS radius of R = 9.5-11.5 km and R = 13.5 - 16.7 km, respectively, for a neutron star mass of 1.4 Msun. We also search for long-term variability in the 46 brightest X-ray sources and report the discovery of six new variable low luminosity X-ray sources in M28.


title: Comment on: Bell tests explained by classical optics without quantum entanglement

abstract: In a paper published in the journal Physics Essays in 2021, the author D.L. Mamas writes "A polarized photon interacts with a polarizer through the component of the photon's electric field which is aligned with the polarizer. This component varies as the cosine of the angle through which the polarizer is rotated, explaining the cosine observed in Bell test data. Quantum mechanics is unnecessary and plays no role". Mamas is right that according to this physical model, one will observe a negative cosine. However, the amplitude of the cosine curve is 50%, not 100%, and it consequently does not violate any Bell-CHSH inequality. Mamas' physical model is a classic local hidden variables model. The result is illustrated with a Monte Carlo simulation.


title: On Correlation Detection and Alignment Recovery of Gaussian Databases

abstract: In this work, we propose an efficient two-stage algorithm solving a joint problem of correlation detection and partial alignment recovery between two Gaussian databases. Correlation detection is a hypothesis testing problem; under the null hypothesis, the databases are independent, and under the alternate hypothesis, they are correlated, under an unknown row permutation. We develop bounds on the type-I and type-II error probabilities, and show that the analyzed detector performs better than a recently proposed detector, at least for some specific parameter choices. Since the proposed detector relies on a statistic, which is a sum of dependent indicator random variables, then in order to bound the type-I probability of error, we develop a novel graph-theoretic technique for bounding the $k$-th order moments of such statistics. When the databases are accepted as correlated, the algorithm also recovers some partial alignment between the given databases. We also propose two more algorithms: (i) One more algorithm for partial alignment recovery, whose reliability and computational complexity are both higher than those of the first proposed algorithm. (ii) An algorithm for full alignment recovery, which has a reduced amount of calculations and a not much lower error probability, when compared to the optimal recovery procedure.

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


title: CobotTouch: AR-based Interface with Fingertip-worn Tactile Display for Immersive Operation/Control of Collaborative Robots

abstract: Complex robotic tasks require human collaboration to benefit from their high dexterity. Frequent human-robot interaction is mentally demanding and time-consuming. Intuitive and easy-to-use robot control interfaces reduce the negative influence on workers, especially inexperienced users. In this paper, we present CobotTouch, a novel intuitive robot control interface with fingertip haptic feedback. The proposed interface consists of a projected Graphical User Interface on the robotic arm to control the position of the robot end-effector based on gesture recognition, and a wearable haptic interface to deliver tactile feedback on the user's fingertips. We evaluated the user's perception of the designed tactile patterns presented by the haptic interface and the intuitiveness of the proposed system for robot control in a use case. The results revealed a high average recognition rate of 75.25\% for the tactile patterns. An average NASA Task Load Index (TLX) indicated small mental and temporal demands proving a high level of the intuitiveness of CobotTouch for interaction with collaborative robots.


title: Gradient Knowledge Distillation for Pre-trained Language Models

abstract: Knowledge distillation (KD) is an effective framework to transfer knowledge from a large-scale teacher to a compact yet well-performing student. Previous KD practices for pre-trained language models mainly transfer knowledge by aligning instance-wise outputs between the teacher and student, while neglecting an important knowledge source, i.e., the gradient of the teacher. The gradient characterizes how the teacher responds to changes in inputs, which we assume is beneficial for the student to better approximate the underlying mapping function of the teacher. Therefore, we propose Gradient Knowledge Distillation (GKD) to incorporate the gradient alignment objective into the distillation process. Experimental results show that GKD outperforms previous KD methods regarding student performance. Further analysis shows that incorporating gradient knowledge makes the student behave more consistently with the teacher, improving the interpretability greatly.


title: Three-dimensional Simulations of Magnetospheric Accretion in a T Tauri Star: Accretion and Wind Structures Just Around Star

abstract: We perform three-dimensional magnetohydrodynamic simulations of magnetospheric accretion in a T Tauri star to study the accretion and wind structures in the close vicinity of the star. The gas accreting onto the star consists of the gas from the magnetospheric boundary and the failed disk winds. The accreting gas is commonly found as a multi-column accretion, which is consistent with observations. A significant fraction of the angular momentum of the accreting flows is removed by the magnetic fields of conical disk winds and turbulent failed winds inside and near the magnetosphere. As a result, the accretion torque is significantly reduced compared to the simple estimation based on the mass accretion rate. The stellar spin affects the time variability of the conical disk wind by changing the stability condition of the magnetospheric boundary. However, the time-averaged magnetospheric radius only weakly depends on the stellar spin, which is unlike the prediction of classical theories that the stellar spin controls the magnetospheric radius through the magnetic torque. The ratio of the toroidal to the poloidal field strengths at the magnetospheric boundary, which is a key parameter for the magnetic torque, is also insensitive to the spin; it is rather determined by the disk dynamics. Considering newly found three-dimensional effects, we obtain a scaling relation of the magnetospheric radius very similar to the Ghosh & Lamb relation from the steady angular momentum transport equation.


title: Sectional nonassociativity of metrized algebras

abstract: The sectional nonassociativity of a metrized (not necessarily associative or unital) algebra is defined analogously to the sectional curvature of a pseudo-Riemannian metric, with the associator in place of the Levi-Civita covariant derivative. For commutative real algebras nonnegative sectional nonassociativity is usually called the Norton inequality, while a sharp upper bound on the sectional nonassociativity of the Jordan algebra of Hermitian matrices over a real Hurwitz algebra is closely related to the B\"ottcher-Wenzel-Chern-do Carmo-Kobayashi inequality. These and other basic examples are explained, and there are described some consequences of bounds on sectional nonassociativity for commutative algebras. A technical point of interest is that the results work over the octonions as well as the associative Hurwitz algebras.


title: On the inner structure of 3-dimensional Leibniz algebras

abstract: Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if $[[a,b],c]=[a,[b,c]]-[b,[a,c]]$ for all $a,b,c\in L$. We describe the inner structure of left Leibniz algebras having dimension 3.


title: Electromagnetic wave propagation in a nonlinear hyperbolic medium

abstract: The propagation of a quasi-harmonic electromagnetic wave in a bulk hyperbolic dielectric metamaterial is considered. If the group velocities dispersion is not taken into account, then wave propagation can be described either by the hyperbolic nonlinear Schrodinger equation or by the hyperbolic Manakov equations. It is shown that the region in the space of wave vectors in which the modulation instability of a spatially homogeneous wave is possible is not limited, in contrast to the case of ordinary media.


title: Fermat-Wilson Supercongruences, arithmetic derivatives and strange factorizations

abstract: In [Tha15], we looked at two (`multiplicative' and `Carlitz-Drinfeld additive') analogs each, for the well-known basic congruences of Fermat and Wilson, in the case of polynomials over finite fields. When we look at them modulo higher powers of primes, i.e. at `supercongruences', we find interesting relations linking them together, as well as linking them with arithmetic derivatives and zeta values. In the current work, we expand on the first analog and connections with arithmetic derivatives more systematically, giving many more equivalent conditions linking the two, now using `mixed derivatives' also. We also observe and prove remarkable prime factorizations involving derivative conditions for some fundamental quantities of the function field arithmetic.


title: Dominance of Smartphone Exposure in 5G Mobile Networks

abstract: The deployment of 5G networks is sometimes questioned due to the impact of ElectroMagnetic Field (EMF) generated by Radio Base Station (RBS) on users. The goal of this work is to analyze such issue from a novel perspective, by comparing RBS EMF against exposure generated by 5G smartphones in commercial deployments. The measurement of exposure from 5G is hampered by several implementation aspects, such as dual connectivity between 4G and 5G, spectrum fragmentation, and carrier aggregation. To face such issues, we deploy a novel framework, called 5G-EA, tailored to the assessment of smartphone and RBS exposure through an innovative measurement algorithm, able to remotely control a programmable spectrum analyzer. Results, obtained in both outdoor and indoor locations, reveal that smartphone exposure (upon generation of uplink traffic) dominates over the RBS one. Moreover, Line-of-Sight locations experience a reduction of around one order of magnitude on the overall exposure compared to Non-Line-of-Sight ones. In addition, 5G exposure always represents a small share (up to 38%) compared to the total one radiated by the smartphone.


title: Spin wave excitations in a nanowire spin-torque oscillator with perpendicular magnetic anisotropy

abstract: Spin torque oscillators (STOs) are emerging microwave devices that can potentially be used in spin-logic devices and the next-generation high-speed computing architecture. Thanks to their non-linear nature, STOs are easily tunable by the magnetic field and the dc current. Spin Hall nano-oscillators (SHNOs) are promising types of STOs and most of the current studies focus on localized modes that can be easily excited. Here, we study using micromagnetic simulations, the nature of the spin-torque-induced excitations in nanowire devices made of perpendicular magnetic anisotropy (PMA) material. Our results showed that upon including PMA the excitation of localized and propagating spin wave modes is feasible. We study the nature of the mode excitations as a function of the PMA strength (\text{K}$_u$), and the current. Indeed, we estimate a critical value of \text{K}$_u$ to allow for the excitation of the propagating spin wave. We attribute this mode selectivity between localized and propagating modes to a switch in the sign of the nonlinearity of the system from negative to positive at a non-zero \text{K}$_u$ which is supported by analytical calculations. Our results provide deep insight into engineering reconfigurable microwave devices for future magnonic and computational applications.


title: Intermediate Fine-Tuning Using Imperfect Synthetic Speech for Improving Electrolaryngeal Speech Recognition

abstract: Research on automatic speech recognition (ASR) systems for electrolaryngeal speakers has been relatively unexplored due to small datasets. When training data is lacking in ASR, a large-scale pretraining and fine tuning framework is often sufficient to achieve high recognition rates; however, in electrolaryngeal speech, the domain shift between the pretraining and fine-tuning data is too large to overcome, limiting the maximum improvement of recognition rates. To resolve this, we propose an intermediate fine-tuning step that uses imperfect synthetic speech to close the domain shift gap between the pretraining and target data. Despite the imperfect synthetic data, we show the effectiveness of this on electrolaryngeal speech datasets, with improvements of 6.1% over the baseline that did not use imperfect synthetic speech. Results show how the intermediate fine-tuning stage focuses on learning the high-level inherent features of the imperfect synthetic data rather than the low-level features such as intelligibility.


title: Spatial Reasoning for Few-Shot Object Detection

abstract: Although modern object detectors rely heavily on a significant amount of training data, humans can easily detect novel objects using a few training examples. The mechanism of the human visual system is to interpret spatial relationships among various objects and this process enables us to exploit contextual information by considering the co-occurrence of objects. Thus, we propose a spatial reasoning framework that detects novel objects with only a few training examples in a context. We infer geometric relatedness between novel and base RoIs (Region-of-Interests) to enhance the feature representation of novel categories using an object detector well trained on base categories. We employ a graph convolutional network as the RoIs and their relatedness are defined as nodes and edges, respectively. Furthermore, we present spatial data augmentation to overcome the few-shot environment where all objects and bounding boxes in an image are resized randomly. Using the PASCAL VOC and MS COCO datasets, we demonstrate that the proposed method significantly outperforms the state-of-the-art methods and verify its efficacy through extensive ablation studies.


title: Multiscale carbonation reactions: Status of things and two modeling exercises related to cultural heritage

abstract: Having in mind as target audience beginner researchers working in the field of cultural heritage, we present succinctly the concept of two-scale modeling of reaction-diffusion problems as it fits to scenarios where the action of the carbonation reaction is relevant. We briefly review well-known contributions concerning multiscale concrete carbonation processes, and finally, we point out two related multiscale modeling exercises. The scope of these notes is twofold: Promoting the language of multiscale modeling, we invite the applied mathematician to pick some of the target problems from the context of cultural heritage. On the other hand, we invite the experimentalist to talk to the applied mathematician whenever the laboratory experiments are unable to answer questions for instance about the long time behavior of materials exposed to the ingress of various chemical species, humidity, and/or temperature (as it is the case of historical monuments and buildings in urban areas) because modeling and simulation approaches might provide at least provisory hints on what could happen further once measurements stop, or when the situation of interest takes place actually outside the laboratory.


title: Quantitative rigidity of almost maximal volume entropy for both RCD spaces and integral Ricci curvature bound

abstract: The volume entropy of a compact metric measure space is known to be the exponential growth rate of the measure lifted to its universal cover at infinity. For a compact Riemannian $n$-manifold with a negative lower Ricci curvature bound and a upper diameter bound, it was known that it admits an almost maximal volume entropy if and only if it is diffeomorphic and Gromov-Hausdorff close to a hyperbolic space form. We prove the quantitative rigidity of almost maximal volume entropy for $\operatorname{RCD}$-spaces with a negative lower Ricci curvature bound and Riemannian manifolds with a negative $L^p$-integral Ricci curvature lower bound.


title: Incidence, a Scoring Positional Game on Graphs

abstract: Positional games have been introduced by Hales and Jewett in 1963 and have been extensively investigated in the literature since then. These games are played on a hypergraph where two players alternately select an unclaimed vertex of it. In the Maker-Breaker convention, if Maker manages to fully take a hyperedge, she wins, otherwise, Breaker is the winner. In the Maker-Maker convention, the first player to take a hyperedge wins. In both cases, the game stops as soon as Maker has taken a hyperedge. By definition, this family of games does not handle scores and cannot represent games in which players want to maximize a quantity. In this work, we introduce scoring positional games, that consist in playing on a hypergraph until all the vertices are claimed, and by defining the score as the number of hyperedges a player has fully taken. We focus here on Incidence, a scoring positional game played on a 2-uniform hypergraph, i.e. an undirected graph. In this game, two players alternately claim the vertices of a graph and score the number of edges for which they own both end vertices. In the Maker-Breaker version, Maker aims at maximizing the number of edges she owns, while Breaker aims at minimizing it. In the Maker-Maker version, both players try to take more edges than their opponent. We first give some general results on scoring positional games such that their membership in Milnor's universe and some general bounds on the score. We prove that, surprisingly, computing the score in the Maker-Breaker version of Incidence is PSPACE-complete whereas in the Maker-Maker convention, the relative score can be obtained in polynomial time. In addition, for the Maker-Breaker convention, we give a formula for the score on paths by using some equivalences due to Milnor's universe. This result implies that the score on cycles can also be computed in polynomial time.


title: Constructing a family of conformally flat scalar field models

abstract: Using purely geometrical methods we present a mechanism to solve the scalar field equations of motion (non-minimally coupled with gravity) in a spherically symmetric background. We found that the \emph{full }set of spacetimes, which are of Petrov type O (conformally flat) and admit a \emph{gradient} Conformal Vector Field, can be determined completely. It is shown that the full group of scalar field equations reduced to a \emph{single} equation that depends only on the distance $w=r^{2}-t^{2}$ leaving the metric function (equivalently the functional form of the scalar field or the potential) freely chosen. Depending on the structure of the metric or the potential $V$ (as a function of $\phi $) a solution can be found either analytically or via numerical integration. We provide physically sound examples and prove that (Anti)-de Sitter fits this scheme. We also reconstruct a recently found solution \cite{Strumia:2022kez} representing an expanding scalar bubble with metric that has a singularity and corresponds to what is termed as Anti-de Sitter crunch.


title: Coordinated Transmit Beamforming for Multi-antenna Network Integrated Sensing and Communication

abstract: This paper studies a multi-antenna network integrated sensing and communication (ISAC) system, in which a set of multi-antenna base stations (BSs) employ the coordinated transmit beamforming to serve their respectively associated single-antenna communication users (CUs), and at the same time reuse the reflected information signals to perform joint target detection. In particular, we consider two target detection scenarios depending on the time synchronization among BSs. In Scenario \uppercase\expandafter{\romannumeral1}, these BSs are synchronized and can exploit the target-reflected signals over both the direct links (from each BS to target to itself) and the cross links (from each BS to target to other BSs) for joint detection. In Scenario \uppercase\expandafter{\romannumeral2}, these BSs are not synchronized and can only utilize target-reflected signals over the direct links for joint detection. For each scenario, we derive the detection probability under a specific false alarm probability at any given target location. Based on the derivation, we optimize the coordinated transmit beamforming at the BSs to maximize the minimum detection probability over a particular target area, while ensuring the minimum signal-to-interference-plus-noise ratio (SINR) constraints at the CUs, subject to the maximum transmit power constraints at the BSs. We use the semi-definite relaxation (SDR) technique to obtain highly-quality solutions to the formulated problems. Numerical results show that for each scenario, the proposed design achieves higher detection probability than the benchmark scheme based on communication design. It is also shown that the time synchronization among BSs is beneficial in enhancing the detection performance as more reflected signal paths are exploited.


title: Generative Poisoning Using Random Discriminators

abstract: We introduce ShortcutGen, a new data poisoning attack that generates sample-dependent, error-minimizing perturbations by learning a generator. The key novelty of ShortcutGen is the use of a randomly-initialized discriminator, which provides spurious shortcuts needed for generating poisons. Different from recent, iterative methods, our ShortcutGen can generate perturbations with only one forward pass in a label-free manner, and compared to the only existing generative method, DeepConfuse, our ShortcutGen is faster and simpler to train while remaining competitive. We also demonstrate that integrating a simple augmentation strategy can further boost the robustness of ShortcutGen against early stopping, and combining augmentation and non-augmentation leads to new state-of-the-art results in terms of final validation accuracy, especially in the challenging, transfer scenario. Lastly, we speculate, through uncovering its working mechanism, that learning a more general representation space could allow ShortcutGen to work for unseen data.


title: DSPGAN: a GAN-based universal vocoder for high-fidelity TTS by time-frequency domain supervision from DSP

abstract: Recent development of neural vocoders based on the generative adversarial neural network (GAN) has shown obvious advantages of generating raw waveform conditioned on mel-spectrogram with fast inference speed and lightweight networks. Whereas, it is still challenging to train a universal neural vocoder that can synthesize high-fidelity speech from various scenarios with unseen speakers, languages, and speaking styles. In this paper, we propose DSPGAN, a GAN-based universal vocoder for high-fidelity speech synthesis by applying the time-frequency domain supervision from digital signal processing (DSP). To eliminate the mismatch problem caused by the ground-truth spectrograms in the training phase and the predicted spectrograms in the inference phase, we leverage the mel-spectrogram extracted from the waveform generated by a DSP module, rather than the predicted mel-spectrogram from the Text-to-Speech (TTS) acoustic model, as the time-frequency domain supervision to the GAN-based vocoder. We also utilize sine excitation as the time-domain supervision to improve the harmonic modeling and eliminate various artifacts of the GAN-based vocoder. Experiments show that DSPGAN significantly outperforms the compared approaches and it can generate high-fidelity speech for various TTS models trained using diverse data.


title: Beta-Ga2O3 MOSFETs with near 50 GHz fMAX and 5.4 MV/cm average breakdown field

abstract: This letter reports high-performance $\mathrm{\beta} Ga2O3 thin channel MOSFETs with T-gate and degenerately doped source/drain contacts regrown by MOCVD. Gate length scaling (LG= 160-200 nm) leads to a peak drain current (ID,MAX) of 285 mA/mm and peak trans-conductance (gm) of 52 mS/mm at 10 V drain bias with 23.5 Ohm mm on resistance (Ron). A low metal/n+ contact resistance of 0.078 Ohm mm was extracted from TLM measurement. Ron is dominated by interface resistance between channel and regrown layer. A gate-to-drain breakdown voltage of 192 V is measured for LGD = 355 nm resulting in average breakdown field (E_AVG) of 5.4 MV/cm. This E_AVG is the highest reported among all sub-micron gate length lateral FETs. RF measurements on 200 nm Silicon Nitride (Si3N4) passivated device shows a current gain cut off frequency (f_T) of 11 GHz and record power gain cut off frequency (f_MAX) of 48 GHz. The f_T.V_Br product is 2.11 THz.V for 192 V breakdown voltage. The switching figure of merit exceeds that of silicon and is comparable to mature wide-band gap devices.


title: Transformer-based encoder-encoder architecture for Spoken Term Detection

abstract: The paper presents a method for spoken term detection based on the Transformer architecture. We propose the encoder-encoder architecture employing two BERT-like encoders with additional modifications, including convolutional and upsampling layers, attention masking, and shared parameters. The encoders project a recognized hypothesis and a searched term into a shared embedding space, where the score of the putative hit is computed using the calibrated dot product. In the experiments, we used the Wav2Vec 2.0 speech recognizer, and the proposed system outperformed a baseline method based on deep LSTMs on the English and Czech STD datasets based on USC Shoah Foundation Visual History Archive (MALACH).


title: Correlation functions of the Rudin-Shapiro sequence

abstract: In this paper, we show that all odd-point correlation functions of the balanced Rudin--Shapiro sequence vanish and that all even-point correlation functions depend only on a single number, which holds for any weighted correlation function as well. For the four-point correlation functions, we provide a more detailed exposition which reveals some arithmetic structures and symmetries. In particular, we show that one can obtain the autocorrelation coefficients of its topological factor with maximal pure point spectrum among them.


title: I4U System Description for NIST SRE'20 CTS Challenge

abstract: This manuscript describes the I4U submission to the 2020 NIST Speaker Recognition Evaluation (SRE'20) Conversational Telephone Speech (CTS) Challenge. The I4U's submission was resulted from active collaboration among researchers across eight research teams - I$^2$R (Singapore), UEF (Finland), VALPT (Italy, Spain), NEC (Japan), THUEE (China), LIA (France), NUS (Singapore), INRIA (France) and TJU (China). The submission was based on the fusion of top performing sub-systems and sub-fusion systems contributed by individual teams. Efforts have been spent on the use of common development and validation sets, submission schedule and milestone, minimizing inconsistency in trial list and score file format across sites.


title: Shifted combinatorial Hopf algebras from $K$-theory

abstract: In prior joint work with Lewis, we developed a theory of enriched set-valued $P$-partitions to construct a $K$-theoretic generalization of the Hopf algebra of peak quasisymmetric functions. Here, we situate this object in a diagram of six Hopf algebras, providing a shifted version of the diagram of $K$-theoretic combinatorial Hopf algebras studied by Lam and Pylyavskyy. This allows us to describe new $K$-theoretic analogues of the classical peak algebra. We also study the Hopf algebras generated by Ikeda and Naruse's $K$-theoretic Schur $P$- and $Q$-functions, as well as their duals. Along the way, we derive several product, coproduct, and antipode formulas and outline a number of open problems and conjectures.


title: Improving transferability of 3D adversarial attacks with scale and shear transformations

abstract: Previous work has shown that 3D point cloud classifiers can be vulnerable to adversarial examples. However, most of the existing methods are aimed at white-box attacks, where the parameters and other information of the classifiers are known in the attack, which is unrealistic for real-world applications. In order to improve the attack performance of the black-box classifiers, the research community generally uses the transfer-based black-box attack. However, the transferability of current 3D attacks is still relatively low. To this end, this paper proposes Scale and Shear (SS) Attack to generate 3D adversarial examples with strong transferability. Specifically, we randomly scale or shear the input point cloud, so that the attack will not overfit the white-box model, thereby improving the transferability of the attack. Extensive experiments show that the SS attack proposed in this paper can be seamlessly combined with the existing state-of-the-art (SOTA) 3D point cloud attack methods to form more powerful attack methods, and the SS attack improves the transferability over 3.6 times compare to the baseline. Moreover, while substantially outperforming the baseline methods, the SS attack achieves SOTA transferability under various defenses. Our code will be available online at https://github.com/cuge1995/SS-attack


title: Simultaneous CTEQ-TEA extraction of PDFs and SMEFT parameters from jet and $t{\bar t}$ data

abstract: Recasting phenomenological Lagrangians in terms of SM effective field theory (SMEFT) provides a valuable means of connecting potential BSM physics at momenta well above the electroweak scale to experimental signatures at lower energies. In this work we jointly fit the Wilson coefficients of SMEFT operators as well as the PDFs in an extension of the CT18 global analysis framework, obtaining self-consistent constraints to possible BSM physics effects. Global fits are boosted with machine-learning techniques in the form of neural networks to ensure efficient scans of the full PDF+SMEFT parameter space. We focus on several operators relevant for top-quark pair and jet production at hadron colliders and obtain constraints on the Wilson coefficients with Lagrange Multiplier scans. We find mild correlations between the extracted Wilson coefficients, PDFs, and other QCD parameters, and see indications that these correlations may become more prominent in future analyses based on data of higher precision. This work serves as a new platform for joint analyses of SM and BSM physics based on the CTEQ-TEA framework.


title: DPM-Solver++: Fast Solver for Guided Sampling of Diffusion Probabilistic Models

abstract: Diffusion probabilistic models (DPMs) have achieved impressive success in high-resolution image synthesis, especially in recent large-scale text-to-image generation applications. An essential technique for improving the sample quality of DPMs is guided sampling, which usually needs a large guidance scale to obtain the best sample quality. The commonly-used fast sampler for guided sampling is DDIM, a first-order diffusion ODE solver that generally needs 100 to 250 steps for high-quality samples. Although recent works propose dedicated high-order solvers and achieve a further speedup for sampling without guidance, their effectiveness for guided sampling has not been well-tested before. In this work, we demonstrate that previous high-order fast samplers suffer from instability issues, and they even become slower than DDIM when the guidance scale grows large. To further speed up guided sampling, we propose DPM-Solver++, a high-order solver for the guided sampling of DPMs. DPM-Solver++ solves the diffusion ODE with the data prediction model and adopts thresholding methods to keep the solution matches training data distribution. We further propose a multistep variant of DPM-Solver++ to address the instability issue by reducing the effective step size. Experiments show that DPM-Solver++ can generate high-quality samples within only 15 to 20 steps for guided sampling by pixel-space and latent-space DPMs.


title: Recovering Sign Bits of DCT Coefficients in Digital Images as an Optimization Problem

abstract: Recovering unknown, missing, damaged, distorted, or lost information in DCT coefficients is a common task in multiple applications of digital image processing, including image compression, selective image encryption, and image communication. This paper investigates the recovery of sign bits in DCT coefficients of digital images, by proposing two different approximation methods to solve a mixed integer linear programming (MILP) problem, which is NP-hard in general. One method is a relaxation of the MILP problem to a linear programming (LP) problem, and the other splits the original MILP problem into some smaller MILP problems and an LP problem. We considered how the proposed methods can be applied to JPEG-encoded images and conducted extensive experiments to validate their performances. The experimental results showed that the proposed methods outperformed other existing methods by a substantial margin, both according to objective quality metrics and our subjective evaluation.


title: Set Selection under Explorable Stochastic Uncertainty via Covering Techniques

abstract: Given subsets of uncertain values, we study the problem of identifying the subset of minimum total value (sum of the uncertain values) by querying as few values as possible. This set selection problem falls into the field of explorable uncertainty and is of intrinsic importance therein as it implies strong adversarial lower bounds for a wide range of interesting combinatorial problems such as knapsack and matchings. We consider a stochastic problem variant and give algorithms that, in expectation, improve upon these adversarial lower bounds. The key to our results is to prove a strong structural connection to a seemingly unrelated covering problem with uncertainty in the constraints via a linear programming formulation. We exploit this connection to derive an algorithmic framework that can be used to solve both problems under uncertainty, obtaining nearly tight bounds on the competitive ratio. This is the first non-trivial stochastic result concerning the sum of unknown values without further structure known for the set. With our novel methods, we lay the foundations for solving more general problems in the area of explorable uncertainty.


title: Semantic SuperPoint: A Deep Semantic Descriptor

abstract: Several SLAM methods benefit from the use of semantic information. Most integrate photometric methods with high-level semantics such as object detection and semantic segmentation. We propose that adding a semantic segmentation decoder in a shared encoder architecture would help the descriptor decoder learn semantic information, improving the feature extractor. This would be a more robust approach than only using high-level semantic information since it would be intrinsically learned in the descriptor and would not depend on the final quality of the semantic prediction. To add this information, we take advantage of multi-task learning methods to improve accuracy and balance the performance of each task. The proposed models are evaluated according to detection and matching metrics on the HPatches dataset. The results show that the Semantic SuperPoint model performs better than the baseline one.


title: Unitarity Problem in Gribov-Zwanziger Theory

abstract: We show that the unitarity problem in the Gribov-Zwanziger theory can be solved by the famous quartet mechanism. The construction of the new quartet in such a theory suggests the introduction of a new form of ghost charge and projection operator


title: Nonparametric Involutive Markov Chain Monte Carlo

abstract: A challenging problem in probabilistic programming is to develop inference algorithms that work for arbitrary programs in a universal probabilistic programming language (PPL). We present the nonparametric involutive Markov chain Monte Carlo (NP-iMCMC) algorithm as a method for constructing MCMC inference algorithms for nonparametric models expressible in universal PPLs. Building on the unifying involutive MCMC framework, and by providing a general procedure for driving state movement between dimensions, we show that NP-iMCMC can generalise numerous existing iMCMC algorithms to work on nonparametric models. We prove the correctness of the NP-iMCMC sampler. Our empirical study shows that the existing strengths of several iMCMC algorithms carry over to their nonparametric extensions. Applying our method to the recently proposed Nonparametric HMC, an instance of (Multiple Step) NP-iMCMC, we have constructed several nonparametric extensions (all of which new) that exhibit significant performance improvements.


title: Track-based alignment for the BESIII CGEM detector in the cosmic-ray test

abstract: The Beijing Electron Spectrometer III (BESIII) is a multipurpose detector operating on the Beijing Electron Positron Collider II (BEPCII). After more than ten year's operation, the efficiency of the inner layers of the Main Drift Chamber (MDC) decreased significantly. To solve this issue, the BESIII collaboration is planning to replace the inner part of the MDC with three layers of Cylindrical triple Gas Electron Multipliers (CGEM). The transverse plane spatial resolution of CGEM is required to be 120 $\mu$m or better. To meet this goal, a careful calibration of the detector is necessary to fully exploit the potential of the CGEM detector. In all the calibrations, the detector alignment plays an important role to improve the detector precision. The track-based alignment for the CGEM detector with the Millepede algorithm is implemented to reduce the uncertainties of the hit position measurement. Using the cosmic-ray data taken in 2020 with the two layers setup, the displacement and rotation of the outer layer with respect to the inner layer is determined by a simultaneous fit applied to more than 160000 tracks. A good alignment precision has been achieved that guarantees the design request could be satisfied in the future. A further alignment is going to be performed using the combined information of tracks from cosmic-ray and collisions after the CGEM is installed into the BESIII detector.


title: Proceedings of the Fourth International Conference on Applied Category Theory

abstract: The Fourth International Conference on Applied Category Theory took place at the Computer Laboratory of the University of Cambridge on 12--16 July 2021. It was a hybrid event, with physical attendees present in Cambridge and other participants taking part online. All the talks were recorded and the videos have been posted online, links to which can be found on the conference website (https://www.cl.cam.ac.uk/events/act2021/). Continuing the trend in the previous meetings of ACT, the contributions to ACT 2021 ranged from pure to applied and represented a great variety of categorical techniques and application topics, including: graphical calculi; lenses; differential categories; categorical probability theory; machine learning; game theory; cybernetics; natural language semantics and processing; cryptography; and finite model theory. This proceedings volume contains about half of the papers that were presented as talks at ACT 2021. This selection is a reflection of the authors' choice as to whether to publish their papers in this volume or elsewhere.


title: Black hole perturbations in modified gravity theories

abstract: The recent first detection of gravitational waves (GWs) from binary black hole mergers has spurred a renewed interest in possible deviations from General Relativity (GR), since they could be detected in the GWs emitted by such systems. Of particular interest is the ringdown phase of a binary black hole merger, which can be described by linear perturbations about a background stationary black hole solution. These perturbations mainly correspond to a superposition of 'quasi-normal modes' (QNMs), whose frequencies form a discrete set. One expects that modified gravity models could predict QNMs that differ from their GR counterpart: the detailed analysis of the GW signal represents an invaluable window to test GR and to look for specific signatures of modified gravity. The work done in this thesis takes place in the context of scalar-tensor theories of gravity, and more particularly the Degenerate Higher-Order Scalar-Tensor theories. We start by a review of these theories and their properties, and describe a way to reformulate them in a framework with a clear geometrical interpretation. We then study linear perturbations about several existing nonrotating black hole solutions of such theories, and show why the perturbation equations obtained are very hard to decouple in general. When it is possible, in the case of odd parity perturbations, we describe the propagation of waves and relate it to the stability of the underlying spacetime. When it is not, we circumvent the difficulty by making use of an algorithm proposed recently in the mathematical literature that allows us to decouple the equations both at the black hole horizon and at infinity. This allows us to get the asymptotic behaviour of waves on such spacetimes, yielding valuable information that can allow us to rule some of them out. Finally, we use the asymptotic behaviours obtained to compute QNMs numerically.


title: A digital business ecosystem maturity model for personal service firms

abstract: Personal services can be found in sectors such as education, retail, hospitality, and craftsmanship. As of today, personal service firms lack the know-how and experience on how to implement processes and practices to effectively build digital business ecosystems. This becomes an obstacle for these kinds of firms to overcome the challenges of todays digital age. Based on the guidelines of Design Science Research (DSR), we address this gap by proposing a maturity model, which offers specific guidance for this sector to be able to achieve the transition from analog to digital. The design of the model is grounded in a systematic literature review, semi-structured interviews, and a validation test involving company representatives from the field of personal services, business ecosystems, and digitalization. Results revealed a series of dimensions, capabilities, and maturity stages indicating an evolutionary path towards digital maturity for personal service firms. Thus, leading them to achieve a digital business ecosystem.


title: Road Markings Segmentation from LIDAR Point Clouds using Reflectivity Information

abstract: Lane detection algorithms are crucial for the development of autonomous vehicles technologies. The more extended approach is to use cameras as sensors. However, LIDAR sensors can cope with weather and light conditions that cameras can not. In this paper, we introduce a method to extract road markings from the reflectivity data of a 64-layers LIDAR sensor. First, a plane segmentation method along with region grow clustering was used to extract the road plane. Then we applied an adaptive thresholding based on Otsu s method and finally, we fitted line models to filter out the remaining outliers. The algorithm was tested on a test track at 60km/h and a highway at 100km/h. Results showed the algorithm was reliable and precise. There was a clear improvement when using reflectivity data in comparison to the use of the raw intensity data both of them provided by the LIDAR sensor.


title: On the stability of minimal submanifolds in conformal spheres

abstract: Given an $n$-dimensional Riemannian sphere conformal to the round one and $\delta$-pinched, we show that it does not contain any closed stable minimal submanifold of dimension $2\le k\le n-\delta^{-1}$.


title: Deep Reinforcement Learning for Power Control in Next-Generation WiFi Network Systems

abstract: This paper presents a deep reinforcement learning (DRL) solution for power control in wireless communications, describes its embedded implementation with WiFi transceivers for a WiFi network system, and evaluates the performance with high-fidelity emulation tests. In a multi-hop wireless network, each mobile node measures its link quality and signal strength, and controls its transmit power. As a model-free solution, reinforcement learning allows nodes to adapt their actions by observing the states and maximize their cumulative rewards over time. For each node, the state consists of transmit power, link quality and signal strength; the action adjusts the transmit power; and the reward combines energy efficiency (throughput normalized by energy consumption) and penalty of changing the transmit power. As the state space is large, Q-learning is hard to implement on embedded platforms with limited memory and processing power. By approximating the Q-values with a DQN, DRL is implemented for the embedded platform of each node combining an ARM processor and a WiFi transceiver for 802.11n. Controllable and repeatable emulation tests are performed by inducing realistic channel effects on RF signals. Performance comparison with benchmark schemes of fixed and myopic power allocations shows that power control with DRL provides major improvements to energy efficiency and throughput in WiFi network systems.


title: Higher-order approximation for uncertainty quantification in time series analysis

abstract: For time series with high temporal correlation, the empirical process converges rather slowly to its limiting distribution. Many statistics in change-point analysis, goodness-of-fit testing and uncertainty quantification admit a representation as functionals of the empirical process and therefore inherit its slow convergence. Inference based on the asymptotic distribution of those quantities becomes highly impacted by relatively small sample sizes. We assess the quality of higher-order approximations of the empirical process by deriving the asymptotic distribution of the corresponding error terms. Based on the limiting distribution of the higher-order terms, we propose a novel approach to calculate confidence regions for statistical quantities such as the median. In a simulation study, we compare coverage rate and size of our confidence regions with those based on the asymptotic distribution of the empirical process and highlight some of our method's benefits.


title: The Impostor Among US(B): Off-Path Injection Attacks on USB Communications

abstract: USB is the most prevalent peripheral interface in modern computer systems and its inherent insecurities make it an appealing attack vector. A well-known limitation of USB is that traffic is not encrypted. This allows on-path adversaries to trivially perform man-in-the-middle attacks. Off-path attacks that compromise the confidentiality of communications have also been shown to be possible. However, so far no off-path attacks that breach USB communications integrity have been demonstrated. In this work we show that the integrity of USB communications is not guaranteed even against off-path attackers.Specifically, we design and build malicious devices that, even when placed outside of the path between a victim device and the host, can inject data to that path. Using our developed injectors we can falsify the provenance of data input as interpreted by a host computer system. By injecting on behalf of trusted victim devices we can circumvent any software-based authorisation policy defences that computer systems employ against common USB attacks. We demonstrate two concrete attacks. The first injects keystrokes allowing an attacker to execute commands. The second demonstrates file-contents replacement including during system install from a USB disk. We test the attacks on 29 USB 2.0 and USB 3.x hubs and find 14 of them to be vulnerable.


title: AS-PD: An Arbitrary-Size Downsampling Framework for Point Clouds

abstract: Point cloud downsampling is a crucial pre-processing operation to downsample points in order to unify data size and reduce computational cost, to name a few. Recent research on point cloud downsampling has achieved great success which concentrates on learning to sample in a task-aware way. However, existing learnable samplers can not directly perform arbitrary-size downsampling, and assume the input size is fixed. In this paper, we introduce the AS-PD, a novel task-aware sampling framework that directly downsamples point clouds to any smaller size based on a sample-to-refine strategy. Given an input point cloud of arbitrary size, we first perform a task-agnostic pre-sampling on the input point cloud to a specified sample size. Then, we obtain the sampled set by refining the pre-sampled set to make it task-aware, driven by downstream task losses. The refinement is realized by adding each pre-sampled point with a small offset predicted by point-wise multi-layer perceptrons (MLPs). With the density encoding and proper training scheme, the framework can learn to adaptively downsample point clouds of different input sizes to arbitrary sample sizes. We evaluate sampled results for classification and registration tasks, respectively. The proposed AS-PD surpasses the state-of-the-art method in terms of downstream performance. Further experiments also show that our AS-PD exhibits better generality to unseen task models, implying that the proposed sampler is optimized to the task rather than a specified task model.


title: On the Benefit of Dual-domain Denoising in a Self-supervised Low-dose CT Setting

abstract: Computed tomography (CT) is routinely used for three-dimensional non-invasive imaging. Numerous data-driven image denoising algorithms were proposed to restore image quality in low-dose acquisitions. However, considerably less research investigates methods already intervening in the raw detector data due to limited access to suitable projection data or correct reconstruction algorithms. In this work, we present an end-to-end trainable CT reconstruction pipeline that contains denoising operators in both the projection and the image domain and that are optimized simultaneously without requiring ground-truth high-dose CT data. Our experiments demonstrate that including an additional projection denoising operator improved the overall denoising performance by 82.4-94.1%/12.5-41.7% (PSNR/SSIM) on abdomen CT and 1.5-2.9%/0.4-0.5% (PSNR/SSIM) on XRM data relative to the low-dose baseline. We make our entire helical CT reconstruction framework publicly available that contains a raw projection rebinning step to render helical projection data suitable for differentiable fan-beam reconstruction operators and end-to-end learning.


title: Adversarial Attack on Radar-based Environment Perception Systems

abstract: Due to their robustness to degraded capturing conditions, radars are widely used for environment perception, which is a critical task in applications like autonomous vehicles. More specifically, Ultra-Wide Band (UWB) radars are particularly efficient for short range settings as they carry rich information on the environment. Recent UWB-based systems rely on Machine Learning (ML) to exploit the rich signature of these sensors. However, ML classifiers are susceptible to adversarial examples, which are created from raw data to fool the classifier such that it assigns the input to the wrong class. These attacks represent a serious threat to systems integrity, especially for safety-critical applications. In this work, we present a new adversarial attack on UWB radars in which an adversary injects adversarial radio noise in the wireless channel to cause an obstacle recognition failure. First, based on signals collected in real-life environment, we show that conventional attacks fail to generate robust noise under realistic conditions. We propose a-RNA, i.e., Adversarial Radio Noise Attack to overcome these issues. Specifically, a-RNA generates an adversarial noise that is efficient without synchronization between the input signal and the noise. Moreover, a-RNA generated noise is, by-design, robust against pre-processing countermeasures such as filtering-based defenses. Moreover, in addition to the undetectability objective by limiting the noise magnitude budget, a-RNA is also efficient in the presence of sophisticated defenses in the spectral domain by introducing a frequency budget. We believe this work should alert about potentially critical implementations of adversarial attacks on radar systems that should be taken seriously.


title: Implementation of Road Safety Perception in Autonomous Vehicles in a Lane Change Scenario

abstract: Understanding human driving behavior is crucial to develop autonomous vehicles' algorithms. However, most low level automation, such as the one in advanced driving assistance systems (ADAS), is based on objective safety measures, which are not always aligned with what the drivers perceive as safe and their correspondent driving behavior. Finding the bridge between the subjective perception and objective safety measures has been analyzed in this paper focusing specifically on lane-change scenarios. Results showed statistically significant differences between what is perceived as safe by drivers and objective metrics depending on the specific maneuver and location of drivers.


title: On the modulo $p$ zeros of modular forms congruent to theta series

abstract: For a prime $p$ larger than $7$, the Eisenstein series of weight $p-1$ has some remarkable congruence properties modulo $p$. Those imply, for example, that the $j$-invariants of its zeros (which are known to be real algebraic numbers in the interval $[0,1728]$), are at most quadratic over the field with $p$ elements and are congruent modulo $p$ to the zeros of a certain truncated hypergeometric series. In this paper we introduce "theta modular forms" of weight $k \geq 4$ for the full modular group as the modular forms for which the first dim$(M_k)$ Fourier coefficients are identical to certain theta series. We consider these theta modular forms for both the Jacobi theta series and the theta series of the hexagonal lattice. We show that the $j$-invariant of the zeros of the theta modular forms for the Jacobi theta series are modulo $p$ all in the ground field with $p$ elements. For the theta modular form of the hexagonal lattice we show that its zeros are at most quadratic over the ground field with $p$ elements. Furthermore, we show that these zeros in both cases are congruent to the zeros of certain truncated hypergeometric functions.


title: Analytical method for detecting outlier evaluators

abstract: Epidemiologic and medical studies often rely on evaluators to obtain measurements of exposures or outcomes for study participants, and valid estimates of associations depends on the quality of data. Even though statistical methods have been proposed to adjust for measurement errors, they often rely on unverifiable assumptions and could lead to biased estimates if those assumptions are violated. Therefore, methods for detecting potential `outlier' evaluators are needed to improve data quality during data collection stage. In this paper, we propose a two-stage algorithm to detect `outlier' evaluators whose evaluation results tend to be higher or lower than their counterparts. In the first stage, evaluators' effects are obtained by fitting a regression model. In the second stage, hypothesis tests are performed to detect `outlier' evaluators, where we consider both the power of each hypothesis test and the false discovery rate (FDR) among all tests. We conduct an extensive simulation study to evaluate the proposed method, and illustrate the method by detecting potential `outlier' audiologists in the data collection stage for the Audiology Assessment Arm of the Conservation of Hearing Study, an epidemiologic study for examining risk factors of hearing loss in the Nurses' Health Study II. Our simulation study shows that our method not only can detect true `outlier' evaluators, but also is less likely to falsely reject true `normal' evaluators. Our two-stage `outlier' detection algorithm is a flexible approach that can effectively detect `outlier' evaluators, and thus data quality can be improved during data collection stage.


title: Medical Bill Shock and Imperfect Moral Hazard

abstract: Consumers are sensitive to medical prices when consuming care, but delays in price information may distort moral hazard. We study how medical bills affect household spillover spending following utilization, leveraging variation in insurer claim processing times. Households increase spending by 22\% after a scheduled service, but then reduce spending by 11\% after the bill arrives. Observed bill effects are consistent with resolving price uncertainty; bill effects are strongest when pricing information is particularly salient. A model of demand for healthcare with delayed pricing information suggests households misperceive pricing signals prior to bills, and that correcting these perceptions reduce average (median) spending by 16\% (7\%) annually.


title: Physics-driven Deep Learning Inversion for Direct Current Resistivity Survey Data

abstract: The direct-current (DC) resistivity method is a commonly used geophysical technique for surveying adverse geological conditions. Inversion can reconstruct the resistivity model from data, which is an important step in the geophysical survey. However, the inverse problem is a serious ill-posed problem that makes it easy to obtain incorrect inversion results. Deep learning (DL) provides new avenues for solving inverse problems, and has been widely studied. Currently, most DL inversion methods for resistivity are purely data-driven and depend heavily on labels (real resistivity models). However, real resistivity models are difficult to obtain through field surveys. An inversion network may not be effectively trained without labels. In this study, we built an unsupervised learning resistivity inversion scheme based on the physical law of electric field propagation. First, a forward modeling process was embedded into the network training, which converted the predicted model to predicted data and formed a data misfit to the observation data. Unsupervised training independent of the real model was realized using the data misfit as a loss function. Moreover, a dynamic smoothing constraint was imposed on the loss function to alleviate the ill-posed inverse problem. Finally, a transfer learning scheme was applied to adapt the trained network with simulated data to field data. Numerical simulations and field tests showed that the proposed method can accurately locate and depict geological targets.


title: A Picard-Lindel\"of theorem for smooth PDE

abstract: We prove that Picard-Lindel\"of iterations for an arbitrary smooth normal Cauchy problem for PDE converge if we assume a suitable Weissinger-like sufficient condition. This condition includes both a large class of non-analytic PDE or initial conditions, and more classical real analytic functions. The proof is based on a Banach fixed point theorem for contractions with loss of derivatives. From the latter, we also prove an inverse function theorem for locally Lipschitz maps with loss of derivatives in arbitrary graded Fr\'echet spaces.


title: Solving an Inverse Problem for Time Series Valued Computer Simulators via Multiple Contour Estimation

abstract: Computer simulators are often used as a substitute of complex real-life phenomena which are either expensive or infeasible to experiment with. This paper focuses on how to efficiently solve the inverse problem for an expensive to evaluate time series valued computer simulator. The research is motivated by a hydrological simulator which has to be tuned for generating realistic rainfall-runoff measurements in Athens, Georgia, USA. Assuming that the simulator returns g(x,t) over L time points for a given input x, the proposed methodology begins with a careful construction of a discretization (time-) point set (DPS) of size $k << L$, achieved by adopting a regression spline approximation of the target response series at k optimal knots locations $\{t^*_1, t^*_2, ..., t^*_k\}$. Subsequently, we solve k scalar valued inverse problems for simulator $g(x,t^*_j)$ via the contour estimation method. The proposed approach, named MSCE, also facilitates the uncertainty quantification of the inverse solution. Extensive simulation study is used to demonstrate the performance comparison of the proposed method with the popular competitors for several test-function based computer simulators and a real-life rainfall-runoff measurement model.


title: Variational Hierarchical Mixtures for Probabilistic Learning of Inverse Dynamics

abstract: Well-calibrated probabilistic regression models are a crucial learning component in robotics applications as datasets grow rapidly and tasks become more complex. Unfortunately, classical regression models are usually either probabilistic kernel machines with a flexible structure that does not scale gracefully with data or deterministic and vastly scalable automata, albeit with a restrictive parametric form and poor regularization. In this paper, we consider a probabilistic hierarchical modeling paradigm that combines the benefits of both worlds to deliver computationally efficient representations with inherent complexity regularization. The presented approaches are probabilistic interpretations of local regression techniques that approximate nonlinear functions through a set of local linear or polynomial units. Importantly, we rely on principles from Bayesian nonparametrics to formulate flexible models that adapt their complexity to the data and can potentially encompass an infinite number of components. We derive two efficient variational inference techniques to learn these representations and highlight the advantages of hierarchical infinite local regression models, such as dealing with non-smooth functions, mitigating catastrophic forgetting, and enabling parameter sharing and fast predictions. Finally, we validate this approach on large inverse dynamics datasets and test the learned models in real-world control scenarios.


title: Conditional estimates for $L$-functions in the Selberg class

abstract: Assuming the Generalized Riemann Hypothesis, we provide upper bounds with explicit main terms for moduli of $\left(\mathcal{L}'/\mathcal{L}\right)(s)$ and $\log{\mathcal{L}(s)}$ for $|3/4-\sigma|\leq 1/4-\delta$, fixed $\delta\in(0,1/4)$ and for functions in the Selberg class. Moreover, by further assuming a polynomial Euler product representation for $\mathcal{L}(s)$, we establish uniform bounds in $\mathcal{L}$ for $|3/4-\sigma|\leq 1/4-1/\log{\log{\left(\mathrm{q}_{\mathcal{L}}|t|^{\mathrm{d}_{\mathcal{L}}}\right)}}$, $|1-\sigma|\leq 1/\log{\log{\left(\mathrm{q}_{\mathcal{L}}|t|^{\mathrm{d}_{\mathcal{L}}}\right)}}$ and $\sigma=1$, and completely explicit estimates by assuming also the strong $\lambda$-conjecture.


title: Fast Adaptive Federated Bilevel Optimization

abstract: Bilevel optimization is a popular hierarchical model in machine learning, and has been widely applied to many machine learning tasks such as meta learning, hyperparameter learning and policy optimization. Although many bilevel optimization algorithms recently have been developed, few adaptive algorithm focuses on the bilevel optimization under the distributed setting. It is well known that the adaptive gradient methods show superior performances on both distributed and non-distributed optimization. In the paper, thus, we propose a novel adaptive federated bilevel optimization algorithm (i.e.,AdaFBiO) to solve the distributed bilevel optimization problems, where the objective function of Upper-Level (UL) problem is possibly nonconvex, and that of Lower-Level (LL) problem is strongly convex. Specifically, our AdaFBiO algorithm builds on the momentum-based variance reduced technique and local-SGD to obtain the best known sample and communication complexities simultaneously. In particular, our AdaFBiO algorithm uses the unified adaptive matrices to flexibly incorporate various adaptive learning rates to update variables in both UL and LL problems. Moreover, we provide a convergence analysis framework for our AdaFBiO algorithm, and prove it needs the sample complexity of $\tilde{O}(\epsilon^{-3})$ with communication complexity of $\tilde{O}(\epsilon^{-2})$ to obtain an $\epsilon$-stationary point. Experimental results on federated hyper-representation learning and federated data hyper-cleaning tasks verify efficiency of our algorithm.


title: Multicriticality in Yang-Lee edge singularity

abstract: In this paper we study the non-unitary deformations of the two-dimensional Tricritical Ising Model obtained by coupling its two spin Z2 odd operators to imaginary magnetic fields. Varying the strengths of these imaginary magnetic fields and adjusting correspondingly the coupling constants of the two spin Z2 even fields, we establish the presence of two universality classes of infrared fixed points on the critical surface. The first class corresponds to the familiar Yang-Lee edge singularity, while the second class to its tricritical version. We argue that these two universality classes are controlled by the conformal non-unitary minimal models M(2,5) and M(2,7) respectively, which is supported by considerations based on PT symmetry and the corresponding extension of Zamolodchikov's c-theorem, and also verified numerically using the truncated conformal space approach. Our results are in agreement with a previous numerical study of the lattice version of the Tricritical Ising Model [1]. We also conjecture the classes of universality corresponding to higher non-unitary multicritical points obtained by perturbing the conformal unitary models with imaginary coupling magnetic fields.


title: On codimension one partially hyperbolic diffeomorphisms

abstract: We show that every codimension one partially hyperbolic diffeomorphism must support on $\mathbb{T}^{n}$. It is locally uniquely integrable and derived from a linear codimension one Anosov diffeomorphism. Moreover, this system is intrinsically ergodic, and the A. Katok's conjecture about the existence of ergodic measures with intermediate entropies holds for it.


title: Style Augmentation improves Medical Image Segmentation

abstract: Due to the limitation of available labeled data, medical image segmentation is a challenging task for deep learning. Traditional data augmentation techniques have been shown to improve segmentation network performances by optimizing the usage of few training examples. However, current augmentation approaches for segmentation do not tackle the strong texture bias of convolutional neural networks, observed in several studies. This work shows on the MoNuSeg dataset that style augmentation, which is already used in classification tasks, helps reducing texture over-fitting and improves segmentation performance.


title: Likelihood-free hypothesis testing

abstract: Consider the problem of binary hypothesis testing. Given $Z$ coming from either $\mathbb P^{\otimes m}$ or $\mathbb Q^{\otimes m}$, to decide between the two with small probability of error it is sufficient, and in many cases necessary, to have $m\asymp1/\epsilon^2$, where $\epsilon$ measures the separation between $\mathbb P$ and $\mathbb Q$ in total variation ($\mathsf{TV}$). Achieving this, however, requires complete knowledge of the distributions and can be done, for example, using the Neyman-Pearson test. In this paper we consider a variation of the problem which we call likelihood-free hypothesis testing, where access to $\mathbb P$ and $\mathbb Q$ is given through $n$ i.i.d. observations from each. In the case when $\mathbb P$ and $\mathbb Q$ are assumed to belong to a non-parametric family, we demonstrate the existence of a fundamental trade-off between $n$ and $m$ given by $nm\asymp n_\sf{GoF}^2(\epsilon)$, where $n_\sf{GoF}(\epsilon)$ is the minimax sample complexity of testing between the hypotheses $H_0:\, \mathbb P=\mathbb Q$ vs $H_1:\, \mathsf{TV}(\mathbb P,\mathbb Q)\geq\epsilon$. We show this for three families of distributions, in addition to the family of all discrete distributions for which we obtain a more complicated trade-off exhibiting an additional phase-transition. Our results demonstrate the possibility of testing without fully estimating $\mathbb P$ and $\mathbb Q$, provided $m \gg 1/\epsilon^2$.


title: On the local convergence of the semismooth Newton method for composite optimization

abstract: In this paper, we consider a large class of nonlinear equations derived from first-order type methods for solving composite optimization problems. Traditional approaches to establishing superlinear convergence rates of semismooth Newton-type methods for solving nonlinear equations usually postulate either nonsingularity of the B-Jacobian or smoothness of the equation. We investigate the feasibility of both conditions. For the nonsingularity condition, we present equivalent characterizations in broad generality, and illustrate that they are easy-to-check criteria for some examples. For the smoothness condition, we show that it holds locally for a large class of residual mappings derived from composite optimization problems. Furthermore, we investigate a relaxed version of the smoothness condition - smoothness restricted to certain active manifolds. We present a conceptual algorithm utilizing such structures and prove that it has a superlinear convergence rate.


title: Temporal-topological properties of higher-order evolving networks

abstract: Human social interactions are typically recorded as time-specific dyadic interactions, and represented as evolving (temporal) networks, where links are activated/deactivated over time. However, individuals can interact in groups of more than two people. Such group interactions can be represented as higher-order events of an evolving network. Here, we propose methods to characterize the temporal-topological properties of higher-order events to compare networks and identify their (dis)similarities. We analyzed 8 real-world physical contact networks, finding the following: a) Events of different orders close in time tend to be also close in topology; b) Nodes participating in many different groups (events) of a given order tend to involve in many different groups (events) of another order; Thus, individuals tend to be consistently active or inactive in events across orders; c) Local events that are close in topology are correlated in time, supporting observation a). Differently, in 5 collaboration networks, observation a) is almost absent; Consistently, no evident temporal correlation of local events has been observed in collaboration networks. Such differences between the two classes of networks may be explained by the fact that physical contacts are proximity based, in contrast to collaboration networks. Our methods may facilitate the investigation of how properties of higher-order events affect dynamic processes unfolding on them and possibly inspire the development of more refined models of higher-order time-varying networks.


title: Normalized solution to the nonlinear p-Laplacian equation with an L^2 constrain: mass supercritical case

abstract: In this paper, we study the existence of ground state solutions to the following p-Laplacian equation in some dimension $N\geq3$ with an $L^2$ constraint: \begin{equation*} \begin{cases} -\Delta_{p}u+{\vert u\vert}^{p-2}u=f(u)-\mu u \quad \text{ in } \mathbb{R}^N,\\ {\Vert u\Vert}^2_{L^2(\mathbb{R}^N)}=m,\\ u\in W^{1,p}(\mathbb{R}^N)\cap L^2(\mathbb{R}^N), \end{cases} \end{equation*} where $-\Delta_{p}u=div\left( {\vert\nabla u\vert}^{p-2}\nabla u \right)$, $2\leq p<N$, $f\in C(\mathbb{R},\mathbb{R})$, $m>0$, $\mu\in\mathbb{R}$ will appear as a Lagrange multiplier and the continuous nonlinearity $f$ satisfies mass supercritical conditions. We mainly study the behavior of ground state energy $E_m$ with $m>0$ changing within a certain range and aim at extending nonlinear scalar field equation when $p=2$ and reducing the constraint condition of nonlinearity $f$.


title: Unimodular gravity and the gauge/gravity duality

abstract: Unimodular gravity can be formulated so that transverse diffeomorphisms and Weyl transformations are symmetries of the theory. For this formulation of unimodular gravity, we work out the two-point and three-point $h_{\mu\nu}$ contributions to the on-shell classical gravity action in the leading approximation and for an Euclidean AdS background. We conclude that these contributions do not agree with those obtained by using General Relativity due to IR divergent contact terms. The subtraction of these IR divergent terms yields the same IR finite result for both unimodular gravity and General Relativity. Equivalence between unimodular gravity and General Relativity with regard to the gauge/gravity duality thus emerges in a non trivial way.


title: Classification of multi-frequency RF signals by extreme learning, using magnetic tunnel junctions as neurons and synapses

abstract: Extracting information from radiofrequency (RF) signals using artificial neural networks at low energy cost is a critical need for a wide range of applications from radars to health. These RF inputs are composed of multiples frequencies. Here we show that magnetic tunnel junctions can process analogue RF inputs with multiple frequencies in parallel and perform synaptic operations. Using a backpropagation-free method called extreme learning, we classify noisy images encoded by RF signals, using experimental data from magnetic tunnel junctions functioning as both synapses and neurons. We achieve the same accuracy as an equivalent software neural network. These results are a key step for embedded radiofrequency artificial intelligence.


title: Weakly Schreier extensions for general algebras

abstract: Weakly Schreier split extensions are a reasonably large, yet well-understood class of monoid extensions, which generalise some aspects of split extensions of groups. This short note provides a way to define and study similar classes of split extensions in general algebraic structures (parameterised by a term $\theta$). These generalise weakly Schreier extensions of monoids, as well as general extensions of semi-abelian varieties (using the $\theta$ appearing in their syntactical characterisation). Restricting again to the case of monoids, a different choice of $\theta$ leads to a new class of monoid extensions, more general than the weakly Schreier split extensions.


title: Space-time optimized table lookup

abstract: We describe a space-time optimized circuit for the table lookup subroutine from lattice-surgery surface code primitives respecting 2D grid connectivity. Table lookup circuits are ubiquitous in quantum computing, allowing the presented circuit to be used for applications ranging from cryptography to quantum chemistry. Surface code is the leading approach to scalable fault-tolerant quantum computing pursued by industry and academia. We abstract away surface code implementation details by using a minimal set of operations supported by the surface code via lattice-surgery. Our exposition is accessible to a reader not familiar with surface codes and fault-tolerant quantum computing.


title: Faster variational quantum algorithms with quantum kernel-based surrogate models

abstract: We present a new optimization method for small-to-intermediate scale variational algorithms on noisy near-term quantum processors which uses a Gaussian process surrogate model equipped with a classically-evaluated quantum kernel. Variational algorithms are typically optimized using gradient-based approaches however these are difficult to implement on current noisy devices, requiring large numbers of objective function evaluations. Our scheme shifts this computational burden onto the classical optimizer component of these hybrid algorithms, greatly reducing the number of queries to the quantum processor. We focus on the variational quantum eigensolver (VQE) algorithm and demonstrate numerically that such surrogate models are particularly well suited to the algorithm's objective function. Next, we apply these models to both noiseless and noisy VQE simulations and show that they exhibit better performance than widely-used classical kernels in terms of final accuracy and convergence speed. Compared to the typically-used stochastic gradient-descent approach for VQAs, our quantum kernel-based approach is found to consistently achieve significantly higher accuracy while requiring less than an order of magnitude fewer quantum circuit evaluations. We analyse the performance of the quantum kernel-based models in terms of the kernels' induced feature spaces and explicitly construct their feature maps. Finally, we describe a scheme for approximating the best-performing quantum kernel using a classically-efficient tensor network representation of its input state and so provide a pathway for scaling these methods to larger systems.


title: Dyck Numbers, II. Triplets and Rooted Trees in OEIS A036991

abstract: Dyck paths are among the most heavily studied Catalan families. This paper is a continuation of [2]. In the paper we are dealing with the numbering of Dyck paths, the terms of the OEIS sequence A036991 or Dyck numbers. We consider triplets of terms of the form (t-4, t-2, t) (t is the senior term); triplets cover 80% of A036991. Triplets include all Mersenne numbers, with each Mersenne number being a senior term in some triplet. Triples are distributed over A036991 ranges; both the length of the ranges and the number of triplets in the range are counted by the terms of the OEIS sequence A001405. In addition to triplets, there are many lone terms in the ranges, which are counted by the terms of the OEIS sequence A116385. Each lone term (there are an infinite number of them) is the root of an infinite ternary tree of triplets. As a result, the sequence A036991 is a forest of such directed trees. We test the twin prime conjecture on infinite ternary trees of A036991. We consider the infinity theorem for pairs of prime numbers that differ by no more than 4.


title: Search for $t\bar tH/A \rightarrow t\bar tt\bar t$ production in the multilepton final state in proton-proton collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search for a new heavy scalar or pseudo-scalar Higgs boson ($H/A$) produced in association with a pair of top quarks, with the Higgs boson decaying into a pair of top quarks ($H/A\rightarrow t\bar{t}$) is reported. The search targets a final state with exactly two leptons with same-sign electric charges or at least three leptons. The analysed dataset corresponds to an integrated luminosity of 139 fb$^{-1}$ of proton-proton collisions collected at a centre-of-mass energy of 13 TeV with the ATLAS detector at the LHC. Two multivariate classifiers are used to separate the signal from the background. No significant excess of events over the Standard Model expectation is observed. The results are interpreted in the context of a type-II two-Higgs-doublet model. The observed (expected) upper limits at 95% confidence level on the $t\bar{t}H/A$ production cross-section times the branching ratio of $H/A\rightarrow t\bar{t}$ range between 14 (10) fb and 6 (5) fb for a heavy Higgs boson with mass between 400 GeV and 1000 GeV, respectively. Assuming that only one particle, either the scalar $H$ or the pseudo-scalar $A$, contributes to the $t\bar{t}t\bar{t}$ final state, values of $\tan\beta$ below 1.2 or 0.5 are excluded for a mass of 400 GeV or 1000 GeV, respectively. These exclusion ranges increase to $\tan\beta$ below 1.6 or 0.6 when both particles are considered.


title: Quasi-localized vibrational modes, Boson peak and sound attenuation in model mass-spring networks

abstract: We introduce an algorithm that constructs disordered mass-spring networks whose elastic properties mimic that of glasses by tuning the fluctuations of the local elastic properties, keeping fixed connectivity and controlling the prestress. In two dimensions, the algorithm reproduces the dependence of gasses' vibrational properties, such as quasi-localised vibrational modes and Boson peak, on the degree of stability. The sound attenuation displays Rayleigh scattering and disorder-broadening regimes at different frequencies, and the attenuation rate increases with increased stability. Our results establish a strong connection between the vibrational features of disordered solids and the fluctuations of the local elastic properties and provide a new approach to investigating glasses' vibrational anomalies.

categories: cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech


title: Local Differentially Private Frequency Estimation based on Learned Sketches

abstract: Sketches are widely used for frequency estimation of data with a large domain. However, sketches-based frequency estimation faces more challenges when considering privacy. Local differential privacy (LDP) is a solution to frequency estimation on sensitive data while preserving the privacy. LDP enables each user to perturb its data on the client-side to protect the privacy, but it also introduces errors to the frequency estimations. The hash collisions in the sketches make the estimations for low-frequent items even worse. In this paper, we propose a two-phase frequency estimation framework for data with a large domain based on an LDP learned sketch, which separates the high-frequent and low-frequent items to avoid the errors caused by hash collisions. We theoretically proved that the proposed method satisfies LDP and it is more accurate than the state-of-the-art frequency estimation methods including Apple-CMS, Apple-HCMS and FLH. The experimental results verify the performance of our method.


title: Monodromy dependence and symplectic geometry of isomonodromic tau functions on the torus

abstract: We compute the monodromy dependence of the isomonodromic tau function on a torus with $n$ Fuchsian singularities and $SL(N)$ residue matrices by using its explicit Fredholm determinant representation. We show that the exterior logarithmic derivative of the tau function defines a closed one-form on the space of monodromies and times, and identify it with the generating function of the monodromy symplectomorphism. As an illustrative example, we discuss the simplest case of the one-punctured torus in detail. Finally, we show that previous results obtained in the genus zero case can be recovered in a straightforward manner using the techniques presented here.


title: Ripples and Rush-to-the-Poles in the photospheric magnetic field

abstract: The distribution of magnetic fields of positive and negative polarities over the surface of the Sun was studied on the basis of synoptic maps presented by the NSO/Kitt Peak (1978-2016). To emphasize the contribution of weak fields the following transformation of synoptic maps was made: for each synoptic map only magnetic fields with modulus less than 5G ($|B|\leq 5$G) were left unchanged while larger or smaller fields were replaced by the corresponding threshold values +5G or $-5$G. Cyclic variations of the magnetic field polarity have been observed associated with two types of magnetic field flows in the photosphere. Rush-to-the-Poles (RTTP) appear near the maximum of solar activity and have the same sign as the following sunspots. The lifetime of RTTP is $\sim 3$ yrs, during which time they drift from latitudes $30^\circ$-$40^\circ$ to the pole, causing the polarity change of the Sun's polar field. Our aim is the study of another type of variations which has the form of series of flows with individual flows of 0.5-1 yr with alternating polarity. These flows called ripples are located in time between two RTTP and drift from the equator to the latitudes of $~50^\circ$. The period of variation of ripples was shown to be 1.1 yr for the northern hemisphere and 1.3 yr for the southern hemisphere. It was found that the amplitude of variation was higher for the time intervals where the polar field had a positive sign. Within the same flow, fields of positive and negative signs developed in anti-phase. Two types of flows - RTTP and ripples - together formed a unique structure which had close connection to the magnetic solar cycle.


title: User-Entity Differential Privacy in Learning Natural Language Models

abstract: In this paper, we introduce a novel concept of user-entity differential privacy (UeDP) to provide formal privacy protection simultaneously to both sensitive entities in textual data and data owners in learning natural language models (NLMs). To preserve UeDP, we developed a novel algorithm, called UeDP-Alg, optimizing the trade-off between privacy loss and model utility with a tight sensitivity bound derived from seamlessly combining user and sensitive entity sampling processes. An extensive theoretical analysis and evaluation show that our UeDP-Alg outperforms baseline approaches in model utility under the same privacy budget consumption on several NLM tasks, using benchmark datasets.


title: OPA-3D: Occlusion-Aware Pixel-Wise Aggregation for Monocular 3D Object Detection

abstract: Despite monocular 3D object detection having recently made a significant leap forward thanks to the use of pre-trained depth estimators for pseudo-LiDAR recovery, such two-stage methods typically suffer from overfitting and are incapable of explicitly encapsulating the geometric relation between depth and object bounding box. To overcome this limitation, we instead propose OPA-3D, a single-stage, end-to-end, Occlusion-Aware Pixel-Wise Aggregation network that to jointly estimate dense scene depth with depth-bounding box residuals and object bounding boxes, allowing a two-stream detection of 3D objects, leading to significantly more robust detections. Thereby, the geometry stream denoted as the Geometry Stream, combines visible depth and depth-bounding box residuals to recover the object bounding box via explicit occlusion-aware optimization. In addition, a bounding box based geometry projection scheme is employed in an effort to enhance distance perception. The second stream, named as the Context Stream, directly regresses 3D object location and size. This novel two-stream representation further enables us to enforce cross-stream consistency terms which aligns the outputs of both streams, improving the overall performance. Extensive experiments on the public benchmark demonstrate that OPA-3D outperforms state-of-the-art methods on the main Car category, whilst keeping a real-time inference speed. We plan to release all codes and trained models soon.


title: Proof of User Similarity: the Spatial Measurer of Blockchain

abstract: Although proof of work (PoW) consensus dominates the current blockchain-based systems mostly, it has always been criticized for the uneconomic brute-force calculation. As alternatives, energy-conservation and energy-recycling mechanisms heaved in sight. In this paper, we propose proof of user similarity (PoUS), a distinct energy-recycling consensus mechanism, harnessing the valuable computing power to calculate the similarities of users, and enact the calculation results into the packing rule. However, the expensive calculation required in PoUS challenges miners in participating, and may induce plagiarism and lying risks. To resolve these issues, PoUS embraces the best-effort schema by allowing miners to compute partially. Besides, a voting mechanism based on the two-parties computation and Bayesian truth serum is proposed to guarantee privacy-preserved voting and truthful reports. Noticeably, PoUS distinguishes itself in recycling the computing power back to blockchain since it turns the resource wastage to facilitate refined cohort analysis of users, serving as the spatial measurer and enabling a searchable blockchain. We build a prototype of PoUS and compare its performance with PoW. The results show that PoUS outperforms PoW in achieving an average TPS improvement of 24.01% and an average confirmation latency reduction of 43.64%. Besides, PoUS functions well in mirroring the spatial information of users, with negligible computation time and communication cost.