title: Facility Location Games Beyond Single-Peakedness: the Entrance Fee Model

abstract: The facility location game has been studied extensively in mechanism design. In the classical model, each agent's cost is solely determined by her distance to the nearest facility. In this paper, we introduce a novel model where each facility charges an entrance fee. Thus, the cost of each agent is determined by both the distance to the facility and the entrance fee of the facility. In our model, the entrance fee function is allowed to be an arbitrary function, causing agents' preferences may no longer be single-peaked anymore: This departure from the classical model introduces additional challenges. We systematically delve into the intricacies of the model, designing strategyproof mechanisms with favorable approximation ratios. Additionally, we complement these ratios with nearly-tight impossibility results. Specifically, for one-facility and two-facility games, we provide upper and lower bounds for the approximation ratios given by deterministic and randomized mechanisms with respect to utilitarian and egalitarian objectives.


title: Bounds on the closeness centrality of a graph

abstract: We present new values and bounds on the (normalised) closeness centrality $\bar{\mathsf{C}}_C$ of connected graphs and on its product $\bar{l}\bar{\mathsf{C}}_C$ with the mean distance $\bar{l}$ of these graphs. Our main result presents the fundamental bounds $1\leq \bar{l}\bar{\mathsf{C}}_C<2$. The lower bound is tight and the upper bound is asymptotically tight. Combining the lower bound with known upper bounds on the mean distance, we find ten new lower bounds for the closeness centrality of graphs. We also present explicit expressions for $\bar{\mathsf{C}}_C$ and $\bar{l}\bar{\mathsf{C}}_C$ for specific families of graphs. Elegantly and perhaps surprisingly, the asymptotic values $n\bar{\mathsf{C}}_C\big(P_n\big)$ and of $n\bar{\mathsf{C}}_C\big(L_n\big)$ both equal $\pi$, and the asymptotic limits of $\bar{l}\bar{\mathsf{C}}_C$ for these families of graphs are both equal to $\pi/3$. We conjecture that the set of values $\bar{l}\bar{\mathsf{C}}_C$ for all connected graphs is dense in the interval $[1,2)$.


title: Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability

abstract: In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}\Sigma_{1} $, each $ I $-small $ \Sigma_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed points of some proper initial self-embedding of $ \mathcal{M} $ iff $ I $ is a strong cut of $ \mathcal{M} $. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model $ \mathcal{M} $ of $ \mathrm{I}\Sigma_{1} $. In addition, we will find some criteria for extendability of initial self-embeddings of countable nonstandard models of $ \mathrm{I}\Sigma_{1} $ to larger models.


title: Computing the Collection of Good Models for Rule Lists

abstract: Since the seminal paper by Breiman in 2001, who pointed out a potential harm of prediction multiplicities from the view of explainable AI, global analysis of a collection of all good models, also known as a `Rashomon set,' has been attracted much attention for the last years. Since finding such a set of good models is a hard computational problem, there have been only a few algorithms for the problem so far, most of which are either approximate or incomplete. To overcome this difficulty, we study efficient enumeration of all good models for a subclass of interpretable models, called rule lists. Based on a state-of-the-art optimal rule list learner, CORELS, proposed by Angelino et al. in 2017, we present an efficient enumeration algorithm CorelsEnum for exactly computing a set of all good models using polynomial space in input size, given a dataset and a error tolerance from an optimal model. By experiments with the COMPAS dataset on recidivism prediction, our algorithm CorelsEnum successfully enumerated all of several tens of thousands of good rule lists of length at most $\ell = 3$ in around 1,000 seconds, while a state-of-the-art top-$K$ rule list learner based on Lawler's method combined with CORELS, proposed by Hara and Ishihata in 2018, found only 40 models until the timeout of 6,000 seconds. For global analysis, we conducted experiments for characterizing the Rashomon set, and observed large diversity of models in predictive multiplicity and fairness of models.


title: Improved far-field speech recognition using Joint Variational Autoencoder

abstract: Automatic Speech Recognition (ASR) systems suffer considerably when source speech is corrupted with noise or room impulse responses (RIR). Typically, speech enhancement is applied in both mismatched and matched scenario training and testing. In matched setting, acoustic model (AM) is trained on dereverberated far-field features while in mismatched setting, AM is fixed. In recent past, mapping speech features from far-field to close-talk using denoising autoencoder (DA) has been explored. In this paper, we focus on matched scenario training and show that the proposed joint VAE based mapping achieves a significant improvement over DA. Specifically, we observe an absolute improvement of 2.5% in word error rate (WER) compared to DA based enhancement and 3.96% compared to AM trained directly on far-field filterbank features.


title: Real Kaehler submanifolds in codimension up to four

abstract: Let $f\colon M^{2n}\to\mathbb{R}^{2n+4}$ be an isometric immersion of a Kaehler manifold of complex dimension $n\geq 5$ into Euclidean space with complex rank at least $5$ everywhere. Our main result is that, along each connected component of an open dense subset of $M^{2n}$, either $f$ is holomorphic in $\mathbb{R}^{2n+4}\cong\mathbb{C}^{n+2}$ or it is in a unique way a composition $f=F\circ h$ of isometric immersions. In the latter case, we have that $h\colon M^{2n}\to N^{2n+2}$ is holomorphic and $F\colon N^{2n+2}\to\mathbb{R}^{2n+4}$ belongs to the class, by now quite well understood, of non-holomorphic Kaehler submanifold in codimension two. Moreover, the submanifold $F$ is minimal if and only if $f$ is minimal.


title: Idempotents, free products and quandle coverings

abstract: In this paper, we investigate idempotents in quandle rings and relate them with quandle coverings. We prove that integral quandle rings of quandles of finite type that are non-trivial coverings over nice base quandles admit infinitely many non-trivial idempotents, and give their complete description. We show that the set of all these idempotents forms a quandle in itself. As an application, we deduce that the quandle ring of the knot quandle of a non-trivial long knot admit non-trivial idempotents. We consider free products of quandles and prove that integral quandle rings of free quandles have only trivial idempotents, giving an infinite family of quandles with this property. We also give a description of idempotents in quandle rings of unions and certain twisted unions of quandles.


title: Complexity and Avoidance

abstract: In this dissertation we examine the relationships between the several hierarchies, including the complexity, $\mathrm{LUA}$ (Linearly Universal Avoidance), and shift complexity hierarchies, with an eye towards quantitative bounds on growth rates therein. We show that for suitable $f$ and $p$, there are $q$ and $g$ such that $\mathrm{LUA}(q) \leq_\mathrm{s} \mathrm{COMPLEX}(f)$ and $\mathrm{COMPLEX}(g) \leq_\mathrm{s} \mathrm{LUA}(p)$, as well as quantify the growth rates of $q$ and $g$. In the opposite direction, we show that for certain sub-identical $f$ satisfying $\lim_{n \to \infty}{f(n)/n}=1$ there is a $q$ such that $\mathrm{COMPLEX}(f) \leq_\mathrm{w} \mathrm{LUA}(q)$, and for certain fast-growing $p$ there is a $g$ such that $\mathrm{LUA}(p) \leq_\mathrm{s} \mathrm{COMPLEX}(g)$, as well as quantify the growth rates of $q$ and $g$. Concerning shift complexity, explicit bounds are given on how slow-growing $q$ must be for any member of $\rm{LUA}(q)$ to compute $\delta$-shift complex sequences. Motivated by the complexity hierarchy, we generalize the notion of shift complexity to consider sequences $X$ satisfying $\operatorname{KP}(\tau) \geq f(|\tau|) - O(1)$ for all substrings $\tau$ of $X$ where $f$ is any order function. We show that for sufficiently slow-growing $f$, $f$-shift complex sequences can be uniformly computed by $g$-complex sequences, where $g$ grows slightly faster than $f$. The structure of the $\mathrm{LUA}$ hierarchy is examined using bushy tree forcing, with the main result being that for any order function $p$, there is a slow-growing order function $q$ such that $\mathrm{LUA}(p)$ and $\mathrm{LUA}(q)$ are weakly incomparable. Using this, we prove new results about the filter of the weak degrees of deep nonempty $\Pi^0_1$ classes and the connection between the shift complexity and $\mathrm{LUA}$ hierarchies.


title: Periodic Lp estimates by R-boundedness: Applications to the Navier-Stokes equations

abstract: General evolution equations in Banach spaces are investigated. Based on an operator-valued version of de Leeuw's transference principle, time-periodic $L^p$ estimates of maximal regularity type are established from $\mathscr{R}$-bounds of the family of solution operators ($\mathscr{R}$-solvers) to the corresponding resolvent problems. With this method, existence of time-periodic solutions to the Navier-Stokes equations is shown for two configurations: in a periodically moving bounded domain and in an exterior domain, subject to prescribed time-periodic forcing and boundary data.


title: Large Scale Time-Series Representation Learning via Simultaneous Low and High Frequency Feature Bootstrapping

abstract: Learning representation from unlabeled time series data is a challenging problem. Most existing self-supervised and unsupervised approaches in the time-series domain do not capture low and high-frequency features at the same time. Further, some of these methods employ large scale models like transformers or rely on computationally expensive techniques such as contrastive learning. To tackle these problems, we propose a non-contrastive self-supervised learning approach efficiently captures low and high-frequency time-varying features in a cost-effective manner. Our method takes raw time series data as input and creates two different augmented views for two branches of the model, by randomly sampling the augmentations from same family. Following the terminology of BYOL, the two branches are called online and target network which allows bootstrapping of the latent representation. In contrast to BYOL, where a backbone encoder is followed by multilayer perceptron (MLP) heads, the proposed model contains additional temporal convolutional network (TCN) heads. As the augmented views are passed through large kernel convolution blocks of the encoder, the subsequent combination of MLP and TCN enables an effective representation of low as well as high-frequency time-varying features due to the varying receptive fields. The two modules (MLP and TCN) act in a complementary manner. We train an online network where each module learns to predict the outcome of the respective module of target network branch. To demonstrate the robustness of our model we performed extensive experiments and ablation studies on five real-world time-series datasets. Our method achieved state-of-art performance on all five real-world datasets.


title: Entropic Risk-Averse Generalized Momentum Methods

abstract: In the context of first-order algorithms subject to random gradient noise, we study the trade-offs between the convergence rate (which quantifies how fast the initial conditions are forgotten) and the "risk" of suboptimality, i.e. deviations from the expected suboptimality. We focus on a general class of momentum methods (GMM) which recover popular methods such as gradient descent (GD), accelerated gradient descent (AGD), and heavy-ball (HB) method as special cases depending on the choice of GMM parameters. We use well-known risk measures "entropic risk" and "entropic value at risk" to quantify the risk of suboptimality. For strongly convex smooth minimization, we first obtain new convergence rate results for GMM with a unified theory that is also applicable to both AGD and HB, improving some of the existing results for HB. We then provide explicit bounds on the entropic risk and entropic value at risk of suboptimality at a given iterate which also provides direct bounds on the probability that the suboptimality exceeds a given threshold based on Chernoff's inequality. Our results unveil fundamental trade-offs between the convergence rate and the risk of suboptimality. We then plug the entropic risk and convergence rate estimates we obtained in a computationally tractable optimization framework and propose entropic risk-averse GMM (RA-GMM) and entropic risk-averse AGD (RA-AGD) methods which can select the GMM parameters to systematically trade-off the entropic value at risk with the convergence rate. We show that RA-AGD and RA-GMM lead to improved performance on quadratic optimization and logistic regression problems compared to the standard choice of parameters. To our knowledge, our work is the first to resort to coherent measures to design the parameters of momentum methods in a systematic manner.


title: The Quadrupole Moment of Compact Binaries to the Fourth post-Newtonian Order: From Source to Canonical Moment

abstract: As a crucial step towards the completion of the fourth post-Newtonian (4PN) gravitational-wave generation from compact binary systems, we obtain the expressions of the so-called "canonical" multipole moments of the source in terms of the "source" and "gauge" moments. The canonical moments describe the propagation of gravitational waves outside the source's near zone, while the source and gauge moments encode explicit information about the matter source. Those two descriptions, in terms of two sets of canonical moments or in terms of six sets of source and gauge moments, are isometric. We thus construct the non-linear diffeomorphism between them up to the third post-Minkowskian order, and we exhibit the concrete expression of the canonical mass-type quadrupole moment at the 4PN order. This computation is one of the last missing pieces for the determination of the gravitational-wave phasing of compact binary systems at 4PN order.


title: Colorectal cancer survival prediction using deep distribution based multiple-instance learning

abstract: Several deep learning algorithms have been developed to predict survival of cancer patients using whole slide images (WSIs).However, identification of image phenotypes within the WSIs that are relevant to patient survival and disease progression is difficult for both clinicians, and deep learning algorithms. Most deep learning based Multiple Instance Learning (MIL) algorithms for survival prediction use either top instances (e.g., maxpooling) or top/bottom instances (e.g., MesoNet) to identify image phenotypes. In this study, we hypothesize that wholistic information of the distribution of the patch scores within a WSI can predict the cancer survival better. We developed a distribution based multiple-instance survival learning algorithm (DeepDisMISL) to validate this hypothesis. We designed and executed experiments using two large international colorectal cancer WSIs datasets - MCO CRC and TCGA COAD-READ. Our results suggest that the more information about the distribution of the patch scores for a WSI, the better is the prediction performance. Including multiple neighborhood instances around each selected distribution location (e.g., percentiles) could further improve the prediction. DeepDisMISL demonstrated superior predictive ability compared to other recently published, state-of-the-art algorithms. Furthermore, our algorithm is interpretable and could assist in understanding the relationship between cancer morphological phenotypes and patients cancer survival risk.


title: Quark Nuclear Physics with Heavy Quarks

abstract: Heavy quarks have been instrumental for progress in our exploration of strong interactions. Quarkonium in particular, a heavy quark-antiquark nonrelativistic bound state, has been at the root of several revolutions. Quarkonium is endowed with a pattern of separated energy scales qualifying it as special probe of complex environments. Its multiscale nature has made a description in Quantum Field Theory particularly difficult up to the advent of Nonrelativistic Effective Field Theories. We will focus on systems made by two or more heavy quarks. After considering some historical approaches based on the potential models and the Wilson loop approach, we will introduce the contemporary nonrelativistic effective field theory descriptions, in particular potential Nonrelativistic QCD which entails the Schoedinger equation as zero order problem, define the potentials as matching coefficients and allows systematic calculations of the physical properties. The effective field theory allows us to explore quarkonium properties in the realm of QCD. In particular it allows us to make calculations with unprecedented precision when high order perturbative calculations are possible and to systematically factorize short from long range contributions where observables are sensitive to the nonperturbative dynamics of QCD. Such effective field theory treatment can be extended at finite temperature and in presence of gluonic and light quark excitations. We will show that in this novel theoretical framework, quarkonium can play a crucial role for a number of problems at the frontier of our research, from the investigation of the confinement dynamics in strong interactions to the study of deconfinement and the phase diagram of nuclear matter, to the precise determination of Standard Model parameters up to the emergence of exotics X Y Z states of an unprecedented nature.


title: Many-body localization of one-dimensional degenerate Fermi gases with cavity-assisted non-local quasiperiodic interactions

abstract: The localization properties of one-dimensional degenerate Fermi gases with cavity-assisted non-local quasiperiodic interactions are numerically studied. Although the cavity-induced interaction is typically nonlocal, it is proved that the eigenstate thermalization hypothesis (ETH) is still applicable in our system depending on the system parameters. We also find the segment of the spectrum corresponding to infinite effective temperature varies for different system parameters, which indicates the spectral range employed in the spectral statistical analysis should be varied accordingly. The features of many-body localization (MBL) are numerically identified by analyzing the spectral statistics and the entanglement entropy using exact diagonalization. These features are further confirmed by our time evolution results. In addition, the number of cavity photons are found stable over long time dynamics in the MBL phase. Such a feature can not only be utilized to nondestructively diagnose the MBL phase by monitoring the number of leaking photons from the cavity, but leveraged for constructing a device to produce a stable number of photons.


title: Planar Prop of Differential Operators

abstract: We propose a definition of differential operators of an associative algebra $A$ in the spirit of Hochschild cohomology. Specifically we define $D(A)$ as the zero cohomology of a certain bicomplex formed by Hom-spaces $\mathrm{Hom}(A^{\otimes q}, A^{\otimes p})$. We show that it has a structure of a planar prop, i.e. each differential operator has multiple inputs and outputs and they can be composed along planar graphs. Furthermore, for a formally smooth algebra we have the surjective symbol map from $D(A)$ to the space of poly-derivations. We also consider another planar prop $E(A)$ generated by automorphisms of the trivial associative deformation of $A$ over the completion of a free associative algebra. We construct a natural map from $E(A)$ to $D(A)$ and identify its image.


title: Constructive Combinatorics of Dickson's Lemma

abstract: We study constructively the relations between the finite cases of Dickson's lemma. Although there are many constructive proofs of them, the novel aspect of our proofs is the extraction of a corresponding bound. We provide some new one-step unprovability results i.e., results of the form "a finite case of Dickson's lemma does not prove in one step a stronger case of it". Moreover, we study the infinite cases of Dickson's lemma from the point of view of constructive reverse mathematics. We work within Bishop's informal system of constructive mathematics BISH.


title: Extensions of the Schur majorisation inequalities

abstract: We obtain some inequalities which are stronger than the Schur majorization inequalities.


title: Is Universal Broadband Service Impossible?

abstract: Broadband Internet service is widely expected to be the fundamental universal service for the 21st century. But more than a decade of national and international struggles to close the digital divide between broadband haves and have nots suggest that reaching global universality will be a very difficult task. This paper argues that the strong guarantees made by the current broadband paradigm - low latency and constant availability - are unnecessary obstacles to its adoption as an affordable and universal digital service. We show that there is nonetheless a plausible strategy for deploying a Basic Broadband service that does not require such guarantees and is able to offer, at reasonable cost, almost all the critical and valuable services and applications currently delivered over low latency broadband, synchronous telepresence excepted.


title: Satellite Image Time Series Analysis for Big Earth Observation Data

abstract: The development of analytical software for big Earth observation data faces several challenges. Designers need to balance between conflicting factors. Solutions that are efficient for specific hardware architectures can not be used in other environments. Packages that work on generic hardware and open standards will not have the same performance as dedicated solutions. Software that assumes that its users are computer programmers are flexible but may be difficult to learn for a wide audience. This paper describes sits, an open-source R package for satellite image time series analysis using machine learning. To allow experts to use satellite imagery to the fullest extent, sits adopts a time-first, space-later approach. It supports the complete cycle of data analysis for land classification. Its API provides a simple but powerful set of functions. The software works in different cloud computing environments. Satellite image time series are input to machine learning classifiers, and the results are post-processed using spatial smoothing. Since machine learning methods need accurate training data, sits includes methods for quality assessment of training samples. The software also provides methods for validation and accuracy measurement. The package thus comprises a production environment for big EO data analysis. We show that this approach produces high accuracy for land use and land cover maps through a case study in the Cerrado biome, one of the world's fast moving agricultural frontiers for the year 2018.


title: A Generic Approach to Quantitative Verification

abstract: This thesis is concerned with quantitative verification, that is, the verification of quantitative properties of quantitative systems. These systems are found in numerous applications, and their quantitative verification is important, but also rather challenging. In particular, given that most systems found in applications are rather big, compositionality and incrementality of verification methods are essential. In order to ensure robustness of verification, we replace the Boolean yes-no answers of standard verification with distances. Depending on the application context, many different types of distances are being employed in quantitative verification. Consequently, there is a need for a general theory of system distances which abstracts away from the concrete distances and develops quantitative verification at a level independent of the distance. It is our view that in a theory of quantitative verification, the quantitative aspects should be treated just as much as input to a verification problem as the qualitative aspects are. In this work we develop such a general theory of quantitative verification. We assume as input a distance between traces, or executions, and then employ the theory of games with quantitative objectives to define distances between quantitative systems. Different versions of the quantitative bisimulation game give rise to different types of distances, viz.~bisimulation distance, simulation distance, trace equivalence distance, etc., enabling us to construct a quantitative generalization of van Glabbeek's linear-time--branching-time spectrum. We also extend our general theory of quantitative verification to a theory of quantitative specifications. For this we use modal transition systems, and we develop the quantitative properties of the usual operators for behavioral specification theories.


title: A generalization of Alperin fusion theorem and its applications

abstract: Let $\mathcal F$ be a saturated fusion system on a finite $p$-group $S$, and let $P$ be a strongly $\mathcal F$-closed subgroup of $S$. We define the concept ``$\mathcal F$-essential subgroups with respect to $P$" which are some proper subgroups of $P$ satisfying some technical conditions, and show that an $\mathcal F$-isomorphism between subgroups of $P$ can be factorised by some automorphisms of $P$ and $\mathcal F$-essential subgroups with respect to $P$. When $P$ is taken to be equal $S$, Alperin-Goldschmidt fusion theorem can be obtained as a special case. We also show that $P\unlhd \mathcal F$ if and only if there is no $\mathcal F$-essential subgroup with respect to $P$. The following definition is made: a $p$-group $P$ is strongly resistant in saturated fusion systems if $P\unlhd \mathcal F$ whenever there is an over $p$-group $S$ and a saturated fusion system $\mathcal F$ on $S$ such that $P$ is strongly $\mathcal F$-closed. It is shown that several classes of $p$-groups are strongly resistant, which appears as our third main theorem. We also give a new necessary and sufficient criteria for a strongly $\mathcal F$-closed subgroup to be normal in $\mathcal F$. These results are obtained as a consequences of developing a theory of quasi and semi-saturated fusion systems, which seems to be interesting for its own right.


title: Dictionary Attacks on Speaker Verification

abstract: In this paper, we propose dictionary attacks against speaker verification - a novel attack vector that aims to match a large fraction of speaker population by chance. We introduce a generic formulation of the attack that can be used with various speech representations and threat models. The attacker uses adversarial optimization to maximize raw similarity of speaker embeddings between a seed speech sample and a proxy population. The resulting master voice successfully matches a non-trivial fraction of people in an unknown population. Adversarial waveforms obtained with our approach can match on average 69% of females and 38% of males enrolled in the target system at a strict decision threshold calibrated to yield false alarm rate of 1%. By using the attack with a black-box voice cloning system, we obtain master voices that are effective in the most challenging conditions and transferable between speaker encoders. We also show that, combined with multiple attempts, this attack opens even more to serious issues on the security of these systems.


title: Autour de la d\'ecomposition des alg\`ebres d'exposant 2 sur les extensions multiquadratiques

abstract: For central simple algebras of exponent $2$ over fields of characteristic $2$ and $2$-cohomological dimension equal to $2$, we study the adapted decomposition to some multiquadratic extensions of the base field. Several remarkable properties are extended to multiquadratic extensions of separability degree at most $4$. We also extend to the characteristic $2$ a result of Elman-Lam-Tignol-Wadsworth by constructing an algebra of exponent $2$ and degree $8$ containing a separable triquadratic extension but which admits no adapted decomposition to this extension. As an application we give an elementary proof of the non-excellence of separable biquadratic extensions.


title: Socle of Hamiltonian Group

abstract: The socle of a group $G$ is the subgroup generated by all minimal normal subgroups of $G$. In this short note, we determine the socle of a Hamiltonian group explicitly.


title: A Comprehensive Test Pattern Generation Approach Exploiting SAT Attack for Logic Locking

abstract: The need for reducing manufacturing defect escape in today's safety-critical applications requires increased fault coverage. However, generating a test set using commercial automatic test pattern generation (ATPG) tools that lead to zero-defect escape is still an open problem. It is challenging to detect all stuck-at faults to reach 100% fault coverage. In parallel, the hardware security community has been actively involved in developing solutions for logic locking to prevent IP piracy. Locks (e.g., XOR gates) are inserted in different locations of the netlist so that an adversary cannot determine the secret key. Unfortunately, the Boolean satisfiability (SAT) based attack, introduced in [1], can break different logic locking schemes in minutes. In this paper, we propose a novel test pattern generation approach using the powerful SAT attack on logic locking. A stuck-at fault is modeled as a locked gate with a secret key. Our modeling of stuck-at faults preserves the property of fault activation and propagation. We show that the input pattern that determines the key is a test for the stuck-at fault. We propose two different approaches for test pattern generation. First, a single stuck-at fault is targeted, and a corresponding locked circuit with one key bit is created. This approach generates one test pattern per fault. Second, we consider a group of faults and convert the circuit to its locked version with multiple key bits. The inputs obtained from the SAT tool are the test set for detecting this group of faults. Our approach is able to find test patterns for hard-to-detect faults that were previously failed in commercial ATPG tools. The proposed test pattern generation approach can efficiently detect redundant faults present in a circuit. We demonstrate the effectiveness of the approach on ITC'99 benchmarks. The results show that we can achieve a perfect fault coverage reaching 100%.


title: Verbal quandles with one parameter

abstract: We find all words $W(x,y,z)$ in the free group $F(x,y,z)$, such that for every group $G$ and an element $c\in G$ the algebraic system $(G,*_{W,c})$ with the binary operation $*_{W,c}$ given by $a*_{W,c}b=W(a,b,c)$ for $a,b\in G$ is a quandle. Such quandles are called verbal quandles with one parameter.


title: A new particle approximation to the diffusive Dean-Kawasaki equation with colored noise

abstract: Following the idea of Q-Wiener process on Wasserstein space, we construct a new particle approximation to the regularised martingale solution of the diffusive Dean-Kawasaki equation on 1-D Torus with colored noise, whose spatial correlated intensity is larger than 1.


title: Universal device for two-qubit entangled measurements via photonic quantum walks

abstract: Sophisticated quantum measurements are fundamental to obtain a quantum advantage in many informational problems. Here, we consider the task of guessing a direction encoded in a two-qubit pure state. We experimentally demonstrate that abstention can be used to recover optimal direction guessing (measured in terms of the fidelity and maximum likelihood scores) even from non ideal states. Our protocol uses nine-step photonic quantum walks to implement the optimal five-output two-qubit collective measurements with fidelities above 0.9850. Thanks to abstention, we obtain more than a 10-fold improvement of the direction guessing scores (in terms of deviation to the optimal guessing scores). Our work demonstrates the versatility of photonic quantum walks for implementing many-qubit sophisticated measurements.


title: Polarization-independent resonant lattice Kerker effect in phase-change metasurface

abstract: Resonant lattice Kerker effect in periodic resonators is one of the most interesting generalizations of the Kerker effect that relates to various fascinating functionalities such as scattering management and Huygens metasurfaces. However, so far this effect has been shown to be sensitive to the incident polarization, restricting its applications. Here, we report, for the first time, polarization-independent resonant lattice Kerker effect in metasurfaces composed of periodic Ge$_2$Se$_2$Te$_5$ (GST) disks. For such a metasurface of square lattice, the spectrally overlap of the electric dipole and magnetic dipole surface lattice resonances can be realized by choosing an appropriate GST crystalline fraction regardless of the incident polarization. The operation wavelength and the required GST crystalline fraction can be conveniently tuned over large ranges since these parameters scale linearly with the disk size and the lattice period, greatly facilitating the design. Making use of the obtained resonant lattice Kerker effect, we realize a reconfigurable and polarization-independent lattice Huygens' metasurface with a dynamic phase modulation of close to $2\pi$ and high transmittance. This work will advance the engineering of the resonant lattice Kerker effect and promote its applications in phase modulation and wavefront control.


title: EMOCA: Emotion Driven Monocular Face Capture and Animation

abstract: As 3D facial avatars become more widely used for communication, it is critical that they faithfully convey emotion. Unfortunately, the best recent methods that regress parametric 3D face models from monocular images are unable to capture the full spectrum of facial expression, such as subtle or extreme emotions. We find the standard reconstruction metrics used for training (landmark reprojection error, photometric error, and face recognition loss) are insufficient to capture high-fidelity expressions. The result is facial geometries that do not match the emotional content of the input image. We address this with EMOCA (EMOtion Capture and Animation), by introducing a novel deep perceptual emotion consistency loss during training, which helps ensure that the reconstructed 3D expression matches the expression depicted in the input image. While EMOCA achieves 3D reconstruction errors that are on par with the current best methods, it significantly outperforms them in terms of the quality of the reconstructed expression and the perceived emotional content. We also directly regress levels of valence and arousal and classify basic expressions from the estimated 3D face parameters. On the task of in-the-wild emotion recognition, our purely geometric approach is on par with the best image-based methods, highlighting the value of 3D geometry in analyzing human behavior. The model and code are publicly available at https://emoca.is.tue.mpg.de.


title: Dyonically Charged Black Holes Arising in Generalized Born--Infeld Theory of Electromagnetism

abstract: Black hole solutions to the Einstein equations coupled with the Born--Infeld electromagnetism associated with generalized nonlinear electrodynamics, carrying both electric and magnetic charges, often referred to as dyonically charged black holes, of finite energies, are constructed. These solutions give rise to relegated curvature singularities at the center of the matter sources of the black holes and approach the classical Reissner--Nordstrom black hole asymptotically.


title: Faster Learned Sparse Retrieval with Guided Traversal

abstract: Neural information retrieval architectures based on transformers such as BERT are able to significantly improve system effectiveness over traditional sparse models such as BM25. Though highly effective, these neural approaches are very expensive to run, making them difficult to deploy under strict latency constraints. To address this limitation, recent studies have proposed new families of learned sparse models that try to match the effectiveness of learned dense models, while leveraging the traditional inverted index data structure for efficiency. Current learned sparse models learn the weights of terms in documents and, sometimes, queries; however, they exploit different vocabulary structures, document expansion techniques, and query expansion strategies, which can make them slower than traditional sparse models such as BM25. In this work, we propose a novel indexing and query processing technique that exploits a traditional sparse model's "guidance" to efficiently traverse the index, allowing the more effective learned model to execute fewer scoring operations. Our experiments show that our guided processing heuristic is able to boost the efficiency of the underlying learned sparse model by a factor of four without any measurable loss of effectiveness.


title: Compression-Based Optimizations for Out-of-Core GPU Stencil Computation

abstract: An out-of-core stencil computation code handles large data whose size is beyond the capacity of GPU memory. Whereas, such an code requires streaming data to and from the GPU frequently. As a result, data movement between the CPU and GPU usually limits the performance. In this work, compression-based optimizations are proposed. First, an on-the-fly compression technique is applied to an out-of-core stencil code, reducing the CPU-GPU memory copy. Secondly, a single working buffer technique is used to reduce GPU memory consumption. Experimental results show that the stencil code using the proposed techniques achieved 1.1x speed and reduced GPU memory consumption by 33.0\% on an NVIDIA Tesla V100 GPU.


title: Variance expansion and Berry-Esseen bound for the number of vertices of a random polygon in a polygon

abstract: Fix a container polygon $P$ in the plane and consider the convex hull $P_n$ of $n\geq 3$ independent and uniformly distributed in $P$ random points. In the focus of this paper is the vertex number of the random polygon $P_n$. The precise variance expansion for the vertex number is determined up to the constant-order term, a result which can be considered as a second-order analogue of the classical expansion for the expectation of R\'enyi and Sulanke (1963). Moreover, a sharp Berry-Esseen bound is derived for the vertex number of the random polygon $P_n$, which is of the same order as the square-root of the variance. The main idea behind the proof of both results is a decomposition of the boundary of the random polygon $P_n$ into random convex chains and a careful merging of the variance expansions and Berry-Esseen bounds for the vertex numbers of the individual chains.


title: A Markovian Model for the Spread of the SARS-CoV-2 Virus

abstract: We propose a Markovian stochastic approach to model the spread of a SARS-CoV-2-like infection within a closed group of humans. The model takes the form of a Partially Observable Markov Decision Process (POMDP), whose states are given by the number of subjects in different health conditions. The model also exposes the different parameters that have an impact on the spread of the disease and the various decision variables that can be used to control it (e.g, social distancing, number of tests administered to single out infected subjects). The model describes the stochastic phenomena that underlie the spread of the epidemic and captures, in the form of deterministic parameters, some fundamental limitations in the availability of resources (hospital beds and test swabs). The model lends itself to different uses. For a given control policy, it is possible to verify if it satisfies an analytical property on the stochastic evolution of the state (e.g., to compute probability that the hospital beds will reach a fill level, or that a specified percentage of the population will die). If the control policy is not given, it is possible to apply POMDP techniques to identify an optimal control policy that fulfils some specified probabilistic goals. Whilst the paper primarily aims at the model description, we show with numeric examples some of its potential applications.


title: Identification and Statistical Decision Theory

abstract: Econometricians have usefully separated study of estimation into identification and statistical components. Identification analysis, which assumes knowledge of the probability distribution generating observable data, places an upper bound on what may be learned about population parameters of interest with finite sample data. Yet Wald's statistical decision theory studies decision making with sample data without reference to identification, indeed without reference to estimation. This paper asks if identification analysis is useful to statistical decision theory. The answer is positive, as it can yield an informative and tractable upper bound on the achievable finite sample performance of decision criteria. The reasoning is simple when the decision relevant parameter is point identified. It is more delicate when the true state is partially identified and a decision must be made under ambiguity. Then the performance of some criteria, such as minimax regret, is enhanced by randomizing choice of an action. This may be accomplished by making choice a function of sample data. I find it useful to recast choice of a statistical decision function as selection of choice probabilities for the elements of the choice set. Using sample data to randomize choice conceptually differs from and is complementary to its traditional use to estimate population parameters.


title: Non-commutative ambits and equivariant compactifications

abstract: We prove that an action $\rho:A\to M(C_0(\mathbb{G})\otimes A)$ of a locally compact quantum group on a $C^*$-algebra has a universal equivariant compactification, and prove a number of other category-theoretic results on $\mathbb{G}$-equivariant compactifications: that the categories compactifications of $\rho$ and $A$ respectively are locally presentable (hence complete and cocomplete), that the forgetful functor between them is a colimit-creating left adjoint, and that epimorphisms therein are surjective and injections are regular monomorphisms. When $\mathbb{G}$ is regular coamenable we also show that the forgetful functor from unital $\mathbb{G}$-$C^*$-algebras to unital $C^*$-algebras creates finite limits and is comonadic, and that the monomorphisms in the former category are injective.


title: Emotion-Aware Transformer Encoder for Empathetic Dialogue Generation

abstract: Modern day conversational agents are trained to emulate the manner in which humans communicate. To emotionally bond with the user, these virtual agents need to be aware of the affective state of the user. Transformers are the recent state of the art in sequence-to-sequence learning that involves training an encoder-decoder model with word embeddings from utterance-response pairs. We propose an emotion-aware transformer encoder for capturing the emotional quotient in the user utterance in order to generate human-like empathetic responses. The contributions of our paper are as follows: 1) An emotion detector module trained on the input utterances determines the affective state of the user in the initial phase 2) A novel transformer encoder is proposed that adds and normalizes the word embedding with emotion embedding thereby integrating the semantic and affective aspects of the input utterance 3) The encoder and decoder stacks belong to the Transformer-XL architecture which is the recent state of the art in language modeling. Experimentation on the benchmark Facebook AI empathetic dialogue dataset confirms the efficacy of our model from the higher BLEU-4 scores achieved for the generated responses as compared to existing methods. Emotionally intelligent virtual agents are now a reality and inclusion of affect as a modality in all human-machine interfaces is foreseen in the immediate future.


title: Multimedia Services Placement Algorithm for Cloud-Fog Hierarchical Environments

abstract: With the rapid development of mobile communication, multimedia services have experienced explosive growth in the last few years. The high quantity of mobile users, both consuming and producing these services to and from the Cloud Computing (CC), can outpace the available bandwidth capacity. Fog Computing (FG) presents itself as a solution to improve on this and other issues. With a reduction in network latency, real-time applications benefit from improved response time and greater overall user experience. Taking this into account, the main goal of this work is threefold. Firstly, it is proposed a method to build an environment based on Cloud-Fog Computing (CFC). Secondly, it is designed two models based on Autoregressive Integrated Moving Average (ARIMA) and Long Short-Term Memory (LSTM). The goal is to predict demand and reserve the nodes' storage capacity to improve the positioning of multimedia services. Later, an algorithm for the multimedia service placement problem which is aware of data traffic prediction is proposed. The goal is to select the minimum number of nodes, considering their hardware capacities for providing multimedia services in such a way that the latency for servicing all the demands is minimized. An evaluation with actual data showed that the proposed algorithm selects the nodes closer to the user to meet their demands. This improves the services delivered to end-users and enhances the deployed network to mitigate provider costs. Moreover, reduce the demand to Cloud allowing turning off servers in the data center not to waste energy


title: Worst-Case Complexity of TRACE with Inexact Subproblem Solutions for Nonconvex Smooth Optimization

abstract: An algorithm for solving nonconvex smooth optimization problems is proposed, analyzed, and tested. The algorithm is an extension of the Trust Region Algorithm with Contractions and Expansions (TRACE) [Math. Prog. 162(1):132, 2017]. In particular, the extension allows the algorithm to use inexact solutions of the arising subproblems, which is an important feature for solving large-scale problems. Inexactness is allowed in a manner such that the optimal iteration complexity of ${\cal O}(\epsilon^{-3/2})$ for attaining an $\epsilon$-approximate first-order stationary point is maintained while the worst-case complexity in terms of Hessian-vector products may be significantly improved as compared to the original TRACE. Numerical experiments show the benefits of allowing inexact subproblem solutions and that the algorithm compares favorably to a state-of-the-art technique.


title: A note on Pontryagin duality and continuous logic

abstract: We exhibit Pontryagin duality as a special case of Stone duality in a continuous logic setting. More specifically, given an abelian topological group $A$, and $\mathcal F$ the family (group) of continuous homomorphisms from $A$ to the circle group $\mathbb T$, then, viewing $(A,+)$ equipped with the collection $\mathcal F$ as a continuous logic structure $M$, we show that the local type space $S_\mathcal F(M)$ is precisely the Pontryagin dual of the group $\mathcal F$ where the latter is considered as a discrete group. We conclude, using Pontryagin duality (between compact and discrete abelian groups), that $S_\mathcal F(M)$ is the Bohr compactification of the topological group $A$.


title: A singularity problem for interacting massive vectors

abstract: Interacting massive spin-1 fields have been widely used in cosmology and particle physics. We obtain a new condition on the validity of the classical limit of these theories related to the non-trivial constraints that exist for vector field components. A violation of this consistency condition causes a singularity in the time derivative of the auxiliary component and could impact, for example, the field's cosmic history and superradiance around black holes. Such a condition is expected to exist generically in many other non-trivially constrained systems.


title: Two-stage matching-adjusted indirect comparison

abstract: Anchored covariate-adjusted indirect comparisons inform reimbursement decisions where there are no head-to-head trials between the treatments of interest, there is a common comparator arm shared by the studies, and there are patient-level data limitations. Matching-adjusted indirect comparison (MAIC) is the most widely used covariate-adjusted indirect comparison method. MAIC has poor precision and is inefficient when the effective sample size after weighting is small. A modular extension to MAIC, termed two-stage matching-adjusted indirect comparison (2SMAIC), is proposed. This uses two parametric models. One estimates the treatment assignment mechanism in the study with individual patient data (IPD), the other estimates the trial assignment mechanism. The resulting weights seek to balance covariates between treatment arms and across studies. A simulation study provides proof-of-principle in an indirect comparison performed across two randomized trials and explores the use of weight truncation in combination with MAIC for the first time. Despite enforcing randomization and knowing the true treatment assignment mechanism in the IPD trial, 2SMAIC yields improved precision and efficiency with respect to MAIC in all scenarios, while maintaining similarly low levels of bias. The two-stage approach is effective when sample sizes in the IPD trial are low, as it controls for chance imbalances in prognostic baseline covariates between study arms. It is not as effective when overlap between the trials' target populations is poor and the extremity of the weights is high. In these scenarios, truncation leads to substantial precision and efficiency gains but induces considerable bias. The combination of a two-stage approach with truncation produces the highest precision and efficiency improvements.


title: Beyond the Quadratic Approximation: the Multiscale Structure of Neural Network Loss Landscapes

abstract: A quadratic approximation of neural network loss landscapes has been extensively used to study the optimization process of these networks. Though, it usually holds in a very small neighborhood of the minimum, it cannot explain many phenomena observed during the optimization process. In this work, we study the structure of neural network loss functions and its implication on optimization in a region beyond the reach of a good quadratic approximation. Numerically, we observe that neural network loss functions possesses a multiscale structure, manifested in two ways: (1) in a neighborhood of minima, the loss mixes a continuum of scales and grows subquadratically, and (2) in a larger region, the loss shows several separate scales clearly. Using the subquadratic growth, we are able to explain the Edge of Stability phenomenon [5] observed for the gradient descent (GD) method. Using the separate scales, we explain the working mechanism of learning rate decay by simple examples. Finally, we study the origin of the multiscale structure and propose that the non-convexity of the models and the non-uniformity of training data is one of the causes. By constructing a two-layer neural network problem we show that training data with different magnitudes give rise to different scales of the loss function, producing subquadratic growth and multiple separate scales.


title: Global bifurcation for corotating and counter-rotating vortex pairs

abstract: The existence of a local curve of corotating and counter-rotating vortex pairs was proven by Hmidi and Mateu in via a desingularization of a pair of point vortices. In this paper, we construct a global continuation of these local curves. That is, we consider solutions which are more than a mere perturbation of a trivial solution. Indeed, while the local analysis relies on the study of the linear equation at the trivial solution, the global analysis requires on a deeper understanding of topological properties of the nonlinear problem. For our proof, we adapt the powerful analytic global bifurcation theorem due to Buffoni and Toland, to allow for the singularity at the bifurcation point. For both the corotating and the counter-rotating pairs, along the global curve of solutions either the angular fluid velocity vanishes or the two patches self-intersect.


title: Six Levels of Autonomous Process Execution Management (APEM)

abstract: Terms such as the Digital Twin of an Organization (DTO) and Hyperautomation (HA) illustrate the desire to autonomously manage and orchestrate processes, just like we aim for autonomously driving cars. Autonomous driving and Autonomous Process Execution Management (APEM) have in common that the goals are pretty straightforward and that each year progress is made, but fully autonomous driving and fully autonomous process execution are more a dream than a reality. For cars, the Society of Automotive Engineers (SAE) identified six levels (0-5), ranging from no driving automation (SAE, Level 0) to full driving automation (SAE, Level 5). This short article defines six levels of Autonomous Process Execution Management (APEM). The goal is to show that the transition from one level to the next will be gradual, just like for self-driving cars.


title: Integrating User Experience into Agile -- An Experience Report on Lean UX and Scrum

abstract: The integration of Agile development and user experience (UX) has received significant attention over the past decade. The literature contains several process models and wide-ranging discussion about the benefits and challenges of this integration. However, academia has given this integration short shrift. In fact, there are very few publications covering educational courses dealing with Agile development and UX. In this paper, we report on our experience of designing and running a graduate software engineering course that covers the integration of Lean UX into Scrum and employs gamification to improve student engagement. We identified six lessons learned that new point to important aspects to be considered when integrating Agile development and UX in academia. For example, we discuss the complexity of managing Lean UX activities in short sprints or how the design of a testable and tactical hypothesis can be one of the most challenging aspects of the Lean UX process.


title: Quantum chaos and H\'enon-Heiles model: Dirac's variational approach with Jackiw-Kerman function

abstract: A simple semiclassical H\'enon-Heiles model is constructed based on Dirac's time-dependent variational principle. We obtain an effective semiclassical Hamiltonian using a Hatree-type two-body trial wavefunction in the Jackiw-Kerman form. Numerical results show that quantum effects can in fact induce chaos in the non-chaotic regions of the classical H\'enon-Heiles model.


title: Deformed graphical zonotopal algebras

abstract: We study certain filtered deformations of the external zonotopal algebra of a given graph parametrized by univariate polynomials. We establish some general properties of these algebras, compute their Hilbert series for a number of graphs using Macaulay2, and formulate several conjectures.


title: N-polar GaN p-n junction diodes with low ideality factors

abstract: High-quality N-polar GaN p-n diodes are realized on single-crystal N-polar GaN bulk substrate by plasma-assisted molecular beam epitaxy. The room-temperature current-voltage characteristics reveal a high on/off current ratio of 10^11 at 4 V and an ideality factor of 1.6. As the temperature increases to 200 C, the apparent ideality factor gradually approaches 2. At such high temperatures, Shockley-Read-Hall recombination times of 0.32-0.46 ns are estimated. The measured electroluminescence spectrum is dominated by a strong near-band edge emission, while deep level and acceptor-related luminescence is greatly suppressed. A relatively high reverse breakdown field of 2.4 MV/cm without field-plates is achieved. This work indicates that the quality of N-polar GaN diodes is now approaching to that of their state-of-the-art Ga-polar counterparts.


title: On the size of good-for-games Rabin automata and its link with the memory in Muller games

abstract: In this paper, we look at good-for-games Rabin automata that recognise a Muller language (a language that is entirely characterised by the set of letters that appear infinitely often in each word). We establish that minimal such automata are exactly of the same size as the minimal memory required for winning Muller games that have this language as their winning condition. We show how to effectively construct such minimal automata. Finally, we establish that these automata can be exponentially more succinct than equivalent deterministic ones, thus proving as a consequence that chromatic memory for winning a Muller game can be exponentially larger than unconstrained memory.


title: Hardware Acceleration for Third-Generation FHE and PSI Based on It

abstract: With the expansion of cloud services, serious concerns about the privacy of users' data arise due to the exposure of the unencrypted data to the server during computation. Various security primitives are under investigation to preserve privacy while evaluating private data, including Fully Homomorphic Encryption (FHE), Private Set Intersection (PSI), and others. However, the prohibitive processing time of these primitives hinders their practical applications. This work proposes and implements an architecture for accelerating third-generation FHE with Amazon Web Services (AWS) cloud FPGAs, marking the first hardware acceleration solution for third-generation FHE. We also introduce a novel unbalanced PSI protocol based on third-generation FHE, optimized for the proposed hardware architecture. Several algorithm-architecture co-optimization techniques are introduced to allow the communication and computation costs to be independent of the Sender's set size. The measurement results show that the proposed accelerator achieves $>21\times$ performance improvement compared to a software implementation for various crucial subroutines of third-generation FHE and the proposed PSI.


title: Simulating Fluids in Real-World Still Images

abstract: In this work, we tackle the problem of real-world fluid animation from a still image. The key of our system is a surface-based layered representation deriving from video decomposition, where the scene is decoupled into a surface fluid layer and an impervious background layer with corresponding transparencies to characterize the composition of the two layers. The animated video can be produced by warping only the surface fluid layer according to the estimation of fluid motions and recombining it with the background. In addition, we introduce surface-only fluid simulation, a $2.5D$ fluid calculation version, as a replacement for motion estimation. Specifically, we leverage the triangular mesh based on a monocular depth estimator to represent the fluid surface layer and simulate the motion in the physics-based framework with the inspiration of the classic theory of the hybrid Lagrangian-Eulerian method, along with a learnable network so as to adapt to complex real-world image textures. We demonstrate the effectiveness of the proposed system through comparison with existing methods in both standard objective metrics and subjective ranking scores. Extensive experiments not only indicate our method's competitive performance for common fluid scenes but also better robustness and reasonability under complex transparent fluid scenarios. Moreover, as the proposed surface-based layer representation and surface-only fluid simulation naturally disentangle the scene, interactive editing such as adding objects to the river and texture replacing could be easily achieved with realistic results.


title: Casimir Self-Entropy of Nanoparticles with Classical Polarizabilities: Electromagnetic Field Fluctuations

abstract: Not only are Casimir interaction entropies not guaranteed to be positive, but also, more strikingly, Casimir self-entropies of bodies can be negative. Here, we attempt to interpret the physical origin and meaning of these negative self-entropies by investigating the Casimir self-entropy of a neutral spherical nanoparticle. After extracting the polarizabilities of such a particle by examining the asymptotic behavior of the scattering Green's function, we compute the corresponding free energy and entropy. Two models for the nanoparticle, namely a spherical plasma $\delta$-function shell and a homogeneous dielectric/diamagnetic ball, are considered at low temperature, because that is all that can be revealed from a nanoparticle perspective. The second model includes a contribution to the entropy from the bulk free energy, referring to the situation where the medium inside or outside the ball fills all space, which must be subtracted on physical grounds in order to maintain consistency with van der Waals interactions, corresponding to the self-entropy of each bulk. (The van der Waals calculation is described in Appendix A.) The entropies so calculated agree with known results in the low-temperature limit, appropriate for a small particle, and are negative. But we suggest that the negative self-entropy is simply an interaction entropy, the difference between the total entropy and the blackbody entropy of the two bulks, outside or inside of the nanosphere. The vacuum entropy is always positive and overwhelms the interaction entropy. Thus the interaction entropy can be negative, without contradicting the principles of statistical thermodynamics. Because the entropy of blackbody radiation by itself plays an important role, it is also discussed, including dispersive effects, in detail.


title: An Item Response Theory Framework for Persuasion

abstract: In this paper, we apply Item Response Theory, popular in education and political science research, to the analysis of argument persuasiveness in language. We empirically evaluate the model's performance on three datasets, including a novel dataset in the area of political advocacy. We show the advantages of separating these components under several style and content representations, including evaluating the ability of the speaker embeddings generated by the model to parallel real-world observations about persuadability.


title: Taming Hybrid-Cloud Fast and Scalable Graph Analytics at Twitter

abstract: We have witnessed a boosted demand for graph analytics at Twitter in recent years, and graph analytics has become one of the key parts of Twitter's large-scale data analytics and machine learning for driving engagement, serving the most relevant content, and promoting healthier conversations. However, infrastructure for graph analytics has historically not been an area of investment at Twitter, resulting in a long timeline and huge engineering effort for each project to deal with graphs at the Twitter scale. How do we build a unified graph analytics user experience to fulfill modern data analytics on various graph scales spanning from thousands to hundreds of billions of vertices and edges? To bring fast and scalable graph analytics capability into production, we investigate the challenges we are facing in large-scale graph analytics at Twitter and propose a unified graph analytics platform for efficient, scalable, and reliable graph analytics across on-premises and cloud, to fulfill the requirements of diverse graph use cases and challenging scales. We also conduct quantitative benchmarking on Twitter's production-level graph use cases between popular graph analytics frameworks to certify our solution.


title: Integrated Local Energy Decay for the Damped Wave Equation on Stationary Space-Times

abstract: We prove integrated local energy decay for the damped wave equation on stationary, asymptotically flat space-times in (1 + 3) dimensions. Local energy decay constitutes a powerful tool in the study of dispersive partial differential equations on such geometric backgrounds. By utilizing the geometric control condition to handle trapped trajectories, we are able to recover high frequency estimates without any loss. We may then apply known estimates from the work of Metcalfe, Sterbenz, and Tataru in the medium and low frequency regimes in order to establish local energy decay. This generalizes the integrated version of results established by Bouclet and Royer from the setting of asymptotically Euclidean manifolds to the full Lorentzian case.


title: Farmer's Assistant: A Machine Learning Based Application for Agricultural Solutions

abstract: Farmers face several challenges when growing crops like uncertain irrigation, poor soil quality, etc. Especially in India, a major fraction of farmers do not have the knowledge to select appropriate crops and fertilizers. Moreover, crop failure due to disease causes a significant loss to the farmers, as well as the consumers. While there have been recent developments in the automated detection of these diseases using Machine Learning techniques, the utilization of Deep Learning has not been fully explored. Additionally, such models are not easy to use because of the high-quality data used in their training, lack of computational power, and poor generalizability of the models. To this end, we create an open-source easy-to-use web application to address some of these issues which may help improve crop production. In particular, we support crop recommendation, fertilizer recommendation, plant disease prediction, and an interactive news-feed. In addition, we also use interpretability techniques in an attempt to explain the prediction made by our disease detection model.


title: Deep Learning for Medical Image Registration: A Comprehensive Review

abstract: Image registration is a critical component in the applications of various medical image analyses. In recent years, there has been a tremendous surge in the development of deep learning (DL)-based medical image registration models. This paper provides a comprehensive review of medical image registration. Firstly, a discussion is provided for supervised registration categories, for example, fully supervised, dual supervised, and weakly supervised registration. Next, similarity-based as well as generative adversarial network (GAN)-based registration are presented as part of unsupervised registration. Deep iterative registration is then described with emphasis on deep similarity-based and reinforcement learning-based registration. Moreover, the application areas of medical image registration are reviewed. This review focuses on monomodal and multimodal registration and associated imaging, for instance, X-ray, CT scan, ultrasound, and MRI. The existing challenges are highlighted in this review, where it is shown that a major challenge is the absence of a training dataset with known transformations. Finally, a discussion is provided on the promising future research areas in the field of DL-based medical image registration.


title: Decay/growth rates for inhomogeneous heat equations with memory. The case of small dimensions

abstract: We study the decay/growth rates in all $L^p$ norms of solutions to an inhomogeneous nonlocal heat equation in $\mathbb{R}^N$ involving a Caputo $\alpha$-time derivative and a power $\beta$ of the Laplacian when the spatial dimension is small, $1\le N\le 4\beta$, thus completing the already available results for large spatial dimensions. Rates depend not only on $p$, but also on the space-time scale and on the time behavior of the spatial $L^1$ norm of the forcing term.


title: Applying Digital Twins in Metaverse: User Interface, Security and Privacy Challenges

abstract: Digital Twins (DTs) are a conventional and well-known concept, proposed in 70s, that are popular in a broad spectrum of sciences, industry innovations, and consortium alliances. However, in the last few years, the growth of digital assets and online communications has attracted attention to DTs as highly accurate twins of physical objects. Metaverse, as a digital world, is a concept proposed in 1992 and has also become a popular paradigm and hot topic in public where DTs can play critical roles. This study first presents definitions, applications, and general challenges of DT and Metaverse. It then offers a three-layer architecture linking the physical world to the Metaverse through a user interface. Further, it investigates the security and privacy challenges of using DTs in Metaverse. Finally, a conclusion, including possible solutions for mentioned challenges and future works, will be provided.


title: On a Frequency-Stabilized Single Current Inverse Source Formulation

abstract: Several strategies are available for solving the inverse source problem in electromagnetics. Among them, many have been focusing in retrieving Love currents by solving, after regularization, for Love's electric and magnetic currents. In this work we present a dual-element discretization, analysis, and stabilization of an inverse source formulation providing Love data by solving for only one current. This results in substantial savings and allows for an effective quasi-Helmholtz projector stabilization of the resulting operator. Theoretical considerations are complemented by numerical tests showing effectiveness and efficiency of the newly proposed method.


title: Extraordinary Disordered Hyperuniform Multifunctional Composites

abstract: A variety of performance demands are being placed on material systems, including desirable mechanical, thermal, electrical, optical, acoustic and flow properties. The purpose of the present article is to review the emerging field of disordered hyperuniform composites and their novel multifunctional characteristics. Disordered hyperuniform media are exotic amorphous states of matter that are characterized by an anomalous suppression of large-scale volume-fraction fluctuations compared to those in "garden-variety" disordered materials. Such unusual composites can have advantages over their periodic counterparts, such as unique or nearly optimal, direction-independent physical properties and robustness against defects. It will be shown that disordered hyperuniform composites and porous media can be endowed with a broad spectrum of extraordinary physical properties, including photonic, phononic, transport, chemical and mechanical characteristics that are only beginning to be discov


title: Less is More: Reweighting Important Spectral Graph Features for Recommendation

abstract: As much as Graph Convolutional Networks (GCNs) have shown tremendous success in recommender systems and collaborative filtering (CF), the mechanism of how they, especially the core components (\textit{i.e.,} neighborhood aggregation) contribute to recommendation has not been well studied. To unveil the effectiveness of GCNs for recommendation, we first analyze them in a spectral perspective and discover two important findings: (1) only a small portion of spectral graph features that emphasize the neighborhood smoothness and difference contribute to the recommendation accuracy, whereas most graph information can be considered as noise that even reduces the performance, and (2) repetition of the neighborhood aggregation emphasizes smoothed features and filters out noise information in an ineffective way. Based on the two findings above, we propose a new GCN learning scheme for recommendation by replacing neihgborhood aggregation with a simple yet effective Graph Denoising Encoder (GDE), which acts as a band pass filter to capture important graph features. We show that our proposed method alleviates the over-smoothing and is comparable to an indefinite-layer GCN that can take any-hop neighborhood into consideration. Finally, we dynamically adjust the gradients over the negative samples to expedite model training without introducing additional complexity. Extensive experiments on five real-world datasets show that our proposed method not only outperforms state-of-the-arts but also achieves 12x speedup over LightGCN.


title: A decay estimate for the Fourier transform of certain singular measures in $\mathbb{R}^{4}$ and applications

abstract: We consider, for a class of functions $\varphi : \mathbb{R}^{2} \setminus \{ {\bf 0} \} \to \mathbb{R}^{2}$ satisfying a nonisotropic homogeneity condition, the Fourier transform $\hat{\mu}$ of the Borel measure on $\mathbb{R}^{4}$ defined by \[ \mu(E) = \int_{U} \chi_{E}(x, \varphi(x)) \, dx \] where $E$ is a Borel set of $\mathbb{R}^{4}$ and $U = \{ (t^{\alpha_1}, t^{\alpha_2}s) : c < s < d, \, 0 < t < 1 \}$. The aim of this article is to give a decay estimate for $\hat{\mu}$, for the case where the set of nonelliptic points of $\varphi$ is a curve in $\bar{U} \setminus \{ {\bf 0} \}$. From this estimate we obtain a restriction theorem for the usual Fourier transform to the graph of $\varphi_{U} : U \to \mathbb{R}^{2}$. We also give $L^{p}$-improving properties for the convolution operator $T_{\mu} f = \mu \ast f$.


title: Skyrmionic Spin Structures in Layered Fe5GeTe2 Up To Room Temperature

abstract: The role of the crystal lattice, temperature and magnetic field for the spin structure formation in the 2D van der Waals magnet Fe5GeTe2 is a key open question. Using Lorentz transmission electron microscopy, we experimentally observe topological spin structures up to room temperature in the metastable pre-cooling and stable post-cooling phase of Fe5GeTe2. Over wide temperature and field ranges, skyrmionic magnetic bubbles form without preferred chirality, which is indicative of a centrosymmetric crystal structure. In the pre-cooling phase, these bubbles are observable even without the application of an external field, while in the post-cooling phase, a transformation from bubble domains to stripe domains is seen. To understand the magnetic order in Fe5GeTe2 we compare macroscopic magnetometry characterization results with microscopic density functional theory calculation. Our results show that even up to room temperature, topological spin structures can be stabilized in centrosymmetric van der Waals magnets.


title: Revisiting Multi-breathers in the discrete Klein-Gordon equation: A Spatial Dynamics Approach

abstract: We consider the existence and spectral stability of multi-breather structures in the discrete Klein-Gordon equation, both for soft and hard symmetric potentials. To obtain analytical results, we project the system onto a finite-dimensional Hilbert space consisting of the first $M$ Fourier modes, for arbitrary $M$. On this approximate system, we then take a spatial dynamics approach and use Lin's method to construct multi-breathers from a sequence of well-separated copies of the primary, single-site breather. We then locate the eigenmodes in the Floquet spectrum associated with the interaction between the individual breathers of such multi-breather states by reducing the spectral problem to a matrix equation. Expressions for these eigenmodes for the approximate, finite-dimensional system are obtained in terms of the primary breather and its kernel eigenfunctions, and these are found to be in very good agreement with the numerical Floquet spectrum results. This is supplemented with results from numerical timestepping experiments, which are interpreted using the spectral computations.


title: Collaborative Auto-Curricula Multi-Agent Reinforcement Learning with Graph Neural Network Communication Layer for Open-ended Wildfire-Management Resource Distribution

abstract: Most real-world domains can be formulated as multi-agent (MA) systems. Intentionality sharing agents can solve more complex tasks by collaborating, possibly in less time. True cooperative actions are beneficial for egoistic and collective reasons. However, teaching individual agents to sacrifice egoistic benefits for a better collective performance seems challenging. We build on a recently proposed Multi-Agent Reinforcement Learning (MARL) mechanism with a Graph Neural Network (GNN) communication layer. Rarely chosen communication actions were marginally beneficial. Here we propose a MARL system in which agents can help collaborators perform better while risking low individual performance. We conduct our study in the context of resource distribution for wildfire management. Communicating environmental features and partially observable fire occurrence help the agent collective to pre-emptively distribute resources. Furthermore, we introduce a procedural training environment accommodating auto-curricula and open-endedness towards better generalizability. Our MA communication proposal outperforms a Greedy Heuristic Baseline and a Single-Agent (SA) setup. We further demonstrate how auto-curricula and openendedness improves generalizability of our MA proposal.


title: An empirical study of the effect of background data size on the stability of SHapley Additive exPlanations (SHAP) for deep learning models

abstract: Nowadays, the interpretation of why a machine learning (ML) model makes certain inferences is as crucial as the accuracy of such inferences. Some ML models like the decision tree possess inherent interpretability that can be directly comprehended by humans. Others like artificial neural networks (ANN), however, rely on external methods to uncover the deduction mechanism. SHapley Additive exPlanations (SHAP) is one of such external methods, which requires a background dataset when interpreting ANNs. Generally, a background dataset consists of instances randomly sampled from the training dataset. However, the sampling size and its effect on SHAP remain to be unexplored. In our empirical study on the MIMIC-III dataset, we show that the two core explanations - SHAP values and variable rankings fluctuate when using different background datasets acquired from random sampling, indicating that users cannot unquestioningly trust the one-shot interpretation from SHAP. Luckily, such fluctuation decreases with the increase of the background dataset size. Also, we notice an U-shape in the stability assessment of SHAP variable rankings, demonstrating that SHAP is more reliable in ranking the most and least important variables compared to moderately important ones. Overall, our results suggest that users should take into account how background data affects SHAP results, with improved SHAP stability as the background sample size increases.


title: Learning to Attack Powergrids with DERs

abstract: In the past years, power grids have become a valuable target for cyber-attacks. Especially the attacks on the Ukrainian power grid has sparked numerous research into possible attack vectors, their extent, and possible mitigations. However, many fail to consider realistic scenarios in which time series are incorporated into simulations to reflect the transient behaviour of independent generators and consumers. Moreover, very few consider the limited sensory input of a potential attacker. In this paper, we describe a reactive power attack based on a well-understood scenario. We show that independent agents can learn to use the dynamics of the power grid against it and that the attack works even in the face of other generator and consumer nodes acting independently.


title: Efficient Certifiable Randomness from a Single Quantum Device

abstract: Brakerski et. al [BCM+18] introduced the model of cryptographic testing of a single untrusted quantum device and gave a protocol for certifiable randomness generation. We use the leakage resilience properties of the Learning With Errors problem to address a key issue left open in previous work - the rate of generation of randomness. Our new protocol can certify $\Omega(n)$ fresh bits of randomness in constant rounds, where $n$ is a parameter of the protocol and the total communication is $O(n)$, thus achieving a nearly optimal rate. The proof that the output is statistically random is conceptually simple and technically elementary.


title: Locally analytic vector bundles on the Fargues-Fontaine curve

abstract: In this article, we develop a version of Sen theory for equivariant vector bundles on the Fargues-Fontaine curve. We show that every equivariant vector bundle canonically descends to a locally analytic vector bundle. A comparison with the theory of $(\varphi,\Gamma)$-modules in the cyclotomic case then recovers the Cherbonnier-Colmez decompletion theorem. Next, we focus on the subcategory of de Rham locally analytic vector bundles. Using the p-adic monodromy theorem, we show that each locally analytic vector bundle $\mathcal{E}$ has a canonical differential equation for which the space of solutions has full rank. As a consequence, $\mathcal{E}$ and its sheaf of solutions $\mathrm{Sol}(\mathcal{E})$ are in a natural correspondence, which gives a geometric interpretation of a result of Berger on $(\varphi,\Gamma)$-modules. In particular, if $V$ is a de Rham Galois representation, its associated filtered $(\varphi,N,G_{K})$-module is realized as the space of global solutions to the differential equation. A key to our approach is a vanishing result for the higher locally analytic vectors of representations satisfying the Tate-Sen formalism, which is also of independent interest.


title: Thermal Evolution of Dirac Magnons in the Honeycomb Ferromagnet CrBr$_3$

abstract: CrBr$_3$ is an excellent realization of the two-dimensional honeycomb ferromagnet, which offers a bosonic equivalent of graphene with Dirac magnons and topological character. We perform inelastic neutron scattering (INS) measurements using state-of-the-art instrumentation to update 50-year-old data, thereby enabling a definitive comparison both with recent experimental claims of a significant gap at the Dirac point and with theoretical predictions for thermal magnon renormalization. We demonstrate that CrBr$_3$ has next-neighbor $J_2$ and $J_3$ interactions approximately 5\% of $J_1$, an ideal Dirac magnon dispersion at the K point, and the associated signature of isospin winding. The magnon lifetime and the thermal band renormalization show the universal $T^2$ evolution expected from an interacting spin-wave treatment, but the measured dispersion lacks the predicted van Hove features, highlighting the need for a deeper theoretical analysis.


title: Hate Me Not: Detecting Hate Inducing Memes in Code Switched Languages

abstract: The rise in the number of social media users has led to an increase in the hateful content posted online. In countries like India, where multiple languages are spoken, these abhorrent posts are from an unusual blend of code-switched languages. This hate speech is depicted with the help of images to form "Memes" which create a long-lasting impact on the human mind. In this paper, we take up the task of hate and offense detection from multimodal data, i.e. images (Memes) that contain text in code-switched languages. We firstly present a novel triply annotated Indian political Memes (IPM) dataset, which comprises memes from various Indian political events that have taken place post-independence and are classified into three distinct categories. We also propose a binary-channelled CNN cum LSTM based model to process the images using the CNN model and text using the LSTM model to get state-of-the-art results for this task.


title: Improving Deep Learning Model Robustness Against Adversarial Attack by Increasing the Network Capacity

abstract: Nowadays, we are more and more reliant on Deep Learning (DL) models and thus it is essential to safeguard the security of these systems. This paper explores the security issues in Deep Learning and analyses, through the use of experiments, the way forward to build more resilient models. Experiments are conducted to identify the strengths and weaknesses of a new approach to improve the robustness of DL models against adversarial attacks. The results show improvements and new ideas that can be used as recommendations for researchers and practitioners to create increasingly better DL algorithms.


title: The relationship between age, metallicity, and abundances for disk stars in a simulated Milky Way galaxy

abstract: Observations of the Milky Way's low-$\alpha$ disk show that at fixed metallicity, [Fe/H], several element abundance, [X/Fe], correlate with age, with unique slopes and small scatters around the age-[X/Fe] relations. In this study, we turn to simulations to explore the age-[X/Fe] relations for the elements C, N, O, Mg, Si, S, and Ca that are traced in a FIRE-2 cosmological zoom-in simulation of a Milky Way-like galaxy, m12i, and understand what physical conditions give rise to the observed age-[X/Fe] trends. We first explore the distributions of mono-age populations in their birth and current locations, [Fe/H], and [X/Fe], and find evidence for inside-out radial growth for stars with ages < 7 Gyr. We then examine the age-[X/Fe] relations across m12i's disk and find that the direction of the trends agree with observations, apart from C, O, and Ca, with remarkably small intrinsic scatters, $\sigma_{int}$ (0.01-0.04 dex). This $\sigma_{int}$ measured in the simulations is also metallicity-dependent, with $\sigma_{int}$ $\approx$ 0.025 dex at [Fe/H]=-0.25 dex versus $\sigma_{int}$ $\approx$ 0.015 dex at [Fe/H]=0 dex, and a similar metallicity dependence is seen in the GALAH survey for the elements in common. Additionally, we find that $\sigma_{int}$ is higher in the inner galaxy, where stars are older and formed in less chemically-homogeneous environments. The age-[X/Fe] relations and the small scatter around them indicate that simulations capture similar chemical enrichment variance as observed in the Milky Way, arising from stars sharing similar element abundances at a given birth place and time.


title: Navier-Stokes equations: a new estimate of a possible gap related to the energy equality of a suitable weak solution

abstract: The paper is concerned with the IBVP of the Navier-Stokes equations. The result of the paper is in the wake of analogous results obtained by the authors in previous articles [4, 5]. The goal is to estimaste the possible gap between the energy equality and the energy inequality deduced for a weak solution.


title: Monochromatic components with many edges

abstract: Given an $r$-edge-coloring of the complete graph $K_n$, what is the largest number of edges in a monochromatic connected component? This natural question has only recently received the attention it deserves, with work by two disjoint subsets of the authors resolving it for the first two special cases, when $r = 2$ or $3$. Here we introduce a general framework for studying this problem and apply it to fully resolve the $r = 4$ case, showing that any $4$-edge-coloring of $K_n$ contains a monochromatic component with at least $\frac{1}{12}\binom{n}{2}$ edges, where the constant $\frac{1}{12}$ is optimal only when the coloring matches a certain construction of Gy\'arf\'as.


title: Hypergraph matrix models and generating functions

abstract: Recently we introduced the hypergraph matrix model (HMM), a Hermitian matrix model generalizing the classical Gaussian Unitary Ensemble (GUE). In this model the Gaussians of the GUE, whose moments count partitions of finite sets into pairs, are replaced by formal measures whose moments count set partitions into parts of a fixed even size 2m >= 2. Just as the expectations of the trace polynomials Tr X^{2r} in the GUE produce polynomials counting unicellular orientable maps of different genera, in the HHM these expectations give polynomials counting certain unicelled edge-ramified CW complexes with extra data that we call (orientable CW) maps with instructions. In this paper we describe generating functions for maps with instructions of fixed genus and with the number of vertices arbitrary. Our results are motivated by work of Wright. In particular Wright computed generating functions of connected graphs of fixed first Betti number as rational functions in the rooted tree function T (x), given as the solution to the functional relation x = T e^{-T}.


title: Error-correcting Identifying Codes

abstract: Assume that a graph $G$ models a detection system for a facility with a possible "intruder," or a multiprocessor network with a possible malfunctioning processor. We consider the problem of placing (the minimum number of) detectors at a subset of vertices in $G$ to automatically determine if there is an intruder, and if so, its precise location. In this research we explore a fault-tolerant variant of identifying codes, known as error-correcting identifying codes, which permit one false positive or negative and are applicable to real-world systems. We present the proof of NP-completeness of the problem of determining said minimum size in arbitrary graphs, and determine bounds on the parameter in cubic graphs.


title: Survey on the metric SYZ conjecture and non-archimedean geometry

abstract: We survey the metric aspects of the Strominger-Yau-Zaslow conjecture on the existence of special Lagrangian fibrations on Calabi-Yau manifolds near the large complex structure limit. We will discuss the diverse motivations for the conjectural picture, what the best hopes are, and a number of subtleties. The bulk of the survey highlights the role of pluripotential theory, and non-archimedean geometry in particular, with a list of open questions.


title: On the Information Theoretic Secure Aggregation with Uncoded Groupwise Keys

abstract: Secure aggregation, which is a core component of federated learning, aggregates locally trained models from distributed users at a central server. The ``secure'' nature of such aggregation consists of the fact that no information about the local users' data must be leaked to the server except the aggregated local models. In order to guarantee security, some keys may be shared among the users. After the key sharing phase, each user masks its trained model which is then sent to the server. This paper follows the information theoretic secure aggregation problem originally formulated by Zhao and Sun, with the objective to characterize the minimum communication cost from the K users in the model aggregation phase. Due to user dropouts, the server may not receive all messages from the users. A secure aggregation scheme should tolerate the dropouts of at most $K-U$ users. The optimal communication cost is characterized by Zhao and Sun, but with the assumption that the keys stored by the users could be any random variables with arbitrary dependency. On the motivation that uncoded groupwise keys are more convenient to be shared and could be used in large range of applications besides federated learning, in this paper we assume the key variables are mutually independent and each key is shared by a group of S users. To the best of our knowledge, all existing secure aggregation schemes assign coded keys to the users. We show that if $S> K-U$, a new secure aggregation scheme with uncoded groupwise keys can achieve the same optimal communication cost as the best scheme with coded keys; if $S \leq K-U$, uncoded groupwise key sharing is strictly sub-optimal. Finally, we also implement our proposed secure aggregation scheme into Amazon EC2, which are then compared with the existing secure aggregation schemes with offline key sharing.


title: Singular structures in solutions to the Monge-Amp\`{e}re equation with point masses

abstract: We construct new examples of Monge-Amp\`{e}re metrics with polyhedral singular structures, motivated by problems related to the optimal transport of point masses and to mirror symmetry. We also analyze the stability of the singular structures under small perturbations of the data given in the problem under consideration.


title: Breather solution of non-linear Klein-Gordon equation

abstract: A technique for obtaining an approximate breather solution of the Klein-Gordon equation is presented. A breather solution of the equation describing the propagation of nonlinear waves in a graphene-based superlattice is investigated.


title: Ordered-logit pedestrian stress model for traffic flow with automated vehicles

abstract: An ordered-logit model is developed to study the effects of Automated Vehicles (AVs) in the traffic mix on the average stress level of a pedestrian when crossing an urban street at mid-block. Information collected from a galvanic skin resistance sensor and virtual reality experiments are transformed into a dataset with interpretable average stress levels (low, medium, and high) and geometric, traffic, and environmental conditions. Modelling results indicate a decrease in average stress level with the increase in the percentage of AVs in the traffic mix.


title: Enhancing the STIX Representation of MITRE ATT&CK for Group Filtering and Technique Prioritization

abstract: In this paper, we enhance the machine-readable representation of the ATT&CK Groups knowledge base provided by MITRE in STIX 2.1 format to make available and queryable additional types of contextual information. Such information includes the motivations of activity groups, the countries they have originated from, and the sectors and countries they have targeted. We demonstrate how to utilize the enhanced model to construct intelligible queries to filter activity groups of interest and retrieve relevant tactical intelligence.


title: LTE Cellular Networks Packet Scheduling Algorithms in Downlink and Uplink Transmission, A Survey

abstract: This survey paper provides a detailed explanation of Long Term Evolution cellular network packet scheduling algorithms in both downlink and uplink directions. It starts by explaining the difference between Orthogonal Frequency Division Multiple Access that is used in downlink transmission, and Single Carrier Frequency Division Multiple Access is used in uplink. Then, it explains the difference between the LTE scheduling process in the donwlink and uplink through explaining the interaction between users and the scheduler. Then, it explains the most commonly used downlink and uplink scheduling algorithms through analyzing their formulas, characteristics, most suitable conditions for them to work in, and the main differences among them. This explanation covers the Max Carrier-to-Interference, Round Robin, Proportional Fair, Earliest Deadline First, Modified EDF-PF, Modified-Largest Weighted Delay First, Exponential Proportional Fairness, Token Queues Mechanism, Packet Loss Ratio, Quality Guaranteed, Opportunistic Packet Loss Fair, Low Complexity, LC-Delay, PF-Delay, Maximum Throughput, First Maximum Expansion, and Adaptive Resource Allocation Based Packet Scheduling. Lastly, it provides some concluding remarks.


title: Deep Reinforcement Learning Using a Low-Dimensional Observation Filter for Visual Complex Video Game Playing

abstract: Deep Reinforcement Learning (DRL) has produced great achievements since it was proposed, including the possibility of processing raw vision input data. However, training an agent to perform tasks based on image feedback remains a challenge. It requires the processing of large amounts of data from high-dimensional observation spaces, frame by frame, and the agent's actions are computed according to deep neural network policies, end-to-end. Image pre-processing is an effective way of reducing these high dimensional spaces, eliminating unnecessary information present in the scene, supporting the extraction of features and their representations in the agent's neural network. Modern video-games are examples of this type of challenge for DRL algorithms because of their visual complexity. In this paper, we propose a low-dimensional observation filter that allows a deep Q-network agent to successfully play in a visually complex and modern video-game, called Neon Drive.


title: Learning Symmetric Embeddings for Equivariant World Models

abstract: Incorporating symmetries can lead to highly data-efficient and generalizable models by defining equivalence classes of data samples related by transformations. However, characterizing how transformations act on input data is often difficult, limiting the applicability of equivariant models. We propose learning symmetric embedding networks (SENs) that encode an input space (e.g. images), where we do not know the effect of transformations (e.g. rotations), to a feature space that transforms in a known manner under these operations. This network can be trained end-to-end with an equivariant task network to learn an explicitly symmetric representation. We validate this approach in the context of equivariant transition models with 3 distinct forms of symmetry. Our experiments demonstrate that SENs facilitate the application of equivariant networks to data with complex symmetry representations. Moreover, doing so can yield improvements in accuracy and generalization relative to both fully-equivariant and non-equivariant baselines.


title: Noise-resilient Edge Modes on a Chain of Superconducting Qubits

abstract: Inherent symmetry of a quantum system may protect its otherwise fragile states. Leveraging such protection requires testing its robustness against uncontrolled environmental interactions. Using 47 superconducting qubits, we implement the one-dimensional kicked Ising model which exhibits non-local Majorana edge modes (MEMs) with $\mathbb{Z}_2$ parity symmetry. Remarkably, we find that any multi-qubit Pauli operator overlapping with the MEMs exhibits a uniform late-time decay rate comparable to single-qubit relaxation rates, irrespective of its size or composition. This characteristic allows us to accurately reconstruct the exponentially localized spatial profiles of the MEMs. Furthermore, the MEMs are found to be resilient against certain symmetry-breaking noise owing to a prethermalization mechanism. Our work elucidates the complex interplay between noise and symmetry-protected edge modes in a solid-state environment.


title: Entity-Conditioned Question Generation for Robust Attention Distribution in Neural Information Retrieval

abstract: We show that supervised neural information retrieval (IR) models are prone to learning sparse attention patterns over passage tokens, which can result in key phrases including named entities receiving low attention weights, eventually leading to model under-performance. Using a novel targeted synthetic data generation method that identifies poorly attended entities and conditions the generation episodes on those, we teach neural IR to attend more uniformly and robustly to all entities in a given passage. On two public IR benchmarks, we empirically show that the proposed method helps improve both the model's attention patterns and retrieval performance, including in zero-shot settings.