title: Polynomial bounds for chromatic number. II. Excluding a star-forest

abstract: The Gyarfas-Sumner conjecture says that for every forest $H$, there is a function $f$ such that if $G$ is $H$-free then $\chi(G)\le f(\omega(G))$ (where $\chi, \omega$ are the chromatic number and the clique number of $G$). Louis Esperet conjectured that, whenever such a statement holds, $f$ can be chosen to be a polynomial. The Gyarfas-Sumner conjecture is only known to be true for a modest set of forests $H$, and Esperet's conjecture is known to be true for almost no forests. For instance, it is not known when $H$ is a five-vertex path. Here we prove Esperet's conjecture when each component of $H$ is a star.


title: Towards Controlled and Diverse Generation of Article Comments

abstract: Much research in recent years has focused on automatic article commenting. However, few of previous studies focus on the controllable generation of comments. Besides, they tend to generate dull and commonplace comments, which further limits their practical application. In this paper, we make the first step towards controllable generation of comments, by building a system that can explicitly control the emotion of the generated comments. To achieve this, we associate each kind of emotion category with an embedding and adopt a dynamic fusion mechanism to fuse this embedding into the decoder. A sentence-level emotion classifier is further employed to better guide the model to generate comments expressing the desired emotion. To increase the diversity of the generated comments, we propose a hierarchical copy mechanism that allows our model to directly copy words from the input articles. We also propose a restricted beam search (RBS) algorithm to increase intra-sentence diversity. Experimental results show that our model can generate informative and diverse comments that express the desired emotions with high accuracy.


title: Zipf's law and urban scaling: Hypotheses towards a Unified Urban Theory

abstract: We propose hypotheses describing the empirical finding of an association between the exponents of urban GDP scaling and Zipf's law for cities. These hypotheses represent various combinations of directional or reciprocal causal links between the two phenomena and include inter- and intra-city processes. Future theories and models can be motivated with and categorized according to these hypotheses. This paper intends to stimulate the discussion around the processes behind these phenomena and pave the way to a Unified Urban Theory.


title: Forward Modeling of Solar Coronal Magnetic Field Measurements Based on a Magnetic-field-induced Transition in Fe X

abstract: It was recently proposed that the intensity ratios of several extreme ultraviolet spectral lines from the Fe X ion can be used to measure the solar coronal magnetic field based on the magnetic-field-inducedtransition (MIT) theory. To verify the suitability of this method, we performed forward modelingwith a three-dimensional radiation magnetohydrodynamic model of a solar active region. Intensities of several spectral lines from Fe X were synthesized from the model. Based on the MIT theory, intensity ratios of the MIT line Fe X 257 A to several other Fe X lines were used to derive the magnetic field strengths, which were then compared with the field strengths in the model. We also developed a new method to simultaneously estimate the coronal density and temperature from the Fe X 174/175 and 184/345 A line ratios. Using these estimates, we demonstrated that the MIT technique can provide reasonably accurate measurements of the coronal magnetic field in both on-disk and off-limb solar observations. Our investigation suggests that a spectrometer that can simultaneously observe the Fe X 174, 175, 184, 257, and 345 A lines and allow an accurate radiometric calibration for these lines is highly desired to achieve reliable measurements of the coronal magnetic field. We have also evaluatedthe impact of the uncertainty in the Fe X 3p4 3d 4D5/2 and 4D7/2 energy difference on the magnetic field measurements.


title: Power of human-algorithm collaboration in solving combinatorial optimization problems

abstract: Many combinatorial optimization problems are often considered intractable to solve exactly or by approximation. An example of such problem is maximum clique which -- under standard assumptions in complexity theory -- cannot be solved in sub-exponential time or be approximated within polynomial factor efficiently. We show that if a polynomial time algorithm can query informative Gaussian priors from an expert $poly(n)$ times, then a class of combinatorial optimization problems can be solved efficiently in expectation up to a multiplicative factor $\epsilon$ where $\epsilon$ is arbitrary constant. While our proposed methods are merely theoretical, they cast new light on how to approach solving these problems that have been usually considered intractable.


title: Sensitivity and robustness analysis in Bayesian networks with the bnmonitor R package

abstract: Bayesian networks are a class of models that are widely used for risk assessment of complex operational systems. There are now multiple approaches, as well as implemented software, that guide their construction via data learning or expert elicitation. However, a constructed Bayesian network needs to be validated before it can be used for practical risk assessment. Here, we illustrate the usage of the bnmonitor R package: the first comprehensive software for the validation of a Bayesian network. An applied data analysis using bnmonitor is carried out over a medical dataset to illustrate the use of its wide array of functions.


title: Deep Learning-based Frozen Section to FFPE Translation

abstract: Frozen sectioning (FS) is the preparation method of choice for microscopic evaluation of tissues during surgical operations. The high speed of the procedure allows pathologists to rapidly assess the key microscopic features, such as tumour margins and malignant status to guide surgical decision-making and minimise disruptions to the course of the operation. However, FS is prone to introducing many misleading artificial structures (histological artefacts), such as nuclear ice crystals, compression, and cutting artefacts, hindering timely and accurate diagnostic judgement of the pathologist. Additional training and prolonged experience is often required to make highly effective and time-critical diagnosis on frozen sections. On the other hand, the gold standard tissue preparation technique of formalin-fixation and paraffin-embedding (FFPE) provides significantly superior image quality, but is a very time-consuming process (12-48 hours), making it unsuitable for intra-operative use. In this paper, we propose an artificial intelligence (AI) method that improves FS image quality by computationally transforming frozen-sectioned whole-slide images (FS-WSIs) into whole-slide FFPE-style images in minutes. AI-FFPE rectifies FS artefacts with the guidance of an attention mechanism that puts a particular emphasis on artefacts while utilising a self-regularization mechanism established between FS input image and synthesized FFPE-style image that preserves clinically relevant features. As a result, AI-FFPE method successfully generates FFPE-style images without significantly extending tissue processing time and consequently improves diagnostic accuracy. We demonstrate the efficacy of AI-FFPE on lung and brain frozen sections using a variety of different qualitative and quantitative metrics including visual Turing tests from 20 board certified pathologists.


title: Leveraging Auxiliary Tasks with Affinity Learning for Weakly Supervised Semantic Segmentation

abstract: Semantic segmentation is a challenging task in the absence of densely labelled data. Only relying on class activation maps (CAM) with image-level labels provides deficient segmentation supervision. Prior works thus consider pre-trained models to produce coarse saliency maps to guide the generation of pseudo segmentation labels. However, the commonly used off-line heuristic generation process cannot fully exploit the benefits of these coarse saliency maps. Motivated by the significant inter-task correlation, we propose a novel weakly supervised multi-task framework termed as AuxSegNet, to leverage saliency detection and multi-label image classification as auxiliary tasks to improve the primary task of semantic segmentation using only image-level ground-truth labels. Inspired by their similar structured semantics, we also propose to learn a cross-task global pixel-level affinity map from the saliency and segmentation representations. The learned cross-task affinity can be used to refine saliency predictions and propagate CAM maps to provide improved pseudo labels for both tasks. The mutual boost between pseudo label updating and cross-task affinity learning enables iterative improvements on segmentation performance. Extensive experiments demonstrate the effectiveness of the proposed auxiliary learning network structure and the cross-task affinity learning method. The proposed approach achieves state-of-the-art weakly supervised segmentation performance on the challenging PASCAL VOC 2012 and MS COCO benchmarks.


title: Laser-assisted kaon decay and CPT symmetry violation

abstract: In this paper, we have investigated the charged kaons decay at the lowest order in the presence of a circularly polarized laser field. To be more precise, we have examined the leptonic decay of both positive (matter) and negative (antimatter) kaon which weakly decay via the exchange of $W$ boson. Indeed, we have derived the expression of the leptonic decay width, the leptonic branching ratio, the leptonic ratio and the charged kaon lifetime by using the decay matrix approach. In addition, by using numerical computation, we have presented and discussed how the laser field influences these physical quantities. Moreover, we have analyzed the effect of the laser field on the parameter associated with the CPT symmetry. Then, we have concluded that, in the presence of an electromagnetic field and based on this CPT symmetry parameter, it is possible to control the dominance of matter over antimatter or vice-versa by applying an external field to either violate or conserve the CPT symmetry.


title: ROD: Reception-aware Online Distillation for Sparse Graphs

abstract: Graph neural networks (GNNs) have been widely used in many graph-based tasks such as node classification, link prediction, and node clustering. However, GNNs gain their performance benefits mainly from performing the feature propagation and smoothing across the edges of the graph, thus requiring sufficient connectivity and label information for effective propagation. Unfortunately, many real-world networks are sparse in terms of both edges and labels, leading to sub-optimal performance of GNNs. Recent interest in this sparse problem has focused on the self-training approach, which expands supervised signals with pseudo labels. Nevertheless, the self-training approach inherently cannot realize the full potential of refining the learning performance on sparse graphs due to the unsatisfactory quality and quantity of pseudo labels. In this paper, we propose ROD, a novel reception-aware online knowledge distillation approach for sparse graph learning. We design three supervision signals for ROD: multi-scale reception-aware graph knowledge, task-based supervision, and rich distilled knowledge, allowing online knowledge transfer in a peer-teaching manner. To extract knowledge concealed in the multi-scale reception fields, ROD explicitly requires individual student models to preserve different levels of locality information. For a given task, each student would predict based on its reception-scale knowledge, while simultaneously a strong teacher is established on-the-fly by combining multi-scale knowledge. Our approach has been extensively evaluated on 9 datasets and a variety of graph-based tasks, including node classification, link prediction, and node clustering. The result demonstrates that ROD achieves state-of-art performance and is more robust for the graph sparsity.


title: Distributed and Autonomous Aerial Data Collection in Smart City Surveillance Applications

abstract: The massive growth of Smart City and Internet of Things applications enables safety and security. The data those are produced from surveillance cameras in aerial devices such as unmanned aerial networks (UAVs) are needed to be transferred to ground stations for secure data analysis. When the scale of network is relatively large compare to the wireless communication coverage of device, it is not always available to transmit the data to the ground stations, thus distributed and autonomous algorithms are essentially desired. Based on the needs, we propose a novel algorithm that is for collecting surveillance data under the consideration of mobility and flexibility of UAV networks. Due to the battery limitation in UAVs, we selectively collect data from the UAVs by setting rules under the consideration of distance and similarity. As a sequence, the UAV devices have to compete for a chance to get data processing. For this purpose, this paper designs a Myerson auction-based deep learning algorithm to leverage the UAV's revenue compare to traditional second-price auction while preserving truthfulness. Based on simulation results, we verify that our proposed algorithm achieves desired performance improvements.


title: Revealing the structure of the lensed quasar Q 0957+561: III. SMBH mass via gravitational redshift

abstract: We intend to use the impact of microlensing on the Fe III emission line blend along with a measure of its gravitational redshift to estimate the mass of the quasar's central supermassive black hole (SMBH). We fit the Fe III feature in multiple spectroscopic observations between 2008 and 2016 of the gravitationally lensed quasar Q 0957+561 with relatively high signal-to-noise ratios (at the adequate wavelength). Based on the statistics of microlensing magnifications, we used a Bayesian method to derive the size of its emitting region. The Fe III spectral feature appears systematically redshifted in all epochs of observation by a value of 17 angstroms on average. We find clear differences in the shape of the Fe III line blend between images A and B. Measuring the strength of those magnitude differences, we conclude that this blend may arise from a region of half-light radius of 15 lt-days, which is in good agreement with the accretion disk dimensions for this system. We obtain a mass for the central SMBH of (1.5 +/- 0.5) x 10^9 solar masses, consistent within uncertainties with previous mass estimates based on the virial theorem. The relatively small uncertainties in the mass determination (< 35%) make this method a compelling alternative to other existing techniques (e.g., the virial plus reverberation mapping based size) for measuring black hole masses. Combining the Fe III redshift-based method with the virial, we estimate a virial factor in the 1.2 to 1.7 range for this system.


title: Multi-Rate Nyquist-SCM for C-Band 100Gbit/s Signal over 50km Dispersion-Uncompensated Link

abstract: In this paper, to the best of our knowledge, we propose the first multi-rate Nyquist-subcarriers modulation (SCM) for C-band 100Gbit/s signal transmission over 50km dispersion-uncompensated link. Chromatic dispersion (CD) introduces severe spectral nulls on optical double-sideband signal, which greatly degrades the performance of intensity-modulation and direct-detection systems. Based on the prior knowledge of the dispersive channel, Nyquist-SCM with multi-rate subcarriers is proposed to keep away from the CD-caused spectral nulls flexibly. Signal on each subcarrier can be individually recovered by a digital signal processing, including the feed-forward equalizer with no more than 31 taps, a two-tap post filter, and maximum likelihood sequence estimation with one memory length. Combining with entropy loading based on probabilistic constellation shaping to maximize the capacity-reach, the C-band 100Gbit/s multi-rate Nyquist-SCM signal over 50km dispersion-uncompensated link can achieve 7% hard-decision forward error correction limit and average normalized generalized mutual information of 0.967 at received optical power of -4dBm and optical signal-to-noise ratio of 47.67dB. In conclusion, the multi-rate Nyquist-SCM shows great potentials in solving the CD-caused spectral distortions.


title: On The Enhanced Power Graph of a Semigroup

abstract: The enhanced power graph $\mathcal P_e(S)$ of a semigroup $S$ is a simple graph whose vertex set is $S$ and two vertices $x,y \in S$ are adjacent if and only if $x, y \in \langle z \rangle$ for some $z \in S$, where $\langle z \rangle$ is the subsemigroup generated by $z$. In this paper, first we described the structure of $\mathcal P_e(S)$ for an arbitrary semigroup $S$. Consequently, we discussed the connectedness of $\mathcal P_e(S)$. Further, we characterized the semigroup $S$ such that $\mathcal P_e(S)$ is complete, bipartite, regular, tree and null graph, respectively. Also, we have investigated the planarity together with the minimum degree and independence number of $\mathcal P_e(S)$. The chromatic number of a spanning subgraph, viz. the cyclic graph, of $\mathcal P_e(S)$ is proved to be countable. At the final part of this paper, we construct an example of a semigroup $S$ such that the chromatic number of $\mathcal P_e(S)$ need not be countable.


title: On the existence of finite surjective parametrizations of affine surfaces

abstract: We investigate surjective parametrizations of rational algebraic varieties, in the vein of recent work by Jorge Caravantes, J. Rafael Sendra, David Sevilla, and Carlos Villarino. In particular, we show how to construct plenty of examples of affine surfaces $S$ not admitting a finite surjective morphism $f: \mathbb{A}^2 \to S$.


title: Character Spotting Using Machine Learning Techniques

abstract: This work presents a comparison of machine learning algorithms that are implemented to segment the characters of text presented as an image. The algorithms are designed to work on degraded documents with text that is not aligned in an organized fashion. The paper investigates the use of Support Vector Machines, K-Nearest Neighbor algorithm and an Encoder Network to perform the operation of character spotting. Character Spotting involves extracting potential characters from a stream of text by selecting regions bound by white space.


title: On the dearth of coproducts in the category of locally compact groups

abstract: We prove that a family of at least two non-trivial, almost-connected locally compact groups cannot have a coproduct in the category of locally compact groups if at least one of the groups is connected; this confirms the intuition that coproducts in said category are rather hard to come by, save for the usual ones in the category of discrete groups. Along the way we also prove a number of auxiliary results on characteristic indices of locally compact or Lie groups as defined by Iwasawa: that characteristic indices can only decrease when passing to semisimple closed Lie subgroups, and also along dense-image morphisms.


title: Permutation modules, Mackey functors, and Artin motives

abstract: We explain in detail the connections between the three concepts in the title, and we discuss how the `big' derived category of permutation modules introduced in arXiv:2009.14093 fits into the picture.


title: Adiabatic Dynamics and Shortcuts to Adiabaticity: Fundamentals and Applications

abstract: In this thesis, it is presented a set of results in adiabatic dynamics (closed and open system) and transitionless quantum driving that promote some advances in our understanding on quantum control and Hamiltonian inverse engineering. In the context of adiabatic dynamics in closed systems, it is introduced a validation mechanism for the adiabaticity conditions by studing the system dynamics from a non-inertial reference frame. By considering a decohering scenario, validity conditions of the adiabatic approximation are also studied. As a fresh general result with potential applications, it is shown that under decoherence the adiabaticity may still occur in the infinite time limit, as it happens for closed systems, for a class of initial quantum states. To end, the original contributions of this thesis to the theory of shortcuts to adiabaticity refers to a generalized approach of transitionless quantum driving, where one explores the gauge freedom of the quantal phase factors accompanying adiabatic trajectories. A number of theoretical applications are studied, where some theoretical prediction presented in this thesis are experimentally verified through two different experimental setups, namely a qubit encoded in the energy hyperfine structure of a Ytterbium trapped ion, and in nuclear magnetic resonance with a nuclear spin qubit.


title: Turbulent energy cascade through equivalence of Euler and Lagrange motion descriptions and bifurcation rates

abstract: This work analyses the homogeneous isotropic turbulence by means of the equivalence between Euler and Lagrange representations of motion, adopting the bifurcation rates associated with Navier--Stokes and kinematic equations, and an appropriate hypothesis of fully developed chaos. The equivalence of these motion descriptions allows to show that kinetic and thermal energy cascade arise both from the convective term of Liouville equation. Accordingly, these phenomena, of nondiffusive nature, correspond to a transport in physical space linked to the trajectories divergence. Both the bifurcation rates are properly defined, where the kinematic bifurcation rate is shown to be much greater than Navier--Stokes bifurcation rate. This justifies the proposed hypothesis of fully developed chaos where velocity field and particles trajectories fluctuations are statistically uncorrelated. Thereafter, a specific ergodic property is presented, which relates the statistics of fluid displacement to that of velocity and temperature fields. A detailed analysis of separation rate is proposed which studies the statistics of radial velocity component along the material separation vector. Based on previous elements, the closure formulas of von K\'arm\'an--Howarth and Corrsin equations are finally achieved. These closures, of nondiffusive kind, represent a propagation phenomenon, and coincide with those just presented by the author in previous works, corroborating the results of these latter.


title: Comprehensive Studies for Arbitrary-shape Scene Text Detection

abstract: Numerous scene text detection methods have been proposed in recent years. Most of them declare they have achieved state-of-the-art performances. However, the performance comparison is unfair, due to lots of inconsistent settings (e.g., training data, backbone network, multi-scale feature fusion, evaluation protocols, etc.). These various settings would dissemble the pros and cons of the proposed core techniques. In this paper, we carefully examine and analyze the inconsistent settings, and propose a unified framework for the bottom-up based scene text detection methods. Under the unified framework, we ensure the consistent settings for non-core modules, and mainly investigate the representations of describing arbitrary-shape scene texts, e.g., regressing points on text contours, clustering pixels with predicted auxiliary information, grouping connected components with learned linkages, etc. With the comprehensive investigations and elaborate analyses, it not only cleans up the obstacle of understanding the performance differences between existing methods but also reveals the advantages and disadvantages of previous models under fair comparisons.


title: Denoising and Segmentation of Epigraphical Scripts

abstract: This paper is a presentation of a new method for denoising images using Haralick features and further segmenting the characters using artificial neural networks. The image is divided into kernels, each of which is converted to a GLCM (Gray Level Co-Occurrence Matrix) on which a Haralick Feature generation function is called, the result of which is an array with fourteen elements corresponding to fourteen features The Haralick values and the corresponding noise/text classification form a dictionary, which is then used to de-noise the image through kernel comparison. Segmentation is the process of extracting characters from a document and can be used when letters are separated by white space, which is an explicit boundary marker. Segmentation is the first step in many Natural Language Processing problems. This paper explores the process of segmentation using Neural Networks. While there have been numerous methods to segment characters of a document, this paper is only concerned with the accuracy of doing so using neural networks. It is imperative that the characters be segmented correctly, for failing to do so will lead to incorrect recognition by Natural language processing tools. Artificial Neural Networks was used to attain accuracy of upto 89%. This method is suitable for languages where the characters are delimited by white space. However, this method will fail to provide acceptable results when the language heavily uses connected letters. An example would be the Devanagari script, which is predominantly used in northern India.


title: Optimized pulsed sideband cooling and enhanced thermometry of trapped ions

abstract: Resolved sideband cooling is a standard technique for cooling trapped ions below the Doppler limit to near their motional ground state. Yet, the most common methods for sideband cooling implicitly rely on low Doppler-cooled temperatures and tightly confined ions, and they cannot be optimized for different experimental conditions. Here we introduce a framework which calculates the fastest possible pulsed sideband cooling sequence for a given number of pulses and set of experimental parameters, and we verify its improvement compared to traditional methods using a trapped $^{171}$Yb$^+$ ion. After extensive cooling, we find that the ion motional distribution is distinctly non-thermal and thus not amenable to standard thermometry techniques. We therefore develop and experimentally validate an improved method to measure ion temperatures after sideband cooling. These techniques will enable more efficient cooling and thermometry within trapped-ion systems, especially those with high initial temperatures or spatially-extended ion wavepackets.


title: Content-driven Music Recommendation: Evolution, State of the Art, and Challenges

abstract: The music domain is among the most important ones for adopting recommender systems technology. In contrast to most other recommendation domains, which predominantly rely on collaborative filtering (CF) techniques, music recommenders have traditionally embraced content-based (CB) approaches. In the past years, music recommendation models that leverage collaborative and content data -- which we refer to as content-driven models -- have been replacing pure CF or CB models. In this survey, we review 55 articles on content-driven music recommendation. Based on a thorough literature analysis, we first propose an onion model comprising five layers, each of which corresponds to a category of music content we identified: signal, embedded metadata, expert-generated content, user-generated content, and derivative content. We provide a detailed characterization of each category along several dimensions. Second, we identify six overarching challenges, according to which we organize our main discussion: increasing recommendation diversity and novelty, providing transparency and explanations, accomplishing context-awareness, recommending sequences of music, improving scalability and efficiency, and alleviating cold start. Each article addresses one or more of these challenges is categorized according to the content layers of our onion model, the article's goal(s), and main methodological choices. Furthermore, articles are discussed in temporal order to shed light on the evolution of content-driven music recommendation strategies. Finally, we provide our personal selection of the persisting grand challenges which are still waiting to be solved in future research endeavors.


title: The zeros of the partition function of the pinning model

abstract: We aim at understanding for which (complex) values of the potential the pinning partition function vanishes. The pinning model is a Gibbs measure based on discrete renewal processes with power law inter-arrival distributions. We obtain some results for rather general inter-arrival laws, but we achieve a substantially more complete understanding for a specific one parameter family of inter-arrivals. We show, for such a specific family, that the zeros asymptotically lie on (and densely fill) a closed curve that, unsurprisingly, touches the real axis only in one point (the critical point of the model). We also perform a sharper analysis of the zeros close to the critical point and we exploit this analysis to approach the challenging problem of Griffiths singularities for the disordered pinning model. The techniques we exploit are both probabilistic and analytical. Regarding the first, a central role is played by limit theorems for heavy tail random variables. As for the second, potential theory and singularity analysis of generating functions, along with their interplay, will be at the heart of several of our arguments.


title: Polynomial decay of correlations for nonpositively curved surfaces

abstract: We prove polynomial decay of correlations for geodesic flows on a class of nonpositively curved surfaces where zero curvature only occurs along one closed geodesic. We also prove that various statistical limit laws, including the central limit theorem, are satisfied by this class of geodesic flows.


title: Tight Bounds for the Randomized and Quantum Communication Complexities of Equality with Small Error

abstract: We investigate the randomized and quantum communication complexities of the well-studied Equality function with small error probability $\epsilon$, getting optimal constant factors in the leading terms in a number of different models. In the randomized model, 1) we give a general technique to convert public-coin protocols to private-coin protocols by incurring a small multiplicative error, at a small additive cost. This is an improvement over Newman's theorem [Inf. Proc. Let.'91] in the dependence on the error parameter. 2) Using this we obtain a $(\log(n/\epsilon^2)+4)$-cost private-coin communication protocol that computes the $n$-bit Equality function, to error $\epsilon$. This improves upon the $\log(n/\epsilon^3)+O(1)$ upper bound implied by Newman's theorem, and matches the best known lower bound, which follows from Alon [Comb. Prob. Comput.'09], up to an additive $\log\log(1/\epsilon)+O(1)$. In the quantum model, 1) we exhibit a one-way protocol of cost $\log(n/\epsilon)+4$, that uses only pure states and computes the $n$-bit Equality function to error $\epsilon$. This bound was implicitly already shown by Nayak [PhD thesis'99]. 2) We show that any $\epsilon$-error one-way protocol for $n$-bit Equality that uses only pure states communicates at least $\log(n/\epsilon)-\log\log(1/\epsilon)-O(1)$ qubits. 3) We exhibit a one-way protocol of cost $\log(\sqrt{n}/\epsilon)+3$, that uses mixed states and computes the $n$-bit Equality function to error $\epsilon$. This is also tight up to an additive $\log\log(1/\epsilon)+O(1)$, which follows from Alon's result. 4) We study the number of EPR pairs required to be shared in an entanglement-assisted one-way protocol. Our upper bounds also yield upper bounds on the approximate rank and related measures of the Identity matrix.


title: Proposal for constraining non-Newtonian gravity at nm range via criticality enhanced measurement of resonance frequency shift

abstract: We propose a quantum mechanical method of constraining non-Newtonian gravity at the nanometer range. In this method, a hybrid electro-optomechanical system is employed. Applying a strong driving field, we can obtain normal mode splitting of the electromechanical subsystem which is related to the resonance frequency of the mechanical oscillator. Moreover, we investigate the relationship between the variance of normal mode splitting and the resonance frequency shift induced by the gradient of exotic forces provided that our system is operated at critical points. Furthermore, via suppressing the Casimir background, we set a constraint on the non-Newtonian gravity which improves the previous bounds by about a factor of 7 at 1 nanometer range. Our results indicate that our method could be put into consideration in relevant experimental searches.


title: The microscopic mechanism of bulk melting of ice

abstract: We study the initial stages of homogeneous melting of a hexagonal ice crystal at coexistence and at moderate superheating. Our trajectory-based computer simulation approach provides a comprehensive picture of the events that lead to melting; from the initial accumulation of 5+7 defects, via the formation of L-D and interstitial-vacancy pairs, to the formation of a liquid nucleus. Of the different types of defects that we observe to be involved in melting, a particular kind of 5+7 type defect (type 5) plays a prominent role as it often forms prior to the formation of the initial liquid nucleus and close to the site where the nucleus forms. Hence, like other solids, ice homogeneously melts via the prior accumulation of defects.


title: Design, performance, and analysis of a measurement of optical properties of antarctic ice below 400 nm

abstract: The IceCube Neutrino Observatory, located at the geographic South Pole, is the world's largest neutrino telescope, instrumenting 1 km$^3$ of Antarctic ice with 5160 photosensors to detect Cherenkov light. For the IceCube Upgrade, to be deployed during the 2022-23 polar field season, and the enlarged detector IceCube-Gen2 several new optical sensor designs are under development. One of these optical sensors, the Wavelength-shifting Optical Module (WOM), uses wavelength-shifting and light-guiding techniques to measure Cherenkov photons in the UV range from 250 nm to 380 nm. In order to understand the potential gains from this new technology, a measurement of the scattering and absorption lengths of UV light was performed in the SPICEcore borehole at the South Pole during the winter seasons of 2018/2019 and 2019/2020. For this purpose, a calibration device with a UV light source and a detector using the wavelength shifting technology was developed. We present the design of the developed calibration device, its performance during the measurement campaigns, and the comparison of data to a Monte Carlo simulation.


title: Efficient Large Scale Inlier Voting for Geometric Vision Problems

abstract: Outlier rejection and equivalently inlier set optimization is a key ingredient in numerous applications in computer vision such as filtering point-matches in camera pose estimation or plane and normal estimation in point clouds. Several approaches exist, yet at large scale we face a combinatorial explosion of possible solutions and state-of-the-art methods like RANSAC, Hough transform or Branch&Bound require a minimum inlier ratio or prior knowledge to remain practical. In fact, for problems such as camera posing in very large scenes these approaches become useless as they have exponential runtime growth if these conditions aren't met. To approach the problem we present a efficient and general algorithm for outlier rejection based on "intersecting" $k$-dimensional surfaces in $R^d$. We provide a recipe for casting a variety of geometric problems as finding a point in $R^d$ which maximizes the number of nearby surfaces (and thus inliers). The resulting algorithm has linear worst-case complexity with a better runtime dependency in the approximation factor than competing algorithms while not requiring domain specific bounds. This is achieved by introducing a space decomposition scheme that bounds the number of computations by successively rounding and grouping samples. Our recipe (and open-source code) enables anybody to derive such fast approaches to new problems across a wide range of domains. We demonstrate the versatility of the approach on several camera posing problems with a high number of matches at low inlier ratio achieving state-of-the-art results at significantly lower processing times.


title: Reinforced Imitation Learning by Free Energy Principle

abstract: Reinforcement Learning (RL) requires a large amount of exploration especially in sparse-reward settings. Imitation Learning (IL) can learn from expert demonstrations without exploration, but it never exceeds the expert's performance and is also vulnerable to distributional shift between demonstration and execution. In this paper, we radically unify RL and IL based on Free Energy Principle (FEP). FEP is a unified Bayesian theory of the brain that explains perception, action and model learning by a common fundamental principle. We present a theoretical extension of FEP and derive an algorithm in which an agent learns the world model that internalizes expert demonstrations and at the same time uses the model to infer the current and future states and actions that maximize rewards. The algorithm thus reduces exploration costs by partially imitating experts as well as maximizing its return in a seamless way, resulting in a higher performance than the suboptimal expert. Our experimental results show that this approach is promising in visual control tasks especially in sparse-reward environments.


title: DNA thermal denaturation by polymer field theory approach: effects of the environment

abstract: We analyse the effects of the environment (solvent quality, presence of extended structures - crowded environment) that may have impact on the order of the transition between denaturated and bounded DNA states and lead to changes in the scaling laws that govern conformational properties of DNA strands. We find that the effects studied significantly influence the strength of the first order transition. To this end, we re-consider the Poland-Scheraga model and apply a polymer field theory to calculate entropic exponents associated with the denaturated loop distribution. For the $d = 3$ case, the corresponding diverging $\epsilon = 4-d$ expansions are evaluated by restoring their convergence via the resummation technique. For the space dimension $d = 2$, the exponents are deduced from mapping the polymer model onto a two-dimensional random lattice, i.e., in the presence of quantum gravity. We also show that the first order transition is further strengthened by the presence of extended impenetrable regions in a solvent that restrict the number of the macromolecule configurations.


title: Adaptive Recursive Circle Framework for Fine-grained Action Recognition

abstract: How to model fine-grained spatial-temporal dynamics in videos has been a challenging problem for action recognition. It requires learning deep and rich features with superior distinctiveness for the subtle and abstract motions. Most existing methods generate features of a layer in a pure feedforward manner, where the information moves in one direction from inputs to outputs. And they rely on stacking more layers to obtain more powerful features, bringing extra non-negligible overheads. In this paper, we propose an Adaptive Recursive Circle (ARC) framework, a fine-grained decorator for pure feedforward layers. It inherits the operators and parameters of the original layer but is slightly different in the use of those operators and parameters. Specifically, the input of the layer is treated as an evolving state, and its update is alternated with the feature generation. At each recursive step, the input state is enriched by the previously generated features and the feature generation is made with the newly updated input state. We hope the ARC framework can facilitate fine-grained action recognition by introducing deeply refined features and multi-scale receptive fields at a low cost. Significant improvements over feedforward baselines are observed on several benchmarks. For example, an ARC-equipped TSM-ResNet18 outperforms TSM-ResNet50 with 48% fewer FLOPs and 52% model parameters on Something-Something V1 and Diving48.


title: LightOn Optical Processing Unit: Scaling-up AI and HPC with a Non von Neumann co-processor

abstract: We introduce LightOn's Optical Processing Unit (OPU), the first photonic AI accelerator chip available on the market for at-scale Non von Neumann computations, reaching 1500 TeraOPS. It relies on a combination of free-space optics with off-the-shelf components, together with a software API allowing a seamless integration within Python-based processing pipelines. We discuss a variety of use cases and hybrid network architectures, with the OPU used in combination of CPU/GPU, and draw a pathway towards "optical advantage".


title: Digital quantum simulation of dynamical topological invariants on near-term quantum computers

abstract: Programmable quantum processors are suitable platforms for simulating quantum systems, of which topological phases are of particular interest. We simulate the quench dynamics of a one-dimensional system on IBM Q devices. The topological properties of the dynamics are described by the dynamical topological invariants, the dynamical winding number and the time-dependent Berry phase, which are simulated with the quantum circuit model. The results show that despite the noise present in the current quantum computers, the dynamical topological invariants are robust. Moreover, to investigate the influence of open quantum system, we analytically solve the master equation in Lindblad form and show that the dynamical winding number and the change in Berry phase are not affected by the dissipation. This study sheds light on the robustness of topological phases on the noisy intermediate-scale quantum computers.


title: Are Astrophysical "Black" Holes Leaky?

abstract: We continue a study by Adler and Ramazano\uglu (AR) of "black" holes as modified by a scale invariant dark energy action. For the spherically symmetric Schwarzschild-like case, (AR) found that there is no event horizon; hence spacetime is not divided by the "black" hole into causally disconnected regions. We review the formalism for locating trapped surfaces and apparent horizons, and show that the modified "black" hole has no trapped surfaces. Thus one suspects that it is "leaky", and that there will be a "black hole wind" of particles streaming out from the location of the nominal horizon. This will have astrophysical consequences, for example, the wind may feed and stabilize star formation in the vicinity of the "black" hole. We initiate a study of the stationary axially-symmetric rotating "black" hole as modified by a scale invariant dark energy action, i.e, one that is Kerr-like. To set up the axial case, we note that the conserving completion of the dark energy stress energy tensor can be calculated algebraically by solving a $2 \times 2$ matrix equation. Using Mathematica we calculate and simplify the modified system of Einstein equations for the axial case in quasi-isotropic coordinates, and give appropriate boundary conditions. Solution of these equations, which may require developing a special purpose numerical program, is rendered tricky by a residual general coordinate invariance of quasi-isotropic coordinates. This leads to the interesting mathematical question of representing a positive planar function as the gradient squared of a harmonic function.


title: Go Wider Instead of Deeper

abstract: More transformer blocks with residual connections have recently achieved impressive results on various tasks. To achieve better performance with fewer trainable parameters, recent methods are proposed to go shallower by parameter sharing or model compressing along with the depth. However, weak modeling capacity limits their performance. Contrastively, going wider by inducing more trainable matrixes and parameters would produce a huge model requiring advanced parallelism to train and inference. In this paper, we propose a parameter-efficient framework, going wider instead of deeper. Specially, following existing works, we adapt parameter sharing to compress along depth. But, such deployment would limit the performance. To maximize modeling capacity, we scale along model width by replacing feed-forward network (FFN) with mixture-of-experts (MoE). Across transformer blocks, instead of sharing normalization layers, we propose to use individual layernorms to transform various semantic representations in a more parameter-efficient way. To evaluate our plug-and-run framework, we design WideNet and conduct comprehensive experiments on popular computer vision and natural language processing benchmarks. On ImageNet-1K, our best model outperforms Vision Transformer (ViT) by $1.5\%$ with $0.72 \times$ trainable parameters. Using $0.46 \times$ and $0.13 \times$ parameters, our WideNet can still surpass ViT and ViT-MoE by $0.8\%$ and $2.1\%$, respectively. On four natural language processing datasets, WideNet outperforms ALBERT by $1.8\%$ on average and surpass BERT using factorized embedding parameterization by $0.8\%$ with fewer parameters.


title: Bangla sign language recognition using concatenated BdSL network

abstract: Sign language is the only medium of communication for the hearing impaired and the deaf and dumb community. Communication with the general mass is thus always a challenge for this minority group. Especially in Bangla sign language (BdSL), there are 38 alphabets with some having nearly identical symbols. As a result, in BdSL recognition, the posture of hand is an important factor in addition to visual features extracted from traditional Convolutional Neural Network (CNN). In this paper, a novel architecture "Concatenated BdSL Network" is proposed which consists of a CNN based image network and a pose estimation network. While the image network gets the visual features, the relative positions of hand keypoints are taken by the pose estimation network to obtain the additional features to deal with the complexity of the BdSL symbols. A score of 91.51% was achieved by this novel approach in test set and the effectiveness of the additional pose estimation network is suggested by the experimental results.


title: Derivation of the kinetic wave equation for quadratic dispersive problems in the inhomogeneous setting

abstract: We examine the validity of the kinetic description of wave turbulence for a model quadratic equation. We focus on the space-inhomogeneous case, which had not been treated earlier; the space-homogeneous case is a simple variant. We determine nonlinearities for which the kinetic description holds, or might fail, up to an arbitrarily small polynomial loss of the kinetic time scale. More precisely, we focus on the convergence of the Dyson series, which is an expansion of the solution in terms of the random data.


title: A Survey of Monte Carlo Methods for Parameter Estimation

abstract: Statistical signal processing applications usually require the estimation of some parameters of interest given a set of observed data. These estimates are typically obtained either by solving a multi-variate optimization problem, as in the maximum likelihood (ML) or maximum a posteriori (MAP) estimators, or by performing a multi-dimensional integration, as in the minimum mean squared error (MMSE) estimators. Unfortunately, analytical expressions for these estimators cannot be found in most real-world applications, and the Monte Carlo (MC) methodology is one feasible approach. MC methods proceed by drawing random samples, either from the desired distribution or from a simpler one, and using them to compute consistent estimators. The most important families of MC algorithms are Markov chain MC (MCMC) and importance sampling (IS). On the one hand, MCMC methods draw samples from a proposal density, building then an ergodic Markov chain whose stationary distribution is the desired distribution by accepting or rejecting those candidate samples as the new state of the chain. On the other hand, IS techniques draw samples from a simple proposal density, and then assign them suitable weights that measure their quality in some appropriate way. In this paper, we perform a thorough review of MC methods for the estimation of static parameters in signal processing applications. A historical note on the development of MC schemes is also provided, followed by the basic MC method and a brief description of the rejection sampling (RS) algorithm, as well as three sections describing many of the most relevant MCMC and IS algorithms, and their combined use.


title: Photo fragmentation of large dimers into singly charged ions via the knockout mechanism

abstract: We study the fragmentation of very large dimers into two singly charged ions caused by absorption of a photon. In this process a photo electron emitted from one atom of the dimer has certain chances to hit the other atom knocking out one of its electrons. This results in the production of two singly charged ions and the consequent Coulomb explosion of the residual doubly charged system. We develop a theory of this process and apply it to calculate the fragmentation of $^4$He$_2$, $^7$Li - $^4$He and $^6$Li - $^4$He dimers. Our results for the helium dimer are in good agreement with available experimental data. For the Li-He dimers (where experimental data are still absent) our results predict that this fragmentation mechanism becomes much more efficient than in the case of He$_2$. We also show that, provided the recoil effects are of minor importance, the so called reflection approximation is very accurate also for large dimers.


title: Distributional Shifts in Automated Diabetic Retinopathy Screening

abstract: Deep learning-based models are developed to automatically detect if a retina image is `referable' in diabetic retinopathy (DR) screening. However, their classification accuracy degrades as the input images distributionally shift from their training distribution. Further, even if the input is not a retina image, a standard DR classifier produces a high confident prediction that the image is `referable'. Our paper presents a Dirichlet Prior Network-based framework to address this issue. It utilizes an out-of-distribution (OOD) detector model and a DR classification model to improve generalizability by identifying OOD images. Experiments on real-world datasets indicate that the proposed framework can eliminate the unknown non-retina images and identify the distributionally shifted retina images for human intervention.


title: Graph-free Multi-hop Reading Comprehension: A Select-to-Guide Strategy

abstract: Multi-hop reading comprehension (MHRC) requires not only to predict the correct answer span in the given passage, but also to provide a chain of supporting evidences for reasoning interpretability. It is natural to model such a process into graph structure by understanding multi-hop reasoning as jumping over entity nodes, which has made graph modelling dominant on this task. Recently, there have been dissenting voices about whether graph modelling is indispensable due to the inconvenience of the graph building, however existing state-of-the-art graph-free attempts suffer from huge performance gap compared to graph-based ones. This work presents a novel graph-free alternative which firstly outperform all graph models on MHRC. In detail, we exploit a select-to-guide (S2G) strategy to accurately retrieve evidence paragraphs in a coarse-to-fine manner, incorporated with two novel attention mechanisms, which surprisingly shows conforming to the nature of multi-hop reasoning. Our graph-free model achieves significant and consistent performance gain over strong baselines and the current new state-of-the-art on the MHRC benchmark, HotpotQA, among all the published works.


title: Improved selection of extremely red quasars with boxy CIV lines in BOSS

abstract: Extremely red quasars (ERQs) are an interesting sample of quasars in the Baryon Oscillation Spectroscopic Sample (BOSS) in the redshift range of $2.0 - 3.4$ and have extreme red colours of $i-W3\ge4.6$. Core ERQs have strong CIV emission lines with rest equivalent width of $\ge100$\AA. Many core ERQs also have CIV line profiles with peculiar boxy shapes which distinguish them from normal blue quasars. We show, using a combination of kernel density estimation and local outlier factor analyses on a space of the $i-W3$ colour, CIV rest equivalent width and line kurtosis, that core ERQs likely represent a separate population rather than a smooth transition between normal blue quasars and the quasars in the tail of the colour-REW distribution. We apply our analyses to find new criteria for selecting ERQs in this 3D parameter space. Our final selection produces $133$ quasars, which are \emph{three} times more likely to have a visually verified CIV broad absorption line feature than the previous core ERQ sample. We further show that our newly selected sample are extreme objects in the intersection of the WISE AGN catalogue with the MILLIQUAS quasar catalogue in the colour-colour space of ($W1-W2$, $W2-W3$). This paper validates an improved selection method for red quasars which can be applied to future datasets such as the quasar catalogue from the Dark Energy Spectroscopic Instrument (DESI).


title: Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients

abstract: Assessing non-negativity of multivariate polynomials over the reals, through the computation of {\em certificates of non-negativity}, is a topical issue in polynomial optimization. This is usually tackled through the computation of {\em sums-of-squares decompositions} which rely on efficient numerical solvers for semi-definite programming. This method faces two difficulties. The first one is that the certificates obtained this way are {\em approximate} and then non-exact. The second one is due to the fact that not all non-negative polynomials are sums-of-squares. In this paper, we build on previous works by Parrilo, Nie, Demmel and Sturmfels who introduced certificates of non-negativity modulo {\em gradient ideals}. We prove that, actually, such certificates can be obtained {\em exactly}, over the rationals if the polynomial under consideration has rational coefficients and we provide {\em exact} algorithms to compute them. We analyze the bit complexity of these algorithms and deduce bit size bounds of such certificates.


title: Retrieving linear and nonlinear optical dispersions of matter: combined experiment-numerical ellipsometry in Silicon, Gold and Indium Tin Oxide

abstract: The predominant methods currently used to determine nonlinear optical constants like the nonlinear refractive index n2 or chi3 rely mostly on experimental, open and closed z-scan techniques and beam deflection methods. While these methods work well when the linear absorption is relatively small or negligible, the retrieval process is more complicated for a strongly scattering, dispersive or absorbing medium. The study of optics at the nanoscale in the ps or fs regimes demands the development of new theoretical tools experimental approaches, to extract and verify both linear and nonlinear optical dispersions exhibited by matter, especially when material constituents are fashioned into nanostructures of arbitrary shape. We present a practical, combined experimental and theoretical approach based on a hydrodynamic model that uses experimental results of harmonic generation conversion efficiencies to retrieve complex, nonlinear dispersion curves, not necessarily only for third order processes. We provide examples for materials that are of special interest to nanophotonics, silicon, gold, and indium tin oxide, which displays nonlocal effects and a zero-crossing of the real part of the dielectric constant. The results for silicon and gold compare well with analytical predictions based on the nonlinear oscillator model. Based on our assessment of THG conversion efficiencies in silicon, we predict chi3(w) and chi3(3w) are of order 10^(-17)(m/V)^2, in the visible and IR ranges, with respective peaks of 10^(-14) and 10^(-16)(m/V)^2 in the UV range. Similarly, gold's chi3(w) and chi3(3w) are of order 10^(-17) and 10^(-16)(m/V)^2, and predict chi3(w)~10^(-17)(m/V)^2 and chi3(3w)~10^(-18)(m/V)^2 for ITO. These results suggest that judicious exploitation of the nonlinear dispersion of ordinary semiconductors can transform device physics in spectral regions that extend well into the UV range.


title: Extended Bose-Einstein condensate dark matter in viscous Gauss-Bonnet gravity

abstract: In this paper, we study the $F(R, G)$ gravity model with an interacting model by flat-FRW metric in a viscous fluid. We consider that the universe dominates with components of dark matter and dark energy. This means that the dark matter component derives from Extended Bose-Einstein Condensate (EBEC) and the components of dark energy arise from the $F(R, G)$ gravity. After obtaining the Einstein equation, the energy density and the pressure of dark energy are written in terms of the geometries of the curvature and the Gauss-Bonnet terms, and components of dark matter and viscous fluid. Also, the corresponding continuity equations are written with the presence of interaction terms. In what follows, we employ the EBEC regime instead of the normal dark matter by the dark matter Equation of State (EoS) as $p_{dm} = \alpha \rho_{dm} + \beta \rho_{dm}^2$, which arises from the gravitational form. The EoS can be expressed from the perspective of the virial expansion, in which the first and second terms represent normal dark matter and quantum ground state. Next, the corresponding Friedmann equations reconstruct in terms of the redshift parameter, then by using the scenario of the power-law cosmology for the scale factor, we fit the present model with the Hubble amounts of 51 supernova data by the likelihood analysis. In that case, we acquire the cosmological parameters of dark energy in terms of the redshift parameter, and by plotting these graphs, we see that the universe is currently undergoing an accelerated expansion phase. Finally, we investigate the stability of the present model with the sound speed parameter.


title: Probing criticality with deep learning in relativistic heavy-ion collisions

abstract: Systems with different interactions could develop the same critical behaviour due to the underlying symmetry and universality. Using this principle of universality, we can embed critical correlations modeled on the 3D Ising model into the simulated data of heavy-ion collisions, hiding weak signals of a few inter-particle correlations within a large particle cloud. Employing a point cloud network with dynamical edge convolution, we are able to identify events with critical fluctuations through supervised learning, and pick out a large fraction of signal particles used for decision-making in each single event.


title: High-overtone fits to numerical relativity ringdowns: beyond the dismissed n=8 special tone

abstract: In general relativity, the remnant object originating from an uncharged black hole merger is a Kerr black hole. The approach to this final state is reached through the emission of a late train of radiation known as the black hole ringdown. The ringdown morphology is described by a countably infinite set of damped sinusoids, whose complex frequencies are solely determined by the final black hole's mass and spin. Recent results advocate that ringdown waveforms from numerical relativity can be fully described from the peak of the strain onwards if quasi-normal mode models with $N_{max}=7$ overtones are used. In this work we extend this analysis to models with $N_{max}\geq 7$ up to $N_{max}=16$ overtones by exploring the parameter bias on the final mass and final spin obtained by fitting the nonprecessing binary black hole simulations from the SXS catalogue. To this aim, we have computed the spin weight $-2$ quasi-normal mode frequencies and angular separation constants for the special $(l=m=2, n=8,9)$ overtones for the Kerr spacetime. We find that a total of $N_{max}\sim 6$ overtones are on average sufficient to model the ringdown starting at the peak of the strain, although about $21\%$ of the cases studied require at least $N_{max}\sim 12$ overtones to reach a comparable accuracy on the final state parameters. Considering the waveforms from an earlier or later point in time, we find that a very similar maximum accuracy can be reached in each case, occurring at a different number of overtones $N_{max}$. We provide new error estimates for the SXS waveforms based on the extrapolation and the resolution uncertainties of the gravitational wave strain. Finally, we observe substantial instabilities on the values of the best-fit amplitudes of the tones beyond the fundamental mode and the first overtone, that, nevertheless, do not impact significantly the mass and spin estimates.


title: Critical and geometric properties of magnetic polymers across the globule-coil transition

abstract: We study a lattice model of a single magnetic polymer chain, where Ising spins are located on the sites of a lattice self-avoiding walk in $d=2$. We consider the regime where both conformations and magnetic degrees of freedom are dynamic, thus the Ising model is defined on a dynamic lattice and conformations generate an annealed disorder. Using Monte Carlo simulations, we characterize the globule-coil and ferromaget-to-paramagnet transitions, which occur simultaneously at a critical value of the spin-spin coupling. We argue that the transition is continuous - in contrast to $d=3$ where it is first-order. Our results suggest that at the transition the metric exponent takes the theta-polymer value $\nu=4/7$ but the crossover exponent $\phi \approx 0.7$, which differs from the expected value for a $\theta$-polymer.


title: Edges of inter-layer synchronization in multilayer networks with time-switching links

abstract: We investigate the transition to synchronization in a two-layer network with time-switching inter-layer links. We focus on the role of the number of inter-layer links and the time-scale of topological changes. Initially, we observe a smooth transition to complete synchronization for the static inter-layer topology by increasing the number of inter-layer links. Next, for a dynamic topology with the existent inter-layer links randomly changing among identical units in the layers, we observe a significant improvement in the system synchronizability, i.e., the layers synchronize with lower inter-layer connectivity. More interestingly, we find that, for a critical switching-time, the transition to synchronization occurs abruptly as the number of inter-layer links increases. We interpret this phenomenon as the shrinking, and ultimately, the disappearance of the basin of attraction of a desynchronized network state.


title: A Holistic Analysis of Datacenter Operations: Resource Usage, Energy, and Workload Characterization -- Extended Technical Report

abstract: Improving datacenter operations is vital for the digital society. We posit that doing so requires our community to shift, from operational aspects taken in isolation to holistic analysis of datacenter resources, energy, and workloads. In turn, this shift will require new analysis methods, and open-access, FAIR datasets with fine temporal and spatial granularity. We leverage in this work one of the (rare) public datasets providing fine-grained information on datacenter operations. Using it, we show strong evidence that fine-grained information reveals new operational aspects. We then propose a method for holistic analysis of datacenter operations, providing statistical characterization of node, energy, and workload aspects. We demonstrate the benefits of our holistic analysis method by applying it to the operations of a datacenter infrastructure with over 300 nodes. Our analysis reveals both generic and ML-specific aspects, and further details how the operational behavior of the datacenter changed during the 2020 COVID-19 pandemic. We make over 30 main observations, providing holistic insight into the long-term operation of a large-scale, public scientific infrastructure. We suggest such observations can help immediately with performance engineering tasks such as predicting future datacenter load, and also long-term with the design of datacenter infrastructure.


title: Demonstrating Majorana non-Abelian properties using fast adiabatic charge-transfer

abstract: Demonstration of Majorana non-Abelian properties is a major challenge in the field of topological superconductivity. In this work, we propose a minimal device and protocol for testing non-Abelian properties using charge-transfer operations between a quantum dot and two Majorana bound states combined with reading the parity state using a second dot. We use an adiabatic perturbation theory to find fast adiabatic paths to perform operations and to account for nonadiabatic errors. We find the ideal parameter sweep and a region in parameter space which reduces the charge-transfer operation time 1-2 orders of magnitude with respect to constant velocity driving. Using realistic parameters, we estimate that the lower bound for the time scale can be reduced to $\sim10$ ns. Deviations from the ideal parameters lead to the accumulation of an undesired dynamical phase, affecting the outcome of the proposed protocol. We furthermore suggest to reduce the influence from the dynamical phase using a flux echo. The echo protocol is based on the $4\pi$-periodicity of the topological state, absent for trivial bound states.


title: Independence, infinite dimension, and operators

abstract: In [Appl. Comput. Harmon. Anal., 46(3):664-673, 2019], O. Christensen and M. Hasannasab observed that assuming the existence of an operator $T$ sending $e_n$ to $e_{n+1}$ for all $n \in \mathbb{N}$ (where $(e_n)_{n \in \mathbb{N}}$ is a sequence of vectors) guarantees that $(e_n)_{n \in \mathbb{N}}$ is linearly independent if and only if $\dim(\text{span}\{e_n\}_{n \in \mathbb{N}}) = \infty$. In this article, we recover this result as a particular case of a general order-theory-based model-theoretic result. We then return to the context of vector spaces to show that, if we want to use a condition like $T(e_i)=e_{\phi(i)}$ for all $i \in I$ where $I$ is countable as a replacement of the previous one, the conclusion will only stay true if $\phi : I \to I$ is conjugate to the successor function $succ : n \mapsto n+1$ defined on $\mathbb{N}$. We finally prove a tentative generalization of the result, where we replace the condition $T(e_i)=e_{\phi(i)}$ for all $i \in I$ where $\phi$ is conjugate to the successor function with a more sophisticated one, and to which we have not managed to find a new application yet.


title: Cough Detection from Acoustic signals for patient monitoring system

abstract: Cough is one of the most common symptoms in all respiratory diseases. In cases like Chronic Obstructive Pulmonary Disease, Asthma, acute and chronic Bronchitis and the recent pandemic Covid-19, the early identification of cough is important to provide healthcare professionals with useful clinical information such as frequency, severity, and nature of cough to enable better diagnosis. This paper presents and demonstrates best feature selection using MFCC which can help to determine cough events, eventually helping a neural network to learn and improve accuracy of cough detection. The paper proposes to achieve performance of 97.77% Sensitivity (SE), 98.75% Specificity (SP) and 98.17% F1-score with a very light binary classification network of size close to 16K parameters, enabling fitment into smart IoT devices.


title: Adaptive Identification of Legged Robotic Kinematic Structure

abstract: Model-based control usually relies on an accurate model, which is often obtained from CAD and actuator models. The more accurate the model the better the control performance. However, in bipedal robots that demonstrate high agility actions, such as running and hopping, the robot hardware will suffer from impacts with the environment and deform in vulnerable parts, which invalidates the predefined model. Thus, it is desired to have an adaptable kinematic structure that takes deformation into consideration. To account for this we propose an approach that models all of the robotic joints as 6-DOF joints and develop an algorithm that can identify the kinematic structure from motion capture data. We evaluate the algorithm's performance both in simulation - a three link pendulum, and on a bipedal robot - ATRIAS. In the simulated case the algorithm produces a result that has a 3.6% error compared to the ground truth, and on the real life bipedal robot the algorithm's result confirms our prior assumption where the joint deforms on out-of-plane degrees of freedom. In addition our algorithm is able to predict torques and forces using the reconstructed joint mode.


title: How sticky are our proteins? Quantifying hydrophobicity of the human proteome

abstract: Proteins tend to bury hydrophobic residues inside their core during the folding process to provide stability to the protein structure and to prevent aggregation. Nevertheless, proteins do expose some 'sticky' hydrophobic residues to the solvent. These residues can play an important functional role, for example in protein-protein and membrane interactions. Here, we investigate how hydrophobic protein surfaces are by providing three measures for surface hydrophobicity: the total hydrophobic surface area, the relative hydrophobic surface area, and - using our MolPatch method - the largest hydrophobic patch. Secondly, we analyse how difficult it is to predict these measures from sequence: by adapting solvent accessibility predictions from NetSurfP2.0, we obtain well-performing prediction methods for the THSA and RHSA, while predicting LHP is more difficult. Finally, we analyse implications of exposed hydrophobic surfaces: we show that hydrophobic proteins typically have low expression, suggesting cells avoid an overabundance of sticky proteins.


title: New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework

abstract: In order to design and engineer ethical and legal reasoners and responsible systems, Benzm\"{u}ller, Parent and van der Torre introduced the LogiKEy methodology, based on the semantical embedding of deontic logics into classic higher-order logic. This article considerably extends the LogiKEy deontic logics and dataset using an algebraic approach, and develops a theory of input/output operations for normative reasoning on top of Boolean algebras.


title: Differential Privacy in the Shuffle Model: A Survey of Separations

abstract: Differential privacy is often studied in one of two models. In the central model, a single analyzer has the responsibility of performing a privacy-preserving computation on data. But in the local model, each data owner ensures their own privacy. Although it removes the need to trust the analyzer, local privacy comes at a price: a locally private protocol is less accurate than a centrally private counterpart when solving many learning and estimation problems. Protocols in the shuffle model are designed to attain the best of both worlds: recent work has shown high accuracy is possible with only a mild trust assumption. This survey paper gives an overview of novel shuffle protocols, along with lower bounds that establish the limits of the new model. We also summarize work that show the promise of interactivity in the shuffle model.


title: Correlation, Linear Complexity, Maximum order Complexity on Families of binary Sequences

abstract: Correlation measure of order $k$ is an important measure of randomness in binary sequences. This measure tries to look for dependence between several shifted version of a sequence. We study the relation between the correlation measure of order $k$ and another two pseudorandom measures: the $N$th linear complexity and the $N$th maximum order complexity. We simplify and improve several state-of-the-art lower bounds for these two measures using the Hamming bound as well as weaker bounds derived from it.


title: Model Checking Algorithms for Hyperproperties

abstract: Hyperproperties generalize trace properties by expressing relations between multiple computations. Hyperpropertes include policies from information-flow security, like observational determinism or non-interference, and many other system properties including promptness and knowledge. In this paper, we give an overview on the model checking problem for temporal hyperlogics. Our starting point is the model checking algorithm for HyperLTL, a reduction to B\"uchi automata emptiness. This basic construction can be extended with propositional quantification, resulting in an algorithm for HyperQPTL. It can also be extended with branching time, resulting in an algorithm for HyperCTL*. However, it is not possible to have both extensions at the same time: the model checking problem of HyperQCTL* is undecidable. An attractive compromise is offered by MPL[E], i.e., monadic path logic extended with the equal-level predicate. The expressiveness of MPL[E] falls strictly between that of HyperCTL* and HyperQCTL*. MPL[E] subsumes both HyperCTL* and HyperKCTL*, the extension of HyperCTL* with the knowledge operator. We show that the model checking problem for MPL[E] is still decidable.


title: On homomorphisms into Weyl modules corresponding to partitions with two parts

abstract: Let $K$ be an infinite field of characteristic $p>0$ and let $\lambda, \mu$ be partitions, where $\mu$ has two parts. We find sufficient arithmetic conditions on $p, \lambda, \mu$ for the existence of a nonzero homomorphism $\Delta(\lambda) \to \Delta (\mu)$ of Weyl modules for the general linear group $GL_n(K)$. Also for each $p$ we find sufficient conditions so that the corresponding homomorphism spaces have dimension at least 2.


title: Deep Learning Explicit Differentiable Predictive Control Laws for Buildings

abstract: We present a differentiable predictive control (DPC) methodology for learning constrained control laws for unknown nonlinear systems. DPC poses an approximate solution to multiparametric programming problems emerging from explicit nonlinear model predictive control (MPC). Contrary to approximate MPC, DPC does not require supervision by an expert controller. Instead, a system dynamics model is learned from the observed system's dynamics, and the neural control law is optimized offline by leveraging the differentiable closed-loop system model. The combination of a differentiable closed-loop system and penalty methods for constraint handling of system outputs and inputs allows us to optimize the control law's parameters directly by backpropagating economic MPC loss through the learned system model. The control performance of the proposed DPC method is demonstrated in simulation using learned model of multi-zone building thermal dynamics.


title: A binary variant of gravitational search algorithm and its application to windfarm layout optimization problem

abstract: In the binary search space, GSA framework encounters the shortcomings of stagnation, diversity loss, premature convergence and high time complexity. To address these issues, a novel binary variant of GSA called `A novel neighbourhood archives embedded gravitational constant in GSA for binary search space (BNAGGSA)' is proposed in this paper. In BNAGGSA, the novel fitness-distance based social interaction strategy produces a self-adaptive step size mechanism through which the agent moves towards the optimal direction with the optimal step size, as per its current search requirement. The performance of the proposed algorithm is compared with the two binary variants of GSA over 23 well-known benchmark test problems. The experimental results and statistical analyses prove the supremacy of BNAGGSA over the compared algorithms. Furthermore, to check the applicability of the proposed algorithm in solving real-world applications, a windfarm layout optimization problem is considered. Two case studies with two different wind data sets of two different wind sites is considered for experiments.


title: On-Device Content Moderation

abstract: With the advent of internet, not safe for work(NSFW) content moderation is a major problem today. Since,smartphones are now part of daily life of billions of people,it becomes even more important to have a solution which coulddetect and suggest user about potential NSFW content present ontheir phone. In this paper we present a novel on-device solutionfor detecting NSFW images. In addition to conventional porno-graphic content moderation, we have also included semi-nudecontent moderation as it is still NSFW in a large demography.We have curated a dataset comprising of three major categories,namely nude, semi-nude and safe images. We have created anensemble of object detector and classifier for filtering of nudeand semi-nude contents. The solution provides unsafe body partannotations along with identification of semi-nude images. Weextensively tested our proposed solution on several public datasetand also on our custom dataset. The model achieves F1 scoreof 0.91 with 95% precision and 88% recall on our customNSFW16k dataset and 0.92 MAP on NPDI dataset. Moreover itachieves average 0.002 false positive rate on a collection of safeimage open datasets.


title: Large Deviations of Telecom Processes

abstract: We study large deviation properties of Telecom processes appearing as limits in a critical regime of infinite source Poisson models.


title: Low-bandwidth recovery of linear functions of Reed-Solomon-encoded data

abstract: We study the problem of efficiently computing on encoded data. More specifically, we study the question of low-bandwidth computation of functions $F:\mathbb{F}^k \to \mathbb{F}$ of some data $x \in \mathbb{F}^k$, given access to an encoding $c \in \mathbb{F}^n$ of $x$ under an error correcting code. In our model -- relevant in distributed storage, distributed computation and secret sharing -- each symbol of $c$ is held by a different party, and we aim to minimize the total amount of information downloaded from each party in order to compute $F(x)$. Special cases of this problem have arisen in several domains, and we believe that it is fruitful to study this problem in generality. Our main result is a low-bandwidth scheme to compute linear functions for Reed-Solomon codes, even in the presence of erasures. More precisely, let $\epsilon > 0$ and let $\mathcal{C}: \mathbb{F}^k \to \mathbb{F}^n$ be a full-length Reed-Solomon code of rate $1 - \epsilon$ over a field $\mathbb{F}$ with constant characteristic. For any $\gamma \in [0, \epsilon)$, our scheme can compute any linear function $F(x)$ given access to any $(1 - \gamma)$-fraction of the symbols of $\mathcal{C}(x)$, with download bandwidth $O(n/(\epsilon - \gamma))$ bits. In contrast, the naive scheme that involves reconstructing the data $x$ and then computing $F(x)$ uses $\Theta(n \log n)$ bits. Our scheme has applications in distributed storage, coded computation, and homomorphic secret sharing.


title: A note on some non-local variational problems

abstract: We study two non-local variational problems that are characterized by the presence of a Riesz-like repulsive term that competes with an attractive term. The first functional is defined on the subsets of $\mathbb{R}^N$ and has the fractional perimeter $\mathcal{P}_s$ as attractive term. The second functional instead is defined on $L^1(\mathbb{R}^N;[0,1])$ and contains an attractive term of positive-power-type. For both of the functionals we prove that balls are the unique minimizers in the appropriate volume constraint range, generalizing the results already present in the literature for more specific energies.


title: Optimal Control to Limit the Spread of COVID-19 in Italy

abstract: We apply optimal control theory to a generalized SEIR-type model. The proposed system has three controls, representing social distancing, preventive means, and treatment measures to combat the spread of the COVID-19 pandemic. We analyze such optimal control problem with respect to real data transmission in Italy. Our results show the appropriateness of the model, in particular with respect to the number of quarantined/hospitalized (confirmed and infected) and recovered individuals. Considering the Pontryagin controls, we show how in a perfect world one could have drastically diminish the number of susceptible, exposed, infected, quarantined/hospitalized, and death individuals, by increasing the population of insusceptible/protected.


title: Reliable lattice dynamics from an efficient density functional

abstract: First principles predictions of lattice dynamics are of vital importance for a broad range of topics in materials science and condensed matter physics. The large-scale nature of lattice dynamics calculations and the desire to design novel materials with distinct properties demands that first principles predictions are accurate, transferable, efficient, and reliable for a wide variety of materials. In this work, we demonstrate that the recently constructed r2SCAN density functional meets this need for general systems by demonstrating phonon dispersions for typical systems with distinct chemical characteristics. The functional's performance opens a door for phonon-mediated materials discovery from first principles calculations.


title: Transcript to Video: Efficient Clip Sequencing from Texts

abstract: Among numerous videos shared on the web, well-edited ones always attract more attention. However, it is difficult for inexperienced users to make well-edited videos because it requires professional expertise and immense manual labor. To meet the demands for non-experts, we present Transcript-to-Video -- a weakly-supervised framework that uses texts as input to automatically create video sequences from an extensive collection of shots. Specifically, we propose a Content Retrieval Module and a Temporal Coherent Module to learn visual-language representations and model shot sequencing styles, respectively. For fast inference, we introduce an efficient search strategy for real-time video clip sequencing. Quantitative results and user studies demonstrate empirically that the proposed learning framework can retrieve content-relevant shots while creating plausible video sequences in terms of style. Besides, the run-time performance analysis shows that our framework can support real-world applications.


title: Reconfigurable Intelligent Surface Phase Hopping for Ultra-Reliable Communications

abstract: We introduce a phase hopping scheme for reconfigurable intelligent surfaces (RISs) in which the phases of the individual RIS elements are randomly varied with each transmitted symbol. This effectively converts slow fading into fast fading. We show how this can be leveraged to significantly improve the outage performance especially for small outage probabilities without channel state information (CSI) at the transmitter and RIS. Furthermore, the same result can be accomplished even if only two possible phase values are available. Since we do not require perfect CSI at the transmitter or RIS, the proposed scheme has no additional communication overhead for adjusting the phases. This enables robust ultra-reliable communications with a reduced effort for channel estimation.


title: Will Multi-modal Data Improves Few-shot Learning?

abstract: Most few-shot learning models utilize only one modality of data. We would like to investigate qualitatively and quantitatively how much will the model improve if we add an extra modality (i.e. text description of the image), and how it affects the learning procedure. To achieve this goal, we propose four types of fusion method to combine the image feature and text feature. To verify the effectiveness of improvement, we test the fusion methods with two classical few-shot learning models - ProtoNet and MAML, with image feature extractors such as ConvNet and ResNet12. The attention-based fusion method works best, which improves the classification accuracy by a large margin around 30% comparing to the baseline result.


title: Majorization revisited: Comparison of norms in interpolation scales

abstract: We reformulate, modify and extend a comparison criteria of $L^{p}$ norms obtained by Nazarov-Podkorytov and place it in the general setting of interpolation theory and majorization theory. In particular, we give norm comparison criteria for general scales of interpolation spaces, including non-commutative $L^{p}$ and Lorentz spaces. As an application, we extend the classical Ball's integral inequality, which lies at the basis of his famous result on sections of the $n-$dimensional unit cube.


title: Coherence of velocity fluctuations in turbulent flows

abstract: We investigate the spatio-temporal quantity of coherence for turbulent velocity fluctuations at spatial distances of the order or larger than the integral length scale $l_{0}$. Using controlled laboratory experiments, an exponential decay as a function of distance is observed with a decay rate which depends on the flow properties. The same law is observed in two different flows indicating that it can be a generic property of turbulent flows.


title: Graph Representation Learning on Tissue-Specific Multi-Omics

abstract: Combining different modalities of data from human tissues has been critical in advancing biomedical research and personalised medical care. In this study, we leverage a graph embedding model (i.e VGAE) to perform link prediction on tissue-specific Gene-Gene Interaction (GGI) networks. Through ablation experiments, we prove that the combination of multiple biological modalities (i.e multi-omics) leads to powerful embeddings and better link prediction performances. Our evaluation shows that the integration of gene methylation profiles and RNA-sequencing data significantly improves the link prediction performance. Overall, the combination of RNA-sequencing and gene methylation data leads to a link prediction accuracy of 71% on GGI networks. By harnessing graph representation learning on multi-omics data, our work brings novel insights to the current literature on multi-omics integration in bioinformatics.


title: Improving Robot Localisation by Ignoring Visual Distraction

abstract: Attention is an important component of modern deep learning. However, less emphasis has been put on its inverse: ignoring distraction. Our daily lives require us to explicitly avoid giving attention to salient visual features that confound the task we are trying to accomplish. This visual prioritisation allows us to concentrate on important tasks while ignoring visual distractors. In this work, we introduce Neural Blindness, which gives an agent the ability to completely ignore objects or classes that are deemed distractors. More explicitly, we aim to render a neural network completely incapable of representing specific chosen classes in its latent space. In a very real sense, this makes the network "blind" to certain classes, allowing and agent to focus on what is important for a given task, and demonstrates how this can be used to improve localisation.


title: Estimation of Stationary Optimal Transport Plans

abstract: We study optimal transport for stationary stochastic processes taking values in finite spaces. In order to reflect the stationarity of the underlying processes, we restrict attention to stationary couplings, also known as joinings. The resulting optimal joining problem captures differences in the long run average behavior of the processes of interest. We introduce estimators of both optimal joinings and the optimal joining cost, and we establish consistency of the estimators under mild conditions. Furthermore, under stronger mixing assumptions we establish finite-sample error rates for the estimated optimal joining cost that extend the best known results in the iid case. Finally, we extend the consistency and rate analysis to an entropy-penalized version of the optimal joining problem.


title: Techniques for second order convergent weakly-compressible smoothed particle hydrodynamics schemes without boundaries

abstract: Despite the many advances in the use of weakly-compressible smoothed particle hydrodynamics (SPH) for the simulation of incompressible fluid flow, it is still challenging to obtain second-order convergence even for simple periodic domains. In this paper we perform a systematic numerical study of convergence and accuracy of kernel-based approximation, discretization operators, and weakly-compressible SPH (WCSPH) schemes. We explore the origins of the errors and issues preventing second-order convergence despite having a periodic domain. Based on the study, we propose several new variations of the basic WCSPH scheme that are all second-order accurate. Additionally, we investigate the linear and angular momentum conservation property of the WCSPH schemes. Our results show that one may construct accurate WCSPH schemes that demonstrate second-order convergence through a judicious choice of kernel, smoothing length, and discretization operators in the discretization of the governing equations.


title: A class of solutions of the asymmetric May-Leonard model

abstract: The asymmetric May-Leonard model is a prototypical system of 3 nonlinearly coupled first-order Ordinary Differential Equations with second-degree polynomial right-hand sides. In this short paper we identify a class of special solutions of this system which do not seem to have been previously advertised in spite of their rather elementary character.


title: Optimization of robustness based on reinforced nodes in a modular network

abstract: Many systems such as critical infrastructure exhibit a modular structure with many links within the modules and few links between them. One approach to increase the robustness of these systems is to reinforce a fraction of the nodes in each module, so that the reinforced nodes provide additional needed sources for themselves as well as for their nearby neighborhood. Since reinforcing a node can be an expensive task, the efficiency of the decentralization process by reinforced nodes is vital. In our study we analyze a new model which combines both above mentioned features of real complex systems - modularity and reinforced nodes. Using tools from percolation theory, we derived an analytical solution for any partition of reinforced nodes; between nodes which have links that connect them to other modules ("inter-nodes") and nodes which have connections only within their modules ("intra-nodes"). Among our results, we find that near the critical percolation point ($p\approx p_c$) the robustness is greatly affected by the distribution. In particular, we find a partition of reinforced nodes which yields an optimal robustness and we show that the optimal partition remains constant for high average degrees.


title: Decision-forest voting scheme for classification of rare classes in network intrusion detection

abstract: In this paper, Bayesian based aggregation of decision trees in an ensemble (decision forest) is investigated. The focus is laid on multi-class classification with number of samples significantly skewed toward one of the classes. The algorithm leverages out-of-bag datasets to estimate prediction errors of individual trees, which are then used in accordance with the Bayes rule to refine the decision of the ensemble. The algorithm takes prevalence of individual classes into account and does not require setting of any additional parameters related to class weights or decision-score thresholds. Evaluation is based on publicly available datasets as well as on an proprietary dataset comprising network traffic telemetry from hundreds of enterprise networks with over a million of users overall. The aim is to increase the detection capabilities of an operating malware detection system. While we were able to keep precision of the system higher than 94\%, that is only 6 out of 100 detections shown to the network administrator are false alarms, we were able to achieve increase of approximately 7\% in the number of detections. The algorithm effectively handles large amounts of data, and can be used in conjunction with most of the state-of-the-art algorithms used to train decision forests.


title: Non-Abelian Vector Dark Matter and Lepton $g-2$

abstract: The mystery of dark matter remains an unsettled problem of particle physics. On top of that, experiments show a persistent contention of the muon anomalous magnetic moment (AMM) relative to the Standard Model (SM) prediction. In this work, we consider the possibility of extending the SM with a non-Abelian gauge symmetry $SU(2)_X$, under which SM leptons transform non-trivially. SM leptons receive corrections to their AMMs of right order via one-loop processes mediated by beyond SM (BSM) fermions required to cancel anomalies, and BSM gauge bosons that play the role of dark matter. We show that simultaneous explanation of the the muon AMM along with reproducing correct relic abundance allows rather a narrow range of 0.5 - 2 TeV dark matter mass, consistent with current experimental constraints. However, a concurrent description that also includes electron AMM is challenging in this set-up.


title: Neural Circuit Synthesis from Specification Patterns

abstract: We train hierarchical Transformers on the task of synthesizing hardware circuits directly out of high-level logical specifications in linear-time temporal logic (LTL). The LTL synthesis problem is a well-known algorithmic challenge with a long history and an annual competition is organized to track the improvement of algorithms and tooling over time. New approaches using machine learning might open a lot of possibilities in this area, but suffer from the lack of sufficient amounts of training data. In this paper, we consider a method to generate large amounts of additional training data, i.e., pairs of specifications and circuits implementing them. We ensure that this synthetic data is sufficiently close to human-written specifications by mining common patterns from the specifications used in the synthesis competitions. We show that hierarchical Transformers trained on this synthetic data solve a significant portion of problems from the synthesis competitions, and even out-of-distribution examples from a recent case study.


title: Kolmogorov equations on spaces of measures associated to nonlinear filtering processes

abstract: We introduce and study some backward Kolmogorov equations associated to stochastic filtering problems. Measure-valued processed arise naturally in the context of stochastic filtering and one can formulate two stochastic differential equations, called Zakai and Kushner-Stratonovitch equation, that are satisfied by a positive measure and a probability measure-valued process respectively. The associated Kolmogorov equations have been intensively studied, mainly assuming that the measure-valued processes admit a density and then by exploiting stochastic calculus techniques in Hilbert spaces. Our approach differs from this since we do not assume the existence of a density and we work directly in the context of measures. We first formulate two Kolmogorov equations of parabolic type, one on a space of positive measures and one on a space of probability measures, and then we prove existence and uniqueness of classical solutions. In order to do that, we prove some intermediate results of independent interest. In particular, we prove It\^o formulas for the composition of measure-valued filtering processes and real-valued functions. Moreover we study the regularity of the solution to the filtering equations with respect to the initial datum. In order to achieve these results, proper notions of derivatives on space of positive measures have been introduced and discussed.


title: Deformations of cluster mutations and invariant presymplectic forms

abstract: We consider deformations of sequences of cluster mutations in finite type cluster algebras, which destroy the Laurent property but preserve the presymplectic structure defined by the exchange matrix. The simplest example is the Lyness 5-cycle, arising from the cluster algebra of type $A_2$: this deforms to the Lyness family of integrable symplectic maps in the plane. For types $A_3$ and $A_4$ we find suitable conditions such that the deformation produces a two-parameter family of Liouville integrable maps (in dimensions two and four, respectively). We also perform Laurentification for these maps, by lifting them to a higher-dimensional space of tau functions with a cluster algebra structure, where the Laurent property is restored. More general types of deformed mutations associated with affine Dynkin quivers are shown to correspond to four-dimensional symplectic maps arising as reductions of the discrete sine-Gordon equation.


title: CP-generic expansions of models of Peano Arithmetic

abstract: We study notions of genericity in models of $\mathsf{PA}$, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model-theoretic contexts. These papers studied the theories obtained by adding a "random" predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of $\mathsf{PA}$ which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in models of $\mathsf{PA}$ as CP-generics. We study a more natural property, called strong CP-genericity, which implies CP-genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP-generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged.