title: Task-driven Semantic Coding via Reinforcement Learning

abstract: Task-driven semantic video/image coding has drawn considerable attention with the development of intelligent media applications, such as license plate detection, face detection, and medical diagnosis, which focuses on maintaining the semantic information of videos/images. Deep neural network (DNN)-based codecs have been studied for this purpose due to their inherent end-to-end optimization mechanism. However, the traditional hybrid coding framework cannot be optimized in an end-to-end manner, which makes task-driven semantic fidelity metric unable to be automatically integrated into the rate-distortion optimization process. Therefore, it is still attractive and challenging to implement task-driven semantic coding with the traditional hybrid coding framework, which should still be widely used in practical industry for a long time. To solve this challenge, we design semantic maps for different tasks to extract the pixelwise semantic fidelity for videos/images. Instead of directly integrating the semantic fidelity metric into traditional hybrid coding framework, we implement task-driven semantic coding by implementing semantic bit allocation based on reinforcement learning (RL). We formulate the semantic bit allocation problem as a Markov decision process (MDP) and utilize one RL agent to automatically determine the quantization parameters (QPs) for different coding units (CUs) according to the task-driven semantic fidelity metric. Extensive experiments on different tasks, such as classification, detection and segmentation, have demonstrated the superior performance of our approach by achieving an average bitrate saving of 34.39% to 52.62% over the High Efficiency Video Coding (H.265/HEVC) anchor under equivalent task-related semantic fidelity.


title: Protracting the Weyl phase by a giant negative lattice expansion in Bi doped Sm$_2$Ir$_2$O$_7$

abstract: We show that the Weyl phase in $\rm Sm_2Ir_2O_7$ is protracted up to at least 2~\% alloying with Bi by an anomalous negative lattice expansion with $\rm \Delta a \sim- 0.01$\AA. With further doping, the magnetic ordering disappears and electrical resistivity decreases by orders of magnitude; the resistivity upturn remains but with $\rm 1/T$ dependence of Weyl phase changed to $\rm -lnT$ dependence characteristic of the Quadratic Band Touching (QBT). At the Weyl-QBT phase boundary, a new phase is evidenced whose resistivity scales as $\rm -T^{1/4}$ possibly due to proximity to a quantum critical point proposed several years ago [Phys. Rev. X 4, 041027 (2014)], but whose experimental evidence has remained elusive thus far.


title: Dilation of stochastic matrices by coarse graining

abstract: We consider two different ways of representing stochastic matrices by bi-stochastic ones acting on a larger probability space, referred to as ``dilation by uniform coarse graining" and ``environmental dilation". The latter is motivated by analogy to the dilation of operations in quantum theory. Both types of dilation can be viewed as special cases of a general ``dilation by coarse graining". We also discuss the entropy balance and illustrate our results, among others, by an example of a stochastic $4\times 4$-matrix, which serves as a simplified model of the conditional action of Maxwell's demon.


title: Baseline Skinning for Point Sets of Articulated Bodies

abstract: General skinning techniques aim to deform the surface of an articulated model following the pose change of a skeleton. Their rapidity makes them ideal tools for real-time animation purposes. However, popular skinning algorithms are simple, but they tend to generate undesirable geometric artefacts. In our work, we consider skeletons given in the form of sphere-mesh models controlling both the pose and morphology of the shape that is either described as a mesh or a raw point set. We propose a novel skinning method that encodes the point set details above a bundle of baselines covering the sphere-mesh. In particular, we propose a geometrical model of the baseline and detail direction evolution during bone twisting and joints bending rotations. Our approach works directly on point sets and thus preserves the accuracy of the initial sampling. It further avoids computing a weight per point or a costly explicit muscle modelling step. We evaluate our method on several articulated body point sets, showing that it creates fewer artefacts than classical methods.


title: Solving delay differential equations via Sumudu transform

abstract: A technique which is known as Sumudu Transform Method (STM) is studied for the construction of solutions of a most general form of delay differential equations of pantograph type. This is a pioneer study on using the STM to construct the solutions of delay differential equations of pantograph type with variable coefficients. We obtain the exact and approximate solutions of nonlinear problems with multiproportional delays and variable coefficients. The strength of STM is illustrated in reducing the complex computational work as compared to the well-known methods. This paper shows how to succinctly identify the Lagrange multipliers for nonlinear delay differential equations with variable coefficients, using the STM. The potency and suitability of the STM are exhibited by giving expository examples. The solutions of nonlinear Volterra integro-differential equations of pantograph type are also obtained.


title: $\mathbb{Z}/p^r$-hyperbolicity via homology

abstract: We show that the homotopy groups of a Moore space $P^n(p^r)$, where $p^r \neq 2$, are $\mathbb{Z}/p^s$-hyperbolic for $s \leq r$. Combined with work of Huang-Wu, Neisendorfer, and Theriault, this completely resolves the question of when such a Moore space is $\mathbb{Z}/p^s$-hyperbolic for $p \geq 5$, or when $p=2$ and $r \geq 6$. We also give a criterion in ordinary homology for a space to be $\mathbb{Z}/p^r$-hyperbolic, and deduce some examples.


title: Top-KAST: Top-K Always Sparse Training

abstract: Sparse neural networks are becoming increasingly important as the field seeks to improve the performance of existing models by scaling them up, while simultaneously trying to reduce power consumption and computational footprint. Unfortunately, most existing methods for inducing performant sparse models still entail the instantiation of dense parameters, or dense gradients in the backward-pass, during training. For very large models this requirement can be prohibitive. In this work we propose Top-KAST, a method that preserves constant sparsity throughout training (in both the forward and backward-passes). We demonstrate the efficacy of our approach by showing that it performs comparably to or better than previous works when training models on the established ImageNet benchmark, whilst fully maintaining sparsity. In addition to our ImageNet results, we also demonstrate our approach in the domain of language modeling where the current best performing architectures tend to have tens of billions of parameters and scaling up does not yet seem to have saturated performance. Sparse versions of these architectures can be run with significantly fewer resources, making them more widely accessible and applicable. Furthermore, in addition to being effective, our approach is straightforward and can easily be implemented in a wide range of existing machine learning frameworks with only a few additional lines of code. We therefore hope that our contribution will help enable the broader community to explore the potential held by massive models, without incurring massive computational cost.


title: Position Bias Mitigation: A Knowledge-Aware Graph Model for Emotion Cause Extraction

abstract: The Emotion Cause Extraction (ECE)} task aims to identify clauses which contain emotion-evoking information for a particular emotion expressed in text. We observe that a widely-used ECE dataset exhibits a bias that the majority of annotated cause clauses are either directly before their associated emotion clauses or are the emotion clauses themselves. Existing models for ECE tend to explore such relative position information and suffer from the dataset bias. To investigate the degree of reliance of existing ECE models on clause relative positions, we propose a novel strategy to generate adversarial examples in which the relative position information is no longer the indicative feature of cause clauses. We test the performance of existing models on such adversarial examples and observe a significant performance drop. To address the dataset bias, we propose a novel graph-based method to explicitly model the emotion triggering paths by leveraging the commonsense knowledge to enhance the semantic dependencies between a candidate clause and an emotion clause. Experimental results show that our proposed approach performs on par with the existing state-of-the-art methods on the original ECE dataset, and is more robust against adversarial attacks compared to existing models.


title: Closed-Loop Wireless Power Transfer with Adaptive Waveform and Beamforming: Design, Prototype, and Experiment

abstract: In this paper, we design, prototype, and experiment a closed-loop radiative wireless power transfer (WPT) system with adaptive waveform and beamforming using limited feedback. Spatial and frequency domains are exploited by jointly utilizing multi-sine waveform and multi-antenna beamforming at the transmitter in WPT system to adapt to the multipath fading channel and boost the output dc power. A closed-loop architecture based on a codebook design and a low complexity over-the-air limited feedback using an IEEE 802.15.4 RF interface is proposed. The codebook consists of multiple codewords where each codeword represents particular waveform and beamforming. The transmitter sweeps through the codebook and then the receiver feeds back the index of the optimal codeword, so that the waveform and beamforming can be adapted to the multipath fading channel to maximize the output dc power without requiring explicit channel estimation and the knowledge of accurate Channel State Information. The proposed closed-loop WPT with adaptive waveform and beamforming using limited feedback is prototyped using a Software Defined Radio equipment and measured in a real indoor environment. The measurement results show that the proposed closed-loop WPT with adaptive waveform and beamforming can increase the output dc power by up to 14.7 dB compared with the conventional single-tone and single-antenna WPT system.


title: Gravitational analog of Faraday rotation in the magnetized Kerr and Reissner-Nordstr\"om spacetimes

abstract: It is known that the gravitational analog of the Faraday rotation arises in the rotating spacetime due to the nonzero gravitomagnetic field. In this paper, we show that it also arises in the "nonrotating" Reissner-Nordstr\"om spacetime, if it is immersed in a uniform magnetic field. The non-zero angular momentum (due to the presence of electric charge and magnetic field) of the electromagnetic field acts as the twist potential to raise the gravitational Faraday rotation as well as the gravitational Stern-Gerlach effect in the said spacetimes. The twisting can still exist even if the mass of the spacetime vanishes. In other words, the massless charged particle(s) immersed in a uniform magnetic field are able to twist the spacetime in principle, and responsible for the rotation of the plane of polarization of light. This, in fact, could have applications in the basic physics and the analog models of gravity. Here, we also study the effect of magnetic fields in the Kerr and Reissner-Nordstr\"om spacetimes, and we derive the exact expressions for the gravitational Faraday rotation and the gravitational Stern-Gerlach effect in the magnetized Kerr and Reissner-Nordstr\"om spacetimes. Calculating the lowest order of the gravitational Faraday effect arisen due to the presence of a magnetic field, we show that the logarithm correction of the distance of the source and observer in the gravitational Faraday rotation and gravitational Stern-Gerlach effect for the said spacetimes is an important consequence of the presence of the magnetic field. From the astrophysical point of view, our result could be helpful to study the effects of (gravito)magnetic fields on the propagation of polarized photons in the strong gravity regime of the collapsed object.


title: RedditBias: A Real-World Resource for Bias Evaluation and Debiasing of Conversational Language Models

abstract: Text representation models are prone to exhibit a range of societal biases, reflecting the non-controlled and biased nature of the underlying pretraining data, which consequently leads to severe ethical issues and even bias amplification. Recent work has predominantly focused on measuring and mitigating bias in pretrained language models. Surprisingly, the landscape of bias measurements and mitigation resources and methods for conversational language models is still very scarce: it is limited to only a few types of bias, artificially constructed resources, and completely ignores the impact that debiasing methods may have on the final performance in dialog tasks, e.g., conversational response generation. In this work, we present RedditBias, the first conversational data set grounded in the actual human conversations from Reddit, allowing for bias measurement and mitigation across four important bias dimensions: gender, race, religion, and queerness. Further, we develop an evaluation framework which simultaneously 1) measures bias on the developed RedditBias resource, and 2) evaluates model capability in dialog tasks after model debiasing. We use the evaluation framework to benchmark the widely used conversational DialoGPT model along with the adaptations of four debiasing methods. Our results indicate that DialoGPT is biased with respect to religious groups and that some debiasing techniques can remove this bias while preserving downstream task performance.


title: Twisted kink dynamics in multiflavor chiral Gross-Neveu model

abstract: The Gross-Neveu model with ${\rm U}_L(N_f)\times{\rm U}_R(N_f)$ chiral symmetry is reconsidered in the large $N_c$ limit. The known analytical solution for the time dependent interaction of any number of twisted kinks and breathers is cast into a more revealing form. The ($x,t$)-dependent factors are isolated from constant coefficients and twist matrices. These latter generalize the twist phases of the single flavor model. The crucial tool is an identity for the inverse of a sum of two square matrices, derived from the known formula for the determinant of such a sum.


title: A stylised view on structural and functional connectivity in dynamical processes in networks

abstract: The relationship of network structure and dynamics is one of most extensively investigated problems in the theory of complex systems of the last years. Understanding this relationship is of relevance to a range of disciplines -- from Neuroscience to Geomorphology. A major strategy of investigating this relationship is the quantitative comparison of a representation of network architecture (structural connectivity) with a (network) representation of the dynamics (functional connectivity). Analysing such SC/FC relationships has over the past years contributed substantially to our understanding of the functional role of network properties, such as modularity, hierarchical organization, hubs and cycles. Here, we show that one can distinguish two classes of functional connectivity -- one based on simultaneous activity (co-activity) of nodes the other based on sequential activity of nodes. We delineate these two classes in different categories of dynamical processes -- excitations, regular and chaotic oscillators -- and provide examples for SC/FC correlations of both classes in each of these models. We expand the theoretical view of the SC/FC relationships, with conceptual instances of the SC and the two classes of FC for various application scenarios in Geomorphology, Freshwater Ecology, Systems Biology, Neuroscience and Social-Ecological Systems. Seeing the organization of a dynamical processes in a network either as governed by co-activity or by sequential activity allows us to bring some order in the myriad of observations relating structure and function of complex networks.


title: Theoretically Better and Numerically Faster Distributed Optimization with Smoothness-Aware Quantization Techniques

abstract: To address the high communication costs of distributed machine learning, a large body of work has been devoted in recent years to designing various compression strategies, such as sparsification and quantization, and optimization algorithms capable of using them. Recently, Safaryan et al. (2021) pioneered a dramatically different compression design approach: they first use the local training data to form local smoothness matrices and then propose to design a compressor capable of exploiting the smoothness information contained therein. While this novel approach leads to substantial savings in communication, it is limited to sparsification as it crucially depends on the linearity of the compression operator. In this work, we generalize their smoothness-aware compression strategy to arbitrary unbiased compression operators, which also include sparsification. Specializing our results to stochastic quantization, we guarantee significant savings in communication complexity compared to standard quantization. In particular, we prove that block quantization with $n$ blocks theoretically outperforms single block quantization, leading to a reduction in communication complexity by an $\mathcal{O}(n)$ factor, where $n$ is the number of nodes in the distributed system. Finally, we provide extensive numerical evidence with convex optimization problems that our smoothness-aware quantization strategies outperform existing quantization schemes as well as the aforementioned smoothness-aware sparsification strategies with respect to three evaluation metrics: the number of iterations, the total amount of bits communicated, and wall-clock time.


title: Sturm-Liouville-type operators with frozen argument and Chebyshev polynomials

abstract: The paper deals with Sturm-Liouville-type operators with frozen argument of the form $\ell y:=-y''(x)+q(x)y(a),$ $y^{(\alpha)}(0)=y^{(\beta)}(1)=0,$ where $\alpha,\beta\in\{0,1\}$ and $a\in[0,1]$ is an arbitrary fixed rational number. Such nonlocal operators belong to the so-called loaded differential operators, which often appear in mathematical physics. We focus on the inverse problem of recovering the potential $q(x)$ from the spectrum of the operator $\ell.$ Our goal is two-fold. Firstly, we establish a deep connection between the so-called main equation of this inverse problem and Chebyshev polynomials of the first and the second kinds. This connection gives a new perspective method for solving the inverse problem. In particular, it allows one to completely describe all non-degenerate and degenerate cases, i.e. when the solution of the inverse problem is unique or not, respectively. Secondly, we give a complete and convenient description of iso-spectral potentials in the space of complex-valued integrable functions.


title: Tailoring porous media for controllable capillary flow

abstract: Hypothesis Control of capillary flow through porous media has broad practical implications. However, achieving accurate and reliable control of such processes by tuning the pore size or by modification of interface wettability remains challenging. Here we propose that the flow of liquid by capillary penetration can be accurately adjusted by tuning the geometry of porous media and develop numerical method to achieve this. Methodologies On the basis of Darcys law, a general framework is proposed to facilitate the control of capillary flow in porous systems by tailoring the geometric shape of porous structures. A numerical simulation approach based on finite element method is also employed to validate the theoretical prediction. Findings A basic capillary component with a tunable velocity gradient is designed according to the proposed framework. By using the basic component, two functional capillary elements, namely, (i) flow amplifier and (ii) flow resistor, are demonstrated. Then, multi functional fluidic devices with controllable capillary flow are realized by integrating the designed capillary elements. All the theoretical designs are validated by numerical simulations. Finally, it is shown that the proposed model can be extended to three dimensional designs of porous media


title: Multi-Exit Semantic Segmentation Networks

abstract: Semantic segmentation arises as the backbone of many vision systems, spanning from self-driving cars and robot navigation to augmented reality and teleconferencing. Frequently operating under stringent latency constraints within a limited resource envelope, optimising for efficient execution becomes important. At the same time, the heterogeneous capabilities of the target platforms and the diverse constraints of different applications require the design and training of multiple target-specific segmentation models, leading to excessive maintenance costs. To this end, we propose a framework for converting state-of-the-art segmentation CNNs to Multi-Exit Semantic Segmentation (MESS) networks: specially trained models that employ parametrised early exits along their depth to i) dynamically save computation during inference on easier samples and ii) save training and maintenance cost by offering a post-training customisable speed-accuracy trade-off. Designing and training such networks naively can hurt performance. Thus, we propose a novel two-staged training scheme for multi-exit networks. Furthermore, the parametrisation of MESS enables co-optimising the number, placement and architecture of the attached segmentation heads along with the exit policy, upon deployment via exhaustive search in <1 GPUh. This allows MESS to rapidly adapt to the device capabilities and application requirements for each target use-case, offering a train-once-deploy-everywhere solution. MESS variants achieve latency gains of up to 2.83x with the same accuracy, or 5.33 pp higher accuracy for the same computational budget, compared to the original backbone network. Lastly, MESS delivers orders of magnitude faster architectural customisation, compared to state-of-the-art techniques.


title: Squeezing the Axion

abstract: We apply the squeezed state formalism to scalar field dark matter (e.g. axion) perturbations generated during inflation. As for the inflationary perturbations, the scalar field state becomes highly squeezed as modes exit the horizon. For as long as $H>m_\phi$ (with $H$ the Hubble rate and $m_\phi$ the scalar mass) the scalar field field does not interact during reheating, and we follow its evolution exactly as modes re-enter the horizon. We find that the quantum state remains squeezed after horizon re-entry during the hot big bang. This demonstrates a fact well-known in the theory of inflation: cosmological observables for scalar dark matter are accurately modelled by a classical stochastic field with a fixed phase. Our calculation covers all modes smaller than the present-day cosmic de Broglie wavelength. Larger scale modes mix gravitationally with the environment when $H<m_\phi$, and are thus expected to decohere.


title: A priori bounds for GIETs, affine shadows and rigidity of foliations in genus 2

abstract: We prove a rigidity result for foliations on surfaces of genus two, which can be seen as a generalization to higher genus of Herman's theorem on circle diffeomorphisms and, correspondingly, flows on the torus. We prove in particular that, if a smooth, orientable foliation with non-degenerate (Morse) singularities on a closed surface of genus two is minimal, then, under a full measure condition for the rotation number, it is differentiably conjugate to a linear foliation. The corresponding result at the level of Poincar\'e sections is that, for a full measure set of interval exchange transformations with 4 or 5 continuity intervals and irreducible combinatorics, any generalized interval exchange transformation which is topologically conjugate to a IET from this set and satisfies an obstruction given by a boundary operator is $\mathcal{C}^1$-conjugate to it. This in particular settles a conjecture by Marmi, Moussa and Yoccoz in genus two. Our results also show that this conjecture on the rigidity of GIETs can be reduced to the study of affine IETs, or more precisely of Birkhoff sums of piecewise constant observables over standard IETs, in genus $g \geq 3$. Our approach is via renormalization, namely we exploit a suitable Oseledets regular acceleration of the Rauzy-Veech induction on the space of GIETs. For infinitely renormalizable, irrational GIETs of any number of intervals $d\geq 2$ we prove a dynamical dichotomy on the behaviour of the orbits under renormalization, by proving that either an orbit is recurrent to certain bounded sets in the space of GIETs, or it diverges and it is approximated (up to lower order terms) by the orbit of an affine IET (a case that we refer to as affine shadowing).


title: CAiRE in DialDoc21: Data Augmentation for Information-Seeking Dialogue System

abstract: Information-seeking dialogue systems, including knowledge identification and response generation, aim to respond to users with fluent, coherent, and informative responses based on users' needs, which. To tackle this challenge, we utilize data augmentation methods and several training techniques with the pre-trained language models to learn a general pattern of the task and thus achieve promising performance. In DialDoc21 competition, our system achieved 74.95 F1 score and 60.74 Exact Match score in subtask 1, and 37.72 SacreBLEU score in subtask 2. Empirical analysis is provided to explain the effectiveness of our approaches.


title: Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules

abstract: A graph $G$ is called interval colorable if it has a proper edge coloring with colors $1,2,3,\dots$ such that the colors of the edges incident to every vertex of $G$ form an interval of integers. Not all graphs are interval colorable; in fact, quite few families have been proved to admit interval colorings. In this paper we introduce and investigate a new notion, the interval coloring thickness of a graph $G$, denoted ${\theta_{\mathrm{int}}}(G)$, which is the minimum number of interval colorable edge-disjoint subgraphs of $G$ whose union is $G$. Our investigation is motivated by scheduling problems with compactness requirements, in particular, problems whose solution may consist of several schedules, but where each schedule must not contain any waiting periods or idle times for all involved parties. We first prove that every connected properly $3$-edge colorable graph with maximum degree $3$ is interval colorable, and using this result, we deduce an upper bound on ${\theta_{\mathrm{int}}}(G)$ for general graphs $G$. We demonstrate that this upper bound can be improved in the case when $G$ is bipartite, planar or complete multipartite and consider some applications in timetabling.


title: SizeFlags: Reducing Size and Fit Related Returns in Fashion E-Commerce

abstract: E-commerce is growing at an unprecedented rate and the fashion industry has recently witnessed a noticeable shift in customers' order behaviour towards stronger online shopping. However, fashion articles ordered online do not always find their way to a customer's wardrobe. In fact, a large share of them end up being returned. Finding clothes that fit online is very challenging and accounts for one of the main drivers of increased return rates in fashion e-commerce. Size and fit related returns severely impact 1. the customers experience and their dissatisfaction with online shopping, 2. the environment through an increased carbon footprint, and 3. the profitability of online fashion platforms. Due to poor fit, customers often end up returning articles that they like but do not fit them, which they have to re-order in a different size. To tackle this issue we introduce SizeFlags, a probabilistic Bayesian model based on weakly annotated large-scale data from customers. Leveraging the advantages of the Bayesian framework, we extend our model to successfully integrate rich priors from human experts feedback and computer vision intelligence. Through extensive experimentation, large-scale A/B testing and continuous evaluation of the model in production, we demonstrate the strong impact of the proposed approach in robustly reducing size-related returns in online fashion over 14 countries.


title: Modeling Nonstationary Time Series using Locally Stationary Basis Processes

abstract: Methods of estimation and forecasting for stationary models are well known in classical time series analysis. However, stationarity is an idealization which, in practice, can at best hold as an approximation, but for many time series may be an unrealistic assumption. We define a class of locally stationary processes which can lead to more accurate uncertainty quantification over making an invalid assumption of stationarity. This class of processes assumes the model parameters to be time-varying and parameterizes them in terms of a transformation of basis functions that ensures that the processes are locally stationary. We develop methods and theory for parameter estimation in this class of models, and propose a test that allow us to examine certain departures from stationarity. We assess our methods using simulation studies and apply these techniques to the analysis of an electroencephalogram time series.


title: The Mu3e experiment: Toward the construction of an HV-MAPS vertex detector

abstract: The Mu3e experiment searches for the lepton flavor violating decay $\mu^+~\rightarrow~e^+~e^+~e^-$ with an ultimate aimed sensitivity of 1 event in $10^{16}$ decays. This goal can only be achieved by reducing the material budget per tracking layer to $X/X_0 \approx 0.1 \%$. High-Voltage Monolithic Active Pixel Sensors (HV-MAPS) which are thinned to $50\ \mu m$ serve as sensors. Gaseous helium is chosen as coolant. Results of recent studies related to the sensor prototypes, the helium cooling, and module prototyping are presented. The recent chip submission MuPix10 has proven its functionality regarding efficiency and time resolution. The helium cooling system for the inner tracker could be verified using a full-scale prototype. A complete prototype equipped with MuPix10 chips will be tested inside the Mu3e magnet in summer 2021.


title: Graph Neural Networks in Network Neuroscience

abstract: Noninvasive medical neuroimaging has yielded many discoveries about the brain connectivity. Several substantial techniques mapping morphological, structural and functional brain connectivities were developed to create a comprehensive road map of neuronal activities in the human brain -namely brain graph. Relying on its non-Euclidean data type, graph neural network (GNN) provides a clever way of learning the deep graph structure and it is rapidly becoming the state-of-the-art leading to enhanced performance in various network neuroscience tasks. Here we review current GNN-based methods, highlighting the ways that they have been used in several applications related to brain graphs such as missing brain graph synthesis and disease classification. We conclude by charting a path toward a better application of GNN models in network neuroscience field for neurological disorder diagnosis and population graph integration. The list of papers cited in our work is available at https://github.com/basiralab/GNNs-in-Network-Neuroscience.


title: Performance assessment of Synchronous Condensers vs Voltage Source Converters providing grid-forming functions

abstract: Having sufficient grid-forming sources is one of the necessary conditions to guarantee the stability in a power system hosting a very large share of inverter-based generation. The grid-forming function has been historically fulfilled by synchronous machines. However, with the appropriate control, it can also be provided by voltage source converters (VSC). This work presents a comparison between two technologies with grid-forming capability: the VSC with a grid-forming control coupled with an adequate energy storage system, and the synchronous condensers (SC). Both devices are compared regarding their inertial response, as well as their contribution to the system strength and short-circuit current for an equivalent capacity expressed in terms of apparent power and inertial reserve. Their behaviour following grid disturbances is assessed through time-domain simulations based on detailed electromagnetic transient (EMT) models. The results show that both devices achieve similar performance in the time-scale of seconds. For shorter time-windows, however, they present a different behavior: the SC ensures a better stiffness in the first tens of ms following the disturbance, while the VSC offers a faster resynchronization.


title: Systematic study of the Chiral Magnetic Effect with the AVFD model at LHC energies

abstract: We present a systematic study of the correlators used experimentally to probe the Chiral Magnetic Effect (CME) using the Anomalous Viscous Fluid Dynamics (AVFD) model in Pb--Pb and Xe--Xe collisions at LHC energies. We find a parametrization that describes the dependence of these correlators on the value of the axial current density ($n_5/\mathrm{s}$), which dictates the CME signal, and on the parameter that governs the background in these measurements i.e., the percentage of local charge conservation (LCC) within an event. This allows to deduce the values of $n_5/\mathrm{s}$ and the LCC percentage that provide a quantitative description of the centrality dependence of the experimental measurements. We find that the results in Xe--Xe collisions at $\sqrt{s_{\mathrm{NN}}} = 5.44$~TeV are consistent with a background only scenario. On the other hand, the model needs a significant non-zero value of $n_5/\mathrm{s}$ to match the measurements in Pb--Pb collisions at $\sqrt{s_{\mathrm{NN}}} = 5.02$~TeV.


title: End-to-end reconstruction meets data-driven regularization for inverse problems

abstract: We propose an unsupervised approach for learning end-to-end reconstruction operators for ill-posed inverse problems. The proposed method combines the classical variational framework with iterative unrolling, which essentially seeks to minimize a weighted combination of the expected distortion in the measurement space and the Wasserstein-1 distance between the distributions of the reconstruction and ground-truth. More specifically, the regularizer in the variational setting is parametrized by a deep neural network and learned simultaneously with the unrolled reconstruction operator. The variational problem is then initialized with the reconstruction of the unrolled operator and solved iteratively till convergence. Notably, it takes significantly fewer iterations to converge, thanks to the excellent initialization obtained via the unrolled operator. The resulting approach combines the computational efficiency of end-to-end unrolled reconstruction with the well-posedness and noise-stability guarantees of the variational setting. Moreover, we demonstrate with the example of X-ray computed tomography (CT) that our approach outperforms state-of-the-art unsupervised methods, and that it outperforms or is on par with state-of-the-art supervised learned reconstruction approaches.


title: How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too

abstract: Petri nets have found widespread use among many application domains, not least due to their human-friendly graphical syntax for the composition of interacting distributed and asynchronous processes and services, based in partial-order dependencies and concurrent executions. Petri nets also come with abstract semantics, and mathematical methods for compositional synthesis, structural checks and behavioural analysis. These have led to the use of various kinds of nets for real-time, distributed and parallel programming languages, software and services systems, with a view to their interfaces and interaction protocols. These affordances make Petri nets invaluable for distributed software architecture approaches focused on components, their mutual dependencies and environment-facing interactions. Quantum computing -- and in particular quantum software engineering -- is in its infancy and could benefit from the accumulated insights of software architecture research and of net theory, its methods, and its applications. In this paper, we establish a connection between Petri nets and quantum systems, such that net theory and the component architecture of nets may help in the synthesis and analysis of abstract software models and their interface protocols in hybrid classical-and-quantum programming languages and services systems. We leverage some insights from net formalisms for software specification for a versatile recipe to bake quantum into extant Petri net flavours, and prove universality and compositionality of Petri nets for quantum programming.


title: Explicit numerical approximation for logistic models with regime switching in finite and infinite horizons

abstract: The stochastic logistic model with regime switching is an important model in the ecosystem. While analytic solution to this model is positive, current numerical methods are unable to preserve such boundaries in the approximation. So, proposing appropriate numerical method for solving this model which preserves positivity and dynamical behaviors of the model's solution is very important. In this paper, we present a positivity preserving truncated Euler-Maruyama scheme for this model, which taking advantages of being explicit and easily implementable. Without additional restriction conditions, strong convergence of the numerical algorithm is studied, and 1/2 order convergence rate is obtained. In the particular case of this model without switching the first order strong convergence rate is obtained. Furthermore, the approximation of long-time dynamical properties is realized, including the stochastic permanence, extinctive and stability in distribution. Some simulations and examples are provided to confirm the theoretical results and demonstrate the validity of the approach.


title: Multi-agent Battery Storage Management using MPC-based Reinforcement Learning

abstract: In this paper, we present the use of Model Predictive Control (MPC) based on Reinforcement Learning (RL) to find the optimal policy for a multi-agent battery storage system. A time-varying prediction of the power price and production-demand uncertainty are considered. We focus on optimizing an economic objective cost while avoiding very low or very high state of charge, which can damage the battery. We consider the bounded power provided by the main grid and the constraints on the power input and state of each agent. A parametrized MPC-scheme is used as a function approximator for the deterministic policy gradient method and RL optimizes the closed-loop performance by updating the parameters. Simulation results demonstrate that the proposed method is able to tackle the constraints and deliver the optimal policy.


title: How Tight Can PAC-Bayes be in the Small Data Regime?

abstract: In this paper, we investigate the question: Given a small number of datapoints, for example N = 30, how tight can PAC-Bayes and test set bounds be made? For such small datasets, test set bounds adversely affect generalisation performance by withholding data from the training procedure. In this setting, PAC-Bayes bounds are especially attractive, due to their ability to use all the data to simultaneously learn a posterior and bound its generalisation risk. We focus on the case of i.i.d. data with a bounded loss and consider the generic PAC-Bayes theorem of Germain et al. While their theorem is known to recover many existing PAC-Bayes bounds, it is unclear what the tightest bound derivable from their framework is. For a fixed learning algorithm and dataset, we show that the tightest possible bound coincides with a bound considered by Catoni; and, in the more natural case of distributions over datasets, we establish a lower bound on the best bound achievable in expectation. Interestingly, this lower bound recovers the Chernoff test set bound if the posterior is equal to the prior. Moreover, to illustrate how tight these bounds can be, we study synthetic one-dimensional classification tasks in which it is feasible to meta-learn both the prior and the form of the bound to numerically optimise for the tightest bounds possible. We find that in this simple, controlled scenario, PAC-Bayes bounds are competitive with comparable, commonly used Chernoff test set bounds. However, the sharpest test set bounds still lead to better guarantees on the generalisation error than the PAC-Bayes bounds we consider.


title: Quasistatic limit of a dynamic viscoelastic model with memory

abstract: We study the behaviour of the solutions to a dynamic evolution problem for a viscoelastic model with long memory, when the rate of change of the data tends to zero. We prove that a suitably rescaled version of the solutions converges to the solution of the corresponding stationary problem.


title: Time-resolved observation of a dynamical phase transition of atoms in a cavity

abstract: The transparence of a laser-driven optical resonator containing an ensemble of cold atoms can have two distinct, robust states. Atoms in their initially prepared pure state blockade the transmission by detuning the cavity mode from the laser drive. The interacting system can, however, transition into an uncoupled state via a non-linear channel opening up in a critical run-away process toward a transparent bright phase. The experiment enables a time-resolved observation of the dynamical transmission blockade breakdown phase transition as well as quantification of enhanced fluctuations in the critical region.


title: An Improved Approximation Algorithm for the Maximum Weight Independent Set Problem in d-Claw Free Graphs

abstract: In this paper, we consider the task of computing an independent set of maximum weight in a given $d$-claw free graph $G=(V,E)$ equipped with a positive weight function $w:V\rightarrow\mathbb{R}^+$. In doing so, $d\geq 2$ is considered a constant. The previously best known approximation algorithm for this problem is the local improvement algorithm SquareImp proposed by Berman. It achieves a performance ratio of $\frac{d}{2}+\epsilon$ in time $\mathcal{O}(|V(G)|^{d+1}\cdot(|V(G)|+|E(G)|)\cdot (d-1)^2\cdot \left(\frac{d}{2\epsilon}+1\right)^2)$ for any $\epsilon>0$, which has remained unimproved for the last twenty years. By considering a broader class of local improvements, we obtain an approximation ratio of $\frac{d}{2}-\frac{1}{63,700,992}+\epsilon$ for any $\epsilon>0$ at the cost of an additional factor of $\mathcal{O}(|V(G)|^{(d-1)^2})$ in the running time. In particular, our result implies a polynomial time $\frac{d}{2}$-approximation algorithm. Furthermore, the well-known reduction from the weighted $k$-Set Packing Problem to the Maximum Weight Independent Set Problem in $k+1$-claw free graphs provides a $\frac{k+1}{2}-\frac{1}{63,700,992}+\epsilon$-approximation algorithm for the weighted $k$-Set Packing Problem for any $\epsilon>0$. This improves on the previously best known approximation guarantee of $\frac{k+1}{2}+\epsilon$ originating from the result of Berman.


title: On Learning to Rank Long Sequences with Contextual Bandits

abstract: Motivated by problems of learning to rank long item sequences, we introduce a variant of the cascading bandit model that considers flexible length sequences with varying rewards and losses. We formulate two generative models for this problem within the generalized linear setting, and design and analyze upper confidence algorithms for it. Our analysis delivers tight regret bounds which, when specialized to vanilla cascading bandits, results in sharper guarantees than previously available in the literature. We evaluate our algorithms on a number of real-world datasets, and show significantly improved empirical performance as compared to known cascading bandit baselines.


title: Decomposition of the mean friction drag on a NACA4412 airfoil under uniform blowing/suction

abstract: The application of drag-control strategies on canonical wall-bounded turbulence, such as periodic channel and zero- or adverse-pressure-gradient boundary layers, raises the question of how to describe control effects consistently for different reference cases. We employ the RD identity (Renard & Deck, J. Fluid Mech., 790, 2016, pp. 339-367) to decompose the mean friction drag and investigate the control effects of uniform blowing and suction applied to a NACA4412 airfoil at chord Reynolds numbers Re_c=200,000 and 400,000. The connection of the drag reduction/increase by using blowing/suction with the turbulence statistics (including viscous dissipation, turbulence-kinetic-energy production, and spatial growth of the flow) across the boundary layer, subjected to adverse or favorable pressure gradients, are examined. We found that the peaks of the statistics associated with the friction-drag generation exhibit good scaling in either inner or outer units throughout the boundary layer. They are also independent of the Reynolds number, control scheme, and intensity of the blowing/suction. The small- and large-scale structures are separated with an adaptive scale-decomposition method, i.e. empirical mode decomposition (EMD), aiming to analyze the scale-specific contribution of turbulent motions to friction-drag generation. Results unveil that blowing on the suction side of the airfoil is able to enhance the contribution of large-scale motions and to suppress that of small-scales; on the other hand, suction behaves contrarily. The contributions related to cross-scale interactions remain almost unchanged with different control strategies.


title: Auction-based and Distributed Optimization Approaches for Scheduling Observations in Satellite Constellations with Exclusive Orbit Portions

abstract: We investigate the use of multi-agent allocation techniques on problems related to Earth observation scenarios with multiple users and satellites. We focus on the problem of coordinating users having reserved exclusive orbit portions and one central planner having several requests that may use some intervals of these exclusives. We define this problem as Earth Observation Satellite Constellation Scheduling Problem (EOSCSP) and map it to a Mixed Integer Linear Program. As to solve EOSCSP, we propose market-based techniques and a distributed problem solving technique based on Distributed Constraint Optimization (DCOP), where agents cooperate to allocate requests without sharing their own schedules. These contributions are experimentally evaluated on randomly generated EOSCSP instances based on real large-scale or highly conflicting observation order books.


title: QCD surprises: strong CP problem, neutrino mass, Dark Matter and Dark Energy

abstract: An unexpected explanation for neutrino mass, Dark Matter (DM) and Dark Energy (DE) from genuine Quantum Chromodynamics (QCD) of the Standard Model (SM) is proposed here, while the strong CP problem is resolved without any need to account for fundamental axions. We suggest that the neutrino sector can be in a double phase in the Universe: i) relativistic neutrinos, belonging to the SM; ii) non-relativistic condensate of Majorana neutrinos. The condensate of neutrinos can provide an attractive alternative candidate for the DM, being in a cold coherent state. We will explain how neutrinos, combining into Cooper pairs, can form collective low-energy degrees of freedom, hence providing a strongly motivated candidate for the QCD (composite) axion.


title: A combinatorial theorem of Schur implies infinitude of primes

abstract: Comments about the paper by Elsholz, Fermat's last theorem implies Euclid's infinitude of primes, (2021), and simplification.


title: Double integral of logarithm and exponential function expressed in terms of the Lerch function

abstract: In this work the authors use their contour integral method to derive a double integral connected to the modified Bessel function of the second kind and express it in terms of the Lerch function. There are some useful results relating double integrals of certain kinds of functions to ordinary integrals for which we know no general reference. Thus a table of integral pairs is given for interested readers. The majority of the results in this work are new.


title: Effectiveness of strong openness property in $L^p$

abstract: In this article, we obtain an effectiveness result of strong openness property in $L^p$ with some applications.


title: Playing with words: Do people exploit loaded language to affect others' decisions for their own benefit?

abstract: We report on three pre-registered studies testing whether people in the position of describing a decision problem to decision-makers exploit this opportunity for their benefit, by choosing descriptions that may be potentially beneficial for themselves. In Study 1, recipients of an extreme dictator game (where dictators can either take the whole pie for themselves or give it entirely to the receiver) are asked to choose the instructions used to introduce the game to dictators, among six different instructions that are known from previous research to affect dictators' decisions. The results demonstrate that some dictator game recipients tend to choose instructions that make them more likely to receive a higher payoff. Study 2 shows that people who choose descriptions that make them more likely to receive a higher payoff indeed believe that they will receive a higher payoff. Study 3 shows that receivers are more likely than dictators to choose these descriptions. In sum, our work suggests that some people choose descriptions that are beneficial to themselves; we also found some evidence that deliberative thinking and young age are associated with this tendency.


title: Free-Choice Nets With Home Clusters Are Lucent

abstract: A marked Petri net is lucent if there are no two different reachable markings enabling the same set of transitions, i.e., states are fully characterized by the transitions they enable. Characterizing the class of systems that are lucent is a foundational and also challenging question. However, little research has been done on the topic. In this paper, it is shown that all free-choice nets having a home cluster are lucent. These nets have a so-called home marking such that it is always possible to reach this marking again. Such a home marking can serve as a regeneration point or as an end-point. The result is highly relevant because in many applications, we want the system to be lucent and many well-behaved process models fall into the class identified in this paper. Unlike previous work, we do not require the marked Petri net to be live and strongly connected. Most of the analysis techniques for free-choice nets are tailored towards well-formed nets. The approach presented in this paper provides a novel perspective enabling new analysis techniques for free-choice nets that do not need to be well-formed. Therefore, we can also model systems and processes that are terminating and/or have an initialization phase.


title: The Limits of Local Search for the Maximum Weight Independent Set Problem in d-Claw Free Graphs

abstract: We consider the Maximum Weight Independent Set Problem (MWIS) in $d$-claw free graphs, i.e. the task of computing an independent set of maximum weight in a given $d$-claw free graph $G=(V,E)$ equipped with a positive weight function $w:V\rightarrow\mathbb{R}_{>0}$. For $k\geq 1$, the MWIS in $k+1$-claw free graphs generalizes the weighted $k$-Set Packing Problem. Given that for $k\geq 3$, this problem does not permit a polynomial time $o(\frac{k}{\log k})$-approximation unless $P=NP$, most previous algorithms for both weighted $k$-Set Packing and the MWIS in $d$-claw free graphs rely on local search. For the last twenty years, Berman's algorithm SquareImp, which yields a $\frac{d}{2}+\epsilon$-approximation for the MWIS in $d$-claw free graphs, has remained unchallenged for both problems. Recently, it was improved by Neuwohner, obtaining an approximation guarantee slightly below $\frac{d}{2}$, and inevitably raising the question of how far one can get by using local search. In this paper, we finally answer this question asymptotically in the following sense: By considering local improvements of logarithmic size, we obtain approximation ratios of $\frac{d-1+\epsilon_d}{2}$ for the MWIS in $d$-claw free graphs for $d\geq 3$ in quasi-polynomial time, where $0\leq \epsilon_d\leq 1$ and $\lim_{d\rightarrow\infty}\epsilon_d = 0$. By employing the color coding technique, we can use the previous result to obtain a polynomial time $\frac{k+\epsilon_{k+1}}{2}$-approximation for weighted $k$-Set Packing. On the other hand, we provide examples showing that no local improvement algorithm considering local improvements of size $\mathcal{O}(\log(|\mathcal{S}|))$ with respect to some power $w^\alpha$ of the weight function, where $\alpha\in\mathbb{R}$ is chosen arbitrarily, but fixed, can yield an approximation guarantee better than $\frac{k}{2}$ for the weighted $k$-Set Packing Problem with $k\geq 3$.


title: Changes in granulation scales over the solar cycle seen with SDO/HMI and Hinode/SOT

abstract: The Sun is the only star where the superficial turbulent convection can be observed at very high spatial resolution. The Solar Dynamics Observatory (SDO) has continuously observed the full Sun from space with multi-wavelength filters since July 2010. In particular, the Helioseismic and Magnetic Imager (HMI) instrument takes high-cadence frames (45 seconds) of continuum intensity in which solar granulation is visible. We aimed to follow the evolution of the solar granules over an activity cycle and look for changes in their spatial properties. We investigated the density of granules and their mean area derived directly from the segmentation of deconvolved images from SDO/HMI. To perform the segmentation, we define granules as convex elements of images. We measured an approximately 2% variation in the density and the mean area of granules over the cycle, the density of granules being greater at solar maximum with a smaller granule mean area. The maximum density appears to be delayed by about one year compared to classical activity indicators, such as the sunspot number. We complemented this study with high-spatial-resolution observations obtained with Hinode/SOTBFI (Solar Optical Telescope Broadband Filter Imager), which are consistent with our results. The observed variations in solar granulation at the disc centre reveal a direct insight into the change in the physical properties that occur in the upper convective zone during a solar cycle. These variations can be due to interactions between convection and magnetic fields, either at the global scale or, locally, at the granulation scale.


title: Arrangements of orthogonal circles with many intersections

abstract: An arrangement of circles in which circles intersect only in angles of $\pi/2$ is called an \emph{arrangement of orthogonal circles}. We show that in the case that no two circles are nested, the intersection graph of such an arrangement is planar. The same result holds for arrangement of circles that intersect in an angle of at most $\pi/2$. For the general case we prove that the maximal number of edges in an intersection graph of an arrangement of orthogonal circles lies in between $4n - O\left(\sqrt{n}\right)$ and $\left(4+\frac{5}{11}\right)n$, for $n$ being the number of circles. Based on the lower bound we can also improve the bound for the number of triangles in arrangements of orthogonal circles to $(3 + 5/9)n-O\left(\sqrt{n}\right)$.


title: Multi-scale photonic emissivity engineering for relativistic lightsail thermal regulation

abstract: The Breakthrough Starshot Initiative aims to send a gram-scale probe to Proxima Centuri B using a laser-accelerated lightsail traveling at relativistic speeds. Thermal management is a key lightsail design objective because of the intense laser powers required but has generally been considered secondary to accelerative performance. Here, we demonstrate nanophotonic photonic crystal slab reflectors composed of 2H-phase molybdenum disulfide and crystalline silicon nitride, highlight the inverse relationship between the thermal band extinction coefficient and the lightsail's maximum temperature, and examine the trade-off between the acceleration distance and setting realistic sail thermal limits, ultimately realizing a thermally endurable acceleration minimum distance of 16.3~Gm. We additionally demonstrate multi-scale photonic structures featuring thermal-wavelength-scale Mie resonant geometries, and characterize their broadband Mie resonance-driven emissivity enhancement and acceleration distance reduction. Our results highlight new possibilities in simultaneously controlling optical and thermal response over broad wavelength ranges in ultralight nanophotonic structures.


title: Guided mode meta-optics: Metasurface-dressed nanophotonic waveguides for arbitrary designer mode couplers and on-chip OAM emitters with configurable topological charge

abstract: Metasurfaces have achieved fruitful results in tailoring complexing light fields in free space. However, a systematic investigation on applying the concept of meta-optics to completely control waveguide modes is still elusive. Here we present a comprehensive catalog capable of selectively and exclusively excite almost arbitrary high-order waveguide modes of interest, leveraging silicon metasurface-patterned silicon nitride waveguides. By simultaneously engineering the phase-matched gradient of the metasurface and the vectorial spatial modal overlap between the nanoantenna near-field and target waveguide mode for excitation, either single or multiple high-order modes are successfully launched with high purity reaching 98% and broad bandwidth. Moreover, on-chip twisted light generators are also theoretically demonstrated with configurable OAM topological charge \ell from -3 to +2, serving as a comprehensive framework for metasurface-enabled guided mode optics and motivating further applications such as versatile integrated couplers, demultiplexers, and mode-division multiplexing-based communication systems.


title: Exact and Asymptotic Analysis of General Multivariate Hawkes Processes and Induced Population Processes

abstract: This paper considers population processes in which general, not necessarily Markovian, multivariate Hawkes processes dictate the stochastic arrivals. We establish results to determine the corresponding time-dependent joint probability distribution, allowing for general intensity decay functions, general intensity jumps, and general sojourn times. We obtain an exact, full characterization of the time-dependent joint transform of the multivariate population process and its underlying intensity process in terms of a fixed-point representation and corresponding convergence results. We also derive the asymptotic tail behavior of the population process and its underlying intensity process in the setting of heavy-tailed intensity jumps. By exploiting the results we establish, arbitrary joint spatial-temporal moments and other distributional properties can now be readily evaluated using standard transform differentiation and inversion techniques, and we illustrate this in a few examples.


title: Choiceless Chain Conditions

abstract: Chain conditions are one of the major tools used in the theory of forcing. We say that a partial order has the countable chain condition if every antichain (in the sense of forcing) is countable. Without the axiom of choice antichains tend to be of little use, for various reasons, and in this short note we study a number of conditions which in ZFC are equivalent to the countable chain condition.


title: Robotic Electrospinning Actuated by Non-Circular Joint Continuum Manipulator for Endoluminal Therapy

abstract: Electrospinning has exhibited excellent benefits to treat the trauma for tissue engineering due to its produced micro/nano fibrous structure. It can effectively adhere to the tissue surface for long-term continuous therapy. This paper develops a robotic electrospinning platform for endoluminal therapy. The platform consists of a continuum manipulator, the electrospinning device, and the actuation unit. The continuum manipulator has two bending sections to facilitate the steering of the tip needle for a controllable spinning direction. Non-circular joint profile is carefully designed to enable a constant length of the centreline of a continuum manipulator for stable fluid transmission inside it. Experiments are performed on a bronchus phantom, and the steering ability and bending limitation in each direction are also investigated. The endoluminal electrospinning is also fulfilled by a trajectory following and points targeting experiments. The effective adhesive area of the produced fibre is also illustrated. The proposed robotic electrospinning shows its feasibility to precisely spread more therapeutic drug to construct fibrous structure for potential endoluminal treatment.


title: Mortality Analysis of Early COVID-19 Cases in the Philippines Based on Observed Demographic and Clinical Characteristics

abstract: This study aims to determine the demographic, epidemiologic, and clinical characteristics of COVID-19 cases that are highly susceptible to COVID-19 infection, with longer hospitalization and at higher risk of mortality and to provide insights that may be useful to assess the vaccination priority program and allocate hospital resources. Methods that were used include descriptive statistics, nonparametric analysis, and survival analysis. Results of the study reveal that women are more susceptible to infection while men are at risk of longer hospitalization and higher mortality. Significant risk factors to COVID-19 mortality are older age, male sex, difficulty breathing, and comorbidities like hypertension and diabetes. Patients with these combined symptoms should be considered for admission to the COVID-19 facility for proper management and care. Also, there is a significant delay in the testing and diagnosis of those who died, implying that timeliness in the testing and diagnosis of patients is crucial in patient survival.


title: Well-posedness for some third-order evolution differential equations: A semigroup approach

abstract: In this paper, we discuss the well-posedness of the Cauchy problem associated with the third-order evolution equation in time $$ u_{ttt} +A u + \eta A^{\frac13} u_{tt} +\eta A^{\frac23} u_t=f(u) $$ where $\eta>0$, $X$ is a separable Hilbert space, $A:D(A)\subset X\to X$ is an unbounded sectorial operator with compact resolvent, and for some $\lambda_0>0$ we have $\mbox{Re}\sigma(A)>\lambda_0$ and $f:D(A^{\frac13})\subset X\to X$ is a nonlinear function with suitable conditions of growth and regularity.


title: Comparative study and limits of different level-set formulations for the modeling of anisotropic grain growth

abstract: Four different finite element level-set (FE-LS) formulations are compared for the modeling of grain growth in the context of polycrystalline structures and, moreover, two of them are presented for the first time using anisotropic grain boundary (GB) energy and mobility. Mean values and distributions are compared using the four formulations. First, we present the strong and weak formulations for the different models and the crystallographic parameters used at the mesoscopic scale. Second, some Grim Reaper analytical cases are presented and compared with the simulation results, here the evolutions of individual multiple junctions are followed. Additionally, large scale simulations are presented. Anisotropic GB energy and mobility are respectively defined as functions of the misorientation/inclination and disorientation. The evolution of the disorientation distribution function (DDF) is computed and its evolution is in accordance with prior works. We found that the formulation called "Anisotropic" is the more physical one but it could be replaced at the mesoscopic scale by an Isotropic formulation for simple microstructures presenting an initial Mackenzie-type DDF.


title: Mereological Emptiness for the Signed Number Problem

abstract: It is well-known (at least in the education research literature) that primary school students face considerable difficulties in the understanding of negative integers (and numbers), related operations and their visualizations. In the present research, a proposal based on mereological principles is advanced towards solving aspects of the problem by the present author. Her proposal builds on the actual semantic content of what is taught expressed in algebraic terms, and natural types that can potentially be an explicit habit.


title: AMV : Algorithm Metadata Vocabulary

abstract: Metadata vocabularies are used in various domains of study. It provides an in-depth description of the resources. In this work, we develop Algorithm Metadata Vocabulary (AMV), a vocabulary for capturing and storing the metadata about the algorithms (a procedure or a set of rules that is followed step-by-step to solve a problem, especially by a computer). The snag faced by the researchers in the current time is the failure of getting relevant results when searching for algorithms in any search engine. AMV is represented as a semantic model and produced OWL file, which can be directly used by anyone interested to create and publish algorithm metadata as a knowledge graph, or to provide metadata service through SPARQL endpoint. To design the vocabulary, we propose a well-defined methodology, which considers real issues faced by the algorithm users and the practitioners. The evaluation shows a promising result.


title: Unveiling the multiple periodicities of the cataclysmic variable LS Cam

abstract: $TESS$ photometric data of LS~Cam from sectors 19, 20 and 26 are analysed. The obtained power spectra from sectors 19 and 20 show multiple periodicities - orbital variations ($P_{orb} = 0.14237$ days), slightly fluctuating superorbital variation ($ P_{so} \approx 4.03$ days) and permanent negative superhump ($P_{-sh} = 0.1375$ days). In sector 26 an additional positive superhump ($P_{+sh} = 0.155$ days) is present. Using relations from literature, the mass ratio and the masses of the two components are estimated to be $q =0.24$, $M_1 = 1.26M_\odot$, and $M_2 = 0.30 M_\odot$ respectively.


title: Socially-Aware Self-Supervised Tri-Training for Recommendation

abstract: Self-supervised learning (SSL), which can automatically generate ground-truth samples from raw data, holds vast potential to improve recommender systems. Most existing SSL-based methods perturb the raw data graph with uniform node/edge dropout to generate new data views and then conduct the self-discrimination based contrastive learning over different views to learn generalizable representations. Under this scheme, only a bijective mapping is built between nodes in two different views, which means that the self-supervision signals from other nodes are being neglected. Due to the widely observed homophily in recommender systems, we argue that the supervisory signals from other nodes are also highly likely to benefit the representation learning for recommendation. To capture these signals, a general socially-aware SSL framework that integrates tri-training is proposed in this paper. Technically, our framework first augments the user data views with the user social information. And then under the regime of tri-training for multi-view encoding, the framework builds three graph encoders (one for recommendation) upon the augmented views and iteratively improves each encoder with self-supervision signals from other users, generated by the other two encoders. Since the tri-training operates on the augmented views of the same data sources for self-supervision signals, we name it self-supervised tri-training. Extensive experiments on multiple real-world datasets consistently validate the effectiveness of the self-supervised tri-training framework for improving recommendation. The code is released at https://github.com/Coder-Yu/QRec.


title: A sublimated water atmosphere on Ganymede detected from Hubble Space Telescope observations

abstract: Ganymede's atmosphere is produced by charged particle sputtering and sublimation of its icy surface. Previous far-ultraviolet observations of the O{\small I\,}1356-{\AA} and O{\small I\,}1304-{\AA} oxygen emissions were used to infer sputtered molecular oxygen (O$_2$) as an atmospheric constituent, but an expected sublimated water (H$_2$O) component remained undetected. Here we present an analysis of high-sensitivity spectra and spectral images acquired by the Hubble Space Telescope revealing H$_2$O in Ganymede's atmosphere. The relative intensity of the oxygen emissions requires contributions from dissociative excitation of water vapor, indicating that H$_2$O is more abundant than O$_2$ around the sub-solar point. Away from the sub-solar region, the emissions are consistent with a pure O$_2$ atmosphere. Eclipse observations constrain atomic oxygen to be at least two orders of magnitude less abundant than these other species. The higher H$_2$O/O$_2$ ratio above the warmer trailing hemisphere compared to the colder leading hemisphere, the spatial concentration to the sub-solar region, and the estimated abundance of $\sim$10$^{15}$ H$_2$O/cm$^{2}$ are consistent with sublimation of the icy surface as source.


title: Measurement of the transverse polarization of electrons emitted in neutron decay -- nTRV experiment

abstract: This paper recalls the main achievements of the nTRV experiment which measured two components of the transverse polarization ($\sigma_{T_{1}}$, $\sigma_{T_{2}}$) of electrons emitted in the $\beta$-decay of polarized, free neutrons and deduced two correlation coefficients, $R$ and $N$, that are sensitive to physics beyond the Standard Model. The value of time-reversal odd coefficient $R$, 0.004$\pm$0.012$\pm$0.005, significantly improved limits on the relative strength of imaginary scalar coupling constant in the weak interaction. The value obtained for the time-reversal even correlation coefficient $N$, 0.067$\pm$0.011$\pm$0.004, agrees with the Standard Model expectation, providing an important sensitivity test of the electron polarimeter. One of the conclusions of this pioneering experiment was that the transverse electron polarization in the neutron $\beta$-decay is worth more systematic exploring by measurements of yet experimentally not attempted correlation coefficients such as $H$, $L$, $S$, $U$ and $V$. This article presents a brief outlook on that questions.


title: Gate-control of the current-flux relation of a Josephson quantum interferometer based on proximitized metallic nanojuntions

abstract: We demonstrate an Al superconducting quantum interference device in which the Josephson junctions are implemented through gate-controlled proximitized Cu mesoscopic weak-links. The latter behave analogously to genuine superconducting metals in terms of the response to electrostatic gating, and provide a good performance in terms of current-modulation visibility. We show that, through the application of a static gate voltage, we are able to modify the interferometer current-flux relation in a fashion which seems compatible with the introduction of $\pi$-channels within the gated weak-link. Our results suggest that the microscopic mechanism at the origin of the suppression of the switching current in the interferometer is apparently phase coherent, resulting in an overall damping of the superconducting phase rigidity. We finally tackle the performance of the interferometer in terms of responsivity to magnetic flux variations in the dissipative regime, and discuss the practical relevance of gated proximity-based all-metallic SQUIDs for magnetometry at the nanoscale.


title: Gradient measurement of synchrotron polarization diagnostic: Application to spatially separated emission and Faraday rotation regions

abstract: Considering the spatially separated polarization radiation and Faraday rotation regions to simulate complex interstellar media, we study synchrotron polarization gradient techniques' measurement capabilities. We explore how to trace the direction of projected magnetic field of emitting-source region at the multi-frequency bands, using the gradient technique compared with the traditional polarization vector method. Furthermore, we study how Faraday rotation density in the foreground region, i.e., a product of electron number density and parallel component of magnetic fields along the line of sight, affects the measurement of projected magnetic field. Numerical results show that synchrotron polarization gradient technique could successfully trace projected magnetic field within emitting-source region independent of radio frequency. Accordingly, the gradient technique can measure the magnetic field properties for a complex astrophysical environment.


title: Perturbations of embedded eigenvalues for self-adjoint ODE systems

abstract: We consider a perturbation problem for embedded eigenvalues of a self-adjoint differential operator in $L^2(\mathbb R;\mathbb R^n)$. In particular, we study the set of all small perturbations in an appropriate Banach space for which the embedded eigenvalue remains embedded in the continuous spectrum. We show that this set of small perturbations forms a smooth manifold and we specify its co-dimension. Our methods involve the use of exponential dichotomies, their roughness property and Lyapunov-Schmidt reduction.


title: A phenomenological theory of superconductor diodes

abstract: We study theoretically the superconductor diodes, where the magnitude of the critical current changes as the direction is reversed, in terms of a generalized Ginzburg-Landau model with the higher-order terms in the momentum of the order parameter. This theory is applied to Rashba spin-orbit coupled systems, where analytical relations between the nonreciprocal critical currents and the system parameters are achieved. Numerical calculations with mean-field theory are also obtained to study broader parameter regions. These results offer a rather general description and design principles of superconductor diodes.


title: A Generalised Continuous Primitive Integral and Some of Its Applications

abstract: Using the Laplace derivative a Perron type integral, the Laplace integral, is defined. Moreover, it is shown that this integral includes Perron integral and to show that the inclusion is proper, an example of a function is constructed, which is Laplace integrable but not Perron integrable. Properties of integrals such as fundamental theorem of calculus, Hake's theorem, integration by parts, convergence theorems, mean value theorems, the integral remainder form of Taylor's theorem with an estimation of the remainder, are established. It turns out that concerning the Alexiewicz's norm, the space of all Laplace integrable functions is incomplete and contains the set of all polynomials densely. Applications are shown to Poisson integral, a system of generalised ordinary differential equations and higher-order generalised ordinary differential equation.


title: Approaching the optimum phase measurement in the presence of amplifier noise

abstract: In fundamental papers from 1962 [1, 2], Heffener and Haus showed that it is not possible to construct a linear noiseless amplifier. The implies that the amplifier intrinsic noise sources induce random perturbations on the phase of the incoming optical signal which translates into spectral broadening. To achieve the minimum (quantum noise limited) induced phase fluctuation, and the corresponding minimum spectral broadening, an optimum phase measurement method is needed. We demonstrate that a measurement method based on the heterodyne detection and the extended Kalman filtering approaches an optimum phase measurement in the presence of amplifier noise. A penalty of 5 dB (numerical) and 15 dB (experimental) compared to the quantum limited spectral broadening is achieved. For comparison, the conventional phase measurement method's penalty exceeds 30 dB for the measurements. Our results reveal new scientific insights by demonstrating that the impact of amplifier noise can be significantly reduced by using the proposed phase measurement method. An impact is envisioned for the phase-based optical sensing system, as optical amplification could increase sensing distance with the minimum impact on the phase.


title: Lorentz violating inflation and the Swampland

abstract: The swampland conjectures from String theory have had very interesting implications for cosmology and particularly for Inflation. It has been shown that the single field inflationary models in a GR based cosmology are in unavoidable tensions with these conjectures, while these single field models can still be consistent in certain non-trivial inflationary regimes. So it becomes interesting to see whether there is a way to overcome the issues of the swampland and single field inflation in an essentially GR based cosmology. We show that this can indeed be the case and for this, we consider a certain type of Lorentz violating inflationary scenario. We work out the swampland bounds for Lorentz violating inflationary models after which show that inflationary models which would have had otherwise serious tensions with these conjectures in a usual GR based scenario, can be very tranquil with the criterion in this regime. For this we take examples of Higgs inflation, radion gauge inflation and Spontaenous symmetry breaking inflation and show that the bounds imposed by the swampland on the Lorentz violating parameter can be easily satisfied in these models.


title: Forward Looking Best-Response Multiplicative Weights Update Methods for Bilinear Zero-sum Games

abstract: Our work focuses on extra gradient learning algorithms for finding Nash equilibria in bilinear zero-sum games. The proposed method, which can be formally considered as a variant of Optimistic Mirror Descent \cite{DBLP:conf/iclr/MertikopoulosLZ19}, uses a large learning rate for the intermediate gradient step which essentially leads to computing (approximate) best response strategies against the profile of the previous iteration. Although counter-intuitive at first sight due to the irrationally large, for an iterative algorithm, intermediate learning step, we prove that the method guarantees last-iterate convergence to an equilibrium. Particularly, we show that the algorithm reaches first an $\eta^{1/\rho}$-approximate Nash equilibrium, with $\rho > 1$, by decreasing the Kullback-Leibler divergence of each iterate by at least $\Omega(\eta^{1+\frac{1}{\rho}})$, for sufficiently small learning rate, $\eta$, until the method becomes a contracting map, and converges to the exact equilibrium. Furthermore, we perform experimental comparisons with the optimistic variant of the multiplicative weights update method, by \cite{Daskalakis2019LastIterateCZ} and show that our algorithm has significant practical potential since it offers substantial gains in terms of accelerated convergence.


title: One-shot learning of paired association navigation with biologically plausible schemas

abstract: Schemas are knowledge structures that can enable rapid learning. Rodent one-shot learning in a multiple paired association navigation task has been postulated to be schema-dependent. But how schemas, conceptualized at Marr's computational level, correspond with neural implementations remains poorly understood, and a biologically plausible computational model of the rodent learning has not been demonstrated. Here, we compose such an agent from schemas with biologically plausible neural implementations. The agent contains an associative memory that can form one-shot associations between sensory cues and goal coordinates, implemented with a feedforward layer or a reservoir of recurrently connected neurons whose plastic output weights are governed by a novel 4-factor reward-modulated Exploratory Hebbian (EH) rule. Adding an actor-critic allows the agent to succeed even if an obstacle prevents direct heading. With the addition of working memory, the rodent behavior is replicated. Temporal-difference learning of a working memory gating mechanism enables one-shot learning despite distractors.


title: Nonlinear Inequalities with Double Riesz Potentials

abstract: We investigate the nonnegative solutions to the nonlinear integral inequality $u \ge I_{\alpha}\ast\big((I_\beta \ast u^p)u^q\big)$ a.e. in $\mathbb{R}^N$, where $\alpha, \beta\in (0,N)$, $p, q>0$ and $I_\alpha$, $I_\beta$ denote the Riesz potentials of order $\alpha$ and $\beta$ respectively. Our approach relies on a nonlocal positivity principle which allows us to derive optimal ranges for the parameters $\alpha$, $\beta$, $p$ and $q$ to describe the existence and the nonexistence of a solution. The optimal decay at infinity for such solutions is also discussed.


title: Probing Dark Matter and Fundamental Physics with the Cherenkov Telescope Array

abstract: Astrophysical observations provide strong evidence that more than 80% of all matter in the Universe is in the form of dark matter (DM). Two leading candidates of particles beyond the Standard Model that could constitute all or a fraction of the DM content are the so-called Weakly Interacting Massive Particles (WIMPs) and Axion-Like Particles (ALPs). The upcoming Cherenkov Telescope Array, which will observe gamma rays between 20 GeV and 300 TeV with unprecedented sensitivity, will have unique capabilities to search for these DM candidates. A particularly promising target for WIMP searches is the Galactic Center. WIMPs with annihilation cross sections correctly producing the DM relic density will be detectable with CTA, assuming an Einasto-like density profile and WIMP masses between 200 GeV and 10 TeV. Regarding new physics beyond DM, CTA observations will also enable tests of fundamental symmetries of nature such as Lorentz invariance.


title: A FFT-accelerated multi-block finite-difference solver for massively parallel simulations of incompressible flows

abstract: We present a multi-block finite-difference solver for massively parallel Direct Numerical Simulations (DNS) of incompressible flows. The algorithm combines the versatility of a multi-block solver with the method of eigenfunctions expansions, to speedup the solution of the pressure Poisson equation. This is achieved by employing FFT-based transforms along one homogeneous direction, which effectively reduce the problem complexity at a low cost. These FFT-based expansions are implemented in a framework that unifies all valid combinations of boundary conditions for this type of method. Subsequently, a geometric multigrid solver is employed to solve the reduced Poisson equation in a multi-block geometry. Particular care was taken here, to guarantee the parallel performance of the multigrid solver when solving the reduced linear systems equations. We have validated the overall numerical algorithm and assessed its performance in a massively parallel setting. The results show that 2- to 8-fold reductions in computational cost may be easily achieved when exploiting FFT acceleration for the solution of the Poisson equation. The solver, SNaC, has been made freely available and open-source under the terms of an MIT license.


title: Configuration and performance of the ATLAS $b$-jet triggers in Run 2

abstract: Several improvements to the ATLAS triggers used to identify jets containing $b$-hadrons ($b$-jets) were implemented for data-taking during Run 2 of the Large Hadron Collider from 2016 to 2018. These changes include reconfiguring the $b$-jet trigger software to improve primary-vertex finding and allow more stable running in conditions with high pile-up, and the implementation of the functionality needed to run sophisticated taggers used by the offline reconstruction in an online environment. These improvements yielded an order of magnitude better light-flavour jet rejection for the same $b$-jet identification efficiency compared to the performance in Run 1 (2011-2012). The efficiency to identify $b$-jets in the trigger, and the conditional efficiency for $b$-jets that satisfy offline $b$-tagging requirements to pass the trigger are also measured. Correction factors are derived to calibrate the $b$-tagging efficiency in simulation to match that observed in data. The associated systematic uncertainties are substantially smaller than in previous measurements. In addition, $b$-jet triggers were operated for the first time during heavy-ion data-taking, using dedicated triggers that were developed to identify semileptonic $b$-hadron decays by selecting events with geometrically overlapping muons and jets.


title: Asynchronous speedup in decentralized optimization

abstract: In decentralized optimization, nodes of a communication network each possess a local objective function, and communicate using gossip-based methods in order to minimize the average of these per-node functions. While synchronous algorithms are heavily impacted by a few slow nodes or edges in the graph (the \emph{straggler problem}), their asynchronous counterparts are notoriously harder to parametrize. Indeed, their convergence properties for networks with heterogeneous communication and computation delays have defied analysis so far. In this paper, we use a \emph{ continuized} framework to analyze asynchronous algorithms in networks with delays. Our approach yields a precise characterization of convergence time and of its dependency on heterogeneous delays in the network. Our continuized framework benefits from the best of both continuous and discrete worlds: the algorithms it applies to are based on event-driven updates. They are thus essentially discrete and hence readily implementable. Yet their analysis is essentially in continuous time, relying in part on the theory of delayed ODEs. Our algorithms moreover achieve an \emph{asynchronous speedup}: their rate of convergence is controlled by the eigengap of the network graph weighted by local delays, instead of the network-wide worst-case delay as in previous analyses. Our methods thus enjoy improved robustness to stragglers.


title: Minimal and maximal lengths of quantum gravity from non-Hermitian position-dependent noncommutativity

abstract: A minimum length scale of the order of Planck length is a feature of many models of quantum gravity that seek to unify quantum mechanics and gravitation. Recently, Perivolaropoulos in his seminal work [Phys. Rev.D 95, 103523 (2017)] predicted the simultaneous existence of minimal and maximal length measurements of quantum gravity. More recently, we have shown that both measurable lengths can be obtained from position-dependent noncommutativity [J. Phys. A: Math.Theor. 53, 115303 (2020)]. In this paper, we present an alternative derivation of these lengths from non-Hermitian position-dependent noncommutativity. We show that a simultaneous measurement of both lengths form a family of discrete spaces. In one hand, we show the similarities between the maximal uncertainty measurement and the classical properties of gravity. On the other hand, the connection between the minimal uncertainties and the non-Hermicity quantum mechanic scenarios. The existence of minimal uncertainties are the consequences of non-Hermicities of some operators that are generators of this noncommutativity. With an appropriate Dyson map, we demonstrate by a similarity transformation that the physically meaningfulness of dynamical quantum systems is generated by a hidden Hermitian position-dependent noncommutativity. This transformation preserves the properties of quantum gravity but removes the fuzziness induced by minimal uncertainty measurements at this scale. Finally, we study the eigenvalue problem of a free particle in a square-well potential in these new Hermitian variables.

categories: hep-th cond-mat.mtrl-sci gr-qc math-ph math.MP quant-ph


title: 2-distance 4-coloring of planar subcubic graphs with girth at least 21

abstract: A $2$-distance $k$-coloring of a graph is a proper vertex $k$-coloring where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance $4$-coloring for planar subcubic graphs with girth at least 21. We also show a construction of a planar subcubic graph of girth 11 that is not $2$-distance $4$-colorable.


title: Measurement simulability and incompatibility in quantum theory and other operational theories

abstract: In this thesis, we consider the properties of measurements in quantum theory and other operational theories. After having introduced the framework of operational theories, we consider a communication scheme based on an experimental prepare-and-measure scenario and demonstrate this with different communication tasks. This gives us context for how the different communication tasks can be implemented in different theories, in doing so establishing quantum theory intuitively as an operational theory among other theories. The main property of measurements we focus on in this work is the simulation of measurements, which consists of manipulating the inputs and outputs of the measurement devices. We study how using this process on existing measurement devices can be used to operationally imitate new devices, and what kind of structure the simulation process induces on measurements. We also consider applications of simulability. Firstly, we consider operational restrictions imposed upon measurements. We argue that the restricted set of physical measurements must be closed with respect to the simulation process since the simulation of physical devices must lead to other physically feasible devices. We demonstrate different types of restrictions by classifying them. As a second application we see how the simulation of measurements relates to compatibility of measurements and how it can be viewed as a generalisation of it. This allows us to present an operational principle previously known to quantum theory, the no-free-information principle, according to which any measurement that is compatible with all other measurement must not provide any useful, and therefore free, information about the system. Whilst this principle holds in quantum theory, there are non-classical theories for which it is violated, and so enforcing this principle may be considered a way to exclude some unphysical theories.


title: Nonparametric adaptive control and prediction: theory and randomized algorithms

abstract: A key assumption in the theory of nonlinear adaptive control is that the uncertainty of the system can be expressed in the linear span of a set of known basis functions. While this assumption leads to efficient algorithms, it limits applications to very specific classes of systems. We introduce a novel nonparametric adaptive algorithm that estimates an infinite-dimensional density over parameters online to learn an unknown dynamics in a reproducing kernel Hilbert space. Surprisingly, the resulting control input admits an analytical expression that enables its implementation despite its underlying infinite-dimensional structure. While this adaptive input is rich and expressive - subsuming, for example, traditional linear parameterizations - its computational complexity grows linearly with time, making it comparatively more expensive than its parametric counterparts. Leveraging the theory of random Fourier features, we provide an efficient randomized implementation that recovers the complexity of classical parametric methods while provably retaining the expressivity of the nonparametric input. In particular, our explicit bounds only depend polynomially on the underlying parameters of the system, allowing our proposed algorithms to efficiently scale to high-dimensional systems. As an illustration of the method, we demonstrate the ability of the randomized approximation algorithm to learn a predictive model of a 60-dimensional system consisting of ten point masses interacting through Newtonian gravitation. By reinterpretation as a gradient flow on a specific loss, we conclude with a natural extension of our kernel-based adaptive algorithms to deep neural networks. We show empirically that the extra expressivity afforded by deep representations can lead to improved performance at the expense of closed-loop stability that is rigorously guaranteed and consistently observed for kernel machines.


title: Crust-core transition of a neutron star: effect of the temperature under strong magnetic fields

abstract: The effect of temperature on the crust-core transition of a magnetar is studied. The thermodynamical spinodals are used to calculate the transition region within a relativistic mean-field approach for the equation of state. Magnetic fields with intensities $5\times 10^{16}$ G and $5\times 10 ^{17}$ G are considered. It is shown that the effect on the extension of the crust-core transition is washed away for temperatures above $10^{9}$ K for magnetic field intensities $ \lesssim 5\times 10^{16}$ G but may still persist if a magnetic field as high as $5\times 10 ^{17}$G is considered. For temperatures below that value, the effect of the magnetic field on crust-core transition is noticeable and grows as the temperature decreases and, in particular, it is interesting to identify the existence of disconnected non-homogeneous matter above the $B=0$ crust core transition density. Models with different symmetry energy slopes at saturation show quite different behaviors. In particular, a model with a large slope, as suggested by the recent results of PREX-2, predicts the existence of up to four disconnected regions of non-homogeneous matter above the zero magnetic field crust-core transition density.


title: Calibrating multi-dimensional complex ODE from noisy data via deep neural networks

abstract: Ordinary differential equations (ODEs) are widely used to model complex dynamics that arises in biology, chemistry, engineering, finance, physics, etc. Calibration of a complicated ODE system using noisy data is generally very difficult. In this work, we propose a two-stage nonparametric approach to address this problem. We first extract the de-noised data and their higher order derivatives using boundary kernel method, and then feed them into a sparsely connected deep neural network with ReLU activation function. Our method is able to recover the ODE system without being subject to the curse of dimensionality and complicated ODE structure. When the ODE possesses a general modular structure, with each modular component involving only a few input variables, and the network architecture is properly chosen, our method is proven to be consistent. Theoretical properties are corroborated by an extensive simulation study that demonstrates the validity and effectiveness of the proposed method. Finally, we use our method to simultaneously characterize the growth rate of Covid-19 infection cases from 50 states of the USA.


title: Excitons and carriers in transient absorption and time-resolved ARPES spectroscopy: an abinitio approach

abstract: I present a fully abinitio scheme to model transient spectroscopy signals in presence of strongly bound excitons. Using LiF as a prototype material, I show that the scheme is able to capture the exciton signature both in time-resolved ARPES and transient absorption experiments. The approach is completely general and can become the reference scheme for modelling pump and probe experiment in a wide range of materials.


title: Neural Auction: End-to-End Learning of Auction Mechanisms for E-Commerce Advertising

abstract: In e-commerce advertising, it is crucial to jointly consider various performance metrics, e.g., user experience, advertiser utility, and platform revenue. Traditional auction mechanisms, such as GSP and VCG auctions, can be suboptimal due to their fixed allocation rules to optimize a single performance metric (e.g., revenue or social welfare). Recently, data-driven auctions, learned directly from auction outcomes to optimize multiple performance metrics, have attracted increasing research interests. However, the procedure of auction mechanisms involves various discrete calculation operations, making it challenging to be compatible with continuous optimization pipelines in machine learning. In this paper, we design \underline{D}eep \underline{N}eural \underline{A}uctions (DNAs) to enable end-to-end auction learning by proposing a differentiable model to relax the discrete sorting operation, a key component in auctions. We optimize the performance metrics by developing deep models to efficiently extract contexts from auctions, providing rich features for auction design. We further integrate the game theoretical conditions within the model design, to guarantee the stability of the auctions. DNAs have been successfully deployed in the e-commerce advertising system at Taobao. Experimental evaluation results on both large-scale data set as well as online A/B test demonstrated that DNAs significantly outperformed other mechanisms widely adopted in industry.


title: Learning Combinatorial Node Labeling Algorithms

abstract: We present a novel neural architecture to solve graph optimization problems where the solution consists of arbitrary node labels, allowing us to solve hard problems like graph coloring. We train our model using reinforcement learning, specifically policy gradients, which gives us both a greedy and a probabilistic policy. Our architecture builds on a graph attention network and uses several inductive biases to improve solution quality. Our learned deterministic heuristics for graph coloring give better solutions than classical degree-based greedy heuristics and only take seconds to apply to graphs with tens of thousands of vertices. Moreover, our probabilistic policies outperform all greedy state-of-the-art coloring baselines and a machine learning baseline. Finally, we show that our approach also generalizes to other problems by evaluating it on minimum vertex cover and outperforming two greedy heuristics.